projects
/
oota-llvm.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
61c24e9
)
In addition to arguments passed to it, memcpy (and all other calls) can ModRef pointe...
author
Owen Anderson
<resistor@mac.com>
Tue, 19 Feb 2008 06:47:18 +0000
(06:47 +0000)
committer
Owen Anderson
<resistor@mac.com>
Tue, 19 Feb 2008 06:47:18 +0000
(06:47 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@47317
91177308
-0d34-0410-b5e6-
96231b3b80d8
lib/Analysis/BasicAliasAnalysis.cpp
patch
|
blob
|
history
diff --git
a/lib/Analysis/BasicAliasAnalysis.cpp
b/lib/Analysis/BasicAliasAnalysis.cpp
index 57d726df2db12e9d594774ddafdef1649a035d41..200779f0e7aef7e760221c33da42fdd7eafc6f69 100644
(file)
--- a/
lib/Analysis/BasicAliasAnalysis.cpp
+++ b/
lib/Analysis/BasicAliasAnalysis.cpp
@@
-263,7
+263,8
@@
BasicAliasAnalysis::getModRefInfo(CallSite CS, Value *P, unsigned Size) {
for (CallSite::arg_iterator CI = CS.arg_begin(), CE = CS.arg_end();
CI != CE; ++CI)
if (isa<PointerType>((*CI)->getType()) &&
- getUnderlyingObject(*CI) == P)
+ ( getUnderlyingObject(*CI) == P ||
+ alias(cast<Value>(CI), ~0ULL, P, ~0ULL) != NoAlias) )
passedAsArg = true;
if (!passedAsArg)