[PATCH] D13992: [AliasAnalysis] Take into account readonly attribute for the function arguments

[hfinkel@anl.gov via llvm-commits]

hfinkel added a subscriber: hfinkel.

================
Comment at: lib/Analysis/BasicAliasAnalysis.cpp:619
@@ -618,1 +618,3 @@
 
+  if (CS.paramHasAttr(ArgIdx + 1, Attribute::ReadOnly))
+    return MRI_Ref;
----------------
Don't you need to check all arguments, not just the first? (please add some corresponding test cases)



http://reviews.llvm.org/D13992