# { dg-options "-fstropping=upper" }  #
BEGIN []INT a = ();
      ASSERT (UPB a = 0);
      ASSERT (LWB a = 1);
      ASSERT (ELEMS a = 0)
END