diff options
author | Chris Lattner <sabre@nondot.org> | 2011-05-23 05:15:43 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2011-05-23 05:15:43 +0000 |
commit | c10ecd8f23ebb4541acbe18563b7f19c4f79e721 (patch) | |
tree | 95110640ff4dc7bb0cf791c0a2881caff3246e51 /lib/Analysis/BasicAliasAnalysis.cpp | |
parent | d34d429401187f4251c38323a1bc517bc96763b9 (diff) | |
download | llvm-c10ecd8f23ebb4541acbe18563b7f19c4f79e721.tar.gz llvm-c10ecd8f23ebb4541acbe18563b7f19c4f79e721.tar.bz2 llvm-c10ecd8f23ebb4541acbe18563b7f19c4f79e721.tar.xz |
fix a really nasty basicaa mod/ref calculation bug that was causing miscompilation of
UnitTests/ObjC/messages-2.m with the recent optimizer improvements.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@131897 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/BasicAliasAnalysis.cpp')
-rw-r--r-- | lib/Analysis/BasicAliasAnalysis.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp index f1bb8a38f0..989d8e0e82 100644 --- a/lib/Analysis/BasicAliasAnalysis.cpp +++ b/lib/Analysis/BasicAliasAnalysis.cpp @@ -680,9 +680,12 @@ BasicAliasAnalysis::getModRefInfo(ImmutableCallSite CS, unsigned ArgNo = 0; for (ImmutableCallSite::arg_iterator CI = CS.arg_begin(), CE = CS.arg_end(); CI != CE; ++CI, ++ArgNo) { - // Only look at the no-capture pointer arguments. + // Only look at the no-capture or byval pointer arguments. If this + // pointer were passed to arguments that were neither of these, then it + // couldn't be no-capture. if (!(*CI)->getType()->isPointerTy() || - !CS.paramHasAttr(ArgNo+1, Attribute::NoCapture)) + (!CS.paramHasAttr(ArgNo+1, Attribute::NoCapture) && + !CS.paramHasAttr(ArgNo+1, Attribute::ByVal))) continue; // If this is a no-capture pointer argument, see if we can tell that it |