From 1d3a58000c7e2e6da33f41b3e7a3894551756cc3 Mon Sep 17 00:00:00 2001
From: Fred Chow <fred.chow@yandex.com>
Date: Thu, 3 Mar 2022 14:37:08 -0800
Subject: [PATCH] In ValueRangePropagation::AddOrSubWithConstant(), also check
 for negation of MININT

---
 src/mapleall/maple_me/src/me_value_range_prop.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mapleall/maple_me/src/me_value_range_prop.cpp b/src/mapleall/maple_me/src/me_value_range_prop.cpp
index 4371bc0b9c..9c756f3eff 100755
--- a/src/mapleall/maple_me/src/me_value_range_prop.cpp
+++ b/src/mapleall/maple_me/src/me_value_range_prop.cpp
@@ -1736,7 +1736,7 @@ bool ValueRangePropagation::AddOrSubWithConstant(
     overflowOrUnderflow = OverflowOrUnderflow(primType, lhsConstant, rhsConstant);
   } else {
     CHECK_FATAL(op == OP_sub, "must be sub");
-    if (rhsConstant == GetMinNumber(primType)) {
+    if (rhsConstant == GetMinNumber(primType) || rhsConstant == GetMinInt64()) {
       overflowOrUnderflow = true;
     } else {
       overflowOrUnderflow = OverflowOrUnderflow(primType, lhsConstant, -rhsConstant);
-- 
Gitee