[Bug sanitizer/122876] New: missed sanitization for overflow in comparison

[uecker at tugraz dot at via Gcc-bugs]

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

            Bug ID: 122876
           Summary: missed sanitization for overflow in comparison
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: sanitizer
          Assignee: unassigned at gcc dot gnu.org
          Reporter: uecker at tugraz dot at
                CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org,
                    jakub at gcc dot gnu.org, kcc at gcc dot gnu.org
  Target Milestone: ---

There is no sanitization for the overflow in

int f(int i) {
    if (i + 1 > 0)
        return 1;
    return 0;
}



https://godbolt.org/z/7cEoq4e3s