| commit | 36e7d49f8afc9bde0ef5691fc5a3ce4330fd3063 | |
| author | Justin Squirek <squirek@adacore.com> | |
| Thu, 24 May 2018 13:05:20 +0000 (24 13:05 +0000) | ||
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | |
| Thu, 24 May 2018 13:05:20 +0000 (24 13:05 +0000) | ||
| tree | a1f671816f03d35cf2f2d90b42ac6661e47fd123 | treesnapshot (tar.gz zip) |
| parent | 37a104eaa89a54f7c1a64a58c332fc04d2d757a6 | commitdiff |
[Ada] Ineffective use warning is suppressed when performing verification
This patch fixes an issue whereby the compiler incorrectly marked use clauses
as effective due to code generated for verification referencing certain types
leading to missing use clause warnings.
No reasonably small testcase available.
2018-05-24 Justin Squirek <squirek@adacore.com>
gcc/ada/
* sem_res.adb (Resolve_Entity_Name): Add guard to protect against
marking use clauses as effective when the reference appears within
generated code.
From-SVN: r260652
This patch fixes an issue whereby the compiler incorrectly marked use clauses
as effective due to code generated for verification referencing certain types
leading to missing use clause warnings.
No reasonably small testcase available.
2018-05-24 Justin Squirek <squirek@adacore.com>
gcc/ada/
* sem_res.adb (Resolve_Entity_Name): Add guard to protect against
marking use clauses as effective when the reference appears within
generated code.
From-SVN: r260652
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/sem_res.adb | diffblobblamehistory |