[llvm-commits] CVS: llvm/lib/Analysis/IPA/Andersens.cpp

[Chris Lattner]

Changes in directory llvm/lib/Analysis/IPA:

Andersens.cpp updated: 1.19 -> 1.20
---
Log message:

learn about some more functions.


---
Diffs of the changes:  (+7 -4)

 Andersens.cpp |   11 +++++++----
 1 files changed, 7 insertions(+), 4 deletions(-)


Index: llvm/lib/Analysis/IPA/Andersens.cpp
diff -u llvm/lib/Analysis/IPA/Andersens.cpp:1.19 llvm/lib/Analysis/IPA/Andersens.cpp:1.20
--- llvm/lib/Analysis/IPA/Andersens.cpp:1.19	Tue Mar 29 11:21:53 2005
+++ llvm/lib/Analysis/IPA/Andersens.cpp	Tue Mar 29 14:04:24 2005
@@ -612,11 +612,12 @@
   // These functions don't induce any points-to constraints.
   if (F->getName() == "printf" || F->getName() == "fprintf" ||
       F->getName() == "sprintf" ||
-      F->getName() == "fgets" ||
+      F->getName() == "fgets" || F->getName() == "__assert_fail" ||
       F->getName() == "open" || F->getName() == "fopen" ||
       F->getName() == "fclose" || F->getName() == "fflush" ||
       F->getName() == "rewind" ||
-      F->getName() == "atoi" || F->getName() == "unlink" ||
+      F->getName() == "atoi" || F->getName() == "atol" ||
+      F->getName() == "unlink" ||
       F->getName() == "sscanf" || F->getName() == "fscanf" ||
       F->getName() == "llvm.memset" || F->getName() == "memcmp" ||
       F->getName() == "read" || F->getName() == "write")
@@ -633,8 +634,10 @@
     return true;
   }
 
-  if (F->getName() == "realloc") {
-    // Result = Arg
+  // Result = Arg0
+  if (F->getName() == "realloc" || F->getName() == "strchr" ||
+      F->getName() == "strrchr" || F->getName() == "strstr" ||
+      F->getName() == "strtok") {
     Constraints.push_back(Constraint(Constraint::Copy,
                                      getNode(CS.getInstruction()),
                                      getNode(CS.getArgument(0))));