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