https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106203
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> --- I've been prototyping an implementation of PR 106147 (infinite loop detection), and in some cases there aren't any statements at all for my warnings, just location_t values (if that). So as part of that I've been looking at a big revamp of how source locations are tracked in the analyzer; I may be able to fix this as part of that.