projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c89956c) | patch
analyzer: fix warning_event::get_desc for global state changes
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 17 Sep 2020 13:41:29 +0000 (09:41 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 18 Sep 2020 21:39:46 +0000 (17:39 -0400)
commit1df487a5204462f1ec0b1eab39b0a463a8d6b89f
tree3d1b0fb6cb1bae2f174d48d6252ca6752182a2dbtree
parentc89956cba9d1a5fbf059f7880ff49418718a2965commit | diff
analyzer: fix warning_event::get_desc for global state changes

When experimenting the a new state_machine with global state I noticed
that the fallback handling in warning_event::get_desc assumes we have
per-value states, and ICEs on global states.  Fixed thusly.

gcc/analyzer/ChangeLog:
* checker-path.cc (warning_event::get_desc): Handle global state
changes.
gcc/analyzer/checker-path.cc diff | blob | history