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