[Bug c/124223] New: Cast (int32_t)0x80000000 causes the whole loop to be optimized away

[stano at meduna dot org via Gcc-bugs]

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

            Bug ID: 124223
           Summary: Cast (int32_t)0x80000000 causes the whole loop to be
                    optimized away
           Product: gcc
           Version: 13.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: stano at meduna dot org
  Target Milestone: ---

Created attachment 63773
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=63773&action=edit
Source code reproducing the problem