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