diff options
author | Dan Gohman <gohman@apple.com> | 2010-10-19 22:54:46 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2010-10-19 22:54:46 +0000 |
commit | 3da848bbda62b25c12335998aaa44ab361f0bf15 (patch) | |
tree | dc1f3f7581fede379da986ef29041c892f3b545b /lib/Analysis/Lint.cpp | |
parent | 5ee568ac2704d7302017d42ad162d4b53d076cbc (diff) | |
download | llvm-3da848bbda62b25c12335998aaa44ab361f0bf15.tar.gz llvm-3da848bbda62b25c12335998aaa44ab361f0bf15.tar.bz2 llvm-3da848bbda62b25c12335998aaa44ab361f0bf15.tar.xz |
Reapply r116831 and r116839, converting AliasAnalysis to use
uint64_t, plus fixes for places I missed before.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@116875 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/Lint.cpp')
-rw-r--r-- | lib/Analysis/Lint.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Analysis/Lint.cpp b/lib/Analysis/Lint.cpp index daeaf344fd..b27ca47142 100644 --- a/lib/Analysis/Lint.cpp +++ b/lib/Analysis/Lint.cpp @@ -70,7 +70,7 @@ namespace { void visitCallSite(CallSite CS); void visitMemoryReference(Instruction &I, Value *Ptr, - unsigned Size, unsigned Align, + uint64_t Size, unsigned Align, const Type *Ty, unsigned Flags); void visitCallInst(CallInst &I); @@ -277,7 +277,7 @@ void Lint::visitCallSite(CallSite CS) { // Check that the memcpy arguments don't overlap. 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. - unsigned Size = 0; + uint64_t Size = 0; if (const ConstantInt *Len = dyn_cast<ConstantInt>(findValue(MCI->getLength(), /*OffsetOk=*/false))) @@ -361,7 +361,7 @@ void Lint::visitReturnInst(ReturnInst &I) { // TODO: Check that the reference is in bounds. // TODO: Check readnone/readonly function attributes. void Lint::visitMemoryReference(Instruction &I, - Value *Ptr, unsigned Size, unsigned Align, + Value *Ptr, uint64_t Size, unsigned Align, const Type *Ty, unsigned Flags) { // If no memory is being referenced, it doesn't matter if the pointer // is valid. |