[Ada] Detect unchecked union components with fully qualified names
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 13 Jan 2021 11:53:21 +0000 (12:53 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 5 May 2021 08:19:04 +0000 (04:19 -0400)
gcc/ada/

* exp_ch4.adb (Component_Is_Unconstrained_UU): Detect both
qualified and unqualified names of unchecked union components.

gcc/ada/exp_ch4.adb

index ca23727..e8fa5a8 100644 (file)
@@ -8154,7 +8154,7 @@ package body Exp_Ch4 is
                --  Unconstrained nominal type. In the case of a constraint
                --  present, the node kind would have been N_Subtype_Indication.
 
-               if Nkind (Sindic) = N_Identifier then
+               if Nkind (Sindic) in N_Expanded_Name | N_Identifier then
                   return Is_Unchecked_Union (Base_Type (Etype (Sindic)));
                end if;