mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-23 02:29:18 +00:00
Update a comment.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@121727 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
6b8719fd7d
commit
c1f1efdd1a
@ -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()) {
|
||||
|
Loading…
Reference in New Issue
Block a user