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

--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Here is a testcase which we miss currently because of the missing optional
convert:
```
short d;
int f(int a)
{
  short b = a;
  int e = ~a;
  short c = e;
  return b == c;
}
```

This is one missing for the `cmp == cmp'` issue too:
```
int f(int a)
{
  return (a == 0) == (a != 0);
}
```

Reply via email to