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-2012, 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 3,  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.                                     --
  17 --                                                                          --
  18 -- As a special exception under Section 7 of GPL version 3, you are granted --
  19 -- additional permissions described in the GCC Runtime Library Exception,   --
  20 -- version 3.1, as published by the Free Software Foundation.               --
  21 --                                                                          --
  22 -- You should have received a copy of the GNU General Public License and    --
  23 -- a copy of the GCC Runtime Library Exception along with this program;     --
  24 -- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
  25 -- <http://www.gnu.org/licenses/>.                                          --
  26 --                                                                          --
  27 -- GNAT was originally developed  by the GNAT team at  New York University. --
  28 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  29 --                                                                          --
  30 ------------------------------------------------------------------------------
  31
  32 pragma Style_Checks (All_Checks);
  33 --  No subprogram ordering check, due to logical grouping
  34
  35 with Atree; use Atree;
  36
  37 package body Sinfo is
  38
  39    use Atree.Unchecked_Access;
  40    --  This package is one of the few packages which is allowed to make direct
  41    --  references to tree nodes (since it is in the business of providing a
  42    --  higher level of tree access which other clients are expected to use and
  43    --  which implements checks).
  44
  45    use Atree_Private_Part;
  46    --  The only reason that we ask for direct access to the private part of
  47    --  the tree package is so that we can directly reference the Nkind field
  48    --  of nodes table entries. We do this since it helps the efficiency of
  49    --  the Sinfo debugging checks considerably (note that when we are checking
  50    --  Nkind values, we don't need to check for a valid node reference, because
  51    --  we will check that anyway when we reference the field).
  52
  53    NT : Nodes.Table_Ptr renames Nodes.Table;
  54    --  A short hand abbreviation, useful for the debugging checks
  55
  56    ----------------------------
  57    -- Field Access Functions --
  58    ----------------------------
  59
  60    function ABE_Is_Certain
  61       (N : Node_Id) return Boolean is
  62    begin
  63       pragma Assert (False
  64         or else NT (N).Nkind = N_Formal_Package_Declaration
  65         or else NT (N).Nkind = N_Function_Call
  66         or else NT (N).Nkind = N_Function_Instantiation
  67         or else NT (N).Nkind = N_Package_Instantiation
  68         or else NT (N).Nkind = N_Procedure_Call_Statement
  69         or else NT (N).Nkind = N_Procedure_Instantiation);
  70       return Flag18 (N);
  71    end ABE_Is_Certain;
  72
  73    function Abort_Present
  74       (N : Node_Id) return Boolean is
  75    begin
  76       pragma Assert (False
  77         or else NT (N).Nkind = N_Requeue_Statement);
  78       return Flag15 (N);
  79    end Abort_Present;
  80
  81    function Abortable_Part
  82       (N : Node_Id) return Node_Id is
  83    begin
  84       pragma Assert (False
  85         or else NT (N).Nkind = N_Asynchronous_Select);
  86       return Node2 (N);
  87    end Abortable_Part;
  88
  89    function Abstract_Present
  90       (N : Node_Id) return Boolean is
  91    begin
  92       pragma Assert (False
  93         or else NT (N).Nkind = N_Derived_Type_Definition
  94         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
  95         or else NT (N).Nkind = N_Formal_Private_Type_Definition
  96         or else NT (N).Nkind = N_Private_Extension_Declaration
  97         or else NT (N).Nkind = N_Private_Type_Declaration
  98         or else NT (N).Nkind = N_Record_Definition);
  99       return Flag4 (N);
 100    end Abstract_Present;
 101
 102    function Accept_Handler_Records
 103       (N : Node_Id) return List_Id is
 104    begin
 105       pragma Assert (False
 106         or else NT (N).Nkind = N_Accept_Alternative);
 107       return List5 (N);
 108    end Accept_Handler_Records;
 109
 110    function Accept_Statement
 111       (N : Node_Id) return Node_Id is
 112    begin
 113       pragma Assert (False
 114         or else NT (N).Nkind = N_Accept_Alternative);
 115       return Node2 (N);
 116    end Accept_Statement;
 117
 118    function Access_Definition
 119      (N : Node_Id) return Node_Id is
 120    begin
 121       pragma Assert (False
 122         or else NT (N).Nkind = N_Component_Definition
 123         or else NT (N).Nkind = N_Formal_Object_Declaration
 124         or else NT (N).Nkind = N_Object_Renaming_Declaration);
 125       return Node3 (N);
 126    end Access_Definition;
 127
 128    function Access_To_Subprogram_Definition
 129      (N : Node_Id) return Node_Id is
 130    begin
 131       pragma Assert (False
 132         or else NT (N).Nkind = N_Access_Definition);
 133       return Node3 (N);
 134    end Access_To_Subprogram_Definition;
 135
 136    function Access_Types_To_Process
 137       (N : Node_Id) return Elist_Id is
 138    begin
 139       pragma Assert (False
 140         or else NT (N).Nkind = N_Freeze_Entity);
 141       return Elist2 (N);
 142    end Access_Types_To_Process;
 143
 144    function Actions
 145       (N : Node_Id) return List_Id is
 146    begin
 147       pragma Assert (False
 148         or else NT (N).Nkind = N_And_Then
 149         or else NT (N).Nkind = N_Case_Expression_Alternative
 150         or else NT (N).Nkind = N_Compilation_Unit_Aux
 151         or else NT (N).Nkind = N_Expression_With_Actions
 152         or else NT (N).Nkind = N_Freeze_Entity
 153         or else NT (N).Nkind = N_Or_Else);
 154       return List1 (N);
 155    end Actions;
 156
 157    function Activation_Chain_Entity
 158       (N : Node_Id) return Node_Id is
 159    begin
 160       pragma Assert (False
 161         or else NT (N).Nkind = N_Block_Statement
 162         or else NT (N).Nkind = N_Entry_Body
 163         or else NT (N).Nkind = N_Generic_Package_Declaration
 164         or else NT (N).Nkind = N_Package_Declaration
 165         or else NT (N).Nkind = N_Subprogram_Body
 166         or else NT (N).Nkind = N_Task_Body);
 167       return Node3 (N);
 168    end Activation_Chain_Entity;
 169
 170    function Acts_As_Spec
 171       (N : Node_Id) return Boolean is
 172    begin
 173       pragma Assert (False
 174         or else NT (N).Nkind = N_Compilation_Unit
 175         or else NT (N).Nkind = N_Subprogram_Body);
 176       return Flag4 (N);
 177    end Acts_As_Spec;
 178
 179    function Actual_Designated_Subtype
 180      (N : Node_Id) return Node_Id is
 181    begin
 182       pragma Assert (False
 183         or else NT (N).Nkind = N_Explicit_Dereference
 184         or else NT (N).Nkind = N_Free_Statement);
 185       return Node4 (N);
 186    end Actual_Designated_Subtype;
 187
 188    function Address_Warning_Posted
 189       (N : Node_Id) return Boolean is
 190    begin
 191       pragma Assert (False
 192         or else NT (N).Nkind = N_Attribute_Definition_Clause);
 193       return Flag18 (N);
 194    end Address_Warning_Posted;
 195
 196    function Aggregate_Bounds
 197       (N : Node_Id) return Node_Id is
 198    begin
 199       pragma Assert (False
 200         or else NT (N).Nkind = N_Aggregate);
 201       return Node3 (N);
 202    end Aggregate_Bounds;
 203
 204    function Aliased_Present
 205       (N : Node_Id) return Boolean is
 206    begin
 207       pragma Assert (False
 208         or else NT (N).Nkind = N_Component_Definition
 209         or else NT (N).Nkind = N_Object_Declaration
 210         or else NT (N).Nkind = N_Parameter_Specification);
 211       return Flag4 (N);
 212    end Aliased_Present;
 213
 214    function All_Others
 215       (N : Node_Id) return Boolean is
 216    begin
 217       pragma Assert (False
 218         or else NT (N).Nkind = N_Others_Choice);
 219       return Flag11 (N);
 220    end All_Others;
 221
 222    function All_Present
 223       (N : Node_Id) return Boolean is
 224    begin
 225       pragma Assert (False
 226         or else NT (N).Nkind = N_Access_Definition
 227         or else NT (N).Nkind = N_Access_To_Object_Definition
 228         or else NT (N).Nkind = N_Quantified_Expression
 229         or else NT (N).Nkind = N_Use_Type_Clause);
 230       return Flag15 (N);
 231    end All_Present;
 232
 233    function Alternatives
 234       (N : Node_Id) return List_Id is
 235    begin
 236       pragma Assert (False
 237         or else NT (N).Nkind = N_Case_Expression
 238         or else NT (N).Nkind = N_Case_Statement
 239         or else NT (N).Nkind = N_In
 240         or else NT (N).Nkind = N_Not_In);
 241       return List4 (N);
 242    end Alternatives;
 243
 244    function Ancestor_Part
 245       (N : Node_Id) return Node_Id is
 246    begin
 247       pragma Assert (False
 248         or else NT (N).Nkind = N_Extension_Aggregate);
 249       return Node3 (N);
 250    end Ancestor_Part;
 251
 252    function Atomic_Sync_Required
 253       (N : Node_Id) return Boolean is
 254    begin
 255       pragma Assert (False
 256         or else NT (N).Nkind = N_Expanded_Name
 257         or else NT (N).Nkind = N_Explicit_Dereference
 258         or else NT (N).Nkind = N_Identifier
 259         or else NT (N).Nkind = N_Indexed_Component
 260         or else NT (N).Nkind = N_Selected_Component);
 261       return Flag14 (N);
 262    end Atomic_Sync_Required;
 263
 264    function Array_Aggregate
 265       (N : Node_Id) return Node_Id is
 266    begin
 267       pragma Assert (False
 268         or else NT (N).Nkind = N_Enumeration_Representation_Clause);
 269       return Node3 (N);
 270    end Array_Aggregate;
 271
 272    function Aspect_Rep_Item
 273       (N : Node_Id) return Node_Id is
 274    begin
 275       pragma Assert (False
 276         or else NT (N).Nkind = N_Aspect_Specification);
 277       return Node2 (N);
 278    end Aspect_Rep_Item;
 279
 280    function Assignment_OK
 281       (N : Node_Id) return Boolean is
 282    begin
 283       pragma Assert (False
 284         or else NT (N).Nkind = N_Object_Declaration
 285         or else NT (N).Nkind in N_Subexpr);
 286       return Flag15 (N);
 287    end Assignment_OK;
 288
 289    function Associated_Node
 290       (N : Node_Id) return Node_Id is
 291    begin
 292       pragma Assert (False
 293         or else NT (N).Nkind in N_Has_Entity
 294         or else NT (N).Nkind = N_Aggregate
 295         or else NT (N).Nkind = N_Extension_Aggregate
 296         or else NT (N).Nkind = N_Selected_Component);
 297       return Node4 (N);
 298    end Associated_Node;
 299
 300    function At_End_Proc
 301       (N : Node_Id) return Node_Id is
 302    begin
 303       pragma Assert (False
 304         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
 305       return Node1 (N);
 306    end At_End_Proc;
 307
 308    function Attribute_Name
 309       (N : Node_Id) return Name_Id is
 310    begin
 311       pragma Assert (False
 312         or else NT (N).Nkind = N_Attribute_Reference);
 313       return Name2 (N);
 314    end Attribute_Name;
 315
 316    function Aux_Decls_Node
 317       (N : Node_Id) return Node_Id is
 318    begin
 319       pragma Assert (False
 320         or else NT (N).Nkind = N_Compilation_Unit);
 321       return Node5 (N);
 322    end Aux_Decls_Node;
 323
 324    function Backwards_OK
 325       (N : Node_Id) return Boolean is
 326    begin
 327       pragma Assert (False
 328         or else NT (N).Nkind = N_Assignment_Statement);
 329       return Flag6 (N);
 330    end Backwards_OK;
 331
 332    function Bad_Is_Detected
 333       (N : Node_Id) return Boolean is
 334    begin
 335       pragma Assert (False
 336         or else NT (N).Nkind = N_Subprogram_Body);
 337       return Flag15 (N);
 338    end Bad_Is_Detected;
 339
 340    function Body_Required
 341       (N : Node_Id) return Boolean is
 342    begin
 343       pragma Assert (False
 344         or else NT (N).Nkind = N_Compilation_Unit);
 345       return Flag13 (N);
 346    end Body_Required;
 347
 348    function Body_To_Inline
 349       (N : Node_Id) return Node_Id is
 350    begin
 351       pragma Assert (False
 352         or else NT (N).Nkind = N_Subprogram_Declaration);
 353       return Node3 (N);
 354    end Body_To_Inline;
 355
 356    function Box_Present
 357       (N : Node_Id) return Boolean is
 358    begin
 359       pragma Assert (False
 360         or else NT (N).Nkind = N_Component_Association
 361         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
 362         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
 363         or else NT (N).Nkind = N_Formal_Package_Declaration
 364         or else NT (N).Nkind = N_Generic_Association);
 365       return Flag15 (N);
 366    end Box_Present;
 367
 368    function By_Ref
 369       (N : Node_Id) return Boolean is
 370    begin
 371       pragma Assert (False
 372         or else NT (N).Nkind = N_Extended_Return_Statement
 373         or else NT (N).Nkind = N_Return_Statement);
 374       return Flag5 (N);
 375    end By_Ref;
 376
 377    function Char_Literal_Value
 378       (N : Node_Id) return Uint is
 379    begin
 380       pragma Assert (False
 381         or else NT (N).Nkind = N_Character_Literal);
 382       return Uint2 (N);
 383    end Char_Literal_Value;
 384
 385    function Chars
 386       (N : Node_Id) return Name_Id is
 387    begin
 388       pragma Assert (False
 389         or else NT (N).Nkind in N_Has_Chars);
 390       return Name1 (N);
 391    end Chars;
 392
 393    function Check_Address_Alignment
 394       (N : Node_Id) return Boolean is
 395    begin
 396       pragma Assert (False
 397           or else NT (N).Nkind = N_Attribute_Definition_Clause);
 398       return Flag11 (N);
 399    end Check_Address_Alignment;
 400
 401    function Choice_Parameter
 402       (N : Node_Id) return Node_Id is
 403    begin
 404       pragma Assert (False
 405         or else NT (N).Nkind = N_Exception_Handler);
 406       return Node2 (N);
 407    end Choice_Parameter;
 408
 409    function Choices
 410       (N : Node_Id) return List_Id is
 411    begin
 412       pragma Assert (False
 413         or else NT (N).Nkind = N_Component_Association);
 414       return List1 (N);
 415    end Choices;
 416
 417    function Class_Present
 418       (N : Node_Id) return Boolean is
 419    begin
 420       pragma Assert (False
 421         or else NT (N).Nkind = N_Aspect_Specification
 422         or else NT (N).Nkind = N_Pragma);
 423       return Flag6 (N);
 424    end Class_Present;
 425
 426    function Comes_From_Extended_Return_Statement
 427      (N : Node_Id) return Boolean is
 428    begin
 429       pragma Assert (False
 430         or else NT (N).Nkind = N_Return_Statement);
 431       return Flag18 (N);
 432    end Comes_From_Extended_Return_Statement;
 433
 434    function Compile_Time_Known_Aggregate
 435       (N : Node_Id) return Boolean is
 436    begin
 437       pragma Assert (False
 438         or else NT (N).Nkind = N_Aggregate);
 439       return Flag18 (N);
 440    end Compile_Time_Known_Aggregate;
 441
 442    function Component_Associations
 443       (N : Node_Id) return List_Id is
 444    begin
 445       pragma Assert (False
 446         or else NT (N).Nkind = N_Aggregate
 447         or else NT (N).Nkind = N_Extension_Aggregate);
 448       return List2 (N);
 449    end Component_Associations;
 450
 451    function Component_Clauses
 452       (N : Node_Id) return List_Id is
 453    begin
 454       pragma Assert (False
 455         or else NT (N).Nkind = N_Record_Representation_Clause);
 456       return List3 (N);
 457    end Component_Clauses;
 458
 459    function Component_Definition
 460       (N : Node_Id) return Node_Id is
 461    begin
 462       pragma Assert (False
 463         or else NT (N).Nkind = N_Component_Declaration
 464         or else NT (N).Nkind = N_Constrained_Array_Definition
 465         or else NT (N).Nkind = N_Unconstrained_Array_Definition);
 466       return Node4 (N);
 467    end Component_Definition;
 468
 469    function Component_Items
 470       (N : Node_Id) return List_Id is
 471    begin
 472       pragma Assert (False
 473         or else NT (N).Nkind = N_Component_List);
 474       return List3 (N);
 475    end Component_Items;
 476
 477    function Component_List
 478       (N : Node_Id) return Node_Id is
 479    begin
 480       pragma Assert (False
 481         or else NT (N).Nkind = N_Record_Definition
 482         or else NT (N).Nkind = N_Variant);
 483       return Node1 (N);
 484    end Component_List;
 485
 486    function Component_Name
 487       (N : Node_Id) return Node_Id is
 488    begin
 489       pragma Assert (False
 490         or else NT (N).Nkind = N_Component_Clause);
 491       return Node1 (N);
 492    end Component_Name;
 493
 494    function Componentwise_Assignment
 495       (N : Node_Id) return Boolean is
 496    begin
 497       pragma Assert (False
 498         or else NT (N).Nkind = N_Assignment_Statement);
 499       return Flag14 (N);
 500    end Componentwise_Assignment;
 501
 502    function Condition
 503       (N : Node_Id) return Node_Id is
 504    begin
 505       pragma Assert (False
 506         or else NT (N).Nkind = N_Accept_Alternative
 507         or else NT (N).Nkind = N_Delay_Alternative
 508         or else NT (N).Nkind = N_Elsif_Part
 509         or else NT (N).Nkind = N_Entry_Body_Formal_Part
 510         or else NT (N).Nkind = N_Exit_Statement
 511         or else NT (N).Nkind = N_If_Statement
 512         or else NT (N).Nkind = N_Iteration_Scheme
 513         or else NT (N).Nkind = N_Quantified_Expression
 514         or else NT (N).Nkind = N_Raise_Constraint_Error
 515         or else NT (N).Nkind = N_Raise_Program_Error
 516         or else NT (N).Nkind = N_Raise_Storage_Error
 517         or else NT (N).Nkind = N_Terminate_Alternative);
 518       return Node1 (N);
 519    end Condition;
 520
 521    function Condition_Actions
 522       (N : Node_Id) return List_Id is
 523    begin
 524       pragma Assert (False
 525         or else NT (N).Nkind = N_Elsif_Part
 526         or else NT (N).Nkind = N_Iteration_Scheme);
 527       return List3 (N);
 528    end Condition_Actions;
 529
 530    function Config_Pragmas
 531       (N : Node_Id) return List_Id is
 532    begin
 533       pragma Assert (False
 534         or else NT (N).Nkind = N_Compilation_Unit_Aux);
 535       return List4 (N);
 536    end Config_Pragmas;
 537
 538    function Constant_Present
 539       (N : Node_Id) return Boolean is
 540    begin
 541       pragma Assert (False
 542         or else NT (N).Nkind = N_Access_Definition
 543         or else NT (N).Nkind = N_Access_To_Object_Definition
 544         or else NT (N).Nkind = N_Object_Declaration);
 545       return Flag17 (N);
 546    end Constant_Present;
 547
 548    function Constraint
 549       (N : Node_Id) return Node_Id is
 550    begin
 551       pragma Assert (False
 552         or else NT (N).Nkind = N_Subtype_Indication);
 553       return Node3 (N);
 554    end Constraint;
 555
 556    function Constraints
 557       (N : Node_Id) return List_Id is
 558    begin
 559       pragma Assert (False
 560         or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
 561       return List1 (N);
 562    end Constraints;
 563
 564    function Context_Installed
 565       (N : Node_Id) return Boolean is
 566    begin
 567       pragma Assert (False
 568         or else NT (N).Nkind = N_With_Clause);
 569       return Flag13 (N);
 570    end Context_Installed;
 571
 572    function Context_Items
 573       (N : Node_Id) return List_Id is
 574    begin
 575       pragma Assert (False
 576         or else NT (N).Nkind = N_Compilation_Unit);
 577       return List1 (N);
 578    end Context_Items;
 579
 580    function Context_Pending
 581       (N : Node_Id) return Boolean is
 582    begin
 583       pragma Assert (False
 584         or else NT (N).Nkind = N_Compilation_Unit);
 585       return Flag16 (N);
 586    end Context_Pending;
 587
 588    function Controlling_Argument
 589       (N : Node_Id) return Node_Id is
 590    begin
 591       pragma Assert (False
 592         or else NT (N).Nkind = N_Function_Call
 593         or else NT (N).Nkind = N_Procedure_Call_Statement);
 594       return Node1 (N);
 595    end Controlling_Argument;
 596
 597    function Conversion_OK
 598       (N : Node_Id) return Boolean is
 599    begin
 600       pragma Assert (False
 601         or else NT (N).Nkind = N_Type_Conversion);
 602       return Flag14 (N);
 603    end Conversion_OK;
 604
 605    function Corresponding_Aspect
 606       (N : Node_Id) return Node_Id is
 607    begin
 608       pragma Assert (False
 609         or else NT (N).Nkind = N_Pragma);
 610       return Node3 (N);
 611    end Corresponding_Aspect;
 612
 613    function Corresponding_Body
 614       (N : Node_Id) return Node_Id is
 615    begin
 616       pragma Assert (False
 617         or else NT (N).Nkind = N_Entry_Declaration
 618         or else NT (N).Nkind = N_Generic_Package_Declaration
 619         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
 620         or else NT (N).Nkind = N_Package_Body_Stub
 621         or else NT (N).Nkind = N_Package_Declaration
 622         or else NT (N).Nkind = N_Protected_Body_Stub
 623         or else NT (N).Nkind = N_Protected_Type_Declaration
 624         or else NT (N).Nkind = N_Subprogram_Body_Stub
 625         or else NT (N).Nkind = N_Subprogram_Declaration
 626         or else NT (N).Nkind = N_Task_Body_Stub
 627         or else NT (N).Nkind = N_Task_Type_Declaration);
 628       return Node5 (N);
 629    end Corresponding_Body;
 630
 631    function Corresponding_Formal_Spec
 632       (N : Node_Id) return Node_Id is
 633    begin
 634       pragma Assert (False
 635         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
 636       return Node3 (N);
 637    end Corresponding_Formal_Spec;
 638
 639    function Corresponding_Generic_Association
 640       (N : Node_Id) return Node_Id is
 641    begin
 642       pragma Assert (False
 643         or else NT (N).Nkind = N_Object_Declaration
 644         or else NT (N).Nkind = N_Object_Renaming_Declaration);
 645       return Node5 (N);
 646    end Corresponding_Generic_Association;
 647
 648    function Corresponding_Integer_Value
 649       (N : Node_Id) return Uint is
 650    begin
 651       pragma Assert (False
 652         or else NT (N).Nkind = N_Real_Literal);
 653       return Uint4 (N);
 654    end Corresponding_Integer_Value;
 655
 656    function Corresponding_Spec
 657       (N : Node_Id) return Node_Id is
 658    begin
 659       pragma Assert (False
 660         or else NT (N).Nkind = N_Expression_Function
 661         or else NT (N).Nkind = N_Package_Body
 662         or else NT (N).Nkind = N_Protected_Body
 663         or else NT (N).Nkind = N_Subprogram_Body
 664         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
 665         or else NT (N).Nkind = N_Task_Body
 666         or else NT (N).Nkind = N_With_Clause);
 667       return Node5 (N);
 668    end Corresponding_Spec;
 669
 670    function Corresponding_Stub
 671       (N : Node_Id) return Node_Id is
 672    begin
 673       pragma Assert (False
 674         or else NT (N).Nkind = N_Subunit);
 675       return Node3 (N);
 676    end Corresponding_Stub;
 677
 678    function Dcheck_Function
 679       (N : Node_Id) return Entity_Id is
 680    begin
 681       pragma Assert (False
 682         or else NT (N).Nkind = N_Variant);
 683       return Node5 (N);
 684    end Dcheck_Function;
 685
 686    function Declarations
 687       (N : Node_Id) return List_Id is
 688    begin
 689       pragma Assert (False
 690         or else NT (N).Nkind = N_Accept_Statement
 691         or else NT (N).Nkind = N_Block_Statement
 692         or else NT (N).Nkind = N_Compilation_Unit_Aux
 693         or else NT (N).Nkind = N_Entry_Body
 694         or else NT (N).Nkind = N_Package_Body
 695         or else NT (N).Nkind = N_Protected_Body
 696         or else NT (N).Nkind = N_Subprogram_Body
 697         or else NT (N).Nkind = N_Task_Body);
 698       return List2 (N);
 699    end Declarations;
 700
 701    function Default_Expression
 702       (N : Node_Id) return Node_Id is
 703    begin
 704       pragma Assert (False
 705         or else NT (N).Nkind = N_Formal_Object_Declaration
 706         or else NT (N).Nkind = N_Parameter_Specification);
 707       return Node5 (N);
 708    end Default_Expression;
 709
 710    function Default_Storage_Pool
 711       (N : Node_Id) return Node_Id is
 712    begin
 713       pragma Assert (False
 714         or else NT (N).Nkind = N_Compilation_Unit_Aux);
 715       return Node3 (N);
 716    end Default_Storage_Pool;
 717
 718    function Default_Name
 719       (N : Node_Id) return Node_Id is
 720    begin
 721       pragma Assert (False
 722         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
 723         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
 724       return Node2 (N);
 725    end Default_Name;
 726
 727    function Defining_Identifier
 728       (N : Node_Id) return Entity_Id is
 729    begin
 730       pragma Assert (False
 731         or else NT (N).Nkind = N_Component_Declaration
 732         or else NT (N).Nkind = N_Defining_Program_Unit_Name
 733         or else NT (N).Nkind = N_Discriminant_Specification
 734         or else NT (N).Nkind = N_Entry_Body
 735         or else NT (N).Nkind = N_Entry_Declaration
 736         or else NT (N).Nkind = N_Entry_Index_Specification
 737         or else NT (N).Nkind = N_Exception_Declaration
 738         or else NT (N).Nkind = N_Exception_Renaming_Declaration
 739         or else NT (N).Nkind = N_Formal_Object_Declaration
 740         or else NT (N).Nkind = N_Formal_Package_Declaration
 741         or else NT (N).Nkind = N_Formal_Type_Declaration
 742         or else NT (N).Nkind = N_Full_Type_Declaration
 743         or else NT (N).Nkind = N_Implicit_Label_Declaration
 744         or else NT (N).Nkind = N_Incomplete_Type_Declaration
 745         or else NT (N).Nkind = N_Iterator_Specification
 746         or else NT (N).Nkind = N_Loop_Parameter_Specification
 747         or else NT (N).Nkind = N_Number_Declaration
 748         or else NT (N).Nkind = N_Object_Declaration
 749         or else NT (N).Nkind = N_Object_Renaming_Declaration
 750         or else NT (N).Nkind = N_Package_Body_Stub
 751         or else NT (N).Nkind = N_Parameter_Specification
 752         or else NT (N).Nkind = N_Private_Extension_Declaration
 753         or else NT (N).Nkind = N_Private_Type_Declaration
 754         or else NT (N).Nkind = N_Protected_Body
 755         or else NT (N).Nkind = N_Protected_Body_Stub
 756         or else NT (N).Nkind = N_Protected_Type_Declaration
 757         or else NT (N).Nkind = N_Single_Protected_Declaration
 758         or else NT (N).Nkind = N_Single_Task_Declaration
 759         or else NT (N).Nkind = N_Subtype_Declaration
 760         or else NT (N).Nkind = N_Task_Body
 761         or else NT (N).Nkind = N_Task_Body_Stub
 762         or else NT (N).Nkind = N_Task_Type_Declaration);
 763       return Node1 (N);
 764    end Defining_Identifier;
 765
 766    function Defining_Unit_Name
 767       (N : Node_Id) return Node_Id is
 768    begin
 769       pragma Assert (False
 770         or else NT (N).Nkind = N_Function_Instantiation
 771         or else NT (N).Nkind = N_Function_Specification
 772         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
 773         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
 774         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
 775         or else NT (N).Nkind = N_Package_Body
 776         or else NT (N).Nkind = N_Package_Instantiation
 777         or else NT (N).Nkind = N_Package_Renaming_Declaration
 778         or else NT (N).Nkind = N_Package_Specification
 779         or else NT (N).Nkind = N_Procedure_Instantiation
 780         or else NT (N).Nkind = N_Procedure_Specification);
 781       return Node1 (N);
 782    end Defining_Unit_Name;
 783
 784    function Delay_Alternative
 785       (N : Node_Id) return Node_Id is
 786    begin
 787       pragma Assert (False
 788         or else NT (N).Nkind = N_Timed_Entry_Call);
 789       return Node4 (N);
 790    end Delay_Alternative;
 791
 792    function Delay_Statement
 793       (N : Node_Id) return Node_Id is
 794    begin
 795       pragma Assert (False
 796         or else NT (N).Nkind = N_Delay_Alternative);
 797       return Node2 (N);
 798    end Delay_Statement;
 799
 800    function Delta_Expression
 801       (N : Node_Id) return Node_Id is
 802    begin
 803       pragma Assert (False
 804         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
 805         or else NT (N).Nkind = N_Delta_Constraint
 806         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
 807       return Node3 (N);
 808    end Delta_Expression;
 809
 810    function Digits_Expression
 811       (N : Node_Id) return Node_Id is
 812    begin
 813       pragma Assert (False
 814         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
 815         or else NT (N).Nkind = N_Digits_Constraint
 816         or else NT (N).Nkind = N_Floating_Point_Definition);
 817       return Node2 (N);
 818    end Digits_Expression;
 819
 820    function Discr_Check_Funcs_Built
 821       (N : Node_Id) return Boolean is
 822    begin
 823       pragma Assert (False
 824         or else NT (N).Nkind = N_Full_Type_Declaration);
 825       return Flag11 (N);
 826    end Discr_Check_Funcs_Built;
 827
 828    function Discrete_Choices
 829       (N : Node_Id) return List_Id is
 830    begin
 831       pragma Assert (False
 832         or else NT (N).Nkind = N_Case_Expression_Alternative
 833         or else NT (N).Nkind = N_Case_Statement_Alternative
 834         or else NT (N).Nkind = N_Variant);
 835       return List4 (N);
 836    end Discrete_Choices;
 837
 838    function Discrete_Range
 839       (N : Node_Id) return Node_Id is
 840    begin
 841       pragma Assert (False
 842         or else NT (N).Nkind = N_Slice);
 843       return Node4 (N);
 844    end Discrete_Range;
 845
 846    function Discrete_Subtype_Definition
 847       (N : Node_Id) return Node_Id is
 848    begin
 849       pragma Assert (False
 850         or else NT (N).Nkind = N_Entry_Declaration
 851         or else NT (N).Nkind = N_Entry_Index_Specification
 852         or else NT (N).Nkind = N_Loop_Parameter_Specification);
 853       return Node4 (N);
 854    end Discrete_Subtype_Definition;
 855
 856    function Discrete_Subtype_Definitions
 857       (N : Node_Id) return List_Id is
 858    begin
 859       pragma Assert (False
 860         or else NT (N).Nkind = N_Constrained_Array_Definition);
 861       return List2 (N);
 862    end Discrete_Subtype_Definitions;
 863
 864    function Discriminant_Specifications
 865       (N : Node_Id) return List_Id is
 866    begin
 867       pragma Assert (False
 868         or else NT (N).Nkind = N_Formal_Type_Declaration
 869         or else NT (N).Nkind = N_Full_Type_Declaration
 870         or else NT (N).Nkind = N_Incomplete_Type_Declaration
 871         or else NT (N).Nkind = N_Private_Extension_Declaration
 872         or else NT (N).Nkind = N_Private_Type_Declaration
 873         or else NT (N).Nkind = N_Protected_Type_Declaration
 874         or else NT (N).Nkind = N_Task_Type_Declaration);
 875       return List4 (N);
 876    end Discriminant_Specifications;
 877
 878    function Discriminant_Type
 879       (N : Node_Id) return Node_Id is
 880    begin
 881       pragma Assert (False
 882         or else NT (N).Nkind = N_Discriminant_Specification);
 883       return Node5 (N);
 884    end Discriminant_Type;
 885
 886    function Do_Accessibility_Check
 887       (N : Node_Id) return Boolean is
 888    begin
 889       pragma Assert (False
 890         or else NT (N).Nkind = N_Parameter_Specification);
 891       return Flag13 (N);
 892    end Do_Accessibility_Check;
 893
 894    function Do_Discriminant_Check
 895       (N : Node_Id) return Boolean is
 896    begin
 897       pragma Assert (False
 898         or else NT (N).Nkind = N_Selected_Component);
 899       return Flag13 (N);
 900    end Do_Discriminant_Check;
 901
 902    function Do_Division_Check
 903       (N : Node_Id) return Boolean is
 904    begin
 905       pragma Assert (False
 906         or else NT (N).Nkind = N_Op_Divide
 907         or else NT (N).Nkind = N_Op_Mod
 908         or else NT (N).Nkind = N_Op_Rem);
 909       return Flag13 (N);
 910    end Do_Division_Check;
 911
 912    function Do_Length_Check
 913       (N : Node_Id) return Boolean is
 914    begin
 915       pragma Assert (False
 916         or else NT (N).Nkind = N_Assignment_Statement
 917         or else NT (N).Nkind = N_Op_And
 918         or else NT (N).Nkind = N_Op_Or
 919         or else NT (N).Nkind = N_Op_Xor
 920         or else NT (N).Nkind = N_Type_Conversion);
 921       return Flag4 (N);
 922    end Do_Length_Check;
 923
 924    function Do_Overflow_Check
 925       (N : Node_Id) return Boolean is
 926    begin
 927       pragma Assert (False
 928         or else NT (N).Nkind in N_Op
 929         or else NT (N).Nkind = N_Attribute_Reference
 930         or else NT (N).Nkind = N_Type_Conversion);
 931       return Flag17 (N);
 932    end Do_Overflow_Check;
 933
 934    function Do_Range_Check
 935       (N : Node_Id) return Boolean is
 936    begin
 937       pragma Assert (False
 938         or else NT (N).Nkind in N_Subexpr);
 939       return Flag9 (N);
 940    end Do_Range_Check;
 941
 942    function Do_Storage_Check
 943       (N : Node_Id) return Boolean is
 944    begin
 945       pragma Assert (False
 946         or else NT (N).Nkind = N_Allocator
 947         or else NT (N).Nkind = N_Subprogram_Body);
 948       return Flag17 (N);
 949    end Do_Storage_Check;
 950
 951    function Do_Tag_Check
 952       (N : Node_Id) return Boolean is
 953    begin
 954       pragma Assert (False
 955         or else NT (N).Nkind = N_Assignment_Statement
 956         or else NT (N).Nkind = N_Extended_Return_Statement
 957         or else NT (N).Nkind = N_Function_Call
 958         or else NT (N).Nkind = N_Procedure_Call_Statement
 959         or else NT (N).Nkind = N_Return_Statement
 960         or else NT (N).Nkind = N_Type_Conversion);
 961       return Flag13 (N);
 962    end Do_Tag_Check;
 963
 964    function Elaborate_All_Desirable
 965       (N : Node_Id) return Boolean is
 966    begin
 967       pragma Assert (False
 968         or else NT (N).Nkind = N_With_Clause);
 969       return Flag9 (N);
 970    end Elaborate_All_Desirable;
 971
 972    function Elaborate_All_Present
 973       (N : Node_Id) return Boolean is
 974    begin
 975       pragma Assert (False
 976         or else NT (N).Nkind = N_With_Clause);
 977       return Flag14 (N);
 978    end Elaborate_All_Present;
 979
 980    function Elaborate_Desirable
 981       (N : Node_Id) return Boolean is
 982    begin
 983       pragma Assert (False
 984         or else NT (N).Nkind = N_With_Clause);
 985       return Flag11 (N);
 986    end Elaborate_Desirable;
 987
 988    function Elaborate_Present
 989       (N : Node_Id) return Boolean is
 990    begin
 991       pragma Assert (False
 992         or else NT (N).Nkind = N_With_Clause);
 993       return Flag4 (N);
 994    end Elaborate_Present;
 995
 996    function Elaboration_Boolean
 997       (N : Node_Id) return Node_Id is
 998    begin
 999       pragma Assert (False
1000         or else NT (N).Nkind = N_Function_Specification
1001         or else NT (N).Nkind = N_Procedure_Specification);
1002       return Node2 (N);
1003    end Elaboration_Boolean;
1004
1005    function Else_Actions
1006       (N : Node_Id) return List_Id is
1007    begin
1008       pragma Assert (False
1009         or else NT (N).Nkind = N_Conditional_Expression);
1010       return List3 (N);
1011    end Else_Actions;
1012
1013    function Else_Statements
1014       (N : Node_Id) return List_Id is
1015    begin
1016       pragma Assert (False
1017         or else NT (N).Nkind = N_Conditional_Entry_Call
1018         or else NT (N).Nkind = N_If_Statement
1019         or else NT (N).Nkind = N_Selective_Accept);
1020       return List4 (N);
1021    end Else_Statements;
1022
1023    function Elsif_Parts
1024       (N : Node_Id) return List_Id is
1025    begin
1026       pragma Assert (False
1027         or else NT (N).Nkind = N_If_Statement);
1028       return List3 (N);
1029    end Elsif_Parts;
1030
1031    function Enclosing_Variant
1032       (N : Node_Id) return Node_Id is
1033    begin
1034       pragma Assert (False
1035         or else NT (N).Nkind = N_Variant);
1036       return Node2 (N);
1037    end Enclosing_Variant;
1038
1039    function End_Label
1040       (N : Node_Id) return Node_Id is
1041    begin
1042       pragma Assert (False
1043         or else NT (N).Nkind = N_Enumeration_Type_Definition
1044         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
1045         or else NT (N).Nkind = N_Loop_Statement
1046         or else NT (N).Nkind = N_Package_Specification
1047         or else NT (N).Nkind = N_Protected_Body
1048         or else NT (N).Nkind = N_Protected_Definition
1049         or else NT (N).Nkind = N_Record_Definition
1050         or else NT (N).Nkind = N_Task_Definition);
1051       return Node4 (N);
1052    end End_Label;
1053
1054    function End_Span
1055       (N : Node_Id) return Uint is
1056    begin
1057       pragma Assert (False
1058         or else NT (N).Nkind = N_Case_Statement
1059         or else NT (N).Nkind = N_If_Statement);
1060       return Uint5 (N);
1061    end End_Span;
1062
1063    function Entity
1064       (N : Node_Id) return Node_Id is
1065    begin
1066       pragma Assert (False
1067         or else NT (N).Nkind in N_Has_Entity
1068         or else NT (N).Nkind = N_Aspect_Specification
1069         or else NT (N).Nkind = N_Attribute_Definition_Clause
1070         or else NT (N).Nkind = N_Freeze_Entity);
1071       return Node4 (N);
1072    end Entity;
1073
1074    function Entity_Or_Associated_Node
1075       (N : Node_Id) return Node_Id is
1076    begin
1077       pragma Assert (False
1078         or else NT (N).Nkind in N_Has_Entity
1079         or else NT (N).Nkind = N_Freeze_Entity);
1080       return Node4 (N);
1081    end Entity_Or_Associated_Node;
1082
1083    function Entry_Body_Formal_Part
1084       (N : Node_Id) return Node_Id is
1085    begin
1086       pragma Assert (False
1087         or else NT (N).Nkind = N_Entry_Body);
1088       return Node5 (N);
1089    end Entry_Body_Formal_Part;
1090
1091    function Entry_Call_Alternative
1092       (N : Node_Id) return Node_Id is
1093    begin
1094       pragma Assert (False
1095         or else NT (N).Nkind = N_Conditional_Entry_Call
1096         or else NT (N).Nkind = N_Timed_Entry_Call);
1097       return Node1 (N);
1098    end Entry_Call_Alternative;
1099
1100    function Entry_Call_Statement
1101       (N : Node_Id) return Node_Id is
1102    begin
1103       pragma Assert (False
1104         or else NT (N).Nkind = N_Entry_Call_Alternative);
1105       return Node1 (N);
1106    end Entry_Call_Statement;
1107
1108    function Entry_Direct_Name
1109       (N : Node_Id) return Node_Id is
1110    begin
1111       pragma Assert (False
1112         or else NT (N).Nkind = N_Accept_Statement);
1113       return Node1 (N);
1114    end Entry_Direct_Name;
1115
1116    function Entry_Index
1117       (N : Node_Id) return Node_Id is
1118    begin
1119       pragma Assert (False
1120         or else NT (N).Nkind = N_Accept_Statement);
1121       return Node5 (N);
1122    end Entry_Index;
1123
1124    function Entry_Index_Specification
1125       (N : Node_Id) return Node_Id is
1126    begin
1127       pragma Assert (False
1128         or else NT (N).Nkind = N_Entry_Body_Formal_Part);
1129       return Node4 (N);
1130    end Entry_Index_Specification;
1131
1132    function Etype
1133       (N : Node_Id) return Node_Id is
1134    begin
1135       pragma Assert (False
1136         or else NT (N).Nkind in N_Has_Etype);
1137       return Node5 (N);
1138    end Etype;
1139
1140    function Exception_Choices
1141       (N : Node_Id) return List_Id is
1142    begin
1143       pragma Assert (False
1144         or else NT (N).Nkind = N_Exception_Handler);
1145       return List4 (N);
1146    end Exception_Choices;
1147
1148    function Exception_Handlers
1149       (N : Node_Id) return List_Id is
1150    begin
1151       pragma Assert (False
1152         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1153       return List5 (N);
1154    end Exception_Handlers;
1155
1156    function Exception_Junk
1157      (N : Node_Id) return Boolean is
1158    begin
1159       pragma Assert (False
1160         or else NT (N).Nkind = N_Block_Statement
1161         or else NT (N).Nkind = N_Goto_Statement
1162         or else NT (N).Nkind = N_Label
1163         or else NT (N).Nkind = N_Object_Declaration
1164         or else NT (N).Nkind = N_Subtype_Declaration);
1165       return Flag8 (N);
1166    end Exception_Junk;
1167
1168    function Exception_Label
1169      (N : Node_Id) return Node_Id is
1170    begin
1171       pragma Assert (False
1172         or else NT (N).Nkind = N_Exception_Handler
1173         or else NT (N).Nkind = N_Push_Constraint_Error_Label
1174         or else NT (N).Nkind = N_Push_Program_Error_Label
1175         or else NT (N).Nkind = N_Push_Storage_Error_Label);
1176       return Node5 (N);
1177    end Exception_Label;
1178
1179    function Expansion_Delayed
1180      (N : Node_Id) return Boolean is
1181    begin
1182       pragma Assert (False
1183         or else NT (N).Nkind = N_Aggregate
1184         or else NT (N).Nkind = N_Extension_Aggregate);
1185       return Flag11 (N);
1186    end Expansion_Delayed;
1187
1188    function Explicit_Actual_Parameter
1189       (N : Node_Id) return Node_Id is
1190    begin
1191       pragma Assert (False
1192         or else NT (N).Nkind = N_Parameter_Association);
1193       return Node3 (N);
1194    end Explicit_Actual_Parameter;
1195
1196    function Explicit_Generic_Actual_Parameter
1197       (N : Node_Id) return Node_Id is
1198    begin
1199       pragma Assert (False
1200         or else NT (N).Nkind = N_Generic_Association);
1201       return Node1 (N);
1202    end Explicit_Generic_Actual_Parameter;
1203
1204    function Expression
1205       (N : Node_Id) return Node_Id is
1206    begin
1207       pragma Assert (False
1208         or else NT (N).Nkind = N_Allocator
1209         or else NT (N).Nkind = N_Aspect_Specification
1210         or else NT (N).Nkind = N_Assignment_Statement
1211         or else NT (N).Nkind = N_At_Clause
1212         or else NT (N).Nkind = N_Attribute_Definition_Clause
1213         or else NT (N).Nkind = N_Case_Expression
1214         or else NT (N).Nkind = N_Case_Expression_Alternative
1215         or else NT (N).Nkind = N_Case_Statement
1216         or else NT (N).Nkind = N_Code_Statement
1217         or else NT (N).Nkind = N_Component_Association
1218         or else NT (N).Nkind = N_Component_Declaration
1219         or else NT (N).Nkind = N_Delay_Relative_Statement
1220         or else NT (N).Nkind = N_Delay_Until_Statement
1221         or else NT (N).Nkind = N_Discriminant_Association
1222         or else NT (N).Nkind = N_Discriminant_Specification
1223         or else NT (N).Nkind = N_Exception_Declaration
1224         or else NT (N).Nkind = N_Expression_Function
1225         or else NT (N).Nkind = N_Expression_With_Actions
1226         or else NT (N).Nkind = N_Free_Statement
1227         or else NT (N).Nkind = N_Mod_Clause
1228         or else NT (N).Nkind = N_Modular_Type_Definition
1229         or else NT (N).Nkind = N_Number_Declaration
1230         or else NT (N).Nkind = N_Object_Declaration
1231         or else NT (N).Nkind = N_Parameter_Specification
1232         or else NT (N).Nkind = N_Pragma_Argument_Association
1233         or else NT (N).Nkind = N_Qualified_Expression
1234         or else NT (N).Nkind = N_Raise_Statement
1235         or else NT (N).Nkind = N_Return_Statement
1236         or else NT (N).Nkind = N_Type_Conversion
1237         or else NT (N).Nkind = N_Unchecked_Expression
1238         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1239       return Node3 (N);
1240    end Expression;
1241
1242    function Expressions
1243       (N : Node_Id) return List_Id is
1244    begin
1245       pragma Assert (False
1246         or else NT (N).Nkind = N_Aggregate
1247         or else NT (N).Nkind = N_Attribute_Reference
1248         or else NT (N).Nkind = N_Conditional_Expression
1249         or else NT (N).Nkind = N_Extension_Aggregate
1250         or else NT (N).Nkind = N_Indexed_Component);
1251       return List1 (N);
1252    end Expressions;
1253
1254    function First_Bit
1255       (N : Node_Id) return Node_Id is
1256    begin
1257       pragma Assert (False
1258         or else NT (N).Nkind = N_Component_Clause);
1259       return Node3 (N);
1260    end First_Bit;
1261
1262    function First_Inlined_Subprogram
1263       (N : Node_Id) return Entity_Id is
1264    begin
1265       pragma Assert (False
1266         or else NT (N).Nkind = N_Compilation_Unit);
1267       return Node3 (N);
1268    end First_Inlined_Subprogram;
1269
1270    function First_Name
1271       (N : Node_Id) return Boolean is
1272    begin
1273       pragma Assert (False
1274         or else NT (N).Nkind = N_With_Clause);
1275       return Flag5 (N);
1276    end First_Name;
1277
1278    function First_Named_Actual
1279       (N : Node_Id) return Node_Id is
1280    begin
1281       pragma Assert (False
1282         or else NT (N).Nkind = N_Entry_Call_Statement
1283         or else NT (N).Nkind = N_Function_Call
1284         or else NT (N).Nkind = N_Procedure_Call_Statement);
1285       return Node4 (N);
1286    end First_Named_Actual;
1287
1288    function First_Real_Statement
1289       (N : Node_Id) return Node_Id is
1290    begin
1291       pragma Assert (False
1292         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1293       return Node2 (N);
1294    end First_Real_Statement;
1295
1296    function First_Subtype_Link
1297       (N : Node_Id) return Entity_Id is
1298    begin
1299       pragma Assert (False
1300         or else NT (N).Nkind = N_Freeze_Entity);
1301       return Node5 (N);
1302    end First_Subtype_Link;
1303
1304    function Float_Truncate
1305       (N : Node_Id) return Boolean is
1306    begin
1307       pragma Assert (False
1308         or else NT (N).Nkind = N_Type_Conversion);
1309       return Flag11 (N);
1310    end Float_Truncate;
1311
1312    function Formal_Type_Definition
1313       (N : Node_Id) return Node_Id is
1314    begin
1315       pragma Assert (False
1316         or else NT (N).Nkind = N_Formal_Type_Declaration);
1317       return Node3 (N);
1318    end Formal_Type_Definition;
1319
1320    function Forwards_OK
1321       (N : Node_Id) return Boolean is
1322    begin
1323       pragma Assert (False
1324         or else NT (N).Nkind = N_Assignment_Statement);
1325       return Flag5 (N);
1326    end Forwards_OK;
1327
1328    function From_Aspect_Specification
1329       (N : Node_Id) return Boolean is
1330    begin
1331       pragma Assert (False
1332         or else NT (N).Nkind = N_Attribute_Definition_Clause
1333         or else NT (N).Nkind = N_Pragma);
1334       return Flag13 (N);
1335    end From_Aspect_Specification;
1336
1337    function From_At_End
1338       (N : Node_Id) return Boolean is
1339    begin
1340       pragma Assert (False
1341         or else NT (N).Nkind = N_Raise_Statement);
1342       return Flag4 (N);
1343    end From_At_End;
1344
1345    function From_At_Mod
1346       (N : Node_Id) return Boolean is
1347    begin
1348       pragma Assert (False
1349         or else NT (N).Nkind = N_Attribute_Definition_Clause);
1350       return Flag4 (N);
1351    end From_At_Mod;
1352
1353    function From_Default
1354       (N : Node_Id) return Boolean is
1355    begin
1356       pragma Assert (False
1357         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1358       return Flag6 (N);
1359    end From_Default;
1360
1361    function Generic_Associations
1362       (N : Node_Id) return List_Id is
1363    begin
1364       pragma Assert (False
1365         or else NT (N).Nkind = N_Formal_Package_Declaration
1366         or else NT (N).Nkind = N_Function_Instantiation
1367         or else NT (N).Nkind = N_Package_Instantiation
1368         or else NT (N).Nkind = N_Procedure_Instantiation);
1369       return List3 (N);
1370    end Generic_Associations;
1371
1372    function Generic_Formal_Declarations
1373       (N : Node_Id) return List_Id is
1374    begin
1375       pragma Assert (False
1376         or else NT (N).Nkind = N_Generic_Package_Declaration
1377         or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1378       return List2 (N);
1379    end Generic_Formal_Declarations;
1380
1381    function Generic_Parent
1382       (N : Node_Id) return Node_Id is
1383    begin
1384       pragma Assert (False
1385         or else NT (N).Nkind = N_Function_Specification
1386         or else NT (N).Nkind = N_Package_Specification
1387         or else NT (N).Nkind = N_Procedure_Specification);
1388       return Node5 (N);
1389    end Generic_Parent;
1390
1391    function Generic_Parent_Type
1392       (N : Node_Id) return Node_Id is
1393    begin
1394       pragma Assert (False
1395         or else NT (N).Nkind = N_Subtype_Declaration);
1396       return Node4 (N);
1397    end Generic_Parent_Type;
1398
1399    function Handled_Statement_Sequence
1400       (N : Node_Id) return Node_Id is
1401    begin
1402       pragma Assert (False
1403         or else NT (N).Nkind = N_Accept_Statement
1404         or else NT (N).Nkind = N_Block_Statement
1405         or else NT (N).Nkind = N_Entry_Body
1406         or else NT (N).Nkind = N_Extended_Return_Statement
1407         or else NT (N).Nkind = N_Package_Body
1408         or else NT (N).Nkind = N_Subprogram_Body
1409         or else NT (N).Nkind = N_Task_Body);
1410       return Node4 (N);
1411    end Handled_Statement_Sequence;
1412
1413    function Handler_List_Entry
1414       (N : Node_Id) return Node_Id is
1415    begin
1416       pragma Assert (False
1417         or else NT (N).Nkind = N_Object_Declaration);
1418       return Node2 (N);
1419    end Handler_List_Entry;
1420
1421    function Has_Created_Identifier
1422       (N : Node_Id) return Boolean is
1423    begin
1424       pragma Assert (False
1425         or else NT (N).Nkind = N_Block_Statement
1426         or else NT (N).Nkind = N_Loop_Statement);
1427       return Flag15 (N);
1428    end Has_Created_Identifier;
1429
1430    function Has_Dereference_Action
1431       (N : Node_Id) return Boolean is
1432    begin
1433       pragma Assert (False
1434         or else NT (N).Nkind = N_Explicit_Dereference);
1435       return Flag13 (N);
1436    end Has_Dereference_Action;
1437
1438    function Has_Dynamic_Length_Check
1439       (N : Node_Id) return Boolean is
1440    begin
1441       pragma Assert (False
1442         or else NT (N).Nkind in N_Subexpr);
1443       return Flag10 (N);
1444    end Has_Dynamic_Length_Check;
1445
1446    function Has_Dynamic_Range_Check
1447       (N : Node_Id) return Boolean is
1448    begin
1449       pragma Assert (False
1450         or else NT (N).Nkind =  N_Subtype_Declaration
1451         or else NT (N).Nkind in N_Subexpr);
1452       return Flag12 (N);
1453    end Has_Dynamic_Range_Check;
1454
1455    function Has_Init_Expression
1456       (N : Node_Id) return Boolean is
1457    begin
1458       pragma Assert (False
1459         or else NT (N).Nkind = N_Object_Declaration);
1460       return Flag14 (N);
1461    end Has_Init_Expression;
1462
1463    function Has_Local_Raise
1464       (N : Node_Id) return Boolean is
1465    begin
1466       pragma Assert (False
1467         or else NT (N).Nkind = N_Exception_Handler);
1468       return Flag8 (N);
1469    end Has_Local_Raise;
1470
1471    function Has_No_Elaboration_Code
1472       (N : Node_Id) return Boolean is
1473    begin
1474       pragma Assert (False
1475         or else NT (N).Nkind = N_Compilation_Unit);
1476       return Flag17 (N);
1477    end Has_No_Elaboration_Code;
1478
1479    function Has_Pragma_Suppress_All
1480       (N : Node_Id) return Boolean is
1481    begin
1482       pragma Assert (False
1483         or else NT (N).Nkind = N_Compilation_Unit);
1484       return Flag14 (N);
1485    end Has_Pragma_Suppress_All;
1486
1487    function Has_Private_View
1488       (N : Node_Id) return Boolean is
1489    begin
1490       pragma Assert (False
1491        or else NT (N).Nkind in N_Op
1492        or else NT (N).Nkind = N_Character_Literal
1493        or else NT (N).Nkind = N_Expanded_Name
1494        or else NT (N).Nkind = N_Identifier
1495        or else NT (N).Nkind = N_Operator_Symbol);
1496       return Flag11 (N);
1497    end Has_Private_View;
1498
1499    function Has_Relative_Deadline_Pragma
1500       (N : Node_Id) return Boolean is
1501    begin
1502       pragma Assert (False
1503         or else NT (N).Nkind = N_Subprogram_Body
1504         or else NT (N).Nkind = N_Task_Definition);
1505       return Flag9 (N);
1506    end Has_Relative_Deadline_Pragma;
1507
1508    function Has_Self_Reference
1509       (N : Node_Id) return Boolean is
1510    begin
1511       pragma Assert (False
1512         or else NT (N).Nkind = N_Aggregate
1513         or else NT (N).Nkind = N_Extension_Aggregate);
1514       return Flag13 (N);
1515    end Has_Self_Reference;
1516
1517    function Has_Storage_Size_Pragma
1518       (N : Node_Id) return Boolean is
1519    begin
1520       pragma Assert (False
1521         or else NT (N).Nkind = N_Task_Definition);
1522       return Flag5 (N);
1523    end Has_Storage_Size_Pragma;
1524
1525    function Has_Wide_Character
1526       (N : Node_Id) return Boolean is
1527    begin
1528       pragma Assert (False
1529         or else NT (N).Nkind = N_String_Literal);
1530       return Flag11 (N);
1531    end Has_Wide_Character;
1532
1533    function Has_Wide_Wide_Character
1534       (N : Node_Id) return Boolean is
1535    begin
1536       pragma Assert (False
1537         or else NT (N).Nkind = N_String_Literal);
1538       return Flag13 (N);
1539    end Has_Wide_Wide_Character;
1540
1541    function Header_Size_Added
1542       (N : Node_Id) return Boolean is
1543    begin
1544       pragma Assert (False
1545         or else NT (N).Nkind = N_Attribute_Reference);
1546       return Flag11 (N);
1547    end Header_Size_Added;
1548
1549    function Hidden_By_Use_Clause
1550      (N : Node_Id) return Elist_Id is
1551    begin
1552       pragma Assert (False
1553         or else NT (N).Nkind = N_Use_Package_Clause
1554         or else NT (N).Nkind = N_Use_Type_Clause);
1555       return Elist4 (N);
1556    end Hidden_By_Use_Clause;
1557
1558    function High_Bound
1559       (N : Node_Id) return Node_Id is
1560    begin
1561       pragma Assert (False
1562         or else NT (N).Nkind = N_Range
1563         or else NT (N).Nkind = N_Real_Range_Specification
1564         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1565       return Node2 (N);
1566    end High_Bound;
1567
1568    function Identifier
1569       (N : Node_Id) return Node_Id is
1570    begin
1571       pragma Assert (False
1572         or else NT (N).Nkind = N_Aspect_Specification
1573         or else NT (N).Nkind = N_At_Clause
1574         or else NT (N).Nkind = N_Block_Statement
1575         or else NT (N).Nkind = N_Designator
1576         or else NT (N).Nkind = N_Enumeration_Representation_Clause
1577         or else NT (N).Nkind = N_Label
1578         or else NT (N).Nkind = N_Loop_Statement
1579         or else NT (N).Nkind = N_Record_Representation_Clause
1580         or else NT (N).Nkind = N_Subprogram_Info);
1581       return Node1 (N);
1582    end Identifier;
1583
1584    function Implicit_With
1585       (N : Node_Id) return Boolean is
1586    begin
1587       pragma Assert (False
1588         or else NT (N).Nkind = N_With_Clause);
1589       return Flag16 (N);
1590    end Implicit_With;
1591
1592    function Implicit_With_From_Instantiation
1593       (N : Node_Id) return Boolean is
1594    begin
1595       pragma Assert (False
1596         or else NT (N).Nkind = N_With_Clause);
1597       return Flag12 (N);
1598    end Implicit_With_From_Instantiation;
1599
1600    function Interface_List
1601       (N : Node_Id) return List_Id is
1602    begin
1603       pragma Assert (False
1604         or else NT (N).Nkind = N_Derived_Type_Definition
1605         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1606         or else NT (N).Nkind = N_Private_Extension_Declaration
1607         or else NT (N).Nkind = N_Protected_Type_Declaration
1608         or else NT (N).Nkind = N_Record_Definition
1609         or else NT (N).Nkind = N_Single_Protected_Declaration
1610         or else NT (N).Nkind = N_Single_Task_Declaration
1611         or else NT (N).Nkind = N_Task_Type_Declaration);
1612       return List2 (N);
1613    end Interface_List;
1614
1615    function Interface_Present
1616       (N : Node_Id) return Boolean is
1617    begin
1618       pragma Assert (False
1619         or else NT (N).Nkind = N_Derived_Type_Definition
1620         or else NT (N).Nkind = N_Record_Definition);
1621       return Flag16 (N);
1622    end Interface_Present;
1623
1624    function Import_Interface_Present
1625       (N : Node_Id) return Boolean is
1626    begin
1627       pragma Assert (False
1628         or else NT (N).Nkind = N_Pragma);
1629       return Flag16 (N);
1630    end Import_Interface_Present;
1631
1632    function In_Present
1633       (N : Node_Id) return Boolean is
1634    begin
1635       pragma Assert (False
1636         or else NT (N).Nkind = N_Formal_Object_Declaration
1637         or else NT (N).Nkind = N_Parameter_Specification);
1638       return Flag15 (N);
1639    end In_Present;
1640
1641    function Includes_Infinities
1642       (N : Node_Id) return Boolean is
1643    begin
1644       pragma Assert (False
1645         or else NT (N).Nkind = N_Range);
1646       return Flag11 (N);
1647    end Includes_Infinities;
1648
1649    function Inherited_Discriminant
1650       (N : Node_Id) return Boolean is
1651    begin
1652       pragma Assert (False
1653         or else NT (N).Nkind = N_Component_Association);
1654       return Flag13 (N);
1655    end Inherited_Discriminant;
1656
1657    function Instance_Spec
1658       (N : Node_Id) return Node_Id is
1659    begin
1660       pragma Assert (False
1661         or else NT (N).Nkind = N_Formal_Package_Declaration
1662         or else NT (N).Nkind = N_Function_Instantiation
1663         or else NT (N).Nkind = N_Package_Instantiation
1664         or else NT (N).Nkind = N_Procedure_Instantiation);
1665       return Node5 (N);
1666    end Instance_Spec;
1667
1668    function Intval
1669       (N : Node_Id) return Uint is
1670    begin
1671       pragma Assert (False
1672         or else NT (N).Nkind = N_Integer_Literal);
1673       return Uint3 (N);
1674    end Intval;
1675
1676    function Is_Accessibility_Actual
1677      (N : Node_Id) return Boolean is
1678    begin
1679       pragma Assert (False
1680         or else NT (N).Nkind = N_Parameter_Association);
1681       return Flag13 (N);
1682    end Is_Accessibility_Actual;
1683
1684    function Is_Asynchronous_Call_Block
1685       (N : Node_Id) return Boolean is
1686    begin
1687       pragma Assert (False
1688         or else NT (N).Nkind = N_Block_Statement);
1689       return Flag7 (N);
1690    end Is_Asynchronous_Call_Block;
1691
1692    function Is_Boolean_Aspect
1693       (N : Node_Id) return Boolean is
1694    begin
1695       pragma Assert (False
1696         or else NT (N).Nkind = N_Aspect_Specification);
1697       return Flag16 (N);
1698    end Is_Boolean_Aspect;
1699
1700    function Is_Component_Left_Opnd
1701       (N : Node_Id) return Boolean is
1702    begin
1703       pragma Assert (False
1704         or else NT (N).Nkind = N_Op_Concat);
1705       return Flag13 (N);
1706    end Is_Component_Left_Opnd;
1707
1708    function Is_Component_Right_Opnd
1709       (N : Node_Id) return Boolean is
1710    begin
1711       pragma Assert (False
1712         or else NT (N).Nkind = N_Op_Concat);
1713       return Flag14 (N);
1714    end Is_Component_Right_Opnd;
1715
1716    function Is_Controlling_Actual
1717       (N : Node_Id) return Boolean is
1718    begin
1719       pragma Assert (False
1720         or else NT (N).Nkind in N_Subexpr);
1721       return Flag16 (N);
1722    end Is_Controlling_Actual;
1723
1724    function Is_Delayed_Aspect
1725       (N : Node_Id) return Boolean is
1726    begin
1727       pragma Assert (False
1728         or else NT (N).Nkind = N_Aspect_Specification
1729         or else NT (N).Nkind = N_Attribute_Definition_Clause
1730         or else NT (N).Nkind = N_Pragma);
1731       return Flag14 (N);
1732    end Is_Delayed_Aspect;
1733
1734    function Is_Dynamic_Coextension
1735       (N : Node_Id) return Boolean is
1736    begin
1737       pragma Assert (False
1738         or else NT (N).Nkind = N_Allocator);
1739       return Flag18 (N);
1740    end Is_Dynamic_Coextension;
1741
1742    function Is_Elsif
1743      (N : Node_Id) return Boolean is
1744    begin
1745       pragma Assert (False
1746         or else NT (N).Nkind = N_Conditional_Expression);
1747       return Flag13 (N);
1748    end Is_Elsif;
1749
1750    function Is_Entry_Barrier_Function
1751       (N : Node_Id) return Boolean is
1752    begin
1753       pragma Assert (False
1754         or else NT (N).Nkind = N_Subprogram_Body);
1755       return Flag8 (N);
1756    end Is_Entry_Barrier_Function;
1757
1758    function Is_Expanded_Build_In_Place_Call
1759       (N : Node_Id) return Boolean is
1760    begin
1761       pragma Assert (False
1762         or else NT (N).Nkind = N_Function_Call);
1763       return Flag11 (N);
1764    end Is_Expanded_Build_In_Place_Call;
1765
1766    function Is_Finalization_Wrapper
1767       (N : Node_Id) return Boolean is
1768    begin
1769       pragma Assert (False
1770         or else NT (N).Nkind = N_Block_Statement);
1771       return Flag9 (N);
1772    end Is_Finalization_Wrapper;
1773
1774    function Is_Folded_In_Parser
1775       (N : Node_Id) return Boolean is
1776    begin
1777       pragma Assert (False
1778         or else NT (N).Nkind = N_String_Literal);
1779       return Flag4 (N);
1780    end Is_Folded_In_Parser;
1781
1782    function Is_In_Discriminant_Check
1783       (N : Node_Id) return Boolean is
1784    begin
1785       pragma Assert (False
1786         or else NT (N).Nkind = N_Selected_Component);
1787       return Flag11 (N);
1788    end Is_In_Discriminant_Check;
1789
1790    function Is_Machine_Number
1791       (N : Node_Id) return Boolean is
1792    begin
1793       pragma Assert (False
1794         or else NT (N).Nkind = N_Real_Literal);
1795       return Flag11 (N);
1796    end Is_Machine_Number;
1797
1798    function Is_Null_Loop
1799       (N : Node_Id) return Boolean is
1800    begin
1801       pragma Assert (False
1802         or else NT (N).Nkind = N_Loop_Statement);
1803       return Flag16 (N);
1804    end Is_Null_Loop;
1805
1806    function Is_Overloaded
1807       (N : Node_Id) return Boolean is
1808    begin
1809       pragma Assert (False
1810         or else NT (N).Nkind in N_Subexpr);
1811       return Flag5 (N);
1812    end Is_Overloaded;
1813
1814    function Is_Power_Of_2_For_Shift
1815       (N : Node_Id) return Boolean is
1816    begin
1817       pragma Assert (False
1818         or else NT (N).Nkind = N_Op_Expon);
1819       return Flag13 (N);
1820    end Is_Power_Of_2_For_Shift;
1821
1822    function Is_Prefixed_Call
1823       (N : Node_Id) return Boolean is
1824    begin
1825       pragma Assert (False
1826         or else NT (N).Nkind = N_Selected_Component);
1827       return Flag17 (N);
1828    end Is_Prefixed_Call;
1829
1830    function Is_Protected_Subprogram_Body
1831       (N : Node_Id) return Boolean is
1832    begin
1833       pragma Assert (False
1834         or else NT (N).Nkind = N_Subprogram_Body);
1835       return Flag7 (N);
1836    end Is_Protected_Subprogram_Body;
1837
1838    function Is_Static_Coextension
1839       (N : Node_Id) return Boolean is
1840    begin
1841       pragma Assert (False
1842         or else NT (N).Nkind = N_Allocator);
1843       return Flag14 (N);
1844    end Is_Static_Coextension;
1845
1846    function Is_Static_Expression
1847       (N : Node_Id) return Boolean is
1848    begin
1849       pragma Assert (False
1850         or else NT (N).Nkind in N_Subexpr);
1851       return Flag6 (N);
1852    end Is_Static_Expression;
1853
1854    function Is_Subprogram_Descriptor
1855       (N : Node_Id) return Boolean is
1856    begin
1857       pragma Assert (False
1858         or else NT (N).Nkind = N_Object_Declaration);
1859       return Flag16 (N);
1860    end Is_Subprogram_Descriptor;
1861
1862    function Is_Task_Allocation_Block
1863       (N : Node_Id) return Boolean is
1864    begin
1865       pragma Assert (False
1866         or else NT (N).Nkind = N_Block_Statement);
1867       return Flag6 (N);
1868    end Is_Task_Allocation_Block;
1869
1870    function Is_Task_Master
1871       (N : Node_Id) return Boolean is
1872    begin
1873       pragma Assert (False
1874         or else NT (N).Nkind = N_Block_Statement
1875         or else NT (N).Nkind = N_Subprogram_Body
1876         or else NT (N).Nkind = N_Task_Body);
1877       return Flag5 (N);
1878    end Is_Task_Master;
1879
1880    function Iteration_Scheme
1881       (N : Node_Id) return Node_Id is
1882    begin
1883       pragma Assert (False
1884         or else NT (N).Nkind = N_Loop_Statement);
1885       return Node2 (N);
1886    end Iteration_Scheme;
1887
1888    function Iterator_Specification
1889      (N : Node_Id) return Node_Id is
1890    begin
1891       pragma Assert (False
1892         or else NT (N).Nkind = N_Iteration_Scheme
1893         or else NT (N).Nkind = N_Quantified_Expression);
1894       return Node2 (N);
1895    end Iterator_Specification;
1896
1897    function Itype
1898       (N : Node_Id) return Node_Id is
1899    begin
1900       pragma Assert (False
1901       or else NT (N).Nkind = N_Itype_Reference);
1902       return Node1 (N);
1903    end Itype;
1904
1905    function Kill_Range_Check
1906       (N : Node_Id) return Boolean is
1907    begin
1908       pragma Assert (False
1909         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1910       return Flag11 (N);
1911    end Kill_Range_Check;
1912
1913    function Label_Construct
1914       (N : Node_Id) return Node_Id is
1915    begin
1916       pragma Assert (False
1917         or else NT (N).Nkind = N_Implicit_Label_Declaration);
1918       return Node2 (N);
1919    end Label_Construct;
1920
1921    function Last_Bit
1922       (N : Node_Id) return Node_Id is
1923    begin
1924       pragma Assert (False
1925         or else NT (N).Nkind = N_Component_Clause);
1926       return Node4 (N);
1927    end Last_Bit;
1928
1929    function Last_Name
1930       (N : Node_Id) return Boolean is
1931    begin
1932       pragma Assert (False
1933         or else NT (N).Nkind = N_With_Clause);
1934       return Flag6 (N);
1935    end Last_Name;
1936
1937    function Left_Opnd
1938       (N : Node_Id) return Node_Id is
1939    begin
1940       pragma Assert (False
1941         or else NT (N).Nkind = N_And_Then
1942         or else NT (N).Nkind = N_In
1943         or else NT (N).Nkind = N_Not_In
1944         or else NT (N).Nkind = N_Or_Else
1945         or else NT (N).Nkind in N_Binary_Op);
1946       return Node2 (N);
1947    end Left_Opnd;
1948
1949    function Library_Unit
1950       (N : Node_Id) return Node_Id is
1951    begin
1952       pragma Assert (False
1953         or else NT (N).Nkind = N_Compilation_Unit
1954         or else NT (N).Nkind = N_Package_Body_Stub
1955         or else NT (N).Nkind = N_Protected_Body_Stub
1956         or else NT (N).Nkind = N_Subprogram_Body_Stub
1957         or else NT (N).Nkind = N_Task_Body_Stub
1958         or else NT (N).Nkind = N_With_Clause);
1959       return Node4 (N);
1960    end Library_Unit;
1961
1962    function Limited_View_Installed
1963       (N : Node_Id) return Boolean is
1964    begin
1965       pragma Assert (False
1966         or else NT (N).Nkind = N_Package_Specification
1967         or else NT (N).Nkind = N_With_Clause);
1968       return Flag18 (N);
1969    end Limited_View_Installed;
1970
1971    function Limited_Present
1972       (N : Node_Id) return Boolean is
1973    begin
1974       pragma Assert (False
1975         or else NT (N).Nkind = N_Derived_Type_Definition
1976         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
1977         or else NT (N).Nkind = N_Formal_Private_Type_Definition
1978         or else NT (N).Nkind = N_Private_Extension_Declaration
1979         or else NT (N).Nkind = N_Private_Type_Declaration
1980         or else NT (N).Nkind = N_Record_Definition
1981         or else NT (N).Nkind = N_With_Clause);
1982       return Flag17 (N);
1983    end Limited_Present;
1984
1985    function Literals
1986       (N : Node_Id) return List_Id is
1987    begin
1988       pragma Assert (False
1989         or else NT (N).Nkind = N_Enumeration_Type_Definition);
1990       return List1 (N);
1991    end Literals;
1992
1993    function Local_Raise_Not_OK
1994       (N : Node_Id) return Boolean is
1995    begin
1996       pragma Assert (False
1997         or else NT (N).Nkind = N_Exception_Handler);
1998       return Flag7 (N);
1999    end Local_Raise_Not_OK;
2000
2001    function Local_Raise_Statements
2002       (N : Node_Id) return Elist_Id is
2003    begin
2004       pragma Assert (False
2005         or else NT (N).Nkind = N_Exception_Handler);
2006       return Elist1 (N);
2007    end Local_Raise_Statements;
2008
2009    function Loop_Actions
2010       (N : Node_Id) return List_Id is
2011    begin
2012       pragma Assert (False
2013         or else NT (N).Nkind = N_Component_Association);
2014       return List2 (N);
2015    end Loop_Actions;
2016
2017    function Loop_Parameter_Specification
2018       (N : Node_Id) return Node_Id is
2019    begin
2020       pragma Assert (False
2021         or else NT (N).Nkind = N_Iteration_Scheme
2022         or else NT (N).Nkind = N_Quantified_Expression);
2023       return Node4 (N);
2024    end Loop_Parameter_Specification;
2025
2026    function Low_Bound
2027       (N : Node_Id) return Node_Id is
2028    begin
2029       pragma Assert (False
2030         or else NT (N).Nkind = N_Range
2031         or else NT (N).Nkind = N_Real_Range_Specification
2032         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
2033       return Node1 (N);
2034    end Low_Bound;
2035
2036    function Mod_Clause
2037       (N : Node_Id) return Node_Id is
2038    begin
2039       pragma Assert (False
2040         or else NT (N).Nkind = N_Record_Representation_Clause);
2041       return Node2 (N);
2042    end Mod_Clause;
2043
2044    function More_Ids
2045       (N : Node_Id) return Boolean is
2046    begin
2047       pragma Assert (False
2048         or else NT (N).Nkind = N_Component_Declaration
2049         or else NT (N).Nkind = N_Discriminant_Specification
2050         or else NT (N).Nkind = N_Exception_Declaration
2051         or else NT (N).Nkind = N_Formal_Object_Declaration
2052         or else NT (N).Nkind = N_Number_Declaration
2053         or else NT (N).Nkind = N_Object_Declaration
2054         or else NT (N).Nkind = N_Parameter_Specification);
2055       return Flag5 (N);
2056    end More_Ids;
2057
2058    function Must_Be_Byte_Aligned
2059       (N : Node_Id) return Boolean is
2060    begin
2061       pragma Assert (False
2062         or else NT (N).Nkind = N_Attribute_Reference);
2063       return Flag14 (N);
2064    end Must_Be_Byte_Aligned;
2065
2066    function Must_Not_Freeze
2067       (N : Node_Id) return Boolean is
2068    begin
2069       pragma Assert (False
2070         or else NT (N).Nkind = N_Subtype_Indication
2071         or else NT (N).Nkind in N_Subexpr);
2072       return Flag8 (N);
2073    end Must_Not_Freeze;
2074
2075    function Must_Not_Override
2076       (N : Node_Id) return Boolean is
2077    begin
2078       pragma Assert (False
2079         or else NT (N).Nkind = N_Entry_Declaration
2080         or else NT (N).Nkind = N_Function_Instantiation
2081         or else NT (N).Nkind = N_Function_Specification
2082         or else NT (N).Nkind = N_Procedure_Instantiation
2083         or else NT (N).Nkind = N_Procedure_Specification);
2084       return Flag15 (N);
2085    end Must_Not_Override;
2086
2087    function Must_Override
2088       (N : Node_Id) return Boolean is
2089    begin
2090       pragma Assert (False
2091         or else NT (N).Nkind = N_Entry_Declaration
2092         or else NT (N).Nkind = N_Function_Instantiation
2093         or else NT (N).Nkind = N_Function_Specification
2094         or else NT (N).Nkind = N_Procedure_Instantiation
2095         or else NT (N).Nkind = N_Procedure_Specification);
2096       return Flag14 (N);
2097    end Must_Override;
2098
2099    function Name
2100       (N : Node_Id) return Node_Id is
2101    begin
2102       pragma Assert (False
2103         or else NT (N).Nkind = N_Assignment_Statement
2104         or else NT (N).Nkind = N_Attribute_Definition_Clause
2105         or else NT (N).Nkind = N_Defining_Program_Unit_Name
2106         or else NT (N).Nkind = N_Designator
2107         or else NT (N).Nkind = N_Entry_Call_Statement
2108         or else NT (N).Nkind = N_Exception_Renaming_Declaration
2109         or else NT (N).Nkind = N_Exit_Statement
2110         or else NT (N).Nkind = N_Formal_Package_Declaration
2111         or else NT (N).Nkind = N_Function_Call
2112         or else NT (N).Nkind = N_Function_Instantiation
2113         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2114         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2115         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2116         or else NT (N).Nkind = N_Goto_Statement
2117         or else NT (N).Nkind = N_Iterator_Specification
2118         or else NT (N).Nkind = N_Object_Renaming_Declaration
2119         or else NT (N).Nkind = N_Package_Instantiation
2120         or else NT (N).Nkind = N_Package_Renaming_Declaration
2121         or else NT (N).Nkind = N_Procedure_Call_Statement
2122         or else NT (N).Nkind = N_Procedure_Instantiation
2123         or else NT (N).Nkind = N_Raise_Statement
2124         or else NT (N).Nkind = N_Requeue_Statement
2125         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2126         or else NT (N).Nkind = N_Subunit
2127         or else NT (N).Nkind = N_Variant_Part
2128         or else NT (N).Nkind = N_With_Clause);
2129       return Node2 (N);
2130    end Name;
2131
2132    function Names
2133       (N : Node_Id) return List_Id is
2134    begin
2135       pragma Assert (False
2136         or else NT (N).Nkind = N_Abort_Statement
2137         or else NT (N).Nkind = N_Use_Package_Clause);
2138       return List2 (N);
2139    end Names;
2140
2141    function Next_Entity
2142       (N : Node_Id) return Node_Id is
2143    begin
2144       pragma Assert (False
2145         or else NT (N).Nkind = N_Defining_Character_Literal
2146         or else NT (N).Nkind = N_Defining_Identifier
2147         or else NT (N).Nkind = N_Defining_Operator_Symbol);
2148       return Node2 (N);
2149    end Next_Entity;
2150
2151    function Next_Exit_Statement
2152      (N : Node_Id) return Node_Id is
2153    begin
2154       pragma Assert (False
2155         or else NT (N).Nkind = N_Exit_Statement);
2156       return Node3 (N);
2157    end Next_Exit_Statement;
2158
2159    function Next_Implicit_With
2160      (N : Node_Id) return Node_Id is
2161    begin
2162       pragma Assert (False
2163         or else NT (N).Nkind = N_With_Clause);
2164       return Node3 (N);
2165    end Next_Implicit_With;
2166
2167    function Next_Named_Actual
2168       (N : Node_Id) return Node_Id is
2169    begin
2170       pragma Assert (False
2171         or else NT (N).Nkind = N_Parameter_Association);
2172       return Node4 (N);
2173    end Next_Named_Actual;
2174
2175    function Next_Pragma
2176       (N : Node_Id) return Node_Id is
2177    begin
2178       pragma Assert (False
2179         or else NT (N).Nkind = N_Pragma);
2180       return Node1 (N);
2181    end Next_Pragma;
2182
2183    function Next_Rep_Item
2184       (N : Node_Id) return Node_Id is
2185    begin
2186       pragma Assert (False
2187         or else NT (N).Nkind = N_Aspect_Specification
2188         or else NT (N).Nkind = N_Attribute_Definition_Clause
2189         or else NT (N).Nkind = N_Enumeration_Representation_Clause
2190         or else NT (N).Nkind = N_Pragma
2191         or else NT (N).Nkind = N_Record_Representation_Clause);
2192       return Node5 (N);
2193    end Next_Rep_Item;
2194
2195    function Next_Use_Clause
2196       (N : Node_Id) return Node_Id is
2197    begin
2198       pragma Assert (False
2199         or else NT (N).Nkind = N_Use_Package_Clause
2200         or else NT (N).Nkind = N_Use_Type_Clause);
2201       return Node3 (N);
2202    end Next_Use_Clause;
2203
2204    function No_Ctrl_Actions
2205       (N : Node_Id) return Boolean is
2206    begin
2207       pragma Assert (False
2208         or else NT (N).Nkind = N_Assignment_Statement);
2209       return Flag7 (N);
2210    end No_Ctrl_Actions;
2211
2212    function No_Elaboration_Check
2213       (N : Node_Id) return Boolean is
2214    begin
2215       pragma Assert (False
2216         or else NT (N).Nkind = N_Function_Call
2217         or else NT (N).Nkind = N_Procedure_Call_Statement);
2218       return Flag14 (N);
2219    end No_Elaboration_Check;
2220
2221    function No_Entities_Ref_In_Spec
2222       (N : Node_Id) return Boolean is
2223    begin
2224       pragma Assert (False
2225         or else NT (N).Nkind = N_With_Clause);
2226       return Flag8 (N);
2227    end No_Entities_Ref_In_Spec;
2228
2229    function No_Initialization
2230       (N : Node_Id) return Boolean is
2231    begin
2232       pragma Assert (False
2233         or else NT (N).Nkind = N_Allocator
2234         or else NT (N).Nkind = N_Object_Declaration);
2235       return Flag13 (N);
2236    end No_Initialization;
2237
2238    function No_Truncation
2239       (N : Node_Id) return Boolean is
2240    begin
2241       pragma Assert (False
2242         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2243       return Flag17 (N);
2244    end No_Truncation;
2245
2246    function Null_Present
2247       (N : Node_Id) return Boolean is
2248    begin
2249       pragma Assert (False
2250         or else NT (N).Nkind = N_Component_List
2251         or else NT (N).Nkind = N_Procedure_Specification
2252         or else NT (N).Nkind = N_Record_Definition);
2253       return Flag13 (N);
2254    end Null_Present;
2255
2256    function Null_Exclusion_Present
2257       (N : Node_Id) return Boolean is
2258    begin
2259       pragma Assert (False
2260         or else NT (N).Nkind = N_Access_Definition
2261         or else NT (N).Nkind = N_Access_Function_Definition
2262         or else NT (N).Nkind = N_Access_Procedure_Definition
2263         or else NT (N).Nkind = N_Access_To_Object_Definition
2264         or else NT (N).Nkind = N_Allocator
2265         or else NT (N).Nkind = N_Component_Definition
2266         or else NT (N).Nkind = N_Derived_Type_Definition
2267         or else NT (N).Nkind = N_Discriminant_Specification
2268         or else NT (N).Nkind = N_Formal_Object_Declaration
2269         or else NT (N).Nkind = N_Function_Specification
2270         or else NT (N).Nkind = N_Object_Declaration
2271         or else NT (N).Nkind = N_Object_Renaming_Declaration
2272         or else NT (N).Nkind = N_Parameter_Specification
2273         or else NT (N).Nkind = N_Subtype_Declaration);
2274       return Flag11 (N);
2275    end Null_Exclusion_Present;
2276
2277    function Null_Exclusion_In_Return_Present
2278       (N : Node_Id) return Boolean is
2279    begin
2280       pragma Assert (False
2281         or else NT (N).Nkind = N_Access_Function_Definition);
2282       return Flag14 (N);
2283    end Null_Exclusion_In_Return_Present;
2284
2285    function Null_Record_Present
2286       (N : Node_Id) return Boolean is
2287    begin
2288       pragma Assert (False
2289         or else NT (N).Nkind = N_Aggregate
2290         or else NT (N).Nkind = N_Extension_Aggregate);
2291       return Flag17 (N);
2292    end Null_Record_Present;
2293
2294    function Object_Definition
2295       (N : Node_Id) return Node_Id is
2296    begin
2297       pragma Assert (False
2298         or else NT (N).Nkind = N_Object_Declaration);
2299       return Node4 (N);
2300    end Object_Definition;
2301
2302    function Of_Present
2303       (N : Node_Id) return Boolean is
2304    begin
2305       pragma Assert (False
2306         or else NT (N).Nkind = N_Iterator_Specification);
2307       return Flag16 (N);
2308    end Of_Present;
2309
2310    function Original_Discriminant
2311       (N : Node_Id) return Node_Id is
2312    begin
2313       pragma Assert (False
2314         or else NT (N).Nkind = N_Identifier);
2315       return Node2 (N);
2316    end Original_Discriminant;
2317
2318    function Original_Entity
2319       (N : Node_Id) return Entity_Id is
2320    begin
2321       pragma Assert (False
2322         or else NT (N).Nkind = N_Integer_Literal
2323         or else NT (N).Nkind = N_Real_Literal);
2324       return Node2 (N);
2325    end Original_Entity;
2326
2327    function Others_Discrete_Choices
2328       (N : Node_Id) return List_Id is
2329    begin
2330       pragma Assert (False
2331         or else NT (N).Nkind = N_Others_Choice);
2332       return List1 (N);
2333    end Others_Discrete_Choices;
2334
2335    function Out_Present
2336       (N : Node_Id) return Boolean is
2337    begin
2338       pragma Assert (False
2339         or else NT (N).Nkind = N_Formal_Object_Declaration
2340         or else NT (N).Nkind = N_Parameter_Specification);
2341       return Flag17 (N);
2342    end Out_Present;
2343
2344    function Parameter_Associations
2345       (N : Node_Id) return List_Id is
2346    begin
2347       pragma Assert (False
2348         or else NT (N).Nkind = N_Entry_Call_Statement
2349         or else NT (N).Nkind = N_Function_Call
2350         or else NT (N).Nkind = N_Procedure_Call_Statement);
2351       return List3 (N);
2352    end Parameter_Associations;
2353
2354    function Parameter_List_Truncated
2355       (N : Node_Id) return Boolean is
2356    begin
2357       pragma Assert (False
2358         or else NT (N).Nkind = N_Function_Call
2359         or else NT (N).Nkind = N_Procedure_Call_Statement);
2360       return Flag17 (N);
2361    end Parameter_List_Truncated;
2362
2363    function Parameter_Specifications
2364       (N : Node_Id) return List_Id is
2365    begin
2366       pragma Assert (False
2367         or else NT (N).Nkind = N_Accept_Statement
2368         or else NT (N).Nkind = N_Access_Function_Definition
2369         or else NT (N).Nkind = N_Access_Procedure_Definition
2370         or else NT (N).Nkind = N_Entry_Body_Formal_Part
2371         or else NT (N).Nkind = N_Entry_Declaration
2372         or else NT (N).Nkind = N_Function_Specification
2373         or else NT (N).Nkind = N_Procedure_Specification);
2374       return List3 (N);
2375    end Parameter_Specifications;
2376
2377    function Parameter_Type
2378       (N : Node_Id) return Node_Id is
2379    begin
2380       pragma Assert (False
2381         or else NT (N).Nkind = N_Parameter_Specification);
2382       return Node2 (N);
2383    end Parameter_Type;
2384
2385    function Parent_Spec
2386       (N : Node_Id) return Node_Id is
2387    begin
2388       pragma Assert (False
2389         or else NT (N).Nkind = N_Function_Instantiation
2390         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
2391         or else NT (N).Nkind = N_Generic_Package_Declaration
2392         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
2393         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
2394         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2395         or else NT (N).Nkind = N_Package_Declaration
2396         or else NT (N).Nkind = N_Package_Instantiation
2397         or else NT (N).Nkind = N_Package_Renaming_Declaration
2398         or else NT (N).Nkind = N_Procedure_Instantiation
2399         or else NT (N).Nkind = N_Subprogram_Declaration
2400         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2401       return Node4 (N);
2402    end Parent_Spec;
2403
2404    function Position
2405       (N : Node_Id) return Node_Id is
2406    begin
2407       pragma Assert (False
2408         or else NT (N).Nkind = N_Component_Clause);
2409       return Node2 (N);
2410    end Position;
2411
2412    function Pragma_Argument_Associations
2413       (N : Node_Id) return List_Id is
2414    begin
2415       pragma Assert (False
2416         or else NT (N).Nkind = N_Pragma);
2417       return List2 (N);
2418    end Pragma_Argument_Associations;
2419
2420    function Pragma_Identifier
2421       (N : Node_Id) return Node_Id is
2422    begin
2423       pragma Assert (False
2424         or else NT (N).Nkind = N_Pragma);
2425       return Node4 (N);
2426    end Pragma_Identifier;
2427
2428    function Pragmas_After
2429       (N : Node_Id) return List_Id is
2430    begin
2431       pragma Assert (False
2432         or else NT (N).Nkind = N_Compilation_Unit_Aux
2433         or else NT (N).Nkind = N_Terminate_Alternative);
2434       return List5 (N);
2435    end Pragmas_After;
2436
2437    function Pragmas_Before
2438       (N : Node_Id) return List_Id is
2439    begin
2440       pragma Assert (False
2441         or else NT (N).Nkind = N_Accept_Alternative
2442         or else NT (N).Nkind = N_Delay_Alternative
2443         or else NT (N).Nkind = N_Entry_Call_Alternative
2444         or else NT (N).Nkind = N_Mod_Clause
2445         or else NT (N).Nkind = N_Terminate_Alternative
2446         or else NT (N).Nkind = N_Triggering_Alternative);
2447       return List4 (N);
2448    end Pragmas_Before;
2449
2450    function Prefix
2451       (N : Node_Id) return Node_Id is
2452    begin
2453       pragma Assert (False
2454         or else NT (N).Nkind = N_Attribute_Reference
2455         or else NT (N).Nkind = N_Expanded_Name
2456         or else NT (N).Nkind = N_Explicit_Dereference
2457         or else NT (N).Nkind = N_Indexed_Component
2458         or else NT (N).Nkind = N_Reference
2459         or else NT (N).Nkind = N_Selected_Component
2460         or else NT (N).Nkind = N_Slice);
2461       return Node3 (N);
2462    end Prefix;
2463
2464    function Premature_Use
2465       (N : Node_Id) return Node_Id is
2466    begin
2467       pragma Assert (False
2468         or else NT (N).Nkind = N_Incomplete_Type_Declaration);
2469       return Node5 (N);
2470    end Premature_Use;
2471
2472    function Present_Expr
2473       (N : Node_Id) return Uint is
2474    begin
2475       pragma Assert (False
2476         or else NT (N).Nkind = N_Variant);
2477       return Uint3 (N);
2478    end Present_Expr;
2479
2480    function Prev_Ids
2481       (N : Node_Id) return Boolean is
2482    begin
2483       pragma Assert (False
2484         or else NT (N).Nkind = N_Component_Declaration
2485         or else NT (N).Nkind = N_Discriminant_Specification
2486         or else NT (N).Nkind = N_Exception_Declaration
2487         or else NT (N).Nkind = N_Formal_Object_Declaration
2488         or else NT (N).Nkind = N_Number_Declaration
2489         or else NT (N).Nkind = N_Object_Declaration
2490         or else NT (N).Nkind = N_Parameter_Specification);
2491       return Flag6 (N);
2492    end Prev_Ids;
2493
2494    function Print_In_Hex
2495       (N : Node_Id) return Boolean is
2496    begin
2497       pragma Assert (False
2498         or else NT (N).Nkind = N_Integer_Literal);
2499       return Flag13 (N);
2500    end Print_In_Hex;
2501
2502    function Private_Declarations
2503       (N : Node_Id) return List_Id is
2504    begin
2505       pragma Assert (False
2506         or else NT (N).Nkind = N_Package_Specification
2507         or else NT (N).Nkind = N_Protected_Definition
2508         or else NT (N).Nkind = N_Task_Definition);
2509       return List3 (N);
2510    end Private_Declarations;
2511
2512    function Private_Present
2513       (N : Node_Id) return Boolean is
2514    begin
2515       pragma Assert (False
2516         or else NT (N).Nkind = N_Compilation_Unit
2517         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2518         or else NT (N).Nkind = N_With_Clause);
2519       return Flag15 (N);
2520    end Private_Present;
2521
2522    function Procedure_To_Call
2523       (N : Node_Id) return Node_Id is
2524    begin
2525       pragma Assert (False
2526         or else NT (N).Nkind = N_Allocator
2527         or else NT (N).Nkind = N_Extended_Return_Statement
2528         or else NT (N).Nkind = N_Free_Statement
2529         or else NT (N).Nkind = N_Return_Statement);
2530       return Node2 (N);
2531    end Procedure_To_Call;
2532
2533    function Proper_Body
2534       (N : Node_Id) return Node_Id is
2535    begin
2536       pragma Assert (False
2537         or else NT (N).Nkind = N_Subunit);
2538       return Node1 (N);
2539    end Proper_Body;
2540
2541    function Protected_Definition
2542       (N : Node_Id) return Node_Id is
2543    begin
2544       pragma Assert (False
2545         or else NT (N).Nkind = N_Protected_Type_Declaration
2546         or else NT (N).Nkind = N_Single_Protected_Declaration);
2547       return Node3 (N);
2548    end Protected_Definition;
2549
2550    function Protected_Present
2551       (N : Node_Id) return Boolean is
2552    begin
2553       pragma Assert (False
2554         or else NT (N).Nkind = N_Access_Function_Definition
2555         or else NT (N).Nkind = N_Access_Procedure_Definition
2556         or else NT (N).Nkind = N_Derived_Type_Definition
2557         or else NT (N).Nkind = N_Record_Definition);
2558       return Flag6 (N);
2559    end Protected_Present;
2560
2561    function Raises_Constraint_Error
2562       (N : Node_Id) return Boolean is
2563    begin
2564       pragma Assert (False
2565         or else NT (N).Nkind in N_Subexpr);
2566       return Flag7 (N);
2567    end Raises_Constraint_Error;
2568
2569    function Range_Constraint
2570       (N : Node_Id) return Node_Id is
2571    begin
2572       pragma Assert (False
2573         or else NT (N).Nkind = N_Delta_Constraint
2574         or else NT (N).Nkind = N_Digits_Constraint);
2575       return Node4 (N);
2576    end Range_Constraint;
2577
2578    function Range_Expression
2579       (N : Node_Id) return Node_Id is
2580    begin
2581       pragma Assert (False
2582         or else NT (N).Nkind = N_Range_Constraint);
2583       return Node4 (N);
2584    end Range_Expression;
2585
2586    function Real_Range_Specification
2587       (N : Node_Id) return Node_Id is
2588    begin
2589       pragma Assert (False
2590         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2591         or else NT (N).Nkind = N_Floating_Point_Definition
2592         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2593       return Node4 (N);
2594    end Real_Range_Specification;
2595
2596    function Realval
2597       (N : Node_Id) return Ureal is
2598    begin
2599       pragma Assert (False
2600         or else NT (N).Nkind = N_Real_Literal);
2601       return Ureal3 (N);
2602    end Realval;
2603
2604    function Reason
2605       (N : Node_Id) return Uint is
2606    begin
2607       pragma Assert (False
2608         or else NT (N).Nkind = N_Raise_Constraint_Error
2609         or else NT (N).Nkind = N_Raise_Program_Error
2610         or else NT (N).Nkind = N_Raise_Storage_Error);
2611       return Uint3 (N);
2612    end Reason;
2613
2614    function Record_Extension_Part
2615       (N : Node_Id) return Node_Id is
2616    begin
2617       pragma Assert (False
2618         or else NT (N).Nkind = N_Derived_Type_Definition);
2619       return Node3 (N);
2620    end Record_Extension_Part;
2621
2622    function Redundant_Use
2623       (N : Node_Id) return Boolean is
2624    begin
2625       pragma Assert (False
2626         or else NT (N).Nkind = N_Attribute_Reference
2627         or else NT (N).Nkind = N_Expanded_Name
2628         or else NT (N).Nkind = N_Identifier);
2629       return Flag13 (N);
2630    end Redundant_Use;
2631
2632    function Renaming_Exception
2633       (N : Node_Id) return Node_Id is
2634    begin
2635       pragma Assert (False
2636         or else NT (N).Nkind = N_Exception_Declaration);
2637       return Node2 (N);
2638    end Renaming_Exception;
2639
2640    function Result_Definition
2641      (N : Node_Id) return Node_Id is
2642    begin
2643       pragma Assert (False
2644         or else NT (N).Nkind = N_Access_Function_Definition
2645         or else NT (N).Nkind = N_Function_Specification);
2646       return Node4 (N);
2647    end Result_Definition;
2648
2649    function Return_Object_Declarations
2650      (N : Node_Id) return List_Id is
2651    begin
2652       pragma Assert (False
2653         or else NT (N).Nkind = N_Extended_Return_Statement);
2654       return List3 (N);
2655    end Return_Object_Declarations;
2656
2657    function Return_Statement_Entity
2658      (N : Node_Id) return Node_Id is
2659    begin
2660       pragma Assert (False
2661         or else NT (N).Nkind = N_Extended_Return_Statement
2662         or else NT (N).Nkind = N_Return_Statement);
2663       return Node5 (N);
2664    end Return_Statement_Entity;
2665
2666    function Reverse_Present
2667       (N : Node_Id) return Boolean is
2668    begin
2669       pragma Assert (False
2670         or else NT (N).Nkind = N_Iterator_Specification
2671         or else NT (N).Nkind = N_Loop_Parameter_Specification);
2672       return Flag15 (N);
2673    end Reverse_Present;
2674
2675    function Right_Opnd
2676       (N : Node_Id) return Node_Id is
2677    begin
2678       pragma Assert (False
2679         or else NT (N).Nkind in N_Op
2680         or else NT (N).Nkind = N_And_Then
2681         or else NT (N).Nkind = N_In
2682         or else NT (N).Nkind = N_Not_In
2683         or else NT (N).Nkind = N_Or_Else);
2684       return Node3 (N);
2685    end Right_Opnd;
2686
2687    function Rounded_Result
2688       (N : Node_Id) return Boolean is
2689    begin
2690       pragma Assert (False
2691         or else NT (N).Nkind = N_Op_Divide
2692         or else NT (N).Nkind = N_Op_Multiply
2693         or else NT (N).Nkind = N_Type_Conversion);
2694       return Flag18 (N);
2695    end Rounded_Result;
2696
2697    function SCIL_Controlling_Tag
2698       (N : Node_Id) return Node_Id is
2699    begin
2700       pragma Assert (False
2701         or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2702       return Node5 (N);
2703    end SCIL_Controlling_Tag;
2704
2705    function SCIL_Entity
2706       (N : Node_Id) return Node_Id is
2707    begin
2708       pragma Assert (False
2709         or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
2710         or else NT (N).Nkind = N_SCIL_Dispatching_Call
2711         or else NT (N).Nkind = N_SCIL_Membership_Test);
2712       return Node4 (N);
2713    end SCIL_Entity;
2714
2715    function SCIL_Tag_Value
2716       (N : Node_Id) return Node_Id is
2717    begin
2718       pragma Assert (False
2719         or else NT (N).Nkind = N_SCIL_Membership_Test);
2720       return Node5 (N);
2721    end SCIL_Tag_Value;
2722
2723    function SCIL_Target_Prim
2724       (N : Node_Id) return Node_Id is
2725    begin
2726       pragma Assert (False
2727         or else NT (N).Nkind = N_SCIL_Dispatching_Call);
2728       return Node2 (N);
2729    end SCIL_Target_Prim;
2730
2731    function Scope
2732       (N : Node_Id) return Node_Id is
2733    begin
2734       pragma Assert (False
2735         or else NT (N).Nkind = N_Defining_Character_Literal
2736         or else NT (N).Nkind = N_Defining_Identifier
2737         or else NT (N).Nkind = N_Defining_Operator_Symbol);
2738       return Node3 (N);
2739    end Scope;
2740
2741    function Select_Alternatives
2742       (N : Node_Id) return List_Id is
2743    begin
2744       pragma Assert (False
2745         or else NT (N).Nkind = N_Selective_Accept);
2746       return List1 (N);
2747    end Select_Alternatives;
2748
2749    function Selector_Name
2750       (N : Node_Id) return Node_Id is
2751    begin
2752       pragma Assert (False
2753         or else NT (N).Nkind = N_Expanded_Name
2754         or else NT (N).Nkind = N_Generic_Association
2755         or else NT (N).Nkind = N_Parameter_Association
2756         or else NT (N).Nkind = N_Selected_Component);
2757       return Node2 (N);
2758    end Selector_Name;
2759
2760    function Selector_Names
2761       (N : Node_Id) return List_Id is
2762    begin
2763       pragma Assert (False
2764         or else NT (N).Nkind = N_Discriminant_Association);
2765       return List1 (N);
2766    end Selector_Names;
2767
2768    function Shift_Count_OK
2769       (N : Node_Id) return Boolean is
2770    begin
2771       pragma Assert (False
2772         or else NT (N).Nkind = N_Op_Rotate_Left
2773         or else NT (N).Nkind = N_Op_Rotate_Right
2774         or else NT (N).Nkind = N_Op_Shift_Left
2775         or else NT (N).Nkind = N_Op_Shift_Right
2776         or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2777       return Flag4 (N);
2778    end Shift_Count_OK;
2779
2780    function Source_Type
2781       (N : Node_Id) return Entity_Id is
2782    begin
2783       pragma Assert (False
2784         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2785       return Node1 (N);
2786    end Source_Type;
2787
2788    function Spec_PPC_List
2789       (N : Node_Id) return Node_Id is
2790    begin
2791       pragma Assert (False
2792         or else NT (N).Nkind = N_Contract);
2793       return Node1 (N);
2794    end Spec_PPC_List;
2795
2796    function Spec_CTC_List
2797       (N : Node_Id) return Node_Id is
2798    begin
2799       pragma Assert (False
2800         or else NT (N).Nkind = N_Contract);
2801       return Node2 (N);
2802    end Spec_CTC_List;
2803
2804    function Specification
2805       (N : Node_Id) return Node_Id is
2806    begin
2807       pragma Assert (False
2808         or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2809         or else NT (N).Nkind = N_Expression_Function
2810         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
2811         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
2812         or else NT (N).Nkind = N_Generic_Package_Declaration
2813         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2814         or else NT (N).Nkind = N_Package_Declaration
2815         or else NT (N).Nkind = N_Subprogram_Body
2816         or else NT (N).Nkind = N_Subprogram_Body_Stub
2817         or else NT (N).Nkind = N_Subprogram_Declaration
2818         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2819       return Node1 (N);
2820    end Specification;
2821
2822    function Split_PPC
2823       (N : Node_Id) return Boolean is
2824    begin
2825       pragma Assert (False
2826         or else NT (N).Nkind = N_Aspect_Specification
2827         or else NT (N).Nkind = N_Pragma);
2828       return Flag17 (N);
2829    end Split_PPC;
2830
2831    function Statements
2832       (N : Node_Id) return List_Id is
2833    begin
2834       pragma Assert (False
2835         or else NT (N).Nkind = N_Abortable_Part
2836         or else NT (N).Nkind = N_Accept_Alternative
2837         or else NT (N).Nkind = N_Case_Statement_Alternative
2838         or else NT (N).Nkind = N_Delay_Alternative
2839         or else NT (N).Nkind = N_Entry_Call_Alternative
2840         or else NT (N).Nkind = N_Exception_Handler
2841         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2842         or else NT (N).Nkind = N_Loop_Statement
2843         or else NT (N).Nkind = N_Triggering_Alternative);
2844       return List3 (N);
2845    end Statements;
2846
2847    function Static_Processing_OK
2848       (N : Node_Id) return Boolean is
2849    begin
2850       pragma Assert (False
2851         or else NT (N).Nkind = N_Aggregate);
2852       return Flag4 (N);
2853    end Static_Processing_OK;
2854
2855    function Storage_Pool
2856       (N : Node_Id) return Node_Id is
2857    begin
2858       pragma Assert (False
2859         or else NT (N).Nkind = N_Allocator
2860         or else NT (N).Nkind = N_Extended_Return_Statement
2861         or else NT (N).Nkind = N_Free_Statement
2862         or else NT (N).Nkind = N_Return_Statement);
2863       return Node1 (N);
2864    end Storage_Pool;
2865
2866    function Subpool_Handle_Name
2867       (N : Node_Id) return Node_Id is
2868    begin
2869       pragma Assert (False
2870         or else NT (N).Nkind = N_Allocator);
2871       return Node4 (N);
2872    end Subpool_Handle_Name;
2873
2874    function Strval
2875       (N : Node_Id) return String_Id is
2876    begin
2877       pragma Assert (False
2878         or else NT (N).Nkind = N_Operator_Symbol
2879         or else NT (N).Nkind = N_String_Literal);
2880       return Str3 (N);
2881    end Strval;
2882
2883    function Subtype_Indication
2884       (N : Node_Id) return Node_Id is
2885    begin
2886       pragma Assert (False
2887         or else NT (N).Nkind = N_Access_To_Object_Definition
2888         or else NT (N).Nkind = N_Component_Definition
2889         or else NT (N).Nkind = N_Derived_Type_Definition
2890         or else NT (N).Nkind = N_Iterator_Specification
2891         or else NT (N).Nkind = N_Private_Extension_Declaration
2892         or else NT (N).Nkind = N_Subtype_Declaration);
2893       return Node5 (N);
2894    end Subtype_Indication;
2895
2896    function Suppress_Assignment_Checks
2897       (N : Node_Id) return Boolean is
2898    begin
2899       pragma Assert (False
2900         or else NT (N).Nkind = N_Assignment_Statement
2901         or else NT (N).Nkind = N_Object_Declaration);
2902       return Flag18 (N);
2903    end Suppress_Assignment_Checks;
2904
2905    function Suppress_Loop_Warnings
2906       (N : Node_Id) return Boolean is
2907    begin
2908       pragma Assert (False
2909         or else NT (N).Nkind = N_Loop_Statement);
2910       return Flag17 (N);
2911    end Suppress_Loop_Warnings;
2912
2913    function Subtype_Mark
2914       (N : Node_Id) return Node_Id is
2915    begin
2916       pragma Assert (False
2917         or else NT (N).Nkind = N_Access_Definition
2918         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2919         or else NT (N).Nkind = N_Formal_Object_Declaration
2920         or else NT (N).Nkind = N_Object_Renaming_Declaration
2921         or else NT (N).Nkind = N_Qualified_Expression
2922         or else NT (N).Nkind = N_Subtype_Indication
2923         or else NT (N).Nkind = N_Type_Conversion
2924         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2925       return Node4 (N);
2926    end Subtype_Mark;
2927
2928    function Subtype_Marks
2929       (N : Node_Id) return List_Id is
2930    begin
2931       pragma Assert (False
2932         or else NT (N).Nkind = N_Unconstrained_Array_Definition
2933         or else NT (N).Nkind = N_Use_Type_Clause);
2934       return List2 (N);
2935    end Subtype_Marks;
2936
2937    function Synchronized_Present
2938      (N : Node_Id) return Boolean is
2939    begin
2940       pragma Assert (False
2941         or else NT (N).Nkind = N_Derived_Type_Definition
2942         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2943         or else NT (N).Nkind = N_Private_Extension_Declaration
2944         or else NT (N).Nkind = N_Record_Definition);
2945       return Flag7 (N);
2946    end Synchronized_Present;
2947
2948    function Tagged_Present
2949       (N : Node_Id) return Boolean is
2950    begin
2951       pragma Assert (False
2952         or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
2953         or else NT (N).Nkind = N_Formal_Private_Type_Definition
2954         or else NT (N).Nkind = N_Incomplete_Type_Declaration
2955         or else NT (N).Nkind = N_Private_Type_Declaration
2956         or else NT (N).Nkind = N_Record_Definition);
2957       return Flag15 (N);
2958    end Tagged_Present;
2959
2960    function Target_Type
2961       (N : Node_Id) return Entity_Id is
2962    begin
2963       pragma Assert (False
2964         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2965       return Node2 (N);
2966    end Target_Type;
2967
2968    function Task_Definition
2969       (N : Node_Id) return Node_Id is
2970    begin
2971       pragma Assert (False
2972         or else NT (N).Nkind = N_Single_Task_Declaration
2973         or else NT (N).Nkind = N_Task_Type_Declaration);
2974       return Node3 (N);
2975    end Task_Definition;
2976
2977    function Task_Present
2978      (N : Node_Id) return Boolean is
2979    begin
2980       pragma Assert (False
2981         or else NT (N).Nkind = N_Derived_Type_Definition
2982         or else NT (N).Nkind = N_Record_Definition);
2983       return Flag5 (N);
2984    end Task_Present;
2985
2986    function Then_Actions
2987       (N : Node_Id) return List_Id is
2988    begin
2989       pragma Assert (False
2990         or else NT (N).Nkind = N_Conditional_Expression);
2991       return List2 (N);
2992    end Then_Actions;
2993
2994    function Then_Statements
2995       (N : Node_Id) return List_Id is
2996    begin
2997       pragma Assert (False
2998         or else NT (N).Nkind = N_Elsif_Part
2999         or else NT (N).Nkind = N_If_Statement);
3000       return List2 (N);
3001    end Then_Statements;
3002
3003    function Treat_Fixed_As_Integer
3004       (N : Node_Id) return Boolean is
3005    begin
3006       pragma Assert (False
3007         or else NT (N).Nkind = N_Op_Divide
3008         or else NT (N).Nkind = N_Op_Mod
3009         or else NT (N).Nkind = N_Op_Multiply
3010         or else NT (N).Nkind = N_Op_Rem);
3011       return Flag14 (N);
3012    end Treat_Fixed_As_Integer;
3013
3014    function Triggering_Alternative
3015       (N : Node_Id) return Node_Id is
3016    begin
3017       pragma Assert (False
3018         or else NT (N).Nkind = N_Asynchronous_Select);
3019       return Node1 (N);
3020    end Triggering_Alternative;
3021
3022    function Triggering_Statement
3023       (N : Node_Id) return Node_Id is
3024    begin
3025       pragma Assert (False
3026         or else NT (N).Nkind = N_Triggering_Alternative);
3027       return Node1 (N);
3028    end Triggering_Statement;
3029
3030    function TSS_Elist
3031       (N : Node_Id) return Elist_Id is
3032    begin
3033       pragma Assert (False
3034         or else NT (N).Nkind = N_Freeze_Entity);
3035       return Elist3 (N);
3036    end TSS_Elist;
3037
3038    function Type_Definition
3039       (N : Node_Id) return Node_Id is
3040    begin
3041       pragma Assert (False
3042         or else NT (N).Nkind = N_Full_Type_Declaration);
3043       return Node3 (N);
3044    end Type_Definition;
3045
3046    function Unit
3047       (N : Node_Id) return Node_Id is
3048    begin
3049       pragma Assert (False
3050         or else NT (N).Nkind = N_Compilation_Unit);
3051       return Node2 (N);
3052    end Unit;
3053
3054    function Unknown_Discriminants_Present
3055       (N : Node_Id) return Boolean is
3056    begin
3057       pragma Assert (False
3058         or else NT (N).Nkind = N_Formal_Type_Declaration
3059         or else NT (N).Nkind = N_Incomplete_Type_Declaration
3060         or else NT (N).Nkind = N_Private_Extension_Declaration
3061         or else NT (N).Nkind = N_Private_Type_Declaration);
3062       return Flag13 (N);
3063    end Unknown_Discriminants_Present;
3064
3065    function Unreferenced_In_Spec
3066       (N : Node_Id) return Boolean is
3067    begin
3068       pragma Assert (False
3069         or else NT (N).Nkind = N_With_Clause);
3070       return Flag7 (N);
3071    end Unreferenced_In_Spec;
3072
3073    function Variant_Part
3074       (N : Node_Id) return Node_Id is
3075    begin
3076       pragma Assert (False
3077         or else NT (N).Nkind = N_Component_List);
3078       return Node4 (N);
3079    end Variant_Part;
3080
3081    function Variants
3082       (N : Node_Id) return List_Id is
3083    begin
3084       pragma Assert (False
3085         or else NT (N).Nkind = N_Variant_Part);
3086       return List1 (N);
3087    end Variants;
3088
3089    function Visible_Declarations
3090       (N : Node_Id) return List_Id is
3091    begin
3092       pragma Assert (False
3093         or else NT (N).Nkind = N_Package_Specification
3094         or else NT (N).Nkind = N_Protected_Definition
3095         or else NT (N).Nkind = N_Task_Definition);
3096       return List2 (N);
3097    end Visible_Declarations;
3098
3099    function Used_Operations
3100      (N : Node_Id) return Elist_Id is
3101    begin
3102       pragma Assert (False
3103         or else NT (N).Nkind = N_Use_Type_Clause);
3104       return Elist5 (N);
3105    end Used_Operations;
3106
3107    function Was_Originally_Stub
3108       (N : Node_Id) return Boolean is
3109    begin
3110       pragma Assert (False
3111         or else NT (N).Nkind = N_Package_Body
3112         or else NT (N).Nkind = N_Protected_Body
3113         or else NT (N).Nkind = N_Subprogram_Body
3114         or else NT (N).Nkind = N_Task_Body);
3115       return Flag13 (N);
3116    end Was_Originally_Stub;
3117
3118    function Withed_Body
3119       (N : Node_Id) return Node_Id is
3120    begin
3121       pragma Assert (False
3122         or else NT (N).Nkind = N_With_Clause);
3123       return Node1 (N);
3124    end Withed_Body;
3125
3126    --------------------------
3127    -- Field Set Procedures --
3128    --------------------------
3129
3130    procedure Set_ABE_Is_Certain
3131       (N : Node_Id; Val : Boolean := True) is
3132    begin
3133       pragma Assert (False
3134         or else NT (N).Nkind = N_Formal_Package_Declaration
3135         or else NT (N).Nkind = N_Function_Call
3136         or else NT (N).Nkind = N_Function_Instantiation
3137         or else NT (N).Nkind = N_Package_Instantiation
3138         or else NT (N).Nkind = N_Procedure_Call_Statement
3139         or else NT (N).Nkind = N_Procedure_Instantiation);
3140       Set_Flag18 (N, Val);
3141    end Set_ABE_Is_Certain;
3142
3143    procedure Set_Abort_Present
3144       (N : Node_Id; Val : Boolean := True) is
3145    begin
3146       pragma Assert (False
3147         or else NT (N).Nkind = N_Requeue_Statement);
3148       Set_Flag15 (N, Val);
3149    end Set_Abort_Present;
3150
3151    procedure Set_Abortable_Part
3152       (N : Node_Id; Val : Node_Id) is
3153    begin
3154       pragma Assert (False
3155         or else NT (N).Nkind = N_Asynchronous_Select);
3156       Set_Node2_With_Parent (N, Val);
3157    end Set_Abortable_Part;
3158
3159    procedure Set_Abstract_Present
3160       (N : Node_Id; Val : Boolean := True) is
3161    begin
3162       pragma Assert (False
3163         or else NT (N).Nkind = N_Derived_Type_Definition
3164         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3165         or else NT (N).Nkind = N_Formal_Private_Type_Definition
3166         or else NT (N).Nkind = N_Private_Extension_Declaration
3167         or else NT (N).Nkind = N_Private_Type_Declaration
3168         or else NT (N).Nkind = N_Record_Definition);
3169       Set_Flag4 (N, Val);
3170    end Set_Abstract_Present;
3171
3172    procedure Set_Accept_Handler_Records
3173       (N : Node_Id; Val : List_Id) is
3174    begin
3175       pragma Assert (False
3176         or else NT (N).Nkind = N_Accept_Alternative);
3177       Set_List5 (N, Val); -- semantic field, no parent set
3178    end Set_Accept_Handler_Records;
3179
3180    procedure Set_Accept_Statement
3181       (N : Node_Id; Val : Node_Id) is
3182    begin
3183       pragma Assert (False
3184         or else NT (N).Nkind = N_Accept_Alternative);
3185       Set_Node2_With_Parent (N, Val);
3186    end Set_Accept_Statement;
3187
3188    procedure Set_Access_Definition
3189      (N : Node_Id; Val : Node_Id) is
3190    begin
3191       pragma Assert (False
3192         or else NT (N).Nkind = N_Component_Definition
3193         or else NT (N).Nkind = N_Formal_Object_Declaration
3194         or else NT (N).Nkind = N_Object_Renaming_Declaration);
3195       Set_Node3_With_Parent (N, Val);
3196    end Set_Access_Definition;
3197
3198    procedure Set_Access_To_Subprogram_Definition
3199      (N : Node_Id; Val : Node_Id) is
3200    begin
3201       pragma Assert (False
3202         or else NT (N).Nkind = N_Access_Definition);
3203       Set_Node3_With_Parent (N, Val);
3204    end Set_Access_To_Subprogram_Definition;
3205
3206    procedure Set_Access_Types_To_Process
3207       (N : Node_Id; Val : Elist_Id) is
3208    begin
3209       pragma Assert (False
3210         or else NT (N).Nkind = N_Freeze_Entity);
3211       Set_Elist2 (N, Val); -- semantic field, no parent set
3212    end Set_Access_Types_To_Process;
3213
3214    procedure Set_Actions
3215       (N : Node_Id; Val : List_Id) is
3216    begin
3217       pragma Assert (False
3218         or else NT (N).Nkind = N_And_Then
3219         or else NT (N).Nkind = N_Case_Expression_Alternative
3220         or else NT (N).Nkind = N_Compilation_Unit_Aux
3221         or else NT (N).Nkind = N_Expression_With_Actions
3222         or else NT (N).Nkind = N_Freeze_Entity
3223         or else NT (N).Nkind = N_Or_Else);
3224       Set_List1_With_Parent (N, Val);
3225    end Set_Actions;
3226
3227    procedure Set_Activation_Chain_Entity
3228       (N : Node_Id; Val : Node_Id) is
3229    begin
3230       pragma Assert (False
3231         or else NT (N).Nkind = N_Block_Statement
3232         or else NT (N).Nkind = N_Entry_Body
3233         or else NT (N).Nkind = N_Generic_Package_Declaration
3234         or else NT (N).Nkind = N_Package_Declaration
3235         or else NT (N).Nkind = N_Subprogram_Body
3236         or else NT (N).Nkind = N_Task_Body);
3237       Set_Node3 (N, Val); -- semantic field, no parent set
3238    end Set_Activation_Chain_Entity;
3239
3240    procedure Set_Acts_As_Spec
3241       (N : Node_Id; Val : Boolean := True) is
3242    begin
3243       pragma Assert (False
3244         or else NT (N).Nkind = N_Compilation_Unit
3245         or else NT (N).Nkind = N_Subprogram_Body);
3246       Set_Flag4 (N, Val);
3247    end Set_Acts_As_Spec;
3248
3249    procedure Set_Actual_Designated_Subtype
3250      (N : Node_Id; Val : Node_Id) is
3251    begin
3252       pragma Assert (False
3253         or else NT (N).Nkind = N_Explicit_Dereference
3254         or else NT (N).Nkind = N_Free_Statement);
3255       Set_Node4 (N, Val);
3256    end Set_Actual_Designated_Subtype;
3257
3258    procedure Set_Address_Warning_Posted
3259       (N : Node_Id; Val : Boolean := True) is
3260    begin
3261       pragma Assert (False
3262         or else NT (N).Nkind = N_Attribute_Definition_Clause);
3263       Set_Flag18 (N, Val);
3264    end Set_Address_Warning_Posted;
3265
3266    procedure Set_Aggregate_Bounds
3267       (N : Node_Id; Val : Node_Id) is
3268    begin
3269       pragma Assert (False
3270         or else NT (N).Nkind = N_Aggregate);
3271       Set_Node3 (N, Val); -- semantic field, no parent set
3272    end Set_Aggregate_Bounds;
3273
3274    procedure Set_Aliased_Present
3275       (N : Node_Id; Val : Boolean := True) is
3276    begin
3277       pragma Assert (False
3278         or else NT (N).Nkind = N_Component_Definition
3279         or else NT (N).Nkind = N_Object_Declaration
3280         or else NT (N).Nkind = N_Parameter_Specification);
3281       Set_Flag4 (N, Val);
3282    end Set_Aliased_Present;
3283
3284    procedure Set_All_Others
3285       (N : Node_Id; Val : Boolean := True) is
3286    begin
3287       pragma Assert (False
3288         or else NT (N).Nkind = N_Others_Choice);
3289       Set_Flag11 (N, Val);
3290    end Set_All_Others;
3291
3292    procedure Set_All_Present
3293       (N : Node_Id; Val : Boolean := True) is
3294    begin
3295       pragma Assert (False
3296         or else NT (N).Nkind = N_Access_Definition
3297         or else NT (N).Nkind = N_Access_To_Object_Definition
3298         or else NT (N).Nkind = N_Quantified_Expression
3299         or else NT (N).Nkind = N_Use_Type_Clause);
3300       Set_Flag15 (N, Val);
3301    end Set_All_Present;
3302
3303    procedure Set_Alternatives
3304       (N : Node_Id; Val : List_Id) is
3305    begin
3306       pragma Assert (False
3307         or else NT (N).Nkind = N_Case_Expression
3308         or else NT (N).Nkind = N_Case_Statement
3309         or else NT (N).Nkind = N_In
3310         or else NT (N).Nkind = N_Not_In);
3311       Set_List4_With_Parent (N, Val);
3312    end Set_Alternatives;
3313
3314    procedure Set_Ancestor_Part
3315       (N : Node_Id; Val : Node_Id) is
3316    begin
3317       pragma Assert (False
3318         or else NT (N).Nkind = N_Extension_Aggregate);
3319       Set_Node3_With_Parent (N, Val);
3320    end Set_Ancestor_Part;
3321
3322    procedure Set_Atomic_Sync_Required
3323       (N : Node_Id; Val : Boolean := True) is
3324    begin
3325       pragma Assert (False
3326         or else NT (N).Nkind = N_Expanded_Name
3327         or else NT (N).Nkind = N_Explicit_Dereference
3328         or else NT (N).Nkind = N_Identifier
3329         or else NT (N).Nkind = N_Indexed_Component
3330         or else NT (N).Nkind = N_Selected_Component);
3331       Set_Flag14 (N, Val);
3332    end Set_Atomic_Sync_Required;
3333
3334    procedure Set_Array_Aggregate
3335       (N : Node_Id; Val : Node_Id) is
3336    begin
3337       pragma Assert (False
3338         or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3339       Set_Node3_With_Parent (N, Val);
3340    end Set_Array_Aggregate;
3341
3342    procedure Set_Aspect_Rep_Item
3343       (N : Node_Id; Val : Node_Id) is
3344    begin
3345       pragma Assert (False
3346         or else NT (N).Nkind = N_Aspect_Specification);
3347       Set_Node2 (N, Val);
3348    end Set_Aspect_Rep_Item;
3349
3350    procedure Set_Assignment_OK
3351       (N : Node_Id; Val : Boolean := True) is
3352    begin
3353       pragma Assert (False
3354         or else NT (N).Nkind = N_Object_Declaration
3355         or else NT (N).Nkind in N_Subexpr);
3356       Set_Flag15 (N, Val);
3357    end Set_Assignment_OK;
3358
3359    procedure Set_Associated_Node
3360       (N : Node_Id; Val : Node_Id) is
3361    begin
3362       pragma Assert (False
3363         or else NT (N).Nkind in N_Has_Entity
3364         or else NT (N).Nkind = N_Aggregate
3365         or else NT (N).Nkind = N_Extension_Aggregate
3366         or else NT (N).Nkind = N_Selected_Component);
3367       Set_Node4 (N, Val); -- semantic field, no parent set
3368    end Set_Associated_Node;
3369
3370    procedure Set_At_End_Proc
3371       (N : Node_Id; Val : Node_Id) is
3372    begin
3373       pragma Assert (False
3374         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3375       Set_Node1 (N, Val);
3376    end Set_At_End_Proc;
3377
3378    procedure Set_Attribute_Name
3379       (N : Node_Id; Val : Name_Id) is
3380    begin
3381       pragma Assert (False
3382         or else NT (N).Nkind = N_Attribute_Reference);
3383       Set_Name2 (N, Val);
3384    end Set_Attribute_Name;
3385
3386    procedure Set_Aux_Decls_Node
3387       (N : Node_Id; Val : Node_Id) is
3388    begin
3389       pragma Assert (False
3390         or else NT (N).Nkind = N_Compilation_Unit);
3391       Set_Node5_With_Parent (N, Val);
3392    end Set_Aux_Decls_Node;
3393
3394    procedure Set_Backwards_OK
3395       (N : Node_Id; Val : Boolean := True) is
3396    begin
3397       pragma Assert (False
3398         or else NT (N).Nkind = N_Assignment_Statement);
3399       Set_Flag6 (N, Val);
3400    end Set_Backwards_OK;
3401
3402    procedure Set_Bad_Is_Detected
3403       (N : Node_Id; Val : Boolean := True) is
3404    begin
3405       pragma Assert (False
3406         or else NT (N).Nkind = N_Subprogram_Body);
3407       Set_Flag15 (N, Val);
3408    end Set_Bad_Is_Detected;
3409
3410    procedure Set_Body_Required
3411       (N : Node_Id; Val : Boolean := True) is
3412    begin
3413       pragma Assert (False
3414         or else NT (N).Nkind = N_Compilation_Unit);
3415       Set_Flag13 (N, Val);
3416    end Set_Body_Required;
3417
3418    procedure Set_Body_To_Inline
3419       (N : Node_Id; Val : Node_Id) is
3420    begin
3421       pragma Assert (False
3422         or else NT (N).Nkind = N_Subprogram_Declaration);
3423       Set_Node3 (N, Val);
3424    end Set_Body_To_Inline;
3425
3426    procedure Set_Box_Present
3427       (N : Node_Id; Val : Boolean := True) is
3428    begin
3429       pragma Assert (False
3430         or else NT (N).Nkind = N_Component_Association
3431         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3432         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3433         or else NT (N).Nkind = N_Formal_Package_Declaration
3434         or else NT (N).Nkind = N_Generic_Association);
3435       Set_Flag15 (N, Val);
3436    end Set_Box_Present;
3437
3438    procedure Set_By_Ref
3439       (N : Node_Id; Val : Boolean := True) is
3440    begin
3441       pragma Assert (False
3442         or else NT (N).Nkind = N_Extended_Return_Statement
3443         or else NT (N).Nkind = N_Return_Statement);
3444       Set_Flag5 (N, Val);
3445    end Set_By_Ref;
3446
3447    procedure Set_Char_Literal_Value
3448       (N : Node_Id; Val : Uint) is
3449    begin
3450       pragma Assert (False
3451         or else NT (N).Nkind = N_Character_Literal);
3452       Set_Uint2 (N, Val);
3453    end Set_Char_Literal_Value;
3454
3455    procedure Set_Chars
3456       (N : Node_Id; Val : Name_Id) is
3457    begin
3458       pragma Assert (False
3459         or else NT (N).Nkind in N_Has_Chars);
3460       Set_Name1 (N, Val);
3461    end Set_Chars;
3462
3463    procedure Set_Check_Address_Alignment
3464       (N : Node_Id; Val : Boolean := True) is
3465    begin
3466       pragma Assert (False
3467           or else NT (N).Nkind = N_Attribute_Definition_Clause);
3468       Set_Flag11 (N, Val);
3469    end Set_Check_Address_Alignment;
3470
3471    procedure Set_Choice_Parameter
3472       (N : Node_Id; Val : Node_Id) is
3473    begin
3474       pragma Assert (False
3475         or else NT (N).Nkind = N_Exception_Handler);
3476       Set_Node2_With_Parent (N, Val);
3477    end Set_Choice_Parameter;
3478
3479    procedure Set_Choices
3480       (N : Node_Id; Val : List_Id) is
3481    begin
3482       pragma Assert (False
3483         or else NT (N).Nkind = N_Component_Association);
3484       Set_List1_With_Parent (N, Val);
3485    end Set_Choices;
3486
3487    procedure Set_Class_Present
3488       (N : Node_Id; Val : Boolean := True) is
3489    begin
3490       pragma Assert (False
3491         or else NT (N).Nkind = N_Aspect_Specification
3492         or else NT (N).Nkind = N_Pragma);
3493       Set_Flag6 (N, Val);
3494    end Set_Class_Present;
3495
3496    procedure Set_Comes_From_Extended_Return_Statement
3497      (N : Node_Id; Val : Boolean := True) is
3498    begin
3499       pragma Assert (False
3500         or else NT (N).Nkind = N_Return_Statement);
3501       Set_Flag18 (N, Val);
3502    end Set_Comes_From_Extended_Return_Statement;
3503
3504    procedure Set_Compile_Time_Known_Aggregate
3505       (N : Node_Id; Val : Boolean := True) is
3506    begin
3507       pragma Assert (False
3508         or else NT (N).Nkind = N_Aggregate);
3509       Set_Flag18 (N, Val);
3510    end Set_Compile_Time_Known_Aggregate;
3511
3512    procedure Set_Component_Associations
3513       (N : Node_Id; Val : List_Id) is
3514    begin
3515       pragma Assert (False
3516         or else NT (N).Nkind = N_Aggregate
3517         or else NT (N).Nkind = N_Extension_Aggregate);
3518       Set_List2_With_Parent (N, Val);
3519    end Set_Component_Associations;
3520
3521    procedure Set_Component_Clauses
3522       (N : Node_Id; Val : List_Id) is
3523    begin
3524       pragma Assert (False
3525         or else NT (N).Nkind = N_Record_Representation_Clause);
3526       Set_List3_With_Parent (N, Val);
3527    end Set_Component_Clauses;
3528
3529    procedure Set_Component_Definition
3530       (N : Node_Id; Val : Node_Id) is
3531    begin
3532       pragma Assert (False
3533         or else NT (N).Nkind = N_Component_Declaration
3534         or else NT (N).Nkind = N_Constrained_Array_Definition
3535         or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3536       Set_Node4_With_Parent (N, Val);
3537    end Set_Component_Definition;
3538
3539    procedure Set_Component_Items
3540       (N : Node_Id; Val : List_Id) is
3541    begin
3542       pragma Assert (False
3543         or else NT (N).Nkind = N_Component_List);
3544       Set_List3_With_Parent (N, Val);
3545    end Set_Component_Items;
3546
3547    procedure Set_Component_List
3548       (N : Node_Id; Val : Node_Id) is
3549    begin
3550       pragma Assert (False
3551         or else NT (N).Nkind = N_Record_Definition
3552         or else NT (N).Nkind = N_Variant);
3553       Set_Node1_With_Parent (N, Val);
3554    end Set_Component_List;
3555
3556    procedure Set_Component_Name
3557       (N : Node_Id; Val : Node_Id) is
3558    begin
3559       pragma Assert (False
3560         or else NT (N).Nkind = N_Component_Clause);
3561       Set_Node1_With_Parent (N, Val);
3562    end Set_Component_Name;
3563
3564    procedure Set_Componentwise_Assignment
3565       (N : Node_Id; Val : Boolean := True) is
3566    begin
3567       pragma Assert (False
3568         or else NT (N).Nkind = N_Assignment_Statement);
3569       Set_Flag14 (N, Val);
3570    end Set_Componentwise_Assignment;
3571
3572    procedure Set_Condition
3573       (N : Node_Id; Val : Node_Id) is
3574    begin
3575       pragma Assert (False
3576         or else NT (N).Nkind = N_Accept_Alternative
3577         or else NT (N).Nkind = N_Delay_Alternative
3578         or else NT (N).Nkind = N_Elsif_Part
3579         or else NT (N).Nkind = N_Entry_Body_Formal_Part
3580         or else NT (N).Nkind = N_Exit_Statement
3581         or else NT (N).Nkind = N_If_Statement
3582         or else NT (N).Nkind = N_Iteration_Scheme
3583         or else NT (N).Nkind = N_Quantified_Expression
3584         or else NT (N).Nkind = N_Raise_Constraint_Error
3585         or else NT (N).Nkind = N_Raise_Program_Error
3586         or else NT (N).Nkind = N_Raise_Storage_Error
3587         or else NT (N).Nkind = N_Terminate_Alternative);
3588       Set_Node1_With_Parent (N, Val);
3589    end Set_Condition;
3590
3591    procedure Set_Condition_Actions
3592       (N : Node_Id; Val : List_Id) is
3593    begin
3594       pragma Assert (False
3595         or else NT (N).Nkind = N_Elsif_Part
3596         or else NT (N).Nkind = N_Iteration_Scheme);
3597       Set_List3 (N, Val); -- semantic field, no parent set
3598    end Set_Condition_Actions;
3599
3600    procedure Set_Config_Pragmas
3601       (N : Node_Id; Val : List_Id) is
3602    begin
3603       pragma Assert (False
3604         or else NT (N).Nkind = N_Compilation_Unit_Aux);
3605       Set_List4_With_Parent (N, Val);
3606    end Set_Config_Pragmas;
3607
3608    procedure Set_Constant_Present
3609       (N : Node_Id; Val : Boolean := True) is
3610    begin
3611       pragma Assert (False
3612         or else NT (N).Nkind = N_Access_Definition
3613         or else NT (N).Nkind = N_Access_To_Object_Definition
3614         or else NT (N).Nkind = N_Object_Declaration);
3615       Set_Flag17 (N, Val);
3616    end Set_Constant_Present;
3617
3618    procedure Set_Constraint
3619       (N : Node_Id; Val : Node_Id) is
3620    begin
3621       pragma Assert (False
3622         or else NT (N).Nkind = N_Subtype_Indication);
3623       Set_Node3_With_Parent (N, Val);
3624    end Set_Constraint;
3625
3626    procedure Set_Constraints
3627       (N : Node_Id; Val : List_Id) is
3628    begin
3629       pragma Assert (False
3630         or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
3631       Set_List1_With_Parent (N, Val);
3632    end Set_Constraints;
3633
3634    procedure Set_Context_Installed
3635       (N : Node_Id; Val : Boolean := True) is
3636    begin
3637       pragma Assert (False
3638         or else NT (N).Nkind = N_With_Clause);
3639       Set_Flag13 (N, Val);
3640    end Set_Context_Installed;
3641
3642    procedure Set_Context_Items
3643       (N : Node_Id; Val : List_Id) is
3644    begin
3645       pragma Assert (False
3646         or else NT (N).Nkind = N_Compilation_Unit);
3647       Set_List1_With_Parent (N, Val);
3648    end Set_Context_Items;
3649
3650    procedure Set_Context_Pending
3651       (N : Node_Id; Val : Boolean := True) is
3652    begin
3653       pragma Assert (False
3654         or else NT (N).Nkind = N_Compilation_Unit);
3655       Set_Flag16 (N, Val);
3656    end Set_Context_Pending;
3657
3658    procedure Set_Controlling_Argument
3659       (N : Node_Id; Val : Node_Id) is
3660    begin
3661       pragma Assert (False
3662         or else NT (N).Nkind = N_Function_Call
3663         or else NT (N).Nkind = N_Procedure_Call_Statement);
3664       Set_Node1 (N, Val); -- semantic field, no parent set
3665    end Set_Controlling_Argument;
3666
3667    procedure Set_Conversion_OK
3668       (N : Node_Id; Val : Boolean := True) is
3669    begin
3670       pragma Assert (False
3671         or else NT (N).Nkind = N_Type_Conversion);
3672       Set_Flag14 (N, Val);
3673    end Set_Conversion_OK;
3674
3675    procedure Set_Corresponding_Aspect
3676       (N : Node_Id; Val : Node_Id) is
3677    begin
3678       pragma Assert (False
3679         or else NT (N).Nkind = N_Pragma);
3680       Set_Node3 (N, Val);
3681    end Set_Corresponding_Aspect;
3682
3683    procedure Set_Corresponding_Body
3684       (N : Node_Id; Val : Node_Id) is
3685    begin
3686       pragma Assert (False
3687         or else NT (N).Nkind = N_Entry_Declaration
3688         or else NT (N).Nkind = N_Generic_Package_Declaration
3689         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
3690         or else NT (N).Nkind = N_Package_Body_Stub
3691         or else NT (N).Nkind = N_Package_Declaration
3692         or else NT (N).Nkind = N_Protected_Body_Stub
3693         or else NT (N).Nkind = N_Protected_Type_Declaration
3694         or else NT (N).Nkind = N_Subprogram_Body_Stub
3695         or else NT (N).Nkind = N_Subprogram_Declaration
3696         or else NT (N).Nkind = N_Task_Body_Stub
3697         or else NT (N).Nkind = N_Task_Type_Declaration);
3698       Set_Node5 (N, Val); -- semantic field, no parent set
3699    end Set_Corresponding_Body;
3700
3701    procedure Set_Corresponding_Formal_Spec
3702       (N : Node_Id; Val : Node_Id) is
3703    begin
3704       pragma Assert (False
3705         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
3706       Set_Node3 (N, Val); -- semantic field, no parent set
3707    end Set_Corresponding_Formal_Spec;
3708
3709    procedure Set_Corresponding_Generic_Association
3710       (N : Node_Id; Val : Node_Id) is
3711    begin
3712       pragma Assert (False
3713         or else NT (N).Nkind = N_Object_Declaration
3714         or else NT (N).Nkind = N_Object_Renaming_Declaration);
3715       Set_Node5 (N, Val); -- semantic field, no parent set
3716    end Set_Corresponding_Generic_Association;
3717
3718    procedure Set_Corresponding_Integer_Value
3719       (N : Node_Id; Val : Uint) is
3720    begin
3721       pragma Assert (False
3722         or else NT (N).Nkind = N_Real_Literal);
3723       Set_Uint4 (N, Val); -- semantic field, no parent set
3724    end Set_Corresponding_Integer_Value;
3725
3726    procedure Set_Corresponding_Spec
3727       (N : Node_Id; Val : Node_Id) is
3728    begin
3729       pragma Assert (False
3730         or else NT (N).Nkind = N_Expression_Function
3731         or else NT (N).Nkind = N_Package_Body
3732         or else NT (N).Nkind = N_Protected_Body
3733         or else NT (N).Nkind = N_Subprogram_Body
3734         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
3735         or else NT (N).Nkind = N_Task_Body
3736         or else NT (N).Nkind = N_With_Clause);
3737       Set_Node5 (N, Val); -- semantic field, no parent set
3738    end Set_Corresponding_Spec;
3739
3740    procedure Set_Corresponding_Stub
3741       (N : Node_Id; Val : Node_Id) is
3742    begin
3743       pragma Assert (False
3744         or else NT (N).Nkind = N_Subunit);
3745       Set_Node3 (N, Val);
3746    end Set_Corresponding_Stub;
3747
3748    procedure Set_Dcheck_Function
3749       (N : Node_Id; Val : Entity_Id) is
3750    begin
3751       pragma Assert (False
3752         or else NT (N).Nkind = N_Variant);
3753       Set_Node5 (N, Val); -- semantic field, no parent set
3754    end Set_Dcheck_Function;
3755
3756    procedure Set_Declarations
3757       (N : Node_Id; Val : List_Id) is
3758    begin
3759       pragma Assert (False
3760         or else NT (N).Nkind = N_Accept_Statement
3761         or else NT (N).Nkind = N_Block_Statement
3762         or else NT (N).Nkind = N_Compilation_Unit_Aux
3763         or else NT (N).Nkind = N_Entry_Body
3764         or else NT (N).Nkind = N_Package_Body
3765         or else NT (N).Nkind = N_Protected_Body
3766         or else NT (N).Nkind = N_Subprogram_Body
3767         or else NT (N).Nkind = N_Task_Body);
3768       Set_List2_With_Parent (N, Val);
3769    end Set_Declarations;
3770
3771    procedure Set_Default_Expression
3772       (N : Node_Id; Val : Node_Id) is
3773    begin
3774       pragma Assert (False
3775         or else NT (N).Nkind = N_Formal_Object_Declaration
3776         or else NT (N).Nkind = N_Parameter_Specification);
3777       Set_Node5 (N, Val); -- semantic field, no parent set
3778    end Set_Default_Expression;
3779
3780    procedure Set_Default_Storage_Pool
3781       (N : Node_Id; Val : Node_Id) is
3782    begin
3783       pragma Assert (False
3784         or else NT (N).Nkind = N_Compilation_Unit_Aux);
3785       Set_Node3 (N, Val); -- semantic field, no parent set
3786    end Set_Default_Storage_Pool;
3787
3788    procedure Set_Default_Name
3789       (N : Node_Id; Val : Node_Id) is
3790    begin
3791       pragma Assert (False
3792         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3793         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
3794       Set_Node2_With_Parent (N, Val);
3795    end Set_Default_Name;
3796
3797    procedure Set_Defining_Identifier
3798       (N : Node_Id; Val : Entity_Id) is
3799    begin
3800       pragma Assert (False
3801         or else NT (N).Nkind = N_Component_Declaration
3802         or else NT (N).Nkind = N_Defining_Program_Unit_Name
3803         or else NT (N).Nkind = N_Discriminant_Specification
3804         or else NT (N).Nkind = N_Entry_Body
3805         or else NT (N).Nkind = N_Entry_Declaration
3806         or else NT (N).Nkind = N_Entry_Index_Specification
3807         or else NT (N).Nkind = N_Exception_Declaration
3808         or else NT (N).Nkind = N_Exception_Renaming_Declaration
3809         or else NT (N).Nkind = N_Formal_Object_Declaration
3810         or else NT (N).Nkind = N_Formal_Package_Declaration
3811         or else NT (N).Nkind = N_Formal_Type_Declaration
3812         or else NT (N).Nkind = N_Full_Type_Declaration
3813         or else NT (N).Nkind = N_Implicit_Label_Declaration
3814         or else NT (N).Nkind = N_Incomplete_Type_Declaration
3815         or else NT (N).Nkind = N_Iterator_Specification
3816         or else NT (N).Nkind = N_Loop_Parameter_Specification
3817         or else NT (N).Nkind = N_Number_Declaration
3818         or else NT (N).Nkind = N_Object_Declaration
3819         or else NT (N).Nkind = N_Object_Renaming_Declaration
3820         or else NT (N).Nkind = N_Package_Body_Stub
3821         or else NT (N).Nkind = N_Parameter_Specification
3822         or else NT (N).Nkind = N_Private_Extension_Declaration
3823         or else NT (N).Nkind = N_Private_Type_Declaration
3824         or else NT (N).Nkind = N_Protected_Body
3825         or else NT (N).Nkind = N_Protected_Body_Stub
3826         or else NT (N).Nkind = N_Protected_Type_Declaration
3827         or else NT (N).Nkind = N_Single_Protected_Declaration
3828         or else NT (N).Nkind = N_Single_Task_Declaration
3829         or else NT (N).Nkind = N_Subtype_Declaration
3830         or else NT (N).Nkind = N_Task_Body
3831         or else NT (N).Nkind = N_Task_Body_Stub
3832         or else NT (N).Nkind = N_Task_Type_Declaration);
3833       Set_Node1_With_Parent (N, Val);
3834    end Set_Defining_Identifier;
3835
3836    procedure Set_Defining_Unit_Name
3837       (N : Node_Id; Val : Node_Id) is
3838    begin
3839       pragma Assert (False
3840         or else NT (N).Nkind = N_Function_Instantiation
3841         or else NT (N).Nkind = N_Function_Specification
3842         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3843         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3844         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3845         or else NT (N).Nkind = N_Package_Body
3846         or else NT (N).Nkind = N_Package_Instantiation
3847         or else NT (N).Nkind = N_Package_Renaming_Declaration
3848         or else NT (N).Nkind = N_Package_Specification
3849         or else NT (N).Nkind = N_Procedure_Instantiation
3850         or else NT (N).Nkind = N_Procedure_Specification);
3851       Set_Node1_With_Parent (N, Val);
3852    end Set_Defining_Unit_Name;
3853
3854    procedure Set_Delay_Alternative
3855       (N : Node_Id; Val : Node_Id) is
3856    begin
3857       pragma Assert (False
3858         or else NT (N).Nkind = N_Timed_Entry_Call);
3859       Set_Node4_With_Parent (N, Val);
3860    end Set_Delay_Alternative;
3861
3862    procedure Set_Delay_Statement
3863       (N : Node_Id; Val : Node_Id) is
3864    begin
3865       pragma Assert (False
3866         or else NT (N).Nkind = N_Delay_Alternative);
3867       Set_Node2_With_Parent (N, Val);
3868    end Set_Delay_Statement;
3869
3870    procedure Set_Delta_Expression
3871       (N : Node_Id; Val : Node_Id) is
3872    begin
3873       pragma Assert (False
3874         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3875         or else NT (N).Nkind = N_Delta_Constraint
3876         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3877       Set_Node3_With_Parent (N, Val);
3878    end Set_Delta_Expression;
3879
3880    procedure Set_Digits_Expression
3881       (N : Node_Id; Val : Node_Id) is
3882    begin
3883       pragma Assert (False
3884         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3885         or else NT (N).Nkind = N_Digits_Constraint
3886         or else NT (N).Nkind = N_Floating_Point_Definition);
3887       Set_Node2_With_Parent (N, Val);
3888    end Set_Digits_Expression;
3889
3890    procedure Set_Discr_Check_Funcs_Built
3891       (N : Node_Id; Val : Boolean := True) is
3892    begin
3893       pragma Assert (False
3894         or else NT (N).Nkind = N_Full_Type_Declaration);
3895       Set_Flag11 (N, Val);
3896    end Set_Discr_Check_Funcs_Built;
3897
3898    procedure Set_Discrete_Choices
3899       (N : Node_Id; Val : List_Id) is
3900    begin
3901       pragma Assert (False
3902         or else NT (N).Nkind = N_Case_Expression_Alternative
3903         or else NT (N).Nkind = N_Case_Statement_Alternative
3904         or else NT (N).Nkind = N_Variant);
3905       Set_List4_With_Parent (N, Val);
3906    end Set_Discrete_Choices;
3907
3908    procedure Set_Discrete_Range
3909       (N : Node_Id; Val : Node_Id) is
3910    begin
3911       pragma Assert (False
3912         or else NT (N).Nkind = N_Slice);
3913       Set_Node4_With_Parent (N, Val);
3914    end Set_Discrete_Range;
3915
3916    procedure Set_Discrete_Subtype_Definition
3917       (N : Node_Id; Val : Node_Id) is
3918    begin
3919       pragma Assert (False
3920         or else NT (N).Nkind = N_Entry_Declaration
3921         or else NT (N).Nkind = N_Entry_Index_Specification
3922         or else NT (N).Nkind = N_Loop_Parameter_Specification);
3923       Set_Node4_With_Parent (N, Val);
3924    end Set_Discrete_Subtype_Definition;
3925
3926    procedure Set_Discrete_Subtype_Definitions
3927       (N : Node_Id; Val : List_Id) is
3928    begin
3929       pragma Assert (False
3930         or else NT (N).Nkind = N_Constrained_Array_Definition);
3931       Set_List2_With_Parent (N, Val);
3932    end Set_Discrete_Subtype_Definitions;
3933
3934    procedure Set_Discriminant_Specifications
3935       (N : Node_Id; Val : List_Id) is
3936    begin
3937       pragma Assert (False
3938         or else NT (N).Nkind = N_Formal_Type_Declaration
3939         or else NT (N).Nkind = N_Full_Type_Declaration
3940         or else NT (N).Nkind = N_Incomplete_Type_Declaration
3941         or else NT (N).Nkind = N_Private_Extension_Declaration
3942         or else NT (N).Nkind = N_Private_Type_Declaration
3943         or else NT (N).Nkind = N_Protected_Type_Declaration
3944         or else NT (N).Nkind = N_Task_Type_Declaration);
3945       Set_List4_With_Parent (N, Val);
3946    end Set_Discriminant_Specifications;
3947
3948    procedure Set_Discriminant_Type
3949       (N : Node_Id; Val : Node_Id) is
3950    begin
3951       pragma Assert (False
3952         or else NT (N).Nkind = N_Discriminant_Specification);
3953       Set_Node5_With_Parent (N, Val);
3954    end Set_Discriminant_Type;
3955
3956    procedure Set_Do_Accessibility_Check
3957       (N : Node_Id; Val : Boolean := True) is
3958    begin
3959       pragma Assert (False
3960         or else NT (N).Nkind = N_Parameter_Specification);
3961       Set_Flag13 (N, Val);
3962    end Set_Do_Accessibility_Check;
3963
3964    procedure Set_Do_Discriminant_Check
3965       (N : Node_Id; Val : Boolean := True) is
3966    begin
3967       pragma Assert (False
3968         or else NT (N).Nkind = N_Selected_Component);
3969       Set_Flag13 (N, Val);
3970    end Set_Do_Discriminant_Check;
3971
3972    procedure Set_Do_Division_Check
3973       (N : Node_Id; Val : Boolean := True) is
3974    begin
3975       pragma Assert (False
3976         or else NT (N).Nkind = N_Op_Divide
3977         or else NT (N).Nkind = N_Op_Mod
3978         or else NT (N).Nkind = N_Op_Rem);
3979       Set_Flag13 (N, Val);
3980    end Set_Do_Division_Check;
3981
3982    procedure Set_Do_Length_Check
3983       (N : Node_Id; Val : Boolean := True) is
3984    begin
3985       pragma Assert (False
3986         or else NT (N).Nkind = N_Assignment_Statement
3987         or else NT (N).Nkind = N_Op_And
3988         or else NT (N).Nkind = N_Op_Or
3989         or else NT (N).Nkind = N_Op_Xor
3990         or else NT (N).Nkind = N_Type_Conversion);
3991       Set_Flag4 (N, Val);
3992    end Set_Do_Length_Check;
3993
3994    procedure Set_Do_Overflow_Check
3995       (N : Node_Id; Val : Boolean := True) is
3996    begin
3997       pragma Assert (False
3998         or else NT (N).Nkind in N_Op
3999         or else NT (N).Nkind = N_Attribute_Reference
4000         or else NT (N).Nkind = N_Type_Conversion);
4001       Set_Flag17 (N, Val);
4002    end Set_Do_Overflow_Check;
4003
4004    procedure Set_Do_Range_Check
4005       (N : Node_Id; Val : Boolean := True) is
4006    begin
4007       pragma Assert (False
4008         or else NT (N).Nkind in N_Subexpr);
4009       Set_Flag9 (N, Val);
4010    end Set_Do_Range_Check;
4011
4012    procedure Set_Do_Storage_Check
4013       (N : Node_Id; Val : Boolean := True) is
4014    begin
4015       pragma Assert (False
4016         or else NT (N).Nkind = N_Allocator
4017         or else NT (N).Nkind = N_Subprogram_Body);
4018       Set_Flag17 (N, Val);
4019    end Set_Do_Storage_Check;
4020
4021    procedure Set_Do_Tag_Check
4022       (N : Node_Id; Val : Boolean := True) is
4023    begin
4024       pragma Assert (False
4025         or else NT (N).Nkind = N_Assignment_Statement
4026         or else NT (N).Nkind = N_Extended_Return_Statement
4027         or else NT (N).Nkind = N_Function_Call
4028         or else NT (N).Nkind = N_Procedure_Call_Statement
4029         or else NT (N).Nkind = N_Return_Statement
4030         or else NT (N).Nkind = N_Type_Conversion);
4031       Set_Flag13 (N, Val);
4032    end Set_Do_Tag_Check;
4033
4034    procedure Set_Elaborate_All_Desirable
4035       (N : Node_Id; Val : Boolean := True) is
4036    begin
4037       pragma Assert (False
4038         or else NT (N).Nkind = N_With_Clause);
4039       Set_Flag9 (N, Val);
4040    end Set_Elaborate_All_Desirable;
4041
4042    procedure Set_Elaborate_All_Present
4043       (N : Node_Id; Val : Boolean := True) is
4044    begin
4045       pragma Assert (False
4046         or else NT (N).Nkind = N_With_Clause);
4047       Set_Flag14 (N, Val);
4048    end Set_Elaborate_All_Present;
4049
4050    procedure Set_Elaborate_Desirable
4051       (N : Node_Id; Val : Boolean := True) is
4052    begin
4053       pragma Assert (False
4054         or else NT (N).Nkind = N_With_Clause);
4055       Set_Flag11 (N, Val);
4056    end Set_Elaborate_Desirable;
4057
4058    procedure Set_Elaborate_Present
4059       (N : Node_Id; Val : Boolean := True) is
4060    begin
4061       pragma Assert (False
4062         or else NT (N).Nkind = N_With_Clause);
4063       Set_Flag4 (N, Val);
4064    end Set_Elaborate_Present;
4065
4066    procedure Set_Elaboration_Boolean
4067       (N : Node_Id; Val : Node_Id) is
4068    begin
4069       pragma Assert (False
4070         or else NT (N).Nkind = N_Function_Specification
4071         or else NT (N).Nkind = N_Procedure_Specification);
4072       Set_Node2 (N, Val);
4073    end Set_Elaboration_Boolean;
4074
4075    procedure Set_Else_Actions
4076       (N : Node_Id; Val : List_Id) is
4077    begin
4078       pragma Assert (False
4079         or else NT (N).Nkind = N_Conditional_Expression);
4080       Set_List3 (N, Val); -- semantic field, no parent set
4081    end Set_Else_Actions;
4082
4083    procedure Set_Else_Statements
4084       (N : Node_Id; Val : List_Id) is
4085    begin
4086       pragma Assert (False
4087         or else NT (N).Nkind = N_Conditional_Entry_Call
4088         or else NT (N).Nkind = N_If_Statement
4089         or else NT (N).Nkind = N_Selective_Accept);
4090       Set_List4_With_Parent (N, Val);
4091    end Set_Else_Statements;
4092
4093    procedure Set_Elsif_Parts
4094       (N : Node_Id; Val : List_Id) is
4095    begin
4096       pragma Assert (False
4097         or else NT (N).Nkind = N_If_Statement);
4098       Set_List3_With_Parent (N, Val);
4099    end Set_Elsif_Parts;
4100
4101    procedure Set_Enclosing_Variant
4102       (N : Node_Id; Val : Node_Id) is
4103    begin
4104       pragma Assert (False
4105         or else NT (N).Nkind = N_Variant);
4106       Set_Node2 (N, Val); -- semantic field, no parent set
4107    end Set_Enclosing_Variant;
4108
4109    procedure Set_End_Label
4110       (N : Node_Id; Val : Node_Id) is
4111    begin
4112       pragma Assert (False
4113         or else NT (N).Nkind = N_Enumeration_Type_Definition
4114         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4115         or else NT (N).Nkind = N_Loop_Statement
4116         or else NT (N).Nkind = N_Package_Specification
4117         or else NT (N).Nkind = N_Protected_Body
4118         or else NT (N).Nkind = N_Protected_Definition
4119         or else NT (N).Nkind = N_Record_Definition
4120         or else NT (N).Nkind = N_Task_Definition);
4121       Set_Node4_With_Parent (N, Val);
4122    end Set_End_Label;
4123
4124    procedure Set_End_Span
4125       (N : Node_Id; Val : Uint) is
4126    begin
4127       pragma Assert (False
4128         or else NT (N).Nkind = N_Case_Statement
4129         or else NT (N).Nkind = N_If_Statement);
4130       Set_Uint5 (N, Val);
4131    end Set_End_Span;
4132
4133    procedure Set_Entity
4134       (N : Node_Id; Val : Node_Id) is
4135    begin
4136       pragma Assert (False
4137         or else NT (N).Nkind in N_Has_Entity
4138         or else NT (N).Nkind = N_Aspect_Specification
4139         or else NT (N).Nkind = N_Attribute_Definition_Clause
4140         or else NT (N).Nkind = N_Freeze_Entity);
4141       Set_Node4 (N, Val); -- semantic field, no parent set
4142    end Set_Entity;
4143
4144    procedure Set_Entry_Body_Formal_Part
4145       (N : Node_Id; Val : Node_Id) is
4146    begin
4147       pragma Assert (False
4148         or else NT (N).Nkind = N_Entry_Body);
4149       Set_Node5_With_Parent (N, Val);
4150    end Set_Entry_Body_Formal_Part;
4151
4152    procedure Set_Entry_Call_Alternative
4153       (N : Node_Id; Val : Node_Id) is
4154    begin
4155       pragma Assert (False
4156         or else NT (N).Nkind = N_Conditional_Entry_Call
4157         or else NT (N).Nkind = N_Timed_Entry_Call);
4158       Set_Node1_With_Parent (N, Val);
4159    end Set_Entry_Call_Alternative;
4160
4161    procedure Set_Entry_Call_Statement
4162       (N : Node_Id; Val : Node_Id) is
4163    begin
4164       pragma Assert (False
4165         or else NT (N).Nkind = N_Entry_Call_Alternative);
4166       Set_Node1_With_Parent (N, Val);
4167    end Set_Entry_Call_Statement;
4168
4169    procedure Set_Entry_Direct_Name
4170       (N : Node_Id; Val : Node_Id) is
4171    begin
4172       pragma Assert (False
4173         or else NT (N).Nkind = N_Accept_Statement);
4174       Set_Node1_With_Parent (N, Val);
4175    end Set_Entry_Direct_Name;
4176
4177    procedure Set_Entry_Index
4178       (N : Node_Id; Val : Node_Id) is
4179    begin
4180       pragma Assert (False
4181         or else NT (N).Nkind = N_Accept_Statement);
4182       Set_Node5_With_Parent (N, Val);
4183    end Set_Entry_Index;
4184
4185    procedure Set_Entry_Index_Specification
4186       (N : Node_Id; Val : Node_Id) is
4187    begin
4188       pragma Assert (False
4189         or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4190       Set_Node4_With_Parent (N, Val);
4191    end Set_Entry_Index_Specification;
4192
4193    procedure Set_Etype
4194       (N : Node_Id; Val : Node_Id) is
4195    begin
4196       pragma Assert (False
4197         or else NT (N).Nkind in N_Has_Etype);
4198       Set_Node5 (N, Val); -- semantic field, no parent set
4199    end Set_Etype;
4200
4201    procedure Set_Exception_Choices
4202       (N : Node_Id; Val : List_Id) is
4203    begin
4204       pragma Assert (False
4205         or else NT (N).Nkind = N_Exception_Handler);
4206       Set_List4_With_Parent (N, Val);
4207    end Set_Exception_Choices;
4208
4209    procedure Set_Exception_Handlers
4210       (N : Node_Id; Val : List_Id) is
4211    begin
4212       pragma Assert (False
4213         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4214       Set_List5_With_Parent (N, Val);
4215    end Set_Exception_Handlers;
4216
4217    procedure Set_Exception_Junk
4218      (N : Node_Id; Val : Boolean := True) is
4219    begin
4220       pragma Assert (False
4221         or else NT (N).Nkind = N_Block_Statement
4222         or else NT (N).Nkind = N_Goto_Statement
4223         or else NT (N).Nkind = N_Label
4224         or else NT (N).Nkind = N_Object_Declaration
4225         or else NT (N).Nkind = N_Subtype_Declaration);
4226       Set_Flag8 (N, Val);
4227    end Set_Exception_Junk;
4228
4229    procedure Set_Exception_Label
4230      (N : Node_Id; Val : Node_Id) is
4231    begin
4232       pragma Assert (False
4233         or else NT (N).Nkind = N_Exception_Handler
4234         or else NT (N).Nkind = N_Push_Constraint_Error_Label
4235         or else NT (N).Nkind = N_Push_Program_Error_Label
4236         or else NT (N).Nkind = N_Push_Storage_Error_Label);
4237       Set_Node5 (N, Val); -- semantic field, no parent set
4238    end Set_Exception_Label;
4239
4240    procedure Set_Expansion_Delayed
4241      (N : Node_Id; Val : Boolean := True) is
4242    begin
4243       pragma Assert (False
4244         or else NT (N).Nkind = N_Aggregate
4245         or else NT (N).Nkind = N_Extension_Aggregate);
4246       Set_Flag11 (N, Val);
4247    end Set_Expansion_Delayed;
4248
4249    procedure Set_Explicit_Actual_Parameter
4250       (N : Node_Id; Val : Node_Id) is
4251    begin
4252       pragma Assert (False
4253         or else NT (N).Nkind = N_Parameter_Association);
4254       Set_Node3_With_Parent (N, Val);
4255    end Set_Explicit_Actual_Parameter;
4256
4257    procedure Set_Explicit_Generic_Actual_Parameter
4258       (N : Node_Id; Val : Node_Id) is
4259    begin
4260       pragma Assert (False
4261         or else NT (N).Nkind = N_Generic_Association);
4262       Set_Node1_With_Parent (N, Val);
4263    end Set_Explicit_Generic_Actual_Parameter;
4264
4265    procedure Set_Expression
4266       (N : Node_Id; Val : Node_Id) is
4267    begin
4268       pragma Assert (False
4269         or else NT (N).Nkind = N_Allocator
4270         or else NT (N).Nkind = N_Aspect_Specification
4271         or else NT (N).Nkind = N_Assignment_Statement
4272         or else NT (N).Nkind = N_At_Clause
4273         or else NT (N).Nkind = N_Attribute_Definition_Clause
4274         or else NT (N).Nkind = N_Case_Expression
4275         or else NT (N).Nkind = N_Case_Expression_Alternative
4276         or else NT (N).Nkind = N_Case_Statement
4277         or else NT (N).Nkind = N_Code_Statement
4278         or else NT (N).Nkind = N_Component_Association
4279         or else NT (N).Nkind = N_Component_Declaration
4280         or else NT (N).Nkind = N_Delay_Relative_Statement
4281         or else NT (N).Nkind = N_Delay_Until_Statement
4282         or else NT (N).Nkind = N_Discriminant_Association
4283         or else NT (N).Nkind = N_Discriminant_Specification
4284         or else NT (N).Nkind = N_Exception_Declaration
4285         or else NT (N).Nkind = N_Expression_Function
4286         or else NT (N).Nkind = N_Expression_With_Actions
4287         or else NT (N).Nkind = N_Free_Statement
4288         or else NT (N).Nkind = N_Mod_Clause
4289         or else NT (N).Nkind = N_Modular_Type_Definition
4290         or else NT (N).Nkind = N_Number_Declaration
4291         or else NT (N).Nkind = N_Object_Declaration
4292         or else NT (N).Nkind = N_Parameter_Specification
4293         or else NT (N).Nkind = N_Pragma_Argument_Association
4294         or else NT (N).Nkind = N_Qualified_Expression
4295         or else NT (N).Nkind = N_Raise_Statement
4296         or else NT (N).Nkind = N_Return_Statement
4297         or else NT (N).Nkind = N_Type_Conversion
4298         or else NT (N).Nkind = N_Unchecked_Expression
4299         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4300       Set_Node3_With_Parent (N, Val);
4301    end Set_Expression;
4302
4303    procedure Set_Expressions
4304       (N : Node_Id; Val : List_Id) is
4305    begin
4306       pragma Assert (False
4307         or else NT (N).Nkind = N_Aggregate
4308         or else NT (N).Nkind = N_Attribute_Reference
4309         or else NT (N).Nkind = N_Conditional_Expression
4310         or else NT (N).Nkind = N_Extension_Aggregate
4311         or else NT (N).Nkind = N_Indexed_Component);
4312       Set_List1_With_Parent (N, Val);
4313    end Set_Expressions;
4314
4315    procedure Set_First_Bit
4316       (N : Node_Id; Val : Node_Id) is
4317    begin
4318       pragma Assert (False
4319         or else NT (N).Nkind = N_Component_Clause);
4320       Set_Node3_With_Parent (N, Val);
4321    end Set_First_Bit;
4322
4323    procedure Set_First_Inlined_Subprogram
4324       (N : Node_Id; Val : Entity_Id) is
4325    begin
4326       pragma Assert (False
4327         or else NT (N).Nkind = N_Compilation_Unit);
4328       Set_Node3 (N, Val);  -- semantic field, no parent set
4329    end Set_First_Inlined_Subprogram;
4330
4331    procedure Set_First_Name
4332       (N : Node_Id; Val : Boolean := True) is
4333    begin
4334       pragma Assert (False
4335         or else NT (N).Nkind = N_With_Clause);
4336       Set_Flag5 (N, Val);
4337    end Set_First_Name;
4338
4339    procedure Set_First_Named_Actual
4340       (N : Node_Id; Val : Node_Id) is
4341    begin
4342       pragma Assert (False
4343         or else NT (N).Nkind = N_Entry_Call_Statement
4344         or else NT (N).Nkind = N_Function_Call
4345         or else NT (N).Nkind = N_Procedure_Call_Statement);
4346       Set_Node4 (N, Val); -- semantic field, no parent set
4347    end Set_First_Named_Actual;
4348
4349    procedure Set_First_Real_Statement
4350       (N : Node_Id; Val : Node_Id) is
4351    begin
4352       pragma Assert (False
4353         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4354       Set_Node2 (N, Val); -- semantic field, no parent set
4355    end Set_First_Real_Statement;
4356
4357    procedure Set_First_Subtype_Link
4358       (N : Node_Id; Val : Entity_Id) is
4359    begin
4360       pragma Assert (False
4361         or else NT (N).Nkind = N_Freeze_Entity);
4362       Set_Node5 (N, Val); -- semantic field, no parent set
4363    end Set_First_Subtype_Link;
4364
4365    procedure Set_Float_Truncate
4366       (N : Node_Id; Val : Boolean := True) is
4367    begin
4368       pragma Assert (False
4369         or else NT (N).Nkind = N_Type_Conversion);
4370       Set_Flag11 (N, Val);
4371    end Set_Float_Truncate;
4372
4373    procedure Set_Formal_Type_Definition
4374       (N : Node_Id; Val : Node_Id) is
4375    begin
4376       pragma Assert (False
4377         or else NT (N).Nkind = N_Formal_Type_Declaration);
4378       Set_Node3_With_Parent (N, Val);
4379    end Set_Formal_Type_Definition;
4380
4381    procedure Set_Forwards_OK
4382       (N : Node_Id; Val : Boolean := True) is
4383    begin
4384       pragma Assert (False
4385         or else NT (N).Nkind = N_Assignment_Statement);
4386       Set_Flag5 (N, Val);
4387    end Set_Forwards_OK;
4388
4389    procedure Set_From_Aspect_Specification
4390       (N : Node_Id; Val : Boolean := True) is
4391    begin
4392       pragma Assert (False
4393         or else NT (N).Nkind = N_Attribute_Definition_Clause
4394         or else NT (N).Nkind = N_Pragma);
4395       Set_Flag13 (N, Val);
4396    end Set_From_Aspect_Specification;
4397
4398    procedure Set_From_At_End
4399       (N : Node_Id; Val : Boolean := True) is
4400    begin
4401       pragma Assert (False
4402         or else NT (N).Nkind = N_Raise_Statement);
4403       Set_Flag4 (N, Val);
4404    end Set_From_At_End;
4405
4406    procedure Set_From_At_Mod
4407       (N : Node_Id; Val : Boolean := True) is
4408    begin
4409       pragma Assert (False
4410         or else NT (N).Nkind = N_Attribute_Definition_Clause);
4411       Set_Flag4 (N, Val);
4412    end Set_From_At_Mod;
4413
4414    procedure Set_From_Default
4415       (N : Node_Id; Val : Boolean := True) is
4416    begin
4417       pragma Assert (False
4418         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4419       Set_Flag6 (N, Val);
4420    end Set_From_Default;
4421
4422    procedure Set_Generic_Associations
4423       (N : Node_Id; Val : List_Id) is
4424    begin
4425       pragma Assert (False
4426         or else NT (N).Nkind = N_Formal_Package_Declaration
4427         or else NT (N).Nkind = N_Function_Instantiation
4428         or else NT (N).Nkind = N_Package_Instantiation
4429         or else NT (N).Nkind = N_Procedure_Instantiation);
4430       Set_List3_With_Parent (N, Val);
4431    end Set_Generic_Associations;
4432
4433    procedure Set_Generic_Formal_Declarations
4434       (N : Node_Id; Val : List_Id) is
4435    begin
4436       pragma Assert (False
4437         or else NT (N).Nkind = N_Generic_Package_Declaration
4438         or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4439       Set_List2_With_Parent (N, Val);
4440    end Set_Generic_Formal_Declarations;
4441
4442    procedure Set_Generic_Parent
4443       (N : Node_Id; Val : Node_Id) is
4444    begin
4445       pragma Assert (False
4446         or else NT (N).Nkind = N_Function_Specification
4447         or else NT (N).Nkind = N_Package_Specification
4448         or else NT (N).Nkind = N_Procedure_Specification);
4449       Set_Node5 (N, Val);
4450    end Set_Generic_Parent;
4451
4452    procedure Set_Generic_Parent_Type
4453       (N : Node_Id; Val : Node_Id) is
4454    begin
4455       pragma Assert (False
4456         or else NT (N).Nkind = N_Subtype_Declaration);
4457       Set_Node4 (N, Val);
4458    end Set_Generic_Parent_Type;
4459
4460    procedure Set_Handled_Statement_Sequence
4461       (N : Node_Id; Val : Node_Id) is
4462    begin
4463       pragma Assert (False
4464         or else NT (N).Nkind = N_Accept_Statement
4465         or else NT (N).Nkind = N_Block_Statement
4466         or else NT (N).Nkind = N_Entry_Body
4467         or else NT (N).Nkind = N_Extended_Return_Statement
4468         or else NT (N).Nkind = N_Package_Body
4469         or else NT (N).Nkind = N_Subprogram_Body
4470         or else NT (N).Nkind = N_Task_Body);
4471       Set_Node4_With_Parent (N, Val);
4472    end Set_Handled_Statement_Sequence;
4473
4474    procedure Set_Handler_List_Entry
4475       (N : Node_Id; Val : Node_Id) is
4476    begin
4477       pragma Assert (False
4478         or else NT (N).Nkind = N_Object_Declaration);
4479       Set_Node2 (N, Val);
4480    end Set_Handler_List_Entry;
4481
4482    procedure Set_Has_Created_Identifier
4483       (N : Node_Id; Val : Boolean := True) is
4484    begin
4485       pragma Assert (False
4486         or else NT (N).Nkind = N_Block_Statement
4487         or else NT (N).Nkind = N_Loop_Statement);
4488       Set_Flag15 (N, Val);
4489    end Set_Has_Created_Identifier;
4490
4491    procedure Set_Has_Dereference_Action
4492       (N : Node_Id; Val : Boolean := True) is
4493    begin
4494       pragma Assert (False
4495         or else NT (N).Nkind = N_Explicit_Dereference);
4496       Set_Flag13 (N, Val);
4497    end Set_Has_Dereference_Action;
4498
4499    procedure Set_Has_Dynamic_Length_Check
4500       (N : Node_Id; Val : Boolean := True) is
4501    begin
4502       pragma Assert (False
4503         or else NT (N).Nkind in N_Subexpr);
4504       Set_Flag10 (N, Val);
4505    end Set_Has_Dynamic_Length_Check;
4506
4507    procedure Set_Has_Dynamic_Range_Check
4508       (N : Node_Id; Val : Boolean := True) is
4509    begin
4510       pragma Assert (False
4511         or else NT (N).Nkind =  N_Subtype_Declaration
4512         or else NT (N).Nkind in N_Subexpr);
4513       Set_Flag12 (N, Val);
4514    end Set_Has_Dynamic_Range_Check;
4515
4516    procedure Set_Has_Init_Expression
4517       (N : Node_Id; Val : Boolean := True) is
4518    begin
4519       pragma Assert (False
4520         or else NT (N).Nkind = N_Object_Declaration);
4521       Set_Flag14 (N, Val);
4522    end Set_Has_Init_Expression;
4523
4524    procedure Set_Has_Local_Raise
4525       (N : Node_Id; Val : Boolean := True) is
4526    begin
4527       pragma Assert (False
4528         or else NT (N).Nkind = N_Exception_Handler);
4529       Set_Flag8 (N, Val);
4530    end Set_Has_Local_Raise;
4531
4532    procedure Set_Has_No_Elaboration_Code
4533       (N : Node_Id; Val : Boolean := True) is
4534    begin
4535       pragma Assert (False
4536         or else NT (N).Nkind = N_Compilation_Unit);
4537       Set_Flag17 (N, Val);
4538    end Set_Has_No_Elaboration_Code;
4539
4540    procedure Set_Has_Pragma_Suppress_All
4541       (N : Node_Id; Val : Boolean := True) is
4542    begin
4543       pragma Assert (False
4544         or else NT (N).Nkind = N_Compilation_Unit);
4545       Set_Flag14 (N, Val);
4546    end Set_Has_Pragma_Suppress_All;
4547
4548    procedure Set_Has_Private_View
4549       (N : Node_Id; Val : Boolean := True) is
4550    begin
4551       pragma Assert (False
4552        or else NT (N).Nkind in N_Op
4553        or else NT (N).Nkind = N_Character_Literal
4554        or else NT (N).Nkind = N_Expanded_Name
4555        or else NT (N).Nkind = N_Identifier
4556        or else NT (N).Nkind = N_Operator_Symbol);
4557       Set_Flag11 (N, Val);
4558    end Set_Has_Private_View;
4559
4560    procedure Set_Has_Relative_Deadline_Pragma
4561       (N : Node_Id; Val : Boolean := True) is
4562    begin
4563       pragma Assert (False
4564         or else NT (N).Nkind = N_Subprogram_Body
4565         or else NT (N).Nkind = N_Task_Definition);
4566       Set_Flag9 (N, Val);
4567    end Set_Has_Relative_Deadline_Pragma;
4568
4569    procedure Set_Has_Self_Reference
4570       (N : Node_Id; Val : Boolean := True) is
4571    begin
4572       pragma Assert (False
4573         or else NT (N).Nkind = N_Aggregate
4574         or else NT (N).Nkind = N_Extension_Aggregate);
4575       Set_Flag13 (N, Val);
4576    end Set_Has_Self_Reference;
4577
4578    procedure Set_Has_Storage_Size_Pragma
4579       (N : Node_Id; Val : Boolean := True) is
4580    begin
4581       pragma Assert (False
4582         or else NT (N).Nkind = N_Task_Definition);
4583       Set_Flag5 (N, Val);
4584    end Set_Has_Storage_Size_Pragma;
4585
4586    procedure Set_Has_Wide_Character
4587       (N : Node_Id; Val : Boolean := True) is
4588    begin
4589       pragma Assert (False
4590         or else NT (N).Nkind = N_String_Literal);
4591       Set_Flag11 (N, Val);
4592    end Set_Has_Wide_Character;
4593
4594    procedure Set_Has_Wide_Wide_Character
4595       (N : Node_Id; Val : Boolean := True) is
4596    begin
4597       pragma Assert (False
4598         or else NT (N).Nkind = N_String_Literal);
4599       Set_Flag13 (N, Val);
4600    end Set_Has_Wide_Wide_Character;
4601
4602    procedure Set_Header_Size_Added
4603       (N : Node_Id; Val : Boolean := True) is
4604    begin
4605       pragma Assert (False
4606         or else NT (N).Nkind = N_Attribute_Reference);
4607       Set_Flag11 (N, Val);
4608    end Set_Header_Size_Added;
4609
4610    procedure Set_Hidden_By_Use_Clause
4611      (N : Node_Id; Val : Elist_Id) is
4612    begin
4613       pragma Assert (False
4614         or else NT (N).Nkind = N_Use_Package_Clause
4615         or else NT (N).Nkind = N_Use_Type_Clause);
4616       Set_Elist4 (N, Val);
4617    end Set_Hidden_By_Use_Clause;
4618
4619    procedure Set_High_Bound
4620       (N : Node_Id; Val : Node_Id) is
4621    begin
4622       pragma Assert (False
4623         or else NT (N).Nkind = N_Range
4624         or else NT (N).Nkind = N_Real_Range_Specification
4625         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
4626       Set_Node2_With_Parent (N, Val);
4627    end Set_High_Bound;
4628
4629    procedure Set_Identifier
4630       (N : Node_Id; Val : Node_Id) is
4631    begin
4632       pragma Assert (False
4633         or else NT (N).Nkind = N_Aspect_Specification
4634         or else NT (N).Nkind = N_At_Clause
4635         or else NT (N).Nkind = N_Block_Statement
4636         or else NT (N).Nkind = N_Designator
4637         or else NT (N).Nkind = N_Enumeration_Representation_Clause
4638         or else NT (N).Nkind = N_Label
4639         or else NT (N).Nkind = N_Loop_Statement
4640         or else NT (N).Nkind = N_Record_Representation_Clause
4641         or else NT (N).Nkind = N_Subprogram_Info);
4642       Set_Node1_With_Parent (N, Val);
4643    end Set_Identifier;
4644
4645    procedure Set_Implicit_With
4646       (N : Node_Id; Val : Boolean := True) is
4647    begin
4648       pragma Assert (False
4649         or else NT (N).Nkind = N_With_Clause);
4650       Set_Flag16 (N, Val);
4651    end Set_Implicit_With;
4652
4653    procedure Set_Implicit_With_From_Instantiation
4654       (N : Node_Id; Val : Boolean := True) is
4655    begin
4656       pragma Assert (False
4657         or else NT (N).Nkind = N_With_Clause);
4658       Set_Flag12 (N, Val);
4659    end Set_Implicit_With_From_Instantiation;
4660
4661    procedure Set_Interface_List
4662       (N : Node_Id; Val : List_Id) is
4663    begin
4664       pragma Assert (False
4665         or else NT (N).Nkind = N_Derived_Type_Definition
4666         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4667         or else NT (N).Nkind = N_Private_Extension_Declaration
4668         or else NT (N).Nkind = N_Protected_Type_Declaration
4669         or else NT (N).Nkind = N_Record_Definition
4670         or else NT (N).Nkind = N_Single_Protected_Declaration
4671         or else NT (N).Nkind = N_Single_Task_Declaration
4672         or else NT (N).Nkind = N_Task_Type_Declaration);
4673       Set_List2_With_Parent (N, Val);
4674    end Set_Interface_List;
4675
4676    procedure Set_Interface_Present
4677       (N : Node_Id; Val : Boolean := True) is
4678    begin
4679       pragma Assert (False
4680         or else NT (N).Nkind = N_Derived_Type_Definition
4681         or else NT (N).Nkind = N_Record_Definition);
4682       Set_Flag16 (N, Val);
4683    end Set_Interface_Present;
4684
4685    procedure Set_Import_Interface_Present
4686       (N : Node_Id; Val : Boolean := True) is
4687    begin
4688       pragma Assert (False
4689         or else NT (N).Nkind = N_Pragma);
4690       Set_Flag16 (N, Val);
4691    end Set_Import_Interface_Present;
4692
4693    procedure Set_In_Present
4694       (N : Node_Id; Val : Boolean := True) is
4695    begin
4696       pragma Assert (False
4697         or else NT (N).Nkind = N_Formal_Object_Declaration
4698         or else NT (N).Nkind = N_Parameter_Specification);
4699       Set_Flag15 (N, Val);
4700    end Set_In_Present;
4701
4702    procedure Set_Includes_Infinities
4703       (N : Node_Id; Val : Boolean := True) is
4704    begin
4705       pragma Assert (False
4706         or else NT (N).Nkind = N_Range);
4707       Set_Flag11 (N, Val);
4708    end Set_Includes_Infinities;
4709
4710    procedure Set_Inherited_Discriminant
4711       (N : Node_Id; Val : Boolean := True) is
4712    begin
4713       pragma Assert (False
4714         or else NT (N).Nkind = N_Component_Association);
4715       Set_Flag13 (N, Val);
4716    end Set_Inherited_Discriminant;
4717
4718    procedure Set_Instance_Spec
4719       (N : Node_Id; Val : Node_Id) is
4720    begin
4721       pragma Assert (False
4722         or else NT (N).Nkind = N_Formal_Package_Declaration
4723         or else NT (N).Nkind = N_Function_Instantiation
4724         or else NT (N).Nkind = N_Package_Instantiation
4725         or else NT (N).Nkind = N_Procedure_Instantiation);
4726       Set_Node5 (N, Val); -- semantic field, no Parent set
4727    end Set_Instance_Spec;
4728
4729    procedure Set_Intval
4730       (N : Node_Id; Val : Uint) is
4731    begin
4732       pragma Assert (False
4733         or else NT (N).Nkind = N_Integer_Literal);
4734       Set_Uint3 (N, Val);
4735    end Set_Intval;
4736
4737    procedure Set_Is_Accessibility_Actual
4738       (N : Node_Id; Val : Boolean := True) is
4739    begin
4740       pragma Assert (False
4741         or else NT (N).Nkind = N_Parameter_Association);
4742       Set_Flag13 (N, Val);
4743    end Set_Is_Accessibility_Actual;
4744
4745    procedure Set_Is_Asynchronous_Call_Block
4746       (N : Node_Id; Val : Boolean := True) is
4747    begin
4748       pragma Assert (False
4749         or else NT (N).Nkind = N_Block_Statement);
4750       Set_Flag7 (N, Val);
4751    end Set_Is_Asynchronous_Call_Block;
4752
4753    procedure Set_Is_Boolean_Aspect
4754       (N : Node_Id; Val : Boolean := True) is
4755    begin
4756       pragma Assert (False
4757         or else NT (N).Nkind = N_Aspect_Specification);
4758       Set_Flag16 (N, Val);
4759    end Set_Is_Boolean_Aspect;
4760
4761    procedure Set_Is_Component_Left_Opnd
4762       (N : Node_Id; Val : Boolean := True) is
4763    begin
4764       pragma Assert (False
4765         or else NT (N).Nkind = N_Op_Concat);
4766       Set_Flag13 (N, Val);
4767    end Set_Is_Component_Left_Opnd;
4768
4769    procedure Set_Is_Component_Right_Opnd
4770       (N : Node_Id; Val : Boolean := True) is
4771    begin
4772       pragma Assert (False
4773         or else NT (N).Nkind = N_Op_Concat);
4774       Set_Flag14 (N, Val);
4775    end Set_Is_Component_Right_Opnd;
4776
4777    procedure Set_Is_Controlling_Actual
4778       (N : Node_Id; Val : Boolean := True) is
4779    begin
4780       pragma Assert (False
4781         or else NT (N).Nkind in N_Subexpr);
4782       Set_Flag16 (N, Val);
4783    end Set_Is_Controlling_Actual;
4784
4785    procedure Set_Is_Delayed_Aspect
4786       (N : Node_Id; Val : Boolean := True) is
4787    begin
4788       pragma Assert (False
4789         or else NT (N).Nkind = N_Aspect_Specification
4790         or else NT (N).Nkind = N_Attribute_Definition_Clause
4791         or else NT (N).Nkind = N_Pragma);
4792       Set_Flag14 (N, Val);
4793    end Set_Is_Delayed_Aspect;
4794
4795    procedure Set_Is_Dynamic_Coextension
4796       (N : Node_Id; Val : Boolean := True) is
4797    begin
4798       pragma Assert (False
4799         or else NT (N).Nkind = N_Allocator);
4800       Set_Flag18 (N, Val);
4801    end Set_Is_Dynamic_Coextension;
4802
4803    procedure Set_Is_Elsif
4804      (N : Node_Id; Val : Boolean := True) is
4805    begin
4806       pragma Assert (False
4807         or else NT (N).Nkind = N_Conditional_Expression);
4808       Set_Flag13 (N, Val);
4809    end Set_Is_Elsif;
4810
4811    procedure Set_Is_Entry_Barrier_Function
4812       (N : Node_Id; Val : Boolean := True) is
4813    begin
4814       pragma Assert (False
4815         or else NT (N).Nkind = N_Subprogram_Body);
4816       Set_Flag8 (N, Val);
4817    end Set_Is_Entry_Barrier_Function;
4818
4819    procedure Set_Is_Expanded_Build_In_Place_Call
4820       (N : Node_Id; Val : Boolean := True) is
4821    begin
4822       pragma Assert (False
4823         or else NT (N).Nkind = N_Function_Call);
4824       Set_Flag11 (N, Val);
4825    end Set_Is_Expanded_Build_In_Place_Call;
4826
4827    procedure Set_Is_Finalization_Wrapper
4828       (N : Node_Id; Val : Boolean := True) is
4829    begin
4830       pragma Assert (False
4831         or else NT (N).Nkind = N_Block_Statement);
4832       Set_Flag9 (N, Val);
4833    end Set_Is_Finalization_Wrapper;
4834
4835    procedure Set_Is_Folded_In_Parser
4836       (N : Node_Id; Val : Boolean := True) is
4837    begin
4838       pragma Assert (False
4839         or else NT (N).Nkind = N_String_Literal);
4840       Set_Flag4 (N, Val);
4841    end Set_Is_Folded_In_Parser;
4842
4843    procedure Set_Is_In_Discriminant_Check
4844       (N : Node_Id; Val : Boolean := True) is
4845    begin
4846       pragma Assert (False
4847         or else NT (N).Nkind = N_Selected_Component);
4848       Set_Flag11 (N, Val);
4849    end Set_Is_In_Discriminant_Check;
4850
4851    procedure Set_Is_Machine_Number
4852       (N : Node_Id; Val : Boolean := True) is
4853    begin
4854       pragma Assert (False
4855         or else NT (N).Nkind = N_Real_Literal);
4856       Set_Flag11 (N, Val);
4857    end Set_Is_Machine_Number;
4858
4859    procedure Set_Is_Null_Loop
4860       (N : Node_Id; Val : Boolean := True) is
4861    begin
4862       pragma Assert (False
4863         or else NT (N).Nkind = N_Loop_Statement);
4864       Set_Flag16 (N, Val);
4865    end Set_Is_Null_Loop;
4866
4867    procedure Set_Is_Overloaded
4868       (N : Node_Id; Val : Boolean := True) is
4869    begin
4870       pragma Assert (False
4871         or else NT (N).Nkind in N_Subexpr);
4872       Set_Flag5 (N, Val);
4873    end Set_Is_Overloaded;
4874
4875    procedure Set_Is_Power_Of_2_For_Shift
4876       (N : Node_Id; Val : Boolean := True) is
4877    begin
4878       pragma Assert (False
4879         or else NT (N).Nkind = N_Op_Expon);
4880       Set_Flag13 (N, Val);
4881    end Set_Is_Power_Of_2_For_Shift;
4882
4883    procedure Set_Is_Prefixed_Call
4884       (N : Node_Id; Val : Boolean := True) is
4885    begin
4886       pragma Assert (False
4887         or else NT (N).Nkind = N_Selected_Component);
4888       Set_Flag17 (N, Val);
4889    end Set_Is_Prefixed_Call;
4890
4891    procedure Set_Is_Protected_Subprogram_Body
4892       (N : Node_Id; Val : Boolean := True) is
4893    begin
4894       pragma Assert (False
4895         or else NT (N).Nkind = N_Subprogram_Body);
4896       Set_Flag7 (N, Val);
4897    end Set_Is_Protected_Subprogram_Body;
4898
4899    procedure Set_Is_Static_Coextension
4900       (N : Node_Id; Val : Boolean := True) is
4901    begin
4902       pragma Assert (False
4903         or else NT (N).Nkind = N_Allocator);
4904       Set_Flag14 (N, Val);
4905    end Set_Is_Static_Coextension;
4906
4907    procedure Set_Is_Static_Expression
4908       (N : Node_Id; Val : Boolean := True) is
4909    begin
4910       pragma Assert (False
4911         or else NT (N).Nkind in N_Subexpr);
4912       Set_Flag6 (N, Val);
4913    end Set_Is_Static_Expression;
4914
4915    procedure Set_Is_Subprogram_Descriptor
4916       (N : Node_Id; Val : Boolean := True) is
4917    begin
4918       pragma Assert (False
4919         or else NT (N).Nkind = N_Object_Declaration);
4920       Set_Flag16 (N, Val);
4921    end Set_Is_Subprogram_Descriptor;
4922
4923    procedure Set_Is_Task_Allocation_Block
4924       (N : Node_Id; Val : Boolean := True) is
4925    begin
4926       pragma Assert (False
4927         or else NT (N).Nkind = N_Block_Statement);
4928       Set_Flag6 (N, Val);
4929    end Set_Is_Task_Allocation_Block;
4930
4931    procedure Set_Is_Task_Master
4932       (N : Node_Id; Val : Boolean := True) is
4933    begin
4934       pragma Assert (False
4935         or else NT (N).Nkind = N_Block_Statement
4936         or else NT (N).Nkind = N_Subprogram_Body
4937         or else NT (N).Nkind = N_Task_Body);
4938       Set_Flag5 (N, Val);
4939    end Set_Is_Task_Master;
4940
4941    procedure Set_Iteration_Scheme
4942       (N : Node_Id; Val : Node_Id) is
4943    begin
4944       pragma Assert (False
4945         or else NT (N).Nkind = N_Loop_Statement);
4946       Set_Node2_With_Parent (N, Val);
4947    end Set_Iteration_Scheme;
4948
4949    procedure Set_Iterator_Specification
4950      (N : Node_Id; Val : Node_Id) is
4951    begin
4952       pragma Assert (False
4953         or else NT (N).Nkind = N_Iteration_Scheme
4954         or else NT (N).Nkind = N_Quantified_Expression);
4955       Set_Node2_With_Parent (N, Val);
4956    end Set_Iterator_Specification;
4957
4958    procedure Set_Itype
4959       (N : Node_Id; Val : Entity_Id) is
4960    begin
4961       pragma Assert (False
4962       or else NT (N).Nkind = N_Itype_Reference);
4963       Set_Node1 (N, Val); -- no parent, semantic field
4964    end Set_Itype;
4965
4966    procedure Set_Kill_Range_Check
4967       (N : Node_Id; Val : Boolean := True) is
4968    begin
4969       pragma Assert (False
4970         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4971       Set_Flag11 (N, Val);
4972    end Set_Kill_Range_Check;
4973
4974    procedure Set_Label_Construct
4975       (N : Node_Id; Val : Node_Id) is
4976    begin
4977       pragma Assert (False
4978         or else NT (N).Nkind = N_Implicit_Label_Declaration);
4979       Set_Node2 (N, Val); -- semantic field, no parent set
4980    end Set_Label_Construct;
4981
4982    procedure Set_Last_Bit
4983       (N : Node_Id; Val : Node_Id) is
4984    begin
4985       pragma Assert (False
4986         or else NT (N).Nkind = N_Component_Clause);
4987       Set_Node4_With_Parent (N, Val);
4988    end Set_Last_Bit;
4989
4990    procedure Set_Last_Name
4991       (N : Node_Id; Val : Boolean := True) is
4992    begin
4993       pragma Assert (False
4994         or else NT (N).Nkind = N_With_Clause);
4995       Set_Flag6 (N, Val);
4996    end Set_Last_Name;
4997
4998    procedure Set_Left_Opnd
4999       (N : Node_Id; Val : Node_Id) is
5000    begin
5001       pragma Assert (False
5002         or else NT (N).Nkind = N_And_Then
5003         or else NT (N).Nkind = N_In
5004         or else NT (N).Nkind = N_Not_In
5005         or else NT (N).Nkind = N_Or_Else
5006         or else NT (N).Nkind in N_Binary_Op);
5007       Set_Node2_With_Parent (N, Val);
5008    end Set_Left_Opnd;
5009
5010    procedure Set_Library_Unit
5011       (N : Node_Id; Val : Node_Id) is
5012    begin
5013       pragma Assert (False
5014         or else NT (N).Nkind = N_Compilation_Unit
5015         or else NT (N).Nkind = N_Package_Body_Stub
5016         or else NT (N).Nkind = N_Protected_Body_Stub
5017         or else NT (N).Nkind = N_Subprogram_Body_Stub
5018         or else NT (N).Nkind = N_Task_Body_Stub
5019         or else NT (N).Nkind = N_With_Clause);
5020       Set_Node4 (N, Val); -- semantic field, no parent set
5021    end Set_Library_Unit;
5022
5023    procedure Set_Limited_View_Installed
5024       (N : Node_Id; Val : Boolean := True) is
5025    begin
5026       pragma Assert (False
5027         or else NT (N).Nkind = N_Package_Specification
5028         or else NT (N).Nkind = N_With_Clause);
5029       Set_Flag18 (N, Val);
5030    end Set_Limited_View_Installed;
5031
5032    procedure Set_Limited_Present
5033       (N : Node_Id; Val : Boolean := True) is
5034    begin
5035       pragma Assert (False
5036         or else NT (N).Nkind = N_Derived_Type_Definition
5037         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5038         or else NT (N).Nkind = N_Formal_Private_Type_Definition
5039         or else NT (N).Nkind = N_Private_Extension_Declaration
5040         or else NT (N).Nkind = N_Private_Type_Declaration
5041         or else NT (N).Nkind = N_Record_Definition
5042         or else NT (N).Nkind = N_With_Clause);
5043       Set_Flag17 (N, Val);
5044    end Set_Limited_Present;
5045
5046    procedure Set_Literals
5047       (N : Node_Id; Val : List_Id) is
5048    begin
5049       pragma Assert (False
5050         or else NT (N).Nkind = N_Enumeration_Type_Definition);
5051       Set_List1_With_Parent (N, Val);
5052    end Set_Literals;
5053
5054    procedure Set_Local_Raise_Not_OK
5055       (N : Node_Id; Val : Boolean := True) is
5056    begin
5057       pragma Assert (False
5058         or else NT (N).Nkind = N_Exception_Handler);
5059       Set_Flag7 (N, Val);
5060    end Set_Local_Raise_Not_OK;
5061
5062    procedure Set_Local_Raise_Statements
5063       (N : Node_Id; Val : Elist_Id) is
5064    begin
5065       pragma Assert (False
5066         or else NT (N).Nkind = N_Exception_Handler);
5067       Set_Elist1 (N, Val);
5068    end Set_Local_Raise_Statements;
5069
5070    procedure Set_Loop_Actions
5071       (N : Node_Id; Val : List_Id) is
5072    begin
5073       pragma Assert (False
5074         or else NT (N).Nkind = N_Component_Association);
5075       Set_List2 (N, Val); -- semantic field, no parent set
5076    end Set_Loop_Actions;
5077
5078    procedure Set_Loop_Parameter_Specification
5079       (N : Node_Id; Val : Node_Id) is
5080    begin
5081       pragma Assert (False
5082         or else NT (N).Nkind = N_Iteration_Scheme
5083         or else NT (N).Nkind = N_Quantified_Expression);
5084       Set_Node4_With_Parent (N, Val);
5085    end Set_Loop_Parameter_Specification;
5086
5087    procedure Set_Low_Bound
5088       (N : Node_Id; Val : Node_Id) is
5089    begin
5090       pragma Assert (False
5091         or else NT (N).Nkind = N_Range
5092         or else NT (N).Nkind = N_Real_Range_Specification
5093         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5094       Set_Node1_With_Parent (N, Val);
5095    end Set_Low_Bound;
5096
5097    procedure Set_Mod_Clause
5098       (N : Node_Id; Val : Node_Id) is
5099    begin
5100       pragma Assert (False
5101         or else NT (N).Nkind = N_Record_Representation_Clause);
5102       Set_Node2_With_Parent (N, Val);
5103    end Set_Mod_Clause;
5104
5105    procedure Set_More_Ids
5106       (N : Node_Id; Val : Boolean := True) is
5107    begin
5108       pragma Assert (False
5109         or else NT (N).Nkind = N_Component_Declaration
5110         or else NT (N).Nkind = N_Discriminant_Specification
5111         or else NT (N).Nkind = N_Exception_Declaration
5112         or else NT (N).Nkind = N_Formal_Object_Declaration
5113         or else NT (N).Nkind = N_Number_Declaration
5114         or else NT (N).Nkind = N_Object_Declaration
5115         or else NT (N).Nkind = N_Parameter_Specification);
5116       Set_Flag5 (N, Val);
5117    end Set_More_Ids;
5118
5119    procedure Set_Must_Be_Byte_Aligned
5120       (N : Node_Id; Val : Boolean := True) is
5121    begin
5122       pragma Assert (False
5123         or else NT (N).Nkind = N_Attribute_Reference);
5124       Set_Flag14 (N, Val);
5125    end Set_Must_Be_Byte_Aligned;
5126
5127    procedure Set_Must_Not_Freeze
5128       (N : Node_Id; Val : Boolean := True) is
5129    begin
5130       pragma Assert (False
5131         or else NT (N).Nkind = N_Subtype_Indication
5132         or else NT (N).Nkind in N_Subexpr);
5133       Set_Flag8 (N, Val);
5134    end Set_Must_Not_Freeze;
5135
5136    procedure Set_Must_Not_Override
5137       (N : Node_Id; Val : Boolean := True) is
5138    begin
5139       pragma Assert (False
5140         or else NT (N).Nkind = N_Entry_Declaration
5141         or else NT (N).Nkind = N_Function_Instantiation
5142         or else NT (N).Nkind = N_Function_Specification
5143         or else NT (N).Nkind = N_Procedure_Instantiation
5144         or else NT (N).Nkind = N_Procedure_Specification);
5145       Set_Flag15 (N, Val);
5146    end Set_Must_Not_Override;
5147
5148    procedure Set_Must_Override
5149       (N : Node_Id; Val : Boolean := True) is
5150    begin
5151       pragma Assert (False
5152         or else NT (N).Nkind = N_Entry_Declaration
5153         or else NT (N).Nkind = N_Function_Instantiation
5154         or else NT (N).Nkind = N_Function_Specification
5155         or else NT (N).Nkind = N_Procedure_Instantiation
5156         or else NT (N).Nkind = N_Procedure_Specification);
5157       Set_Flag14 (N, Val);
5158    end Set_Must_Override;
5159
5160    procedure Set_Name
5161       (N : Node_Id; Val : Node_Id) is
5162    begin
5163       pragma Assert (False
5164         or else NT (N).Nkind = N_Assignment_Statement
5165         or else NT (N).Nkind = N_Attribute_Definition_Clause
5166         or else NT (N).Nkind = N_Defining_Program_Unit_Name
5167         or else NT (N).Nkind = N_Designator
5168         or else NT (N).Nkind = N_Entry_Call_Statement
5169         or else NT (N).Nkind = N_Exception_Renaming_Declaration
5170         or else NT (N).Nkind = N_Exit_Statement
5171         or else NT (N).Nkind = N_Formal_Package_Declaration
5172         or else NT (N).Nkind = N_Function_Call
5173         or else NT (N).Nkind = N_Function_Instantiation
5174         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5175         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5176         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5177         or else NT (N).Nkind = N_Goto_Statement
5178         or else NT (N).Nkind = N_Iterator_Specification
5179         or else NT (N).Nkind = N_Object_Renaming_Declaration
5180         or else NT (N).Nkind = N_Package_Instantiation
5181         or else NT (N).Nkind = N_Package_Renaming_Declaration
5182         or else NT (N).Nkind = N_Procedure_Call_Statement
5183         or else NT (N).Nkind = N_Procedure_Instantiation
5184         or else NT (N).Nkind = N_Raise_Statement
5185         or else NT (N).Nkind = N_Requeue_Statement
5186         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5187         or else NT (N).Nkind = N_Subunit
5188         or else NT (N).Nkind = N_Variant_Part
5189         or else NT (N).Nkind = N_With_Clause);
5190       Set_Node2_With_Parent (N, Val);
5191    end Set_Name;
5192
5193    procedure Set_Names
5194       (N : Node_Id; Val : List_Id) is
5195    begin
5196       pragma Assert (False
5197         or else NT (N).Nkind = N_Abort_Statement
5198         or else NT (N).Nkind = N_Use_Package_Clause);
5199       Set_List2_With_Parent (N, Val);
5200    end Set_Names;
5201
5202    procedure Set_Next_Entity
5203       (N : Node_Id; Val : Node_Id) is
5204    begin
5205       pragma Assert (False
5206         or else NT (N).Nkind = N_Defining_Character_Literal
5207         or else NT (N).Nkind = N_Defining_Identifier
5208         or else NT (N).Nkind = N_Defining_Operator_Symbol);
5209       Set_Node2 (N, Val); -- semantic field, no parent set
5210    end Set_Next_Entity;
5211
5212    procedure Set_Next_Exit_Statement
5213       (N : Node_Id; Val : Node_Id) is
5214    begin
5215       pragma Assert (False
5216         or else NT (N).Nkind = N_Exit_Statement);
5217       Set_Node3 (N, Val); -- semantic field, no parent set
5218    end Set_Next_Exit_Statement;
5219
5220    procedure Set_Next_Implicit_With
5221       (N : Node_Id; Val : Node_Id) is
5222    begin
5223       pragma Assert (False
5224         or else NT (N).Nkind = N_With_Clause);
5225       Set_Node3 (N, Val); -- semantic field, no parent set
5226    end Set_Next_Implicit_With;
5227
5228    procedure Set_Next_Named_Actual
5229       (N : Node_Id; Val : Node_Id) is
5230    begin
5231       pragma Assert (False
5232         or else NT (N).Nkind = N_Parameter_Association);
5233       Set_Node4 (N, Val); -- semantic field, no parent set
5234    end Set_Next_Named_Actual;
5235
5236    procedure Set_Next_Pragma
5237       (N : Node_Id; Val : Node_Id) is
5238    begin
5239       pragma Assert (False
5240         or else NT (N).Nkind = N_Pragma);
5241       Set_Node1 (N, Val); -- semantic field, no parent set
5242    end Set_Next_Pragma;
5243
5244    procedure Set_Next_Rep_Item
5245       (N : Node_Id; Val : Node_Id) is
5246    begin
5247       pragma Assert (False
5248         or else NT (N).Nkind = N_Aspect_Specification
5249         or else NT (N).Nkind = N_Attribute_Definition_Clause
5250         or else NT (N).Nkind = N_Enumeration_Representation_Clause
5251         or else NT (N).Nkind = N_Pragma
5252         or else NT (N).Nkind = N_Record_Representation_Clause);
5253       Set_Node5 (N, Val); -- semantic field, no parent set
5254    end Set_Next_Rep_Item;
5255
5256    procedure Set_Next_Use_Clause
5257       (N : Node_Id; Val : Node_Id) is
5258    begin
5259       pragma Assert (False
5260         or else NT (N).Nkind = N_Use_Package_Clause
5261         or else NT (N).Nkind = N_Use_Type_Clause);
5262       Set_Node3 (N, Val); -- semantic field, no parent set
5263    end Set_Next_Use_Clause;
5264
5265    procedure Set_No_Ctrl_Actions
5266       (N : Node_Id; Val : Boolean := True) is
5267    begin
5268       pragma Assert (False
5269         or else NT (N).Nkind = N_Assignment_Statement);
5270       Set_Flag7 (N, Val);
5271    end Set_No_Ctrl_Actions;
5272
5273    procedure Set_No_Elaboration_Check
5274       (N : Node_Id; Val : Boolean := True) is
5275    begin
5276       pragma Assert (False
5277         or else NT (N).Nkind = N_Function_Call
5278         or else NT (N).Nkind = N_Procedure_Call_Statement);
5279       Set_Flag14 (N, Val);
5280    end Set_No_Elaboration_Check;
5281
5282    procedure Set_No_Entities_Ref_In_Spec
5283       (N : Node_Id; Val : Boolean := True) is
5284    begin
5285       pragma Assert (False
5286         or else NT (N).Nkind = N_With_Clause);
5287       Set_Flag8 (N, Val);
5288    end Set_No_Entities_Ref_In_Spec;
5289
5290    procedure Set_No_Initialization
5291       (N : Node_Id; Val : Boolean := True) is
5292    begin
5293       pragma Assert (False
5294         or else NT (N).Nkind = N_Allocator
5295         or else NT (N).Nkind = N_Object_Declaration);
5296       Set_Flag13 (N, Val);
5297    end Set_No_Initialization;
5298
5299    procedure Set_No_Truncation
5300       (N : Node_Id; Val : Boolean := True) is
5301    begin
5302       pragma Assert (False
5303         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5304       Set_Flag17 (N, Val);
5305    end Set_No_Truncation;
5306
5307    procedure Set_Null_Present
5308       (N : Node_Id; Val : Boolean := True) is
5309    begin
5310       pragma Assert (False
5311         or else NT (N).Nkind = N_Component_List
5312         or else NT (N).Nkind = N_Procedure_Specification
5313         or else NT (N).Nkind = N_Record_Definition);
5314       Set_Flag13 (N, Val);
5315    end Set_Null_Present;
5316
5317    procedure Set_Null_Exclusion_Present
5318       (N : Node_Id; Val : Boolean := True) is
5319    begin
5320       pragma Assert (False
5321         or else NT (N).Nkind = N_Access_Definition
5322         or else NT (N).Nkind = N_Access_Function_Definition
5323         or else NT (N).Nkind = N_Access_Procedure_Definition
5324         or else NT (N).Nkind = N_Access_To_Object_Definition
5325         or else NT (N).Nkind = N_Allocator
5326         or else NT (N).Nkind = N_Component_Definition
5327         or else NT (N).Nkind = N_Derived_Type_Definition
5328         or else NT (N).Nkind = N_Discriminant_Specification
5329         or else NT (N).Nkind = N_Formal_Object_Declaration
5330         or else NT (N).Nkind = N_Function_Specification
5331         or else NT (N).Nkind = N_Object_Declaration
5332         or else NT (N).Nkind = N_Object_Renaming_Declaration
5333         or else NT (N).Nkind = N_Parameter_Specification
5334         or else NT (N).Nkind = N_Subtype_Declaration);
5335       Set_Flag11 (N, Val);
5336    end Set_Null_Exclusion_Present;
5337
5338    procedure Set_Null_Exclusion_In_Return_Present
5339       (N : Node_Id; Val : Boolean := True) is
5340    begin
5341       pragma Assert (False
5342         or else NT (N).Nkind = N_Access_Function_Definition);
5343       Set_Flag14 (N, Val);
5344    end Set_Null_Exclusion_In_Return_Present;
5345
5346    procedure Set_Null_Record_Present
5347       (N : Node_Id; Val : Boolean := True) is
5348    begin
5349       pragma Assert (False
5350         or else NT (N).Nkind = N_Aggregate
5351         or else NT (N).Nkind = N_Extension_Aggregate);
5352       Set_Flag17 (N, Val);
5353    end Set_Null_Record_Present;
5354
5355    procedure Set_Object_Definition
5356       (N : Node_Id; Val : Node_Id) is
5357    begin
5358       pragma Assert (False
5359         or else NT (N).Nkind = N_Object_Declaration);
5360       Set_Node4_With_Parent (N, Val);
5361    end Set_Object_Definition;
5362
5363    procedure Set_Of_Present
5364       (N : Node_Id; Val : Boolean := True) is
5365    begin
5366       pragma Assert (False
5367         or else NT (N).Nkind = N_Iterator_Specification);
5368       Set_Flag16 (N, Val);
5369    end Set_Of_Present;
5370
5371    procedure Set_Original_Discriminant
5372       (N : Node_Id; Val : Node_Id) is
5373    begin
5374       pragma Assert (False
5375         or else NT (N).Nkind = N_Identifier);
5376       Set_Node2 (N, Val); -- semantic field, no parent set
5377    end Set_Original_Discriminant;
5378
5379    procedure Set_Original_Entity
5380       (N : Node_Id; Val : Entity_Id) is
5381    begin
5382       pragma Assert (False
5383         or else NT (N).Nkind = N_Integer_Literal
5384         or else NT (N).Nkind = N_Real_Literal);
5385       Set_Node2 (N, Val); --  semantic field, no parent set
5386    end Set_Original_Entity;
5387
5388    procedure Set_Others_Discrete_Choices
5389       (N : Node_Id; Val : List_Id) is
5390    begin
5391       pragma Assert (False
5392         or else NT (N).Nkind = N_Others_Choice);
5393       Set_List1_With_Parent (N, Val);
5394    end Set_Others_Discrete_Choices;
5395
5396    procedure Set_Out_Present
5397       (N : Node_Id; Val : Boolean := True) is
5398    begin
5399       pragma Assert (False
5400         or else NT (N).Nkind = N_Formal_Object_Declaration
5401         or else NT (N).Nkind = N_Parameter_Specification);
5402       Set_Flag17 (N, Val);
5403    end Set_Out_Present;
5404
5405    procedure Set_Parameter_Associations
5406       (N : Node_Id; Val : List_Id) is
5407    begin
5408       pragma Assert (False
5409         or else NT (N).Nkind = N_Entry_Call_Statement
5410         or else NT (N).Nkind = N_Function_Call
5411         or else NT (N).Nkind = N_Procedure_Call_Statement);
5412       Set_List3_With_Parent (N, Val);
5413    end Set_Parameter_Associations;
5414
5415    procedure Set_Parameter_List_Truncated
5416       (N : Node_Id; Val : Boolean := True) is
5417    begin
5418       pragma Assert (False
5419         or else NT (N).Nkind = N_Function_Call
5420         or else NT (N).Nkind = N_Procedure_Call_Statement);
5421       Set_Flag17 (N, Val);
5422    end Set_Parameter_List_Truncated;
5423
5424    procedure Set_Parameter_Specifications
5425       (N : Node_Id; Val : List_Id) is
5426    begin
5427       pragma Assert (False
5428         or else NT (N).Nkind = N_Accept_Statement
5429         or else NT (N).Nkind = N_Access_Function_Definition
5430         or else NT (N).Nkind = N_Access_Procedure_Definition
5431         or else NT (N).Nkind = N_Entry_Body_Formal_Part
5432         or else NT (N).Nkind = N_Entry_Declaration
5433         or else NT (N).Nkind = N_Function_Specification
5434         or else NT (N).Nkind = N_Procedure_Specification);
5435       Set_List3_With_Parent (N, Val);
5436    end Set_Parameter_Specifications;
5437
5438    procedure Set_Parameter_Type
5439       (N : Node_Id; Val : Node_Id) is
5440    begin
5441       pragma Assert (False
5442         or else NT (N).Nkind = N_Parameter_Specification);
5443       Set_Node2_With_Parent (N, Val);
5444    end Set_Parameter_Type;
5445
5446    procedure Set_Parent_Spec
5447       (N : Node_Id; Val : Node_Id) is
5448    begin
5449       pragma Assert (False
5450         or else NT (N).Nkind = N_Function_Instantiation
5451         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5452         or else NT (N).Nkind = N_Generic_Package_Declaration
5453         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5454         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5455         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5456         or else NT (N).Nkind = N_Package_Declaration
5457         or else NT (N).Nkind = N_Package_Instantiation
5458         or else NT (N).Nkind = N_Package_Renaming_Declaration
5459         or else NT (N).Nkind = N_Procedure_Instantiation
5460         or else NT (N).Nkind = N_Subprogram_Declaration
5461         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5462       Set_Node4 (N, Val); -- semantic field, no parent set
5463    end Set_Parent_Spec;
5464
5465    procedure Set_Position
5466       (N : Node_Id; Val : Node_Id) is
5467    begin
5468       pragma Assert (False
5469         or else NT (N).Nkind = N_Component_Clause);
5470       Set_Node2_With_Parent (N, Val);
5471    end Set_Position;
5472
5473    procedure Set_Pragma_Argument_Associations
5474       (N : Node_Id; Val : List_Id) is
5475    begin
5476       pragma Assert (False
5477         or else NT (N).Nkind = N_Pragma);
5478       Set_List2_With_Parent (N, Val);
5479    end Set_Pragma_Argument_Associations;
5480
5481    procedure Set_Pragma_Identifier
5482       (N : Node_Id; Val : Node_Id) is
5483    begin
5484       pragma Assert (False
5485         or else NT (N).Nkind = N_Pragma);
5486       Set_Node4_With_Parent (N, Val);
5487    end Set_Pragma_Identifier;
5488
5489    procedure Set_Pragmas_After
5490       (N : Node_Id; Val : List_Id) is
5491    begin
5492       pragma Assert (False
5493         or else NT (N).Nkind = N_Compilation_Unit_Aux
5494         or else NT (N).Nkind = N_Terminate_Alternative);
5495       Set_List5_With_Parent (N, Val);
5496    end Set_Pragmas_After;
5497
5498    procedure Set_Pragmas_Before
5499       (N : Node_Id; Val : List_Id) is
5500    begin
5501       pragma Assert (False
5502         or else NT (N).Nkind = N_Accept_Alternative
5503         or else NT (N).Nkind = N_Delay_Alternative
5504         or else NT (N).Nkind = N_Entry_Call_Alternative
5505         or else NT (N).Nkind = N_Mod_Clause
5506         or else NT (N).Nkind = N_Terminate_Alternative
5507         or else NT (N).Nkind = N_Triggering_Alternative);
5508       Set_List4_With_Parent (N, Val);
5509    end Set_Pragmas_Before;
5510
5511    procedure Set_Prefix
5512       (N : Node_Id; Val : Node_Id) is
5513    begin
5514       pragma Assert (False
5515         or else NT (N).Nkind = N_Attribute_Reference
5516         or else NT (N).Nkind = N_Expanded_Name
5517         or else NT (N).Nkind = N_Explicit_Dereference
5518         or else NT (N).Nkind = N_Indexed_Component
5519         or else NT (N).Nkind = N_Reference
5520         or else NT (N).Nkind = N_Selected_Component
5521         or else NT (N).Nkind = N_Slice);
5522       Set_Node3_With_Parent (N, Val);
5523    end Set_Prefix;
5524
5525    procedure Set_Premature_Use
5526       (N : Node_Id; Val : Node_Id) is
5527    begin
5528       pragma Assert (False
5529         or else NT (N).Nkind = N_Incomplete_Type_Declaration);
5530       Set_Node5 (N, Val);
5531    end Set_Premature_Use;
5532
5533    procedure Set_Present_Expr
5534       (N : Node_Id; Val : Uint) is
5535    begin
5536       pragma Assert (False
5537         or else NT (N).Nkind = N_Variant);
5538       Set_Uint3 (N, Val);
5539    end Set_Present_Expr;
5540
5541    procedure Set_Prev_Ids
5542       (N : Node_Id; Val : Boolean := True) is
5543    begin
5544       pragma Assert (False
5545         or else NT (N).Nkind = N_Component_Declaration
5546         or else NT (N).Nkind = N_Discriminant_Specification
5547         or else NT (N).Nkind = N_Exception_Declaration
5548         or else NT (N).Nkind = N_Formal_Object_Declaration
5549         or else NT (N).Nkind = N_Number_Declaration
5550         or else NT (N).Nkind = N_Object_Declaration
5551         or else NT (N).Nkind = N_Parameter_Specification);
5552       Set_Flag6 (N, Val);
5553    end Set_Prev_Ids;
5554
5555    procedure Set_Print_In_Hex
5556       (N : Node_Id; Val : Boolean := True) is
5557    begin
5558       pragma Assert (False
5559         or else NT (N).Nkind = N_Integer_Literal);
5560       Set_Flag13 (N, Val);
5561    end Set_Print_In_Hex;
5562
5563    procedure Set_Private_Declarations
5564       (N : Node_Id; Val : List_Id) is
5565    begin
5566       pragma Assert (False
5567         or else NT (N).Nkind = N_Package_Specification
5568         or else NT (N).Nkind = N_Protected_Definition
5569         or else NT (N).Nkind = N_Task_Definition);
5570       Set_List3_With_Parent (N, Val);
5571    end Set_Private_Declarations;
5572
5573    procedure Set_Private_Present
5574       (N : Node_Id; Val : Boolean := True) is
5575    begin
5576       pragma Assert (False
5577         or else NT (N).Nkind = N_Compilation_Unit
5578         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5579         or else NT (N).Nkind = N_With_Clause);
5580       Set_Flag15 (N, Val);
5581    end Set_Private_Present;
5582
5583    procedure Set_Procedure_To_Call
5584       (N : Node_Id; Val : Node_Id) is
5585    begin
5586       pragma Assert (False
5587         or else NT (N).Nkind = N_Allocator
5588         or else NT (N).Nkind = N_Extended_Return_Statement
5589         or else NT (N).Nkind = N_Free_Statement
5590         or else NT (N).Nkind = N_Return_Statement);
5591       Set_Node2 (N, Val); -- semantic field, no parent set
5592    end Set_Procedure_To_Call;
5593
5594    procedure Set_Proper_Body
5595       (N : Node_Id; Val : Node_Id) is
5596    begin
5597       pragma Assert (False
5598         or else NT (N).Nkind = N_Subunit);
5599       Set_Node1_With_Parent (N, Val);
5600    end Set_Proper_Body;
5601
5602    procedure Set_Protected_Definition
5603       (N : Node_Id; Val : Node_Id) is
5604    begin
5605       pragma Assert (False
5606         or else NT (N).Nkind = N_Protected_Type_Declaration
5607         or else NT (N).Nkind = N_Single_Protected_Declaration);
5608       Set_Node3_With_Parent (N, Val);
5609    end Set_Protected_Definition;
5610
5611    procedure Set_Protected_Present
5612       (N : Node_Id; Val : Boolean := True) is
5613    begin
5614       pragma Assert (False
5615         or else NT (N).Nkind = N_Access_Function_Definition
5616         or else NT (N).Nkind = N_Access_Procedure_Definition
5617         or else NT (N).Nkind = N_Derived_Type_Definition
5618         or else NT (N).Nkind = N_Record_Definition);
5619       Set_Flag6 (N, Val);
5620    end Set_Protected_Present;
5621
5622    procedure Set_Raises_Constraint_Error
5623       (N : Node_Id; Val : Boolean := True) is
5624    begin
5625       pragma Assert (False
5626         or else NT (N).Nkind in N_Subexpr);
5627       Set_Flag7 (N, Val);
5628    end Set_Raises_Constraint_Error;
5629
5630    procedure Set_Range_Constraint
5631       (N : Node_Id; Val : Node_Id) is
5632    begin
5633       pragma Assert (False
5634         or else NT (N).Nkind = N_Delta_Constraint
5635         or else NT (N).Nkind = N_Digits_Constraint);
5636       Set_Node4_With_Parent (N, Val);
5637    end Set_Range_Constraint;
5638
5639    procedure Set_Range_Expression
5640       (N : Node_Id; Val : Node_Id) is
5641    begin
5642       pragma Assert (False
5643         or else NT (N).Nkind = N_Range_Constraint);
5644       Set_Node4_With_Parent (N, Val);
5645    end Set_Range_Expression;
5646
5647    procedure Set_Real_Range_Specification
5648       (N : Node_Id; Val : Node_Id) is
5649    begin
5650       pragma Assert (False
5651         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
5652         or else NT (N).Nkind = N_Floating_Point_Definition
5653         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
5654       Set_Node4_With_Parent (N, Val);
5655    end Set_Real_Range_Specification;
5656
5657    procedure Set_Realval
5658      (N : Node_Id; Val : Ureal) is
5659    begin
5660       pragma Assert (False
5661         or else NT (N).Nkind = N_Real_Literal);
5662       Set_Ureal3 (N, Val);
5663    end Set_Realval;
5664
5665    procedure Set_Reason
5666       (N : Node_Id; Val : Uint) is
5667    begin
5668       pragma Assert (False
5669         or else NT (N).Nkind = N_Raise_Constraint_Error
5670         or else NT (N).Nkind = N_Raise_Program_Error
5671         or else NT (N).Nkind = N_Raise_Storage_Error);
5672       Set_Uint3 (N, Val);
5673    end Set_Reason;
5674
5675    procedure Set_Record_Extension_Part
5676       (N : Node_Id; Val : Node_Id) is
5677    begin
5678       pragma Assert (False
5679         or else NT (N).Nkind = N_Derived_Type_Definition);
5680       Set_Node3_With_Parent (N, Val);
5681    end Set_Record_Extension_Part;
5682
5683    procedure Set_Redundant_Use
5684       (N : Node_Id; Val : Boolean := True) is
5685    begin
5686       pragma Assert (False
5687         or else NT (N).Nkind = N_Attribute_Reference
5688         or else NT (N).Nkind = N_Expanded_Name
5689         or else NT (N).Nkind = N_Identifier);
5690       Set_Flag13 (N, Val);
5691    end Set_Redundant_Use;
5692
5693    procedure Set_Renaming_Exception
5694       (N : Node_Id; Val : Node_Id) is
5695    begin
5696       pragma Assert (False
5697         or else NT (N).Nkind = N_Exception_Declaration);
5698       Set_Node2 (N, Val);
5699    end Set_Renaming_Exception;
5700
5701    procedure Set_Result_Definition
5702      (N : Node_Id; Val : Node_Id) is
5703    begin
5704       pragma Assert (False
5705         or else NT (N).Nkind = N_Access_Function_Definition
5706         or else NT (N).Nkind = N_Function_Specification);
5707       Set_Node4_With_Parent (N, Val);
5708    end Set_Result_Definition;
5709
5710    procedure Set_Return_Object_Declarations
5711      (N : Node_Id; Val : List_Id) is
5712    begin
5713       pragma Assert (False
5714         or else NT (N).Nkind = N_Extended_Return_Statement);
5715       Set_List3_With_Parent (N, Val);
5716    end Set_Return_Object_Declarations;
5717
5718    procedure Set_Return_Statement_Entity
5719      (N : Node_Id; Val : Node_Id) is
5720    begin
5721       pragma Assert (False
5722         or else NT (N).Nkind = N_Extended_Return_Statement
5723         or else NT (N).Nkind = N_Return_Statement);
5724       Set_Node5 (N, Val); -- semantic field, no parent set
5725    end Set_Return_Statement_Entity;
5726
5727    procedure Set_Reverse_Present
5728       (N : Node_Id; Val : Boolean := True) is
5729    begin
5730       pragma Assert (False
5731         or else NT (N).Nkind = N_Iterator_Specification
5732         or else NT (N).Nkind = N_Loop_Parameter_Specification);
5733       Set_Flag15 (N, Val);
5734    end Set_Reverse_Present;
5735
5736    procedure Set_Right_Opnd
5737       (N : Node_Id; Val : Node_Id) is
5738    begin
5739       pragma Assert (False
5740         or else NT (N).Nkind in N_Op
5741         or else NT (N).Nkind = N_And_Then
5742         or else NT (N).Nkind = N_In
5743         or else NT (N).Nkind = N_Not_In
5744         or else NT (N).Nkind = N_Or_Else);
5745       Set_Node3_With_Parent (N, Val);
5746    end Set_Right_Opnd;
5747
5748    procedure Set_Rounded_Result
5749       (N : Node_Id; Val : Boolean := True) is
5750    begin
5751       pragma Assert (False
5752         or else NT (N).Nkind = N_Op_Divide
5753         or else NT (N).Nkind = N_Op_Multiply
5754         or else NT (N).Nkind = N_Type_Conversion);
5755       Set_Flag18 (N, Val);
5756    end Set_Rounded_Result;
5757
5758    procedure Set_SCIL_Controlling_Tag
5759       (N : Node_Id; Val : Node_Id) is
5760    begin
5761       pragma Assert (False
5762         or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5763       Set_Node5 (N, Val); -- semantic field, no parent set
5764    end Set_SCIL_Controlling_Tag;
5765
5766    procedure Set_SCIL_Entity
5767       (N : Node_Id; Val : Node_Id) is
5768    begin
5769       pragma Assert (False
5770         or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
5771         or else NT (N).Nkind = N_SCIL_Dispatching_Call
5772         or else NT (N).Nkind = N_SCIL_Membership_Test);
5773       Set_Node4 (N, Val); -- semantic field, no parent set
5774    end Set_SCIL_Entity;
5775
5776    procedure Set_SCIL_Tag_Value
5777       (N : Node_Id; Val : Node_Id) is
5778    begin
5779       pragma Assert (False
5780         or else NT (N).Nkind = N_SCIL_Membership_Test);
5781       Set_Node5 (N, Val); -- semantic field, no parent set
5782    end Set_SCIL_Tag_Value;
5783
5784    procedure Set_SCIL_Target_Prim
5785       (N : Node_Id; Val : Node_Id) is
5786    begin
5787       pragma Assert (False
5788         or else NT (N).Nkind = N_SCIL_Dispatching_Call);
5789       Set_Node2 (N, Val); -- semantic field, no parent set
5790    end Set_SCIL_Target_Prim;
5791
5792    procedure Set_Scope
5793       (N : Node_Id; Val : Node_Id) is
5794    begin
5795       pragma Assert (False
5796         or else NT (N).Nkind = N_Defining_Character_Literal
5797         or else NT (N).Nkind = N_Defining_Identifier
5798         or else NT (N).Nkind = N_Defining_Operator_Symbol);
5799       Set_Node3 (N, Val); -- semantic field, no parent set
5800    end Set_Scope;
5801
5802    procedure Set_Select_Alternatives
5803       (N : Node_Id; Val : List_Id) is
5804    begin
5805       pragma Assert (False
5806         or else NT (N).Nkind = N_Selective_Accept);
5807       Set_List1_With_Parent (N, Val);
5808    end Set_Select_Alternatives;
5809
5810    procedure Set_Selector_Name
5811       (N : Node_Id; Val : Node_Id) is
5812    begin
5813       pragma Assert (False
5814         or else NT (N).Nkind = N_Expanded_Name
5815         or else NT (N).Nkind = N_Generic_Association
5816         or else NT (N).Nkind = N_Parameter_Association
5817         or else NT (N).Nkind = N_Selected_Component);
5818       Set_Node2_With_Parent (N, Val);
5819    end Set_Selector_Name;
5820
5821    procedure Set_Selector_Names
5822       (N : Node_Id; Val : List_Id) is
5823    begin
5824       pragma Assert (False
5825         or else NT (N).Nkind = N_Discriminant_Association);
5826       Set_List1_With_Parent (N, Val);
5827    end Set_Selector_Names;
5828
5829    procedure Set_Shift_Count_OK
5830       (N : Node_Id; Val : Boolean := True) is
5831    begin
5832       pragma Assert (False
5833         or else NT (N).Nkind = N_Op_Rotate_Left
5834         or else NT (N).Nkind = N_Op_Rotate_Right
5835         or else NT (N).Nkind = N_Op_Shift_Left
5836         or else NT (N).Nkind = N_Op_Shift_Right
5837         or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
5838       Set_Flag4 (N, Val);
5839    end Set_Shift_Count_OK;
5840
5841    procedure Set_Source_Type
5842       (N : Node_Id; Val : Entity_Id) is
5843    begin
5844       pragma Assert (False
5845         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
5846       Set_Node1 (N, Val); -- semantic field, no parent set
5847    end Set_Source_Type;
5848
5849    procedure Set_Spec_PPC_List
5850       (N : Node_Id; Val : Node_Id) is
5851    begin
5852       pragma Assert (False
5853         or else NT (N).Nkind = N_Contract);
5854       Set_Node1 (N, Val); -- semantic field, no parent set
5855    end Set_Spec_PPC_List;
5856
5857    procedure Set_Spec_CTC_List
5858       (N : Node_Id; Val : Node_Id) is
5859    begin
5860       pragma Assert (False
5861         or else NT (N).Nkind = N_Contract);
5862       Set_Node2 (N, Val); -- semantic field, no parent set
5863    end Set_Spec_CTC_List;
5864
5865    procedure Set_Specification
5866       (N : Node_Id; Val : Node_Id) is
5867    begin
5868       pragma Assert (False
5869         or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
5870         or else NT (N).Nkind = N_Expression_Function
5871         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
5872         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
5873         or else NT (N).Nkind = N_Generic_Package_Declaration
5874         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
5875         or else NT (N).Nkind = N_Package_Declaration
5876         or else NT (N).Nkind = N_Subprogram_Body
5877         or else NT (N).Nkind = N_Subprogram_Body_Stub
5878         or else NT (N).Nkind = N_Subprogram_Declaration
5879         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
5880       Set_Node1_With_Parent (N, Val);
5881    end Set_Specification;
5882
5883    procedure Set_Split_PPC
5884       (N : Node_Id; Val : Boolean) is
5885    begin
5886       pragma Assert (False
5887         or else NT (N).Nkind = N_Aspect_Specification
5888         or else NT (N).Nkind = N_Pragma);
5889       Set_Flag17 (N, Val);
5890    end Set_Split_PPC;
5891
5892    procedure Set_Statements
5893       (N : Node_Id; Val : List_Id) is
5894    begin
5895       pragma Assert (False
5896         or else NT (N).Nkind = N_Abortable_Part
5897         or else NT (N).Nkind = N_Accept_Alternative
5898         or else NT (N).Nkind = N_Case_Statement_Alternative
5899         or else NT (N).Nkind = N_Delay_Alternative
5900         or else NT (N).Nkind = N_Entry_Call_Alternative
5901         or else NT (N).Nkind = N_Exception_Handler
5902         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
5903         or else NT (N).Nkind = N_Loop_Statement
5904         or else NT (N).Nkind = N_Triggering_Alternative);
5905       Set_List3_With_Parent (N, Val);
5906    end Set_Statements;
5907
5908    procedure Set_Static_Processing_OK
5909       (N : Node_Id; Val : Boolean) is
5910    begin
5911       pragma Assert (False
5912         or else NT (N).Nkind = N_Aggregate);
5913       Set_Flag4 (N, Val);
5914    end Set_Static_Processing_OK;
5915
5916    procedure Set_Storage_Pool
5917       (N : Node_Id; Val : Node_Id) is
5918    begin
5919       pragma Assert (False
5920         or else NT (N).Nkind = N_Allocator
5921         or else NT (N).Nkind = N_Extended_Return_Statement
5922         or else NT (N).Nkind = N_Free_Statement
5923         or else NT (N).Nkind = N_Return_Statement);
5924       Set_Node1 (N, Val); -- semantic field, no parent set
5925    end Set_Storage_Pool;
5926
5927    procedure Set_Subpool_Handle_Name
5928       (N : Node_Id; Val : Node_Id) is
5929    begin
5930       pragma Assert (False
5931         or else NT (N).Nkind = N_Allocator);
5932       Set_Node4_With_Parent (N, Val);
5933    end Set_Subpool_Handle_Name;
5934
5935    procedure Set_Strval
5936       (N : Node_Id; Val : String_Id) is
5937    begin
5938       pragma Assert (False
5939         or else NT (N).Nkind = N_Operator_Symbol
5940         or else NT (N).Nkind = N_String_Literal);
5941       Set_Str3 (N, Val);
5942    end Set_Strval;
5943
5944    procedure Set_Subtype_Indication
5945       (N : Node_Id; Val : Node_Id) is
5946    begin
5947       pragma Assert (False
5948         or else NT (N).Nkind = N_Access_To_Object_Definition
5949         or else NT (N).Nkind = N_Component_Definition
5950         or else NT (N).Nkind = N_Derived_Type_Definition
5951         or else NT (N).Nkind = N_Iterator_Specification
5952         or else NT (N).Nkind = N_Private_Extension_Declaration
5953         or else NT (N).Nkind = N_Subtype_Declaration);
5954       Set_Node5_With_Parent (N, Val);
5955    end Set_Subtype_Indication;
5956
5957    procedure Set_Subtype_Mark
5958       (N : Node_Id; Val : Node_Id) is
5959    begin
5960       pragma Assert (False
5961         or else NT (N).Nkind = N_Access_Definition
5962         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5963         or else NT (N).Nkind = N_Formal_Object_Declaration
5964         or else NT (N).Nkind = N_Object_Renaming_Declaration
5965         or else NT (N).Nkind = N_Qualified_Expression
5966         or else NT (N).Nkind = N_Subtype_Indication
5967         or else NT (N).Nkind = N_Type_Conversion
5968         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5969       Set_Node4_With_Parent (N, Val);
5970    end Set_Subtype_Mark;
5971
5972    procedure Set_Subtype_Marks
5973       (N : Node_Id; Val : List_Id) is
5974    begin
5975       pragma Assert (False
5976         or else NT (N).Nkind = N_Unconstrained_Array_Definition
5977         or else NT (N).Nkind = N_Use_Type_Clause);
5978       Set_List2_With_Parent (N, Val);
5979    end Set_Subtype_Marks;
5980
5981    procedure Set_Suppress_Assignment_Checks
5982       (N : Node_Id; Val : Boolean := True) is
5983    begin
5984       pragma Assert (False
5985         or else NT (N).Nkind = N_Assignment_Statement
5986         or else NT (N).Nkind = N_Object_Declaration);
5987       Set_Flag18 (N, Val);
5988    end Set_Suppress_Assignment_Checks;
5989
5990    procedure Set_Suppress_Loop_Warnings
5991       (N : Node_Id; Val : Boolean := True) is
5992    begin
5993       pragma Assert (False
5994         or else NT (N).Nkind = N_Loop_Statement);
5995       Set_Flag17 (N, Val);
5996    end Set_Suppress_Loop_Warnings;
5997
5998    procedure Set_Synchronized_Present
5999      (N : Node_Id; Val : Boolean := True) is
6000    begin
6001       pragma Assert (False
6002         or else NT (N).Nkind = N_Derived_Type_Definition
6003         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6004         or else NT (N).Nkind = N_Private_Extension_Declaration
6005         or else NT (N).Nkind = N_Record_Definition);
6006       Set_Flag7 (N, Val);
6007    end Set_Synchronized_Present;
6008
6009    procedure Set_Tagged_Present
6010       (N : Node_Id; Val : Boolean := True) is
6011    begin
6012       pragma Assert (False
6013         or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6014         or else NT (N).Nkind = N_Formal_Private_Type_Definition
6015         or else NT (N).Nkind = N_Incomplete_Type_Declaration
6016         or else NT (N).Nkind = N_Private_Type_Declaration
6017         or else NT (N).Nkind = N_Record_Definition);
6018       Set_Flag15 (N, Val);
6019    end Set_Tagged_Present;
6020
6021    procedure Set_Target_Type
6022       (N : Node_Id; Val : Entity_Id) is
6023    begin
6024       pragma Assert (False
6025         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6026       Set_Node2 (N, Val); -- semantic field, no parent set
6027    end Set_Target_Type;
6028
6029    procedure Set_Task_Definition
6030       (N : Node_Id; Val : Node_Id) is
6031    begin
6032       pragma Assert (False
6033         or else NT (N).Nkind = N_Single_Task_Declaration
6034         or else NT (N).Nkind = N_Task_Type_Declaration);
6035       Set_Node3_With_Parent (N, Val);
6036    end Set_Task_Definition;
6037
6038    procedure Set_Task_Present
6039      (N : Node_Id; Val : Boolean := True) is
6040    begin
6041       pragma Assert (False
6042         or else NT (N).Nkind = N_Derived_Type_Definition
6043         or else NT (N).Nkind = N_Record_Definition);
6044       Set_Flag5 (N, Val);
6045    end Set_Task_Present;
6046
6047    procedure Set_Then_Actions
6048       (N : Node_Id; Val : List_Id) is
6049    begin
6050       pragma Assert (False
6051         or else NT (N).Nkind = N_Conditional_Expression);
6052       Set_List2 (N, Val); -- semantic field, no parent set
6053    end Set_Then_Actions;
6054
6055    procedure Set_Then_Statements
6056       (N : Node_Id; Val : List_Id) is
6057    begin
6058       pragma Assert (False
6059         or else NT (N).Nkind = N_Elsif_Part
6060         or else NT (N).Nkind = N_If_Statement);
6061       Set_List2_With_Parent (N, Val);
6062    end Set_Then_Statements;
6063
6064    procedure Set_Treat_Fixed_As_Integer
6065       (N : Node_Id; Val : Boolean := True) is
6066    begin
6067       pragma Assert (False
6068         or else NT (N).Nkind = N_Op_Divide
6069         or else NT (N).Nkind = N_Op_Mod
6070         or else NT (N).Nkind = N_Op_Multiply
6071         or else NT (N).Nkind = N_Op_Rem);
6072       Set_Flag14 (N, Val);
6073    end Set_Treat_Fixed_As_Integer;
6074
6075    procedure Set_Triggering_Alternative
6076       (N : Node_Id; Val : Node_Id) is
6077    begin
6078       pragma Assert (False
6079         or else NT (N).Nkind = N_Asynchronous_Select);
6080       Set_Node1_With_Parent (N, Val);
6081    end Set_Triggering_Alternative;
6082
6083    procedure Set_Triggering_Statement
6084       (N : Node_Id; Val : Node_Id) is
6085    begin
6086       pragma Assert (False
6087         or else NT (N).Nkind = N_Triggering_Alternative);
6088       Set_Node1_With_Parent (N, Val);
6089    end Set_Triggering_Statement;
6090
6091    procedure Set_TSS_Elist
6092       (N : Node_Id; Val : Elist_Id) is
6093    begin
6094       pragma Assert (False
6095         or else NT (N).Nkind = N_Freeze_Entity);
6096       Set_Elist3 (N, Val); -- semantic field, no parent set
6097    end Set_TSS_Elist;
6098
6099    procedure Set_Type_Definition
6100       (N : Node_Id; Val : Node_Id) is
6101    begin
6102       pragma Assert (False
6103         or else NT (N).Nkind = N_Full_Type_Declaration);
6104       Set_Node3_With_Parent (N, Val);
6105    end Set_Type_Definition;
6106
6107    procedure Set_Unit
6108       (N : Node_Id; Val : Node_Id) is
6109    begin
6110       pragma Assert (False
6111         or else NT (N).Nkind = N_Compilation_Unit);
6112       Set_Node2_With_Parent (N, Val);
6113    end Set_Unit;
6114
6115    procedure Set_Unknown_Discriminants_Present
6116       (N : Node_Id; Val : Boolean := True) is
6117    begin
6118       pragma Assert (False
6119         or else NT (N).Nkind = N_Formal_Type_Declaration
6120         or else NT (N).Nkind = N_Incomplete_Type_Declaration
6121         or else NT (N).Nkind = N_Private_Extension_Declaration
6122         or else NT (N).Nkind = N_Private_Type_Declaration);
6123       Set_Flag13 (N, Val);
6124    end Set_Unknown_Discriminants_Present;
6125
6126    procedure Set_Unreferenced_In_Spec
6127       (N : Node_Id; Val : Boolean := True) is
6128    begin
6129       pragma Assert (False
6130         or else NT (N).Nkind = N_With_Clause);
6131       Set_Flag7 (N, Val);
6132    end Set_Unreferenced_In_Spec;
6133
6134    procedure Set_Variant_Part
6135       (N : Node_Id; Val : Node_Id) is
6136    begin
6137       pragma Assert (False
6138         or else NT (N).Nkind = N_Component_List);
6139       Set_Node4_With_Parent (N, Val);
6140    end Set_Variant_Part;
6141
6142    procedure Set_Variants
6143       (N : Node_Id; Val : List_Id) is
6144    begin
6145       pragma Assert (False
6146         or else NT (N).Nkind = N_Variant_Part);
6147       Set_List1_With_Parent (N, Val);
6148    end Set_Variants;
6149
6150    procedure Set_Visible_Declarations
6151       (N : Node_Id; Val : List_Id) is
6152    begin
6153       pragma Assert (False
6154         or else NT (N).Nkind = N_Package_Specification
6155         or else NT (N).Nkind = N_Protected_Definition
6156         or else NT (N).Nkind = N_Task_Definition);
6157       Set_List2_With_Parent (N, Val);
6158    end Set_Visible_Declarations;
6159
6160    procedure Set_Used_Operations
6161      (N : Node_Id; Val :  Elist_Id) is
6162    begin
6163       pragma Assert (False
6164         or else NT (N).Nkind = N_Use_Type_Clause);
6165       Set_Elist5 (N, Val);
6166    end Set_Used_Operations;
6167
6168    procedure Set_Was_Originally_Stub
6169       (N : Node_Id; Val : Boolean := True) is
6170    begin
6171       pragma Assert (False
6172         or else NT (N).Nkind = N_Package_Body
6173         or else NT (N).Nkind = N_Protected_Body
6174         or else NT (N).Nkind = N_Subprogram_Body
6175         or else NT (N).Nkind = N_Task_Body);
6176       Set_Flag13 (N, Val);
6177    end Set_Was_Originally_Stub;
6178
6179    procedure Set_Withed_Body
6180      (N : Node_Id; Val : Node_Id) is
6181    begin
6182       pragma Assert (False
6183         or else NT (N).Nkind = N_With_Clause);
6184       Set_Node1 (N, Val);
6185    end Set_Withed_Body;
6186
6187    -------------------------
6188    -- Iterator Procedures --
6189    -------------------------
6190
6191    procedure Next_Entity       (N : in out Node_Id) is
6192    begin
6193       N := Next_Entity (N);
6194    end Next_Entity;
6195
6196    procedure Next_Named_Actual (N : in out Node_Id) is
6197    begin
6198       N := Next_Named_Actual (N);
6199    end Next_Named_Actual;
6200
6201    procedure Next_Rep_Item     (N : in out Node_Id) is
6202    begin
6203       N := Next_Rep_Item (N);
6204    end Next_Rep_Item;
6205
6206    procedure Next_Use_Clause   (N : in out Node_Id) is
6207    begin
6208       N := Next_Use_Clause (N);
6209    end Next_Use_Clause;
6210
6211    ------------------
6212    -- End_Location --
6213    ------------------
6214
6215    function End_Location (N : Node_Id) return Source_Ptr is
6216       L : constant Uint := End_Span (N);
6217    begin
6218       if L = No_Uint then
6219          return No_Location;
6220       else
6221          return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
6222       end if;
6223    end End_Location;
6224
6225    --------------------
6226    -- Get_Pragma_Arg --
6227    --------------------
6228
6229    function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
6230    begin
6231       if Nkind (Arg) = N_Pragma_Argument_Association then
6232          return Expression (Arg);
6233       else
6234          return Arg;
6235       end if;
6236    end Get_Pragma_Arg;
6237
6238    ----------------------
6239    -- Set_End_Location --
6240    ----------------------
6241
6242    procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
6243    begin
6244       Set_End_Span (N,
6245         UI_From_Int (Int (S) - Int (Sloc (N))));
6246    end Set_End_Location;
6247
6248    --------------
6249    -- Nkind_In --
6250    --------------
6251
6252    function Nkind_In
6253      (T  : Node_Kind;
6254       V1 : Node_Kind;
6255       V2 : Node_Kind) return Boolean
6256    is
6257    begin
6258       return T = V1 or else
6259              T = V2;
6260    end Nkind_In;
6261
6262    function Nkind_In
6263      (T  : Node_Kind;
6264       V1 : Node_Kind;
6265       V2 : Node_Kind;
6266       V3 : Node_Kind) return Boolean
6267    is
6268    begin
6269       return T = V1 or else
6270              T = V2 or else
6271              T = V3;
6272    end Nkind_In;
6273
6274    function Nkind_In
6275      (T  : Node_Kind;
6276       V1 : Node_Kind;
6277       V2 : Node_Kind;
6278       V3 : Node_Kind;
6279       V4 : Node_Kind) return Boolean
6280    is
6281    begin
6282       return T = V1 or else
6283              T = V2 or else
6284              T = V3 or else
6285              T = V4;
6286    end Nkind_In;
6287
6288    function Nkind_In
6289      (T  : Node_Kind;
6290       V1 : Node_Kind;
6291       V2 : Node_Kind;
6292       V3 : Node_Kind;
6293       V4 : Node_Kind;
6294       V5 : Node_Kind) return Boolean
6295    is
6296    begin
6297       return T = V1 or else
6298              T = V2 or else
6299              T = V3 or else
6300              T = V4 or else
6301              T = V5;
6302    end Nkind_In;
6303
6304    function Nkind_In
6305      (T  : Node_Kind;
6306       V1 : Node_Kind;
6307       V2 : Node_Kind;
6308       V3 : Node_Kind;
6309       V4 : Node_Kind;
6310       V5 : Node_Kind;
6311       V6 : Node_Kind) return Boolean
6312    is
6313    begin
6314       return T = V1 or else
6315              T = V2 or else
6316              T = V3 or else
6317              T = V4 or else
6318              T = V5 or else
6319              T = V6;
6320    end Nkind_In;
6321
6322    function Nkind_In
6323      (T  : Node_Kind;
6324       V1 : Node_Kind;
6325       V2 : Node_Kind;
6326       V3 : Node_Kind;
6327       V4 : Node_Kind;
6328       V5 : Node_Kind;
6329       V6 : Node_Kind;
6330       V7 : Node_Kind) return Boolean
6331    is
6332    begin
6333       return T = V1 or else
6334              T = V2 or else
6335              T = V3 or else
6336              T = V4 or else
6337              T = V5 or else
6338              T = V6 or else
6339              T = V7;
6340    end Nkind_In;
6341
6342    function Nkind_In
6343      (T  : Node_Kind;
6344       V1 : Node_Kind;
6345       V2 : Node_Kind;
6346       V3 : Node_Kind;
6347       V4 : Node_Kind;
6348       V5 : Node_Kind;
6349       V6 : Node_Kind;
6350       V7 : Node_Kind;
6351       V8 : Node_Kind) return Boolean
6352    is
6353    begin
6354       return T = V1 or else
6355              T = V2 or else
6356              T = V3 or else
6357              T = V4 or else
6358              T = V5 or else
6359              T = V6 or else
6360              T = V7 or else
6361              T = V8;
6362    end Nkind_In;
6363
6364    function Nkind_In
6365      (T  : Node_Kind;
6366       V1 : Node_Kind;
6367       V2 : Node_Kind;
6368       V3 : Node_Kind;
6369       V4 : Node_Kind;
6370       V5 : Node_Kind;
6371       V6 : Node_Kind;
6372       V7 : Node_Kind;
6373       V8 : Node_Kind;
6374       V9 : Node_Kind) return Boolean
6375    is
6376    begin
6377       return T = V1 or else
6378              T = V2 or else
6379              T = V3 or else
6380              T = V4 or else
6381              T = V5 or else
6382              T = V6 or else
6383              T = V7 or else
6384              T = V8 or else
6385              T = V9;
6386    end Nkind_In;
6387
6388    -----------------
6389    -- Pragma_Name --
6390    -----------------
6391
6392    function Pragma_Name (N : Node_Id) return Name_Id is
6393    begin
6394       return Chars (Pragma_Identifier (N));
6395    end Pragma_Name;
6396
6397 end Sinfo;