[Bug tree-optimization/39683] -fstrict-overflow misses multiply in comparison

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

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

Thomas Koenig <tkoenig at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2023-06-18 00:00:00         |2025-10-18

--- Comment #3 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
Code is now

foo:
.LFB0:
        .cfi_startproc
        subl    %esi, %edi
        xorl    %eax, %eax
        sall    $2, %edi
        cmpl    $7, %edi
        setle   %al
        ret

Better, but not optimal.