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