[Ada] Spurious error on call to controlled primitive
authorJustin Squirek <squirek@adacore.com>
Fri, 21 Feb 2020 21:12:35 +0000 (16:12 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 8 Jun 2020 07:51:13 +0000 (03:51 -0400)
commita689887372e80f748fedd95e98ce9a85e7b09c9b
treead420c9a3d352030d9a75a80a5bcfa53dda6fb48
parent5351d617ec82bc2795a514e9de815484fb8cd0fc
[Ada] Spurious error on call to controlled primitive

2020-06-08  Justin Squirek  <squirek@adacore.com>

gcc/ada/

* sem_ch4.adb (Analyze_One_Call): Add extra condition to the
predicate for deciding when a given controlled call is visible.
gcc/ada/sem_ch4.adb