GCC seems to have more problems with "use" clauses (see also bug #26529).

gcc: Internal error: Segmentation fault (program gnat1)

The compiler has been compiled from source by:
> configure --prefix=/opt/gcc-4.1.1 --enable-languages=ada,c
> make bootstrap
> make install

The problem can be reproduced by compiling the source file below, using the following command line:

gcc -c command.ads

The solution of the problem in this case is to use the correct range 0..6 for INFO_T.COMMAND_NAME, but gcc should have printed an error message instead of crashing, shouldn't it?

The compiler does not crash when size 8 is used for COMMAND_KIND_T, but how are the enum values represented in COMMAND_NAME in this case?

command.ads
=======================================================
package COMMAND is

   type COMMAND_KIND_T is (START, STOP);

   for COMMAND_KIND_T use (START => 80, STOP => 81);

   -- for COMMAND_KIND_T'size use 8; -- not crashing
   for COMMAND_KIND_T'size use 16;   -- crashing

   type SUB_COMMAND_KIND_T is new COMMAND_KIND_T range START..STOP;

   for SUB_COMMAND_KIND_T'size use 7;

   type INFO_T (COMMAND_NAME : SUB_COMMAND_KIND_T := START) is record
      case COMMAND_NAME is
         when others     => null;
      end case;
   end record;

   for INFO_T use record
      COMMAND_NAME       at 0 range 0..4;
   end record;

end COMMAND;
=======================================================