projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de6fa5f) | patch
Teach basicaa that 'byval' arguments define a new memory location that
authorChris Lattner <sabre@nondot.org>
Thu, 24 Jan 2008 18:00:32 +0000 (18:00 +0000)
committerChris Lattner <sabre@nondot.org>
Thu, 24 Jan 2008 18:00:32 +0000 (18:00 +0000)
commitfd687500384803311556571989dc14cd84786904
tree7f3f0f8440cf5cedd8ceb46320fcf6f757450d3dtree | snapshot
parentde6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8commit | diff
Teach basicaa that 'byval' arguments define a new memory location that
can't be aliased to other known objects.  This allows us to know that byval
pointer args don't alias globals, etc.

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