[Ada] Fix assertion failure on entry call through unchecked conversion
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 19 Mar 2020 10:41:37 +0000 (11:41 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 11 Jun 2020 09:53:55 +0000 (05:53 -0400)
commit12ad5b9ccc77adabf81ba798217ac4cdace8ba1f
tree752f5ef73086f703262d0c63873e8ed1101c05e4
parenteedafec2f2dc0fb189752663de80b95e27ed84b3
[Ada] Fix assertion failure on entry call through unchecked conversion

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

gcc/ada/

* exp_util.adb (Safe_Unchecked_Type_Conversion): Add missing
Is_Type guard before calling Has_Discriminants on Etype.
gcc/ada/exp_util.adb