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