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


Samuel Tardieu wrote:

Will look at rest of issues later ...
Any idea on how to make this both robust and easy to understand?

Do you confirm that F(3)'Old should be forbidden as well? If it does, I think I can produce a patch which fixes the other issues.

OK, I see the issue you were raising, in general F(3) is fine, but in this case F(3) is no good since F is a local function. The rule really has to be that the prefix of Old may not mention any local entities (other than parameters of the function in which it appears). I think what is needed is a scan of the tree using the usual traversal routine to make sure this rule is followed.


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