This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[Ada] Improve error message for Object_Size clause on dynamic array
- From: Pierre-Marie de Rodat <derodat at adacore dot com>
- To: gcc-patches at gcc dot gnu dot org
- Cc: Eric Botcazou <ebotcazou at adacore dot com>
- Date: Mon, 12 Aug 2019 05:02:50 -0400
- Subject: [Ada] Improve error message for Object_Size clause on dynamic array
This makes the compiler issue the same error:
size clause not allowed for variable length type
for an Object_Size clause on a variable-sized type as for a Size clause,
for example on the following procedure:
procedure P (X, Y : Integer) is
subtype Sub is String (X .. Y) with Object_Size => 64;
begin
null;
end;
Tested on x86_64-pc-linux-gnu, committed on trunk
2019-08-12 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* freeze.adb (Freeze_Entity): Give the same error for an
Object_Size clause on a variable-sized type as for a Size
clause.--- gcc/ada/freeze.adb
+++ gcc/ada/freeze.adb
@@ -6803,7 +6803,7 @@ package body Freeze is
-- Do not allow a size clause for a type which does not have a size
-- that is known at compile time
- if Has_Size_Clause (E)
+ if (Has_Size_Clause (E) or else Has_Object_Size_Clause (E))
and then not Size_Known_At_Compile_Time (E)
then
-- Suppress this message if errors posted on E, even if we are