https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32643
Bernd Schmidt <bernds at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bernds at gcc dot gnu.org --- Comment #22 from Bernd Schmidt <bernds at gcc dot gnu.org> --- Ok, so I have a patch that makes the original testcase pass, by allowing folding in get_unwidened depening on a new arg. That was: unsigned char p; unsigned char p1 = p & 512; But, how about char p2 = p & 512; Are we supposed to still warn about this (we do, with the patch I have)? Probably not, right?