[Ada] Crash on implicit dereference not made explicit
authorEd Schonberg <schonberg@adacore.com>
Fri, 13 Dec 2019 09:04:23 +0000 (09:04 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 13 Dec 2019 09:04:23 +0000 (09:04 +0000)
commitbe3614c740f91caf593e77b7138e65013fc0487b
tree04f944289cd83f4a6cf88d46217dcfcb4de75667
parent20dc266e5a178fd87bb8ae6ebbf63e391f74e9b0
[Ada] Crash on implicit dereference not made explicit

2019-12-13  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_res.adb (Resolve): IF an entity reference is overloaded
because its type has an Implicit_Dereference aspect, we must
examine the discriminants of the type to determine whether an
explicit dereference must be inserted for use in code
generation. Previously this was done for other expressions but
not for entity references by themselves.  This was sufficient to
handle uses of the aspect in container handling and iteration,
but not more generally.

From-SVN: r279352
gcc/ada/ChangeLog
gcc/ada/sem_res.adb