gcc/ada/sem_ch13.adb

9536       procedure Check_At_Constant_Address (Nod : Node_Id);
9542       procedure Check_Expr_Constants (Nod : Node_Id);
9554       procedure Check_At_Constant_Address (Nod : Node_Id) is
9556          if Is_Entity_Name (Nod) then
9557             if Present (Address_Clause (Entity ((Nod)))) then
9560                   Nod, U_Ent);
9563                   & "(RM 13.1(22))!", Nod, U_Ent);
9565             elsif In_Same_Source_Unit (Entity (Nod), U_Ent)
9566               and then Sloc (U_Ent) < Sloc (Entity (Nod))
9570                   Nod, U_Ent);
9574                   Nod, Entity (Nod));
9577          elsif Nkind (Nod) = N_Selected_Component then
9579                T : constant Entity_Id := Etype (Prefix (Nod));
9591                      Nod, U_Ent);
9594                      & "record (RM 13.1(22))!", Nod);
9596                   Check_At_Constant_Address (Prefix (Nod));
9600          elsif Nkind (Nod) = N_Indexed_Component then
9601             Check_At_Constant_Address (Prefix (Nod));
9602             Check_List_Constants (Expressions (Nod));
9605             Check_Expr_Constants (Nod);
9613       procedure Check_Expr_Constants (Nod : Node_Id) is
9618          if Nkind (Nod) in N_Has_Etype
9619            and then Etype (Nod) = Any_Type
9624          case Nkind (Nod) is
9633                Ent := Entity (Nod);
9639                if Original_Node (Nod) /= Nod then
9640                   Check_Expr_Constants (Original_Node (Nod));
9655                         Nod, U_Ent);
9668                         Nod, U_Ent);
9700                         Nod, U_Ent);
9704                         Nod, Ent);
9707                elsif Nkind (Original_Node (Nod)) = N_Function_Call then
9708                   Check_Expr_Constants (Original_Node (Nod));
9713                      Nod, U_Ent);
9718                           & " (RM 13.1(22))!", Nod, Ent);
9722                           & " (RM 13.1(22))!", Nod);
9734                if Nkind (Original_Node (Nod)) = N_Function_Call then
9735                   Set_Etype (Nod, Base_Type (Etype (Nod)));
9745                Check_Expr_Constants (Low_Bound (Nod));
9746                Check_Expr_Constants (High_Bound (Nod));
9749                Check_Expr_Constants (Prefix (Nod));
9752                Check_Expr_Constants (Prefix (Nod));
9753                Check_List_Constants (Expressions (Nod));
9756                Check_Expr_Constants (Prefix (Nod));
9757                Check_Expr_Constants (Discrete_Range (Nod));
9760                Check_Expr_Constants (Prefix (Nod));
9763                if Nam_In (Attribute_Name (Nod), Name_Address,
9768                   Check_At_Constant_Address (Prefix (Nod));
9775                elsif Attribute_Name (Nod) = Name_To_Address then
9780                   Check_Expr_Constants (Prefix (Nod));
9781                   Check_List_Constants (Expressions (Nod));
9785                Check_List_Constants (Component_Associations (Nod));
9786                Check_List_Constants (Expressions (Nod));
9789                Check_Expr_Constants (Expression (Nod));
9792                Check_Expr_Constants (Ancestor_Part (Nod));
9793                Check_List_Constants (Component_Associations (Nod));
9794                Check_List_Constants (Expressions (Nod));
9803                Check_Expr_Constants (Left_Opnd (Nod));
9804                Check_Expr_Constants (Right_Opnd (Nod));
9807                Check_Expr_Constants (Right_Opnd (Nod));
9814                Check_Expr_Constants (Expression (Nod));
9817                if not Is_Pure (Entity (Name (Nod))) then
9820                      Nod, U_Ent);
9824                      Nod, Entity (Name (Nod)));
9827                   Check_List_Constants (Parameter_Associations (Nod));
9831                Check_Expr_Constants (Explicit_Actual_Parameter (Nod));
9836                   Nod, U_Ent);
9839                   Nod, U_Ent);