https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117489
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Ever confirmed|0 |1 Component|ipa |tree-optimization Known to work| |11.5.0 Target Milestone|--- |12.5 Keywords| |ice-checking, | |needs-bisection Summary|ICE on x86_64-linux-gnu: in |[12/13/14/15 Regression] |handle_call_arg, at |ICE in handle_call_arg, at |tree-ssa-structalias.cc:422 |tree-ssa-structalias.cc:422 |6 at -O1 and above with |6 at -O1 and above with |"-fno-ipa-pure-const" and |"-fno-ipa-pure-const |no sanitize attribute |-fsanitize=undefined" and | |pure and no sanitize | |attribute and thunks Last reconfirmed| |2024-11-08 --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- /* If we do not read indirectly there is no need for transitive closure. We know there is only one level of indirection. */ if (!(flags & EAF_NO_INDIRECT_READ)) make_transitive_closure_constraints (indir_tem); gcc_checking_assert (!(flags & EAF_NO_DIRECT_READ)); Confirmed. The assert was added in r12-5113-gd70ef65692fced so it is a regression. Maybe from that commit id.