https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108251
--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> --- With trunk and -Wno-address-of-packed-member -O2, I get: ../../src/null-deref-pr108251-smp_fetch_ssl_fc_has_early.c: In function ‘smp_fetch_ssl_fc_has_early’: ../../src/null-deref-pr108251-smp_fetch_ssl_fc_has_early.c:92:27: warning: dereference of NULL ‘0’ [CWE-476] [-Wanalyzer-null-dereference] 92 | smp->data.u.sint = ((conn->flags & CO_FL_EARLY_DATA) && | ~~~~^~~~~~~ ‘smp_fetch_ssl_fc_has_early’: events 1-3 | | 85 | if (!ssl) | | ^ | | | | | (1) following ‘false’ branch (when ‘ssl’ is non-NULL)... |...... | 88 | smp->flags = 0; | | ~~~~~~~~~~~~~~ | | | | | (2) ...to here |...... | 92 | smp->data.u.sint = ((conn->flags & CO_FL_EARLY_DATA) && | | ~~~~~~~~~~~ | | | | | (3) dereference of NULL ‘<unknown>’ |