[Bug middle-end/53917] Wuninitialized warning points to place where variable doesn't occur

[egallager at gcc dot gnu.org]

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

Eric Gallager <egallager at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2017-09-24 00:00:00         |2019-12-23

--- Comment #7 from Eric Gallager <egallager at gcc dot gnu.org> ---
(In reply to Eric Gallager from comment #3)
> 
> gcc still gets this one wrong though:
> 
> $ /usr/local/bin/gcc -c -Os -S -Wall -Wextra 53917_a.c
> 53917_a.c: In function ‘fn4’:
> 53917_a.c:38:8: warning: ‘valid’ may be used uninitialized in this function
> [-Wmaybe-uninitialized]
>      if (fn3 (&p_t1_rw_fsm_data.tag_mem_config))
>         ^
> $
> 
> So confirmed for the second testcase.

Reconfirming that, despite improvements to location info in general, it's still
bad here.