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