https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110405
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
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&0xffff == 1` is true
// and `0x10000&0xffff == 0` which is false
return g(a == 0x10000);
}
```
Basically I am asking for value/mask to prop for branches and not just the
ranges.
