2008-05-20 Ed Schonberg <schonberg@adacore.com>
authorEd Schonberg <schonberg@adacore.com>
Tue, 20 May 2008 12:50:26 +0000 (14:50 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 20 May 2008 12:50:26 +0000 (14:50 +0200)
commit5ff22245698ae9b3f229ab127744baceddbf6a02
tree65942fc7ee2b4434caa3588e34dd2be75ce4d972
parenteede5a0d7a073f4a546bed31b2fafc616f9002fd
2008-05-20  Ed Schonberg  <schonberg@adacore.com>
    Thomas Quinot  <quinot@adacore.com>

* sem_ch4.adb
(Try_Indexed_Call): Handle properly a construct of the form F(S) where
F is a parameterless function that returns an array, and S is a subtype
mark.
(Analyze_Call): Insert dereference when the prefix is a parameterless
function that returns an access to subprogram and the call has
parameters.
Reject a non-overloaded call whose name resolves to denote
a primitive operation of the stub type generated to support a remote
access-to-class-wide type.

From-SVN: r135640
gcc/ada/sem_ch4.adb