https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107000
--- Comment #23 from anlauf at gcc dot gnu.org --- (In reply to Steve Kargl from comment #22) > In looking at the patch, there is a > > gcc_assert (op1->ts.type != BT_UNKNOWN); > > in reduce_binary_ac() near line 1334 and > > gcc_assert (op2->ts.type != BT_UNKNOWN); > > in reduce_binary_ca() near line 1386 that > I think can go away. You're probably right, although I'm not entirely sure that there is a corner case that we haven't covered yet... I think it doesn't really harm to leave it there for now. Gerhard will tell (fingers crossed...).