[Bug tree-optimization/101179] y % (x ? 16 : 4) and y % (4 << (2 * (bool)x)) produce different code

[redi at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
On IRC Richi said: "VRP has code to do that but maybe for some reason shifts
are not handled"