[Bug analyzer/108767] O2 optimization has side effects on static analysis.

2023-04-10 Thread StevenSun2021 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108767 Steven Sun changed: What|Removed |Added CC||StevenSun2021 at hotmail dot com --- Comm

[Bug analyzer/108767] O2 optimization has side effects on static analysis.

2023-04-03 Thread geoffreydgr at icloud dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108767 --- Comment #1 from Geoffrey --- Hi, David, do you have any idea about why -O2 can lead to a FP?