[Bug tree-optimization/114425] wrong code with _BitInt() __builtin_add_overflow_p() at -O2

[zsojka at seznam dot cz via Gcc-bugs]

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

--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> ---
Created attachment 57771
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57771&action=edit
another testcase, using __builtin_mul_overflow_p

Output for second testcase:
$ x86_64-pc-linux-gnu-gcc -O2 testcase2.c
$ ./a.out 
Aborted