summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--llvm/lib/Transforms/Scalar/NewGVN.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/lib/Transforms/Scalar/NewGVN.cpp b/llvm/lib/Transforms/Scalar/NewGVN.cpp
index 1c1e04a6992..04fd5d0b0bd 100644
--- a/llvm/lib/Transforms/Scalar/NewGVN.cpp
+++ b/llvm/lib/Transforms/Scalar/NewGVN.cpp
@@ -1063,10 +1063,10 @@ void NewGVN::moveValueToNewCongruenceClass(Value *V, CongruenceClass *OldClass,
OldClass->Members.erase(V);
NewClass->Members.insert(V);
if (isa<StoreInst>(V)) {
+ assert(OldClass->StoreCount > 0 && "Store count underflow detected");
--OldClass->StoreCount;
- assert(OldClass->StoreCount >= 0);
+ assert(NewClass->StoreCount < UINT_MAX && "Store count overflow detected");
++NewClass->StoreCount;
- assert(NewClass->StoreCount >= 0);
}
ValueToClass[V] = NewClass;
OpenPOWER on IntegriCloud