diff options
author | Steven Bosscher <stevenb@suse.de> | 2005-07-14 22:54:42 +0000 |
---|---|---|
committer | Steven Bosscher <stevenb@suse.de> | 2005-07-14 22:54:42 +0000 |
commit | 3da7feba2e51438df8986ccdfcef44b175bcf0e5 (patch) | |
tree | b55834910ba7dbd2bb2989f26bcb51ca80c754c8 /gcc/tree-vrp.c | |
parent | 058f96d83bf4dfef63dd1927c77cd4ae0bfc6036 (diff) |
PR tree-optimization/22230
gcc/
* tree-vrp.c (extract_range_from_binary_expr): Fix logics thinko in
the computation of the four cross productions for "range op range".
testsuite/
* gcc.dg/tree-ssa/pr22230.c: New test.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@102038 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-vrp.c')
-rw-r--r-- | gcc/tree-vrp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index bcbc7384d2e..a42a21a882e 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -1183,7 +1183,7 @@ extract_range_from_binary_expr (value_range_t *vr, tree expr) ? vrp_int_const_binop (code, vr0.max, vr1.min) : NULL_TREE; - val[3] = (vr0.min != vr1.min && vr0.max != vr1.max) + val[3] = (vr0.min != vr0.max && vr1.min != vr1.max) ? vrp_int_const_binop (code, vr0.max, vr1.max) : NULL_TREE; |