[Bug c/109090] [10/11/12/13 Regression] UBSan signed integer overflow check missing.

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

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
                 CC|                            |mpolacek at gcc dot gnu.org
   Target Milestone|---                         |10.5
     Ever confirmed|0                           |1
            Summary|UBSan signed integer        |[10/11/12/13 Regression]
                   |overflow check missing.     |UBSan signed integer
                   |                            |overflow check missing.
   Last reconfirmed|                            |2023-03-10
           Priority|P3                          |P2

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.

int a = -1113063836;
int *b, *c = &a;
int **d = &b;
int main(void) {
  *d = c;
  *b = 0 > *c + *c;
  __builtin_printf("checksum = %X\n", a);
}