blob: 7e6f1a19e95d9c10747ba6533643b6cfc9b7a20a [file] [log] [blame]
-- { dg-do compile }
with Ada.Text_IO; use Ada.Text_IO;
procedure Warn11 is
type My_Integer is new Integer range 1 .. 10;
for My_Integer'Size use 65; -- { dg-warning "unused" "" { target { ! lp64 } } }
type My_Integer2 is new Integer range 1 .. 10;
for My_Integer2'Size use 129; -- { dg-warning "unused" }
begin
Put_Line ("MB'Size is " & Natural'Image (My_Integer'Size));
Put_Line ("MB'Size is " & Natural'Image (My_Integer2'Size));
end;