https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77432
--- Comment #7 from David Malcolm <dmalcolm at gcc dot gnu.org> --- (In reply to David Malcolm from comment #5) > I hadn't seen this, and I filed PR analyzer/99671 last year to track adding > a -fanalyzer warning for this. I now have a mostly-working implementation > of the latter which I'm hoping to post for stage 1. I've now committed the above patch implementing -Wanalyzer-deref-before-check for GCC 13 as part of -fanalyzer. > Not sure if these are dupes or not (would we want a non-analyzer > implementation of this warning?) Do we want a non-analyzer implementation of this warning, or should we close this out?