[Bug ipa/113490] [14 Regression] ICE: in propagate_vals_across_arith_jfunc, at ipa-cp.cc:2425 at -O3 since r14-285
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113490 Martin Jambor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|--- |FIXED --- Comment #7 from Martin Jambor --- Fixed.
[Bug ipa/113490] [14 Regression] ICE: in propagate_vals_across_arith_jfunc, at ipa-cp.cc:2425 at -O3 since r14-285
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113490 --- Comment #6 from GCC Commits --- The master branch has been updated by Martin Jambor : https://gcc.gnu.org/g:bc4a20bc57ce71da0a96bcc6ec5683640b9004d6 commit r14-8392-gbc4a20bc57ce71da0a96bcc6ec5683640b9004d6 Author: Martin Jambor 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 PR ipa/113490 * ipa-cp.cc (ipcp_lattice::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 PR ipa/113490 * gcc.dg/ipa/pr113490.c: New test.
[Bug ipa/113490] [14 Regression] ICE: in propagate_vals_across_arith_jfunc, at ipa-cp.cc:2425 at -O3 since r14-285
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113490 --- Comment #5 from Martin Jambor --- I have proposed a fix on the mailing list: https://inbox.sourceware.org/gcc-patches/ri6cytv3eyy.fsf@/T/#u
[Bug ipa/113490] [14 Regression] ICE: in propagate_vals_across_arith_jfunc, at ipa-cp.cc:2425 at -O3 since r14-285
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113490 --- Comment #4 from Richard Biener --- (In reply to Jakub Jelinek from comment #2) > Started with r14-285-g7bcdcf86e8272eeb524cc1dcb0ada8c8cfe6f27e Should have only exposed this.
[Bug ipa/113490] [14 Regression] ICE: in propagate_vals_across_arith_jfunc, at ipa-cp.cc:2425 at -O3 since r14-285
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113490 Martin Jambor changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |jamborm at gcc dot gnu.org --- Comment #3 from Martin Jambor --- Still, let me have a look.
[Bug ipa/113490] [14 Regression] ICE: in propagate_vals_across_arith_jfunc, at ipa-cp.cc:2425 at -O3 since r14-285
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113490 Jakub Jelinek changed: What|Removed |Added Summary|[14 Regression] ICE: in |[14 Regression] ICE: in |propagate_vals_across_arith |propagate_vals_across_arith |_jfunc, at ipa-cp.cc:2425 |_jfunc, at ipa-cp.cc:2425 |at -O3 |at -O3 since r14-285 Keywords|needs-bisection | CC||jakub at gcc dot gnu.org, ||rguenth at gcc dot gnu.org --- Comment #2 from Jakub Jelinek --- Started with r14-285-g7bcdcf86e8272eeb524cc1dcb0ada8c8cfe6f27e
[Bug ipa/113490] [14 Regression] ICE: in propagate_vals_across_arith_jfunc, at ipa-cp.cc:2425 at -O3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113490 Richard Biener changed: What|Removed |Added CC||jamborm at gcc dot gnu.org Priority|P3 |P1
[Bug ipa/113490] [14 Regression] ICE: in propagate_vals_across_arith_jfunc, at ipa-cp.cc:2425 at -O3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113490 Andrew Pinski changed: What|Removed |Added Keywords||needs-bisection Last reconfirmed||2024-01-18 Ever confirmed|0 |1 Status|UNCONFIRMED |NEW --- Comment #1 from Andrew Pinski --- `--param=ipa-cp-value-list-size=16` allows it to not ICE. Confirmed.
[Bug ipa/113490] [14 Regression] ICE: in propagate_vals_across_arith_jfunc, at ipa-cp.cc:2425 at -O3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113490 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |14.0
