[Ada] Ineffective use warning is suppressed when performing verification
authorJustin Squirek <squirek@adacore.com>
Thu, 24 May 2018 13:05:20 +0000 (13:05 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 24 May 2018 13:05:20 +0000 (13:05 +0000)
commit36e7d49f8afc9bde0ef5691fc5a3ce4330fd3063
treea1f671816f03d35cf2f2d90b42ac6661e47fd123
parent37a104eaa89a54f7c1a64a58c332fc04d2d757a6
[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
gcc/ada/ChangeLog
gcc/ada/sem_res.adb