projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 01079b6) | patch
analyzer: fix param "analyzer-max-enodes-per-program-point"
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 27 Oct 2020 13:50:24 +0000 (09:50 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 27 Oct 2020 13:50:24 +0000 (09:50 -0400)
commitea0ae4e77a89d4a0492dcbbc13e9cbc19bcc2361
tree42019951ea2bf0c9fd409a95706e6f5eed66258dtree
parent01079b6a9236bd467b445fafaff2659840789a85commit | diff
analyzer: fix param "analyzer-max-enodes-per-program-point"

This was effectively checking for one beyond the limit, rather than
the limit itself.

Seen when fixing PR analyzer/97514.

gcc/analyzer/ChangeLog:
* engine.cc (exploded_graph::get_or_create_node): Fix off-by-one
when imposing param_analyzer_max_enodes_per_program_point limit.
gcc/analyzer/engine.cc diff | blob | history