do not set realloc() as NotAlias, since it can return the same pointer. This whole...

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159173 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Transforms/Scalar/SimplifyLibCalls.cpp b/lib/Transforms/Scalar/SimplifyLibCalls.cpp
index 99b05389b2b494e080ae256f0b85aa3818efd116..1100d6dd77eb10a80e4641a267ae8714d588ee81 100644 (file)
--- 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 73eb05b05e346ecb752b664050022c55fa42c860..d557484f2a8790e470c6f1b4d7a706c735fa7155 100644 (file)
--- 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