aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/DataStructure/Local.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Analysis/DataStructure/Local.cpp')
-rw-r--r--lib/Analysis/DataStructure/Local.cpp13
1 files changed, 9 insertions, 4 deletions
diff --git a/lib/Analysis/DataStructure/Local.cpp b/lib/Analysis/DataStructure/Local.cpp
index 52e588bf28..681b61f67b 100644
--- a/lib/Analysis/DataStructure/Local.cpp
+++ b/lib/Analysis/DataStructure/Local.cpp
@@ -484,10 +484,15 @@ void GraphBuilder::visitCallSite(CallSite CS) {
N->setHeapNodeMarker()->setModifiedMarker()->setReadMarker();
return;
} else if (F->getName() == "atoi" || F->getName() == "atof" ||
- F->getName() == "remove") {
- // atoi reads its argument.
- if (DSNode *N = getValueDest(**CS.arg_begin()).getNode())
- N->setReadMarker();
+ F->getName() == "remove" || F->getName() == "unlink" ||
+ F->getName() == "rename") {
+ // These functions read all of their pointer operands.
+ for (CallSite::arg_iterator AI = CS.arg_begin(), E = CS.arg_end();
+ AI != E; ++AI) {
+ if (isPointerType((*AI)->getType()))
+ if (DSNode *N = getValueDest(**AI).getNode())
+ N->setReadMarker();
+ }
return;
} else if (F->getName() == "fopen" && CS.arg_end()-CS.arg_begin() == 2){