Subversion Repositories openrisc

------------------------------------------------------------------------------

--                                                                          --

--                         GNAT COMPILER COMPONENTS                         --

--                                                                          --

--                             S I N F O . C N                              --

--                                                                          --

--                                 B o d y                                  --

--                                                                          --

--          Copyright (C) 1992-2011, Free Software Foundation, Inc.         --

--                                                                          --

-- GNAT is free software;  you can  redistribute it  and/or modify it under --

-- terms of the  GNU General Public License as published  by the Free Soft- --

-- ware  Foundation;  either version 3,  or (at your option) any later ver- --

-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --

-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --

-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --

-- for  more details.  You should have  received  a copy of the GNU General --

-- Public License  distributed with GNAT; see file COPYING3.  If not, go to --

-- http://www.gnu.org/licenses for a complete copy of the license.          --

--                                                                          --

-- GNAT was originally developed  by the GNAT team at  New York University. --

-- Extensive contributions were provided by Ada Core Technologies Inc.      --

--                                                                          --

------------------------------------------------------------------------------

--  This child package of Sinfo contains some routines that permit in place

--  alteration of existing tree nodes by changing the value in the Nkind

--  field. Since Nkind functions logically in a manner similar to a variant

--  record discriminant part, such alterations cannot be permitted in a

--  general manner, but in some specific cases, the fields of related nodes

--  have been deliberately layed out in a manner that permits such alteration.

with Atree;  use Atree;

with Snames; use Snames;

package body Sinfo.CN is

   use Atree.Unchecked_Access;

   --  This package is one of the few packages which is allowed to make direct

   --  references to tree nodes (since it is in the business of providing a

   --  higher level of tree access which other clients are expected to use and

   --  which implements checks).

   ------------------------------------------------------------

   -- Change_Character_Literal_To_Defining_Character_Literal --

   ------------------------------------------------------------

   procedure Change_Character_Literal_To_Defining_Character_Literal

     (N : in out Node_Id)

   is

   begin

      Set_Nkind (N, N_Defining_Character_Literal);

      N := Extend_Node (N);

   end Change_Character_Literal_To_Defining_Character_Literal;

   ------------------------------------

   -- Change_Conversion_To_Unchecked --

   ------------------------------------

   procedure Change_Conversion_To_Unchecked (N : Node_Id) is

   begin

      Set_Do_Overflow_Check (N, False);

      Set_Do_Tag_Check (N, False);

      Set_Do_Length_Check (N, False);

      Set_Nkind (N, N_Unchecked_Type_Conversion);

   end Change_Conversion_To_Unchecked;

   ----------------------------------------------

   -- Change_Identifier_To_Defining_Identifier --

   ----------------------------------------------

   procedure Change_Identifier_To_Defining_Identifier (N : in out Node_Id) is

   begin

      Set_Nkind (N, N_Defining_Identifier);

      N := Extend_Node (N);

   end Change_Identifier_To_Defining_Identifier;

   ---------------------------------------------

   -- Change_Name_To_Procedure_Call_Statement --

   ---------------------------------------------

   procedure Change_Name_To_Procedure_Call_Statement (N : Node_Id) is

   begin

      --  Case of Indexed component, which is a procedure call with arguments

      if Nkind (N) = N_Indexed_Component then

         declare

            Prefix_Node : constant Node_Id := Prefix (N);

            Exprs_Node  : constant List_Id := Expressions (N);

         begin

            Change_Node (N, N_Procedure_Call_Statement);

            Set_Name (N, Prefix_Node);

            Set_Parameter_Associations (N, Exprs_Node);

         end;

      --  Case of function call node, which is a really a procedure call

      elsif Nkind (N) = N_Function_Call then

         declare

            Fname_Node  : constant Node_Id := Name (N);

            Params_List : constant List_Id := Parameter_Associations (N);

         begin

            Change_Node (N, N_Procedure_Call_Statement);

            Set_Name (N, Fname_Node);

            Set_Parameter_Associations (N, Params_List);

         end;

      --  Case of call to attribute that denotes a procedure. Here we just

      --  leave the attribute reference unchanged.

      elsif Nkind (N) = N_Attribute_Reference

        and then Is_Procedure_Attribute_Name (Attribute_Name (N))

      then

         null;

      --  All other cases of names are parameterless procedure calls

      else

         declare

            Name_Node : constant Node_Id := Relocate_Node (N);

         begin

            Change_Node (N, N_Procedure_Call_Statement);

            Set_Name (N, Name_Node);

         end;

      end if;

   end Change_Name_To_Procedure_Call_Statement;

   --------------------------------------------------------

   -- Change_Operator_Symbol_To_Defining_Operator_Symbol --

   --------------------------------------------------------

   procedure Change_Operator_Symbol_To_Defining_Operator_Symbol

     (N : in out Node_Id)

   is

   begin

      Set_Nkind (N, N_Defining_Operator_Symbol);

      Set_Node2 (N, Empty); -- Clear unused Str2 field

      N := Extend_Node (N);

   end Change_Operator_Symbol_To_Defining_Operator_Symbol;

   ----------------------------------------------

   -- Change_Operator_Symbol_To_String_Literal --

   ----------------------------------------------

   procedure Change_Operator_Symbol_To_String_Literal (N : Node_Id) is

   begin

      Set_Nkind (N, N_String_Literal);

      Set_Node1 (N, Empty); -- clear Name1 field

   end Change_Operator_Symbol_To_String_Literal;

   ------------------------------------------------

   -- Change_Selected_Component_To_Expanded_Name --

   ------------------------------------------------

   procedure Change_Selected_Component_To_Expanded_Name (N : Node_Id) is

   begin

      Set_Nkind (N, N_Expanded_Name);

      Set_Chars (N, Chars (Selector_Name (N)));

   end Change_Selected_Component_To_Expanded_Name;

end Sinfo.CN;