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