diff options
| author | Dan Gohman <gohman@apple.com> | 2010-12-13 22:53:18 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-12-13 22:53:18 +0000 |
| commit | 3cb55a1d236deefc91b6ef23898aaafdd9f76232 (patch) | |
| tree | b838034a1195e3eeefa63e7b5c3cba7ee3770ca6 /llvm/lib | |
| parent | 9a4d42855d2f21239332e69ecb3cfdd1524b9738 (diff) | |
| download | bcm5719-llvm-3cb55a1d236deefc91b6ef23898aaafdd9f76232.tar.gz bcm5719-llvm-3cb55a1d236deefc91b6ef23898aaafdd9f76232.zip | |
Update a comment.
llvm-svn: 121727
Diffstat (limited to 'llvm/lib')
| -rw-r--r-- | llvm/lib/Analysis/Lint.cpp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/llvm/lib/Analysis/Lint.cpp b/llvm/lib/Analysis/Lint.cpp index 270aa457f17..72ae7abd551 100644 --- a/llvm/lib/Analysis/Lint.cpp +++ b/llvm/lib/Analysis/Lint.cpp @@ -226,10 +226,9 @@ void Lint::visitCallSite(CallSite CS) { "Undefined behavior: Call argument type mismatches " "callee parameter type", &I); - // Check that noalias arguments don't alias other arguments. The - // AliasAnalysis API isn't expressive enough for what we really want - // to do. Known partial overlap is not distinguished from the case - // where nothing is known. + // Check that noalias arguments don't alias other arguments. This is + // not fully precise because we don't know the sizes of the dereferenced + // memory regions. if (Formal->hasNoAliasAttr() && Actual->getType()->isPointerTy()) for (CallSite::arg_iterator BI = CS.arg_begin(); BI != AE; ++BI) if (AI != BI && (*BI)->getType()->isPointerTy()) { |
