https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55978
--- Comment #30 from anlauf at gcc dot gnu.org --- (In reply to anlauf from comment #29) > + if (a->expr->expr_type == EXPR_NULL || a->expr->ts.type == BT_UNKNOWN) > + goto skip_size_check; Oops, that should read && instead of ||.