# { dg-options "-fstropping=upper" }  #
BEGIN GOTO end;
      ASSERT(FALSE);
end:  SKIP
END