From: Dan Gohman <gohman@apple.com>
Date: Mon, 13 Dec 2010 22:53:18 +0000 (+0000)
Subject: Update a comment.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=c1f1efdd1a835feae3213495af8a5720ff700c38;p=oota-llvm.git

Update a comment.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@121727 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Analysis/Lint.cpp b/lib/Analysis/Lint.cpp
index 270aa457f17..72ae7abd551 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()) {