Re: [Ada] Checks on alignment with address clauses

[Duncan Sands <baldrick at free dot fr>]

Hi Arnaud,

> @@ -1026,13 +1026,19 @@ package body Sem_Ch13 is
>                    --  check till after code generation to take full advantage
>                    --  of the annotation done by the back end. This entry is
>                    --  only made if the address clause comes from source.
> +                  --  If the entity has a generic type, the check will be
> +                  --  performed in the instance if the actual type justfies it,

justfies -> justifies

> +                  --  and we do not insert the clause in the table to prevent
> +                  --  spurious warnings.

Perhaps these last lines should be a new sentence
 "We do not insert the clause in the table to prevent spurious warnings"
and personally I think
 "To prevent spurious warnings, we do not insert the clause in the table"
would be less ambiguous (I found it unclear on first reading).

Ciao,

Duncan.