[Bug sanitizer/108481] [13 Regression] UBsan missed a signed integer overflow

2023-01-31 Thread shaohua.li at inf dot ethz.ch via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108481 --- Comment #4 from Li Shaohua --- (In reply to Andrew Pinski from comment #2) > i = i - 6822162149299574294; > > Is not being invoked on the executable code. > > If we look at look at the original code: > > > if ((i * (unsigned lo

[Bug sanitizer/108481] [13 Regression] UBsan missed a signed integer overflow

2023-01-30 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108481 --- Comment #3 from Andrew Pinski --- (In reply to Andrew Pinski from comment #2) > i = i - 6822162149299574294; > > Is not being invoked on the executable code. > > If we look at look at the original code: > > > if ((i * (unsigned

[Bug sanitizer/108481] [13 Regression] UBsan missed a signed integer overflow

2023-01-30 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108481 --- Comment #2 from Andrew Pinski --- i = i - 6822162149299574294; Is not being invoked on the executable code. If we look at look at the original code: if ((i * (unsigned long)7 <= 1) << j) ; else { i = i - 6822162

[Bug sanitizer/108481] [13 Regression] UBsan missed a signed integer overflow

2023-01-30 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108481 Andrew Pinski changed: What|Removed |Added Keywords||needs-bisection, wrong-code