gcc/ada/sinfo.adb

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