OSDN Git Service

Seriously strengthen the guarantee offered by noalias on a function's return
authorNick Lewycky <nicholas@mxc.ca>
Mon, 24 Nov 2008 05:00:44 +0000 (05:00 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Mon, 24 Nov 2008 05:00:44 +0000 (05:00 +0000)
commitb2b32fd3fe22ca6b165d9c21d7ec0bcd2af105f5
tree33950b6436437290a059c9376feb1df77a73c395
parent02ff308aa1c165d37fcf35f618243180ee68eedd
Seriously strengthen the guarantee offered by noalias on a function's return
value. It must now be as if the pointer were allocated and has not escaped to
the caller. Thanks to Dan Gohman for pointing out the error in the original
and helping devise this definition.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@59940 91177308-0d34-0410-b5e6-96231b3b80d8
docs/LangRef.html
lib/Analysis/BasicAliasAnalysis.cpp