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