sem_attr.adb (Analyze_Attribute, [...]): Add restrictions to the prefix of 'Old.
authorSamuel Tardieu <sam@rfc1149.net>
Wed, 14 May 2008 07:07:24 +0000 (07:07 +0000)
committerSamuel Tardieu <sam@gcc.gnu.org>
Wed, 14 May 2008 07:07:24 +0000 (07:07 +0000)
commiteaa2f8c7e6ae12642905df0e518d58b724bccf5f
tree1939edff40cd3e3eb25681a742a9b0853753fd55
parent0beb3d66eabd1090b50ac68e1741756db72f595a
sem_attr.adb (Analyze_Attribute, [...]): Add restrictions to the prefix of 'Old.

    gcc/ada/
* sem_attr.adb (Analyze_Attribute, Attribute_Old case): Add
restrictions to the prefix of 'Old.
* sem_util.ads, sem_util.adb (In_Parameter_Specification): New.
* gnat_rm.texi ('Old): Note that 'Old cannot be applied to local
variables.

    gcc/testsuite/
* gnat.dg/old_errors.ads, gnat.dg/old_errors.adb: New.

Co-Authored-By: Robert Dewar <dewar@adacore.com>
From-SVN: r135282
gcc/ada/ChangeLog
gcc/ada/gnat_rm.texi
gcc/ada/sem_attr.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/old_errors.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/old_errors.ads [new file with mode: 0644]