[Bug analyzer/109225] -Wanalyzer-null-dereference false negative with *c = 404

[xry111 at gcc dot gnu.org via Gcc-bugs]

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

Xi Ruoyao  changed:

   What|Removed |Added

 CC||xry111 at gcc dot gnu.org

--- Comment #2 from Xi Ruoyao  ---
Using -O0 basically prevents any analysis regarding a loop.  I'm not sure if
"-O0 -fanalyzer" really makes any sense.

The test cases works with -O2.

[Bug analyzer/109225] -Wanalyzer-null-dereference false negative with *c = 404

[bagelming at outlook dot com via Gcc-bugs]

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

bagel ming  changed:

   What|Removed |Added

 CC||bagelming at outlook dot com

--- Comment #1 from bagel ming  ---
'when considering the path a calls b'..sorry, I write it backwards here, it's
'b calls a'.