aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/BasicAliasAnalysis.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Analysis/BasicAliasAnalysis.cpp')
-rw-r--r--lib/Analysis/BasicAliasAnalysis.cpp6
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp
index cbbc530fef..c6e34da5ac 100644
--- a/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/lib/Analysis/BasicAliasAnalysis.cpp
@@ -952,6 +952,12 @@ BasicAliasAnalysis::getModRefBehavior(Function *F, CallSite CS,
if (Ptr != OnlyReadsMemoryTable->end() && strcmp(*Ptr, NamePtr) == 0)
return OnlyReadsMemory;
+ const ParamAttrsList *Attrs = F->getFunctionType()->getParamAttrs();
+ if (Attrs && Attrs->paramHasAttr(0, ParamAttr::ReadNone))
+ return DoesNotAccessMemory;
+ if (Attrs && Attrs->paramHasAttr(0, ParamAttr::ReadOnly))
+ return OnlyReadsMemory;
+
return UnknownModRefBehavior;
}