In the example below gcc reports an assertion failure, when warnings are switched on.

> gcc -c -gnatwa status.ads

fails, while

> gcc -c status.ads

is working.

The snapshot 4.3.0 20070921 is correctly warning 'no component clause given for "C" declared at line 12' while later snapshots (e.g. 4.3.0 20080111) fail.

status.ads
================================================
package STATUS is

   generic

      type CUSTOM_T is private;

   package HANDLER is

      type STORAGE_T is record
         A : Boolean;
         B : Boolean;
         C : CUSTOM_T;
      end record;

      for STORAGE_T use record
         A at 0 range 0..0;
         B at 1 range 0..0;
      end record;

   end HANDLER;

end STATUS;
================================================