[Bug analyzer/94851] -fanalyzer erroneously reporting NULL dereference - simple test case attached

[hugo_musso_gualandi at hotmail dot com]

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

--- Comment #4 from Hugo Gualandi <hugo_musso_gualandi at hotmail dot com> ---
Created attachment 48493
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48493&action=edit
Another test case (-O2)