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