diff options
| -rw-r--r-- | lib/Analysis/RegionStore.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp index 747b16d7b6..e2dd176139 100644 --- a/lib/Analysis/RegionStore.cpp +++ b/lib/Analysis/RegionStore.cpp @@ -262,7 +262,8 @@ SVal RegionStoreManager::getLValueElement(const GRState* St, if (CI2->getValue().isUnsigned() || CI2->getValue().getBitWidth() < CI1->getValue().getBitWidth()) { llvm::APSInt SI = CI2->getValue(); - SI.extend(CI1->getValue().getBitWidth()); + if (CI2->getValue().getBitWidth() < CI1->getValue().getBitWidth()) + SI.extend(CI1->getValue().getBitWidth()); SI.setIsSigned(true); SignedInt = nonloc::ConcreteInt(getBasicVals().getValue(SI)); CI2 = cast<nonloc::ConcreteInt>(&SignedInt); |