From 1a44b0bf677a7ce48874dc13120403013c8c647c Mon Sep 17 00:00:00 2001 From: George Burgess IV Date: Sun, 23 Dec 2018 02:50:08 +0000 Subject: [PATCH] [Lint] Use LocationSize instead of ints; NFC Keeping these patches super small so they're easily post-commit verifiable, as requested in D44748. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@350015 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/Lint.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/Analysis/Lint.cpp b/lib/Analysis/Lint.cpp index db919bd233b..5d0a627f842 100644 --- a/lib/Analysis/Lint.cpp +++ b/lib/Analysis/Lint.cpp @@ -330,12 +330,12 @@ 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. - uint64_t Size = 0; + auto Size = LocationSize::unknown(); if (const ConstantInt *Len = dyn_cast(findValue(MCI->getLength(), /*OffsetOk=*/false))) if (Len->getValue().isIntN(32)) - Size = Len->getValue().getZExtValue(); + Size = LocationSize::precise(Len->getValue().getZExtValue()); Assert(AA->alias(MCI->getSource(), Size, MCI->getDest(), Size) != MustAlias, "Undefined behavior: memcpy source and destination overlap", &I); -- 2.50.1