gcc/ada/sinfo.adb

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                                S I N F O                                 --
   6 --                                                                          --
   7 --                                 B o d y                                  --
   8 --                                                                          --
   9 --          Copyright (C) 1992-2004, Free Software Foundation, Inc.         --
  10 --                                                                          --
  11 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  12 -- terms of the  GNU General Public License as published  by the Free Soft- --
  13 -- ware  Foundation;  either version 2,  or (at your option) any later ver- --
  14 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  15 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  16 -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
  17 -- for  more details.  You should have  received  a copy of the GNU General --
  18 -- Public License  distributed with GNAT;  see file COPYING.  If not, write --
  19 -- to  the Free Software Foundation,  59 Temple Place - Suite 330,  Boston, --
  20 -- MA 02111-1307, USA.                                                      --
  21 --                                                                          --
  22 -- As a special exception,  if other files  instantiate  generics from this --
  23 -- unit, or you link  this unit with other files  to produce an executable, --
  24 -- this  unit  does not  by itself cause  the resulting  executable  to  be --
  25 -- covered  by the  GNU  General  Public  License.  This exception does not --
  26 -- however invalidate  any other reasons why  the executable file  might be --
  27 -- covered by the  GNU Public License.                                      --
  28 --                                                                          --
  29 -- GNAT was originally developed  by the GNAT team at  New York University. --
  30 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  31 --                                                                          --
  32 ------------------------------------------------------------------------------
  33
  34 pragma Style_Checks (All_Checks);
  35 --  No subprogram ordering check, due to logical grouping
  36
  37 with Atree; use Atree;
  38
  39 package body Sinfo is
  40
  41    use Atree.Unchecked_Access;
  42    --  This package is one of the few packages which is allowed to make direct
  43    --  references to tree nodes (since it is in the business of providing a
  44    --  higher level of tree access which other clients are expected to use and
  45    --  which implements checks).
  46
  47    use Atree_Private_Part;
  48    --  The only reason that we ask for direct access to the private part of
  49    --  the tree package is so that we can directly reference the Nkind field
  50    --  of nodes table entries. We do this since it helps the efficiency of
  51    --  the Sinfo debugging checks considerably (note that when we are checking
  52    --  Nkind values, we don't need to check for a valid node reference, because
  53    --  we will check that anyway when we reference the field).
  54
  55    NT : Nodes.Table_Ptr renames Nodes.Table;
  56    --  A short hand abbreviation, useful for the debugging checks
  57
  58    ----------------------------
  59    -- Field Access Functions --
  60    ----------------------------
  61
  62    function ABE_Is_Certain
  63       (N : Node_Id) return Boolean is
  64    begin
  65       pragma Assert (False
  66         or else NT (N).Nkind = N_Formal_Package_Declaration
  67         or else NT (N).Nkind = N_Function_Call
  68         or else NT (N).Nkind = N_Function_Instantiation
  69         or else NT (N).Nkind = N_Package_Instantiation
  70         or else NT (N).Nkind = N_Procedure_Call_Statement
  71         or else NT (N).Nkind = N_Procedure_Instantiation);
  72       return Flag18 (N);
  73    end ABE_Is_Certain;
  74
  75    function Abort_Present
  76       (N : Node_Id) return Boolean is
  77    begin
  78       pragma Assert (False
  79         or else NT (N).Nkind = N_Requeue_Statement);
  80       return Flag15 (N);
  81    end Abort_Present;
  82
  83    function Abortable_Part
  84       (N : Node_Id) return Node_Id is
  85    begin
  86       pragma Assert (False
  87         or else NT (N).Nkind = N_Asynchronous_Select);
  88       return Node2 (N);
  89    end Abortable_Part;
  90
  91    function Abstract_Present
  92       (N : Node_Id) return Boolean is
  93    begin
  94       pragma Assert (False
  95         or else NT (N).Nkind = N_Derived_Type_Definition
  96         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
  97         or else NT (N).Nkind = N_Formal_Private_Type_Definition
  98         or else NT (N).Nkind = N_Private_Extension_Declaration
  99         or else NT (N).Nkind = N_Private_Type_Declaration
 100         or else NT (N).Nkind = N_Record_Definition);
 101       return Flag4 (N);
 102    end Abstract_Present;
 103
 104    function Accept_Handler_Records
 105       (N : Node_Id) return List_Id is
 106    begin
 107       pragma Assert (False
 108         or else NT (N).Nkind = N_Accept_Alternative);
 109       return List5 (N);
 110    end Accept_Handler_Records;
 111
 112    function Accept_Statement
 113       (N : Node_Id) return Node_Id is
 114    begin
 115       pragma Assert (False
 116         or else NT (N).Nkind = N_Accept_Alternative);
 117       return Node2 (N);
 118    end Accept_Statement;
 119
 120    function Access_Definition
 121      (N : Node_Id) return Node_Id is
 122    begin
 123       pragma Assert (False
 124         or else NT (N).Nkind = N_Component_Definition
 125         or else NT (N).Nkind = N_Object_Renaming_Declaration);
 126       return Node3 (N);
 127    end Access_Definition;
 128
 129    function Access_Types_To_Process
 130       (N : Node_Id) return Elist_Id is
 131    begin
 132       pragma Assert (False
 133         or else NT (N).Nkind = N_Freeze_Entity);
 134       return Elist2 (N);
 135    end Access_Types_To_Process;
 136
 137    function Actions
 138       (N : Node_Id) return List_Id is
 139    begin
 140       pragma Assert (False
 141         or else NT (N).Nkind = N_And_Then
 142         or else NT (N).Nkind = N_Compilation_Unit_Aux
 143         or else NT (N).Nkind = N_Freeze_Entity
 144         or else NT (N).Nkind = N_Or_Else);
 145       return List1 (N);
 146    end Actions;
 147
 148    function Activation_Chain_Entity
 149       (N : Node_Id) return Node_Id is
 150    begin
 151       pragma Assert (False
 152         or else NT (N).Nkind = N_Block_Statement
 153         or else NT (N).Nkind = N_Entry_Body
 154         or else NT (N).Nkind = N_Generic_Package_Declaration
 155         or else NT (N).Nkind = N_Package_Declaration
 156         or else NT (N).Nkind = N_Subprogram_Body
 157         or else NT (N).Nkind = N_Task_Body);
 158       return Node3 (N);
 159    end Activation_Chain_Entity;
 160
 161    function Acts_As_Spec
 162       (N : Node_Id) return Boolean is
 163    begin
 164       pragma Assert (False
 165         or else NT (N).Nkind = N_Compilation_Unit
 166         or else NT (N).Nkind = N_Subprogram_Body);
 167       return Flag4 (N);
 168    end Acts_As_Spec;
 169
 170    function Aggregate_Bounds
 171       (N : Node_Id) return Node_Id is
 172    begin
 173       pragma Assert (False
 174         or else NT (N).Nkind = N_Aggregate);
 175       return Node3 (N);
 176    end Aggregate_Bounds;
 177
 178    function Aliased_Present
 179       (N : Node_Id) return Boolean is
 180    begin
 181       pragma Assert (False
 182         or else NT (N).Nkind = N_Component_Definition
 183         or else NT (N).Nkind = N_Object_Declaration);
 184       return Flag4 (N);
 185    end Aliased_Present;
 186
 187    function All_Others
 188       (N : Node_Id) return Boolean is
 189    begin
 190       pragma Assert (False
 191         or else NT (N).Nkind = N_Others_Choice);
 192       return Flag11 (N);
 193    end All_Others;
 194
 195    function All_Present
 196       (N : Node_Id) return Boolean is
 197    begin
 198       pragma Assert (False
 199         or else NT (N).Nkind = N_Access_To_Object_Definition);
 200       return Flag15 (N);
 201    end All_Present;
 202
 203    function Alternatives
 204       (N : Node_Id) return List_Id is
 205    begin
 206       pragma Assert (False
 207         or else NT (N).Nkind = N_Case_Statement);
 208       return List4 (N);
 209    end Alternatives;
 210
 211    function Ancestor_Part
 212       (N : Node_Id) return Node_Id is
 213    begin
 214       pragma Assert (False
 215         or else NT (N).Nkind = N_Extension_Aggregate);
 216       return Node3 (N);
 217    end Ancestor_Part;
 218
 219    function Array_Aggregate
 220       (N : Node_Id) return Node_Id is
 221    begin
 222       pragma Assert (False
 223         or else NT (N).Nkind = N_Enumeration_Representation_Clause);
 224       return Node3 (N);
 225    end Array_Aggregate;
 226
 227    function Assignment_OK
 228       (N : Node_Id) return Boolean is
 229    begin
 230       pragma Assert (False
 231         or else NT (N).Nkind = N_Object_Declaration
 232         or else NT (N).Nkind in N_Subexpr);
 233       return Flag15 (N);
 234    end Assignment_OK;
 235
 236    function Associated_Node
 237       (N : Node_Id) return Node_Id is
 238    begin
 239       pragma Assert (False
 240         or else NT (N).Nkind in N_Has_Entity
 241         or else NT (N).Nkind = N_Aggregate
 242         or else NT (N).Nkind = N_Extension_Aggregate
 243         or else NT (N).Nkind = N_Selected_Component);
 244       return Node4 (N);
 245    end Associated_Node;
 246
 247    function At_End_Proc
 248       (N : Node_Id) return Node_Id is
 249    begin
 250       pragma Assert (False
 251         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
 252       return Node1 (N);
 253    end At_End_Proc;
 254
 255    function Attribute_Name
 256       (N : Node_Id) return Name_Id is
 257    begin
 258       pragma Assert (False
 259         or else NT (N).Nkind = N_Attribute_Reference);
 260       return Name2 (N);
 261    end Attribute_Name;
 262
 263    function Aux_Decls_Node
 264       (N : Node_Id) return Node_Id is
 265    begin
 266       pragma Assert (False
 267         or else NT (N).Nkind = N_Compilation_Unit);
 268       return Node5 (N);
 269    end Aux_Decls_Node;
 270
 271    function Backwards_OK
 272       (N : Node_Id) return Boolean is
 273    begin
 274       pragma Assert (False
 275         or else NT (N).Nkind = N_Assignment_Statement);
 276       return Flag6 (N);
 277    end Backwards_OK;
 278
 279    function Bad_Is_Detected
 280       (N : Node_Id) return Boolean is
 281    begin
 282       pragma Assert (False
 283         or else NT (N).Nkind = N_Subprogram_Body);
 284       return Flag15 (N);
 285    end Bad_Is_Detected;
 286
 287    function Body_Required
 288       (N : Node_Id) return Boolean is
 289    begin
 290       pragma Assert (False
 291         or else NT (N).Nkind = N_Compilation_Unit);
 292       return Flag13 (N);
 293    end Body_Required;
 294
 295    function Body_To_Inline
 296       (N : Node_Id) return Node_Id is
 297    begin
 298       pragma Assert (False
 299         or else NT (N).Nkind = N_Subprogram_Declaration);
 300       return Node3 (N);
 301    end Body_To_Inline;
 302
 303    function Box_Present
 304       (N : Node_Id) return Boolean is
 305    begin
 306       pragma Assert (False
 307         or else NT (N).Nkind = N_Component_Association
 308         or else NT (N).Nkind = N_Formal_Package_Declaration
 309         or else NT (N).Nkind = N_Formal_Subprogram_Declaration);
 310       return Flag15 (N);
 311    end Box_Present;
 312
 313    function By_Ref
 314       (N : Node_Id) return Boolean is
 315    begin
 316       pragma Assert (False
 317         or else NT (N).Nkind = N_Return_Statement);
 318       return Flag5 (N);
 319    end By_Ref;
 320
 321    function Char_Literal_Value
 322       (N : Node_Id) return Char_Code is
 323    begin
 324       pragma Assert (False
 325         or else NT (N).Nkind = N_Character_Literal);
 326       return Char_Code2 (N);
 327    end Char_Literal_Value;
 328
 329    function Chars
 330       (N : Node_Id) return Name_Id is
 331    begin
 332       pragma Assert (False
 333         or else NT (N).Nkind in N_Has_Chars);
 334       return Name1 (N);
 335    end Chars;
 336
 337    function Check_Address_Alignment
 338       (N : Node_Id) return Boolean is
 339    begin
 340       pragma Assert (False
 341           or else NT (N).Nkind = N_Attribute_Definition_Clause);
 342       return Flag11 (N);
 343    end Check_Address_Alignment;
 344
 345    function Choice_Parameter
 346       (N : Node_Id) return Node_Id is
 347    begin
 348       pragma Assert (False
 349         or else NT (N).Nkind = N_Exception_Handler);
 350       return Node2 (N);
 351    end Choice_Parameter;
 352
 353    function Choices
 354       (N : Node_Id) return List_Id is
 355    begin
 356       pragma Assert (False
 357         or else NT (N).Nkind = N_Component_Association);
 358       return List1 (N);
 359    end Choices;
 360
 361    function Compile_Time_Known_Aggregate
 362       (N : Node_Id) return Boolean is
 363    begin
 364       pragma Assert (False
 365         or else NT (N).Nkind = N_Aggregate);
 366       return Flag18 (N);
 367    end Compile_Time_Known_Aggregate;
 368
 369    function Component_Associations
 370       (N : Node_Id) return List_Id is
 371    begin
 372       pragma Assert (False
 373         or else NT (N).Nkind = N_Aggregate
 374         or else NT (N).Nkind = N_Extension_Aggregate);
 375       return List2 (N);
 376    end Component_Associations;
 377
 378    function Component_Clauses
 379       (N : Node_Id) return List_Id is
 380    begin
 381       pragma Assert (False
 382         or else NT (N).Nkind = N_Record_Representation_Clause);
 383       return List3 (N);
 384    end Component_Clauses;
 385
 386    function Component_Definition
 387       (N : Node_Id) return Node_Id is
 388    begin
 389       pragma Assert (False
 390         or else NT (N).Nkind = N_Component_Declaration
 391         or else NT (N).Nkind = N_Constrained_Array_Definition
 392         or else NT (N).Nkind = N_Unconstrained_Array_Definition);
 393       return Node4 (N);
 394    end Component_Definition;
 395
 396    function Component_Items
 397       (N : Node_Id) return List_Id is
 398    begin
 399       pragma Assert (False
 400         or else NT (N).Nkind = N_Component_List);
 401       return List3 (N);
 402    end Component_Items;
 403
 404    function Component_List
 405       (N : Node_Id) return Node_Id is
 406    begin
 407       pragma Assert (False
 408         or else NT (N).Nkind = N_Record_Definition
 409         or else NT (N).Nkind = N_Variant);
 410       return Node1 (N);
 411    end Component_List;
 412
 413    function Component_Name
 414       (N : Node_Id) return Node_Id is
 415    begin
 416       pragma Assert (False
 417         or else NT (N).Nkind = N_Component_Clause);
 418       return Node1 (N);
 419    end Component_Name;
 420
 421    function Condition
 422       (N : Node_Id) return Node_Id is
 423    begin
 424       pragma Assert (False
 425         or else NT (N).Nkind = N_Accept_Alternative
 426         or else NT (N).Nkind = N_Delay_Alternative
 427         or else NT (N).Nkind = N_Elsif_Part
 428         or else NT (N).Nkind = N_Entry_Body_Formal_Part
 429         or else NT (N).Nkind = N_Exit_Statement
 430         or else NT (N).Nkind = N_If_Statement
 431         or else NT (N).Nkind = N_Iteration_Scheme
 432         or else NT (N).Nkind = N_Raise_Constraint_Error
 433         or else NT (N).Nkind = N_Raise_Program_Error
 434         or else NT (N).Nkind = N_Raise_Storage_Error
 435         or else NT (N).Nkind = N_Terminate_Alternative);
 436       return Node1 (N);
 437    end Condition;
 438
 439    function Condition_Actions
 440       (N : Node_Id) return List_Id is
 441    begin
 442       pragma Assert (False
 443         or else NT (N).Nkind = N_Elsif_Part
 444         or else NT (N).Nkind = N_Iteration_Scheme);
 445       return List3 (N);
 446    end Condition_Actions;
 447
 448    function Config_Pragmas
 449       (N : Node_Id) return List_Id is
 450    begin
 451       pragma Assert (False
 452         or else NT (N).Nkind = N_Compilation_Unit_Aux);
 453       return List4 (N);
 454    end Config_Pragmas;
 455
 456    function Constant_Present
 457       (N : Node_Id) return Boolean is
 458    begin
 459       pragma Assert (False
 460         or else NT (N).Nkind = N_Access_To_Object_Definition
 461         or else NT (N).Nkind = N_Object_Declaration);
 462       return Flag17 (N);
 463    end Constant_Present;
 464
 465    function Constraint
 466       (N : Node_Id) return Node_Id is
 467    begin
 468       pragma Assert (False
 469         or else NT (N).Nkind = N_Subtype_Indication);
 470       return Node3 (N);
 471    end Constraint;
 472
 473    function Constraints
 474       (N : Node_Id) return List_Id is
 475    begin
 476       pragma Assert (False
 477         or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
 478       return List1 (N);
 479    end Constraints;
 480
 481    function Context_Installed
 482       (N : Node_Id) return Boolean is
 483    begin
 484       pragma Assert (False
 485         or else NT (N).Nkind = N_With_Clause);
 486       return Flag13 (N);
 487    end Context_Installed;
 488
 489    function Context_Items
 490       (N : Node_Id) return List_Id is
 491    begin
 492       pragma Assert (False
 493         or else NT (N).Nkind = N_Compilation_Unit);
 494       return List1 (N);
 495    end Context_Items;
 496
 497    function Controlling_Argument
 498       (N : Node_Id) return Node_Id is
 499    begin
 500       pragma Assert (False
 501         or else NT (N).Nkind = N_Function_Call
 502         or else NT (N).Nkind = N_Procedure_Call_Statement);
 503       return Node1 (N);
 504    end Controlling_Argument;
 505
 506    function Conversion_OK
 507       (N : Node_Id) return Boolean is
 508    begin
 509       pragma Assert (False
 510         or else NT (N).Nkind = N_Type_Conversion);
 511       return Flag14 (N);
 512    end Conversion_OK;
 513
 514    function Corresponding_Body
 515       (N : Node_Id) return Node_Id is
 516    begin
 517       pragma Assert (False
 518         or else NT (N).Nkind = N_Entry_Declaration
 519         or else NT (N).Nkind = N_Generic_Package_Declaration
 520         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
 521         or else NT (N).Nkind = N_Package_Body_Stub
 522         or else NT (N).Nkind = N_Package_Declaration
 523         or else NT (N).Nkind = N_Protected_Body_Stub
 524         or else NT (N).Nkind = N_Protected_Type_Declaration
 525         or else NT (N).Nkind = N_Subprogram_Body_Stub
 526         or else NT (N).Nkind = N_Subprogram_Declaration
 527         or else NT (N).Nkind = N_Task_Body_Stub
 528         or else NT (N).Nkind = N_Task_Type_Declaration);
 529       return Node5 (N);
 530    end Corresponding_Body;
 531
 532    function Corresponding_Generic_Association
 533       (N : Node_Id) return Node_Id is
 534    begin
 535       pragma Assert (False
 536         or else NT (N).Nkind = N_Object_Declaration
 537         or else NT (N).Nkind = N_Object_Renaming_Declaration);
 538       return Node5 (N);
 539    end Corresponding_Generic_Association;
 540
 541    function Corresponding_Integer_Value
 542       (N : Node_Id) return Uint is
 543    begin
 544       pragma Assert (False
 545         or else NT (N).Nkind = N_Real_Literal);
 546       return Uint4 (N);
 547    end Corresponding_Integer_Value;
 548
 549    function Corresponding_Spec
 550       (N : Node_Id) return Node_Id is
 551    begin
 552       pragma Assert (False
 553         or else NT (N).Nkind = N_Package_Body
 554         or else NT (N).Nkind = N_Protected_Body
 555         or else NT (N).Nkind = N_Subprogram_Body
 556         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
 557         or else NT (N).Nkind = N_Task_Body
 558         or else NT (N).Nkind = N_With_Clause);
 559       return Node5 (N);
 560    end Corresponding_Spec;
 561
 562    function Corresponding_Stub
 563       (N : Node_Id) return Node_Id is
 564    begin
 565       pragma Assert (False
 566         or else NT (N).Nkind = N_Subunit);
 567       return Node3 (N);
 568    end Corresponding_Stub;
 569
 570    function Dcheck_Function
 571       (N : Node_Id) return Entity_Id is
 572    begin
 573       pragma Assert (False
 574         or else NT (N).Nkind = N_Variant);
 575       return Node5 (N);
 576    end Dcheck_Function;
 577
 578    function Debug_Statement
 579       (N : Node_Id) return Node_Id is
 580    begin
 581       pragma Assert (False
 582         or else NT (N).Nkind = N_Pragma);
 583       return Node3 (N);
 584    end Debug_Statement;
 585
 586    function Declarations
 587       (N : Node_Id) return List_Id is
 588    begin
 589       pragma Assert (False
 590         or else NT (N).Nkind = N_Accept_Statement
 591         or else NT (N).Nkind = N_Block_Statement
 592         or else NT (N).Nkind = N_Compilation_Unit_Aux
 593         or else NT (N).Nkind = N_Entry_Body
 594         or else NT (N).Nkind = N_Package_Body
 595         or else NT (N).Nkind = N_Protected_Body
 596         or else NT (N).Nkind = N_Subprogram_Body
 597         or else NT (N).Nkind = N_Task_Body);
 598       return List2 (N);
 599    end Declarations;
 600
 601    function Default_Expression
 602       (N : Node_Id) return Node_Id is
 603    begin
 604       pragma Assert (False
 605         or else NT (N).Nkind = N_Parameter_Specification);
 606       return Node5 (N);
 607    end Default_Expression;
 608
 609    function Default_Name
 610       (N : Node_Id) return Node_Id is
 611    begin
 612       pragma Assert (False
 613         or else NT (N).Nkind = N_Formal_Subprogram_Declaration);
 614       return Node2 (N);
 615    end Default_Name;
 616
 617    function Defining_Identifier
 618       (N : Node_Id) return Entity_Id is
 619    begin
 620       pragma Assert (False
 621         or else NT (N).Nkind = N_Component_Declaration
 622         or else NT (N).Nkind = N_Defining_Program_Unit_Name
 623         or else NT (N).Nkind = N_Discriminant_Specification
 624         or else NT (N).Nkind = N_Entry_Body
 625         or else NT (N).Nkind = N_Entry_Declaration
 626         or else NT (N).Nkind = N_Entry_Index_Specification
 627         or else NT (N).Nkind = N_Exception_Declaration
 628         or else NT (N).Nkind = N_Exception_Renaming_Declaration
 629         or else NT (N).Nkind = N_Formal_Object_Declaration
 630         or else NT (N).Nkind = N_Formal_Package_Declaration
 631         or else NT (N).Nkind = N_Formal_Type_Declaration
 632         or else NT (N).Nkind = N_Full_Type_Declaration
 633         or else NT (N).Nkind = N_Implicit_Label_Declaration
 634         or else NT (N).Nkind = N_Incomplete_Type_Declaration
 635         or else NT (N).Nkind = N_Loop_Parameter_Specification
 636         or else NT (N).Nkind = N_Number_Declaration
 637         or else NT (N).Nkind = N_Object_Declaration
 638         or else NT (N).Nkind = N_Object_Renaming_Declaration
 639         or else NT (N).Nkind = N_Package_Body_Stub
 640         or else NT (N).Nkind = N_Parameter_Specification
 641         or else NT (N).Nkind = N_Private_Extension_Declaration
 642         or else NT (N).Nkind = N_Private_Type_Declaration
 643         or else NT (N).Nkind = N_Protected_Body
 644         or else NT (N).Nkind = N_Protected_Body_Stub
 645         or else NT (N).Nkind = N_Protected_Type_Declaration
 646         or else NT (N).Nkind = N_Single_Protected_Declaration
 647         or else NT (N).Nkind = N_Single_Task_Declaration
 648         or else NT (N).Nkind = N_Subtype_Declaration
 649         or else NT (N).Nkind = N_Task_Body
 650         or else NT (N).Nkind = N_Task_Body_Stub
 651         or else NT (N).Nkind = N_Task_Type_Declaration);
 652       return Node1 (N);
 653    end Defining_Identifier;
 654
 655    function Defining_Unit_Name
 656       (N : Node_Id) return Node_Id is
 657    begin
 658       pragma Assert (False
 659         or else NT (N).Nkind = N_Function_Instantiation
 660         or else NT (N).Nkind = N_Function_Specification
 661         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
 662         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
 663         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
 664         or else NT (N).Nkind = N_Package_Body
 665         or else NT (N).Nkind = N_Package_Instantiation
 666         or else NT (N).Nkind = N_Package_Renaming_Declaration
 667         or else NT (N).Nkind = N_Package_Specification
 668         or else NT (N).Nkind = N_Procedure_Instantiation
 669         or else NT (N).Nkind = N_Procedure_Specification);
 670       return Node1 (N);
 671    end Defining_Unit_Name;
 672
 673    function Delay_Alternative
 674       (N : Node_Id) return Node_Id is
 675    begin
 676       pragma Assert (False
 677         or else NT (N).Nkind = N_Timed_Entry_Call);
 678       return Node4 (N);
 679    end Delay_Alternative;
 680
 681    function Delay_Finalize_Attach
 682       (N : Node_Id) return Boolean is
 683    begin
 684       pragma Assert (False
 685         or else NT (N).Nkind = N_Object_Declaration);
 686       return Flag14 (N);
 687    end Delay_Finalize_Attach;
 688
 689    function Delay_Statement
 690       (N : Node_Id) return Node_Id is
 691    begin
 692       pragma Assert (False
 693         or else NT (N).Nkind = N_Delay_Alternative);
 694       return Node2 (N);
 695    end Delay_Statement;
 696
 697    function Delta_Expression
 698       (N : Node_Id) return Node_Id is
 699    begin
 700       pragma Assert (False
 701         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
 702         or else NT (N).Nkind = N_Delta_Constraint
 703         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
 704       return Node3 (N);
 705    end Delta_Expression;
 706
 707    function Digits_Expression
 708       (N : Node_Id) return Node_Id is
 709    begin
 710       pragma Assert (False
 711         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
 712         or else NT (N).Nkind = N_Digits_Constraint
 713         or else NT (N).Nkind = N_Floating_Point_Definition);
 714       return Node2 (N);
 715    end Digits_Expression;
 716
 717    function Discr_Check_Funcs_Built
 718       (N : Node_Id) return Boolean is
 719    begin
 720       pragma Assert (False
 721         or else NT (N).Nkind = N_Full_Type_Declaration);
 722       return Flag11 (N);
 723    end Discr_Check_Funcs_Built;
 724
 725    function Discrete_Choices
 726       (N : Node_Id) return List_Id is
 727    begin
 728       pragma Assert (False
 729         or else NT (N).Nkind = N_Case_Statement_Alternative
 730         or else NT (N).Nkind = N_Variant);
 731       return List4 (N);
 732    end Discrete_Choices;
 733
 734    function Discrete_Range
 735       (N : Node_Id) return Node_Id is
 736    begin
 737       pragma Assert (False
 738         or else NT (N).Nkind = N_Slice);
 739       return Node4 (N);
 740    end Discrete_Range;
 741
 742    function Discrete_Subtype_Definition
 743       (N : Node_Id) return Node_Id is
 744    begin
 745       pragma Assert (False
 746         or else NT (N).Nkind = N_Entry_Declaration
 747         or else NT (N).Nkind = N_Entry_Index_Specification
 748         or else NT (N).Nkind = N_Loop_Parameter_Specification);
 749       return Node4 (N);
 750    end Discrete_Subtype_Definition;
 751
 752    function Discrete_Subtype_Definitions
 753       (N : Node_Id) return List_Id is
 754    begin
 755       pragma Assert (False
 756         or else NT (N).Nkind = N_Constrained_Array_Definition);
 757       return List2 (N);
 758    end Discrete_Subtype_Definitions;
 759
 760    function Discriminant_Specifications
 761       (N : Node_Id) return List_Id is
 762    begin
 763       pragma Assert (False
 764         or else NT (N).Nkind = N_Formal_Type_Declaration
 765         or else NT (N).Nkind = N_Full_Type_Declaration
 766         or else NT (N).Nkind = N_Incomplete_Type_Declaration
 767         or else NT (N).Nkind = N_Private_Extension_Declaration
 768         or else NT (N).Nkind = N_Private_Type_Declaration
 769         or else NT (N).Nkind = N_Protected_Type_Declaration
 770         or else NT (N).Nkind = N_Task_Type_Declaration);
 771       return List4 (N);
 772    end Discriminant_Specifications;
 773
 774    function Discriminant_Type
 775       (N : Node_Id) return Node_Id is
 776    begin
 777       pragma Assert (False
 778         or else NT (N).Nkind = N_Discriminant_Specification);
 779       return Node5 (N);
 780    end Discriminant_Type;
 781
 782    function Do_Accessibility_Check
 783       (N : Node_Id) return Boolean is
 784    begin
 785       pragma Assert (False
 786         or else NT (N).Nkind = N_Parameter_Specification);
 787       return Flag13 (N);
 788    end Do_Accessibility_Check;
 789
 790    function Do_Discriminant_Check
 791       (N : Node_Id) return Boolean is
 792    begin
 793       pragma Assert (False
 794         or else NT (N).Nkind = N_Selected_Component);
 795       return Flag13 (N);
 796    end Do_Discriminant_Check;
 797
 798    function Do_Division_Check
 799       (N : Node_Id) return Boolean is
 800    begin
 801       pragma Assert (False
 802         or else NT (N).Nkind = N_Op_Divide
 803         or else NT (N).Nkind = N_Op_Mod
 804         or else NT (N).Nkind = N_Op_Rem);
 805       return Flag13 (N);
 806    end Do_Division_Check;
 807
 808    function Do_Length_Check
 809       (N : Node_Id) return Boolean is
 810    begin
 811       pragma Assert (False
 812         or else NT (N).Nkind = N_Assignment_Statement
 813         or else NT (N).Nkind = N_Op_And
 814         or else NT (N).Nkind = N_Op_Or
 815         or else NT (N).Nkind = N_Op_Xor
 816         or else NT (N).Nkind = N_Type_Conversion);
 817       return Flag4 (N);
 818    end Do_Length_Check;
 819
 820    function Do_Overflow_Check
 821       (N : Node_Id) return Boolean is
 822    begin
 823       pragma Assert (False
 824         or else NT (N).Nkind in N_Op
 825         or else NT (N).Nkind = N_Attribute_Reference
 826         or else NT (N).Nkind = N_Type_Conversion);
 827       return Flag17 (N);
 828    end Do_Overflow_Check;
 829
 830    function Do_Range_Check
 831       (N : Node_Id) return Boolean is
 832    begin
 833       pragma Assert (False
 834         or else NT (N).Nkind in N_Subexpr);
 835       return Flag9 (N);
 836    end Do_Range_Check;
 837
 838    function Do_Storage_Check
 839       (N : Node_Id) return Boolean is
 840    begin
 841       pragma Assert (False
 842         or else NT (N).Nkind = N_Allocator
 843         or else NT (N).Nkind = N_Subprogram_Body);
 844       return Flag17 (N);
 845    end Do_Storage_Check;
 846
 847    function Do_Tag_Check
 848       (N : Node_Id) return Boolean is
 849    begin
 850       pragma Assert (False
 851         or else NT (N).Nkind = N_Assignment_Statement
 852         or else NT (N).Nkind = N_Function_Call
 853         or else NT (N).Nkind = N_Procedure_Call_Statement
 854         or else NT (N).Nkind = N_Return_Statement
 855         or else NT (N).Nkind = N_Type_Conversion);
 856       return Flag13 (N);
 857    end Do_Tag_Check;
 858
 859    function Elaborate_All_Present
 860       (N : Node_Id) return Boolean is
 861    begin
 862       pragma Assert (False
 863         or else NT (N).Nkind = N_With_Clause);
 864       return Flag15 (N);
 865    end Elaborate_All_Present;
 866
 867    function Elaborate_Present
 868       (N : Node_Id) return Boolean is
 869    begin
 870       pragma Assert (False
 871         or else NT (N).Nkind = N_With_Clause);
 872       return Flag4 (N);
 873    end Elaborate_Present;
 874
 875    function Elaboration_Boolean
 876       (N : Node_Id) return Node_Id is
 877    begin
 878       pragma Assert (False
 879         or else NT (N).Nkind = N_Function_Specification
 880         or else NT (N).Nkind = N_Procedure_Specification);
 881       return Node2 (N);
 882    end Elaboration_Boolean;
 883
 884    function Else_Actions
 885       (N : Node_Id) return List_Id is
 886    begin
 887       pragma Assert (False
 888         or else NT (N).Nkind = N_Conditional_Expression);
 889       return List3 (N);
 890    end Else_Actions;
 891
 892    function Else_Statements
 893       (N : Node_Id) return List_Id is
 894    begin
 895       pragma Assert (False
 896         or else NT (N).Nkind = N_Conditional_Entry_Call
 897         or else NT (N).Nkind = N_If_Statement
 898         or else NT (N).Nkind = N_Selective_Accept);
 899       return List4 (N);
 900    end Else_Statements;
 901
 902    function Elsif_Parts
 903       (N : Node_Id) return List_Id is
 904    begin
 905       pragma Assert (False
 906         or else NT (N).Nkind = N_If_Statement);
 907       return List3 (N);
 908    end Elsif_Parts;
 909
 910    function Enclosing_Variant
 911       (N : Node_Id) return Node_Id is
 912    begin
 913       pragma Assert (False
 914         or else NT (N).Nkind = N_Variant);
 915       return Node2 (N);
 916    end Enclosing_Variant;
 917
 918    function End_Label
 919       (N : Node_Id) return Node_Id is
 920    begin
 921       pragma Assert (False
 922         or else NT (N).Nkind = N_Enumeration_Type_Definition
 923         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
 924         or else NT (N).Nkind = N_Loop_Statement
 925         or else NT (N).Nkind = N_Package_Specification
 926         or else NT (N).Nkind = N_Protected_Body
 927         or else NT (N).Nkind = N_Protected_Definition
 928         or else NT (N).Nkind = N_Record_Definition
 929         or else NT (N).Nkind = N_Task_Definition);
 930       return Node4 (N);
 931    end End_Label;
 932
 933    function End_Span
 934       (N : Node_Id) return Uint is
 935    begin
 936       pragma Assert (False
 937         or else NT (N).Nkind = N_Case_Statement
 938         or else NT (N).Nkind = N_If_Statement);
 939       return Uint5 (N);
 940    end End_Span;
 941
 942    function Entity
 943       (N : Node_Id) return Node_Id is
 944    begin
 945       pragma Assert (False
 946         or else NT (N).Nkind in N_Has_Entity
 947         or else NT (N).Nkind = N_Freeze_Entity);
 948       return Node4 (N);
 949    end Entity;
 950
 951    function Entity_Or_Associated_Node
 952       (N : Node_Id) return Node_Id is
 953    begin
 954       pragma Assert (False
 955         or else NT (N).Nkind in N_Has_Entity
 956         or else NT (N).Nkind = N_Freeze_Entity);
 957       return Node4 (N);
 958    end Entity_Or_Associated_Node;
 959
 960    function Entry_Body_Formal_Part
 961       (N : Node_Id) return Node_Id is
 962    begin
 963       pragma Assert (False
 964         or else NT (N).Nkind = N_Entry_Body);
 965       return Node5 (N);
 966    end Entry_Body_Formal_Part;
 967
 968    function Entry_Call_Alternative
 969       (N : Node_Id) return Node_Id is
 970    begin
 971       pragma Assert (False
 972         or else NT (N).Nkind = N_Conditional_Entry_Call
 973         or else NT (N).Nkind = N_Timed_Entry_Call);
 974       return Node1 (N);
 975    end Entry_Call_Alternative;
 976
 977    function Entry_Call_Statement
 978       (N : Node_Id) return Node_Id is
 979    begin
 980       pragma Assert (False
 981         or else NT (N).Nkind = N_Entry_Call_Alternative);
 982       return Node1 (N);
 983    end Entry_Call_Statement;
 984
 985    function Entry_Direct_Name
 986       (N : Node_Id) return Node_Id is
 987    begin
 988       pragma Assert (False
 989         or else NT (N).Nkind = N_Accept_Statement);
 990       return Node1 (N);
 991    end Entry_Direct_Name;
 992
 993    function Entry_Index
 994       (N : Node_Id) return Node_Id is
 995    begin
 996       pragma Assert (False
 997         or else NT (N).Nkind = N_Accept_Statement);
 998       return Node5 (N);
 999    end Entry_Index;
1000
1001    function Entry_Index_Specification
1002       (N : Node_Id) return Node_Id is
1003    begin
1004       pragma Assert (False
1005         or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1006       return Node4 (N);
1007    end Entry_Index_Specification;
1008
1009    function Etype
1010       (N : Node_Id) return Node_Id is
1011    begin
1012       pragma Assert (False
1013         or else NT (N).Nkind in N_Has_Etype);
1014       return Node5 (N);
1015    end Etype;
1016
1017    function Exception_Choices
1018       (N : Node_Id) return List_Id is
1019    begin
1020       pragma Assert (False
1021         or else NT (N).Nkind = N_Exception_Handler);
1022       return List4 (N);
1023    end Exception_Choices;
1024
1025    function Exception_Handlers
1026       (N : Node_Id) return List_Id is
1027    begin
1028       pragma Assert (False
1029         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1030       return List5 (N);
1031    end Exception_Handlers;
1032
1033    function Exception_Junk
1034      (N : Node_Id) return Boolean is
1035    begin
1036       pragma Assert (False
1037         or else NT (N).Nkind = N_Goto_Statement
1038         or else NT (N).Nkind = N_Label
1039         or else NT (N).Nkind = N_Object_Declaration
1040         or else NT (N).Nkind = N_Subtype_Declaration);
1041       return Flag11 (N);
1042    end Exception_Junk;
1043
1044    function Expansion_Delayed
1045      (N : Node_Id) return Boolean is
1046    begin
1047       pragma Assert (False
1048         or else NT (N).Nkind = N_Aggregate
1049         or else NT (N).Nkind = N_Extension_Aggregate);
1050       return Flag11 (N);
1051    end Expansion_Delayed;
1052
1053    function Explicit_Actual_Parameter
1054       (N : Node_Id) return Node_Id is
1055    begin
1056       pragma Assert (False
1057         or else NT (N).Nkind = N_Parameter_Association);
1058       return Node3 (N);
1059    end Explicit_Actual_Parameter;
1060
1061    function Explicit_Generic_Actual_Parameter
1062       (N : Node_Id) return Node_Id is
1063    begin
1064       pragma Assert (False
1065         or else NT (N).Nkind = N_Generic_Association);
1066       return Node1 (N);
1067    end Explicit_Generic_Actual_Parameter;
1068
1069    function Expression
1070       (N : Node_Id) return Node_Id is
1071    begin
1072       pragma Assert (False
1073         or else NT (N).Nkind = N_Allocator
1074         or else NT (N).Nkind = N_Assignment_Statement
1075         or else NT (N).Nkind = N_At_Clause
1076         or else NT (N).Nkind = N_Attribute_Definition_Clause
1077         or else NT (N).Nkind = N_Case_Statement
1078         or else NT (N).Nkind = N_Code_Statement
1079         or else NT (N).Nkind = N_Component_Association
1080         or else NT (N).Nkind = N_Component_Declaration
1081         or else NT (N).Nkind = N_Delay_Relative_Statement
1082         or else NT (N).Nkind = N_Delay_Until_Statement
1083         or else NT (N).Nkind = N_Discriminant_Association
1084         or else NT (N).Nkind = N_Discriminant_Specification
1085         or else NT (N).Nkind = N_Exception_Declaration
1086         or else NT (N).Nkind = N_Formal_Object_Declaration
1087         or else NT (N).Nkind = N_Free_Statement
1088         or else NT (N).Nkind = N_Mod_Clause
1089         or else NT (N).Nkind = N_Modular_Type_Definition
1090         or else NT (N).Nkind = N_Number_Declaration
1091         or else NT (N).Nkind = N_Object_Declaration
1092         or else NT (N).Nkind = N_Parameter_Specification
1093         or else NT (N).Nkind = N_Pragma_Argument_Association
1094         or else NT (N).Nkind = N_Qualified_Expression
1095         or else NT (N).Nkind = N_Return_Statement
1096         or else NT (N).Nkind = N_Type_Conversion
1097         or else NT (N).Nkind = N_Unchecked_Expression
1098         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1099       return Node3 (N);
1100    end Expression;
1101
1102    function Expressions
1103       (N : Node_Id) return List_Id is
1104    begin
1105       pragma Assert (False
1106         or else NT (N).Nkind = N_Aggregate
1107         or else NT (N).Nkind = N_Attribute_Reference
1108         or else NT (N).Nkind = N_Conditional_Expression
1109         or else NT (N).Nkind = N_Extension_Aggregate
1110         or else NT (N).Nkind = N_Indexed_Component);
1111       return List1 (N);
1112    end Expressions;
1113
1114    function First_Bit
1115       (N : Node_Id) return Node_Id is
1116    begin
1117       pragma Assert (False
1118         or else NT (N).Nkind = N_Component_Clause);
1119       return Node3 (N);
1120    end First_Bit;
1121
1122    function First_Inlined_Subprogram
1123       (N : Node_Id) return Entity_Id is
1124    begin
1125       pragma Assert (False
1126         or else NT (N).Nkind = N_Compilation_Unit);
1127       return Node3 (N);
1128    end First_Inlined_Subprogram;
1129
1130    function First_Name
1131       (N : Node_Id) return Boolean is
1132    begin
1133       pragma Assert (False
1134         or else NT (N).Nkind = N_With_Clause);
1135       return Flag5 (N);
1136    end First_Name;
1137
1138    function First_Named_Actual
1139       (N : Node_Id) return Node_Id is
1140    begin
1141       pragma Assert (False
1142         or else NT (N).Nkind = N_Entry_Call_Statement
1143         or else NT (N).Nkind = N_Function_Call
1144         or else NT (N).Nkind = N_Procedure_Call_Statement);
1145       return Node4 (N);
1146    end First_Named_Actual;
1147
1148    function First_Real_Statement
1149       (N : Node_Id) return Node_Id is
1150    begin
1151       pragma Assert (False
1152         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1153       return Node2 (N);
1154    end First_Real_Statement;
1155
1156    function First_Subtype_Link
1157       (N : Node_Id) return Entity_Id is
1158    begin
1159       pragma Assert (False
1160         or else NT (N).Nkind = N_Freeze_Entity);
1161       return Node5 (N);
1162    end First_Subtype_Link;
1163
1164    function Float_Truncate
1165       (N : Node_Id) return Boolean is
1166    begin
1167       pragma Assert (False
1168         or else NT (N).Nkind = N_Type_Conversion);
1169       return Flag11 (N);
1170    end Float_Truncate;
1171
1172    function Formal_Type_Definition
1173       (N : Node_Id) return Node_Id is
1174    begin
1175       pragma Assert (False
1176         or else NT (N).Nkind = N_Formal_Type_Declaration);
1177       return Node3 (N);
1178    end Formal_Type_Definition;
1179
1180    function Forwards_OK
1181       (N : Node_Id) return Boolean is
1182    begin
1183       pragma Assert (False
1184         or else NT (N).Nkind = N_Assignment_Statement);
1185       return Flag5 (N);
1186    end Forwards_OK;
1187
1188    function From_At_Mod
1189       (N : Node_Id) return Boolean is
1190    begin
1191       pragma Assert (False
1192         or else NT (N).Nkind = N_Attribute_Definition_Clause);
1193       return Flag4 (N);
1194    end From_At_Mod;
1195
1196    function Generic_Associations
1197       (N : Node_Id) return List_Id is
1198    begin
1199       pragma Assert (False
1200         or else NT (N).Nkind = N_Formal_Package_Declaration
1201         or else NT (N).Nkind = N_Function_Instantiation
1202         or else NT (N).Nkind = N_Package_Instantiation
1203         or else NT (N).Nkind = N_Procedure_Instantiation);
1204       return List3 (N);
1205    end Generic_Associations;
1206
1207    function Generic_Formal_Declarations
1208       (N : Node_Id) return List_Id is
1209    begin
1210       pragma Assert (False
1211         or else NT (N).Nkind = N_Generic_Package_Declaration
1212         or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1213       return List2 (N);
1214    end Generic_Formal_Declarations;
1215
1216    function Generic_Parent
1217       (N : Node_Id) return Node_Id is
1218    begin
1219       pragma Assert (False
1220         or else NT (N).Nkind = N_Function_Specification
1221         or else NT (N).Nkind = N_Package_Specification
1222         or else NT (N).Nkind = N_Procedure_Specification);
1223       return Node5 (N);
1224    end Generic_Parent;
1225
1226    function Generic_Parent_Type
1227       (N : Node_Id) return Node_Id is
1228    begin
1229       pragma Assert (False
1230         or else NT (N).Nkind = N_Subtype_Declaration);
1231       return Node4 (N);
1232    end Generic_Parent_Type;
1233
1234    function Handled_Statement_Sequence
1235       (N : Node_Id) return Node_Id is
1236    begin
1237       pragma Assert (False
1238         or else NT (N).Nkind = N_Accept_Statement
1239         or else NT (N).Nkind = N_Block_Statement
1240         or else NT (N).Nkind = N_Entry_Body
1241         or else NT (N).Nkind = N_Package_Body
1242         or else NT (N).Nkind = N_Subprogram_Body
1243         or else NT (N).Nkind = N_Task_Body);
1244       return Node4 (N);
1245    end Handled_Statement_Sequence;
1246
1247    function Handler_List_Entry
1248       (N : Node_Id) return Node_Id is
1249    begin
1250       pragma Assert (False
1251         or else NT (N).Nkind = N_Object_Declaration);
1252       return Node2 (N);
1253    end Handler_List_Entry;
1254
1255    function Has_Created_Identifier
1256       (N : Node_Id) return Boolean is
1257    begin
1258       pragma Assert (False
1259         or else NT (N).Nkind = N_Block_Statement
1260         or else NT (N).Nkind = N_Loop_Statement);
1261       return Flag15 (N);
1262    end Has_Created_Identifier;
1263
1264    function Has_Dynamic_Length_Check
1265       (N : Node_Id) return Boolean is
1266    begin
1267       return Flag10 (N);
1268    end Has_Dynamic_Length_Check;
1269
1270    function Has_Dynamic_Range_Check
1271       (N : Node_Id) return Boolean is
1272    begin
1273       return Flag12 (N);
1274    end Has_Dynamic_Range_Check;
1275
1276    function Has_No_Elaboration_Code
1277       (N : Node_Id) return Boolean is
1278    begin
1279       pragma Assert (False
1280         or else NT (N).Nkind = N_Compilation_Unit);
1281       return Flag17 (N);
1282    end Has_No_Elaboration_Code;
1283
1284    function Has_Priority_Pragma
1285       (N : Node_Id) return Boolean is
1286    begin
1287       pragma Assert (False
1288         or else NT (N).Nkind = N_Protected_Definition
1289         or else NT (N).Nkind = N_Subprogram_Body
1290         or else NT (N).Nkind = N_Task_Definition);
1291       return Flag6 (N);
1292    end Has_Priority_Pragma;
1293
1294    function Has_Private_View
1295       (N : Node_Id) return Boolean is
1296    begin
1297       pragma Assert (False
1298        or else NT (N).Nkind in N_Op
1299        or else NT (N).Nkind = N_Character_Literal
1300        or else NT (N).Nkind = N_Expanded_Name
1301        or else NT (N).Nkind = N_Identifier
1302        or else NT (N).Nkind = N_Operator_Symbol);
1303       return Flag11 (N);
1304    end Has_Private_View;
1305
1306    function Has_Storage_Size_Pragma
1307       (N : Node_Id) return Boolean is
1308    begin
1309       pragma Assert (False
1310         or else NT (N).Nkind = N_Task_Definition);
1311       return Flag5 (N);
1312    end Has_Storage_Size_Pragma;
1313
1314    function Has_Task_Info_Pragma
1315       (N : Node_Id) return Boolean is
1316    begin
1317       pragma Assert (False
1318         or else NT (N).Nkind = N_Task_Definition);
1319       return Flag7 (N);
1320    end Has_Task_Info_Pragma;
1321
1322    function Has_Task_Name_Pragma
1323       (N : Node_Id) return Boolean is
1324    begin
1325       pragma Assert (False
1326         or else NT (N).Nkind = N_Task_Definition);
1327       return Flag8 (N);
1328    end Has_Task_Name_Pragma;
1329
1330    function Has_Wide_Character
1331       (N : Node_Id) return Boolean is
1332    begin
1333       pragma Assert (False
1334         or else NT (N).Nkind = N_String_Literal);
1335       return Flag11 (N);
1336    end Has_Wide_Character;
1337
1338    function Hidden_By_Use_Clause
1339      (N : Node_Id) return Elist_Id is
1340    begin
1341       pragma Assert (False
1342         or else NT (N).Nkind = N_Use_Package_Clause
1343         or else NT (N).Nkind = N_Use_Type_Clause);
1344       return Elist4 (N);
1345    end Hidden_By_Use_Clause;
1346
1347    function High_Bound
1348       (N : Node_Id) return Node_Id is
1349    begin
1350       pragma Assert (False
1351         or else NT (N).Nkind = N_Range
1352         or else NT (N).Nkind = N_Real_Range_Specification
1353         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1354       return Node2 (N);
1355    end High_Bound;
1356
1357    function Identifier
1358       (N : Node_Id) return Node_Id is
1359    begin
1360       pragma Assert (False
1361         or else NT (N).Nkind = N_At_Clause
1362         or else NT (N).Nkind = N_Block_Statement
1363         or else NT (N).Nkind = N_Designator
1364         or else NT (N).Nkind = N_Enumeration_Representation_Clause
1365         or else NT (N).Nkind = N_Label
1366         or else NT (N).Nkind = N_Loop_Statement
1367         or else NT (N).Nkind = N_Record_Representation_Clause
1368         or else NT (N).Nkind = N_Subprogram_Info);
1369       return Node1 (N);
1370    end Identifier;
1371
1372    function Implicit_With
1373       (N : Node_Id) return Boolean is
1374    begin
1375       pragma Assert (False
1376         or else NT (N).Nkind = N_With_Clause);
1377       return Flag16 (N);
1378    end Implicit_With;
1379
1380    function In_Present
1381       (N : Node_Id) return Boolean is
1382    begin
1383       pragma Assert (False
1384         or else NT (N).Nkind = N_Formal_Object_Declaration
1385         or else NT (N).Nkind = N_Parameter_Specification);
1386       return Flag15 (N);
1387    end In_Present;
1388
1389    function Includes_Infinities
1390       (N : Node_Id) return Boolean is
1391    begin
1392       pragma Assert (False
1393         or else NT (N).Nkind = N_Range);
1394       return Flag11 (N);
1395    end Includes_Infinities;
1396
1397    function Instance_Spec
1398       (N : Node_Id) return Node_Id is
1399    begin
1400       pragma Assert (False
1401         or else NT (N).Nkind = N_Formal_Package_Declaration
1402         or else NT (N).Nkind = N_Function_Instantiation
1403         or else NT (N).Nkind = N_Package_Instantiation
1404         or else NT (N).Nkind = N_Procedure_Instantiation);
1405       return Node5 (N);
1406    end Instance_Spec;
1407
1408    function Intval
1409       (N : Node_Id) return Uint is
1410    begin
1411       pragma Assert (False
1412         or else NT (N).Nkind = N_Integer_Literal);
1413       return Uint3 (N);
1414    end Intval;
1415
1416    function Is_Asynchronous_Call_Block
1417       (N : Node_Id) return Boolean is
1418    begin
1419       pragma Assert (False
1420         or else NT (N).Nkind = N_Block_Statement);
1421       return Flag7 (N);
1422    end Is_Asynchronous_Call_Block;
1423
1424    function Is_Component_Left_Opnd
1425       (N : Node_Id) return Boolean is
1426    begin
1427       pragma Assert (False
1428         or else NT (N).Nkind = N_Op_Concat);
1429       return Flag13 (N);
1430    end Is_Component_Left_Opnd;
1431
1432    function Is_Component_Right_Opnd
1433       (N : Node_Id) return Boolean is
1434    begin
1435       pragma Assert (False
1436         or else NT (N).Nkind = N_Op_Concat);
1437       return Flag14 (N);
1438    end Is_Component_Right_Opnd;
1439
1440    function Is_Controlling_Actual
1441       (N : Node_Id) return Boolean is
1442    begin
1443       pragma Assert (False
1444         or else NT (N).Nkind in N_Subexpr);
1445       return Flag16 (N);
1446    end Is_Controlling_Actual;
1447
1448    function Is_In_Discriminant_Check
1449       (N : Node_Id) return Boolean is
1450    begin
1451       pragma Assert (False
1452         or else NT (N).Nkind = N_Selected_Component);
1453       return Flag11 (N);
1454    end Is_In_Discriminant_Check;
1455
1456    function Is_Machine_Number
1457       (N : Node_Id) return Boolean is
1458    begin
1459       pragma Assert (False
1460         or else NT (N).Nkind = N_Real_Literal);
1461       return Flag11 (N);
1462    end Is_Machine_Number;
1463
1464    function Is_Null_Loop
1465       (N : Node_Id) return Boolean is
1466    begin
1467       pragma Assert (False
1468         or else NT (N).Nkind = N_Loop_Statement);
1469       return Flag16 (N);
1470    end Is_Null_Loop;
1471
1472    function Is_Overloaded
1473       (N : Node_Id) return Boolean is
1474    begin
1475       pragma Assert (False
1476         or else NT (N).Nkind in N_Subexpr);
1477       return Flag5 (N);
1478    end Is_Overloaded;
1479
1480    function Is_Power_Of_2_For_Shift
1481       (N : Node_Id) return Boolean is
1482    begin
1483       pragma Assert (False
1484         or else NT (N).Nkind = N_Op_Expon);
1485       return Flag13 (N);
1486    end Is_Power_Of_2_For_Shift;
1487
1488    function Is_Protected_Subprogram_Body
1489       (N : Node_Id) return Boolean is
1490    begin
1491       pragma Assert (False
1492         or else NT (N).Nkind = N_Subprogram_Body);
1493       return Flag7 (N);
1494    end Is_Protected_Subprogram_Body;
1495
1496    function Is_Static_Expression
1497       (N : Node_Id) return Boolean is
1498    begin
1499       pragma Assert (False
1500         or else NT (N).Nkind in N_Subexpr);
1501       return Flag6 (N);
1502    end Is_Static_Expression;
1503
1504    function Is_Subprogram_Descriptor
1505       (N : Node_Id) return Boolean is
1506    begin
1507       pragma Assert (False
1508         or else NT (N).Nkind = N_Object_Declaration);
1509       return Flag16 (N);
1510    end Is_Subprogram_Descriptor;
1511
1512    function Is_Task_Allocation_Block
1513       (N : Node_Id) return Boolean is
1514    begin
1515       pragma Assert (False
1516         or else NT (N).Nkind = N_Block_Statement);
1517       return Flag6 (N);
1518    end Is_Task_Allocation_Block;
1519
1520    function Is_Task_Master
1521       (N : Node_Id) return Boolean is
1522    begin
1523       pragma Assert (False
1524         or else NT (N).Nkind = N_Block_Statement
1525         or else NT (N).Nkind = N_Subprogram_Body
1526         or else NT (N).Nkind = N_Task_Body);
1527       return Flag5 (N);
1528    end Is_Task_Master;
1529
1530    function Iteration_Scheme
1531       (N : Node_Id) return Node_Id is
1532    begin
1533       pragma Assert (False
1534         or else NT (N).Nkind = N_Loop_Statement);
1535       return Node2 (N);
1536    end Iteration_Scheme;
1537
1538    function Itype
1539       (N : Node_Id) return Node_Id is
1540    begin
1541       pragma Assert (False
1542       or else NT (N).Nkind = N_Itype_Reference);
1543       return Node1 (N);
1544    end Itype;
1545
1546    function Kill_Range_Check
1547       (N : Node_Id) return Boolean is
1548    begin
1549       pragma Assert (False
1550         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1551       return Flag11 (N);
1552    end Kill_Range_Check;
1553
1554    function Label_Construct
1555       (N : Node_Id) return Node_Id is
1556    begin
1557       pragma Assert (False
1558         or else NT (N).Nkind = N_Implicit_Label_Declaration);
1559       return Node2 (N);
1560    end Label_Construct;
1561
1562    function Last_Bit
1563       (N : Node_Id) return Node_Id is
1564    begin
1565       pragma Assert (False
1566         or else NT (N).Nkind = N_Component_Clause);
1567       return Node4 (N);
1568    end Last_Bit;
1569
1570    function Last_Name
1571       (N : Node_Id) return Boolean is
1572    begin
1573       pragma Assert (False
1574         or else NT (N).Nkind = N_With_Clause);
1575       return Flag6 (N);
1576    end Last_Name;
1577
1578    function Left_Opnd
1579       (N : Node_Id) return Node_Id is
1580    begin
1581       pragma Assert (False
1582         or else NT (N).Nkind = N_And_Then
1583         or else NT (N).Nkind = N_In
1584         or else NT (N).Nkind = N_Not_In
1585         or else NT (N).Nkind = N_Or_Else
1586         or else NT (N).Nkind in N_Binary_Op);
1587       return Node2 (N);
1588    end Left_Opnd;
1589
1590    function Library_Unit
1591       (N : Node_Id) return Node_Id is
1592    begin
1593       pragma Assert (False
1594         or else NT (N).Nkind = N_Compilation_Unit
1595         or else NT (N).Nkind = N_Package_Body_Stub
1596         or else NT (N).Nkind = N_Protected_Body_Stub
1597         or else NT (N).Nkind = N_Subprogram_Body_Stub
1598         or else NT (N).Nkind = N_Task_Body_Stub
1599         or else NT (N).Nkind = N_With_Clause);
1600       return Node4 (N);
1601    end Library_Unit;
1602
1603    function Limited_View_Installed
1604       (N : Node_Id) return Boolean is
1605    begin
1606       pragma Assert (False
1607         or else NT (N).Nkind = N_Package_Specification
1608         or else NT (N).Nkind = N_With_Clause);
1609       return Flag18 (N);
1610    end Limited_View_Installed;
1611
1612    function Limited_Present
1613       (N : Node_Id) return Boolean is
1614    begin
1615       pragma Assert (False
1616         or else NT (N).Nkind = N_Formal_Private_Type_Definition
1617         or else NT (N).Nkind = N_Private_Type_Declaration
1618         or else NT (N).Nkind = N_Record_Definition
1619         or else NT (N).Nkind = N_With_Clause);
1620       return Flag17 (N);
1621    end Limited_Present;
1622
1623    function Literals
1624       (N : Node_Id) return List_Id is
1625    begin
1626       pragma Assert (False
1627         or else NT (N).Nkind = N_Enumeration_Type_Definition);
1628       return List1 (N);
1629    end Literals;
1630
1631    function Loop_Actions
1632       (N : Node_Id) return List_Id is
1633    begin
1634       pragma Assert (False
1635         or else NT (N).Nkind = N_Component_Association);
1636       return List2 (N);
1637    end Loop_Actions;
1638
1639    function Loop_Parameter_Specification
1640       (N : Node_Id) return Node_Id is
1641    begin
1642       pragma Assert (False
1643         or else NT (N).Nkind = N_Iteration_Scheme);
1644       return Node4 (N);
1645    end Loop_Parameter_Specification;
1646
1647    function Low_Bound
1648       (N : Node_Id) return Node_Id is
1649    begin
1650       pragma Assert (False
1651         or else NT (N).Nkind = N_Range
1652         or else NT (N).Nkind = N_Real_Range_Specification
1653         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1654       return Node1 (N);
1655    end Low_Bound;
1656
1657    function Mod_Clause
1658       (N : Node_Id) return Node_Id is
1659    begin
1660       pragma Assert (False
1661         or else NT (N).Nkind = N_Record_Representation_Clause);
1662       return Node2 (N);
1663    end Mod_Clause;
1664
1665    function More_Ids
1666       (N : Node_Id) return Boolean is
1667    begin
1668       pragma Assert (False
1669         or else NT (N).Nkind = N_Component_Declaration
1670         or else NT (N).Nkind = N_Discriminant_Specification
1671         or else NT (N).Nkind = N_Exception_Declaration
1672         or else NT (N).Nkind = N_Formal_Object_Declaration
1673         or else NT (N).Nkind = N_Number_Declaration
1674         or else NT (N).Nkind = N_Object_Declaration
1675         or else NT (N).Nkind = N_Parameter_Specification);
1676       return Flag5 (N);
1677    end More_Ids;
1678
1679    function Must_Be_Byte_Aligned
1680       (N : Node_Id) return Boolean is
1681    begin
1682       pragma Assert (False
1683         or else NT (N).Nkind = N_Attribute_Reference);
1684       return Flag14 (N);
1685    end Must_Be_Byte_Aligned;
1686
1687    function Must_Not_Freeze
1688       (N : Node_Id) return Boolean is
1689    begin
1690       pragma Assert (False
1691         or else NT (N).Nkind = N_Subtype_Indication
1692         or else NT (N).Nkind in N_Subexpr);
1693       return Flag8 (N);
1694    end Must_Not_Freeze;
1695
1696    function Name
1697       (N : Node_Id) return Node_Id is
1698    begin
1699       pragma Assert (False
1700         or else NT (N).Nkind = N_Assignment_Statement
1701         or else NT (N).Nkind = N_Attribute_Definition_Clause
1702         or else NT (N).Nkind = N_Defining_Program_Unit_Name
1703         or else NT (N).Nkind = N_Designator
1704         or else NT (N).Nkind = N_Entry_Call_Statement
1705         or else NT (N).Nkind = N_Exception_Renaming_Declaration
1706         or else NT (N).Nkind = N_Exit_Statement
1707         or else NT (N).Nkind = N_Formal_Package_Declaration
1708         or else NT (N).Nkind = N_Function_Call
1709         or else NT (N).Nkind = N_Function_Instantiation
1710         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
1711         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
1712         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
1713         or else NT (N).Nkind = N_Goto_Statement
1714         or else NT (N).Nkind = N_Object_Renaming_Declaration
1715         or else NT (N).Nkind = N_Package_Instantiation
1716         or else NT (N).Nkind = N_Package_Renaming_Declaration
1717         or else NT (N).Nkind = N_Procedure_Call_Statement
1718         or else NT (N).Nkind = N_Procedure_Instantiation
1719         or else NT (N).Nkind = N_Raise_Statement
1720         or else NT (N).Nkind = N_Requeue_Statement
1721         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
1722         or else NT (N).Nkind = N_Subunit
1723         or else NT (N).Nkind = N_Variant_Part
1724         or else NT (N).Nkind = N_With_Clause
1725         or else NT (N).Nkind = N_With_Type_Clause);
1726       return Node2 (N);
1727    end Name;
1728
1729    function Names
1730       (N : Node_Id) return List_Id is
1731    begin
1732       pragma Assert (False
1733         or else NT (N).Nkind = N_Abort_Statement
1734         or else NT (N).Nkind = N_Use_Package_Clause);
1735       return List2 (N);
1736    end Names;
1737
1738    function Next_Entity
1739       (N : Node_Id) return Node_Id is
1740    begin
1741       pragma Assert (False
1742         or else NT (N).Nkind = N_Defining_Character_Literal
1743         or else NT (N).Nkind = N_Defining_Identifier
1744         or else NT (N).Nkind = N_Defining_Operator_Symbol);
1745       return Node2 (N);
1746    end Next_Entity;
1747
1748    function Next_Named_Actual
1749       (N : Node_Id) return Node_Id is
1750    begin
1751       pragma Assert (False
1752         or else NT (N).Nkind = N_Parameter_Association);
1753       return Node4 (N);
1754    end Next_Named_Actual;
1755
1756    function Next_Rep_Item
1757       (N : Node_Id) return Node_Id is
1758    begin
1759       pragma Assert (False
1760         or else NT (N).Nkind = N_Attribute_Definition_Clause
1761         or else NT (N).Nkind = N_Enumeration_Representation_Clause
1762         or else NT (N).Nkind = N_Pragma
1763         or else NT (N).Nkind = N_Record_Representation_Clause);
1764       return Node4 (N);
1765    end Next_Rep_Item;
1766
1767    function Next_Use_Clause
1768       (N : Node_Id) return Node_Id is
1769    begin
1770       pragma Assert (False
1771         or else NT (N).Nkind = N_Use_Package_Clause
1772         or else NT (N).Nkind = N_Use_Type_Clause);
1773       return Node3 (N);
1774    end Next_Use_Clause;
1775
1776    function No_Ctrl_Actions
1777       (N : Node_Id) return Boolean is
1778    begin
1779       pragma Assert (False
1780         or else NT (N).Nkind = N_Assignment_Statement);
1781       return Flag7 (N);
1782    end No_Ctrl_Actions;
1783
1784    function No_Elaboration_Check
1785       (N : Node_Id) return Boolean is
1786    begin
1787       pragma Assert (False
1788         or else NT (N).Nkind = N_Function_Call
1789         or else NT (N).Nkind = N_Procedure_Call_Statement);
1790       return Flag14 (N);
1791    end No_Elaboration_Check;
1792
1793    function No_Entities_Ref_In_Spec
1794       (N : Node_Id) return Boolean is
1795    begin
1796       pragma Assert (False
1797         or else NT (N).Nkind = N_With_Clause);
1798       return Flag8 (N);
1799    end No_Entities_Ref_In_Spec;
1800
1801    function No_Initialization
1802       (N : Node_Id) return Boolean is
1803    begin
1804       pragma Assert (False
1805         or else NT (N).Nkind = N_Allocator
1806         or else NT (N).Nkind = N_Object_Declaration);
1807       return Flag13 (N);
1808    end No_Initialization;
1809
1810    function No_Truncation
1811       (N : Node_Id) return Boolean is
1812    begin
1813       pragma Assert (False
1814         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1815       return Flag17 (N);
1816    end No_Truncation;
1817
1818    function Null_Present
1819       (N : Node_Id) return Boolean is
1820    begin
1821       pragma Assert (False
1822         or else NT (N).Nkind = N_Component_List
1823         or else NT (N).Nkind = N_Record_Definition);
1824       return Flag13 (N);
1825    end Null_Present;
1826
1827    function Null_Record_Present
1828       (N : Node_Id) return Boolean is
1829    begin
1830       pragma Assert (False
1831         or else NT (N).Nkind = N_Aggregate
1832         or else NT (N).Nkind = N_Extension_Aggregate);
1833       return Flag17 (N);
1834    end Null_Record_Present;
1835
1836    function Object_Definition
1837       (N : Node_Id) return Node_Id is
1838    begin
1839       pragma Assert (False
1840         or else NT (N).Nkind = N_Object_Declaration);
1841       return Node4 (N);
1842    end Object_Definition;
1843
1844    function OK_For_Stream
1845       (N : Node_Id) return Boolean is
1846    begin
1847       pragma Assert (False
1848         or else NT (N).Nkind = N_Attribute_Reference);
1849       return Flag4 (N);
1850    end OK_For_Stream;
1851
1852    function Original_Discriminant
1853       (N : Node_Id) return Node_Id is
1854    begin
1855       pragma Assert (False
1856         or else NT (N).Nkind = N_Identifier);
1857       return Node2 (N);
1858    end Original_Discriminant;
1859
1860    function Original_Entity
1861       (N : Node_Id) return Entity_Id is
1862    begin
1863       pragma Assert (False
1864         or else NT (N).Nkind = N_Integer_Literal
1865         or else NT (N).Nkind = N_Real_Literal);
1866       return Node2 (N);
1867    end Original_Entity;
1868
1869    function Others_Discrete_Choices
1870       (N : Node_Id) return List_Id is
1871    begin
1872       pragma Assert (False
1873         or else NT (N).Nkind = N_Others_Choice);
1874       return List1 (N);
1875    end Others_Discrete_Choices;
1876
1877    function Out_Present
1878       (N : Node_Id) return Boolean is
1879    begin
1880       pragma Assert (False
1881         or else NT (N).Nkind = N_Formal_Object_Declaration
1882         or else NT (N).Nkind = N_Parameter_Specification);
1883       return Flag17 (N);
1884    end Out_Present;
1885
1886    function Parameter_Associations
1887       (N : Node_Id) return List_Id is
1888    begin
1889       pragma Assert (False
1890         or else NT (N).Nkind = N_Entry_Call_Statement
1891         or else NT (N).Nkind = N_Function_Call
1892         or else NT (N).Nkind = N_Procedure_Call_Statement);
1893       return List3 (N);
1894    end Parameter_Associations;
1895
1896    function Parameter_List_Truncated
1897       (N : Node_Id) return Boolean is
1898    begin
1899       pragma Assert (False
1900         or else NT (N).Nkind = N_Function_Call
1901         or else NT (N).Nkind = N_Procedure_Call_Statement);
1902       return Flag17 (N);
1903    end Parameter_List_Truncated;
1904
1905    function Parameter_Specifications
1906       (N : Node_Id) return List_Id is
1907    begin
1908       pragma Assert (False
1909         or else NT (N).Nkind = N_Accept_Statement
1910         or else NT (N).Nkind = N_Access_Function_Definition
1911         or else NT (N).Nkind = N_Access_Procedure_Definition
1912         or else NT (N).Nkind = N_Entry_Body_Formal_Part
1913         or else NT (N).Nkind = N_Entry_Declaration
1914         or else NT (N).Nkind = N_Function_Specification
1915         or else NT (N).Nkind = N_Procedure_Specification);
1916       return List3 (N);
1917    end Parameter_Specifications;
1918
1919    function Parameter_Type
1920       (N : Node_Id) return Node_Id is
1921    begin
1922       pragma Assert (False
1923         or else NT (N).Nkind = N_Parameter_Specification);
1924       return Node2 (N);
1925    end Parameter_Type;
1926
1927    function Parent_Spec
1928       (N : Node_Id) return Node_Id is
1929    begin
1930       pragma Assert (False
1931         or else NT (N).Nkind = N_Function_Instantiation
1932         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
1933         or else NT (N).Nkind = N_Generic_Package_Declaration
1934         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
1935         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
1936         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
1937         or else NT (N).Nkind = N_Package_Declaration
1938         or else NT (N).Nkind = N_Package_Instantiation
1939         or else NT (N).Nkind = N_Package_Renaming_Declaration
1940         or else NT (N).Nkind = N_Procedure_Instantiation
1941         or else NT (N).Nkind = N_Subprogram_Declaration
1942         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1943       return Node4 (N);
1944    end Parent_Spec;
1945
1946    function Position
1947       (N : Node_Id) return Node_Id is
1948    begin
1949       pragma Assert (False
1950         or else NT (N).Nkind = N_Component_Clause);
1951       return Node2 (N);
1952    end Position;
1953
1954    function Pragma_Argument_Associations
1955       (N : Node_Id) return List_Id is
1956    begin
1957       pragma Assert (False
1958         or else NT (N).Nkind = N_Pragma);
1959       return List2 (N);
1960    end Pragma_Argument_Associations;
1961
1962    function Pragmas_After
1963       (N : Node_Id) return List_Id is
1964    begin
1965       pragma Assert (False
1966         or else NT (N).Nkind = N_Compilation_Unit_Aux
1967         or else NT (N).Nkind = N_Terminate_Alternative);
1968       return List5 (N);
1969    end Pragmas_After;
1970
1971    function Pragmas_Before
1972       (N : Node_Id) return List_Id is
1973    begin
1974       pragma Assert (False
1975         or else NT (N).Nkind = N_Accept_Alternative
1976         or else NT (N).Nkind = N_Delay_Alternative
1977         or else NT (N).Nkind = N_Entry_Call_Alternative
1978         or else NT (N).Nkind = N_Mod_Clause
1979         or else NT (N).Nkind = N_Terminate_Alternative
1980         or else NT (N).Nkind = N_Triggering_Alternative);
1981       return List4 (N);
1982    end Pragmas_Before;
1983
1984    function Prefix
1985       (N : Node_Id) return Node_Id is
1986    begin
1987       pragma Assert (False
1988         or else NT (N).Nkind = N_Attribute_Reference
1989         or else NT (N).Nkind = N_Expanded_Name
1990         or else NT (N).Nkind = N_Explicit_Dereference
1991         or else NT (N).Nkind = N_Indexed_Component
1992         or else NT (N).Nkind = N_Reference
1993         or else NT (N).Nkind = N_Selected_Component
1994         or else NT (N).Nkind = N_Slice);
1995       return Node3 (N);
1996    end Prefix;
1997
1998    function Present_Expr
1999       (N : Node_Id) return Uint is
2000    begin
2001       pragma Assert (False
2002         or else NT (N).Nkind = N_Variant);
2003       return Uint3 (N);
2004    end Present_Expr;
2005
2006    function Prev_Ids
2007       (N : Node_Id) return Boolean is
2008    begin
2009       pragma Assert (False
2010         or else NT (N).Nkind = N_Component_Declaration
2011         or else NT (N).Nkind = N_Discriminant_Specification
2012         or else NT (N).Nkind = N_Exception_Declaration
2013         or else NT (N).Nkind = N_Formal_Object_Declaration
2014         or else NT (N).Nkind = N_Number_Declaration
2015         or else NT (N).Nkind = N_Object_Declaration
2016         or else NT (N).Nkind = N_Parameter_Specification);
2017       return Flag6 (N);
2018    end Prev_Ids;
2019
2020    function Print_In_Hex
2021       (N : Node_Id) return Boolean is
2022    begin
2023       pragma Assert (False
2024         or else NT (N).Nkind = N_Integer_Literal);
2025       return Flag13 (N);
2026    end Print_In_Hex;
2027
2028    function Private_Declarations
2029       (N : Node_Id) return List_Id is
2030    begin
2031       pragma Assert (False
2032         or else NT (N).Nkind = N_Package_Specification
2033         or else NT (N).Nkind = N_Protected_Definition
2034         or else NT (N).Nkind = N_Task_Definition);
2035       return List3 (N);
2036    end Private_Declarations;
2037
2038    function Private_Present
2039       (N : Node_Id) return Boolean is
2040    begin
2041       pragma Assert (False
2042         or else NT (N).Nkind = N_Compilation_Unit
2043         or else NT (N).Nkind = N_Formal_Derived_Type_Definition);
2044       return Flag15 (N);
2045    end Private_Present;
2046
2047    function Procedure_To_Call
2048       (N : Node_Id) return Node_Id is
2049    begin
2050       pragma Assert (False
2051         or else NT (N).Nkind = N_Allocator
2052         or else NT (N).Nkind = N_Free_Statement
2053         or else NT (N).Nkind = N_Return_Statement);
2054       return Node4 (N);
2055    end Procedure_To_Call;
2056
2057    function Proper_Body
2058       (N : Node_Id) return Node_Id is
2059    begin
2060       pragma Assert (False
2061         or else NT (N).Nkind = N_Subunit);
2062       return Node1 (N);
2063    end Proper_Body;
2064
2065    function Protected_Definition
2066       (N : Node_Id) return Node_Id is
2067    begin
2068       pragma Assert (False
2069         or else NT (N).Nkind = N_Protected_Type_Declaration
2070         or else NT (N).Nkind = N_Single_Protected_Declaration);
2071       return Node3 (N);
2072    end Protected_Definition;
2073
2074    function Protected_Present
2075       (N : Node_Id) return Boolean is
2076    begin
2077       pragma Assert (False
2078         or else NT (N).Nkind = N_Access_Function_Definition
2079         or else NT (N).Nkind = N_Access_Procedure_Definition);
2080       return Flag15 (N);
2081    end Protected_Present;
2082
2083    function Raises_Constraint_Error
2084       (N : Node_Id) return Boolean is
2085    begin
2086       pragma Assert (False
2087         or else NT (N).Nkind in N_Subexpr);
2088       return Flag7 (N);
2089    end Raises_Constraint_Error;
2090
2091    function Range_Constraint
2092       (N : Node_Id) return Node_Id is
2093    begin
2094       pragma Assert (False
2095         or else NT (N).Nkind = N_Delta_Constraint
2096         or else NT (N).Nkind = N_Digits_Constraint);
2097       return Node4 (N);
2098    end Range_Constraint;
2099
2100    function Range_Expression
2101       (N : Node_Id) return Node_Id is
2102    begin
2103       pragma Assert (False
2104         or else NT (N).Nkind = N_Range_Constraint);
2105       return Node4 (N);
2106    end Range_Expression;
2107
2108    function Real_Range_Specification
2109       (N : Node_Id) return Node_Id is
2110    begin
2111       pragma Assert (False
2112         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2113         or else NT (N).Nkind = N_Floating_Point_Definition
2114         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2115       return Node4 (N);
2116    end Real_Range_Specification;
2117
2118    function Realval
2119       (N : Node_Id) return Ureal is
2120    begin
2121       pragma Assert (False
2122         or else NT (N).Nkind = N_Real_Literal);
2123       return Ureal3 (N);
2124    end Realval;
2125
2126    function Reason
2127       (N : Node_Id) return Uint is
2128    begin
2129       pragma Assert (False
2130         or else NT (N).Nkind = N_Raise_Constraint_Error
2131         or else NT (N).Nkind = N_Raise_Program_Error
2132         or else NT (N).Nkind = N_Raise_Storage_Error);
2133       return Uint3 (N);
2134    end Reason;
2135
2136    function Record_Extension_Part
2137       (N : Node_Id) return Node_Id is
2138    begin
2139       pragma Assert (False
2140         or else NT (N).Nkind = N_Derived_Type_Definition);
2141       return Node3 (N);
2142    end Record_Extension_Part;
2143
2144    function Redundant_Use
2145       (N : Node_Id) return Boolean is
2146    begin
2147       pragma Assert (False
2148         or else NT (N).Nkind = N_Attribute_Reference
2149         or else NT (N).Nkind = N_Expanded_Name
2150         or else NT (N).Nkind = N_Identifier);
2151       return Flag13 (N);
2152    end Redundant_Use;
2153
2154    function Return_Type
2155       (N : Node_Id) return Node_Id is
2156    begin
2157       pragma Assert (False
2158         or else NT (N).Nkind = N_Return_Statement);
2159       return Node2 (N);
2160    end Return_Type;
2161
2162    function Reverse_Present
2163       (N : Node_Id) return Boolean is
2164    begin
2165       pragma Assert (False
2166         or else NT (N).Nkind = N_Loop_Parameter_Specification);
2167       return Flag15 (N);
2168    end Reverse_Present;
2169
2170    function Right_Opnd
2171       (N : Node_Id) return Node_Id is
2172    begin
2173       pragma Assert (False
2174         or else NT (N).Nkind in N_Op
2175         or else NT (N).Nkind = N_And_Then
2176         or else NT (N).Nkind = N_In
2177         or else NT (N).Nkind = N_Not_In
2178         or else NT (N).Nkind = N_Or_Else);
2179       return Node3 (N);
2180    end Right_Opnd;
2181
2182    function Rounded_Result
2183       (N : Node_Id) return Boolean is
2184    begin
2185       pragma Assert (False
2186         or else NT (N).Nkind = N_Op_Divide
2187         or else NT (N).Nkind = N_Op_Multiply
2188         or else NT (N).Nkind = N_Type_Conversion);
2189       return Flag18 (N);
2190    end Rounded_Result;
2191
2192    function Scope
2193       (N : Node_Id) return Node_Id is
2194    begin
2195       pragma Assert (False
2196         or else NT (N).Nkind = N_Defining_Character_Literal
2197         or else NT (N).Nkind = N_Defining_Identifier
2198         or else NT (N).Nkind = N_Defining_Operator_Symbol);
2199       return Node3 (N);
2200    end Scope;
2201
2202    function Select_Alternatives
2203       (N : Node_Id) return List_Id is
2204    begin
2205       pragma Assert (False
2206         or else NT (N).Nkind = N_Selective_Accept);
2207       return List1 (N);
2208    end Select_Alternatives;
2209
2210    function Selector_Name
2211       (N : Node_Id) return Node_Id is
2212    begin
2213       pragma Assert (False
2214         or else NT (N).Nkind = N_Expanded_Name
2215         or else NT (N).Nkind = N_Generic_Association
2216         or else NT (N).Nkind = N_Parameter_Association
2217         or else NT (N).Nkind = N_Selected_Component);
2218       return Node2 (N);
2219    end Selector_Name;
2220
2221    function Selector_Names
2222       (N : Node_Id) return List_Id is
2223    begin
2224       pragma Assert (False
2225         or else NT (N).Nkind = N_Discriminant_Association);
2226       return List1 (N);
2227    end Selector_Names;
2228
2229    function Shift_Count_OK
2230       (N : Node_Id) return Boolean is
2231    begin
2232       pragma Assert (False
2233         or else NT (N).Nkind = N_Op_Rotate_Left
2234         or else NT (N).Nkind = N_Op_Rotate_Right
2235         or else NT (N).Nkind = N_Op_Shift_Left
2236         or else NT (N).Nkind = N_Op_Shift_Right
2237         or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2238       return Flag4 (N);
2239    end Shift_Count_OK;
2240
2241    function Source_Type
2242       (N : Node_Id) return Entity_Id is
2243    begin
2244       pragma Assert (False
2245         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2246       return Node1 (N);
2247    end Source_Type;
2248
2249    function Specification
2250       (N : Node_Id) return Node_Id is
2251    begin
2252       pragma Assert (False
2253         or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2254         or else NT (N).Nkind = N_Formal_Subprogram_Declaration
2255         or else NT (N).Nkind = N_Generic_Package_Declaration
2256         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2257         or else NT (N).Nkind = N_Package_Declaration
2258         or else NT (N).Nkind = N_Subprogram_Body
2259         or else NT (N).Nkind = N_Subprogram_Body_Stub
2260         or else NT (N).Nkind = N_Subprogram_Declaration
2261         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2262       return Node1 (N);
2263    end Specification;
2264
2265    function Statements
2266       (N : Node_Id) return List_Id is
2267    begin
2268       pragma Assert (False
2269         or else NT (N).Nkind = N_Abortable_Part
2270         or else NT (N).Nkind = N_Accept_Alternative
2271         or else NT (N).Nkind = N_Case_Statement_Alternative
2272         or else NT (N).Nkind = N_Delay_Alternative
2273         or else NT (N).Nkind = N_Entry_Call_Alternative
2274         or else NT (N).Nkind = N_Exception_Handler
2275         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2276         or else NT (N).Nkind = N_Loop_Statement
2277         or else NT (N).Nkind = N_Triggering_Alternative);
2278       return List3 (N);
2279    end Statements;
2280
2281    function Static_Processing_OK
2282       (N : Node_Id) return Boolean is
2283    begin
2284       pragma Assert (False
2285         or else NT (N).Nkind = N_Aggregate);
2286       return Flag4 (N);
2287    end Static_Processing_OK;
2288
2289    function Storage_Pool
2290       (N : Node_Id) return Node_Id is
2291    begin
2292       pragma Assert (False
2293         or else NT (N).Nkind = N_Allocator
2294         or else NT (N).Nkind = N_Free_Statement
2295         or else NT (N).Nkind = N_Return_Statement);
2296       return Node1 (N);
2297    end Storage_Pool;
2298
2299    function Strval
2300       (N : Node_Id) return String_Id is
2301    begin
2302       pragma Assert (False
2303         or else NT (N).Nkind = N_Operator_Symbol
2304         or else NT (N).Nkind = N_String_Literal);
2305       return Str3 (N);
2306    end Strval;
2307
2308    function Subtype_Indication
2309       (N : Node_Id) return Node_Id is
2310    begin
2311       pragma Assert (False
2312         or else NT (N).Nkind = N_Access_To_Object_Definition
2313         or else NT (N).Nkind = N_Component_Definition
2314         or else NT (N).Nkind = N_Derived_Type_Definition
2315         or else NT (N).Nkind = N_Private_Extension_Declaration
2316         or else NT (N).Nkind = N_Subtype_Declaration);
2317       return Node5 (N);
2318    end Subtype_Indication;
2319
2320    function Subtype_Mark
2321       (N : Node_Id) return Node_Id is
2322    begin
2323       pragma Assert (False
2324         or else NT (N).Nkind = N_Access_Definition
2325         or else NT (N).Nkind = N_Access_Function_Definition
2326         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2327         or else NT (N).Nkind = N_Formal_Object_Declaration
2328         or else NT (N).Nkind = N_Function_Specification
2329         or else NT (N).Nkind = N_Object_Renaming_Declaration
2330         or else NT (N).Nkind = N_Qualified_Expression
2331         or else NT (N).Nkind = N_Subtype_Indication
2332         or else NT (N).Nkind = N_Type_Conversion
2333         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2334       return Node4 (N);
2335    end Subtype_Mark;
2336
2337    function Subtype_Marks
2338       (N : Node_Id) return List_Id is
2339    begin
2340       pragma Assert (False
2341         or else NT (N).Nkind = N_Unconstrained_Array_Definition
2342         or else NT (N).Nkind = N_Use_Type_Clause);
2343       return List2 (N);
2344    end Subtype_Marks;
2345
2346    function Tagged_Present
2347       (N : Node_Id) return Boolean is
2348    begin
2349       pragma Assert (False
2350         or else NT (N).Nkind = N_Formal_Private_Type_Definition
2351         or else NT (N).Nkind = N_Private_Type_Declaration
2352         or else NT (N).Nkind = N_Record_Definition
2353         or else NT (N).Nkind = N_With_Type_Clause);
2354       return Flag15 (N);
2355    end Tagged_Present;
2356
2357    function Target_Type
2358       (N : Node_Id) return Entity_Id is
2359    begin
2360       pragma Assert (False
2361         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2362       return Node2 (N);
2363    end Target_Type;
2364
2365    function Task_Body_Procedure
2366       (N : Node_Id) return Entity_Id is
2367    begin
2368       pragma Assert (False
2369         or else NT (N).Nkind = N_Task_Type_Declaration);
2370       return Node2 (N);
2371    end Task_Body_Procedure;
2372
2373    function Task_Definition
2374       (N : Node_Id) return Node_Id is
2375    begin
2376       pragma Assert (False
2377         or else NT (N).Nkind = N_Single_Task_Declaration
2378         or else NT (N).Nkind = N_Task_Type_Declaration);
2379       return Node3 (N);
2380    end Task_Definition;
2381
2382    function Then_Actions
2383       (N : Node_Id) return List_Id is
2384    begin
2385       pragma Assert (False
2386         or else NT (N).Nkind = N_Conditional_Expression);
2387       return List2 (N);
2388    end Then_Actions;
2389
2390    function Then_Statements
2391       (N : Node_Id) return List_Id is
2392    begin
2393       pragma Assert (False
2394         or else NT (N).Nkind = N_Elsif_Part
2395         or else NT (N).Nkind = N_If_Statement);
2396       return List2 (N);
2397    end Then_Statements;
2398
2399    function Treat_Fixed_As_Integer
2400       (N : Node_Id) return Boolean is
2401    begin
2402       pragma Assert (False
2403         or else NT (N).Nkind = N_Op_Divide
2404         or else NT (N).Nkind = N_Op_Mod
2405         or else NT (N).Nkind = N_Op_Multiply
2406         or else NT (N).Nkind = N_Op_Rem);
2407       return Flag14 (N);
2408    end Treat_Fixed_As_Integer;
2409
2410    function Triggering_Alternative
2411       (N : Node_Id) return Node_Id is
2412    begin
2413       pragma Assert (False
2414         or else NT (N).Nkind = N_Asynchronous_Select);
2415       return Node1 (N);
2416    end Triggering_Alternative;
2417
2418    function Triggering_Statement
2419       (N : Node_Id) return Node_Id is
2420    begin
2421       pragma Assert (False
2422         or else NT (N).Nkind = N_Triggering_Alternative);
2423       return Node1 (N);
2424    end Triggering_Statement;
2425
2426    function TSS_Elist
2427       (N : Node_Id) return Elist_Id is
2428    begin
2429       pragma Assert (False
2430         or else NT (N).Nkind = N_Freeze_Entity);
2431       return Elist3 (N);
2432    end TSS_Elist;
2433
2434    function Type_Definition
2435       (N : Node_Id) return Node_Id is
2436    begin
2437       pragma Assert (False
2438         or else NT (N).Nkind = N_Full_Type_Declaration);
2439       return Node3 (N);
2440    end Type_Definition;
2441
2442    function Unit
2443       (N : Node_Id) return Node_Id is
2444    begin
2445       pragma Assert (False
2446         or else NT (N).Nkind = N_Compilation_Unit);
2447       return Node2 (N);
2448    end Unit;
2449
2450    function Unknown_Discriminants_Present
2451       (N : Node_Id) return Boolean is
2452    begin
2453       pragma Assert (False
2454         or else NT (N).Nkind = N_Formal_Type_Declaration
2455         or else NT (N).Nkind = N_Incomplete_Type_Declaration
2456         or else NT (N).Nkind = N_Private_Extension_Declaration
2457         or else NT (N).Nkind = N_Private_Type_Declaration);
2458       return Flag13 (N);
2459    end Unknown_Discriminants_Present;
2460
2461    function Unreferenced_In_Spec
2462       (N : Node_Id) return Boolean is
2463    begin
2464       pragma Assert (False
2465         or else NT (N).Nkind = N_With_Clause);
2466       return Flag7 (N);
2467    end Unreferenced_In_Spec;
2468
2469    function Variant_Part
2470       (N : Node_Id) return Node_Id is
2471    begin
2472       pragma Assert (False
2473         or else NT (N).Nkind = N_Component_List);
2474       return Node4 (N);
2475    end Variant_Part;
2476
2477    function Variants
2478       (N : Node_Id) return List_Id is
2479    begin
2480       pragma Assert (False
2481         or else NT (N).Nkind = N_Variant_Part);
2482       return List1 (N);
2483    end Variants;
2484
2485    function Visible_Declarations
2486       (N : Node_Id) return List_Id is
2487    begin
2488       pragma Assert (False
2489         or else NT (N).Nkind = N_Package_Specification
2490         or else NT (N).Nkind = N_Protected_Definition
2491         or else NT (N).Nkind = N_Task_Definition);
2492       return List2 (N);
2493    end Visible_Declarations;
2494
2495    function Was_Originally_Stub
2496       (N : Node_Id) return Boolean is
2497    begin
2498       pragma Assert (False
2499         or else NT (N).Nkind = N_Package_Body
2500         or else NT (N).Nkind = N_Protected_Body
2501         or else NT (N).Nkind = N_Subprogram_Body
2502         or else NT (N).Nkind = N_Task_Body);
2503       return Flag13 (N);
2504    end Was_Originally_Stub;
2505
2506    function Zero_Cost_Handling
2507       (N : Node_Id) return Boolean is
2508    begin
2509       pragma Assert (False
2510         or else NT (N).Nkind = N_Exception_Handler
2511         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
2512       return Flag5 (N);
2513    end Zero_Cost_Handling;
2514
2515    --------------------------
2516    -- Field Set Procedures --
2517    --------------------------
2518
2519    procedure Set_ABE_Is_Certain
2520       (N : Node_Id; Val : Boolean := True) is
2521    begin
2522       pragma Assert (False
2523         or else NT (N).Nkind = N_Formal_Package_Declaration
2524         or else NT (N).Nkind = N_Function_Call
2525         or else NT (N).Nkind = N_Function_Instantiation
2526         or else NT (N).Nkind = N_Package_Instantiation
2527         or else NT (N).Nkind = N_Procedure_Call_Statement
2528         or else NT (N).Nkind = N_Procedure_Instantiation);
2529       Set_Flag18 (N, Val);
2530    end Set_ABE_Is_Certain;
2531
2532    procedure Set_Abort_Present
2533       (N : Node_Id; Val : Boolean := True) is
2534    begin
2535       pragma Assert (False
2536         or else NT (N).Nkind = N_Requeue_Statement);
2537       Set_Flag15 (N, Val);
2538    end Set_Abort_Present;
2539
2540    procedure Set_Abortable_Part
2541       (N : Node_Id; Val : Node_Id) is
2542    begin
2543       pragma Assert (False
2544         or else NT (N).Nkind = N_Asynchronous_Select);
2545       Set_Node2_With_Parent (N, Val);
2546    end Set_Abortable_Part;
2547
2548    procedure Set_Abstract_Present
2549       (N : Node_Id; Val : Boolean := True) is
2550    begin
2551       pragma Assert (False
2552         or else NT (N).Nkind = N_Derived_Type_Definition
2553         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2554         or else NT (N).Nkind = N_Formal_Private_Type_Definition
2555         or else NT (N).Nkind = N_Private_Extension_Declaration
2556         or else NT (N).Nkind = N_Private_Type_Declaration
2557         or else NT (N).Nkind = N_Record_Definition);
2558       Set_Flag4 (N, Val);
2559    end Set_Abstract_Present;
2560
2561    procedure Set_Accept_Handler_Records
2562       (N : Node_Id; Val : List_Id) is
2563    begin
2564       pragma Assert (False
2565         or else NT (N).Nkind = N_Accept_Alternative);
2566       Set_List5 (N, Val); -- semantic field, no parent set
2567    end Set_Accept_Handler_Records;
2568
2569    procedure Set_Accept_Statement
2570       (N : Node_Id; Val : Node_Id) is
2571    begin
2572       pragma Assert (False
2573         or else NT (N).Nkind = N_Accept_Alternative);
2574       Set_Node2_With_Parent (N, Val);
2575    end Set_Accept_Statement;
2576
2577    procedure Set_Access_Definition
2578      (N : Node_Id; Val : Node_Id) is
2579    begin
2580       pragma Assert (False
2581         or else NT (N).Nkind = N_Component_Definition
2582         or else NT (N).Nkind = N_Object_Renaming_Declaration);
2583       Set_Node3_With_Parent (N, Val);
2584    end Set_Access_Definition;
2585
2586    procedure Set_Access_Types_To_Process
2587       (N : Node_Id; Val : Elist_Id) is
2588    begin
2589       pragma Assert (False
2590         or else NT (N).Nkind = N_Freeze_Entity);
2591       Set_Elist2 (N, Val); -- semantic field, no parent set
2592    end Set_Access_Types_To_Process;
2593
2594    procedure Set_Actions
2595       (N : Node_Id; Val : List_Id) is
2596    begin
2597       pragma Assert (False
2598         or else NT (N).Nkind = N_And_Then
2599         or else NT (N).Nkind = N_Compilation_Unit_Aux
2600         or else NT (N).Nkind = N_Freeze_Entity
2601         or else NT (N).Nkind = N_Or_Else);
2602       Set_List1_With_Parent (N, Val);
2603    end Set_Actions;
2604
2605    procedure Set_Activation_Chain_Entity
2606       (N : Node_Id; Val : Node_Id) is
2607    begin
2608       pragma Assert (False
2609         or else NT (N).Nkind = N_Block_Statement
2610         or else NT (N).Nkind = N_Entry_Body
2611         or else NT (N).Nkind = N_Generic_Package_Declaration
2612         or else NT (N).Nkind = N_Package_Declaration
2613         or else NT (N).Nkind = N_Subprogram_Body
2614         or else NT (N).Nkind = N_Task_Body);
2615       Set_Node3 (N, Val); -- semantic field, no parent set
2616    end Set_Activation_Chain_Entity;
2617
2618    procedure Set_Acts_As_Spec
2619       (N : Node_Id; Val : Boolean := True) is
2620    begin
2621       pragma Assert (False
2622         or else NT (N).Nkind = N_Compilation_Unit
2623         or else NT (N).Nkind = N_Subprogram_Body);
2624       Set_Flag4 (N, Val);
2625    end Set_Acts_As_Spec;
2626
2627    procedure Set_Aggregate_Bounds
2628       (N : Node_Id; Val : Node_Id) is
2629    begin
2630       pragma Assert (False
2631         or else NT (N).Nkind = N_Aggregate);
2632       Set_Node3 (N, Val); -- semantic field, no parent set
2633    end Set_Aggregate_Bounds;
2634
2635    procedure Set_Aliased_Present
2636       (N : Node_Id; Val : Boolean := True) is
2637    begin
2638       pragma Assert (False
2639         or else NT (N).Nkind = N_Component_Definition
2640         or else NT (N).Nkind = N_Object_Declaration);
2641       Set_Flag4 (N, Val);
2642    end Set_Aliased_Present;
2643
2644    procedure Set_All_Others
2645       (N : Node_Id; Val : Boolean := True) is
2646    begin
2647       pragma Assert (False
2648         or else NT (N).Nkind = N_Others_Choice);
2649       Set_Flag11 (N, Val);
2650    end Set_All_Others;
2651
2652    procedure Set_All_Present
2653       (N : Node_Id; Val : Boolean := True) is
2654    begin
2655       pragma Assert (False
2656         or else NT (N).Nkind = N_Access_To_Object_Definition);
2657       Set_Flag15 (N, Val);
2658    end Set_All_Present;
2659
2660    procedure Set_Alternatives
2661       (N : Node_Id; Val : List_Id) is
2662    begin
2663       pragma Assert (False
2664         or else NT (N).Nkind = N_Case_Statement);
2665       Set_List4_With_Parent (N, Val);
2666    end Set_Alternatives;
2667
2668    procedure Set_Ancestor_Part
2669       (N : Node_Id; Val : Node_Id) is
2670    begin
2671       pragma Assert (False
2672         or else NT (N).Nkind = N_Extension_Aggregate);
2673       Set_Node3_With_Parent (N, Val);
2674    end Set_Ancestor_Part;
2675
2676    procedure Set_Array_Aggregate
2677       (N : Node_Id; Val : Node_Id) is
2678    begin
2679       pragma Assert (False
2680         or else NT (N).Nkind = N_Enumeration_Representation_Clause);
2681       Set_Node3_With_Parent (N, Val);
2682    end Set_Array_Aggregate;
2683
2684    procedure Set_Assignment_OK
2685       (N : Node_Id; Val : Boolean := True) is
2686    begin
2687       pragma Assert (False
2688         or else NT (N).Nkind = N_Object_Declaration
2689         or else NT (N).Nkind in N_Subexpr);
2690       Set_Flag15 (N, Val);
2691    end Set_Assignment_OK;
2692
2693    procedure Set_Associated_Node
2694       (N : Node_Id; Val : Node_Id) is
2695    begin
2696       pragma Assert (False
2697         or else NT (N).Nkind in N_Has_Entity
2698         or else NT (N).Nkind = N_Aggregate
2699         or else NT (N).Nkind = N_Extension_Aggregate
2700         or else NT (N).Nkind = N_Selected_Component);
2701       Set_Node4 (N, Val); -- semantic field, no parent set
2702    end Set_Associated_Node;
2703
2704    procedure Set_At_End_Proc
2705       (N : Node_Id; Val : Node_Id) is
2706    begin
2707       pragma Assert (False
2708         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
2709       Set_Node1 (N, Val);
2710    end Set_At_End_Proc;
2711
2712    procedure Set_Attribute_Name
2713       (N : Node_Id; Val : Name_Id) is
2714    begin
2715       pragma Assert (False
2716         or else NT (N).Nkind = N_Attribute_Reference);
2717       Set_Name2 (N, Val);
2718    end Set_Attribute_Name;
2719
2720    procedure Set_Aux_Decls_Node
2721       (N : Node_Id; Val : Node_Id) is
2722    begin
2723       pragma Assert (False
2724         or else NT (N).Nkind = N_Compilation_Unit);
2725       Set_Node5_With_Parent (N, Val);
2726    end Set_Aux_Decls_Node;
2727
2728    procedure Set_Backwards_OK
2729       (N : Node_Id; Val : Boolean := True) is
2730    begin
2731       pragma Assert (False
2732         or else NT (N).Nkind = N_Assignment_Statement);
2733       Set_Flag6 (N, Val);
2734    end Set_Backwards_OK;
2735
2736    procedure Set_Bad_Is_Detected
2737       (N : Node_Id; Val : Boolean := True) is
2738    begin
2739       pragma Assert (False
2740         or else NT (N).Nkind = N_Subprogram_Body);
2741       Set_Flag15 (N, Val);
2742    end Set_Bad_Is_Detected;
2743
2744    procedure Set_Body_Required
2745       (N : Node_Id; Val : Boolean := True) is
2746    begin
2747       pragma Assert (False
2748         or else NT (N).Nkind = N_Compilation_Unit);
2749       Set_Flag13 (N, Val);
2750    end Set_Body_Required;
2751
2752    procedure Set_Body_To_Inline
2753       (N : Node_Id; Val : Node_Id) is
2754    begin
2755       pragma Assert (False
2756         or else NT (N).Nkind = N_Subprogram_Declaration);
2757       Set_Node3 (N, Val);
2758    end Set_Body_To_Inline;
2759
2760    procedure Set_Box_Present
2761       (N : Node_Id; Val : Boolean := True) is
2762    begin
2763       pragma Assert (False
2764         or else NT (N).Nkind = N_Component_Association
2765         or else NT (N).Nkind = N_Formal_Package_Declaration
2766         or else NT (N).Nkind = N_Formal_Subprogram_Declaration);
2767       Set_Flag15 (N, Val);
2768    end Set_Box_Present;
2769
2770    procedure Set_By_Ref
2771       (N : Node_Id; Val : Boolean := True) is
2772    begin
2773       pragma Assert (False
2774         or else NT (N).Nkind = N_Return_Statement);
2775       Set_Flag5 (N, Val);
2776    end Set_By_Ref;
2777
2778    procedure Set_Char_Literal_Value
2779       (N : Node_Id; Val : Char_Code) is
2780    begin
2781       pragma Assert (False
2782         or else NT (N).Nkind = N_Character_Literal);
2783       Set_Char_Code2 (N, Val);
2784    end Set_Char_Literal_Value;
2785
2786    procedure Set_Chars
2787       (N : Node_Id; Val : Name_Id) is
2788    begin
2789       pragma Assert (False
2790         or else NT (N).Nkind in N_Has_Chars);
2791       Set_Name1 (N, Val);
2792    end Set_Chars;
2793
2794    procedure Set_Check_Address_Alignment
2795       (N : Node_Id; Val : Boolean := True) is
2796    begin
2797       pragma Assert (False
2798           or else NT (N).Nkind = N_Attribute_Definition_Clause);
2799       Set_Flag11 (N, Val);
2800    end Set_Check_Address_Alignment;
2801
2802    procedure Set_Choice_Parameter
2803       (N : Node_Id; Val : Node_Id) is
2804    begin
2805       pragma Assert (False
2806         or else NT (N).Nkind = N_Exception_Handler);
2807       Set_Node2_With_Parent (N, Val);
2808    end Set_Choice_Parameter;
2809
2810    procedure Set_Choices
2811       (N : Node_Id; Val : List_Id) is
2812    begin
2813       pragma Assert (False
2814         or else NT (N).Nkind = N_Component_Association);
2815       Set_List1_With_Parent (N, Val);
2816    end Set_Choices;
2817
2818    procedure Set_Compile_Time_Known_Aggregate
2819       (N : Node_Id; Val : Boolean := True) is
2820    begin
2821       pragma Assert (False
2822         or else NT (N).Nkind = N_Aggregate);
2823       Set_Flag18 (N, Val);
2824    end Set_Compile_Time_Known_Aggregate;
2825
2826    procedure Set_Component_Associations
2827       (N : Node_Id; Val : List_Id) is
2828    begin
2829       pragma Assert (False
2830         or else NT (N).Nkind = N_Aggregate
2831         or else NT (N).Nkind = N_Extension_Aggregate);
2832       Set_List2_With_Parent (N, Val);
2833    end Set_Component_Associations;
2834
2835    procedure Set_Component_Clauses
2836       (N : Node_Id; Val : List_Id) is
2837    begin
2838       pragma Assert (False
2839         or else NT (N).Nkind = N_Record_Representation_Clause);
2840       Set_List3_With_Parent (N, Val);
2841    end Set_Component_Clauses;
2842
2843    procedure Set_Component_Definition
2844       (N : Node_Id; Val : Node_Id) is
2845    begin
2846       pragma Assert (False
2847         or else NT (N).Nkind = N_Component_Declaration
2848         or else NT (N).Nkind = N_Constrained_Array_Definition
2849         or else NT (N).Nkind = N_Unconstrained_Array_Definition);
2850       Set_Node4_With_Parent (N, Val);
2851    end Set_Component_Definition;
2852
2853    procedure Set_Component_Items
2854       (N : Node_Id; Val : List_Id) is
2855    begin
2856       pragma Assert (False
2857         or else NT (N).Nkind = N_Component_List);
2858       Set_List3_With_Parent (N, Val);
2859    end Set_Component_Items;
2860
2861    procedure Set_Component_List
2862       (N : Node_Id; Val : Node_Id) is
2863    begin
2864       pragma Assert (False
2865         or else NT (N).Nkind = N_Record_Definition
2866         or else NT (N).Nkind = N_Variant);
2867       Set_Node1_With_Parent (N, Val);
2868    end Set_Component_List;
2869
2870    procedure Set_Component_Name
2871       (N : Node_Id; Val : Node_Id) is
2872    begin
2873       pragma Assert (False
2874         or else NT (N).Nkind = N_Component_Clause);
2875       Set_Node1_With_Parent (N, Val);
2876    end Set_Component_Name;
2877
2878    procedure Set_Condition
2879       (N : Node_Id; Val : Node_Id) is
2880    begin
2881       pragma Assert (False
2882         or else NT (N).Nkind = N_Accept_Alternative
2883         or else NT (N).Nkind = N_Delay_Alternative
2884         or else NT (N).Nkind = N_Elsif_Part
2885         or else NT (N).Nkind = N_Entry_Body_Formal_Part
2886         or else NT (N).Nkind = N_Exit_Statement
2887         or else NT (N).Nkind = N_If_Statement
2888         or else NT (N).Nkind = N_Iteration_Scheme
2889         or else NT (N).Nkind = N_Raise_Constraint_Error
2890         or else NT (N).Nkind = N_Raise_Program_Error
2891         or else NT (N).Nkind = N_Raise_Storage_Error
2892         or else NT (N).Nkind = N_Terminate_Alternative);
2893       Set_Node1_With_Parent (N, Val);
2894    end Set_Condition;
2895
2896    procedure Set_Condition_Actions
2897       (N : Node_Id; Val : List_Id) is
2898    begin
2899       pragma Assert (False
2900         or else NT (N).Nkind = N_Elsif_Part
2901         or else NT (N).Nkind = N_Iteration_Scheme);
2902       Set_List3 (N, Val); -- semantic field, no parent set
2903    end Set_Condition_Actions;
2904
2905    procedure Set_Config_Pragmas
2906       (N : Node_Id; Val : List_Id) is
2907    begin
2908       pragma Assert (False
2909         or else NT (N).Nkind = N_Compilation_Unit_Aux);
2910       Set_List4_With_Parent (N, Val);
2911    end Set_Config_Pragmas;
2912
2913    procedure Set_Constant_Present
2914       (N : Node_Id; Val : Boolean := True) is
2915    begin
2916       pragma Assert (False
2917         or else NT (N).Nkind = N_Access_To_Object_Definition
2918         or else NT (N).Nkind = N_Object_Declaration);
2919       Set_Flag17 (N, Val);
2920    end Set_Constant_Present;
2921
2922    procedure Set_Constraint
2923       (N : Node_Id; Val : Node_Id) is
2924    begin
2925       pragma Assert (False
2926         or else NT (N).Nkind = N_Subtype_Indication);
2927       Set_Node3_With_Parent (N, Val);
2928    end Set_Constraint;
2929
2930    procedure Set_Constraints
2931       (N : Node_Id; Val : List_Id) is
2932    begin
2933       pragma Assert (False
2934         or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
2935       Set_List1_With_Parent (N, Val);
2936    end Set_Constraints;
2937
2938    procedure Set_Context_Installed
2939       (N : Node_Id; Val : Boolean := True) is
2940    begin
2941       pragma Assert (False
2942         or else NT (N).Nkind = N_With_Clause);
2943       Set_Flag13 (N, Val);
2944    end Set_Context_Installed;
2945
2946    procedure Set_Context_Items
2947       (N : Node_Id; Val : List_Id) is
2948    begin
2949       pragma Assert (False
2950         or else NT (N).Nkind = N_Compilation_Unit);
2951       Set_List1_With_Parent (N, Val);
2952    end Set_Context_Items;
2953
2954    procedure Set_Controlling_Argument
2955       (N : Node_Id; Val : Node_Id) is
2956    begin
2957       pragma Assert (False
2958         or else NT (N).Nkind = N_Function_Call
2959         or else NT (N).Nkind = N_Procedure_Call_Statement);
2960       Set_Node1 (N, Val); -- semantic field, no parent set
2961    end Set_Controlling_Argument;
2962
2963    procedure Set_Conversion_OK
2964       (N : Node_Id; Val : Boolean := True) is
2965    begin
2966       pragma Assert (False
2967         or else NT (N).Nkind = N_Type_Conversion);
2968       Set_Flag14 (N, Val);
2969    end Set_Conversion_OK;
2970
2971    procedure Set_Corresponding_Body
2972       (N : Node_Id; Val : Node_Id) is
2973    begin
2974       pragma Assert (False
2975         or else NT (N).Nkind = N_Entry_Declaration
2976         or else NT (N).Nkind = N_Generic_Package_Declaration
2977         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2978         or else NT (N).Nkind = N_Package_Body_Stub
2979         or else NT (N).Nkind = N_Package_Declaration
2980         or else NT (N).Nkind = N_Protected_Body_Stub
2981         or else NT (N).Nkind = N_Protected_Type_Declaration
2982         or else NT (N).Nkind = N_Subprogram_Body_Stub
2983         or else NT (N).Nkind = N_Subprogram_Declaration
2984         or else NT (N).Nkind = N_Task_Body_Stub
2985         or else NT (N).Nkind = N_Task_Type_Declaration);
2986       Set_Node5 (N, Val); -- semantic field, no parent set
2987    end Set_Corresponding_Body;
2988
2989    procedure Set_Corresponding_Generic_Association
2990       (N : Node_Id; Val : Node_Id) is
2991    begin
2992       pragma Assert (False
2993         or else NT (N).Nkind = N_Object_Declaration
2994         or else NT (N).Nkind = N_Object_Renaming_Declaration);
2995       Set_Node5 (N, Val); -- semantic field, no parent set
2996    end Set_Corresponding_Generic_Association;
2997    procedure Set_Corresponding_Integer_Value
2998       (N : Node_Id; Val : Uint) is
2999    begin
3000       pragma Assert (False
3001         or else NT (N).Nkind = N_Real_Literal);
3002       Set_Uint4 (N, Val); -- semantic field, no parent set
3003    end Set_Corresponding_Integer_Value;
3004
3005    procedure Set_Corresponding_Spec
3006       (N : Node_Id; Val : Node_Id) is
3007    begin
3008       pragma Assert (False
3009         or else NT (N).Nkind = N_Package_Body
3010         or else NT (N).Nkind = N_Protected_Body
3011         or else NT (N).Nkind = N_Subprogram_Body
3012         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3013         or else NT (N).Nkind = N_Task_Body
3014         or else NT (N).Nkind = N_With_Clause);
3015       Set_Node5 (N, Val); -- semantic field, no parent set
3016    end Set_Corresponding_Spec;
3017
3018    procedure Set_Corresponding_Stub
3019       (N : Node_Id; Val : Node_Id) is
3020    begin
3021       pragma Assert (False
3022         or else NT (N).Nkind = N_Subunit);
3023       Set_Node3 (N, Val);
3024    end Set_Corresponding_Stub;
3025
3026    procedure Set_Dcheck_Function
3027       (N : Node_Id; Val : Entity_Id) is
3028    begin
3029       pragma Assert (False
3030         or else NT (N).Nkind = N_Variant);
3031       Set_Node5 (N, Val); -- semantic field, no parent set
3032    end Set_Dcheck_Function;
3033
3034    procedure Set_Debug_Statement
3035       (N : Node_Id; Val : Node_Id) is
3036    begin
3037       pragma Assert (False
3038         or else NT (N).Nkind = N_Pragma);
3039       Set_Node3_With_Parent (N, Val);
3040    end Set_Debug_Statement;
3041
3042    procedure Set_Declarations
3043       (N : Node_Id; Val : List_Id) is
3044    begin
3045       pragma Assert (False
3046         or else NT (N).Nkind = N_Accept_Statement
3047         or else NT (N).Nkind = N_Block_Statement
3048         or else NT (N).Nkind = N_Compilation_Unit_Aux
3049         or else NT (N).Nkind = N_Entry_Body
3050         or else NT (N).Nkind = N_Package_Body
3051         or else NT (N).Nkind = N_Protected_Body
3052         or else NT (N).Nkind = N_Subprogram_Body
3053         or else NT (N).Nkind = N_Task_Body);
3054       Set_List2_With_Parent (N, Val);
3055    end Set_Declarations;
3056
3057    procedure Set_Default_Expression
3058       (N : Node_Id; Val : Node_Id) is
3059    begin
3060       pragma Assert (False
3061         or else NT (N).Nkind = N_Parameter_Specification);
3062       Set_Node5 (N, Val); -- semantic field, no parent set
3063    end Set_Default_Expression;
3064
3065    procedure Set_Default_Name
3066       (N : Node_Id; Val : Node_Id) is
3067    begin
3068       pragma Assert (False
3069         or else NT (N).Nkind = N_Formal_Subprogram_Declaration);
3070       Set_Node2_With_Parent (N, Val);
3071    end Set_Default_Name;
3072
3073    procedure Set_Defining_Identifier
3074       (N : Node_Id; Val : Entity_Id) is
3075    begin
3076       pragma Assert (False
3077         or else NT (N).Nkind = N_Component_Declaration
3078         or else NT (N).Nkind = N_Defining_Program_Unit_Name
3079         or else NT (N).Nkind = N_Discriminant_Specification
3080         or else NT (N).Nkind = N_Entry_Body
3081         or else NT (N).Nkind = N_Entry_Declaration
3082         or else NT (N).Nkind = N_Entry_Index_Specification
3083         or else NT (N).Nkind = N_Exception_Declaration
3084         or else NT (N).Nkind = N_Exception_Renaming_Declaration
3085         or else NT (N).Nkind = N_Formal_Object_Declaration
3086         or else NT (N).Nkind = N_Formal_Package_Declaration
3087         or else NT (N).Nkind = N_Formal_Type_Declaration
3088         or else NT (N).Nkind = N_Full_Type_Declaration
3089         or else NT (N).Nkind = N_Implicit_Label_Declaration
3090         or else NT (N).Nkind = N_Incomplete_Type_Declaration
3091         or else NT (N).Nkind = N_Loop_Parameter_Specification
3092         or else NT (N).Nkind = N_Number_Declaration
3093         or else NT (N).Nkind = N_Object_Declaration
3094         or else NT (N).Nkind = N_Object_Renaming_Declaration
3095         or else NT (N).Nkind = N_Package_Body_Stub
3096         or else NT (N).Nkind = N_Parameter_Specification
3097         or else NT (N).Nkind = N_Private_Extension_Declaration
3098         or else NT (N).Nkind = N_Private_Type_Declaration
3099         or else NT (N).Nkind = N_Protected_Body
3100         or else NT (N).Nkind = N_Protected_Body_Stub
3101         or else NT (N).Nkind = N_Protected_Type_Declaration
3102         or else NT (N).Nkind = N_Single_Protected_Declaration
3103         or else NT (N).Nkind = N_Single_Task_Declaration
3104         or else NT (N).Nkind = N_Subtype_Declaration
3105         or else NT (N).Nkind = N_Task_Body
3106         or else NT (N).Nkind = N_Task_Body_Stub
3107         or else NT (N).Nkind = N_Task_Type_Declaration);
3108       Set_Node1_With_Parent (N, Val);
3109    end Set_Defining_Identifier;
3110
3111    procedure Set_Defining_Unit_Name
3112       (N : Node_Id; Val : Node_Id) is
3113    begin
3114       pragma Assert (False
3115         or else NT (N).Nkind = N_Function_Instantiation
3116         or else NT (N).Nkind = N_Function_Specification
3117         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3118         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3119         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3120         or else NT (N).Nkind = N_Package_Body
3121         or else NT (N).Nkind = N_Package_Instantiation
3122         or else NT (N).Nkind = N_Package_Renaming_Declaration
3123         or else NT (N).Nkind = N_Package_Specification
3124         or else NT (N).Nkind = N_Procedure_Instantiation
3125         or else NT (N).Nkind = N_Procedure_Specification);
3126       Set_Node1_With_Parent (N, Val);
3127    end Set_Defining_Unit_Name;
3128
3129    procedure Set_Delay_Alternative
3130       (N : Node_Id; Val : Node_Id) is
3131    begin
3132       pragma Assert (False
3133         or else NT (N).Nkind = N_Timed_Entry_Call);
3134       Set_Node4_With_Parent (N, Val);
3135    end Set_Delay_Alternative;
3136
3137    procedure Set_Delay_Finalize_Attach
3138       (N : Node_Id; Val : Boolean := True) is
3139    begin
3140       pragma Assert (False
3141         or else NT (N).Nkind = N_Object_Declaration);
3142       Set_Flag14 (N, Val);
3143    end Set_Delay_Finalize_Attach;
3144
3145    procedure Set_Delay_Statement
3146       (N : Node_Id; Val : Node_Id) is
3147    begin
3148       pragma Assert (False
3149         or else NT (N).Nkind = N_Delay_Alternative);
3150       Set_Node2_With_Parent (N, Val);
3151    end Set_Delay_Statement;
3152
3153    procedure Set_Delta_Expression
3154       (N : Node_Id; Val : Node_Id) is
3155    begin
3156       pragma Assert (False
3157         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3158         or else NT (N).Nkind = N_Delta_Constraint
3159         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3160       Set_Node3_With_Parent (N, Val);
3161    end Set_Delta_Expression;
3162
3163    procedure Set_Digits_Expression
3164       (N : Node_Id; Val : Node_Id) is
3165    begin
3166       pragma Assert (False
3167         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3168         or else NT (N).Nkind = N_Digits_Constraint
3169         or else NT (N).Nkind = N_Floating_Point_Definition);
3170       Set_Node2_With_Parent (N, Val);
3171    end Set_Digits_Expression;
3172
3173    procedure Set_Discr_Check_Funcs_Built
3174       (N : Node_Id; Val : Boolean := True) is
3175    begin
3176       pragma Assert (False
3177         or else NT (N).Nkind = N_Full_Type_Declaration);
3178       Set_Flag11 (N, Val);
3179    end Set_Discr_Check_Funcs_Built;
3180
3181    procedure Set_Discrete_Choices
3182       (N : Node_Id; Val : List_Id) is
3183    begin
3184       pragma Assert (False
3185         or else NT (N).Nkind = N_Case_Statement_Alternative
3186         or else NT (N).Nkind = N_Variant);
3187       Set_List4_With_Parent (N, Val);
3188    end Set_Discrete_Choices;
3189
3190    procedure Set_Discrete_Range
3191       (N : Node_Id; Val : Node_Id) is
3192    begin
3193       pragma Assert (False
3194         or else NT (N).Nkind = N_Slice);
3195       Set_Node4_With_Parent (N, Val);
3196    end Set_Discrete_Range;
3197
3198    procedure Set_Discrete_Subtype_Definition
3199       (N : Node_Id; Val : Node_Id) is
3200    begin
3201       pragma Assert (False
3202         or else NT (N).Nkind = N_Entry_Declaration
3203         or else NT (N).Nkind = N_Entry_Index_Specification
3204         or else NT (N).Nkind = N_Loop_Parameter_Specification);
3205       Set_Node4_With_Parent (N, Val);
3206    end Set_Discrete_Subtype_Definition;
3207
3208    procedure Set_Discrete_Subtype_Definitions
3209       (N : Node_Id; Val : List_Id) is
3210    begin
3211       pragma Assert (False
3212         or else NT (N).Nkind = N_Constrained_Array_Definition);
3213       Set_List2_With_Parent (N, Val);
3214    end Set_Discrete_Subtype_Definitions;
3215
3216    procedure Set_Discriminant_Specifications
3217       (N : Node_Id; Val : List_Id) is
3218    begin
3219       pragma Assert (False
3220         or else NT (N).Nkind = N_Formal_Type_Declaration
3221         or else NT (N).Nkind = N_Full_Type_Declaration
3222         or else NT (N).Nkind = N_Incomplete_Type_Declaration
3223         or else NT (N).Nkind = N_Private_Extension_Declaration
3224         or else NT (N).Nkind = N_Private_Type_Declaration
3225         or else NT (N).Nkind = N_Protected_Type_Declaration
3226         or else NT (N).Nkind = N_Task_Type_Declaration);
3227       Set_List4_With_Parent (N, Val);
3228    end Set_Discriminant_Specifications;
3229
3230    procedure Set_Discriminant_Type
3231       (N : Node_Id; Val : Node_Id) is
3232    begin
3233       pragma Assert (False
3234         or else NT (N).Nkind = N_Discriminant_Specification);
3235       Set_Node5_With_Parent (N, Val);
3236    end Set_Discriminant_Type;
3237
3238    procedure Set_Do_Accessibility_Check
3239       (N : Node_Id; Val : Boolean := True) is
3240    begin
3241       pragma Assert (False
3242         or else NT (N).Nkind = N_Parameter_Specification);
3243       Set_Flag13 (N, Val);
3244    end Set_Do_Accessibility_Check;
3245
3246    procedure Set_Do_Discriminant_Check
3247       (N : Node_Id; Val : Boolean := True) is
3248    begin
3249       pragma Assert (False
3250         or else NT (N).Nkind = N_Selected_Component);
3251       Set_Flag13 (N, Val);
3252    end Set_Do_Discriminant_Check;
3253
3254    procedure Set_Do_Division_Check
3255       (N : Node_Id; Val : Boolean := True) is
3256    begin
3257       pragma Assert (False
3258         or else NT (N).Nkind = N_Op_Divide
3259         or else NT (N).Nkind = N_Op_Mod
3260         or else NT (N).Nkind = N_Op_Rem);
3261       Set_Flag13 (N, Val);
3262    end Set_Do_Division_Check;
3263
3264    procedure Set_Do_Length_Check
3265       (N : Node_Id; Val : Boolean := True) is
3266    begin
3267       pragma Assert (False
3268         or else NT (N).Nkind = N_Assignment_Statement
3269         or else NT (N).Nkind = N_Op_And
3270         or else NT (N).Nkind = N_Op_Or
3271         or else NT (N).Nkind = N_Op_Xor
3272         or else NT (N).Nkind = N_Type_Conversion);
3273       Set_Flag4 (N, Val);
3274    end Set_Do_Length_Check;
3275
3276    procedure Set_Do_Overflow_Check
3277       (N : Node_Id; Val : Boolean := True) is
3278    begin
3279       pragma Assert (False
3280         or else NT (N).Nkind in N_Op
3281         or else NT (N).Nkind = N_Attribute_Reference
3282         or else NT (N).Nkind = N_Type_Conversion);
3283       Set_Flag17 (N, Val);
3284    end Set_Do_Overflow_Check;
3285
3286    procedure Set_Do_Range_Check
3287       (N : Node_Id; Val : Boolean := True) is
3288    begin
3289       pragma Assert (False
3290         or else NT (N).Nkind in N_Subexpr);
3291       Set_Flag9 (N, Val);
3292    end Set_Do_Range_Check;
3293
3294    procedure Set_Do_Storage_Check
3295       (N : Node_Id; Val : Boolean := True) is
3296    begin
3297       pragma Assert (False
3298         or else NT (N).Nkind = N_Allocator
3299         or else NT (N).Nkind = N_Subprogram_Body);
3300       Set_Flag17 (N, Val);
3301    end Set_Do_Storage_Check;
3302
3303    procedure Set_Do_Tag_Check
3304       (N : Node_Id; Val : Boolean := True) is
3305    begin
3306       pragma Assert (False
3307         or else NT (N).Nkind = N_Assignment_Statement
3308         or else NT (N).Nkind = N_Function_Call
3309         or else NT (N).Nkind = N_Procedure_Call_Statement
3310         or else NT (N).Nkind = N_Return_Statement
3311         or else NT (N).Nkind = N_Type_Conversion);
3312       Set_Flag13 (N, Val);
3313    end Set_Do_Tag_Check;
3314
3315    procedure Set_Elaborate_All_Present
3316       (N : Node_Id; Val : Boolean := True) is
3317    begin
3318       pragma Assert (False
3319         or else NT (N).Nkind = N_With_Clause);
3320       Set_Flag15 (N, Val);
3321    end Set_Elaborate_All_Present;
3322
3323    procedure Set_Elaborate_Present
3324       (N : Node_Id; Val : Boolean := True) is
3325    begin
3326       pragma Assert (False
3327         or else NT (N).Nkind = N_With_Clause);
3328       Set_Flag4 (N, Val);
3329    end Set_Elaborate_Present;
3330
3331    procedure Set_Elaboration_Boolean
3332       (N : Node_Id; Val : Node_Id) is
3333    begin
3334       pragma Assert (False
3335         or else NT (N).Nkind = N_Function_Specification
3336         or else NT (N).Nkind = N_Procedure_Specification);
3337       Set_Node2 (N, Val);
3338    end Set_Elaboration_Boolean;
3339
3340    procedure Set_Else_Actions
3341       (N : Node_Id; Val : List_Id) is
3342    begin
3343       pragma Assert (False
3344         or else NT (N).Nkind = N_Conditional_Expression);
3345       Set_List3 (N, Val); -- semantic field, no parent set
3346    end Set_Else_Actions;
3347
3348    procedure Set_Else_Statements
3349       (N : Node_Id; Val : List_Id) is
3350    begin
3351       pragma Assert (False
3352         or else NT (N).Nkind = N_Conditional_Entry_Call
3353         or else NT (N).Nkind = N_If_Statement
3354         or else NT (N).Nkind = N_Selective_Accept);
3355       Set_List4_With_Parent (N, Val);
3356    end Set_Else_Statements;
3357
3358    procedure Set_Elsif_Parts
3359       (N : Node_Id; Val : List_Id) is
3360    begin
3361       pragma Assert (False
3362         or else NT (N).Nkind = N_If_Statement);
3363       Set_List3_With_Parent (N, Val);
3364    end Set_Elsif_Parts;
3365
3366    procedure Set_Enclosing_Variant
3367       (N : Node_Id; Val : Node_Id) is
3368    begin
3369       pragma Assert (False
3370         or else NT (N).Nkind = N_Variant);
3371       Set_Node2 (N, Val); -- semantic field, no parent set
3372    end Set_Enclosing_Variant;
3373
3374    procedure Set_End_Label
3375       (N : Node_Id; Val : Node_Id) is
3376    begin
3377       pragma Assert (False
3378         or else NT (N).Nkind = N_Enumeration_Type_Definition
3379         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
3380         or else NT (N).Nkind = N_Loop_Statement
3381         or else NT (N).Nkind = N_Package_Specification
3382         or else NT (N).Nkind = N_Protected_Body
3383         or else NT (N).Nkind = N_Protected_Definition
3384         or else NT (N).Nkind = N_Record_Definition
3385         or else NT (N).Nkind = N_Task_Definition);
3386       Set_Node4_With_Parent (N, Val);
3387    end Set_End_Label;
3388
3389    procedure Set_End_Span
3390       (N : Node_Id; Val : Uint) is
3391    begin
3392       pragma Assert (False
3393         or else NT (N).Nkind = N_Case_Statement
3394         or else NT (N).Nkind = N_If_Statement);
3395       Set_Uint5 (N, Val);
3396    end Set_End_Span;
3397
3398    procedure Set_Entity
3399       (N : Node_Id; Val : Node_Id) is
3400    begin
3401       pragma Assert (False
3402         or else NT (N).Nkind in N_Has_Entity
3403         or else NT (N).Nkind = N_Freeze_Entity);
3404       Set_Node4 (N, Val); -- semantic field, no parent set
3405    end Set_Entity;
3406
3407    procedure Set_Entry_Body_Formal_Part
3408       (N : Node_Id; Val : Node_Id) is
3409    begin
3410       pragma Assert (False
3411         or else NT (N).Nkind = N_Entry_Body);
3412       Set_Node5_With_Parent (N, Val);
3413    end Set_Entry_Body_Formal_Part;
3414
3415    procedure Set_Entry_Call_Alternative
3416       (N : Node_Id; Val : Node_Id) is
3417    begin
3418       pragma Assert (False
3419         or else NT (N).Nkind = N_Conditional_Entry_Call
3420         or else NT (N).Nkind = N_Timed_Entry_Call);
3421       Set_Node1_With_Parent (N, Val);
3422    end Set_Entry_Call_Alternative;
3423
3424    procedure Set_Entry_Call_Statement
3425       (N : Node_Id; Val : Node_Id) is
3426    begin
3427       pragma Assert (False
3428         or else NT (N).Nkind = N_Entry_Call_Alternative);
3429       Set_Node1_With_Parent (N, Val);
3430    end Set_Entry_Call_Statement;
3431
3432    procedure Set_Entry_Direct_Name
3433       (N : Node_Id; Val : Node_Id) is
3434    begin
3435       pragma Assert (False
3436         or else NT (N).Nkind = N_Accept_Statement);
3437       Set_Node1_With_Parent (N, Val);
3438    end Set_Entry_Direct_Name;
3439
3440    procedure Set_Entry_Index
3441       (N : Node_Id; Val : Node_Id) is
3442    begin
3443       pragma Assert (False
3444         or else NT (N).Nkind = N_Accept_Statement);
3445       Set_Node5_With_Parent (N, Val);
3446    end Set_Entry_Index;
3447
3448    procedure Set_Entry_Index_Specification
3449       (N : Node_Id; Val : Node_Id) is
3450    begin
3451       pragma Assert (False
3452         or else NT (N).Nkind = N_Entry_Body_Formal_Part);
3453       Set_Node4_With_Parent (N, Val);
3454    end Set_Entry_Index_Specification;
3455
3456    procedure Set_Etype
3457       (N : Node_Id; Val : Node_Id) is
3458    begin
3459       pragma Assert (False
3460         or else NT (N).Nkind in N_Has_Etype);
3461       Set_Node5 (N, Val); -- semantic field, no parent set
3462    end Set_Etype;
3463
3464    procedure Set_Exception_Choices
3465       (N : Node_Id; Val : List_Id) is
3466    begin
3467       pragma Assert (False
3468         or else NT (N).Nkind = N_Exception_Handler);
3469       Set_List4_With_Parent (N, Val);
3470    end Set_Exception_Choices;
3471
3472    procedure Set_Exception_Handlers
3473       (N : Node_Id; Val : List_Id) is
3474    begin
3475       pragma Assert (False
3476         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3477       Set_List5_With_Parent (N, Val);
3478    end Set_Exception_Handlers;
3479
3480    procedure Set_Exception_Junk
3481      (N : Node_Id; Val : Boolean := True) is
3482    begin
3483       pragma Assert (False
3484         or else NT (N).Nkind = N_Goto_Statement
3485         or else NT (N).Nkind = N_Label
3486         or else NT (N).Nkind = N_Object_Declaration
3487         or else NT (N).Nkind = N_Subtype_Declaration);
3488       Set_Flag11 (N, Val);
3489    end Set_Exception_Junk;
3490
3491    procedure Set_Expansion_Delayed
3492      (N : Node_Id; Val : Boolean := True) is
3493    begin
3494       pragma Assert (False
3495         or else NT (N).Nkind = N_Aggregate
3496         or else NT (N).Nkind = N_Extension_Aggregate);
3497       Set_Flag11 (N, Val);
3498    end Set_Expansion_Delayed;
3499
3500    procedure Set_Explicit_Actual_Parameter
3501       (N : Node_Id; Val : Node_Id) is
3502    begin
3503       pragma Assert (False
3504         or else NT (N).Nkind = N_Parameter_Association);
3505       Set_Node3_With_Parent (N, Val);
3506    end Set_Explicit_Actual_Parameter;
3507
3508    procedure Set_Explicit_Generic_Actual_Parameter
3509       (N : Node_Id; Val : Node_Id) is
3510    begin
3511       pragma Assert (False
3512         or else NT (N).Nkind = N_Generic_Association);
3513       Set_Node1_With_Parent (N, Val);
3514    end Set_Explicit_Generic_Actual_Parameter;
3515
3516    procedure Set_Expression
3517       (N : Node_Id; Val : Node_Id) is
3518    begin
3519       pragma Assert (False
3520         or else NT (N).Nkind = N_Allocator
3521         or else NT (N).Nkind = N_Assignment_Statement
3522         or else NT (N).Nkind = N_At_Clause
3523         or else NT (N).Nkind = N_Attribute_Definition_Clause
3524         or else NT (N).Nkind = N_Case_Statement
3525         or else NT (N).Nkind = N_Code_Statement
3526         or else NT (N).Nkind = N_Component_Association
3527         or else NT (N).Nkind = N_Component_Declaration
3528         or else NT (N).Nkind = N_Delay_Relative_Statement
3529         or else NT (N).Nkind = N_Delay_Until_Statement
3530         or else NT (N).Nkind = N_Discriminant_Association
3531         or else NT (N).Nkind = N_Discriminant_Specification
3532         or else NT (N).Nkind = N_Exception_Declaration
3533         or else NT (N).Nkind = N_Formal_Object_Declaration
3534         or else NT (N).Nkind = N_Free_Statement
3535         or else NT (N).Nkind = N_Mod_Clause
3536         or else NT (N).Nkind = N_Modular_Type_Definition
3537         or else NT (N).Nkind = N_Number_Declaration
3538         or else NT (N).Nkind = N_Object_Declaration
3539         or else NT (N).Nkind = N_Parameter_Specification
3540         or else NT (N).Nkind = N_Pragma_Argument_Association
3541         or else NT (N).Nkind = N_Qualified_Expression
3542         or else NT (N).Nkind = N_Return_Statement
3543         or else NT (N).Nkind = N_Type_Conversion
3544         or else NT (N).Nkind = N_Unchecked_Expression
3545         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
3546       Set_Node3_With_Parent (N, Val);
3547    end Set_Expression;
3548
3549    procedure Set_Expressions
3550       (N : Node_Id; Val : List_Id) is
3551    begin
3552       pragma Assert (False
3553         or else NT (N).Nkind = N_Aggregate
3554         or else NT (N).Nkind = N_Attribute_Reference
3555         or else NT (N).Nkind = N_Conditional_Expression
3556         or else NT (N).Nkind = N_Extension_Aggregate
3557         or else NT (N).Nkind = N_Indexed_Component);
3558       Set_List1_With_Parent (N, Val);
3559    end Set_Expressions;
3560
3561    procedure Set_First_Bit
3562       (N : Node_Id; Val : Node_Id) is
3563    begin
3564       pragma Assert (False
3565         or else NT (N).Nkind = N_Component_Clause);
3566       Set_Node3_With_Parent (N, Val);
3567    end Set_First_Bit;
3568
3569    procedure Set_First_Inlined_Subprogram
3570       (N : Node_Id; Val : Entity_Id) is
3571    begin
3572       pragma Assert (False
3573         or else NT (N).Nkind = N_Compilation_Unit);
3574       Set_Node3 (N, Val);  -- semantic field, no parent set
3575    end Set_First_Inlined_Subprogram;
3576
3577    procedure Set_First_Name
3578       (N : Node_Id; Val : Boolean := True) is
3579    begin
3580       pragma Assert (False
3581         or else NT (N).Nkind = N_With_Clause);
3582       Set_Flag5 (N, Val);
3583    end Set_First_Name;
3584
3585    procedure Set_First_Named_Actual
3586       (N : Node_Id; Val : Node_Id) is
3587    begin
3588       pragma Assert (False
3589         or else NT (N).Nkind = N_Entry_Call_Statement
3590         or else NT (N).Nkind = N_Function_Call
3591         or else NT (N).Nkind = N_Procedure_Call_Statement);
3592       Set_Node4 (N, Val); -- semantic field, no parent set
3593    end Set_First_Named_Actual;
3594
3595    procedure Set_First_Real_Statement
3596       (N : Node_Id; Val : Node_Id) is
3597    begin
3598       pragma Assert (False
3599         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3600       Set_Node2 (N, Val); -- semantic field, no parent set
3601    end Set_First_Real_Statement;
3602
3603    procedure Set_First_Subtype_Link
3604       (N : Node_Id; Val : Entity_Id) is
3605    begin
3606       pragma Assert (False
3607         or else NT (N).Nkind = N_Freeze_Entity);
3608       Set_Node5 (N, Val); -- semantic field, no parent set
3609    end Set_First_Subtype_Link;
3610
3611    procedure Set_Float_Truncate
3612       (N : Node_Id; Val : Boolean := True) is
3613    begin
3614       pragma Assert (False
3615         or else NT (N).Nkind = N_Type_Conversion);
3616       Set_Flag11 (N, Val);
3617    end Set_Float_Truncate;
3618
3619    procedure Set_Formal_Type_Definition
3620       (N : Node_Id; Val : Node_Id) is
3621    begin
3622       pragma Assert (False
3623         or else NT (N).Nkind = N_Formal_Type_Declaration);
3624       Set_Node3_With_Parent (N, Val);
3625    end Set_Formal_Type_Definition;
3626
3627    procedure Set_Forwards_OK
3628       (N : Node_Id; Val : Boolean := True) is
3629    begin
3630       pragma Assert (False
3631         or else NT (N).Nkind = N_Assignment_Statement);
3632       Set_Flag5 (N, Val);
3633    end Set_Forwards_OK;
3634
3635    procedure Set_From_At_Mod
3636       (N : Node_Id; Val : Boolean := True) is
3637    begin
3638       pragma Assert (False
3639         or else NT (N).Nkind = N_Attribute_Definition_Clause);
3640       Set_Flag4 (N, Val);
3641    end Set_From_At_Mod;
3642
3643    procedure Set_Generic_Associations
3644       (N : Node_Id; Val : List_Id) is
3645    begin
3646       pragma Assert (False
3647         or else NT (N).Nkind = N_Formal_Package_Declaration
3648         or else NT (N).Nkind = N_Function_Instantiation
3649         or else NT (N).Nkind = N_Package_Instantiation
3650         or else NT (N).Nkind = N_Procedure_Instantiation);
3651       Set_List3_With_Parent (N, Val);
3652    end Set_Generic_Associations;
3653
3654    procedure Set_Generic_Formal_Declarations
3655       (N : Node_Id; Val : List_Id) is
3656    begin
3657       pragma Assert (False
3658         or else NT (N).Nkind = N_Generic_Package_Declaration
3659         or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
3660       Set_List2_With_Parent (N, Val);
3661    end Set_Generic_Formal_Declarations;
3662
3663    procedure Set_Generic_Parent
3664       (N : Node_Id; Val : Node_Id) is
3665    begin
3666       pragma Assert (False
3667         or else NT (N).Nkind = N_Function_Specification
3668         or else NT (N).Nkind = N_Package_Specification
3669         or else NT (N).Nkind = N_Procedure_Specification);
3670       Set_Node5 (N, Val);
3671    end Set_Generic_Parent;
3672
3673    procedure Set_Generic_Parent_Type
3674       (N : Node_Id; Val : Node_Id) is
3675    begin
3676       pragma Assert (False
3677         or else NT (N).Nkind = N_Subtype_Declaration);
3678       Set_Node4 (N, Val);
3679    end Set_Generic_Parent_Type;
3680
3681    procedure Set_Handled_Statement_Sequence
3682       (N : Node_Id; Val : Node_Id) is
3683    begin
3684       pragma Assert (False
3685         or else NT (N).Nkind = N_Accept_Statement
3686         or else NT (N).Nkind = N_Block_Statement
3687         or else NT (N).Nkind = N_Entry_Body
3688         or else NT (N).Nkind = N_Package_Body
3689         or else NT (N).Nkind = N_Subprogram_Body
3690         or else NT (N).Nkind = N_Task_Body);
3691       Set_Node4_With_Parent (N, Val);
3692    end Set_Handled_Statement_Sequence;
3693
3694    procedure Set_Handler_List_Entry
3695       (N : Node_Id; Val : Node_Id) is
3696    begin
3697       pragma Assert (False
3698         or else NT (N).Nkind = N_Object_Declaration);
3699       Set_Node2 (N, Val);
3700    end Set_Handler_List_Entry;
3701
3702    procedure Set_Has_Created_Identifier
3703       (N : Node_Id; Val : Boolean := True) is
3704    begin
3705       pragma Assert (False
3706         or else NT (N).Nkind = N_Block_Statement
3707         or else NT (N).Nkind = N_Loop_Statement);
3708       Set_Flag15 (N, Val);
3709    end Set_Has_Created_Identifier;
3710
3711    procedure Set_Has_Dynamic_Length_Check
3712       (N : Node_Id; Val : Boolean := True) is
3713    begin
3714       Set_Flag10 (N, Val);
3715    end Set_Has_Dynamic_Length_Check;
3716
3717    procedure Set_Has_Dynamic_Range_Check
3718       (N : Node_Id; Val : Boolean := True) is
3719    begin
3720       Set_Flag12 (N, Val);
3721    end Set_Has_Dynamic_Range_Check;
3722
3723    procedure Set_Has_No_Elaboration_Code
3724       (N : Node_Id; Val : Boolean := True) is
3725    begin
3726       pragma Assert (False
3727         or else NT (N).Nkind = N_Compilation_Unit);
3728       Set_Flag17 (N, Val);
3729    end Set_Has_No_Elaboration_Code;
3730
3731    procedure Set_Has_Priority_Pragma
3732       (N : Node_Id; Val : Boolean := True) is
3733    begin
3734       pragma Assert (False
3735         or else NT (N).Nkind = N_Protected_Definition
3736         or else NT (N).Nkind = N_Subprogram_Body
3737         or else NT (N).Nkind = N_Task_Definition);
3738       Set_Flag6 (N, Val);
3739    end Set_Has_Priority_Pragma;
3740
3741    procedure Set_Has_Private_View
3742       (N : Node_Id; Val : Boolean := True) is
3743    begin
3744       pragma Assert (False
3745        or else NT (N).Nkind in N_Op
3746        or else NT (N).Nkind = N_Character_Literal
3747        or else NT (N).Nkind = N_Expanded_Name
3748        or else NT (N).Nkind = N_Identifier
3749        or else NT (N).Nkind = N_Operator_Symbol);
3750       Set_Flag11 (N, Val);
3751    end Set_Has_Private_View;
3752
3753    procedure Set_Has_Storage_Size_Pragma
3754       (N : Node_Id; Val : Boolean := True) is
3755    begin
3756       pragma Assert (False
3757         or else NT (N).Nkind = N_Task_Definition);
3758       Set_Flag5 (N, Val);
3759    end Set_Has_Storage_Size_Pragma;
3760
3761    procedure Set_Has_Task_Info_Pragma
3762       (N : Node_Id; Val : Boolean := True) is
3763    begin
3764       pragma Assert (False
3765         or else NT (N).Nkind = N_Task_Definition);
3766       Set_Flag7 (N, Val);
3767    end Set_Has_Task_Info_Pragma;
3768
3769    procedure Set_Has_Task_Name_Pragma
3770       (N : Node_Id; Val : Boolean := True) is
3771    begin
3772       pragma Assert (False
3773         or else NT (N).Nkind = N_Task_Definition);
3774       Set_Flag8 (N, Val);
3775    end Set_Has_Task_Name_Pragma;
3776
3777    procedure Set_Has_Wide_Character
3778       (N : Node_Id; Val : Boolean := True) is
3779    begin
3780       pragma Assert (False
3781         or else NT (N).Nkind = N_String_Literal);
3782       Set_Flag11 (N, Val);
3783    end Set_Has_Wide_Character;
3784
3785    procedure Set_Hidden_By_Use_Clause
3786      (N : Node_Id; Val : Elist_Id) is
3787    begin
3788       pragma Assert (False
3789         or else NT (N).Nkind = N_Use_Package_Clause
3790         or else NT (N).Nkind = N_Use_Type_Clause);
3791       Set_Elist4 (N, Val);
3792    end Set_Hidden_By_Use_Clause;
3793
3794    procedure Set_High_Bound
3795       (N : Node_Id; Val : Node_Id) is
3796    begin
3797       pragma Assert (False
3798         or else NT (N).Nkind = N_Range
3799         or else NT (N).Nkind = N_Real_Range_Specification
3800         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
3801       Set_Node2_With_Parent (N, Val);
3802    end Set_High_Bound;
3803
3804    procedure Set_Identifier
3805       (N : Node_Id; Val : Node_Id) is
3806    begin
3807       pragma Assert (False
3808         or else NT (N).Nkind = N_At_Clause
3809         or else NT (N).Nkind = N_Block_Statement
3810         or else NT (N).Nkind = N_Designator
3811         or else NT (N).Nkind = N_Enumeration_Representation_Clause
3812         or else NT (N).Nkind = N_Label
3813         or else NT (N).Nkind = N_Loop_Statement
3814         or else NT (N).Nkind = N_Record_Representation_Clause
3815         or else NT (N).Nkind = N_Subprogram_Info);
3816       Set_Node1_With_Parent (N, Val);
3817    end Set_Identifier;
3818
3819    procedure Set_Implicit_With
3820       (N : Node_Id; Val : Boolean := True) is
3821    begin
3822       pragma Assert (False
3823         or else NT (N).Nkind = N_With_Clause);
3824       Set_Flag16 (N, Val);
3825    end Set_Implicit_With;
3826
3827    procedure Set_In_Present
3828       (N : Node_Id; Val : Boolean := True) is
3829    begin
3830       pragma Assert (False
3831         or else NT (N).Nkind = N_Formal_Object_Declaration
3832         or else NT (N).Nkind = N_Parameter_Specification);
3833       Set_Flag15 (N, Val);
3834    end Set_In_Present;
3835
3836    procedure Set_Includes_Infinities
3837       (N : Node_Id; Val : Boolean := True) is
3838    begin
3839       pragma Assert (False
3840         or else NT (N).Nkind = N_Range);
3841       Set_Flag11 (N, Val);
3842    end Set_Includes_Infinities;
3843
3844    procedure Set_Instance_Spec
3845       (N : Node_Id; Val : Node_Id) is
3846    begin
3847       pragma Assert (False
3848         or else NT (N).Nkind = N_Formal_Package_Declaration
3849         or else NT (N).Nkind = N_Function_Instantiation
3850         or else NT (N).Nkind = N_Package_Instantiation
3851         or else NT (N).Nkind = N_Procedure_Instantiation);
3852       Set_Node5 (N, Val); -- semantic field, no Parent set
3853    end Set_Instance_Spec;
3854
3855    procedure Set_Intval
3856       (N : Node_Id; Val : Uint) is
3857    begin
3858       pragma Assert (False
3859         or else NT (N).Nkind = N_Integer_Literal);
3860       Set_Uint3 (N, Val);
3861    end Set_Intval;
3862
3863    procedure Set_Is_Asynchronous_Call_Block
3864       (N : Node_Id; Val : Boolean := True) is
3865    begin
3866       pragma Assert (False
3867         or else NT (N).Nkind = N_Block_Statement);
3868       Set_Flag7 (N, Val);
3869    end Set_Is_Asynchronous_Call_Block;
3870
3871    procedure Set_Is_Component_Left_Opnd
3872       (N : Node_Id; Val : Boolean := True) is
3873    begin
3874       pragma Assert (False
3875         or else NT (N).Nkind = N_Op_Concat);
3876       Set_Flag13 (N, Val);
3877    end Set_Is_Component_Left_Opnd;
3878
3879    procedure Set_Is_Component_Right_Opnd
3880       (N : Node_Id; Val : Boolean := True) is
3881    begin
3882       pragma Assert (False
3883         or else NT (N).Nkind = N_Op_Concat);
3884       Set_Flag14 (N, Val);
3885    end Set_Is_Component_Right_Opnd;
3886
3887    procedure Set_Is_Controlling_Actual
3888       (N : Node_Id; Val : Boolean := True) is
3889    begin
3890       pragma Assert (False
3891         or else NT (N).Nkind in N_Subexpr);
3892       Set_Flag16 (N, Val);
3893    end Set_Is_Controlling_Actual;
3894
3895    procedure Set_Is_In_Discriminant_Check
3896       (N : Node_Id; Val : Boolean := True) is
3897    begin
3898       pragma Assert (False
3899         or else NT (N).Nkind = N_Selected_Component);
3900       Set_Flag11 (N, Val);
3901    end Set_Is_In_Discriminant_Check;
3902
3903    procedure Set_Is_Machine_Number
3904       (N : Node_Id; Val : Boolean := True) is
3905    begin
3906       pragma Assert (False
3907         or else NT (N).Nkind = N_Real_Literal);
3908       Set_Flag11 (N, Val);
3909    end Set_Is_Machine_Number;
3910
3911    procedure Set_Is_Null_Loop
3912       (N : Node_Id; Val : Boolean := True) is
3913    begin
3914       pragma Assert (False
3915         or else NT (N).Nkind = N_Loop_Statement);
3916       Set_Flag16 (N, Val);
3917    end Set_Is_Null_Loop;
3918
3919    procedure Set_Is_Overloaded
3920       (N : Node_Id; Val : Boolean := True) is
3921    begin
3922       pragma Assert (False
3923         or else NT (N).Nkind in N_Subexpr);
3924       Set_Flag5 (N, Val);
3925    end Set_Is_Overloaded;
3926
3927    procedure Set_Is_Power_Of_2_For_Shift
3928       (N : Node_Id; Val : Boolean := True) is
3929    begin
3930       pragma Assert (False
3931         or else NT (N).Nkind = N_Op_Expon);
3932       Set_Flag13 (N, Val);
3933    end Set_Is_Power_Of_2_For_Shift;
3934
3935    procedure Set_Is_Protected_Subprogram_Body
3936       (N : Node_Id; Val : Boolean := True) is
3937    begin
3938       pragma Assert (False
3939         or else NT (N).Nkind = N_Subprogram_Body);
3940       Set_Flag7 (N, Val);
3941    end Set_Is_Protected_Subprogram_Body;
3942
3943    procedure Set_Is_Static_Expression
3944       (N : Node_Id; Val : Boolean := True) is
3945    begin
3946       pragma Assert (False
3947         or else NT (N).Nkind in N_Subexpr);
3948       Set_Flag6 (N, Val);
3949    end Set_Is_Static_Expression;
3950
3951    procedure Set_Is_Subprogram_Descriptor
3952       (N : Node_Id; Val : Boolean := True) is
3953    begin
3954       pragma Assert (False
3955         or else NT (N).Nkind = N_Object_Declaration);
3956       Set_Flag16 (N, Val);
3957    end Set_Is_Subprogram_Descriptor;
3958
3959    procedure Set_Is_Task_Allocation_Block
3960       (N : Node_Id; Val : Boolean := True) is
3961    begin
3962       pragma Assert (False
3963         or else NT (N).Nkind = N_Block_Statement);
3964       Set_Flag6 (N, Val);
3965    end Set_Is_Task_Allocation_Block;
3966
3967    procedure Set_Is_Task_Master
3968       (N : Node_Id; Val : Boolean := True) is
3969    begin
3970       pragma Assert (False
3971         or else NT (N).Nkind = N_Block_Statement
3972         or else NT (N).Nkind = N_Subprogram_Body
3973         or else NT (N).Nkind = N_Task_Body);
3974       Set_Flag5 (N, Val);
3975    end Set_Is_Task_Master;
3976
3977    procedure Set_Iteration_Scheme
3978       (N : Node_Id; Val : Node_Id) is
3979    begin
3980       pragma Assert (False
3981         or else NT (N).Nkind = N_Loop_Statement);
3982       Set_Node2_With_Parent (N, Val);
3983    end Set_Iteration_Scheme;
3984
3985    procedure Set_Itype
3986       (N : Node_Id; Val : Entity_Id) is
3987    begin
3988       pragma Assert (False
3989       or else NT (N).Nkind = N_Itype_Reference);
3990       Set_Node1 (N, Val); -- no parent, semantic field
3991    end Set_Itype;
3992
3993    procedure Set_Kill_Range_Check
3994       (N : Node_Id; Val : Boolean := True) is
3995    begin
3996       pragma Assert (False
3997         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
3998       Set_Flag11 (N, Val);
3999    end Set_Kill_Range_Check;
4000
4001    procedure Set_Label_Construct
4002       (N : Node_Id; Val : Node_Id) is
4003    begin
4004       pragma Assert (False
4005         or else NT (N).Nkind = N_Implicit_Label_Declaration);
4006       Set_Node2 (N, Val); -- semantic field, no parent set
4007    end Set_Label_Construct;
4008
4009    procedure Set_Last_Bit
4010       (N : Node_Id; Val : Node_Id) is
4011    begin
4012       pragma Assert (False
4013         or else NT (N).Nkind = N_Component_Clause);
4014       Set_Node4_With_Parent (N, Val);
4015    end Set_Last_Bit;
4016
4017    procedure Set_Last_Name
4018       (N : Node_Id; Val : Boolean := True) is
4019    begin
4020       pragma Assert (False
4021         or else NT (N).Nkind = N_With_Clause);
4022       Set_Flag6 (N, Val);
4023    end Set_Last_Name;
4024
4025    procedure Set_Left_Opnd
4026       (N : Node_Id; Val : Node_Id) is
4027    begin
4028       pragma Assert (False
4029         or else NT (N).Nkind = N_And_Then
4030         or else NT (N).Nkind = N_In
4031         or else NT (N).Nkind = N_Not_In
4032         or else NT (N).Nkind = N_Or_Else
4033         or else NT (N).Nkind in N_Binary_Op);
4034       Set_Node2_With_Parent (N, Val);
4035    end Set_Left_Opnd;
4036
4037    procedure Set_Library_Unit
4038       (N : Node_Id; Val : Node_Id) is
4039    begin
4040       pragma Assert (False
4041         or else NT (N).Nkind = N_Compilation_Unit
4042         or else NT (N).Nkind = N_Package_Body_Stub
4043         or else NT (N).Nkind = N_Protected_Body_Stub
4044         or else NT (N).Nkind = N_Subprogram_Body_Stub
4045         or else NT (N).Nkind = N_Task_Body_Stub
4046         or else NT (N).Nkind = N_With_Clause);
4047       Set_Node4 (N, Val); -- semantic field, no parent set
4048    end Set_Library_Unit;
4049
4050    procedure Set_Limited_View_Installed
4051       (N : Node_Id; Val : Boolean := True) is
4052    begin
4053       pragma Assert (False
4054         or else NT (N).Nkind = N_Package_Specification
4055         or else NT (N).Nkind = N_With_Clause);
4056       Set_Flag18 (N, Val);
4057    end Set_Limited_View_Installed;
4058
4059    procedure Set_Limited_Present
4060       (N : Node_Id; Val : Boolean := True) is
4061    begin
4062       pragma Assert (False
4063         or else NT (N).Nkind = N_Formal_Private_Type_Definition
4064         or else NT (N).Nkind = N_Private_Type_Declaration
4065         or else NT (N).Nkind = N_Record_Definition
4066         or else NT (N).Nkind = N_With_Clause);
4067       Set_Flag17 (N, Val);
4068    end Set_Limited_Present;
4069
4070    procedure Set_Literals
4071       (N : Node_Id; Val : List_Id) is
4072    begin
4073       pragma Assert (False
4074         or else NT (N).Nkind = N_Enumeration_Type_Definition);
4075       Set_List1_With_Parent (N, Val);
4076    end Set_Literals;
4077
4078    procedure Set_Loop_Actions
4079       (N : Node_Id; Val : List_Id) is
4080    begin
4081       pragma Assert (False
4082         or else NT (N).Nkind = N_Component_Association);
4083       Set_List2 (N, Val); -- semantic field, no parent set
4084    end Set_Loop_Actions;
4085
4086    procedure Set_Loop_Parameter_Specification
4087       (N : Node_Id; Val : Node_Id) is
4088    begin
4089       pragma Assert (False
4090         or else NT (N).Nkind = N_Iteration_Scheme);
4091       Set_Node4_With_Parent (N, Val);
4092    end Set_Loop_Parameter_Specification;
4093
4094    procedure Set_Low_Bound
4095       (N : Node_Id; Val : Node_Id) is
4096    begin
4097       pragma Assert (False
4098         or else NT (N).Nkind = N_Range
4099         or else NT (N).Nkind = N_Real_Range_Specification
4100         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4101       Set_Node1_With_Parent (N, Val);
4102    end Set_Low_Bound;
4103
4104    procedure Set_Mod_Clause
4105       (N : Node_Id; Val : Node_Id) is
4106    begin
4107       pragma Assert (False
4108         or else NT (N).Nkind = N_Record_Representation_Clause);
4109       Set_Node2_With_Parent (N, Val);
4110    end Set_Mod_Clause;
4111
4112    procedure Set_More_Ids
4113       (N : Node_Id; Val : Boolean := True) is
4114    begin
4115       pragma Assert (False
4116         or else NT (N).Nkind = N_Component_Declaration
4117         or else NT (N).Nkind = N_Discriminant_Specification
4118         or else NT (N).Nkind = N_Exception_Declaration
4119         or else NT (N).Nkind = N_Formal_Object_Declaration
4120         or else NT (N).Nkind = N_Number_Declaration
4121         or else NT (N).Nkind = N_Object_Declaration
4122         or else NT (N).Nkind = N_Parameter_Specification);
4123       Set_Flag5 (N, Val);
4124    end Set_More_Ids;
4125
4126    procedure Set_Must_Be_Byte_Aligned
4127       (N : Node_Id; Val : Boolean := True) is
4128    begin
4129       pragma Assert (False
4130         or else NT (N).Nkind = N_Attribute_Reference);
4131       Set_Flag14 (N, Val);
4132    end Set_Must_Be_Byte_Aligned;
4133
4134    procedure Set_Must_Not_Freeze
4135       (N : Node_Id; Val : Boolean := True) is
4136    begin
4137       pragma Assert (False
4138         or else NT (N).Nkind = N_Subtype_Indication
4139         or else NT (N).Nkind in N_Subexpr);
4140       Set_Flag8 (N, Val);
4141    end Set_Must_Not_Freeze;
4142
4143    procedure Set_Name
4144       (N : Node_Id; Val : Node_Id) is
4145    begin
4146       pragma Assert (False
4147         or else NT (N).Nkind = N_Assignment_Statement
4148         or else NT (N).Nkind = N_Attribute_Definition_Clause
4149         or else NT (N).Nkind = N_Defining_Program_Unit_Name
4150         or else NT (N).Nkind = N_Designator
4151         or else NT (N).Nkind = N_Entry_Call_Statement
4152         or else NT (N).Nkind = N_Exception_Renaming_Declaration
4153         or else NT (N).Nkind = N_Exit_Statement
4154         or else NT (N).Nkind = N_Formal_Package_Declaration
4155         or else NT (N).Nkind = N_Function_Call
4156         or else NT (N).Nkind = N_Function_Instantiation
4157         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4158         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4159         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4160         or else NT (N).Nkind = N_Goto_Statement
4161         or else NT (N).Nkind = N_Object_Renaming_Declaration
4162         or else NT (N).Nkind = N_Package_Instantiation
4163         or else NT (N).Nkind = N_Package_Renaming_Declaration
4164         or else NT (N).Nkind = N_Procedure_Call_Statement
4165         or else NT (N).Nkind = N_Procedure_Instantiation
4166         or else NT (N).Nkind = N_Raise_Statement
4167         or else NT (N).Nkind = N_Requeue_Statement
4168         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
4169         or else NT (N).Nkind = N_Subunit
4170         or else NT (N).Nkind = N_Variant_Part
4171         or else NT (N).Nkind = N_With_Clause
4172         or else NT (N).Nkind = N_With_Type_Clause);
4173       Set_Node2_With_Parent (N, Val);
4174    end Set_Name;
4175
4176    procedure Set_Names
4177       (N : Node_Id; Val : List_Id) is
4178    begin
4179       pragma Assert (False
4180         or else NT (N).Nkind = N_Abort_Statement
4181         or else NT (N).Nkind = N_Use_Package_Clause);
4182       Set_List2_With_Parent (N, Val);
4183    end Set_Names;
4184
4185    procedure Set_Next_Entity
4186       (N : Node_Id; Val : Node_Id) is
4187    begin
4188       pragma Assert (False
4189         or else NT (N).Nkind = N_Defining_Character_Literal
4190         or else NT (N).Nkind = N_Defining_Identifier
4191         or else NT (N).Nkind = N_Defining_Operator_Symbol);
4192       Set_Node2 (N, Val); -- semantic field, no parent set
4193    end Set_Next_Entity;
4194
4195    procedure Set_Next_Named_Actual
4196       (N : Node_Id; Val : Node_Id) is
4197    begin
4198       pragma Assert (False
4199         or else NT (N).Nkind = N_Parameter_Association);
4200       Set_Node4 (N, Val); -- semantic field, no parent set
4201    end Set_Next_Named_Actual;
4202
4203    procedure Set_Next_Rep_Item
4204       (N : Node_Id; Val : Node_Id) is
4205    begin
4206       pragma Assert (False
4207         or else NT (N).Nkind = N_Attribute_Definition_Clause
4208         or else NT (N).Nkind = N_Enumeration_Representation_Clause
4209         or else NT (N).Nkind = N_Pragma
4210         or else NT (N).Nkind = N_Record_Representation_Clause);
4211       Set_Node4 (N, Val); -- semantic field, no parent set
4212    end Set_Next_Rep_Item;
4213
4214    procedure Set_Next_Use_Clause
4215       (N : Node_Id; Val : Node_Id) is
4216    begin
4217       pragma Assert (False
4218         or else NT (N).Nkind = N_Use_Package_Clause
4219         or else NT (N).Nkind = N_Use_Type_Clause);
4220       Set_Node3 (N, Val); -- semantic field, no parent set
4221    end Set_Next_Use_Clause;
4222
4223    procedure Set_No_Ctrl_Actions
4224       (N : Node_Id; Val : Boolean := True) is
4225    begin
4226       pragma Assert (False
4227         or else NT (N).Nkind = N_Assignment_Statement);
4228       Set_Flag7 (N, Val);
4229    end Set_No_Ctrl_Actions;
4230
4231    procedure Set_No_Elaboration_Check
4232       (N : Node_Id; Val : Boolean := True) is
4233    begin
4234       pragma Assert (False
4235         or else NT (N).Nkind = N_Function_Call
4236         or else NT (N).Nkind = N_Procedure_Call_Statement);
4237       Set_Flag14 (N, Val);
4238    end Set_No_Elaboration_Check;
4239
4240    procedure Set_No_Entities_Ref_In_Spec
4241       (N : Node_Id; Val : Boolean := True) is
4242    begin
4243       pragma Assert (False
4244         or else NT (N).Nkind = N_With_Clause);
4245       Set_Flag8 (N, Val);
4246    end Set_No_Entities_Ref_In_Spec;
4247
4248    procedure Set_No_Initialization
4249       (N : Node_Id; Val : Boolean := True) is
4250    begin
4251       pragma Assert (False
4252         or else NT (N).Nkind = N_Allocator
4253         or else NT (N).Nkind = N_Object_Declaration);
4254       Set_Flag13 (N, Val);
4255    end Set_No_Initialization;
4256
4257    procedure Set_No_Truncation
4258       (N : Node_Id; Val : Boolean := True) is
4259    begin
4260       pragma Assert (False
4261         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4262       Set_Flag17 (N, Val);
4263    end Set_No_Truncation;
4264
4265    procedure Set_Null_Present
4266       (N : Node_Id; Val : Boolean := True) is
4267    begin
4268       pragma Assert (False
4269         or else NT (N).Nkind = N_Component_List
4270         or else NT (N).Nkind = N_Record_Definition);
4271       Set_Flag13 (N, Val);
4272    end Set_Null_Present;
4273
4274    procedure Set_Null_Record_Present
4275       (N : Node_Id; Val : Boolean := True) is
4276    begin
4277       pragma Assert (False
4278         or else NT (N).Nkind = N_Aggregate
4279         or else NT (N).Nkind = N_Extension_Aggregate);
4280       Set_Flag17 (N, Val);
4281    end Set_Null_Record_Present;
4282
4283    procedure Set_Object_Definition
4284       (N : Node_Id; Val : Node_Id) is
4285    begin
4286       pragma Assert (False
4287         or else NT (N).Nkind = N_Object_Declaration);
4288       Set_Node4_With_Parent (N, Val);
4289    end Set_Object_Definition;
4290
4291    procedure Set_OK_For_Stream
4292       (N : Node_Id; Val : Boolean := True) is
4293    begin
4294       pragma Assert (False
4295         or else NT (N).Nkind = N_Attribute_Reference);
4296       Set_Flag4 (N, Val);
4297    end Set_OK_For_Stream;
4298
4299    procedure Set_Original_Discriminant
4300       (N : Node_Id; Val : Node_Id) is
4301    begin
4302       pragma Assert (False
4303         or else NT (N).Nkind = N_Identifier);
4304       Set_Node2 (N, Val); -- semantic field, no parent set
4305    end Set_Original_Discriminant;
4306
4307    procedure Set_Original_Entity
4308       (N : Node_Id; Val : Entity_Id) is
4309    begin
4310       pragma Assert (False
4311         or else NT (N).Nkind = N_Integer_Literal
4312         or else NT (N).Nkind = N_Real_Literal);
4313       Set_Node2 (N, Val); --  semantic field, no parent set
4314    end Set_Original_Entity;
4315
4316    procedure Set_Others_Discrete_Choices
4317       (N : Node_Id; Val : List_Id) is
4318    begin
4319       pragma Assert (False
4320         or else NT (N).Nkind = N_Others_Choice);
4321       Set_List1_With_Parent (N, Val);
4322    end Set_Others_Discrete_Choices;
4323
4324    procedure Set_Out_Present
4325       (N : Node_Id; Val : Boolean := True) is
4326    begin
4327       pragma Assert (False
4328         or else NT (N).Nkind = N_Formal_Object_Declaration
4329         or else NT (N).Nkind = N_Parameter_Specification);
4330       Set_Flag17 (N, Val);
4331    end Set_Out_Present;
4332
4333    procedure Set_Parameter_Associations
4334       (N : Node_Id; Val : List_Id) is
4335    begin
4336       pragma Assert (False
4337         or else NT (N).Nkind = N_Entry_Call_Statement
4338         or else NT (N).Nkind = N_Function_Call
4339         or else NT (N).Nkind = N_Procedure_Call_Statement);
4340       Set_List3_With_Parent (N, Val);
4341    end Set_Parameter_Associations;
4342
4343    procedure Set_Parameter_List_Truncated
4344       (N : Node_Id; Val : Boolean := True) is
4345    begin
4346       pragma Assert (False
4347         or else NT (N).Nkind = N_Function_Call
4348         or else NT (N).Nkind = N_Procedure_Call_Statement);
4349       Set_Flag17 (N, Val);
4350    end Set_Parameter_List_Truncated;
4351
4352    procedure Set_Parameter_Specifications
4353       (N : Node_Id; Val : List_Id) is
4354    begin
4355       pragma Assert (False
4356         or else NT (N).Nkind = N_Accept_Statement
4357         or else NT (N).Nkind = N_Access_Function_Definition
4358         or else NT (N).Nkind = N_Access_Procedure_Definition
4359         or else NT (N).Nkind = N_Entry_Body_Formal_Part
4360         or else NT (N).Nkind = N_Entry_Declaration
4361         or else NT (N).Nkind = N_Function_Specification
4362         or else NT (N).Nkind = N_Procedure_Specification);
4363       Set_List3_With_Parent (N, Val);
4364    end Set_Parameter_Specifications;
4365
4366    procedure Set_Parameter_Type
4367       (N : Node_Id; Val : Node_Id) is
4368    begin
4369       pragma Assert (False
4370         or else NT (N).Nkind = N_Parameter_Specification);
4371       Set_Node2_With_Parent (N, Val);
4372    end Set_Parameter_Type;
4373
4374    procedure Set_Parent_Spec
4375       (N : Node_Id; Val : Node_Id) is
4376    begin
4377       pragma Assert (False
4378         or else NT (N).Nkind = N_Function_Instantiation
4379         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4380         or else NT (N).Nkind = N_Generic_Package_Declaration
4381         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4382         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4383         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
4384         or else NT (N).Nkind = N_Package_Declaration
4385         or else NT (N).Nkind = N_Package_Instantiation
4386         or else NT (N).Nkind = N_Package_Renaming_Declaration
4387         or else NT (N).Nkind = N_Procedure_Instantiation
4388         or else NT (N).Nkind = N_Subprogram_Declaration
4389         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4390       Set_Node4 (N, Val); -- semantic field, no parent set
4391    end Set_Parent_Spec;
4392
4393    procedure Set_Position
4394       (N : Node_Id; Val : Node_Id) is
4395    begin
4396       pragma Assert (False
4397         or else NT (N).Nkind = N_Component_Clause);
4398       Set_Node2_With_Parent (N, Val);
4399    end Set_Position;
4400
4401    procedure Set_Pragma_Argument_Associations
4402       (N : Node_Id; Val : List_Id) is
4403    begin
4404       pragma Assert (False
4405         or else NT (N).Nkind = N_Pragma);
4406       Set_List2_With_Parent (N, Val);
4407    end Set_Pragma_Argument_Associations;
4408
4409    procedure Set_Pragmas_After
4410       (N : Node_Id; Val : List_Id) is
4411    begin
4412       pragma Assert (False
4413         or else NT (N).Nkind = N_Compilation_Unit_Aux
4414         or else NT (N).Nkind = N_Terminate_Alternative);
4415       Set_List5_With_Parent (N, Val);
4416    end Set_Pragmas_After;
4417
4418    procedure Set_Pragmas_Before
4419       (N : Node_Id; Val : List_Id) is
4420    begin
4421       pragma Assert (False
4422         or else NT (N).Nkind = N_Accept_Alternative
4423         or else NT (N).Nkind = N_Delay_Alternative
4424         or else NT (N).Nkind = N_Entry_Call_Alternative
4425         or else NT (N).Nkind = N_Mod_Clause
4426         or else NT (N).Nkind = N_Terminate_Alternative
4427         or else NT (N).Nkind = N_Triggering_Alternative);
4428       Set_List4_With_Parent (N, Val);
4429    end Set_Pragmas_Before;
4430
4431    procedure Set_Prefix
4432       (N : Node_Id; Val : Node_Id) is
4433    begin
4434       pragma Assert (False
4435         or else NT (N).Nkind = N_Attribute_Reference
4436         or else NT (N).Nkind = N_Expanded_Name
4437         or else NT (N).Nkind = N_Explicit_Dereference
4438         or else NT (N).Nkind = N_Indexed_Component
4439         or else NT (N).Nkind = N_Reference
4440         or else NT (N).Nkind = N_Selected_Component
4441         or else NT (N).Nkind = N_Slice);
4442       Set_Node3_With_Parent (N, Val);
4443    end Set_Prefix;
4444
4445    procedure Set_Present_Expr
4446       (N : Node_Id; Val : Uint) is
4447    begin
4448       pragma Assert (False
4449         or else NT (N).Nkind = N_Variant);
4450       Set_Uint3 (N, Val);
4451    end Set_Present_Expr;
4452
4453    procedure Set_Prev_Ids
4454       (N : Node_Id; Val : Boolean := True) is
4455    begin
4456       pragma Assert (False
4457         or else NT (N).Nkind = N_Component_Declaration
4458         or else NT (N).Nkind = N_Discriminant_Specification
4459         or else NT (N).Nkind = N_Exception_Declaration
4460         or else NT (N).Nkind = N_Formal_Object_Declaration
4461         or else NT (N).Nkind = N_Number_Declaration
4462         or else NT (N).Nkind = N_Object_Declaration
4463         or else NT (N).Nkind = N_Parameter_Specification);
4464       Set_Flag6 (N, Val);
4465    end Set_Prev_Ids;
4466
4467    procedure Set_Print_In_Hex
4468       (N : Node_Id; Val : Boolean := True) is
4469    begin
4470       pragma Assert (False
4471         or else NT (N).Nkind = N_Integer_Literal);
4472       Set_Flag13 (N, Val);
4473    end Set_Print_In_Hex;
4474
4475    procedure Set_Private_Declarations
4476       (N : Node_Id; Val : List_Id) is
4477    begin
4478       pragma Assert (False
4479         or else NT (N).Nkind = N_Package_Specification
4480         or else NT (N).Nkind = N_Protected_Definition
4481         or else NT (N).Nkind = N_Task_Definition);
4482       Set_List3_With_Parent (N, Val);
4483    end Set_Private_Declarations;
4484
4485    procedure Set_Private_Present
4486       (N : Node_Id; Val : Boolean := True) is
4487    begin
4488       pragma Assert (False
4489         or else NT (N).Nkind = N_Compilation_Unit
4490         or else NT (N).Nkind = N_Formal_Derived_Type_Definition);
4491       Set_Flag15 (N, Val);
4492    end Set_Private_Present;
4493
4494    procedure Set_Procedure_To_Call
4495       (N : Node_Id; Val : Node_Id) is
4496    begin
4497       pragma Assert (False
4498         or else NT (N).Nkind = N_Allocator
4499         or else NT (N).Nkind = N_Free_Statement
4500         or else NT (N).Nkind = N_Return_Statement);
4501       Set_Node4 (N, Val); -- semantic field, no parent set
4502    end Set_Procedure_To_Call;
4503
4504    procedure Set_Proper_Body
4505       (N : Node_Id; Val : Node_Id) is
4506    begin
4507       pragma Assert (False
4508         or else NT (N).Nkind = N_Subunit);
4509       Set_Node1_With_Parent (N, Val);
4510    end Set_Proper_Body;
4511
4512    procedure Set_Protected_Definition
4513       (N : Node_Id; Val : Node_Id) is
4514    begin
4515       pragma Assert (False
4516         or else NT (N).Nkind = N_Protected_Type_Declaration
4517         or else NT (N).Nkind = N_Single_Protected_Declaration);
4518       Set_Node3_With_Parent (N, Val);
4519    end Set_Protected_Definition;
4520
4521    procedure Set_Protected_Present
4522       (N : Node_Id; Val : Boolean := True) is
4523    begin
4524       pragma Assert (False
4525         or else NT (N).Nkind = N_Access_Function_Definition
4526         or else NT (N).Nkind = N_Access_Procedure_Definition);
4527       Set_Flag15 (N, Val);
4528    end Set_Protected_Present;
4529
4530    procedure Set_Raises_Constraint_Error
4531       (N : Node_Id; Val : Boolean := True) is
4532    begin
4533       pragma Assert (False
4534         or else NT (N).Nkind in N_Subexpr);
4535       Set_Flag7 (N, Val);
4536    end Set_Raises_Constraint_Error;
4537
4538    procedure Set_Range_Constraint
4539       (N : Node_Id; Val : Node_Id) is
4540    begin
4541       pragma Assert (False
4542         or else NT (N).Nkind = N_Delta_Constraint
4543         or else NT (N).Nkind = N_Digits_Constraint);
4544       Set_Node4_With_Parent (N, Val);
4545    end Set_Range_Constraint;
4546
4547    procedure Set_Range_Expression
4548       (N : Node_Id; Val : Node_Id) is
4549    begin
4550       pragma Assert (False
4551         or else NT (N).Nkind = N_Range_Constraint);
4552       Set_Node4_With_Parent (N, Val);
4553    end Set_Range_Expression;
4554
4555    procedure Set_Real_Range_Specification
4556       (N : Node_Id; Val : Node_Id) is
4557    begin
4558       pragma Assert (False
4559         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4560         or else NT (N).Nkind = N_Floating_Point_Definition
4561         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
4562       Set_Node4_With_Parent (N, Val);
4563    end Set_Real_Range_Specification;
4564
4565    procedure Set_Realval
4566      (N : Node_Id; Val : Ureal) is
4567    begin
4568       pragma Assert (False
4569         or else NT (N).Nkind = N_Real_Literal);
4570       Set_Ureal3 (N, Val);
4571    end Set_Realval;
4572
4573    procedure Set_Reason
4574       (N : Node_Id; Val : Uint) is
4575    begin
4576       pragma Assert (False
4577         or else NT (N).Nkind = N_Raise_Constraint_Error
4578         or else NT (N).Nkind = N_Raise_Program_Error
4579         or else NT (N).Nkind = N_Raise_Storage_Error);
4580       Set_Uint3 (N, Val);
4581    end Set_Reason;
4582
4583    procedure Set_Record_Extension_Part
4584       (N : Node_Id; Val : Node_Id) is
4585    begin
4586       pragma Assert (False
4587         or else NT (N).Nkind = N_Derived_Type_Definition);
4588       Set_Node3_With_Parent (N, Val);
4589    end Set_Record_Extension_Part;
4590
4591    procedure Set_Redundant_Use
4592       (N : Node_Id; Val : Boolean := True) is
4593    begin
4594       pragma Assert (False
4595         or else NT (N).Nkind = N_Attribute_Reference
4596         or else NT (N).Nkind = N_Expanded_Name
4597         or else NT (N).Nkind = N_Identifier);
4598       Set_Flag13 (N, Val);
4599    end Set_Redundant_Use;
4600
4601    procedure Set_Return_Type
4602       (N : Node_Id; Val : Node_Id) is
4603    begin
4604       pragma Assert (False
4605         or else NT (N).Nkind = N_Return_Statement);
4606       Set_Node2 (N, Val); -- semantic field, no parent set
4607    end Set_Return_Type;
4608
4609    procedure Set_Reverse_Present
4610       (N : Node_Id; Val : Boolean := True) is
4611    begin
4612       pragma Assert (False
4613         or else NT (N).Nkind = N_Loop_Parameter_Specification);
4614       Set_Flag15 (N, Val);
4615    end Set_Reverse_Present;
4616
4617    procedure Set_Right_Opnd
4618       (N : Node_Id; Val : Node_Id) is
4619    begin
4620       pragma Assert (False
4621         or else NT (N).Nkind in N_Op
4622         or else NT (N).Nkind = N_And_Then
4623         or else NT (N).Nkind = N_In
4624         or else NT (N).Nkind = N_Not_In
4625         or else NT (N).Nkind = N_Or_Else);
4626       Set_Node3_With_Parent (N, Val);
4627    end Set_Right_Opnd;
4628
4629    procedure Set_Rounded_Result
4630       (N : Node_Id; Val : Boolean := True) is
4631    begin
4632       pragma Assert (False
4633         or else NT (N).Nkind = N_Op_Divide
4634         or else NT (N).Nkind = N_Op_Multiply
4635         or else NT (N).Nkind = N_Type_Conversion);
4636       Set_Flag18 (N, Val);
4637    end Set_Rounded_Result;
4638
4639    procedure Set_Scope
4640       (N : Node_Id; Val : Node_Id) is
4641    begin
4642       pragma Assert (False
4643         or else NT (N).Nkind = N_Defining_Character_Literal
4644         or else NT (N).Nkind = N_Defining_Identifier
4645         or else NT (N).Nkind = N_Defining_Operator_Symbol);
4646       Set_Node3 (N, Val); -- semantic field, no parent set
4647    end Set_Scope;
4648
4649    procedure Set_Select_Alternatives
4650       (N : Node_Id; Val : List_Id) is
4651    begin
4652       pragma Assert (False
4653         or else NT (N).Nkind = N_Selective_Accept);
4654       Set_List1_With_Parent (N, Val);
4655    end Set_Select_Alternatives;
4656
4657    procedure Set_Selector_Name
4658       (N : Node_Id; Val : Node_Id) is
4659    begin
4660       pragma Assert (False
4661         or else NT (N).Nkind = N_Expanded_Name
4662         or else NT (N).Nkind = N_Generic_Association
4663         or else NT (N).Nkind = N_Parameter_Association
4664         or else NT (N).Nkind = N_Selected_Component);
4665       Set_Node2_With_Parent (N, Val);
4666    end Set_Selector_Name;
4667
4668    procedure Set_Selector_Names
4669       (N : Node_Id; Val : List_Id) is
4670    begin
4671       pragma Assert (False
4672         or else NT (N).Nkind = N_Discriminant_Association);
4673       Set_List1_With_Parent (N, Val);
4674    end Set_Selector_Names;
4675
4676    procedure Set_Shift_Count_OK
4677       (N : Node_Id; Val : Boolean := True) is
4678    begin
4679       pragma Assert (False
4680         or else NT (N).Nkind = N_Op_Rotate_Left
4681         or else NT (N).Nkind = N_Op_Rotate_Right
4682         or else NT (N).Nkind = N_Op_Shift_Left
4683         or else NT (N).Nkind = N_Op_Shift_Right
4684         or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
4685       Set_Flag4 (N, Val);
4686    end Set_Shift_Count_OK;
4687
4688    procedure Set_Source_Type
4689       (N : Node_Id; Val : Entity_Id) is
4690    begin
4691       pragma Assert (False
4692         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
4693       Set_Node1 (N, Val); -- semantic field, no parent set
4694    end Set_Source_Type;
4695
4696    procedure Set_Specification
4697       (N : Node_Id; Val : Node_Id) is
4698    begin
4699       pragma Assert (False
4700         or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
4701         or else NT (N).Nkind = N_Formal_Subprogram_Declaration
4702         or else NT (N).Nkind = N_Generic_Package_Declaration
4703         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
4704         or else NT (N).Nkind = N_Package_Declaration
4705         or else NT (N).Nkind = N_Subprogram_Body
4706         or else NT (N).Nkind = N_Subprogram_Body_Stub
4707         or else NT (N).Nkind = N_Subprogram_Declaration
4708         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4709       Set_Node1_With_Parent (N, Val);
4710    end Set_Specification;
4711
4712    procedure Set_Statements
4713       (N : Node_Id; Val : List_Id) is
4714    begin
4715       pragma Assert (False
4716         or else NT (N).Nkind = N_Abortable_Part
4717         or else NT (N).Nkind = N_Accept_Alternative
4718         or else NT (N).Nkind = N_Case_Statement_Alternative
4719         or else NT (N).Nkind = N_Delay_Alternative
4720         or else NT (N).Nkind = N_Entry_Call_Alternative
4721         or else NT (N).Nkind = N_Exception_Handler
4722         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4723         or else NT (N).Nkind = N_Loop_Statement
4724         or else NT (N).Nkind = N_Triggering_Alternative);
4725       Set_List3_With_Parent (N, Val);
4726    end Set_Statements;
4727
4728    procedure Set_Static_Processing_OK
4729       (N : Node_Id; Val : Boolean) is
4730    begin
4731       pragma Assert (False
4732         or else NT (N).Nkind = N_Aggregate);
4733       Set_Flag4 (N, Val);
4734    end Set_Static_Processing_OK;
4735
4736    procedure Set_Storage_Pool
4737       (N : Node_Id; Val : Node_Id) is
4738    begin
4739       pragma Assert (False
4740         or else NT (N).Nkind = N_Allocator
4741         or else NT (N).Nkind = N_Free_Statement
4742         or else NT (N).Nkind = N_Return_Statement);
4743       Set_Node1 (N, Val); -- semantic field, no parent set
4744    end Set_Storage_Pool;
4745
4746    procedure Set_Strval
4747       (N : Node_Id; Val : String_Id) is
4748    begin
4749       pragma Assert (False
4750         or else NT (N).Nkind = N_Operator_Symbol
4751         or else NT (N).Nkind = N_String_Literal);
4752       Set_Str3 (N, Val);
4753    end Set_Strval;
4754
4755    procedure Set_Subtype_Indication
4756       (N : Node_Id; Val : Node_Id) is
4757    begin
4758       pragma Assert (False
4759         or else NT (N).Nkind = N_Access_To_Object_Definition
4760         or else NT (N).Nkind = N_Component_Definition
4761         or else NT (N).Nkind = N_Derived_Type_Definition
4762         or else NT (N).Nkind = N_Private_Extension_Declaration
4763         or else NT (N).Nkind = N_Subtype_Declaration);
4764       Set_Node5_With_Parent (N, Val);
4765    end Set_Subtype_Indication;
4766
4767    procedure Set_Subtype_Mark
4768       (N : Node_Id; Val : Node_Id) is
4769    begin
4770       pragma Assert (False
4771         or else NT (N).Nkind = N_Access_Definition
4772         or else NT (N).Nkind = N_Access_Function_Definition
4773         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4774         or else NT (N).Nkind = N_Formal_Object_Declaration
4775         or else NT (N).Nkind = N_Function_Specification
4776         or else NT (N).Nkind = N_Object_Renaming_Declaration
4777         or else NT (N).Nkind = N_Qualified_Expression
4778         or else NT (N).Nkind = N_Subtype_Indication
4779         or else NT (N).Nkind = N_Type_Conversion
4780         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4781       Set_Node4_With_Parent (N, Val);
4782    end Set_Subtype_Mark;
4783
4784    procedure Set_Subtype_Marks
4785       (N : Node_Id; Val : List_Id) is
4786    begin
4787       pragma Assert (False
4788         or else NT (N).Nkind = N_Unconstrained_Array_Definition
4789         or else NT (N).Nkind = N_Use_Type_Clause);
4790       Set_List2_With_Parent (N, Val);
4791    end Set_Subtype_Marks;
4792
4793    procedure Set_Tagged_Present
4794       (N : Node_Id; Val : Boolean := True) is
4795    begin
4796       pragma Assert (False
4797         or else NT (N).Nkind = N_Formal_Private_Type_Definition
4798         or else NT (N).Nkind = N_Private_Type_Declaration
4799         or else NT (N).Nkind = N_Record_Definition
4800         or else NT (N).Nkind = N_With_Type_Clause);
4801       Set_Flag15 (N, Val);
4802    end Set_Tagged_Present;
4803
4804    procedure Set_Target_Type
4805       (N : Node_Id; Val : Entity_Id) is
4806    begin
4807       pragma Assert (False
4808         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
4809       Set_Node2 (N, Val); -- semantic field, no parent set
4810    end Set_Target_Type;
4811
4812    procedure Set_Task_Body_Procedure
4813       (N : Node_Id; Val : Entity_Id) is
4814    begin
4815       pragma Assert (False
4816         or else NT (N).Nkind = N_Task_Type_Declaration);
4817       Set_Node2 (N, Val); -- semantic field, no parent set
4818    end Set_Task_Body_Procedure;
4819
4820    procedure Set_Task_Definition
4821       (N : Node_Id; Val : Node_Id) is
4822    begin
4823       pragma Assert (False
4824         or else NT (N).Nkind = N_Single_Task_Declaration
4825         or else NT (N).Nkind = N_Task_Type_Declaration);
4826       Set_Node3_With_Parent (N, Val);
4827    end Set_Task_Definition;
4828
4829    procedure Set_Then_Actions
4830       (N : Node_Id; Val : List_Id) is
4831    begin
4832       pragma Assert (False
4833         or else NT (N).Nkind = N_Conditional_Expression);
4834       Set_List2 (N, Val); -- semantic field, no parent set
4835    end Set_Then_Actions;
4836
4837    procedure Set_Then_Statements
4838       (N : Node_Id; Val : List_Id) is
4839    begin
4840       pragma Assert (False
4841         or else NT (N).Nkind = N_Elsif_Part
4842         or else NT (N).Nkind = N_If_Statement);
4843       Set_List2_With_Parent (N, Val);
4844    end Set_Then_Statements;
4845
4846    procedure Set_Treat_Fixed_As_Integer
4847       (N : Node_Id; Val : Boolean := True) is
4848    begin
4849       pragma Assert (False
4850         or else NT (N).Nkind = N_Op_Divide
4851         or else NT (N).Nkind = N_Op_Mod
4852         or else NT (N).Nkind = N_Op_Multiply
4853         or else NT (N).Nkind = N_Op_Rem);
4854       Set_Flag14 (N, Val);
4855    end Set_Treat_Fixed_As_Integer;
4856
4857    procedure Set_Triggering_Alternative
4858       (N : Node_Id; Val : Node_Id) is
4859    begin
4860       pragma Assert (False
4861         or else NT (N).Nkind = N_Asynchronous_Select);
4862       Set_Node1_With_Parent (N, Val);
4863    end Set_Triggering_Alternative;
4864
4865    procedure Set_Triggering_Statement
4866       (N : Node_Id; Val : Node_Id) is
4867    begin
4868       pragma Assert (False
4869         or else NT (N).Nkind = N_Triggering_Alternative);
4870       Set_Node1_With_Parent (N, Val);
4871    end Set_Triggering_Statement;
4872
4873    procedure Set_TSS_Elist
4874       (N : Node_Id; Val : Elist_Id) is
4875    begin
4876       pragma Assert (False
4877         or else NT (N).Nkind = N_Freeze_Entity);
4878       Set_Elist3 (N, Val); -- semantic field, no parent set
4879    end Set_TSS_Elist;
4880
4881    procedure Set_Type_Definition
4882       (N : Node_Id; Val : Node_Id) is
4883    begin
4884       pragma Assert (False
4885         or else NT (N).Nkind = N_Full_Type_Declaration);
4886       Set_Node3_With_Parent (N, Val);
4887    end Set_Type_Definition;
4888
4889    procedure Set_Unit
4890       (N : Node_Id; Val : Node_Id) is
4891    begin
4892       pragma Assert (False
4893         or else NT (N).Nkind = N_Compilation_Unit);
4894       Set_Node2_With_Parent (N, Val);
4895    end Set_Unit;
4896
4897    procedure Set_Unknown_Discriminants_Present
4898       (N : Node_Id; Val : Boolean := True) is
4899    begin
4900       pragma Assert (False
4901         or else NT (N).Nkind = N_Formal_Type_Declaration
4902         or else NT (N).Nkind = N_Incomplete_Type_Declaration
4903         or else NT (N).Nkind = N_Private_Extension_Declaration
4904         or else NT (N).Nkind = N_Private_Type_Declaration);
4905       Set_Flag13 (N, Val);
4906    end Set_Unknown_Discriminants_Present;
4907
4908    procedure Set_Unreferenced_In_Spec
4909       (N : Node_Id; Val : Boolean := True) is
4910    begin
4911       pragma Assert (False
4912         or else NT (N).Nkind = N_With_Clause);
4913       Set_Flag7 (N, Val);
4914    end Set_Unreferenced_In_Spec;
4915
4916    procedure Set_Variant_Part
4917       (N : Node_Id; Val : Node_Id) is
4918    begin
4919       pragma Assert (False
4920         or else NT (N).Nkind = N_Component_List);
4921       Set_Node4_With_Parent (N, Val);
4922    end Set_Variant_Part;
4923
4924    procedure Set_Variants
4925       (N : Node_Id; Val : List_Id) is
4926    begin
4927       pragma Assert (False
4928         or else NT (N).Nkind = N_Variant_Part);
4929       Set_List1_With_Parent (N, Val);
4930    end Set_Variants;
4931
4932    procedure Set_Visible_Declarations
4933       (N : Node_Id; Val : List_Id) is
4934    begin
4935       pragma Assert (False
4936         or else NT (N).Nkind = N_Package_Specification
4937         or else NT (N).Nkind = N_Protected_Definition
4938         or else NT (N).Nkind = N_Task_Definition);
4939       Set_List2_With_Parent (N, Val);
4940    end Set_Visible_Declarations;
4941
4942    procedure Set_Was_Originally_Stub
4943       (N : Node_Id; Val : Boolean := True) is
4944    begin
4945       pragma Assert (False
4946         or else NT (N).Nkind = N_Package_Body
4947         or else NT (N).Nkind = N_Protected_Body
4948         or else NT (N).Nkind = N_Subprogram_Body
4949         or else NT (N).Nkind = N_Task_Body);
4950       Set_Flag13 (N, Val);
4951    end Set_Was_Originally_Stub;
4952
4953    procedure Set_Zero_Cost_Handling
4954       (N : Node_Id; Val : Boolean := True) is
4955    begin
4956       pragma Assert (False
4957         or else NT (N).Nkind = N_Exception_Handler
4958         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4959       Set_Flag5 (N, Val);
4960    end Set_Zero_Cost_Handling;
4961
4962    -------------------------
4963    -- Iterator Procedures --
4964    -------------------------
4965
4966    procedure Next_Entity       (N : in out Node_Id) is
4967    begin
4968       N := Next_Entity (N);
4969    end Next_Entity;
4970
4971    procedure Next_Named_Actual (N : in out Node_Id) is
4972    begin
4973       N := Next_Named_Actual (N);
4974    end Next_Named_Actual;
4975
4976    procedure Next_Rep_Item     (N : in out Node_Id) is
4977    begin
4978       N := Next_Rep_Item (N);
4979    end Next_Rep_Item;
4980
4981    procedure Next_Use_Clause   (N : in out Node_Id) is
4982    begin
4983       N := Next_Use_Clause (N);
4984    end Next_Use_Clause;
4985
4986    ------------------
4987    -- End_Location --
4988    ------------------
4989
4990    function End_Location (N : Node_Id) return Source_Ptr is
4991       L : constant Uint := End_Span (N);
4992
4993    begin
4994       if L = No_Uint then
4995          return No_Location;
4996       else
4997          return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
4998       end if;
4999    end End_Location;
5000
5001    ----------------------
5002    -- Set_End_Location --
5003    ----------------------
5004
5005    procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
5006    begin
5007       Set_End_Span (N,
5008         UI_From_Int (Int (S) - Int (Sloc (N))));
5009    end Set_End_Location;
5010
5011 end Sinfo;