[Ada] Spurious error on default parameter in protected operation
authorEd Schonberg <schonberg@adacore.com>
Tue, 31 Jul 2018 09:56:21 +0000 (09:56 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 31 Jul 2018 09:56:21 +0000 (09:56 +0000)
commit6cdce5064b7e2c30beec8a99f1b19869f14398a7
treea9c4a33556cefd3b66bc8a316f84ce245d638003
parentc992e2e4bd68729e7849c5649a9492263aedc063
[Ada] Spurious error on default parameter in protected operation

This patch fixes a spurious compiler error on a call to a protected
operation whose profile includes a defaulted in-parameter that is a call
to another protected function of the same object.

2018-07-31  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* exp_ch6.adb (Expand_Protected_Subprogram_Call): Handle
properly a protected call that includes a default parameter that
is a call to a protected function of the same type.

gcc/testsuite/

* gnat.dg/prot5.adb, gnat.dg/prot5_pkg.adb,
gnat.dg/prot5_pkg.ads: New testcase.

From-SVN: r263101
gcc/ada/ChangeLog
gcc/ada/exp_ch6.adb
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/prot5.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/prot5_pkg.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/prot5_pkg.ads [new file with mode: 0644]