[Bug tree-optimization/92227] New: Optimizations on constant integer overflow checks lead to incorrect results

[arieltorti14 at gmail dot com]

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

            Bug ID: 92227
           Summary: Optimizations on constant integer overflow checks lead
                    to incorrect results
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: arieltorti14 at gmail dot com
  Target Milestone: ---

Created attachment 47113
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47113&action=edit
PoC generator

When `fold_builtin_arith_overflow` optimizes the overflow check on integer
constants it never sets the overflow flag on the flag register leading to
incorrect results.

Attached is a file containing two versions of a program showcasing the bug.