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