[Bug analyzer/97514] [11 Regression] ICE in add_function_entry, at analyzer/engine.cc:1958

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

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:ea0ae4e77a89d4a0492dcbbc13e9cbc19bcc2361

commit r11-4433-gea0ae4e77a89d4a0492dcbbc13e9cbc19bcc2361
Author: David Malcolm <dmalc...@redhat.com>
Date:   Tue Oct 27 09:50:24 2020 -0400

    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.