https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69476
Bug ID: 69476
Summary: Fail to reconize types with an unrejected static size
attribute as compile time known size type
Product: gcc
Version: 4.9.4
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: ludo...@ludovic-brenta.org
Target Milestone: ---
Forwarding Debian bug http://bugs.debian.org/812587
Please see below a minimal test case striped down form a real case :
procedure Foo is
type Unbiased_T is range 0 .. 4
with Size => 3;
pragma Warnings
(Off, "size clause forces biased representation for ""Biased_T""");
type Biased_T is range 1 .. 4
with Size => 2;
pragma Warnings
(On, "size clause forces biased representation for ""Biased_T""");
type Biased_Or_Unbiased_T (Biased : Boolean) is
record
case Biased is
when True => Biased_Value : Biased_T;
when False => Unbiased_Value : Unbiased_T;
end case;
end record
with Unchecked_Union,
Convention => Ada,
Size => 3;
for Biased_Or_Unbiased_T use
record
Biased_Value at 0 range 1 .. 2;
Unbiased_Value at 0 range 0 .. 2;
end record;
type Hardware_Register_T
(Value_1_Is_Biased : Boolean;
Value_2_Is_Biased : Boolean) is
record
Value_1 : Biased_Or_Unbiased_T (Value_2_Is_Biased);
Value_2 : Biased_Or_Unbiased_T (Value_2_Is_Biased);
end record
with Size => 8,
Volatile;
for Hardware_Register_T use
record
Value_1 at 0 range 0 .. 2;
Value_2 at 0 range 3 .. 5;
Value_1_Is_Biased at 0 range 6 .. 6;
Value_2_Is_Biased at 0 range 7 .. 7;
end record;
begin
null;
end Foo;
When invoking gnatmake as this :
gnatmake foo.adb
I get this output :
gcc-4.9 -c foo.adb
foo.adb:38:11: size clause not allowed for variable length type
foo.adb:42:28: component clause not allowed for variable length component
foo.adb:43:28: component clause not allowed for variable length component
gnatmake: "foo.adb" compilation error
But none of the types here are variable length.
By some little investigation I have found that all of the 3 reported errors
cames from the same place in the compiler code.
The function Size_Known_At_Compile_Time return False and should return True
in the file freeze.adb at line 2832 and line 5228.
I expected at least any type with a static unrejected size attribute or clause
to be considered having a Size_Known_At_Compile_Time.
The function Size_Known_At_Compile_Time itself defined in einfo.adb line 2892
just return a flag which seem to only be manipulated by the procedure
Set_Size_Known_At_Compile_Time also define in einfo.adb at line 5655.
I suspect a call to the procedure Set_Size_Known_At_Compile_Time should be
added somwhere in freese.adb when there is a size clause or attribute for a
type but there I am at my limit in my understanding of the compiler code.
I suspect this bug to be present in all architecture and I can at least
confirme it on gnat-4.9 for x86 and powerpc, gnat-4.6 on x86 and
avr-ada gnat-4.7.
In the hope this bug report will help.
Henri GEIST
