projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fdc4e9d) | patch
sem_prag.adb (Analyze_PPC_In_Decl_Part): For a class-wide condition...
authorEd Schonberg <schonberg@adacore.com>
Fri, 5 Jul 2013 08:59:49 +0000 (08:59 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 5 Jul 2013 08:59:49 +0000 (10:59 +0200)
commit45c9ce986815135f925dbc0199d3932e860d4a02
tree9b44a4953649f2564fdc99c13c12476e643945a2tree
parentfdc4e9d4c5597a6d0b1dffea849b6c6152c4d5bbcommit | diff
sem_prag.adb (Analyze_PPC_In_Decl_Part): For a class-wide condition...

2013-07-05  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Analyze_PPC_In_Decl_Part): For a class-wide
condition, when replacing the name of a formal by a conversion
to the class-wide type, exempt selector names that appear in
parameter associations.

From-SVN: r200689
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history