This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]