diff options
| author | Michael Kuperstein <mkuper@google.com> | 2016-05-26 19:30:49 +0000 |
|---|---|---|
| committer | Michael Kuperstein <mkuper@google.com> | 2016-05-26 19:30:49 +0000 |
| commit | ae21491819051aa41f1e51f597b03764b0093476 (patch) | |
| tree | 80b6992f8a0af5a4ef378eb017faee28224f33c6 /llvm/lib/Support/PrettyStackTrace.cpp | |
| parent | d99068d26db69f2cdaba0ad02a6bd92512f04b60 (diff) | |
| download | llvm-ae21491819051aa41f1e51f597b03764b0093476.zip llvm-ae21491819051aa41f1e51f597b03764b0093476.tar.gz llvm-ae21491819051aa41f1e51f597b03764b0093476.tar.bz2 | |
[BasicAA] Extend inbound GEP negative offset logic to GlobalVariables
r270777 improved the precision of alloca vs. inbounbds GEP alias queries: if
we have (a) an inbounds GEP and (b) a pointer based on an alloca, and the
beginning of the object the GEP points to would have a negative offset with
respect to the alloca, then the GEP can not alias pointer (b).
This makes the same logic fire when (b) is based on a GlobalVariable instead
of an alloca.
Differential Revision: http://reviews.llvm.org/D20652
llvm-svn: 270893
Diffstat (limited to 'llvm/lib/Support/PrettyStackTrace.cpp')
0 files changed, 0 insertions, 0 deletions