"Arnaud" == Arnaud Charlet <charlet@adacore.com> writes:
gcc/ada/ PR ada/15805 * sem_type.adb (Covers): An access to
non-constant cannot cover an access to constant.
Arnaud> Here is the answer from Ed Schonberg:
[...]
Arnaud> Nevertheless, there is a real gap in the front-end, regarding
Arnaud> initialization expressions for declarations of
Arnaud> access-to-object entities. Best is to place an additional
Arnaud> check in analyze_object_declaration. Such a check already
Arnaud> exists for actuals in calls.
Ok, thanks a lot Ed for your analysis, I will start from there.