[Bug ipa/113490] [14 Regression] ICE: in propagate_vals_across_arith_jfunc, at ipa-cp.cc:2425 at -O3 since r14-285

["cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Martin Jambor <jamborm@gcc.gnu.org>:

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

commit r14-8392-gbc4a20bc57ce71da0a96bcc6ec5683640b9004d6
Author: Martin Jambor <mjambor@suse.cz>
Date:   Wed Jan 24 16:19:48 2024 +0100

    ipa-cp: Fix check for exceeding param_ipa_cp_value_list_size  (PR 113490)

    When the check for exceeding param_ipa_cp_value_list_size limit was
    modified to be ignored for generating values from self-recursive
    calls, it should have been changed from equal to, to equals to or is
    greater than.  This omission manifests itself as PR 113490.

    When I examined the condition I also noticed that the parameter should
    come from the callee rather than the caller, since the value list is
    associated with the former and not the latter.  In practice the limit
    is of course very likely to be the same, but I fixed this aspect of
    the condition too.  I briefly audited all other uses of opt_for_fn in
    ipa-cp.cc and all the others looked OK.

    gcc/ChangeLog:

    2024-01-19  Martin Jambor  <mjambor@suse.cz>

            PR ipa/113490
            * ipa-cp.cc (ipcp_lattice<valtype>::add_value): Bail out if value
            count is equal or greater than the limit.  Use the limit from the
            callee.

    gcc/testsuite/ChangeLog:

    2024-01-22  Martin Jambor  <mjambor@suse.cz>

            PR ipa/113490
            * gcc.dg/ipa/pr113490.c: New test.