Vect: Optimize truncation for .SAT_SUB operands

[official-gcc.git] / gcc / testsuite / gnat.dg / ghost6_pkg.ads

with Ada.Finalization;

package Ghost6_Pkg with
  Ghost
is
   type T is new Ada.Finalization.Controlled with null record;
end Ghost6_Pkg;