gcc/testsuite/gnat.dg/warn11.adb

   1 -- { dg-do compile }
   2
   3 with Ada.Text_IO; use Ada.Text_IO;
   4
   5 procedure 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
  13 begin
  14    Put_Line ("MB'Size is " & Natural'Image (My_Integer'Size));
  15    Put_Line ("MB'Size is " & Natural'Image (My_Integer2'Size));
  16 end;