This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PING^2] ada: Add limitations on the acceptable prefixes of 'Old
On 7/05, Samuel Tardieu wrote:
| But I'm still in favour of keeping item 4 (formal default expression).
Moreover, the documentation in gnat_rm reads: "The attribute Prefix'Old
can be used WITHIN A SUBPROGRAM to refer to the value of the prefix on
entry." (emphasis mine)
So it doesn't require a new legality rule, but my proposed fix was
misdirected. I will produce a new patch that checks that we are indeed
within a subprogram; this will fix the top-level problem indirectly.