aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-rw-r--r--gcc/range-op.cc1
-rw-r--r--gcc/testsuite/g++.dg/pr106687.C22
2 files changed, 22 insertions, 1 deletions
diff --git a/gcc/range-op.cc b/gcc/range-op.cc
index dfdd971..806edf1 100644
--- a/gcc/range-op.cc
+++ b/gcc/range-op.cc
@@ -1378,7 +1378,6 @@ operator_minus::lhs_op1_relation (const irange &, const irange &op1,
switch (rel)
{
case VREL_GT:
- return VREL_LT;
case VREL_GE:
return VREL_LE;
default:
diff --git a/gcc/testsuite/g++.dg/pr106687.C b/gcc/testsuite/g++.dg/pr106687.C
new file mode 100644
index 0000000..75ac81c
--- /dev/null
+++ b/gcc/testsuite/g++.dg/pr106687.C
@@ -0,0 +1,22 @@
+// { dg-do run }
+// { dg-options "-O2" }
+
+bool var_0 = (bool)0;
+unsigned int var_7 = 42;
+char var_215;
+
+int main() {
+ unsigned b = var_0;
+ unsigned p2 = var_7;
+ unsigned *tp;
+ if (b < p2)
+ tp = &p2;
+ else
+ tp = &b;
+ unsigned tt = *tp;
+ unsigned t = tt ^ (var_7 - var_0);
+ var_215 = t ? t : 42;
+ if (var_215 != 42)
+ __builtin_abort();
+ return 0;
+}