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 | c1f1efdd1a835feae3213495af8a5720ff700c38 (patch) | |
| tree | b4368aa4187e958b39267999ec73e793c3e29d67 /lib/Analysis/Lint.cpp | |
| parent | 6b8719fd7dc527e4c1910ae49ebee61d90907c08 (diff) | |
| download | llvm-c1f1efdd1a835feae3213495af8a5720ff700c38.tar.gz llvm-c1f1efdd1a835feae3213495af8a5720ff700c38.tar.bz2 llvm-c1f1efdd1a835feae3213495af8a5720ff700c38.tar.xz | |
Update a comment.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@121727 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/Lint.cpp')
| -rw-r--r-- | lib/Analysis/Lint.cpp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/lib/Analysis/Lint.cpp b/lib/Analysis/Lint.cpp index 270aa457f1..72ae7abd55 100644 --- a/lib/Analysis/Lint.cpp +++ b/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()) { |