[Bug analyzer/113509] ICE: SIGSEGV in c_tree_printer (c-objc-common.cc:341) with -fanalyzer -fanalyzer-verbose-state-changes

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2024-01-30

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Confirmed with trunk; happens here in ana::state_change_event::get_desc due to
var being NULL:

445                   /* Append debug version.  */
446                   if (m_origin)
447                     return make_label_text
448                       (can_colorize,
449                        "%s (state of %qE: %qs -> %qs, origin: %qE, meaning:
%s)",
450                        custom_desc.get (),
451                        var,
452                        m_from->get_name (),
453                        m_to->get_name (),
454                        origin,
455                        pp_formatted_text (&meaning_pp));