On Wed, Feb 25, 2026 at 9:00 AM ywgrit via Gcc <[email protected]> wrote: > > When building MySQL 8.0.25 with GCC trunk and `enable-checking=release`, an > error related to devirtualization occurs: `gcc_assert (symtab->state < > IPA_SSA || targets.length() <= len)` fails. > When `symtab->state == IPA_SSA`, certain types remain unadded to > `odr_types`, such as MySQL's `Protocol_change_notification` type. During > the first invocation of `possible_polymorphic_call_targets` in > `dump_possible_polymorphic_call_targets`, `odr_types` does not include > `Protocol_change_notification`. The second call to > possible_polymorphic_call_targets adds context.speculative_outer_type > (Protocol_change_notification) to odr_types. This is included in the result > of possible_polymorphic_call_targets, and targets.length()(1) <= len(0) > does not hold. > I'm wondering if `symtab->state == IPA_SSA` indicates that `odr_types` now > contains all types in the program at this stage. If so, this contradicts > the MySQL example. Since I'm unfamiliar with how `odr_types` is > constructed, it's not easy to analyze why `Protocol_change_notification` > isn't included in `odr_types` when `symtab->state == IPA_SSA`. I'd > appreciate your insights.
I would suggest you file a bugzilla report, attaching preprocessed source of the TU where the ICE occurs. Richard. > Thank you.
