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