https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116098
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- See Also| |https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id=111276 --- Comment #18 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Ok, I think I know how to fix this correctly. Basically we need to have rewrite_to_defined_overflow rewrite this to be a cast to bool. I am going to do a simple patch first which can be backported which does not use rewrite_to_defined_overflow as we can then backport that. Then what I will do is extend rewrite_to_defined_overflow/gimple_with_undefined_signed_overflow (which comes from PR 111276) to do the rewriting but that has to wait until PR 111276 is fixed which I will handle as I have to fix the latent bug dealing with clobbers first.