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;
================================================
--
Summary: [Ada] Assertion fails when no component clause is given
for generic record member
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: markus dot heichel at comsoft dot de
GCC build triplet: i686-pc-linux
GCC host triplet: i686-pc-linux
GCC target triplet: i686-pc-linux
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34799
