diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2018-01-17 22:58:35 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2018-01-17 22:58:35 +0000 |
| commit | 1084de520b6145cabf32bc8f2676b56fd58ecd72 (patch) | |
| tree | d421d24217cd20f26b4d09507843ce562166e11d /llvm/lib/CodeGen/ResetMachineFunctionPass.cpp | |
| parent | 980579504ae2d169db4f414cef59ed04a702dadd (diff) | |
| download | bcm5719-llvm-1084de520b6145cabf32bc8f2676b56fd58ecd72.tar.gz bcm5719-llvm-1084de520b6145cabf32bc8f2676b56fd58ecd72.zip | |
[analyzer] operator new: Fix memory space for the returned region.
Make sure that with c++-allocator-inlining=true we have the return value of
conservatively evaluated operator new() in the correct memory space (heap).
This is a regression/omission that worked well in c++-allocator-inlining=false.
Heap regions are superior to regular symbolic regions because they have
stricter aliasing constraints: heap regions do not alias each other or global
variables.
Differential Revision: https://reviews.llvm.org/D41266
rdar://problem/12180598
llvm-svn: 322780
Diffstat (limited to 'llvm/lib/CodeGen/ResetMachineFunctionPass.cpp')
0 files changed, 0 insertions, 0 deletions
