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

[zsojka at seznam dot cz via Gcc-bugs]

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

--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> ---
Created attachment 57772
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57772&action=edit
unreduced testcase ; output differs between -O0 and -O2