diff options
| author | Nuno Lopes <nunoplopes@sapo.pt> | 2012-06-25 22:55:50 +0000 |
|---|---|---|
| committer | Nuno Lopes <nunoplopes@sapo.pt> | 2012-06-25 22:55:50 +0000 |
| commit | a88d0edb495212d08357550a5bcbde9e924a9969 (patch) | |
| tree | 8ab918eb2ca3eae257f141fa2a74511bac09e4d2 | |
| parent | 540cda34b03388b510ded4546acfc7e276700daa (diff) | |
do not set realloc() as NotAlias, since it can return the same pointer. This whole thing should be upgraded to use the MemoryBuiltin interface anyway..
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159173 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/Transforms/Scalar/SimplifyLibCalls.cpp | 1 | ||||
| -rw-r--r-- | test/Transforms/SimplifyLibCalls/2009-01-04-Annotate.ll | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/lib/Transforms/Scalar/SimplifyLibCalls.cpp b/lib/Transforms/Scalar/SimplifyLibCalls.cpp index 99b05389b2..1100d6dd77 100644 --- a/lib/Transforms/Scalar/SimplifyLibCalls.cpp +++ b/lib/Transforms/Scalar/SimplifyLibCalls.cpp @@ -1942,7 +1942,6 @@ void SimplifyLibCalls::inferPrototypeAttributes(Function &F) { !FTy->getReturnType()->isPointerTy()) return; setDoesNotThrow(F); - setDoesNotAlias(F, 0); setDoesNotCapture(F, 1); } else if (Name == "read") { if (FTy->getNumParams() != 3 || diff --git a/test/Transforms/SimplifyLibCalls/2009-01-04-Annotate.ll b/test/Transforms/SimplifyLibCalls/2009-01-04-Annotate.ll index 73eb05b05e..d557484f2a 100644 --- a/test/Transforms/SimplifyLibCalls/2009-01-04-Annotate.ll +++ b/test/Transforms/SimplifyLibCalls/2009-01-04-Annotate.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -simplify-libcalls -S > %t -; RUN: grep noalias %t | count 2 +; RUN: grep noalias %t | count 1 ; RUN: grep nocapture %t | count 3 ; RUN: grep nounwind %t | count 3 ; RUN: grep readonly %t | count 1 |