| commit | f6640da5cd79f99e92ea7e78af48b3fcef430a3f | |
| author | pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 26 Sep 2018 09:19:53 +0000 (26 09:19 +0000) | ||
| committer | pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 26 Sep 2018 09:19:53 +0000 (26 09:19 +0000) | ||
| tree | 9daee39e9cfe4cf3897f36e82bf02f98605ec927 | treesnapshot (tar.gz zip) |
| parent | 64aab93cf542ee19bf0401c84cd639eb3bdef68f | commitdiff |
[Ada] Spurious ineffective use_clause warning
This patch fixes an issue whereby user-defined subprograms used as
generic actuals with corresponding formals containing other formal types
led to spurious ineffective use_clause warnings.
2018-09-26 Justin Squirek <squirek@adacore.com>
gcc/ada/
* sem_ch8.adb (Analyze_Subprogram_Renaming): Add extra condition
to check for unmarked subprogram references coming from
renamings.
gcc/testsuite/
* gnat.dg/warn16.adb: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@264635 138bc75d-0d04-0410-961f-82ee72b054a4
This patch fixes an issue whereby user-defined subprograms used as
generic actuals with corresponding formals containing other formal types
led to spurious ineffective use_clause warnings.
2018-09-26 Justin Squirek <squirek@adacore.com>
gcc/ada/
* sem_ch8.adb (Analyze_Subprogram_Renaming): Add extra condition
to check for unmarked subprogram references coming from
renamings.
gcc/testsuite/
* gnat.dg/warn16.adb: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@264635 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/sem_ch8.adb | diffblobblamehistory | |
| gcc/testsuite/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/gnat.dg/warn16.adb | [new file with mode: 0644] | blob |