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