projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6dd96e2) | patch
analyzer: add program_point::get_next
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 15 Sep 2020 18:25:52 +0000 (14:25 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 16 Sep 2020 23:00:41 +0000 (19:00 -0400)
commitb9b5fc0c2175b34131d9fd0805b1b307f754f4f0
tree70e496d98dccdbfea0cccc8b6ae281e869dc28f8tree
parent6dd96e24ea3cb9919fedd4da35fbfd36ed98b0eacommit | diff
analyzer: add program_point::get_next

Avoid some future copy-and-paste by introducing a function.

gcc/analyzer/ChangeLog:
* engine.cc
(exploded_graph::process_node) <case PK_BEFORE_SUPERNODE>:
Simplify by using program_point::get_next.
* program-point.cc (program_point::get_next): New.
* program-point.h (program_point::get_next): New decl.
gcc/analyzer/engine.cc diff | blob | history
gcc/analyzer/program-point.cc diff | blob | history
gcc/analyzer/program-point.h diff | blob | history