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