https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110405
--- Comment #3 from Andrew Pinski ---
Another testcase:
```
int g(int);
int f(int a)
{
short t = a;
if (t != 1)
return 0;
// t is known to be 1 so `a&0x == 1` is true
// and `0x1&0x == 0` which is false
return g(a == 0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110405
Andrew Pinski changed:
What|Removed |Added
See Also||https://github.com/dtcxzyw/
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110405
Andrew Pinski changed:
What|Removed |Added
Last reconfirmed||2023-11-12
Ever confirmed|0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110405
Andrew Pinski changed:
What|Removed |Added
See Also||https://gcc.gnu.org/bugzill
