https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83073
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Take -O2 -fno-tree-fre -fno-tree-ccp -fno-tree-forwprop:
int f(int x)
{
x = x|1;
return x & 1;
}
We should be able to figure this out in evrp but don't currently.
VRP can figure it out as it does a match and simplify for the statement.
