projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9239229) | patch
[Ada] Plug small loophole in implementation of AI12-0100
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 1 May 2020 13:26:08 +0000 (15:26 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 19 Jun 2020 08:17:24 +0000 (04:17 -0400)
commite3c1f8dd0502c22c9ad47b360a65405ae9b87b23
tree6f4eda9b70fbad6422b27365656f964ac74752c3tree
parent92392296c19de59d12558eedb9a5966a138454a7commit | diff
[Ada] Plug small loophole in implementation of AI12-0100

2020-06-19  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* sem_res.adb (Resolve_Allocator): Call Resolve_Qualified_Expression
on the qualified expression, if any, instead of doing an incomplete
type resolution manually.
(Resolve_Qualified_Expression): Apply predicate check to operand.
gcc/ada/sem_res.adb diff | blob | history