1-- { dg-do compile }
2
3with Ada.Text_IO; use Ada.Text_IO;
4
5procedure Warn11 is
6
7   type My_Integer is new Integer range 1 .. 10;
8   for My_Integer'Size use 65;  -- { dg-warning "unused" "" { target { ! lp64 } } }
9
10   type My_Integer2 is new Integer range 1 .. 10;
11   for My_Integer2'Size use 129;  -- { dg-warning "unused" }
12
13begin
14   Put_Line ("MB'Size is " & Natural'Image (My_Integer'Size));
15   Put_Line ("MB'Size is " & Natural'Image (My_Integer2'Size));
16end;
17