[Bug tree-optimization/126375] New: [14-17 Regression] wrong code at -O2

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

            Bug ID: 126375
           Summary: [14-17 Regression] wrong code at -O2
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: xxs_chy at outlook dot com
  Target Milestone: ---

Reproducer: https://godbolt.org/z/vThdzKnbb
Testcase:
#include <stdint.h>
#include <stdio.h>
int32_t g0, __chk, g27, g26, g21, g1;
int64_t g9;
void f1(int64_t a0, int8_t a1)
{
    _Bool c3, c12, c14;
    int32_t bb4;
    g26 = g9 = 3029213072962396350;
    g27 = g1 = 63;
    c3 = 0;
    c14 = a0 = 8268822031295518561;
lbl_br9:
    g21 = ~g21;
    c12 = 8920420979663668102 > a0;
    __builtin_add_overflow(g9, a0, &a0);
    if (c3) return;
    bb4 = g1 - 109906;
    if (!c12) return;
    g0 = bb4;
    if (!c14) return;
    g1 = c3 = 0 <= a1;
    c14 = 0;
    goto lbl_br9;
}
int main()
{
    f1(0, -4);
    __chk = g0;
    printf("checksum=0x%016llx\n", (unsigned long long)__chk);
}

This case outputs checksum=0xfffffffffffe52ed at -O2, and outputs
checksum=0xfffffffffffe52ae at -O0.