https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54579
Mikhail Maltsev <miyuki at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |miyuki at gcc dot gnu.org Resolution|--- |FIXED --- Comment #3 from Mikhail Maltsev <miyuki at gcc dot gnu.org> --- We already fold (-a - 1) into ~a, so the transformation for PR55299 should work for this case too. I added the mentioned test case to gcc/testsuite/gcc.dg/fold-notshift-1.c.