https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122003
--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by David Malcolm <[email protected]>: https://gcc.gnu.org/g:1823d42676a98804d8b05ee5ea59ed69da427b91 commit r16-6175-g1823d42676a98804d8b05ee5ea59ed69da427b91 Author: David Malcolm <[email protected]> Date: Tue Dec 16 12:10:26 2025 -0500 analyzer: fix state dumps for return_event [PR122003] In the reimplementation of supergraph (r16-6063-g0b786d961d4426) the class return_event moved from being a subclass of superedge_event to a subclass of checker_event, thus using checker_event::get_program_state which returns null. This stopped e.g. HTML state-graph output showing state at return events in e.g. event (8) of https://dmalcolm.fedorapeople.org/gcc/2025-12-15/state-diagram-1.c.html Fixed by implementing return_event::get_program_state. gcc/analyzer/ChangeLog: PR analyzer/122003 * checker-event.cc (return_event::get_program_state): New. * checker-event.h (return_event::get_program_state): New decl. Signed-off-by: David Malcolm <[email protected]>
