diff options
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr103003.c | 12 | ||||
| -rw-r--r-- | gcc/value-relation.cc | 8 |
2 files changed, 19 insertions, 1 deletions
diff --git a/gcc/testsuite/gcc.dg/pr103003.c b/gcc/testsuite/gcc.dg/pr103003.c new file mode 100644 index 0000000..d3d65f8 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr103003.c @@ -0,0 +1,12 @@ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ +typedef char int8_t; +int8_t c_4, uli_5; +unsigned short us_6; +void func_1() { + int uli_9; + short ptr_16ptr_11 = &uli_9; /* { dg-warning "initialization of*" } */ + for (; us_6 <= 6;) + if ((us_6 *= uli_9) < (uli_5 || 0) ?: ((c_4 = us_6) >= us_6) - uli_5) + uli_9 = 9; +} diff --git a/gcc/value-relation.cc b/gcc/value-relation.cc index f572bcd..f1e46d3 100644 --- a/gcc/value-relation.cc +++ b/gcc/value-relation.cc @@ -877,7 +877,13 @@ relation_oracle::register_edge (edge e, relation_kind k, tree op1, tree op2) void dom_oracle::register_relation (basic_block bb, relation_kind k, tree op1, tree op2) -{ // Equivalencies are handled by the equivalence oracle. +{ + // If the 2 ssa_names are the same, do nothing. An equivalence is implied, + // and no other relation makes sense. + if (op1 == op2) + return; + + // Equivalencies are handled by the equivalence oracle. if (k == EQ_EXPR) equiv_oracle::register_relation (bb, k, op1, op2); else |