[Bug tree-optimization/102996] No warning on dereferencing of uninitialized pointer in an array, in a loop

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

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |msebor at gcc dot gnu.org
          Component|c                           |tree-optimization

--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> ---
The early uninit pass deliberately defers the conditional cases to the late
pass to avoid false positives.  It only handles straightforward unconditionally
uninitialized reads.  It could probably do better.