https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114432
--- Comment #2 from Stefan Schulze Frielinghaus <stefansf at gcc dot gnu.org> --- Fails for function alog.active_logger.logging_taskT and trace 2 whose heads are (gdb) call debug(ti->head) (code_label 48 573 49 152 (nil) [2 uses]) (gdb) call debug(ti->eh_head) (insn 57 765 58 (set (reg/f:DI 14 %r14 [orig:74 _39 ] [74]) (mem/f:DI (reg/f:DI 10 %r10 [orig:123 _task ] [123]) [0 _task_25(D)->parent+0 S8 A64])) "libalog-0.6.2/src/alog-active_logger.adb":252:33 discrim 2 1477 {*movdi_64} (expr_list:REG_EH_REGION (const_int 6 [0x6]) (nil))) Looking at the trace there exists no insn with a ARGS_SIZE note which is why gcc_assert (!ti->args_size_undefined || ti->args_size_defined_for_eh); fails.