This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] ada: An access to non-constant cannot cover an access to constant
- From: Samuel Tardieu <sam at rfc1149 dot net>
- To: Arnaud Charlet <charlet at adacore dot com>
- Cc: gcc-patches at gcc dot gnu dot org, Ed Schonberg <schonberg at adacore dot com>
- Date: Wed, 28 Nov 2007 15:29:56 +0100
- Subject: Re: [PATCH] ada: An access to non-constant cannot cover an access to constant
- References: <20071127092837.6EAEBC405F@mail2.rfc1149.net> <20071128142625.GA73278@adacore.com>
>>>>> "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.