[Bug middle-end/61677] False positive with -Wmaybe-uninitialized (test case included)

[manu at gcc dot gnu.org]

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

Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2014-07-03
                 CC|                            |manu at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #2 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
This testcase needs minimizing: https://gcc.gnu.org/bugs/minimize.html

The uninit pass reports:

[BEFORE SIMPLICATION -- [USE]:
jump_227->offset = _110;
is guarded by :

_181 != 0


[BEFORE NORMALIZATION --[USE]:
jump_227->offset = _110;
is guarded by :

_181 != 0


[AFTER NORMALIZATION -- [USE]:
jump_227->offset = _110;
is guarded by :

_226 != 0 (.AND.) menu_108 == location_229


[BEFORE SIMPLICATION -- [DEF]:
jump_227 = PHI <jump_111(29), jump_127(D)(69)>
is guarded by :

location_92 != &rootmenu (.AND.)  (.NOT.) ivtmp.1338_129 != 8 (.AND.) _176 != 0
(.OR.)
 (.NOT.) location_92 != &rootmenu (.AND.) _95 != 0


[BEFORE NORMALIZATION --[DEF]:
jump_227 = PHI <jump_111(29), jump_127(D)(69)>
is guarded by :

location_92 != &rootmenu (.AND.)  (.NOT.) ivtmp.1338_129 != 8 (.AND.) _176 != 0
(.OR.)
 (.NOT.) location_92 != &rootmenu (.AND.) _95 != 0


[AFTER NORMALIZATION -- [DEF]:
jump_227 = PHI <jump_111(29), jump_127(D)(69)>
is guarded by :

head_36(D) != 0B (.AND.) location_89 != 0B (.AND.)  (.NOT.) ivtmp.1338_129 != 8
(.AND.) location_92 != &rootmenu
(.OR.)
head_36(D) != 0B (.AND.) location_130 != 0B (.AND.)  (.NOT.) location_92 !=
&rootmenu


[CHECK]: Found unguarded use: jump_227->offset = _110;

which does not clarify much what is going on.