2005-12-05 Gary Dismukes <dismukes@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 9 Dec 2005 17:20:53 +0000 (17:20 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 9 Dec 2005 17:20:53 +0000 (17:20 +0000)
commit33747dda8b878bcf8c994a7253d12a09f2acebdf
treeca858e7cb7325f4b646d81b9bb023dd0c3cad7c6
parent639e37b099987c5cfa784ba45bb4f4fb436f2d6c
2005-12-05  Gary Dismukes  <dismukes@adacore.com>

* sem_cat.adb (Validate_RCI_Subprogram_Declaration): Revise test for
available user-specified stream attributes on limited parameters to
also test the type directly rather than only its underlying type (for
Ada 95) and, in the case of Ada 2005, to check that the user-specified
attributes are visible at the point of the subprogram declaration.
For Ada 2005, the error message is modified to indicate that the
type's stream attributes must be visible (again, only for -gnat05).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@108300 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/sem_cat.adb