[Bug analyzer/115996] Missing -Wanalyzer-infinite-loop with -Waddress violation

2024-07-19 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115996 --- Comment #3 from Sam James --- With the following, it warns with -O0 and -O1, just not -O2, so we're back to the general optimiser-analyser ordering problem: ``` int foo() { int i = 0; while(foo) { i++;

[Bug analyzer/115996] Missing -Wanalyzer-infinite-loop with -Waddress violation

2024-07-18 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115996 Sam James changed: What|Removed |Added Resolution|--- |INVALID Status|UNCONFIRMED

[Bug analyzer/115996] Missing -Wanalyzer-infinite-loop with -Waddress violation

2024-07-18 Thread sjames at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115996 --- Comment #1 from Sam James --- (i.e. it's fine if this is WONTFIX, it's not that interesting)