projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8892b6f) | patch
If we are checking to see if the result of a call aliases a
authorChris Lattner <sabre@nondot.org>
Mon, 16 Jun 2008 06:19:11 +0000 (06:19 +0000)
committerChris Lattner <sabre@nondot.org>
Mon, 16 Jun 2008 06:19:11 +0000 (06:19 +0000)
commit845f0d2f0fd4a268ca1b3df9afb3de523f6dfa9d
tree255ed8fb7b8911de8afb50a2266df306e1b6ecaetree | snapshot
parent8892b6f30792bbc56f40d01a4ae9834a55cf8b1acommit | diff
If we are checking to see if the result of a call aliases a
pointer derived from a local allocation, if the local allocation
never escapes, the pointers can't alias.  This implements PR2436

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52301 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicAliasAnalysis.cpp diff | blob | history
test/Analysis/BasicAA/no-escape-call.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors