https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111346

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=96708

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Reduced testcase:
```
static inline _Bool
test1 (int a, int b, int c)
{
    return c >= a;
}

int f();
int g();

_Bool test2(int a, int b)
{
        a = f();
        a = g();
        int t = a;
        if (t < b) t = b;
        return test1(a,b,t);
}
```

This should just reduced to:
```
  f ();
  g ();
  return 1;
```

But currently we get:
```
  f ();
  a_5 = g ();
  _3 = MAX_EXPR <a_5, b_6(D)>;
  _7 = _3 >= a_5;
  return _7;
```
Which does not match the referenced pattern due to the missing :c on cmp.

Reply via email to