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