6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-04-09 16:45:03 +00:00
Code Issues Projects Releases Wiki Activity

In addition to arguments passed to it, memcpy (and all other calls) can ModRef pointers that alias their arguments as well. This fixes PR2057.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@47317 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Owen Anderson 2008-02-19 06:47:18 +00:00
parent 61c24e96b1
commit 851bfff50f
1 changed files with 2 additions and 1 deletions

3
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)