https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96368
Bug ID: 96368
Summary: False negative with maybe-uninitialized with goto
Product: gcc
Version: 8.3.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: felix at piedallu dot me
Target Milestone: ---
Created attachment 48951
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48951&action=edit
minimal code for missing maybe-uninitialized warning
There are cases where GCC should warn about maybe-uninitialized variables but
doesn't.
In the attached minimal code, the `goto` may prevent the eth.pktio to be
initialized, but GCC doesn't warn about it.
Weirdly enough, if the pktio_read() call is uncommented, GCC warns that
eth.pktio may be uninitialized.
Of course the fix is to initialize eth.pktio before the goto.
