gcc-4.9/gcc/testsuite/gnat.dg/equal1.ads


1
2
3
4
5
6
7
8

package equal1 is
  type Basic_Connection_Status_T is (Connected, Temporary_Disconnected,
     Disconnected);
  for Basic_Connection_Status_T'Size use 8;
  type Application_Connection_Status_T is (Connected, Disconnected);
  for Application_Connection_Status_T'Size use 8;
end equal1;