[Bug analyzer/108028] Misleading -fanalyzer messages at -O2 and above

2022-12-14 Thread mengli.ming at outlook dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108028 --- Comment #3 from ming mengli --- (In reply to David Malcolm from comment #1) > Thanks for filing this bug. > > There are several things going on here. > > (A): the analyzer is considering the function "f" as called standalone, as > well as

[Bug analyzer/108028] Misleading -fanalyzer messages at -O2 and above

2022-12-13 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108028 --- Comment #2 from David Malcolm --- (D) Also, the (3) dereference of NULL '0' is poorly worded; ideally we'd say: (3) dereference of NULL 'q'

[Bug analyzer/108028] Misleading -fanalyzer messages at -O2 and above

2022-12-13 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108028 David Malcolm changed: What|Removed |Added Summary|--Wanalyzer-null-dereferenc |Misleading -fanalyzer