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    --------------------------
3526    -- Field Set Procedures --
3527    --------------------------
3528
3529    procedure Set_Abort_Present
3530       (N : Node_Id; Val : Boolean := True) is
3531    begin
3532       pragma Assert (False
3533         or else NT (N).Nkind = N_Requeue_Statement);
3534       Set_Flag15 (N, Val);
3535    end Set_Abort_Present;
3536
3537    procedure Set_Abortable_Part
3538       (N : Node_Id; Val : Node_Id) is
3539    begin
3540       pragma Assert (False
3541         or else NT (N).Nkind = N_Asynchronous_Select);
3542       Set_Node2_With_Parent (N, Val);
3543    end Set_Abortable_Part;
3544
3545    procedure Set_Abstract_Present
3546       (N : Node_Id; Val : Boolean := True) is
3547    begin
3548       pragma Assert (False
3549         or else NT (N).Nkind = N_Derived_Type_Definition
3550         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
3551         or else NT (N).Nkind = N_Formal_Private_Type_Definition
3552         or else NT (N).Nkind = N_Private_Extension_Declaration
3553         or else NT (N).Nkind = N_Private_Type_Declaration
3554         or else NT (N).Nkind = N_Record_Definition);
3555       Set_Flag4 (N, Val);
3556    end Set_Abstract_Present;
3557
3558    procedure Set_Accept_Handler_Records
3559       (N : Node_Id; Val : List_Id) is
3560    begin
3561       pragma Assert (False
3562         or else NT (N).Nkind = N_Accept_Alternative);
3563       Set_List5 (N, Val); -- semantic field, no parent set
3564    end Set_Accept_Handler_Records;
3565
3566    procedure Set_Accept_Statement
3567       (N : Node_Id; Val : Node_Id) is
3568    begin
3569       pragma Assert (False
3570         or else NT (N).Nkind = N_Accept_Alternative);
3571       Set_Node2_With_Parent (N, Val);
3572    end Set_Accept_Statement;
3573
3574    procedure Set_Access_Definition
3575      (N : Node_Id; Val : Node_Id) is
3576    begin
3577       pragma Assert (False
3578         or else NT (N).Nkind = N_Component_Definition
3579         or else NT (N).Nkind = N_Formal_Object_Declaration
3580         or else NT (N).Nkind = N_Object_Renaming_Declaration);
3581       Set_Node3_With_Parent (N, Val);
3582    end Set_Access_Definition;
3583
3584    procedure Set_Access_To_Subprogram_Definition
3585      (N : Node_Id; Val : Node_Id) is
3586    begin
3587       pragma Assert (False
3588         or else NT (N).Nkind = N_Access_Definition);
3589       Set_Node3_With_Parent (N, Val);
3590    end Set_Access_To_Subprogram_Definition;
3591
3592    procedure Set_Access_Types_To_Process
3593       (N : Node_Id; Val : Elist_Id) is
3594    begin
3595       pragma Assert (False
3596         or else NT (N).Nkind = N_Freeze_Entity);
3597       Set_Elist2 (N, Val); -- semantic field, no parent set
3598    end Set_Access_Types_To_Process;
3599
3600    procedure Set_Actions
3601       (N : Node_Id; Val : List_Id) is
3602    begin
3603       pragma Assert (False
3604         or else NT (N).Nkind = N_And_Then
3605         or else NT (N).Nkind = N_Case_Expression_Alternative
3606         or else NT (N).Nkind = N_Compilation_Unit_Aux
3607         or else NT (N).Nkind = N_Compound_Statement
3608         or else NT (N).Nkind = N_Expression_With_Actions
3609         or else NT (N).Nkind = N_Freeze_Entity
3610         or else NT (N).Nkind = N_Or_Else);
3611       Set_List1_With_Parent (N, Val);
3612    end Set_Actions;
3613
3614    procedure Set_Activation_Chain_Entity
3615       (N : Node_Id; Val : Node_Id) is
3616    begin
3617       pragma Assert (False
3618         or else NT (N).Nkind = N_Block_Statement
3619         or else NT (N).Nkind = N_Entry_Body
3620         or else NT (N).Nkind = N_Generic_Package_Declaration
3621         or else NT (N).Nkind = N_Package_Declaration
3622         or else NT (N).Nkind = N_Subprogram_Body
3623         or else NT (N).Nkind = N_Task_Body);
3624       Set_Node3 (N, Val); -- semantic field, no parent set
3625    end Set_Activation_Chain_Entity;
3626
3627    procedure Set_Acts_As_Spec
3628       (N : Node_Id; Val : Boolean := True) is
3629    begin
3630       pragma Assert (False
3631         or else NT (N).Nkind = N_Compilation_Unit
3632         or else NT (N).Nkind = N_Subprogram_Body);
3633       Set_Flag4 (N, Val);
3634    end Set_Acts_As_Spec;
3635
3636    procedure Set_Actual_Designated_Subtype
3637      (N : Node_Id; Val : Node_Id) is
3638    begin
3639       pragma Assert (False
3640         or else NT (N).Nkind = N_Explicit_Dereference
3641         or else NT (N).Nkind = N_Free_Statement);
3642       Set_Node4 (N, Val);
3643    end Set_Actual_Designated_Subtype;
3644
3645    procedure Set_Address_Warning_Posted
3646       (N : Node_Id; Val : Boolean := True) is
3647    begin
3648       pragma Assert (False
3649         or else NT (N).Nkind = N_Attribute_Definition_Clause);
3650       Set_Flag18 (N, Val);
3651    end Set_Address_Warning_Posted;
3652
3653    procedure Set_Aggregate_Bounds
3654       (N : Node_Id; Val : Node_Id) is
3655    begin
3656       pragma Assert (False
3657         or else NT (N).Nkind = N_Aggregate);
3658       Set_Node3 (N, Val); -- semantic field, no parent set
3659    end Set_Aggregate_Bounds;
3660
3661    procedure Set_Aliased_Present
3662       (N : Node_Id; Val : Boolean := True) is
3663    begin
3664       pragma Assert (False
3665         or else NT (N).Nkind = N_Component_Definition
3666         or else NT (N).Nkind = N_Object_Declaration
3667         or else NT (N).Nkind = N_Parameter_Specification);
3668       Set_Flag4 (N, Val);
3669    end Set_Aliased_Present;
3670
3671    procedure Set_Alloc_For_BIP_Return
3672       (N : Node_Id; Val : Boolean := True) is
3673    begin
3674       pragma Assert (False
3675         or else NT (N).Nkind = N_Allocator);
3676       Set_Flag1 (N, Val);
3677    end Set_Alloc_For_BIP_Return;
3678
3679    procedure Set_All_Others
3680       (N : Node_Id; Val : Boolean := True) is
3681    begin
3682       pragma Assert (False
3683         or else NT (N).Nkind = N_Others_Choice);
3684       Set_Flag11 (N, Val);
3685    end Set_All_Others;
3686
3687    procedure Set_All_Present
3688       (N : Node_Id; Val : Boolean := True) is
3689    begin
3690       pragma Assert (False
3691         or else NT (N).Nkind = N_Access_Definition
3692         or else NT (N).Nkind = N_Access_To_Object_Definition
3693         or else NT (N).Nkind = N_Quantified_Expression
3694         or else NT (N).Nkind = N_Use_Type_Clause);
3695       Set_Flag15 (N, Val);
3696    end Set_All_Present;
3697
3698    procedure Set_Alternatives
3699       (N : Node_Id; Val : List_Id) is
3700    begin
3701       pragma Assert (False
3702         or else NT (N).Nkind = N_Case_Expression
3703         or else NT (N).Nkind = N_Case_Statement
3704         or else NT (N).Nkind = N_In
3705         or else NT (N).Nkind = N_Not_In);
3706       Set_List4_With_Parent (N, Val);
3707    end Set_Alternatives;
3708
3709    procedure Set_Ancestor_Part
3710       (N : Node_Id; Val : Node_Id) is
3711    begin
3712       pragma Assert (False
3713         or else NT (N).Nkind = N_Extension_Aggregate);
3714       Set_Node3_With_Parent (N, Val);
3715    end Set_Ancestor_Part;
3716
3717    procedure Set_Atomic_Sync_Required
3718       (N : Node_Id; Val : Boolean := True) is
3719    begin
3720       pragma Assert (False
3721         or else NT (N).Nkind = N_Expanded_Name
3722         or else NT (N).Nkind = N_Explicit_Dereference
3723         or else NT (N).Nkind = N_Identifier
3724         or else NT (N).Nkind = N_Indexed_Component
3725         or else NT (N).Nkind = N_Selected_Component);
3726       Set_Flag14 (N, Val);
3727    end Set_Atomic_Sync_Required;
3728
3729    procedure Set_Array_Aggregate
3730       (N : Node_Id; Val : Node_Id) is
3731    begin
3732       pragma Assert (False
3733         or else NT (N).Nkind = N_Enumeration_Representation_Clause);
3734       Set_Node3_With_Parent (N, Val);
3735    end Set_Array_Aggregate;
3736
3737    procedure Set_Aspect_Rep_Item
3738       (N : Node_Id; Val : Node_Id) is
3739    begin
3740       pragma Assert (False
3741         or else NT (N).Nkind = N_Aspect_Specification);
3742       Set_Node2 (N, Val);
3743    end Set_Aspect_Rep_Item;
3744
3745    procedure Set_Assignment_OK
3746       (N : Node_Id; Val : Boolean := True) is
3747    begin
3748       pragma Assert (False
3749         or else NT (N).Nkind = N_Object_Declaration
3750         or else NT (N).Nkind in N_Subexpr);
3751       Set_Flag15 (N, Val);
3752    end Set_Assignment_OK;
3753
3754    procedure Set_Associated_Node
3755       (N : Node_Id; Val : Node_Id) is
3756    begin
3757       pragma Assert (False
3758         or else NT (N).Nkind in N_Has_Entity
3759         or else NT (N).Nkind = N_Aggregate
3760         or else NT (N).Nkind = N_Extension_Aggregate
3761         or else NT (N).Nkind = N_Selected_Component
3762         or else NT (N).Nkind = N_Use_Package_Clause);
3763       Set_Node4 (N, Val); -- semantic field, no parent set
3764    end Set_Associated_Node;
3765
3766    procedure Set_At_End_Proc
3767       (N : Node_Id; Val : Node_Id) is
3768    begin
3769       pragma Assert (False
3770         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3771       Set_Node1 (N, Val);
3772    end Set_At_End_Proc;
3773
3774    procedure Set_Attribute_Name
3775       (N : Node_Id; Val : Name_Id) is
3776    begin
3777       pragma Assert (False
3778         or else NT (N).Nkind = N_Attribute_Reference);
3779       Set_Name2 (N, Val);
3780    end Set_Attribute_Name;
3781
3782    procedure Set_Aux_Decls_Node
3783       (N : Node_Id; Val : Node_Id) is
3784    begin
3785       pragma Assert (False
3786         or else NT (N).Nkind = N_Compilation_Unit);
3787       Set_Node5_With_Parent (N, Val);
3788    end Set_Aux_Decls_Node;
3789
3790    procedure Set_Backwards_OK
3791       (N : Node_Id; Val : Boolean := True) is
3792    begin
3793       pragma Assert (False
3794         or else NT (N).Nkind = N_Assignment_Statement);
3795       Set_Flag6 (N, Val);
3796    end Set_Backwards_OK;
3797
3798    procedure Set_Bad_Is_Detected
3799       (N : Node_Id; Val : Boolean := True) is
3800    begin
3801       pragma Assert (False
3802         or else NT (N).Nkind = N_Subprogram_Body);
3803       Set_Flag15 (N, Val);
3804    end Set_Bad_Is_Detected;
3805
3806    procedure Set_Body_Required
3807       (N : Node_Id; Val : Boolean := True) is
3808    begin
3809       pragma Assert (False
3810         or else NT (N).Nkind = N_Compilation_Unit);
3811       Set_Flag13 (N, Val);
3812    end Set_Body_Required;
3813
3814    procedure Set_Body_To_Inline
3815       (N : Node_Id; Val : Node_Id) is
3816    begin
3817       pragma Assert (False
3818         or else NT (N).Nkind = N_Subprogram_Declaration);
3819       Set_Node3 (N, Val);
3820    end Set_Body_To_Inline;
3821
3822    procedure Set_Box_Present
3823       (N : Node_Id; Val : Boolean := True) is
3824    begin
3825       pragma Assert (False
3826         or else NT (N).Nkind = N_Component_Association
3827         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
3828         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
3829         or else NT (N).Nkind = N_Formal_Package_Declaration
3830         or else NT (N).Nkind = N_Generic_Association
3831         or else NT (N).Nkind = N_Iterated_Component_Association);
3832       Set_Flag15 (N, Val);
3833    end Set_Box_Present;
3834
3835    procedure Set_By_Ref
3836       (N : Node_Id; Val : Boolean := True) is
3837    begin
3838       pragma Assert (False
3839         or else NT (N).Nkind = N_Extended_Return_Statement
3840         or else NT (N).Nkind = N_Simple_Return_Statement);
3841       Set_Flag5 (N, Val);
3842    end Set_By_Ref;
3843
3844    procedure Set_Char_Literal_Value
3845       (N : Node_Id; Val : Uint) is
3846    begin
3847       pragma Assert (False
3848         or else NT (N).Nkind = N_Character_Literal);
3849       Set_Uint2 (N, Val);
3850    end Set_Char_Literal_Value;
3851
3852    procedure Set_Chars
3853       (N : Node_Id; Val : Name_Id) is
3854    begin
3855       pragma Assert (False
3856         or else NT (N).Nkind in N_Has_Chars);
3857       Set_Name1 (N, Val);
3858    end Set_Chars;
3859
3860    procedure Set_Check_Address_Alignment
3861       (N : Node_Id; Val : Boolean := True) is
3862    begin
3863       pragma Assert (False
3864           or else NT (N).Nkind = N_Attribute_Definition_Clause);
3865       Set_Flag11 (N, Val);
3866    end Set_Check_Address_Alignment;
3867
3868    procedure Set_Choice_Parameter
3869       (N : Node_Id; Val : Node_Id) is
3870    begin
3871       pragma Assert (False
3872         or else NT (N).Nkind = N_Exception_Handler);
3873       Set_Node2_With_Parent (N, Val);
3874    end Set_Choice_Parameter;
3875
3876    procedure Set_Choices
3877       (N : Node_Id; Val : List_Id) is
3878    begin
3879       pragma Assert (False
3880         or else NT (N).Nkind = N_Component_Association);
3881       Set_List1_With_Parent (N, Val);
3882    end Set_Choices;
3883
3884    procedure Set_Class_Present
3885       (N : Node_Id; Val : Boolean := True) is
3886    begin
3887       pragma Assert (False
3888         or else NT (N).Nkind = N_Aspect_Specification
3889         or else NT (N).Nkind = N_Pragma);
3890       Set_Flag6 (N, Val);
3891    end Set_Class_Present;
3892
3893    procedure Set_Classifications
3894       (N : Node_Id; Val : Node_Id) is
3895    begin
3896       pragma Assert (False
3897         or else NT (N).Nkind = N_Contract);
3898       Set_Node3 (N, Val); -- semantic field, no parent set
3899    end Set_Classifications;
3900
3901    procedure Set_Cleanup_Actions
3902       (N : Node_Id; Val : List_Id) is
3903    begin
3904       pragma Assert (False
3905         or else NT (N).Nkind = N_Block_Statement);
3906       Set_List5 (N, Val); -- semantic field, no parent set
3907    end Set_Cleanup_Actions;
3908
3909    procedure Set_Comes_From_Extended_Return_Statement
3910       (N : Node_Id; Val : Boolean := True) is
3911    begin
3912       pragma Assert (False
3913         or else NT (N).Nkind = N_Simple_Return_Statement);
3914       Set_Flag18 (N, Val);
3915    end Set_Comes_From_Extended_Return_Statement;
3916
3917    procedure Set_Compile_Time_Known_Aggregate
3918       (N : Node_Id; Val : Boolean := True) is
3919    begin
3920       pragma Assert (False
3921         or else NT (N).Nkind = N_Aggregate);
3922       Set_Flag18 (N, Val);
3923    end Set_Compile_Time_Known_Aggregate;
3924
3925    procedure Set_Component_Associations
3926       (N : Node_Id; Val : List_Id) is
3927    begin
3928       pragma Assert (False
3929         or else NT (N).Nkind = N_Aggregate
3930         or else NT (N).Nkind = N_Delta_Aggregate
3931         or else NT (N).Nkind = N_Extension_Aggregate);
3932       Set_List2_With_Parent (N, Val);
3933    end Set_Component_Associations;
3934
3935    procedure Set_Component_Clauses
3936       (N : Node_Id; Val : List_Id) is
3937    begin
3938       pragma Assert (False
3939         or else NT (N).Nkind = N_Record_Representation_Clause);
3940       Set_List3_With_Parent (N, Val);
3941    end Set_Component_Clauses;
3942
3943    procedure Set_Component_Definition
3944       (N : Node_Id; Val : Node_Id) is
3945    begin
3946       pragma Assert (False
3947         or else NT (N).Nkind = N_Component_Declaration
3948         or else NT (N).Nkind = N_Constrained_Array_Definition
3949         or else NT (N).Nkind = N_Unconstrained_Array_Definition);
3950       Set_Node4_With_Parent (N, Val);
3951    end Set_Component_Definition;
3952
3953    procedure Set_Component_Items
3954       (N : Node_Id; Val : List_Id) is
3955    begin
3956       pragma Assert (False
3957         or else NT (N).Nkind = N_Component_List);
3958       Set_List3_With_Parent (N, Val);
3959    end Set_Component_Items;
3960
3961    procedure Set_Component_List
3962       (N : Node_Id; Val : Node_Id) is
3963    begin
3964       pragma Assert (False
3965         or else NT (N).Nkind = N_Record_Definition
3966         or else NT (N).Nkind = N_Variant);
3967       Set_Node1_With_Parent (N, Val);
3968    end Set_Component_List;
3969
3970    procedure Set_Component_Name
3971       (N : Node_Id; Val : Node_Id) is
3972    begin
3973       pragma Assert (False
3974         or else NT (N).Nkind = N_Component_Clause);
3975       Set_Node1_With_Parent (N, Val);
3976    end Set_Component_Name;
3977
3978    procedure Set_Componentwise_Assignment
3979       (N : Node_Id; Val : Boolean := True) is
3980    begin
3981       pragma Assert (False
3982         or else NT (N).Nkind = N_Assignment_Statement);
3983       Set_Flag14 (N, Val);
3984    end Set_Componentwise_Assignment;
3985
3986    procedure Set_Condition
3987       (N : Node_Id; Val : Node_Id) is
3988    begin
3989       pragma Assert (False
3990         or else NT (N).Nkind = N_Accept_Alternative
3991         or else NT (N).Nkind = N_Delay_Alternative
3992         or else NT (N).Nkind = N_Elsif_Part
3993         or else NT (N).Nkind = N_Entry_Body_Formal_Part
3994         or else NT (N).Nkind = N_Exit_Statement
3995         or else NT (N).Nkind = N_If_Statement
3996         or else NT (N).Nkind = N_Iteration_Scheme
3997         or else NT (N).Nkind = N_Quantified_Expression
3998         or else NT (N).Nkind = N_Raise_Constraint_Error
3999         or else NT (N).Nkind = N_Raise_Program_Error
4000         or else NT (N).Nkind = N_Raise_Storage_Error
4001         or else NT (N).Nkind = N_Terminate_Alternative);
4002       Set_Node1_With_Parent (N, Val);
4003    end Set_Condition;
4004
4005    procedure Set_Condition_Actions
4006       (N : Node_Id; Val : List_Id) is
4007    begin
4008       pragma Assert (False
4009         or else NT (N).Nkind = N_Elsif_Part
4010         or else NT (N).Nkind = N_Iteration_Scheme);
4011       Set_List3 (N, Val); -- semantic field, no parent set
4012    end Set_Condition_Actions;
4013
4014    procedure Set_Config_Pragmas
4015       (N : Node_Id; Val : List_Id) is
4016    begin
4017       pragma Assert (False
4018         or else NT (N).Nkind = N_Compilation_Unit_Aux);
4019       Set_List4_With_Parent (N, Val);
4020    end Set_Config_Pragmas;
4021
4022    procedure Set_Constant_Present
4023       (N : Node_Id; Val : Boolean := True) is
4024    begin
4025       pragma Assert (False
4026         or else NT (N).Nkind = N_Access_Definition
4027         or else NT (N).Nkind = N_Access_To_Object_Definition
4028         or else NT (N).Nkind = N_Object_Declaration);
4029       Set_Flag17 (N, Val);
4030    end Set_Constant_Present;
4031
4032    procedure Set_Constraint
4033       (N : Node_Id; Val : Node_Id) is
4034    begin
4035       pragma Assert (False
4036         or else NT (N).Nkind = N_Subtype_Indication);
4037       Set_Node3_With_Parent (N, Val);
4038    end Set_Constraint;
4039
4040    procedure Set_Constraints
4041       (N : Node_Id; Val : List_Id) is
4042    begin
4043       pragma Assert (False
4044         or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
4045       Set_List1_With_Parent (N, Val);
4046    end Set_Constraints;
4047
4048    procedure Set_Context_Installed
4049       (N : Node_Id; Val : Boolean := True) is
4050    begin
4051       pragma Assert (False
4052         or else NT (N).Nkind = N_With_Clause);
4053       Set_Flag13 (N, Val);
4054    end Set_Context_Installed;
4055
4056    procedure Set_Context_Items
4057       (N : Node_Id; Val : List_Id) is
4058    begin
4059       pragma Assert (False
4060         or else NT (N).Nkind = N_Compilation_Unit);
4061       Set_List1_With_Parent (N, Val);
4062    end Set_Context_Items;
4063
4064    procedure Set_Context_Pending
4065       (N : Node_Id; Val : Boolean := True) is
4066    begin
4067       pragma Assert (False
4068         or else NT (N).Nkind = N_Compilation_Unit);
4069       Set_Flag16 (N, Val);
4070    end Set_Context_Pending;
4071
4072    procedure Set_Contract_Test_Cases
4073       (N : Node_Id; Val : Node_Id) is
4074    begin
4075       pragma Assert (False
4076         or else NT (N).Nkind = N_Contract);
4077       Set_Node2 (N, Val); -- semantic field, no parent set
4078    end Set_Contract_Test_Cases;
4079
4080    procedure Set_Controlling_Argument
4081       (N : Node_Id; Val : Node_Id) is
4082    begin
4083       pragma Assert (False
4084         or else NT (N).Nkind = N_Function_Call
4085         or else NT (N).Nkind = N_Procedure_Call_Statement);
4086       Set_Node1 (N, Val); -- semantic field, no parent set
4087    end Set_Controlling_Argument;
4088
4089    procedure Set_Conversion_OK
4090       (N : Node_Id; Val : Boolean := True) is
4091    begin
4092       pragma Assert (False
4093         or else NT (N).Nkind = N_Type_Conversion);
4094       Set_Flag14 (N, Val);
4095    end Set_Conversion_OK;
4096
4097    procedure Set_Convert_To_Return_False
4098       (N : Node_Id; Val : Boolean := True) is
4099    begin
4100       pragma Assert (False
4101         or else NT (N).Nkind = N_Raise_Expression);
4102       Set_Flag13 (N, Val);
4103    end Set_Convert_To_Return_False;
4104
4105    procedure Set_Corresponding_Aspect
4106       (N : Node_Id; Val : Node_Id) is
4107    begin
4108       pragma Assert (False
4109         or else NT (N).Nkind = N_Pragma);
4110       Set_Node3 (N, Val);
4111    end Set_Corresponding_Aspect;
4112
4113    procedure Set_Corresponding_Body
4114       (N : Node_Id; Val : Node_Id) is
4115    begin
4116       pragma Assert (False
4117         or else NT (N).Nkind = N_Entry_Declaration
4118         or else NT (N).Nkind = N_Generic_Package_Declaration
4119         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
4120         or else NT (N).Nkind = N_Package_Body_Stub
4121         or else NT (N).Nkind = N_Package_Declaration
4122         or else NT (N).Nkind = N_Protected_Body_Stub
4123         or else NT (N).Nkind = N_Protected_Type_Declaration
4124         or else NT (N).Nkind = N_Subprogram_Body_Stub
4125         or else NT (N).Nkind = N_Subprogram_Declaration
4126         or else NT (N).Nkind = N_Task_Body_Stub
4127         or else NT (N).Nkind = N_Task_Type_Declaration);
4128       Set_Node5 (N, Val); -- semantic field, no parent set
4129    end Set_Corresponding_Body;
4130
4131    procedure Set_Corresponding_Formal_Spec
4132       (N : Node_Id; Val : Node_Id) is
4133    begin
4134       pragma Assert (False
4135         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4136       Set_Node3 (N, Val); -- semantic field, no parent set
4137    end Set_Corresponding_Formal_Spec;
4138
4139    procedure Set_Corresponding_Generic_Association
4140       (N : Node_Id; Val : Node_Id) is
4141    begin
4142       pragma Assert (False
4143         or else NT (N).Nkind = N_Object_Declaration
4144         or else NT (N).Nkind = N_Object_Renaming_Declaration);
4145       Set_Node5 (N, Val); -- semantic field, no parent set
4146    end Set_Corresponding_Generic_Association;
4147
4148    procedure Set_Corresponding_Integer_Value
4149       (N : Node_Id; Val : Uint) is
4150    begin
4151       pragma Assert (False
4152         or else NT (N).Nkind = N_Real_Literal);
4153       Set_Uint4 (N, Val); -- semantic field, no parent set
4154    end Set_Corresponding_Integer_Value;
4155
4156    procedure Set_Corresponding_Spec
4157       (N : Node_Id; Val : Entity_Id) is
4158    begin
4159       pragma Assert (False
4160         or else NT (N).Nkind = N_Expression_Function
4161         or else NT (N).Nkind = N_Package_Body
4162         or else NT (N).Nkind = N_Protected_Body
4163         or else NT (N).Nkind = N_Subprogram_Body
4164         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
4165         or else NT (N).Nkind = N_Task_Body
4166         or else NT (N).Nkind = N_With_Clause);
4167       Set_Node5 (N, Val); -- semantic field, no parent set
4168    end Set_Corresponding_Spec;
4169
4170    procedure Set_Corresponding_Spec_Of_Stub
4171       (N : Node_Id; Val : Entity_Id) is
4172    begin
4173       pragma Assert (False
4174         or else NT (N).Nkind = N_Package_Body_Stub
4175         or else NT (N).Nkind = N_Protected_Body_Stub
4176         or else NT (N).Nkind = N_Subprogram_Body_Stub
4177         or else NT (N).Nkind = N_Task_Body_Stub);
4178       Set_Node2 (N, Val); -- semantic field, no parent set
4179    end Set_Corresponding_Spec_Of_Stub;
4180
4181    procedure Set_Corresponding_Stub
4182       (N : Node_Id; Val : Node_Id) is
4183    begin
4184       pragma Assert (False
4185         or else NT (N).Nkind = N_Subunit);
4186       Set_Node3 (N, Val);
4187    end Set_Corresponding_Stub;
4188
4189    procedure Set_Dcheck_Function
4190       (N : Node_Id; Val : Entity_Id) is
4191    begin
4192       pragma Assert (False
4193         or else NT (N).Nkind = N_Variant);
4194       Set_Node5 (N, Val); -- semantic field, no parent set
4195    end Set_Dcheck_Function;
4196
4197    procedure Set_Declarations
4198       (N : Node_Id; Val : List_Id) is
4199    begin
4200       pragma Assert (False
4201         or else NT (N).Nkind = N_Accept_Statement
4202         or else NT (N).Nkind = N_Block_Statement
4203         or else NT (N).Nkind = N_Compilation_Unit_Aux
4204         or else NT (N).Nkind = N_Entry_Body
4205         or else NT (N).Nkind = N_Package_Body
4206         or else NT (N).Nkind = N_Protected_Body
4207         or else NT (N).Nkind = N_Subprogram_Body
4208         or else NT (N).Nkind = N_Task_Body);
4209       Set_List2_With_Parent (N, Val);
4210    end Set_Declarations;
4211
4212    procedure Set_Default_Expression
4213       (N : Node_Id; Val : Node_Id) is
4214    begin
4215       pragma Assert (False
4216         or else NT (N).Nkind = N_Formal_Object_Declaration
4217         or else NT (N).Nkind = N_Parameter_Specification);
4218       Set_Node5 (N, Val); -- semantic field, no parent set
4219    end Set_Default_Expression;
4220
4221    procedure Set_Default_Storage_Pool
4222       (N : Node_Id; Val : Node_Id) is
4223    begin
4224       pragma Assert (False
4225         or else NT (N).Nkind = N_Compilation_Unit_Aux);
4226       Set_Node3 (N, Val); -- semantic field, no parent set
4227    end Set_Default_Storage_Pool;
4228
4229    procedure Set_Default_Name
4230       (N : Node_Id; Val : Node_Id) is
4231    begin
4232       pragma Assert (False
4233         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
4234         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration);
4235       Set_Node2_With_Parent (N, Val);
4236    end Set_Default_Name;
4237
4238    procedure Set_Defining_Identifier
4239       (N : Node_Id; Val : Entity_Id) is
4240    begin
4241       pragma Assert (False
4242         or else NT (N).Nkind = N_Component_Declaration
4243         or else NT (N).Nkind = N_Defining_Program_Unit_Name
4244         or else NT (N).Nkind = N_Discriminant_Specification
4245         or else NT (N).Nkind = N_Entry_Body
4246         or else NT (N).Nkind = N_Entry_Declaration
4247         or else NT (N).Nkind = N_Entry_Index_Specification
4248         or else NT (N).Nkind = N_Exception_Declaration
4249         or else NT (N).Nkind = N_Exception_Renaming_Declaration
4250         or else NT (N).Nkind = N_Formal_Object_Declaration
4251         or else NT (N).Nkind = N_Formal_Package_Declaration
4252         or else NT (N).Nkind = N_Formal_Type_Declaration
4253         or else NT (N).Nkind = N_Full_Type_Declaration
4254         or else NT (N).Nkind = N_Implicit_Label_Declaration
4255         or else NT (N).Nkind = N_Incomplete_Type_Declaration
4256         or else NT (N).Nkind = N_Iterated_Component_Association
4257         or else NT (N).Nkind = N_Iterator_Specification
4258         or else NT (N).Nkind = N_Loop_Parameter_Specification
4259         or else NT (N).Nkind = N_Number_Declaration
4260         or else NT (N).Nkind = N_Object_Declaration
4261         or else NT (N).Nkind = N_Object_Renaming_Declaration
4262         or else NT (N).Nkind = N_Package_Body_Stub
4263         or else NT (N).Nkind = N_Parameter_Specification
4264         or else NT (N).Nkind = N_Private_Extension_Declaration
4265         or else NT (N).Nkind = N_Private_Type_Declaration
4266         or else NT (N).Nkind = N_Protected_Body
4267         or else NT (N).Nkind = N_Protected_Body_Stub
4268         or else NT (N).Nkind = N_Protected_Type_Declaration
4269         or else NT (N).Nkind = N_Single_Protected_Declaration
4270         or else NT (N).Nkind = N_Single_Task_Declaration
4271         or else NT (N).Nkind = N_Subtype_Declaration
4272         or else NT (N).Nkind = N_Task_Body
4273         or else NT (N).Nkind = N_Task_Body_Stub
4274         or else NT (N).Nkind = N_Task_Type_Declaration);
4275       Set_Node1_With_Parent (N, Val);
4276    end Set_Defining_Identifier;
4277
4278    procedure Set_Defining_Unit_Name
4279       (N : Node_Id; Val : Node_Id) is
4280    begin
4281       pragma Assert (False
4282         or else NT (N).Nkind = N_Function_Instantiation
4283         or else NT (N).Nkind = N_Function_Specification
4284         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4285         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4286         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4287         or else NT (N).Nkind = N_Package_Body
4288         or else NT (N).Nkind = N_Package_Instantiation
4289         or else NT (N).Nkind = N_Package_Renaming_Declaration
4290         or else NT (N).Nkind = N_Package_Specification
4291         or else NT (N).Nkind = N_Procedure_Instantiation
4292         or else NT (N).Nkind = N_Procedure_Specification);
4293       Set_Node1_With_Parent (N, Val);
4294    end Set_Defining_Unit_Name;
4295
4296    procedure Set_Delay_Alternative
4297       (N : Node_Id; Val : Node_Id) is
4298    begin
4299       pragma Assert (False
4300         or else NT (N).Nkind = N_Timed_Entry_Call);
4301       Set_Node4_With_Parent (N, Val);
4302    end Set_Delay_Alternative;
4303
4304    procedure Set_Delay_Statement
4305       (N : Node_Id; Val : Node_Id) is
4306    begin
4307       pragma Assert (False
4308         or else NT (N).Nkind = N_Delay_Alternative);
4309       Set_Node2_With_Parent (N, Val);
4310    end Set_Delay_Statement;
4311
4312    procedure Set_Delta_Expression
4313       (N : Node_Id; Val : Node_Id) is
4314    begin
4315       pragma Assert (False
4316         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4317         or else NT (N).Nkind = N_Delta_Constraint
4318         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
4319       Set_Node3_With_Parent (N, Val);
4320    end Set_Delta_Expression;
4321
4322    procedure Set_Digits_Expression
4323       (N : Node_Id; Val : Node_Id) is
4324    begin
4325       pragma Assert (False
4326         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4327         or else NT (N).Nkind = N_Digits_Constraint
4328         or else NT (N).Nkind = N_Floating_Point_Definition);
4329       Set_Node2_With_Parent (N, Val);
4330    end Set_Digits_Expression;
4331
4332    procedure Set_Discr_Check_Funcs_Built
4333       (N : Node_Id; Val : Boolean := True) is
4334    begin
4335       pragma Assert (False
4336         or else NT (N).Nkind = N_Full_Type_Declaration);
4337       Set_Flag11 (N, Val);
4338    end Set_Discr_Check_Funcs_Built;
4339
4340    procedure Set_Discrete_Choices
4341       (N : Node_Id; Val : List_Id) is
4342    begin
4343       pragma Assert (False
4344         or else NT (N).Nkind = N_Case_Expression_Alternative
4345         or else NT (N).Nkind = N_Case_Statement_Alternative
4346         or else NT (N).Nkind = N_Iterated_Component_Association
4347         or else NT (N).Nkind = N_Variant);
4348       Set_List4_With_Parent (N, Val);
4349    end Set_Discrete_Choices;
4350
4351    procedure Set_Discrete_Range
4352       (N : Node_Id; Val : Node_Id) is
4353    begin
4354       pragma Assert (False
4355         or else NT (N).Nkind = N_Slice);
4356       Set_Node4_With_Parent (N, Val);
4357    end Set_Discrete_Range;
4358
4359    procedure Set_Discrete_Subtype_Definition
4360       (N : Node_Id; Val : Node_Id) is
4361    begin
4362       pragma Assert (False
4363         or else NT (N).Nkind = N_Entry_Declaration
4364         or else NT (N).Nkind = N_Entry_Index_Specification
4365         or else NT (N).Nkind = N_Loop_Parameter_Specification);
4366       Set_Node4_With_Parent (N, Val);
4367    end Set_Discrete_Subtype_Definition;
4368
4369    procedure Set_Discrete_Subtype_Definitions
4370       (N : Node_Id; Val : List_Id) is
4371    begin
4372       pragma Assert (False
4373         or else NT (N).Nkind = N_Constrained_Array_Definition);
4374       Set_List2_With_Parent (N, Val);
4375    end Set_Discrete_Subtype_Definitions;
4376
4377    procedure Set_Discriminant_Specifications
4378       (N : Node_Id; Val : List_Id) is
4379    begin
4380       pragma Assert (False
4381         or else NT (N).Nkind = N_Formal_Type_Declaration
4382         or else NT (N).Nkind = N_Full_Type_Declaration
4383         or else NT (N).Nkind = N_Incomplete_Type_Declaration
4384         or else NT (N).Nkind = N_Private_Extension_Declaration
4385         or else NT (N).Nkind = N_Private_Type_Declaration
4386         or else NT (N).Nkind = N_Protected_Type_Declaration
4387         or else NT (N).Nkind = N_Task_Type_Declaration);
4388       Set_List4_With_Parent (N, Val);
4389    end Set_Discriminant_Specifications;
4390
4391    procedure Set_Discriminant_Type
4392       (N : Node_Id; Val : Node_Id) is
4393    begin
4394       pragma Assert (False
4395         or else NT (N).Nkind = N_Discriminant_Specification);
4396       Set_Node5_With_Parent (N, Val);
4397    end Set_Discriminant_Type;
4398
4399    procedure Set_Do_Accessibility_Check
4400       (N : Node_Id; Val : Boolean := True) is
4401    begin
4402       pragma Assert (False
4403         or else NT (N).Nkind = N_Parameter_Specification);
4404       Set_Flag13 (N, Val);
4405    end Set_Do_Accessibility_Check;
4406
4407    procedure Set_Do_Discriminant_Check
4408       (N : Node_Id; Val : Boolean := True) is
4409    begin
4410       pragma Assert (False
4411         or else NT (N).Nkind = N_Assignment_Statement
4412         or else NT (N).Nkind = N_Selected_Component
4413         or else NT (N).Nkind = N_Type_Conversion);
4414       Set_Flag3 (N, Val);
4415    end Set_Do_Discriminant_Check;
4416
4417    procedure Set_Do_Division_Check
4418       (N : Node_Id; Val : Boolean := True) is
4419    begin
4420       pragma Assert (False
4421         or else NT (N).Nkind = N_Op_Divide
4422         or else NT (N).Nkind = N_Op_Mod
4423         or else NT (N).Nkind = N_Op_Rem);
4424       Set_Flag13 (N, Val);
4425    end Set_Do_Division_Check;
4426
4427    procedure Set_Do_Length_Check
4428       (N : Node_Id; Val : Boolean := True) is
4429    begin
4430       pragma Assert (False
4431         or else NT (N).Nkind = N_Assignment_Statement
4432         or else NT (N).Nkind = N_Op_And
4433         or else NT (N).Nkind = N_Op_Or
4434         or else NT (N).Nkind = N_Op_Xor
4435         or else NT (N).Nkind = N_Type_Conversion);
4436       Set_Flag4 (N, Val);
4437    end Set_Do_Length_Check;
4438
4439    procedure Set_Do_Overflow_Check
4440       (N : Node_Id; Val : Boolean := True) is
4441    begin
4442       pragma Assert (False
4443         or else NT (N).Nkind in N_Op
4444         or else NT (N).Nkind = N_Attribute_Reference
4445         or else NT (N).Nkind = N_Case_Expression
4446         or else NT (N).Nkind = N_If_Expression
4447         or else NT (N).Nkind = N_Type_Conversion);
4448       Set_Flag17 (N, Val);
4449    end Set_Do_Overflow_Check;
4450
4451    procedure Set_Do_Range_Check
4452       (N : Node_Id; Val : Boolean := True) is
4453    begin
4454       pragma Assert (False
4455         or else NT (N).Nkind in N_Subexpr);
4456       Set_Flag9 (N, Val);
4457    end Set_Do_Range_Check;
4458
4459    procedure Set_Do_Storage_Check
4460       (N : Node_Id; Val : Boolean := True) is
4461    begin
4462       pragma Assert (False
4463         or else NT (N).Nkind = N_Allocator
4464         or else NT (N).Nkind = N_Subprogram_Body);
4465       Set_Flag17 (N, Val);
4466    end Set_Do_Storage_Check;
4467
4468    procedure Set_Do_Tag_Check
4469       (N : Node_Id; Val : Boolean := True) is
4470    begin
4471       pragma Assert (False
4472         or else NT (N).Nkind = N_Assignment_Statement
4473         or else NT (N).Nkind = N_Extended_Return_Statement
4474         or else NT (N).Nkind = N_Function_Call
4475         or else NT (N).Nkind = N_Procedure_Call_Statement
4476         or else NT (N).Nkind = N_Simple_Return_Statement
4477         or else NT (N).Nkind = N_Type_Conversion);
4478       Set_Flag13 (N, Val);
4479    end Set_Do_Tag_Check;
4480
4481    procedure Set_Elaborate_All_Desirable
4482       (N : Node_Id; Val : Boolean := True) is
4483    begin
4484       pragma Assert (False
4485         or else NT (N).Nkind = N_With_Clause);
4486       Set_Flag9 (N, Val);
4487    end Set_Elaborate_All_Desirable;
4488
4489    procedure Set_Elaborate_All_Present
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_Flag14 (N, Val);
4495    end Set_Elaborate_All_Present;
4496
4497    procedure Set_Elaborate_Desirable
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_Flag11 (N, Val);
4503    end Set_Elaborate_Desirable;
4504
4505    procedure Set_Elaborate_Present
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_Flag4 (N, Val);
4511    end Set_Elaborate_Present;
4512
4513    procedure Set_Else_Actions
4514       (N : Node_Id; Val : List_Id) is
4515    begin
4516       pragma Assert (False
4517         or else NT (N).Nkind = N_If_Expression);
4518       Set_List3_With_Parent (N, Val); -- semantic field, but needs parents
4519    end Set_Else_Actions;
4520
4521    procedure Set_Else_Statements
4522       (N : Node_Id; Val : List_Id) is
4523    begin
4524       pragma Assert (False
4525         or else NT (N).Nkind = N_Conditional_Entry_Call
4526         or else NT (N).Nkind = N_If_Statement
4527         or else NT (N).Nkind = N_Selective_Accept);
4528       Set_List4_With_Parent (N, Val);
4529    end Set_Else_Statements;
4530
4531    procedure Set_Elsif_Parts
4532       (N : Node_Id; Val : List_Id) is
4533    begin
4534       pragma Assert (False
4535         or else NT (N).Nkind = N_If_Statement);
4536       Set_List3_With_Parent (N, Val);
4537    end Set_Elsif_Parts;
4538
4539    procedure Set_Enclosing_Variant
4540       (N : Node_Id; Val : Node_Id) is
4541    begin
4542       pragma Assert (False
4543         or else NT (N).Nkind = N_Variant);
4544       Set_Node2 (N, Val); -- semantic field, no parent set
4545    end Set_Enclosing_Variant;
4546
4547    procedure Set_End_Label
4548       (N : Node_Id; Val : Node_Id) is
4549    begin
4550       pragma Assert (False
4551         or else NT (N).Nkind = N_Enumeration_Type_Definition
4552         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4553         or else NT (N).Nkind = N_Loop_Statement
4554         or else NT (N).Nkind = N_Package_Specification
4555         or else NT (N).Nkind = N_Protected_Body
4556         or else NT (N).Nkind = N_Protected_Definition
4557         or else NT (N).Nkind = N_Record_Definition
4558         or else NT (N).Nkind = N_Task_Definition);
4559       Set_Node4_With_Parent (N, Val);
4560    end Set_End_Label;
4561
4562    procedure Set_End_Span
4563       (N : Node_Id; Val : Uint) is
4564    begin
4565       pragma Assert (False
4566         or else NT (N).Nkind = N_Case_Statement
4567         or else NT (N).Nkind = N_If_Statement);
4568       Set_Uint5 (N, Val);
4569    end Set_End_Span;
4570
4571    procedure Set_Entity
4572       (N : Node_Id; Val : Node_Id) is
4573    begin
4574       pragma Assert (False
4575         or else NT (N).Nkind in N_Has_Entity
4576         or else NT (N).Nkind = N_Aspect_Specification
4577         or else NT (N).Nkind = N_Attribute_Definition_Clause
4578         or else NT (N).Nkind = N_Freeze_Entity
4579         or else NT (N).Nkind = N_Freeze_Generic_Entity);
4580       Set_Node4 (N, Val); -- semantic field, no parent set
4581    end Set_Entity;
4582
4583    procedure Set_Entry_Body_Formal_Part
4584       (N : Node_Id; Val : Node_Id) is
4585    begin
4586       pragma Assert (False
4587         or else NT (N).Nkind = N_Entry_Body);
4588       Set_Node5_With_Parent (N, Val);
4589    end Set_Entry_Body_Formal_Part;
4590
4591    procedure Set_Entry_Call_Alternative
4592       (N : Node_Id; Val : Node_Id) is
4593    begin
4594       pragma Assert (False
4595         or else NT (N).Nkind = N_Conditional_Entry_Call
4596         or else NT (N).Nkind = N_Timed_Entry_Call);
4597       Set_Node1_With_Parent (N, Val);
4598    end Set_Entry_Call_Alternative;
4599
4600    procedure Set_Entry_Call_Statement
4601       (N : Node_Id; Val : Node_Id) is
4602    begin
4603       pragma Assert (False
4604         or else NT (N).Nkind = N_Entry_Call_Alternative);
4605       Set_Node1_With_Parent (N, Val);
4606    end Set_Entry_Call_Statement;
4607
4608    procedure Set_Entry_Direct_Name
4609       (N : Node_Id; Val : Node_Id) is
4610    begin
4611       pragma Assert (False
4612         or else NT (N).Nkind = N_Accept_Statement);
4613       Set_Node1_With_Parent (N, Val);
4614    end Set_Entry_Direct_Name;
4615
4616    procedure Set_Entry_Index
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_Node5_With_Parent (N, Val);
4622    end Set_Entry_Index;
4623
4624    procedure Set_Entry_Index_Specification
4625       (N : Node_Id; Val : Node_Id) is
4626    begin
4627       pragma Assert (False
4628         or else NT (N).Nkind = N_Entry_Body_Formal_Part);
4629       Set_Node4_With_Parent (N, Val);
4630    end Set_Entry_Index_Specification;
4631
4632    procedure Set_Etype
4633       (N : Node_Id; Val : Node_Id) is
4634    begin
4635       pragma Assert (False
4636         or else NT (N).Nkind in N_Has_Etype);
4637       Set_Node5 (N, Val); -- semantic field, no parent set
4638    end Set_Etype;
4639
4640    procedure Set_Exception_Choices
4641       (N : Node_Id; Val : List_Id) is
4642    begin
4643       pragma Assert (False
4644         or else NT (N).Nkind = N_Exception_Handler);
4645       Set_List4_With_Parent (N, Val);
4646    end Set_Exception_Choices;
4647
4648    procedure Set_Exception_Handlers
4649       (N : Node_Id; Val : List_Id) is
4650    begin
4651       pragma Assert (False
4652         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4653       Set_List5_With_Parent (N, Val);
4654    end Set_Exception_Handlers;
4655
4656    procedure Set_Exception_Junk
4657      (N : Node_Id; Val : Boolean := True) is
4658    begin
4659       pragma Assert (False
4660         or else NT (N).Nkind = N_Block_Statement
4661         or else NT (N).Nkind = N_Goto_Statement
4662         or else NT (N).Nkind = N_Label
4663         or else NT (N).Nkind = N_Object_Declaration
4664         or else NT (N).Nkind = N_Subtype_Declaration);
4665       Set_Flag8 (N, Val);
4666    end Set_Exception_Junk;
4667
4668    procedure Set_Exception_Label
4669      (N : Node_Id; Val : Node_Id) is
4670    begin
4671       pragma Assert (False
4672         or else NT (N).Nkind = N_Exception_Handler
4673         or else NT (N).Nkind = N_Push_Constraint_Error_Label
4674         or else NT (N).Nkind = N_Push_Program_Error_Label
4675         or else NT (N).Nkind = N_Push_Storage_Error_Label);
4676       Set_Node5 (N, Val); -- semantic field, no parent set
4677    end Set_Exception_Label;
4678
4679    procedure Set_Expansion_Delayed
4680      (N : Node_Id; Val : Boolean := True) is
4681    begin
4682       pragma Assert (False
4683         or else NT (N).Nkind = N_Aggregate
4684         or else NT (N).Nkind = N_Extension_Aggregate);
4685       Set_Flag11 (N, Val);
4686    end Set_Expansion_Delayed;
4687
4688    procedure Set_Explicit_Actual_Parameter
4689       (N : Node_Id; Val : Node_Id) is
4690    begin
4691       pragma Assert (False
4692         or else NT (N).Nkind = N_Parameter_Association);
4693       Set_Node3_With_Parent (N, Val);
4694    end Set_Explicit_Actual_Parameter;
4695
4696    procedure Set_Explicit_Generic_Actual_Parameter
4697       (N : Node_Id; Val : Node_Id) is
4698    begin
4699       pragma Assert (False
4700         or else NT (N).Nkind = N_Generic_Association);
4701       Set_Node1_With_Parent (N, Val);
4702    end Set_Explicit_Generic_Actual_Parameter;
4703
4704    procedure Set_Expression
4705       (N : Node_Id; Val : Node_Id) is
4706    begin
4707       pragma Assert (False
4708         or else NT (N).Nkind = N_Allocator
4709         or else NT (N).Nkind = N_Aspect_Specification
4710         or else NT (N).Nkind = N_Assignment_Statement
4711         or else NT (N).Nkind = N_At_Clause
4712         or else NT (N).Nkind = N_Attribute_Definition_Clause
4713         or else NT (N).Nkind = N_Case_Expression
4714         or else NT (N).Nkind = N_Case_Expression_Alternative
4715         or else NT (N).Nkind = N_Case_Statement
4716         or else NT (N).Nkind = N_Code_Statement
4717         or else NT (N).Nkind = N_Component_Association
4718         or else NT (N).Nkind = N_Component_Declaration
4719         or else NT (N).Nkind = N_Delay_Relative_Statement
4720         or else NT (N).Nkind = N_Delay_Until_Statement
4721         or else NT (N).Nkind = N_Delta_Aggregate
4722         or else NT (N).Nkind = N_Discriminant_Association
4723         or else NT (N).Nkind = N_Discriminant_Specification
4724         or else NT (N).Nkind = N_Exception_Declaration
4725         or else NT (N).Nkind = N_Expression_Function
4726         or else NT (N).Nkind = N_Expression_With_Actions
4727         or else NT (N).Nkind = N_Free_Statement
4728         or else NT (N).Nkind = N_Iterated_Component_Association
4729         or else NT (N).Nkind = N_Mod_Clause
4730         or else NT (N).Nkind = N_Modular_Type_Definition
4731         or else NT (N).Nkind = N_Number_Declaration
4732         or else NT (N).Nkind = N_Object_Declaration
4733         or else NT (N).Nkind = N_Parameter_Specification
4734         or else NT (N).Nkind = N_Pragma_Argument_Association
4735         or else NT (N).Nkind = N_Qualified_Expression
4736         or else NT (N).Nkind = N_Raise_Expression
4737         or else NT (N).Nkind = N_Raise_Statement
4738         or else NT (N).Nkind = N_Simple_Return_Statement
4739         or else NT (N).Nkind = N_Type_Conversion
4740         or else NT (N).Nkind = N_Unchecked_Expression
4741         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4742       Set_Node3_With_Parent (N, Val);
4743    end Set_Expression;
4744
4745    procedure Set_Expression_Copy
4746       (N : Node_Id; Val : Node_Id) is
4747    begin
4748       pragma Assert (False
4749         or else NT (N).Nkind = N_Pragma_Argument_Association);
4750       Set_Node2 (N, Val);  -- semantic field, no parent set
4751    end Set_Expression_Copy;
4752
4753    procedure Set_Expressions
4754       (N : Node_Id; Val : List_Id) is
4755    begin
4756       pragma Assert (False
4757         or else NT (N).Nkind = N_Aggregate
4758         or else NT (N).Nkind = N_Attribute_Reference
4759         or else NT (N).Nkind = N_Extension_Aggregate
4760         or else NT (N).Nkind = N_If_Expression
4761         or else NT (N).Nkind = N_Indexed_Component);
4762       Set_List1_With_Parent (N, Val);
4763    end Set_Expressions;
4764
4765    procedure Set_First_Bit
4766       (N : Node_Id; Val : Node_Id) is
4767    begin
4768       pragma Assert (False
4769         or else NT (N).Nkind = N_Component_Clause);
4770       Set_Node3_With_Parent (N, Val);
4771    end Set_First_Bit;
4772
4773    procedure Set_First_Inlined_Subprogram
4774       (N : Node_Id; Val : Entity_Id) is
4775    begin
4776       pragma Assert (False
4777         or else NT (N).Nkind = N_Compilation_Unit);
4778       Set_Node3 (N, Val);  -- semantic field, no parent set
4779    end Set_First_Inlined_Subprogram;
4780
4781    procedure Set_First_Name
4782       (N : Node_Id; Val : Boolean := True) is
4783    begin
4784       pragma Assert (False
4785         or else NT (N).Nkind = N_With_Clause);
4786       Set_Flag5 (N, Val);
4787    end Set_First_Name;
4788
4789    procedure Set_First_Named_Actual
4790       (N : Node_Id; Val : Node_Id) is
4791    begin
4792       pragma Assert (False
4793         or else NT (N).Nkind = N_Entry_Call_Statement
4794         or else NT (N).Nkind = N_Function_Call
4795         or else NT (N).Nkind = N_Procedure_Call_Statement);
4796       Set_Node4 (N, Val); -- semantic field, no parent set
4797    end Set_First_Named_Actual;
4798
4799    procedure Set_First_Real_Statement
4800       (N : Node_Id; Val : Node_Id) is
4801    begin
4802       pragma Assert (False
4803         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4804       Set_Node2 (N, Val); -- semantic field, no parent set
4805    end Set_First_Real_Statement;
4806
4807    procedure Set_First_Subtype_Link
4808       (N : Node_Id; Val : Entity_Id) is
4809    begin
4810       pragma Assert (False
4811         or else NT (N).Nkind = N_Freeze_Entity);
4812       Set_Node5 (N, Val); -- semantic field, no parent set
4813    end Set_First_Subtype_Link;
4814
4815    procedure Set_Float_Truncate
4816       (N : Node_Id; Val : Boolean := True) is
4817    begin
4818       pragma Assert (False
4819         or else NT (N).Nkind = N_Type_Conversion);
4820       Set_Flag11 (N, Val);
4821    end Set_Float_Truncate;
4822
4823    procedure Set_Formal_Type_Definition
4824       (N : Node_Id; Val : Node_Id) is
4825    begin
4826       pragma Assert (False
4827         or else NT (N).Nkind = N_Formal_Type_Declaration);
4828       Set_Node3_With_Parent (N, Val);
4829    end Set_Formal_Type_Definition;
4830
4831    procedure Set_Forwards_OK
4832       (N : Node_Id; Val : Boolean := True) is
4833    begin
4834       pragma Assert (False
4835         or else NT (N).Nkind = N_Assignment_Statement);
4836       Set_Flag5 (N, Val);
4837    end Set_Forwards_OK;
4838
4839    procedure Set_From_Aspect_Specification
4840       (N : Node_Id; Val : Boolean := True) is
4841    begin
4842       pragma Assert (False
4843         or else NT (N).Nkind = N_Attribute_Definition_Clause
4844         or else NT (N).Nkind = N_Pragma);
4845       Set_Flag13 (N, Val);
4846    end Set_From_Aspect_Specification;
4847
4848    procedure Set_From_At_End
4849       (N : Node_Id; Val : Boolean := True) is
4850    begin
4851       pragma Assert (False
4852         or else NT (N).Nkind = N_Raise_Statement);
4853       Set_Flag4 (N, Val);
4854    end Set_From_At_End;
4855
4856    procedure Set_From_At_Mod
4857       (N : Node_Id; Val : Boolean := True) is
4858    begin
4859       pragma Assert (False
4860         or else NT (N).Nkind = N_Attribute_Definition_Clause);
4861       Set_Flag4 (N, Val);
4862    end Set_From_At_Mod;
4863
4864    procedure Set_From_Conditional_Expression
4865       (N : Node_Id; Val : Boolean := True) is
4866    begin
4867       pragma Assert (False
4868         or else NT (N).Nkind = N_Case_Statement
4869         or else NT (N).Nkind = N_If_Statement);
4870       Set_Flag1 (N, Val);
4871    end Set_From_Conditional_Expression;
4872
4873    procedure Set_From_Default
4874       (N : Node_Id; Val : Boolean := True) is
4875    begin
4876       pragma Assert (False
4877         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4878       Set_Flag6 (N, Val);
4879    end Set_From_Default;
4880
4881    procedure Set_Generalized_Indexing
4882       (N : Node_Id; Val : Node_Id) is
4883    begin
4884       pragma Assert (False
4885         or else NT (N).Nkind = N_Indexed_Component);
4886       Set_Node4 (N, Val);
4887    end Set_Generalized_Indexing;
4888
4889    procedure Set_Generic_Associations
4890       (N : Node_Id; Val : List_Id) is
4891    begin
4892       pragma Assert (False
4893         or else NT (N).Nkind = N_Formal_Package_Declaration
4894         or else NT (N).Nkind = N_Function_Instantiation
4895         or else NT (N).Nkind = N_Package_Instantiation
4896         or else NT (N).Nkind = N_Procedure_Instantiation);
4897       Set_List3_With_Parent (N, Val);
4898    end Set_Generic_Associations;
4899
4900    procedure Set_Generic_Formal_Declarations
4901       (N : Node_Id; Val : List_Id) is
4902    begin
4903       pragma Assert (False
4904         or else NT (N).Nkind = N_Generic_Package_Declaration
4905         or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
4906       Set_List2_With_Parent (N, Val);
4907    end Set_Generic_Formal_Declarations;
4908
4909    procedure Set_Generic_Parent
4910       (N : Node_Id; Val : Node_Id) is
4911    begin
4912       pragma Assert (False
4913         or else NT (N).Nkind = N_Function_Specification
4914         or else NT (N).Nkind = N_Package_Specification
4915         or else NT (N).Nkind = N_Procedure_Specification);
4916       Set_Node5 (N, Val);
4917    end Set_Generic_Parent;
4918
4919    procedure Set_Generic_Parent_Type
4920       (N : Node_Id; Val : Node_Id) is
4921    begin
4922       pragma Assert (False
4923         or else NT (N).Nkind = N_Subtype_Declaration);
4924       Set_Node4 (N, Val);
4925    end Set_Generic_Parent_Type;
4926
4927    procedure Set_Handled_Statement_Sequence
4928       (N : Node_Id; Val : Node_Id) is
4929    begin
4930       pragma Assert (False
4931         or else NT (N).Nkind = N_Accept_Statement
4932         or else NT (N).Nkind = N_Block_Statement
4933         or else NT (N).Nkind = N_Entry_Body
4934         or else NT (N).Nkind = N_Extended_Return_Statement
4935         or else NT (N).Nkind = N_Package_Body
4936         or else NT (N).Nkind = N_Subprogram_Body
4937         or else NT (N).Nkind = N_Task_Body);
4938       Set_Node4_With_Parent (N, Val);
4939    end Set_Handled_Statement_Sequence;
4940
4941    procedure Set_Handler_List_Entry
4942       (N : Node_Id; Val : Node_Id) is
4943    begin
4944       pragma Assert (False
4945         or else NT (N).Nkind = N_Object_Declaration);
4946       Set_Node2 (N, Val);
4947    end Set_Handler_List_Entry;
4948
4949    procedure Set_Has_Created_Identifier
4950       (N : Node_Id; Val : Boolean := True) is
4951    begin
4952       pragma Assert (False
4953         or else NT (N).Nkind = N_Block_Statement
4954         or else NT (N).Nkind = N_Loop_Statement);
4955       Set_Flag15 (N, Val);
4956    end Set_Has_Created_Identifier;
4957
4958    procedure Set_Has_Dereference_Action
4959       (N : Node_Id; Val : Boolean := True) is
4960    begin
4961       pragma Assert (False
4962         or else NT (N).Nkind = N_Explicit_Dereference);
4963       Set_Flag13 (N, Val);
4964    end Set_Has_Dereference_Action;
4965
4966    procedure Set_Has_Dynamic_Length_Check
4967       (N : Node_Id; Val : Boolean := True) is
4968    begin
4969       pragma Assert (False
4970         or else NT (N).Nkind in N_Subexpr);
4971       Set_Flag10 (N, Val);
4972    end Set_Has_Dynamic_Length_Check;
4973
4974    procedure Set_Has_Dynamic_Range_Check
4975       (N : Node_Id; Val : Boolean := True) is
4976    begin
4977       pragma Assert (False
4978         or else NT (N).Nkind =  N_Subtype_Declaration
4979         or else NT (N).Nkind in N_Subexpr);
4980       Set_Flag12 (N, Val);
4981    end Set_Has_Dynamic_Range_Check;
4982
4983    procedure Set_Has_Init_Expression
4984       (N : Node_Id; Val : Boolean := True) is
4985    begin
4986       pragma Assert (False
4987         or else NT (N).Nkind = N_Object_Declaration);
4988       Set_Flag14 (N, Val);
4989    end Set_Has_Init_Expression;
4990
4991    procedure Set_Has_Local_Raise
4992       (N : Node_Id; Val : Boolean := True) is
4993    begin
4994       pragma Assert (False
4995         or else NT (N).Nkind = N_Exception_Handler);
4996       Set_Flag8 (N, Val);
4997    end Set_Has_Local_Raise;
4998
4999    procedure Set_Has_No_Elaboration_Code
5000       (N : Node_Id; Val : Boolean := True) is
5001    begin
5002       pragma Assert (False
5003         or else NT (N).Nkind = N_Compilation_Unit);
5004       Set_Flag17 (N, Val);
5005    end Set_Has_No_Elaboration_Code;
5006
5007    procedure Set_Has_Pragma_Suppress_All
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_Flag14 (N, Val);
5013    end Set_Has_Pragma_Suppress_All;
5014
5015    procedure Set_Has_Private_View
5016       (N : Node_Id; Val : Boolean := True) is
5017    begin
5018       pragma Assert (False
5019        or else NT (N).Nkind in N_Op
5020        or else NT (N).Nkind = N_Character_Literal
5021        or else NT (N).Nkind = N_Expanded_Name
5022        or else NT (N).Nkind = N_Identifier
5023        or else NT (N).Nkind = N_Operator_Symbol);
5024       Set_Flag11 (N, Val);
5025    end Set_Has_Private_View;
5026
5027    procedure Set_Has_Relative_Deadline_Pragma
5028       (N : Node_Id; Val : Boolean := True) is
5029    begin
5030       pragma Assert (False
5031         or else NT (N).Nkind = N_Subprogram_Body
5032         or else NT (N).Nkind = N_Task_Definition);
5033       Set_Flag9 (N, Val);
5034    end Set_Has_Relative_Deadline_Pragma;
5035
5036    procedure Set_Has_Self_Reference
5037       (N : Node_Id; Val : Boolean := True) is
5038    begin
5039       pragma Assert (False
5040         or else NT (N).Nkind = N_Aggregate
5041         or else NT (N).Nkind = N_Extension_Aggregate);
5042       Set_Flag13 (N, Val);
5043    end Set_Has_Self_Reference;
5044
5045    procedure Set_Has_SP_Choice
5046       (N : Node_Id; Val : Boolean := True) is
5047    begin
5048       pragma Assert (False
5049         or else NT (N).Nkind = N_Case_Expression_Alternative
5050         or else NT (N).Nkind = N_Case_Statement_Alternative
5051         or else NT (N).Nkind = N_Variant);
5052       Set_Flag15 (N, Val);
5053    end Set_Has_SP_Choice;
5054
5055    procedure Set_Has_Storage_Size_Pragma
5056       (N : Node_Id; Val : Boolean := True) is
5057    begin
5058       pragma Assert (False
5059         or else NT (N).Nkind = N_Task_Definition);
5060       Set_Flag5 (N, Val);
5061    end Set_Has_Storage_Size_Pragma;
5062
5063    procedure Set_Has_Target_Names
5064       (N : Node_Id; Val : Boolean := True) is
5065    begin
5066       pragma Assert (False
5067         or else NT (N).Nkind = N_Assignment_Statement);
5068       Set_Flag8 (N, Val);
5069    end Set_Has_Target_Names;
5070
5071    procedure Set_Has_Wide_Character
5072       (N : Node_Id; Val : Boolean := True) is
5073    begin
5074       pragma Assert (False
5075         or else NT (N).Nkind = N_String_Literal);
5076       Set_Flag11 (N, Val);
5077    end Set_Has_Wide_Character;
5078
5079    procedure Set_Has_Wide_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_Flag13 (N, Val);
5085    end Set_Has_Wide_Wide_Character;
5086
5087    procedure Set_Header_Size_Added
5088       (N : Node_Id; Val : Boolean := True) is
5089    begin
5090       pragma Assert (False
5091         or else NT (N).Nkind = N_Attribute_Reference);
5092       Set_Flag11 (N, Val);
5093    end Set_Header_Size_Added;
5094
5095    procedure Set_Hidden_By_Use_Clause
5096      (N : Node_Id; Val : Elist_Id) is
5097    begin
5098       pragma Assert (False
5099         or else NT (N).Nkind = N_Use_Package_Clause
5100         or else NT (N).Nkind = N_Use_Type_Clause);
5101       Set_Elist5 (N, Val);
5102    end Set_Hidden_By_Use_Clause;
5103
5104    procedure Set_High_Bound
5105       (N : Node_Id; Val : Node_Id) is
5106    begin
5107       pragma Assert (False
5108         or else NT (N).Nkind = N_Range
5109         or else NT (N).Nkind = N_Real_Range_Specification
5110         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5111       Set_Node2_With_Parent (N, Val);
5112    end Set_High_Bound;
5113
5114    procedure Set_Identifier
5115       (N : Node_Id; Val : Node_Id) is
5116    begin
5117       pragma Assert (False
5118         or else NT (N).Nkind = N_Aspect_Specification
5119         or else NT (N).Nkind = N_At_Clause
5120         or else NT (N).Nkind = N_Block_Statement
5121         or else NT (N).Nkind = N_Designator
5122         or else NT (N).Nkind = N_Enumeration_Representation_Clause
5123         or else NT (N).Nkind = N_Label
5124         or else NT (N).Nkind = N_Loop_Statement
5125         or else NT (N).Nkind = N_Record_Representation_Clause);
5126       Set_Node1_With_Parent (N, Val);
5127    end Set_Identifier;
5128
5129    procedure Set_Implicit_With
5130       (N : Node_Id; Val : Boolean := True) is
5131    begin
5132       pragma Assert (False
5133         or else NT (N).Nkind = N_With_Clause);
5134       Set_Flag16 (N, Val);
5135    end Set_Implicit_With;
5136
5137    procedure Set_Interface_List
5138       (N : Node_Id; Val : List_Id) is
5139    begin
5140       pragma Assert (False
5141         or else NT (N).Nkind = N_Derived_Type_Definition
5142         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5143         or else NT (N).Nkind = N_Private_Extension_Declaration
5144         or else NT (N).Nkind = N_Protected_Type_Declaration
5145         or else NT (N).Nkind = N_Record_Definition
5146         or else NT (N).Nkind = N_Single_Protected_Declaration
5147         or else NT (N).Nkind = N_Single_Task_Declaration
5148         or else NT (N).Nkind = N_Task_Type_Declaration);
5149       Set_List2_With_Parent (N, Val);
5150    end Set_Interface_List;
5151
5152    procedure Set_Interface_Present
5153       (N : Node_Id; Val : Boolean := True) is
5154    begin
5155       pragma Assert (False
5156         or else NT (N).Nkind = N_Derived_Type_Definition
5157         or else NT (N).Nkind = N_Record_Definition);
5158       Set_Flag16 (N, Val);
5159    end Set_Interface_Present;
5160
5161    procedure Set_Import_Interface_Present
5162       (N : Node_Id; Val : Boolean := True) is
5163    begin
5164       pragma Assert (False
5165         or else NT (N).Nkind = N_Pragma);
5166       Set_Flag16 (N, Val);
5167    end Set_Import_Interface_Present;
5168
5169    procedure Set_In_Present
5170       (N : Node_Id; Val : Boolean := True) is
5171    begin
5172       pragma Assert (False
5173         or else NT (N).Nkind = N_Formal_Object_Declaration
5174         or else NT (N).Nkind = N_Parameter_Specification);
5175       Set_Flag15 (N, Val);
5176    end Set_In_Present;
5177
5178    procedure Set_Includes_Infinities
5179       (N : Node_Id; Val : Boolean := True) is
5180    begin
5181       pragma Assert (False
5182         or else NT (N).Nkind = N_Range);
5183       Set_Flag11 (N, Val);
5184    end Set_Includes_Infinities;
5185
5186    procedure Set_Incomplete_View
5187      (N : Node_Id; Val : Node_Id) is
5188    begin
5189       pragma Assert (False
5190         or else NT (N).Nkind = N_Full_Type_Declaration);
5191       Set_Node2 (N, Val); --  semantic field, no Parent set
5192    end Set_Incomplete_View;
5193
5194    procedure Set_Inherited_Discriminant
5195       (N : Node_Id; Val : Boolean := True) is
5196    begin
5197       pragma Assert (False
5198         or else NT (N).Nkind = N_Component_Association);
5199       Set_Flag13 (N, Val);
5200    end Set_Inherited_Discriminant;
5201
5202    procedure Set_Instance_Spec
5203       (N : Node_Id; Val : Node_Id) is
5204    begin
5205       pragma Assert (False
5206         or else NT (N).Nkind = N_Formal_Package_Declaration
5207         or else NT (N).Nkind = N_Function_Instantiation
5208         or else NT (N).Nkind = N_Package_Instantiation
5209         or else NT (N).Nkind = N_Procedure_Instantiation);
5210       Set_Node5 (N, Val); -- semantic field, no Parent set
5211    end Set_Instance_Spec;
5212
5213    procedure Set_Intval
5214       (N : Node_Id; Val : Uint) is
5215    begin
5216       pragma Assert (False
5217         or else NT (N).Nkind = N_Integer_Literal);
5218       Set_Uint3 (N, Val);
5219    end Set_Intval;
5220
5221    procedure Set_Is_Abort_Block
5222       (N : Node_Id; Val : Boolean := True) is
5223    begin
5224       pragma Assert (False
5225         or else NT (N).Nkind = N_Block_Statement);
5226       Set_Flag4 (N, Val);
5227    end Set_Is_Abort_Block;
5228
5229    procedure Set_Is_Accessibility_Actual
5230       (N : Node_Id; Val : Boolean := True) is
5231    begin
5232       pragma Assert (False
5233         or else NT (N).Nkind = N_Parameter_Association);
5234       Set_Flag13 (N, Val);
5235    end Set_Is_Accessibility_Actual;
5236
5237    procedure Set_Is_Analyzed_Pragma
5238       (N : Node_Id; Val : Boolean := True) is
5239    begin
5240       pragma Assert (False
5241         or else NT (N).Nkind = N_Pragma);
5242       Set_Flag5 (N, Val);
5243    end Set_Is_Analyzed_Pragma;
5244
5245    procedure Set_Is_Asynchronous_Call_Block
5246       (N : Node_Id; Val : Boolean := True) is
5247    begin
5248       pragma Assert (False
5249         or else NT (N).Nkind = N_Block_Statement);
5250       Set_Flag7 (N, Val);
5251    end Set_Is_Asynchronous_Call_Block;
5252
5253    procedure Set_Is_Boolean_Aspect
5254       (N : Node_Id; Val : Boolean := True) is
5255    begin
5256       pragma Assert (False
5257         or else NT (N).Nkind = N_Aspect_Specification);
5258       Set_Flag16 (N, Val);
5259    end Set_Is_Boolean_Aspect;
5260
5261    procedure Set_Is_Checked
5262       (N : Node_Id; Val : Boolean := True) is
5263    begin
5264       pragma Assert (False
5265         or else NT (N).Nkind = N_Aspect_Specification
5266         or else NT (N).Nkind = N_Pragma);
5267       Set_Flag11 (N, Val);
5268    end Set_Is_Checked;
5269
5270    procedure Set_Is_Checked_Ghost_Pragma
5271       (N : Node_Id; Val : Boolean := True) is
5272    begin
5273       pragma Assert (False
5274         or else NT (N).Nkind = N_Pragma);
5275       Set_Flag3 (N, Val);
5276    end Set_Is_Checked_Ghost_Pragma;
5277
5278    procedure Set_Is_Component_Left_Opnd
5279       (N : Node_Id; Val : Boolean := True) is
5280    begin
5281       pragma Assert (False
5282         or else NT (N).Nkind = N_Op_Concat);
5283       Set_Flag13 (N, Val);
5284    end Set_Is_Component_Left_Opnd;
5285
5286    procedure Set_Is_Component_Right_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_Flag14 (N, Val);
5292    end Set_Is_Component_Right_Opnd;
5293
5294    procedure Set_Is_Controlling_Actual
5295       (N : Node_Id; Val : Boolean := True) is
5296    begin
5297       pragma Assert (False
5298         or else NT (N).Nkind in N_Subexpr);
5299       Set_Flag16 (N, Val);
5300    end Set_Is_Controlling_Actual;
5301
5302    procedure Set_Is_Declaration_Level_Node
5303       (N : Node_Id; Val : Boolean := True) is
5304    begin
5305       pragma Assert (False
5306         or else NT (N).Nkind = N_Call_Marker
5307         or else NT (N).Nkind = N_Function_Instantiation
5308         or else NT (N).Nkind = N_Package_Instantiation
5309         or else NT (N).Nkind = N_Procedure_Instantiation);
5310       Set_Flag5 (N, Val);
5311    end Set_Is_Declaration_Level_Node;
5312
5313    procedure Set_Is_Delayed_Aspect
5314       (N : Node_Id; Val : Boolean := True) is
5315    begin
5316       pragma Assert (False
5317         or else NT (N).Nkind = N_Aspect_Specification
5318         or else NT (N).Nkind = N_Attribute_Definition_Clause
5319         or else NT (N).Nkind = N_Pragma);
5320       Set_Flag14 (N, Val);
5321    end Set_Is_Delayed_Aspect;
5322
5323    procedure Set_Is_Disabled
5324       (N : Node_Id; Val : Boolean := True) is
5325    begin
5326       pragma Assert (False
5327         or else NT (N).Nkind = N_Aspect_Specification
5328         or else NT (N).Nkind = N_Pragma);
5329       Set_Flag15 (N, Val);
5330    end Set_Is_Disabled;
5331
5332    procedure Set_Is_Dispatching_Call
5333       (N : Node_Id; Val : Boolean := True) is
5334    begin
5335       pragma Assert (False
5336         or else NT (N).Nkind = N_Call_Marker);
5337       Set_Flag6 (N, Val);
5338    end Set_Is_Dispatching_Call;
5339
5340    procedure Set_Is_Dynamic_Coextension
5341       (N : Node_Id; Val : Boolean := True) is
5342    begin
5343       pragma Assert (False
5344         or else NT (N).Nkind = N_Allocator);
5345       pragma Assert (not Val
5346         or else not Is_Static_Coextension (N));
5347       Set_Flag18 (N, Val);
5348    end Set_Is_Dynamic_Coextension;
5349
5350    procedure Set_Is_Effective_Use_Clause
5351       (N : Node_Id; Val : Boolean := True) is
5352    begin
5353       pragma Assert (False
5354         or else NT (N).Nkind = N_Use_Package_Clause
5355         or else NT (N).Nkind = N_Use_Type_Clause);
5356       Set_Flag1 (N, Val);
5357    end Set_Is_Effective_Use_Clause;
5358
5359    procedure Set_Is_Elaboration_Checks_OK_Node
5360       (N : Node_Id; Val : Boolean := True) is
5361    begin
5362       pragma Assert (False
5363         or else NT (N).Nkind = N_Assignment_Statement
5364         or else NT (N).Nkind = N_Attribute_Reference
5365         or else NT (N).Nkind = N_Call_Marker
5366         or else NT (N).Nkind = N_Entry_Call_Statement
5367         or else NT (N).Nkind = N_Expanded_Name
5368         or else NT (N).Nkind = N_Function_Call
5369         or else NT (N).Nkind = N_Function_Instantiation
5370         or else NT (N).Nkind = N_Identifier
5371         or else NT (N).Nkind = N_Package_Instantiation
5372         or else NT (N).Nkind = N_Procedure_Call_Statement
5373         or else NT (N).Nkind = N_Procedure_Instantiation
5374         or else NT (N).Nkind = N_Requeue_Statement);
5375       Set_Flag1 (N, Val);
5376    end Set_Is_Elaboration_Checks_OK_Node;
5377
5378    procedure Set_Is_Elaboration_Code
5379       (N : Node_Id; Val : Boolean := True) is
5380    begin
5381       pragma Assert (False
5382         or else NT (N).Nkind = N_Assignment_Statement);
5383       Set_Flag9 (N, Val);
5384    end Set_Is_Elaboration_Code;
5385
5386    procedure Set_Is_Elaboration_Warnings_OK_Node
5387       (N : Node_Id; Val : Boolean := True) is
5388    begin
5389       pragma Assert (False
5390         or else NT (N).Nkind = N_Attribute_Reference
5391         or else NT (N).Nkind = N_Call_Marker
5392         or else NT (N).Nkind = N_Entry_Call_Statement
5393         or else NT (N).Nkind = N_Function_Call
5394         or else NT (N).Nkind = N_Function_Instantiation
5395         or else NT (N).Nkind = N_Package_Instantiation
5396         or else NT (N).Nkind = N_Procedure_Call_Statement
5397         or else NT (N).Nkind = N_Procedure_Instantiation
5398         or else NT (N).Nkind = N_Requeue_Statement);
5399       Set_Flag3 (N, Val);
5400    end Set_Is_Elaboration_Warnings_OK_Node;
5401
5402    procedure Set_Is_Elsif
5403       (N : Node_Id; Val : Boolean := True) is
5404    begin
5405       pragma Assert (False
5406         or else NT (N).Nkind = N_If_Expression);
5407       Set_Flag13 (N, Val);
5408    end Set_Is_Elsif;
5409
5410    procedure Set_Is_Entry_Barrier_Function
5411       (N : Node_Id; Val : Boolean := True) is
5412    begin
5413       pragma Assert (False
5414         or else NT (N).Nkind = N_Subprogram_Body
5415         or else NT (N).Nkind = N_Subprogram_Declaration);
5416       Set_Flag8 (N, Val);
5417    end Set_Is_Entry_Barrier_Function;
5418
5419    procedure Set_Is_Expanded_Build_In_Place_Call
5420       (N : Node_Id; Val : Boolean := True) is
5421    begin
5422       pragma Assert (False
5423         or else NT (N).Nkind = N_Function_Call);
5424       Set_Flag11 (N, Val);
5425    end Set_Is_Expanded_Build_In_Place_Call;
5426
5427    procedure Set_Is_Expanded_Contract
5428       (N : Node_Id; Val : Boolean := True) is
5429    begin
5430       pragma Assert (False
5431         or else NT (N).Nkind = N_Contract);
5432       Set_Flag1 (N, Val);
5433    end Set_Is_Expanded_Contract;
5434
5435    procedure Set_Is_Finalization_Wrapper
5436       (N : Node_Id; Val : Boolean := True) is
5437    begin
5438       pragma Assert (False
5439         or else NT (N).Nkind = N_Block_Statement);
5440       Set_Flag9 (N, Val);
5441    end Set_Is_Finalization_Wrapper;
5442
5443    procedure Set_Is_Folded_In_Parser
5444       (N : Node_Id; Val : Boolean := True) is
5445    begin
5446       pragma Assert (False
5447         or else NT (N).Nkind = N_String_Literal);
5448       Set_Flag4 (N, Val);
5449    end Set_Is_Folded_In_Parser;
5450
5451    procedure Set_Is_Generic_Contract_Pragma
5452       (N : Node_Id; Val : Boolean := True) is
5453    begin
5454       pragma Assert (False
5455         or else NT (N).Nkind = N_Pragma);
5456       Set_Flag2 (N, Val);
5457    end Set_Is_Generic_Contract_Pragma;
5458
5459    procedure Set_Is_Ignored
5460       (N : Node_Id; Val : Boolean := True) is
5461    begin
5462       pragma Assert (False
5463         or else NT (N).Nkind = N_Aspect_Specification
5464         or else NT (N).Nkind = N_Pragma);
5465       Set_Flag9 (N, Val);
5466    end Set_Is_Ignored;
5467
5468    procedure Set_Is_Ignored_Ghost_Pragma
5469       (N : Node_Id; Val : Boolean := True) is
5470    begin
5471       pragma Assert (False
5472         or else NT (N).Nkind = N_Pragma);
5473       Set_Flag8 (N, Val);
5474    end Set_Is_Ignored_Ghost_Pragma;
5475
5476    procedure Set_Is_In_Discriminant_Check
5477       (N : Node_Id; Val : Boolean := True) is
5478    begin
5479       pragma Assert (False
5480         or else NT (N).Nkind = N_Selected_Component);
5481       Set_Flag11 (N, Val);
5482    end Set_Is_In_Discriminant_Check;
5483
5484    procedure Set_Is_Inherited_Pragma
5485       (N : Node_Id; Val : Boolean := True) is
5486    begin
5487       pragma Assert (False
5488         or else NT (N).Nkind = N_Pragma);
5489       Set_Flag4 (N, Val);
5490    end Set_Is_Inherited_Pragma;
5491
5492    procedure Set_Is_Initialization_Block
5493       (N : Node_Id; Val : Boolean := True) is
5494    begin
5495       pragma Assert (False
5496         or else NT (N).Nkind = N_Block_Statement);
5497       Set_Flag1 (N, Val);
5498    end Set_Is_Initialization_Block;
5499
5500    procedure Set_Is_Known_Guaranteed_ABE
5501       (N : Node_Id; Val : Boolean := True) is
5502    begin
5503       pragma Assert (False
5504         or else NT (N).Nkind = N_Call_Marker
5505         or else NT (N).Nkind = N_Formal_Package_Declaration
5506         or else NT (N).Nkind = N_Function_Call
5507         or else NT (N).Nkind = N_Function_Instantiation
5508         or else NT (N).Nkind = N_Package_Instantiation
5509         or else NT (N).Nkind = N_Procedure_Call_Statement
5510         or else NT (N).Nkind = N_Procedure_Instantiation);
5511       Set_Flag18 (N, Val);
5512    end Set_Is_Known_Guaranteed_ABE;
5513
5514    procedure Set_Is_Machine_Number
5515       (N : Node_Id; Val : Boolean := True) is
5516    begin
5517       pragma Assert (False
5518         or else NT (N).Nkind = N_Real_Literal);
5519       Set_Flag11 (N, Val);
5520    end Set_Is_Machine_Number;
5521
5522    procedure Set_Is_Null_Loop
5523       (N : Node_Id; Val : Boolean := True) is
5524    begin
5525       pragma Assert (False
5526         or else NT (N).Nkind = N_Loop_Statement);
5527       Set_Flag16 (N, Val);
5528    end Set_Is_Null_Loop;
5529
5530    procedure Set_Is_Overloaded
5531       (N : Node_Id; Val : Boolean := True) is
5532    begin
5533       pragma Assert (False
5534         or else NT (N).Nkind in N_Subexpr);
5535       Set_Flag5 (N, Val);
5536    end Set_Is_Overloaded;
5537
5538    procedure Set_Is_Power_Of_2_For_Shift
5539       (N : Node_Id; Val : Boolean := True) is
5540    begin
5541       pragma Assert (False
5542         or else NT (N).Nkind = N_Op_Expon);
5543       Set_Flag13 (N, Val);
5544    end Set_Is_Power_Of_2_For_Shift;
5545
5546    procedure Set_Is_Prefixed_Call
5547       (N : Node_Id; Val : Boolean := True) is
5548    begin
5549       pragma Assert (False
5550         or else NT (N).Nkind = N_Selected_Component);
5551       Set_Flag17 (N, Val);
5552    end Set_Is_Prefixed_Call;
5553
5554    procedure Set_Is_Protected_Subprogram_Body
5555       (N : Node_Id; Val : Boolean := True) is
5556    begin
5557       pragma Assert (False
5558         or else NT (N).Nkind = N_Subprogram_Body);
5559       Set_Flag7 (N, Val);
5560    end Set_Is_Protected_Subprogram_Body;
5561
5562    procedure Set_Is_Qualified_Universal_Literal
5563       (N : Node_Id; Val : Boolean := True) is
5564    begin
5565       pragma Assert (False
5566         or else NT (N).Nkind = N_Qualified_Expression);
5567       Set_Flag4 (N, Val);
5568    end Set_Is_Qualified_Universal_Literal;
5569
5570    procedure Set_Is_Read
5571       (N : Node_Id; Val : Boolean := True) is
5572    begin
5573       pragma Assert (False
5574         or else NT (N).Nkind = N_Variable_Reference_Marker);
5575       Set_Flag1 (N, Val);
5576    end Set_Is_Read;
5577
5578    procedure Set_Is_Source_Call
5579       (N : Node_Id; Val : Boolean := True) is
5580    begin
5581       pragma Assert (False
5582         or else NT (N).Nkind = N_Call_Marker);
5583       Set_Flag4 (N, Val);
5584    end Set_Is_Source_Call;
5585
5586    procedure Set_Is_SPARK_Mode_On_Node
5587       (N : Node_Id; Val : Boolean := True) is
5588    begin
5589       pragma Assert (False
5590         or else NT (N).Nkind = N_Assignment_Statement
5591         or else NT (N).Nkind = N_Attribute_Reference
5592         or else NT (N).Nkind = N_Call_Marker
5593         or else NT (N).Nkind = N_Entry_Call_Statement
5594         or else NT (N).Nkind = N_Expanded_Name
5595         or else NT (N).Nkind = N_Function_Call
5596         or else NT (N).Nkind = N_Function_Instantiation
5597         or else NT (N).Nkind = N_Identifier
5598         or else NT (N).Nkind = N_Package_Instantiation
5599         or else NT (N).Nkind = N_Procedure_Call_Statement
5600         or else NT (N).Nkind = N_Procedure_Instantiation
5601         or else NT (N).Nkind = N_Requeue_Statement);
5602       Set_Flag2 (N, Val);
5603    end Set_Is_SPARK_Mode_On_Node;
5604
5605    procedure Set_Is_Static_Coextension
5606       (N : Node_Id; Val : Boolean := True) is
5607    begin
5608       pragma Assert (False
5609         or else NT (N).Nkind = N_Allocator);
5610       pragma Assert (not Val
5611         or else not Is_Dynamic_Coextension (N));
5612       Set_Flag14 (N, Val);
5613    end Set_Is_Static_Coextension;
5614
5615    procedure Set_Is_Static_Expression
5616       (N : Node_Id; Val : Boolean := True) is
5617    begin
5618       pragma Assert (False
5619         or else NT (N).Nkind in N_Subexpr);
5620       Set_Flag6 (N, Val);
5621    end Set_Is_Static_Expression;
5622
5623    procedure Set_Is_Subprogram_Descriptor
5624       (N : Node_Id; Val : Boolean := True) is
5625    begin
5626       pragma Assert (False
5627         or else NT (N).Nkind = N_Object_Declaration);
5628       Set_Flag16 (N, Val);
5629    end Set_Is_Subprogram_Descriptor;
5630
5631    procedure Set_Is_Task_Allocation_Block
5632       (N : Node_Id; Val : Boolean := True) is
5633    begin
5634       pragma Assert (False
5635         or else NT (N).Nkind = N_Block_Statement);
5636       Set_Flag6 (N, Val);
5637    end Set_Is_Task_Allocation_Block;
5638
5639    procedure Set_Is_Task_Body_Procedure
5640       (N : Node_Id; Val : Boolean := True) is
5641    begin
5642       pragma Assert (False
5643         or else NT (N).Nkind = N_Subprogram_Body
5644         or else NT (N).Nkind = N_Subprogram_Declaration);
5645       Set_Flag1 (N, Val);
5646    end Set_Is_Task_Body_Procedure;
5647
5648    procedure Set_Is_Task_Master
5649       (N : Node_Id; Val : Boolean := True) is
5650    begin
5651       pragma Assert (False
5652         or else NT (N).Nkind = N_Block_Statement
5653         or else NT (N).Nkind = N_Subprogram_Body
5654         or else NT (N).Nkind = N_Task_Body);
5655       Set_Flag5 (N, Val);
5656    end Set_Is_Task_Master;
5657
5658    procedure Set_Is_Write
5659       (N : Node_Id; Val : Boolean := True) is
5660    begin
5661       pragma Assert (False
5662         or else NT (N).Nkind = N_Variable_Reference_Marker);
5663       Set_Flag2 (N, Val);
5664    end Set_Is_Write;
5665
5666    procedure Set_Iteration_Scheme
5667       (N : Node_Id; Val : Node_Id) is
5668    begin
5669       pragma Assert (False
5670         or else NT (N).Nkind = N_Loop_Statement);
5671       Set_Node2_With_Parent (N, Val);
5672    end Set_Iteration_Scheme;
5673
5674    procedure Set_Iterator_Specification
5675      (N : Node_Id; Val : Node_Id) is
5676    begin
5677       pragma Assert (False
5678         or else NT (N).Nkind = N_Iteration_Scheme
5679         or else NT (N).Nkind = N_Quantified_Expression);
5680       Set_Node2_With_Parent (N, Val);
5681    end Set_Iterator_Specification;
5682
5683    procedure Set_Itype
5684       (N : Node_Id; Val : Entity_Id) is
5685    begin
5686       pragma Assert (False
5687       or else NT (N).Nkind = N_Itype_Reference);
5688       Set_Node1 (N, Val); -- no parent, semantic field
5689    end Set_Itype;
5690
5691    procedure Set_Kill_Range_Check
5692       (N : Node_Id; Val : Boolean := True) is
5693    begin
5694       pragma Assert (False
5695         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
5696       Set_Flag11 (N, Val);
5697    end Set_Kill_Range_Check;
5698
5699    procedure Set_Label_Construct
5700       (N : Node_Id; Val : Node_Id) is
5701    begin
5702       pragma Assert (False
5703         or else NT (N).Nkind = N_Implicit_Label_Declaration);
5704       Set_Node2 (N, Val); -- semantic field, no parent set
5705    end Set_Label_Construct;
5706
5707    procedure Set_Last_Bit
5708       (N : Node_Id; Val : Node_Id) is
5709    begin
5710       pragma Assert (False
5711         or else NT (N).Nkind = N_Component_Clause);
5712       Set_Node4_With_Parent (N, Val);
5713    end Set_Last_Bit;
5714
5715    procedure Set_Last_Name
5716       (N : Node_Id; Val : Boolean := True) is
5717    begin
5718       pragma Assert (False
5719         or else NT (N).Nkind = N_With_Clause);
5720       Set_Flag6 (N, Val);
5721    end Set_Last_Name;
5722
5723    procedure Set_Left_Opnd
5724       (N : Node_Id; Val : Node_Id) is
5725    begin
5726       pragma Assert (False
5727         or else NT (N).Nkind = N_And_Then
5728         or else NT (N).Nkind = N_In
5729         or else NT (N).Nkind = N_Not_In
5730         or else NT (N).Nkind = N_Or_Else
5731         or else NT (N).Nkind in N_Binary_Op);
5732       Set_Node2_With_Parent (N, Val);
5733    end Set_Left_Opnd;
5734
5735    procedure Set_Library_Unit
5736       (N : Node_Id; Val : Node_Id) is
5737    begin
5738       pragma Assert (False
5739         or else NT (N).Nkind = N_Compilation_Unit
5740         or else NT (N).Nkind = N_Package_Body_Stub
5741         or else NT (N).Nkind = N_Protected_Body_Stub
5742         or else NT (N).Nkind = N_Subprogram_Body_Stub
5743         or else NT (N).Nkind = N_Task_Body_Stub
5744         or else NT (N).Nkind = N_With_Clause);
5745       Set_Node4 (N, Val); -- semantic field, no parent set
5746    end Set_Library_Unit;
5747
5748    procedure Set_Limited_View_Installed
5749       (N : Node_Id; Val : Boolean := True) is
5750    begin
5751       pragma Assert (False
5752         or else NT (N).Nkind = N_Package_Specification
5753         or else NT (N).Nkind = N_With_Clause);
5754       Set_Flag18 (N, Val);
5755    end Set_Limited_View_Installed;
5756
5757    procedure Set_Limited_Present
5758       (N : Node_Id; Val : Boolean := True) is
5759    begin
5760       pragma Assert (False
5761         or else NT (N).Nkind = N_Derived_Type_Definition
5762         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
5763         or else NT (N).Nkind = N_Formal_Private_Type_Definition
5764         or else NT (N).Nkind = N_Private_Extension_Declaration
5765         or else NT (N).Nkind = N_Private_Type_Declaration
5766         or else NT (N).Nkind = N_Record_Definition
5767         or else NT (N).Nkind = N_With_Clause);
5768       Set_Flag17 (N, Val);
5769    end Set_Limited_Present;
5770
5771    procedure Set_Literals
5772       (N : Node_Id; Val : List_Id) is
5773    begin
5774       pragma Assert (False
5775         or else NT (N).Nkind = N_Enumeration_Type_Definition);
5776       Set_List1_With_Parent (N, Val);
5777    end Set_Literals;
5778
5779    procedure Set_Local_Raise_Not_OK
5780       (N : Node_Id; Val : Boolean := True) is
5781    begin
5782       pragma Assert (False
5783         or else NT (N).Nkind = N_Exception_Handler);
5784       Set_Flag7 (N, Val);
5785    end Set_Local_Raise_Not_OK;
5786
5787    procedure Set_Local_Raise_Statements
5788       (N : Node_Id; Val : Elist_Id) is
5789    begin
5790       pragma Assert (False
5791         or else NT (N).Nkind = N_Exception_Handler);
5792       Set_Elist1 (N, Val);
5793    end Set_Local_Raise_Statements;
5794
5795    procedure Set_Loop_Actions
5796       (N : Node_Id; Val : List_Id) is
5797    begin
5798       pragma Assert (False
5799         or else NT (N).Nkind = N_Component_Association
5800         or else NT (N).Nkind = N_Iterated_Component_Association);
5801       Set_List2 (N, Val); -- semantic field, no parent set
5802    end Set_Loop_Actions;
5803
5804    procedure Set_Loop_Parameter_Specification
5805       (N : Node_Id; Val : Node_Id) is
5806    begin
5807       pragma Assert (False
5808         or else NT (N).Nkind = N_Iteration_Scheme
5809         or else NT (N).Nkind = N_Quantified_Expression);
5810       Set_Node4_With_Parent (N, Val);
5811    end Set_Loop_Parameter_Specification;
5812
5813    procedure Set_Low_Bound
5814       (N : Node_Id; Val : Node_Id) is
5815    begin
5816       pragma Assert (False
5817         or else NT (N).Nkind = N_Range
5818         or else NT (N).Nkind = N_Real_Range_Specification
5819         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
5820       Set_Node1_With_Parent (N, Val);
5821    end Set_Low_Bound;
5822
5823    procedure Set_Mod_Clause
5824       (N : Node_Id; Val : Node_Id) is
5825    begin
5826       pragma Assert (False
5827         or else NT (N).Nkind = N_Record_Representation_Clause);
5828       Set_Node2_With_Parent (N, Val);
5829    end Set_Mod_Clause;
5830
5831    procedure Set_More_Ids
5832       (N : Node_Id; Val : Boolean := True) is
5833    begin
5834       pragma Assert (False
5835         or else NT (N).Nkind = N_Component_Declaration
5836         or else NT (N).Nkind = N_Discriminant_Specification
5837         or else NT (N).Nkind = N_Exception_Declaration
5838         or else NT (N).Nkind = N_Formal_Object_Declaration
5839         or else NT (N).Nkind = N_Number_Declaration
5840         or else NT (N).Nkind = N_Object_Declaration
5841         or else NT (N).Nkind = N_Parameter_Specification
5842         or else NT (N).Nkind = N_Use_Package_Clause
5843         or else NT (N).Nkind = N_Use_Type_Clause);
5844       Set_Flag5 (N, Val);
5845    end Set_More_Ids;
5846
5847    procedure Set_Must_Be_Byte_Aligned
5848       (N : Node_Id; Val : Boolean := True) is
5849    begin
5850       pragma Assert (False
5851         or else NT (N).Nkind = N_Attribute_Reference);
5852       Set_Flag14 (N, Val);
5853    end Set_Must_Be_Byte_Aligned;
5854
5855    procedure Set_Must_Not_Freeze
5856       (N : Node_Id; Val : Boolean := True) is
5857    begin
5858       pragma Assert (False
5859         or else NT (N).Nkind = N_Subtype_Indication
5860         or else NT (N).Nkind in N_Subexpr);
5861       Set_Flag8 (N, Val);
5862    end Set_Must_Not_Freeze;
5863
5864    procedure Set_Must_Not_Override
5865       (N : Node_Id; Val : Boolean := True) is
5866    begin
5867       pragma Assert (False
5868         or else NT (N).Nkind = N_Entry_Declaration
5869         or else NT (N).Nkind = N_Function_Instantiation
5870         or else NT (N).Nkind = N_Function_Specification
5871         or else NT (N).Nkind = N_Procedure_Instantiation
5872         or else NT (N).Nkind = N_Procedure_Specification);
5873       Set_Flag15 (N, Val);
5874    end Set_Must_Not_Override;
5875
5876    procedure Set_Must_Override
5877       (N : Node_Id; Val : Boolean := True) is
5878    begin
5879       pragma Assert (False
5880         or else NT (N).Nkind = N_Entry_Declaration
5881         or else NT (N).Nkind = N_Function_Instantiation
5882         or else NT (N).Nkind = N_Function_Specification
5883         or else NT (N).Nkind = N_Procedure_Instantiation
5884         or else NT (N).Nkind = N_Procedure_Specification);
5885       Set_Flag14 (N, Val);
5886    end Set_Must_Override;
5887
5888    procedure Set_Name
5889       (N : Node_Id; Val : Node_Id) is
5890    begin
5891       pragma Assert (False
5892         or else NT (N).Nkind = N_Assignment_Statement
5893         or else NT (N).Nkind = N_Attribute_Definition_Clause
5894         or else NT (N).Nkind = N_Defining_Program_Unit_Name
5895         or else NT (N).Nkind = N_Designator
5896         or else NT (N).Nkind = N_Entry_Call_Statement
5897         or else NT (N).Nkind = N_Exception_Renaming_Declaration
5898         or else NT (N).Nkind = N_Exit_Statement
5899         or else NT (N).Nkind = N_Formal_Package_Declaration
5900         or else NT (N).Nkind = N_Function_Call
5901         or else NT (N).Nkind = N_Function_Instantiation
5902         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
5903         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
5904         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
5905         or else NT (N).Nkind = N_Goto_Statement
5906         or else NT (N).Nkind = N_Iterator_Specification
5907         or else NT (N).Nkind = N_Object_Renaming_Declaration
5908         or else NT (N).Nkind = N_Package_Instantiation
5909         or else NT (N).Nkind = N_Package_Renaming_Declaration
5910         or else NT (N).Nkind = N_Procedure_Call_Statement
5911         or else NT (N).Nkind = N_Procedure_Instantiation
5912         or else NT (N).Nkind = N_Raise_Expression
5913         or else NT (N).Nkind = N_Raise_Statement
5914         or else NT (N).Nkind = N_Requeue_Statement
5915         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
5916         or else NT (N).Nkind = N_Subunit
5917         or else NT (N).Nkind = N_Use_Package_Clause
5918         or else NT (N).Nkind = N_Variant_Part
5919         or else NT (N).Nkind = N_With_Clause);
5920       Set_Node2_With_Parent (N, Val);
5921    end Set_Name;
5922
5923    procedure Set_Names
5924       (N : Node_Id; Val : List_Id) is
5925    begin
5926       pragma Assert (False
5927         or else NT (N).Nkind = N_Abort_Statement);
5928       Set_List2_With_Parent (N, Val);
5929    end Set_Names;
5930
5931    procedure Set_Next_Entity
5932       (N : Node_Id; Val : Node_Id) is
5933    begin
5934       pragma Assert (False
5935         or else NT (N).Nkind = N_Defining_Character_Literal
5936         or else NT (N).Nkind = N_Defining_Identifier
5937         or else NT (N).Nkind = N_Defining_Operator_Symbol);
5938       Set_Node2 (N, Val); -- semantic field, no parent set
5939    end Set_Next_Entity;
5940
5941    procedure Set_Next_Exit_Statement
5942       (N : Node_Id; Val : Node_Id) is
5943    begin
5944       pragma Assert (False
5945         or else NT (N).Nkind = N_Exit_Statement);
5946       Set_Node3 (N, Val); -- semantic field, no parent set
5947    end Set_Next_Exit_Statement;
5948
5949    procedure Set_Next_Implicit_With
5950       (N : Node_Id; Val : Node_Id) is
5951    begin
5952       pragma Assert (False
5953         or else NT (N).Nkind = N_With_Clause);
5954       Set_Node3 (N, Val); -- semantic field, no parent set
5955    end Set_Next_Implicit_With;
5956
5957    procedure Set_Next_Named_Actual
5958       (N : Node_Id; Val : Node_Id) is
5959    begin
5960       pragma Assert (False
5961         or else NT (N).Nkind = N_Parameter_Association);
5962       Set_Node4 (N, Val); -- semantic field, no parent set
5963    end Set_Next_Named_Actual;
5964
5965    procedure Set_Next_Pragma
5966       (N : Node_Id; Val : Node_Id) is
5967    begin
5968       pragma Assert (False
5969         or else NT (N).Nkind = N_Pragma);
5970       Set_Node1 (N, Val); -- semantic field, no parent set
5971    end Set_Next_Pragma;
5972
5973    procedure Set_Next_Rep_Item
5974       (N : Node_Id; Val : Node_Id) is
5975    begin
5976       pragma Assert (False
5977         or else NT (N).Nkind = N_Aspect_Specification
5978         or else NT (N).Nkind = N_Attribute_Definition_Clause
5979         or else NT (N).Nkind = N_Enumeration_Representation_Clause
5980         or else NT (N).Nkind = N_Pragma
5981         or else NT (N).Nkind = N_Record_Representation_Clause);
5982       Set_Node5 (N, Val); -- semantic field, no parent set
5983    end Set_Next_Rep_Item;
5984
5985    procedure Set_Next_Use_Clause
5986       (N : Node_Id; Val : Node_Id) is
5987    begin
5988       pragma Assert (False
5989         or else NT (N).Nkind = N_Use_Package_Clause
5990         or else NT (N).Nkind = N_Use_Type_Clause);
5991       Set_Node3 (N, Val); -- semantic field, no parent set
5992    end Set_Next_Use_Clause;
5993
5994    procedure Set_No_Ctrl_Actions
5995       (N : Node_Id; Val : Boolean := True) is
5996    begin
5997       pragma Assert (False
5998         or else NT (N).Nkind = N_Assignment_Statement);
5999       Set_Flag7 (N, Val);
6000    end Set_No_Ctrl_Actions;
6001
6002    procedure Set_No_Elaboration_Check
6003       (N : Node_Id; Val : Boolean := True) is
6004    begin
6005       pragma Assert (False
6006         or else NT (N).Nkind = N_Function_Call
6007         or else NT (N).Nkind = N_Procedure_Call_Statement);
6008       Set_Flag4 (N, Val);
6009    end Set_No_Elaboration_Check;
6010
6011    procedure Set_No_Entities_Ref_In_Spec
6012       (N : Node_Id; Val : Boolean := True) is
6013    begin
6014       pragma Assert (False
6015         or else NT (N).Nkind = N_With_Clause);
6016       Set_Flag8 (N, Val);
6017    end Set_No_Entities_Ref_In_Spec;
6018
6019    procedure Set_No_Initialization
6020       (N : Node_Id; Val : Boolean := True) is
6021    begin
6022       pragma Assert (False
6023         or else NT (N).Nkind = N_Allocator
6024         or else NT (N).Nkind = N_Object_Declaration);
6025       Set_Flag13 (N, Val);
6026    end Set_No_Initialization;
6027
6028    procedure Set_No_Minimize_Eliminate
6029       (N : Node_Id; Val : Boolean := True) is
6030    begin
6031       pragma Assert (False
6032         or else NT (N).Nkind = N_In
6033         or else NT (N).Nkind = N_Not_In);
6034       Set_Flag17 (N, Val);
6035    end Set_No_Minimize_Eliminate;
6036
6037    procedure Set_No_Side_Effect_Removal
6038       (N : Node_Id; Val : Boolean := True) is
6039    begin
6040       pragma Assert (False
6041         or else NT (N).Nkind = N_Function_Call);
6042       Set_Flag17 (N, Val);
6043    end Set_No_Side_Effect_Removal;
6044
6045    procedure Set_No_Truncation
6046       (N : Node_Id; Val : Boolean := True) is
6047    begin
6048       pragma Assert (False
6049         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
6050       Set_Flag17 (N, Val);
6051    end Set_No_Truncation;
6052
6053    procedure Set_Null_Excluding_Subtype
6054       (N : Node_Id; Val : Boolean := True) is
6055    begin
6056       pragma Assert (False
6057         or else NT (N).Nkind = N_Access_To_Object_Definition);
6058       Set_Flag16 (N, Val);
6059    end Set_Null_Excluding_Subtype;
6060
6061    procedure Set_Null_Exclusion_Present
6062       (N : Node_Id; Val : Boolean := True) is
6063    begin
6064       pragma Assert (False
6065         or else NT (N).Nkind = N_Access_Definition
6066         or else NT (N).Nkind = N_Access_Function_Definition
6067         or else NT (N).Nkind = N_Access_Procedure_Definition
6068         or else NT (N).Nkind = N_Access_To_Object_Definition
6069         or else NT (N).Nkind = N_Allocator
6070         or else NT (N).Nkind = N_Component_Definition
6071         or else NT (N).Nkind = N_Derived_Type_Definition
6072         or else NT (N).Nkind = N_Discriminant_Specification
6073         or else NT (N).Nkind = N_Formal_Object_Declaration
6074         or else NT (N).Nkind = N_Function_Specification
6075         or else NT (N).Nkind = N_Object_Declaration
6076         or else NT (N).Nkind = N_Object_Renaming_Declaration
6077         or else NT (N).Nkind = N_Parameter_Specification
6078         or else NT (N).Nkind = N_Subtype_Declaration);
6079       Set_Flag11 (N, Val);
6080    end Set_Null_Exclusion_Present;
6081
6082    procedure Set_Null_Exclusion_In_Return_Present
6083       (N : Node_Id; Val : Boolean := True) is
6084    begin
6085       pragma Assert (False
6086         or else NT (N).Nkind = N_Access_Function_Definition);
6087       Set_Flag14 (N, Val);
6088    end Set_Null_Exclusion_In_Return_Present;
6089
6090    procedure Set_Null_Present
6091       (N : Node_Id; Val : Boolean := True) is
6092    begin
6093       pragma Assert (False
6094         or else NT (N).Nkind = N_Component_List
6095         or else NT (N).Nkind = N_Procedure_Specification
6096         or else NT (N).Nkind = N_Record_Definition);
6097       Set_Flag13 (N, Val);
6098    end Set_Null_Present;
6099
6100    procedure Set_Null_Record_Present
6101       (N : Node_Id; Val : Boolean := True) is
6102    begin
6103       pragma Assert (False
6104         or else NT (N).Nkind = N_Aggregate
6105         or else NT (N).Nkind = N_Extension_Aggregate);
6106       Set_Flag17 (N, Val);
6107    end Set_Null_Record_Present;
6108
6109    procedure Set_Null_Statement
6110       (N : Node_Id; Val : Node_Id) is
6111    begin
6112       pragma Assert (False
6113         or else NT (N).Nkind = N_Procedure_Specification);
6114       Set_Node2 (N, Val);
6115    end Set_Null_Statement;
6116
6117    procedure Set_Object_Definition
6118       (N : Node_Id; Val : Node_Id) is
6119    begin
6120       pragma Assert (False
6121         or else NT (N).Nkind = N_Object_Declaration);
6122       Set_Node4_With_Parent (N, Val);
6123    end Set_Object_Definition;
6124
6125    procedure Set_Of_Present
6126       (N : Node_Id; Val : Boolean := True) is
6127    begin
6128       pragma Assert (False
6129         or else NT (N).Nkind = N_Iterator_Specification);
6130       Set_Flag16 (N, Val);
6131    end Set_Of_Present;
6132
6133    procedure Set_Original_Discriminant
6134       (N : Node_Id; Val : Node_Id) is
6135    begin
6136       pragma Assert (False
6137         or else NT (N).Nkind = N_Identifier);
6138       Set_Node2 (N, Val); -- semantic field, no parent set
6139    end Set_Original_Discriminant;
6140
6141    procedure Set_Original_Entity
6142       (N : Node_Id; Val : Entity_Id) is
6143    begin
6144       pragma Assert (False
6145         or else NT (N).Nkind = N_Integer_Literal
6146         or else NT (N).Nkind = N_Real_Literal);
6147       Set_Node2 (N, Val); --  semantic field, no parent set
6148    end Set_Original_Entity;
6149
6150    procedure Set_Others_Discrete_Choices
6151       (N : Node_Id; Val : List_Id) is
6152    begin
6153       pragma Assert (False
6154         or else NT (N).Nkind = N_Others_Choice);
6155       Set_List1_With_Parent (N, Val);
6156    end Set_Others_Discrete_Choices;
6157
6158    procedure Set_Out_Present
6159       (N : Node_Id; Val : Boolean := True) is
6160    begin
6161       pragma Assert (False
6162         or else NT (N).Nkind = N_Formal_Object_Declaration
6163         or else NT (N).Nkind = N_Parameter_Specification);
6164       Set_Flag17 (N, Val);
6165    end Set_Out_Present;
6166
6167    procedure Set_Parameter_Associations
6168       (N : Node_Id; Val : List_Id) is
6169    begin
6170       pragma Assert (False
6171         or else NT (N).Nkind = N_Entry_Call_Statement
6172         or else NT (N).Nkind = N_Function_Call
6173         or else NT (N).Nkind = N_Procedure_Call_Statement);
6174       Set_List3_With_Parent (N, Val);
6175    end Set_Parameter_Associations;
6176
6177    procedure Set_Parameter_Specifications
6178       (N : Node_Id; Val : List_Id) is
6179    begin
6180       pragma Assert (False
6181         or else NT (N).Nkind = N_Accept_Statement
6182         or else NT (N).Nkind = N_Access_Function_Definition
6183         or else NT (N).Nkind = N_Access_Procedure_Definition
6184         or else NT (N).Nkind = N_Entry_Body_Formal_Part
6185         or else NT (N).Nkind = N_Entry_Declaration
6186         or else NT (N).Nkind = N_Function_Specification
6187         or else NT (N).Nkind = N_Procedure_Specification);
6188       Set_List3_With_Parent (N, Val);
6189    end Set_Parameter_Specifications;
6190
6191    procedure Set_Parameter_Type
6192       (N : Node_Id; Val : Node_Id) is
6193    begin
6194       pragma Assert (False
6195         or else NT (N).Nkind = N_Parameter_Specification);
6196       Set_Node2_With_Parent (N, Val);
6197    end Set_Parameter_Type;
6198
6199    procedure Set_Parent_Spec
6200       (N : Node_Id; Val : Node_Id) is
6201    begin
6202       pragma Assert (False
6203         or else NT (N).Nkind = N_Function_Instantiation
6204         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
6205         or else NT (N).Nkind = N_Generic_Package_Declaration
6206         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
6207         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
6208         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
6209         or else NT (N).Nkind = N_Package_Declaration
6210         or else NT (N).Nkind = N_Package_Instantiation
6211         or else NT (N).Nkind = N_Package_Renaming_Declaration
6212         or else NT (N).Nkind = N_Procedure_Instantiation
6213         or else NT (N).Nkind = N_Subprogram_Declaration
6214         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
6215       Set_Node4 (N, Val); -- semantic field, no parent set
6216    end Set_Parent_Spec;
6217
6218    procedure Set_Parent_With
6219       (N : Node_Id; Val : Boolean := True) is
6220    begin
6221       pragma Assert (False
6222         or else NT (N).Nkind = N_With_Clause);
6223       Set_Flag1 (N, Val);
6224    end Set_Parent_With;
6225
6226    procedure Set_Position
6227       (N : Node_Id; Val : Node_Id) is
6228    begin
6229       pragma Assert (False
6230         or else NT (N).Nkind = N_Component_Clause);
6231       Set_Node2_With_Parent (N, Val);
6232    end Set_Position;
6233
6234    procedure Set_Pragma_Argument_Associations
6235       (N : Node_Id; Val : List_Id) is
6236    begin
6237       pragma Assert (False
6238         or else NT (N).Nkind = N_Pragma);
6239       Set_List2_With_Parent (N, Val);
6240    end Set_Pragma_Argument_Associations;
6241
6242    procedure Set_Pragma_Identifier
6243       (N : Node_Id; Val : Node_Id) is
6244    begin
6245       pragma Assert (False
6246         or else NT (N).Nkind = N_Pragma);
6247       Set_Node4_With_Parent (N, Val);
6248    end Set_Pragma_Identifier;
6249
6250    procedure Set_Pragmas_After
6251       (N : Node_Id; Val : List_Id) is
6252    begin
6253       pragma Assert (False
6254         or else NT (N).Nkind = N_Compilation_Unit_Aux
6255         or else NT (N).Nkind = N_Terminate_Alternative);
6256       Set_List5_With_Parent (N, Val);
6257    end Set_Pragmas_After;
6258
6259    procedure Set_Pragmas_Before
6260       (N : Node_Id; Val : List_Id) is
6261    begin
6262       pragma Assert (False
6263         or else NT (N).Nkind = N_Accept_Alternative
6264         or else NT (N).Nkind = N_Delay_Alternative
6265         or else NT (N).Nkind = N_Entry_Call_Alternative
6266         or else NT (N).Nkind = N_Mod_Clause
6267         or else NT (N).Nkind = N_Terminate_Alternative
6268         or else NT (N).Nkind = N_Triggering_Alternative);
6269       Set_List4_With_Parent (N, Val);
6270    end Set_Pragmas_Before;
6271
6272    procedure Set_Pre_Post_Conditions
6273       (N : Node_Id; Val : Node_Id) is
6274    begin
6275       pragma Assert (False
6276         or else NT (N).Nkind = N_Contract);
6277       Set_Node1 (N, Val); -- semantic field, no parent set
6278    end Set_Pre_Post_Conditions;
6279
6280    procedure Set_Prefix
6281       (N : Node_Id; Val : Node_Id) is
6282    begin
6283       pragma Assert (False
6284         or else NT (N).Nkind = N_Attribute_Reference
6285         or else NT (N).Nkind = N_Expanded_Name
6286         or else NT (N).Nkind = N_Explicit_Dereference
6287         or else NT (N).Nkind = N_Indexed_Component
6288         or else NT (N).Nkind = N_Reference
6289         or else NT (N).Nkind = N_Selected_Component
6290         or else NT (N).Nkind = N_Slice);
6291       Set_Node3_With_Parent (N, Val);
6292    end Set_Prefix;
6293
6294    procedure Set_Premature_Use
6295       (N : Node_Id; Val : Node_Id) is
6296    begin
6297       pragma Assert (False
6298         or else NT (N).Nkind = N_Incomplete_Type_Declaration);
6299       Set_Node5 (N, Val);
6300    end Set_Premature_Use;
6301
6302    procedure Set_Present_Expr
6303       (N : Node_Id; Val : Uint) is
6304    begin
6305       pragma Assert (False
6306         or else NT (N).Nkind = N_Variant);
6307       Set_Uint3 (N, Val);
6308    end Set_Present_Expr;
6309
6310    procedure Set_Prev_Ids
6311       (N : Node_Id; Val : Boolean := True) is
6312    begin
6313       pragma Assert (False
6314         or else NT (N).Nkind = N_Component_Declaration
6315         or else NT (N).Nkind = N_Discriminant_Specification
6316         or else NT (N).Nkind = N_Exception_Declaration
6317         or else NT (N).Nkind = N_Formal_Object_Declaration
6318         or else NT (N).Nkind = N_Number_Declaration
6319         or else NT (N).Nkind = N_Object_Declaration
6320         or else NT (N).Nkind = N_Parameter_Specification
6321         or else NT (N).Nkind = N_Use_Package_Clause
6322         or else NT (N).Nkind = N_Use_Type_Clause);
6323       Set_Flag6 (N, Val);
6324    end Set_Prev_Ids;
6325
6326    procedure Set_Prev_Use_Clause
6327       (N : Node_Id; Val : Node_Id) is
6328    begin
6329       pragma Assert (False
6330         or else NT (N).Nkind = N_Use_Package_Clause
6331         or else NT (N).Nkind = N_Use_Type_Clause);
6332       Set_Node1 (N, Val); -- semantic field, no parent set
6333    end Set_Prev_Use_Clause;
6334
6335    procedure Set_Print_In_Hex
6336       (N : Node_Id; Val : Boolean := True) is
6337    begin
6338       pragma Assert (False
6339         or else NT (N).Nkind = N_Integer_Literal);
6340       Set_Flag13 (N, Val);
6341    end Set_Print_In_Hex;
6342
6343    procedure Set_Private_Declarations
6344       (N : Node_Id; Val : List_Id) is
6345    begin
6346       pragma Assert (False
6347         or else NT (N).Nkind = N_Package_Specification
6348         or else NT (N).Nkind = N_Protected_Definition
6349         or else NT (N).Nkind = N_Task_Definition);
6350       Set_List3_With_Parent (N, Val);
6351    end Set_Private_Declarations;
6352
6353    procedure Set_Private_Present
6354       (N : Node_Id; Val : Boolean := True) is
6355    begin
6356       pragma Assert (False
6357         or else NT (N).Nkind = N_Compilation_Unit
6358         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6359         or else NT (N).Nkind = N_With_Clause);
6360       Set_Flag15 (N, Val);
6361    end Set_Private_Present;
6362
6363    procedure Set_Procedure_To_Call
6364       (N : Node_Id; Val : Node_Id) is
6365    begin
6366       pragma Assert (False
6367         or else NT (N).Nkind = N_Allocator
6368         or else NT (N).Nkind = N_Extended_Return_Statement
6369         or else NT (N).Nkind = N_Free_Statement
6370         or else NT (N).Nkind = N_Simple_Return_Statement);
6371       Set_Node2 (N, Val); -- semantic field, no parent set
6372    end Set_Procedure_To_Call;
6373
6374    procedure Set_Proper_Body
6375       (N : Node_Id; Val : Node_Id) is
6376    begin
6377       pragma Assert (False
6378         or else NT (N).Nkind = N_Subunit);
6379       Set_Node1_With_Parent (N, Val);
6380    end Set_Proper_Body;
6381
6382    procedure Set_Protected_Definition
6383       (N : Node_Id; Val : Node_Id) is
6384    begin
6385       pragma Assert (False
6386         or else NT (N).Nkind = N_Protected_Type_Declaration
6387         or else NT (N).Nkind = N_Single_Protected_Declaration);
6388       Set_Node3_With_Parent (N, Val);
6389    end Set_Protected_Definition;
6390
6391    procedure Set_Protected_Present
6392       (N : Node_Id; Val : Boolean := True) is
6393    begin
6394       pragma Assert (False
6395         or else NT (N).Nkind = N_Access_Function_Definition
6396         or else NT (N).Nkind = N_Access_Procedure_Definition
6397         or else NT (N).Nkind = N_Derived_Type_Definition
6398         or else NT (N).Nkind = N_Record_Definition);
6399       Set_Flag6 (N, Val);
6400    end Set_Protected_Present;
6401
6402    procedure Set_Raises_Constraint_Error
6403       (N : Node_Id; Val : Boolean := True) is
6404    begin
6405       pragma Assert (False
6406         or else NT (N).Nkind in N_Subexpr);
6407       Set_Flag7 (N, Val);
6408    end Set_Raises_Constraint_Error;
6409
6410    procedure Set_Range_Constraint
6411       (N : Node_Id; Val : Node_Id) is
6412    begin
6413       pragma Assert (False
6414         or else NT (N).Nkind = N_Delta_Constraint
6415         or else NT (N).Nkind = N_Digits_Constraint);
6416       Set_Node4_With_Parent (N, Val);
6417    end Set_Range_Constraint;
6418
6419    procedure Set_Range_Expression
6420       (N : Node_Id; Val : Node_Id) is
6421    begin
6422       pragma Assert (False
6423         or else NT (N).Nkind = N_Range_Constraint);
6424       Set_Node4_With_Parent (N, Val);
6425    end Set_Range_Expression;
6426
6427    procedure Set_Real_Range_Specification
6428       (N : Node_Id; Val : Node_Id) is
6429    begin
6430       pragma Assert (False
6431         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
6432         or else NT (N).Nkind = N_Floating_Point_Definition
6433         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
6434       Set_Node4_With_Parent (N, Val);
6435    end Set_Real_Range_Specification;
6436
6437    procedure Set_Realval
6438      (N : Node_Id; Val : Ureal) is
6439    begin
6440       pragma Assert (False
6441         or else NT (N).Nkind = N_Real_Literal);
6442       Set_Ureal3 (N, Val);
6443    end Set_Realval;
6444
6445    procedure Set_Reason
6446       (N : Node_Id; Val : Uint) is
6447    begin
6448       pragma Assert (False
6449         or else NT (N).Nkind = N_Raise_Constraint_Error
6450         or else NT (N).Nkind = N_Raise_Program_Error
6451         or else NT (N).Nkind = N_Raise_Storage_Error);
6452       Set_Uint3 (N, Val);
6453    end Set_Reason;
6454
6455    procedure Set_Record_Extension_Part
6456       (N : Node_Id; Val : Node_Id) is
6457    begin
6458       pragma Assert (False
6459         or else NT (N).Nkind = N_Derived_Type_Definition);
6460       Set_Node3_With_Parent (N, Val);
6461    end Set_Record_Extension_Part;
6462
6463    procedure Set_Redundant_Use
6464       (N : Node_Id; Val : Boolean := True) is
6465    begin
6466       pragma Assert (False
6467         or else NT (N).Nkind = N_Attribute_Reference
6468         or else NT (N).Nkind = N_Expanded_Name
6469         or else NT (N).Nkind = N_Identifier);
6470       Set_Flag13 (N, Val);
6471    end Set_Redundant_Use;
6472
6473    procedure Set_Renaming_Exception
6474       (N : Node_Id; Val : Node_Id) is
6475    begin
6476       pragma Assert (False
6477         or else NT (N).Nkind = N_Exception_Declaration);
6478       Set_Node2 (N, Val);
6479    end Set_Renaming_Exception;
6480
6481    procedure Set_Result_Definition
6482      (N : Node_Id; Val : Node_Id) is
6483    begin
6484       pragma Assert (False
6485         or else NT (N).Nkind = N_Access_Function_Definition
6486         or else NT (N).Nkind = N_Function_Specification);
6487       Set_Node4_With_Parent (N, Val);
6488    end Set_Result_Definition;
6489
6490    procedure Set_Return_Object_Declarations
6491      (N : Node_Id; Val : List_Id) is
6492    begin
6493       pragma Assert (False
6494         or else NT (N).Nkind = N_Extended_Return_Statement);
6495       Set_List3_With_Parent (N, Val);
6496    end Set_Return_Object_Declarations;
6497
6498    procedure Set_Return_Statement_Entity
6499      (N : Node_Id; Val : Node_Id) is
6500    begin
6501       pragma Assert (False
6502         or else NT (N).Nkind = N_Extended_Return_Statement
6503         or else NT (N).Nkind = N_Simple_Return_Statement);
6504       Set_Node5 (N, Val); -- semantic field, no parent set
6505    end Set_Return_Statement_Entity;
6506
6507    procedure Set_Reverse_Present
6508       (N : Node_Id; Val : Boolean := True) is
6509    begin
6510       pragma Assert (False
6511         or else NT (N).Nkind = N_Iterator_Specification
6512         or else NT (N).Nkind = N_Loop_Parameter_Specification);
6513       Set_Flag15 (N, Val);
6514    end Set_Reverse_Present;
6515
6516    procedure Set_Right_Opnd
6517       (N : Node_Id; Val : Node_Id) is
6518    begin
6519       pragma Assert (False
6520         or else NT (N).Nkind in N_Op
6521         or else NT (N).Nkind = N_And_Then
6522         or else NT (N).Nkind = N_In
6523         or else NT (N).Nkind = N_Not_In
6524         or else NT (N).Nkind = N_Or_Else);
6525       Set_Node3_With_Parent (N, Val);
6526    end Set_Right_Opnd;
6527
6528    procedure Set_Rounded_Result
6529       (N : Node_Id; Val : Boolean := True) is
6530    begin
6531       pragma Assert (False
6532         or else NT (N).Nkind = N_Op_Divide
6533         or else NT (N).Nkind = N_Op_Multiply
6534         or else NT (N).Nkind = N_Type_Conversion);
6535       Set_Flag18 (N, Val);
6536    end Set_Rounded_Result;
6537
6538    procedure Set_SCIL_Controlling_Tag
6539       (N : Node_Id; Val : Node_Id) is
6540    begin
6541       pragma Assert (False
6542         or else NT (N).Nkind = N_SCIL_Dispatching_Call);
6543       Set_Node5 (N, Val); -- semantic field, no parent set
6544    end Set_SCIL_Controlling_Tag;
6545
6546    procedure Set_SCIL_Entity
6547       (N : Node_Id; Val : Node_Id) is
6548    begin
6549       pragma Assert (False
6550         or else NT (N).Nkind = N_SCIL_Dispatch_Table_Tag_Init
6551         or else NT (N).Nkind = N_SCIL_Dispatching_Call
6552         or else NT (N).Nkind = N_SCIL_Membership_Test);
6553       Set_Node4 (N, Val); -- semantic field, no parent set
6554    end Set_SCIL_Entity;
6555
6556    procedure Set_SCIL_Tag_Value
6557       (N : Node_Id; Val : Node_Id) is
6558    begin
6559       pragma Assert (False
6560         or else NT (N).Nkind = N_SCIL_Membership_Test);
6561       Set_Node5 (N, Val); -- semantic field, no parent set
6562    end Set_SCIL_Tag_Value;
6563
6564    procedure Set_SCIL_Target_Prim
6565       (N : Node_Id; Val : Node_Id) is
6566    begin
6567       pragma Assert (False
6568         or else NT (N).Nkind = N_SCIL_Dispatching_Call);
6569       Set_Node2 (N, Val); -- semantic field, no parent set
6570    end Set_SCIL_Target_Prim;
6571
6572    procedure Set_Scope
6573       (N : Node_Id; Val : Node_Id) is
6574    begin
6575       pragma Assert (False
6576         or else NT (N).Nkind = N_Defining_Character_Literal
6577         or else NT (N).Nkind = N_Defining_Identifier
6578         or else NT (N).Nkind = N_Defining_Operator_Symbol);
6579       Set_Node3 (N, Val); -- semantic field, no parent set
6580    end Set_Scope;
6581
6582    procedure Set_Select_Alternatives
6583       (N : Node_Id; Val : List_Id) is
6584    begin
6585       pragma Assert (False
6586         or else NT (N).Nkind = N_Selective_Accept);
6587       Set_List1_With_Parent (N, Val);
6588    end Set_Select_Alternatives;
6589
6590    procedure Set_Selector_Name
6591       (N : Node_Id; Val : Node_Id) is
6592    begin
6593       pragma Assert (False
6594         or else NT (N).Nkind = N_Expanded_Name
6595         or else NT (N).Nkind = N_Generic_Association
6596         or else NT (N).Nkind = N_Parameter_Association
6597         or else NT (N).Nkind = N_Selected_Component);
6598       Set_Node2_With_Parent (N, Val);
6599    end Set_Selector_Name;
6600
6601    procedure Set_Selector_Names
6602       (N : Node_Id; Val : List_Id) is
6603    begin
6604       pragma Assert (False
6605         or else NT (N).Nkind = N_Discriminant_Association);
6606       Set_List1_With_Parent (N, Val);
6607    end Set_Selector_Names;
6608
6609    procedure Set_Shift_Count_OK
6610       (N : Node_Id; Val : Boolean := True) is
6611    begin
6612       pragma Assert (False
6613         or else NT (N).Nkind = N_Op_Rotate_Left
6614         or else NT (N).Nkind = N_Op_Rotate_Right
6615         or else NT (N).Nkind = N_Op_Shift_Left
6616         or else NT (N).Nkind = N_Op_Shift_Right
6617         or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
6618       Set_Flag4 (N, Val);
6619    end Set_Shift_Count_OK;
6620
6621    procedure Set_Source_Type
6622       (N : Node_Id; Val : Entity_Id) is
6623    begin
6624       pragma Assert (False
6625         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6626       Set_Node1 (N, Val); -- semantic field, no parent set
6627    end Set_Source_Type;
6628
6629    procedure Set_Specification
6630       (N : Node_Id; Val : Node_Id) is
6631    begin
6632       pragma Assert (False
6633         or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
6634         or else NT (N).Nkind = N_Expression_Function
6635         or else NT (N).Nkind = N_Formal_Abstract_Subprogram_Declaration
6636         or else NT (N).Nkind = N_Formal_Concrete_Subprogram_Declaration
6637         or else NT (N).Nkind = N_Generic_Package_Declaration
6638         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
6639         or else NT (N).Nkind = N_Package_Declaration
6640         or else NT (N).Nkind = N_Subprogram_Body
6641         or else NT (N).Nkind = N_Subprogram_Body_Stub
6642         or else NT (N).Nkind = N_Subprogram_Declaration
6643         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
6644       Set_Node1_With_Parent (N, Val);
6645    end Set_Specification;
6646
6647    procedure Set_Split_PPC
6648       (N : Node_Id; Val : Boolean) is
6649    begin
6650       pragma Assert (False
6651         or else NT (N).Nkind = N_Aspect_Specification
6652         or else NT (N).Nkind = N_Pragma);
6653       Set_Flag17 (N, Val);
6654    end Set_Split_PPC;
6655
6656    procedure Set_Statements
6657       (N : Node_Id; Val : List_Id) is
6658    begin
6659       pragma Assert (False
6660         or else NT (N).Nkind = N_Abortable_Part
6661         or else NT (N).Nkind = N_Accept_Alternative
6662         or else NT (N).Nkind = N_Case_Statement_Alternative
6663         or else NT (N).Nkind = N_Delay_Alternative
6664         or else NT (N).Nkind = N_Entry_Call_Alternative
6665         or else NT (N).Nkind = N_Exception_Handler
6666         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
6667         or else NT (N).Nkind = N_Loop_Statement
6668         or else NT (N).Nkind = N_Triggering_Alternative);
6669       Set_List3_With_Parent (N, Val);
6670    end Set_Statements;
6671
6672    procedure Set_Storage_Pool
6673       (N : Node_Id; Val : Node_Id) is
6674    begin
6675       pragma Assert (False
6676         or else NT (N).Nkind = N_Allocator
6677         or else NT (N).Nkind = N_Extended_Return_Statement
6678         or else NT (N).Nkind = N_Free_Statement
6679         or else NT (N).Nkind = N_Simple_Return_Statement);
6680       Set_Node1 (N, Val); -- semantic field, no parent set
6681    end Set_Storage_Pool;
6682
6683    procedure Set_Subpool_Handle_Name
6684       (N : Node_Id; Val : Node_Id) is
6685    begin
6686       pragma Assert (False
6687         or else NT (N).Nkind = N_Allocator);
6688       Set_Node4_With_Parent (N, Val);
6689    end Set_Subpool_Handle_Name;
6690
6691    procedure Set_Strval
6692       (N : Node_Id; Val : String_Id) is
6693    begin
6694       pragma Assert (False
6695         or else NT (N).Nkind = N_Operator_Symbol
6696         or else NT (N).Nkind = N_String_Literal);
6697       Set_Str3 (N, Val);
6698    end Set_Strval;
6699
6700    procedure Set_Subtype_Indication
6701       (N : Node_Id; Val : Node_Id) is
6702    begin
6703       pragma Assert (False
6704         or else NT (N).Nkind = N_Access_To_Object_Definition
6705         or else NT (N).Nkind = N_Component_Definition
6706         or else NT (N).Nkind = N_Derived_Type_Definition
6707         or else NT (N).Nkind = N_Iterator_Specification
6708         or else NT (N).Nkind = N_Private_Extension_Declaration
6709         or else NT (N).Nkind = N_Subtype_Declaration);
6710       Set_Node5_With_Parent (N, Val);
6711    end Set_Subtype_Indication;
6712
6713    procedure Set_Subtype_Mark
6714       (N : Node_Id; Val : Node_Id) is
6715    begin
6716       pragma Assert (False
6717         or else NT (N).Nkind = N_Access_Definition
6718         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6719         or else NT (N).Nkind = N_Formal_Object_Declaration
6720         or else NT (N).Nkind = N_Object_Renaming_Declaration
6721         or else NT (N).Nkind = N_Qualified_Expression
6722         or else NT (N).Nkind = N_Subtype_Indication
6723         or else NT (N).Nkind = N_Type_Conversion
6724         or else NT (N).Nkind = N_Unchecked_Type_Conversion
6725         or else NT (N).Nkind = N_Use_Type_Clause);
6726       Set_Node4_With_Parent (N, Val);
6727    end Set_Subtype_Mark;
6728
6729    procedure Set_Subtype_Marks
6730       (N : Node_Id; Val : List_Id) is
6731    begin
6732       pragma Assert (False
6733         or else NT (N).Nkind = N_Unconstrained_Array_Definition);
6734       Set_List2_With_Parent (N, Val);
6735    end Set_Subtype_Marks;
6736
6737    procedure Set_Suppress_Assignment_Checks
6738       (N : Node_Id; Val : Boolean := True) is
6739    begin
6740       pragma Assert (False
6741         or else NT (N).Nkind = N_Assignment_Statement
6742         or else NT (N).Nkind = N_Object_Declaration);
6743       Set_Flag18 (N, Val);
6744    end Set_Suppress_Assignment_Checks;
6745
6746    procedure Set_Suppress_Loop_Warnings
6747       (N : Node_Id; Val : Boolean := True) is
6748    begin
6749       pragma Assert (False
6750         or else NT (N).Nkind = N_Loop_Statement);
6751       Set_Flag17 (N, Val);
6752    end Set_Suppress_Loop_Warnings;
6753
6754    procedure Set_Synchronized_Present
6755      (N : Node_Id; Val : Boolean := True) is
6756    begin
6757       pragma Assert (False
6758         or else NT (N).Nkind = N_Derived_Type_Definition
6759         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
6760         or else NT (N).Nkind = N_Private_Extension_Declaration
6761         or else NT (N).Nkind = N_Record_Definition);
6762       Set_Flag7 (N, Val);
6763    end Set_Synchronized_Present;
6764
6765    procedure Set_Tagged_Present
6766       (N : Node_Id; Val : Boolean := True) is
6767    begin
6768       pragma Assert (False
6769         or else NT (N).Nkind = N_Formal_Incomplete_Type_Definition
6770         or else NT (N).Nkind = N_Formal_Private_Type_Definition
6771         or else NT (N).Nkind = N_Incomplete_Type_Declaration
6772         or else NT (N).Nkind = N_Private_Type_Declaration
6773         or else NT (N).Nkind = N_Record_Definition);
6774       Set_Flag15 (N, Val);
6775    end Set_Tagged_Present;
6776
6777    procedure Set_Target
6778       (N : Node_Id; Val : Entity_Id) is
6779    begin
6780       pragma Assert (False
6781         or else NT (N).Nkind = N_Call_Marker
6782         or else NT (N).Nkind = N_Variable_Reference_Marker);
6783       Set_Node1 (N, Val); -- semantic field, no parent set
6784    end Set_Target;
6785
6786    procedure Set_Target_Type
6787       (N : Node_Id; Val : Entity_Id) is
6788    begin
6789       pragma Assert (False
6790         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
6791       Set_Node2 (N, Val); -- semantic field, no parent set
6792    end Set_Target_Type;
6793
6794    procedure Set_Task_Definition
6795       (N : Node_Id; Val : Node_Id) is
6796    begin
6797       pragma Assert (False
6798         or else NT (N).Nkind = N_Single_Task_Declaration
6799         or else NT (N).Nkind = N_Task_Type_Declaration);
6800       Set_Node3_With_Parent (N, Val);
6801    end Set_Task_Definition;
6802
6803    procedure Set_Task_Present
6804      (N : Node_Id; Val : Boolean := True) is
6805    begin
6806       pragma Assert (False
6807         or else NT (N).Nkind = N_Derived_Type_Definition
6808         or else NT (N).Nkind = N_Record_Definition);
6809       Set_Flag5 (N, Val);
6810    end Set_Task_Present;
6811
6812    procedure Set_Then_Actions
6813       (N : Node_Id; Val : List_Id) is
6814    begin
6815       pragma Assert (False
6816         or else NT (N).Nkind = N_If_Expression);
6817       Set_List2_With_Parent (N, Val); -- semantic field, but needs parents
6818    end Set_Then_Actions;
6819
6820    procedure Set_Then_Statements
6821       (N : Node_Id; Val : List_Id) is
6822    begin
6823       pragma Assert (False
6824         or else NT (N).Nkind = N_Elsif_Part
6825         or else NT (N).Nkind = N_If_Statement);
6826       Set_List2_With_Parent (N, Val);
6827    end Set_Then_Statements;
6828
6829    procedure Set_Treat_Fixed_As_Integer
6830       (N : Node_Id; Val : Boolean := True) is
6831    begin
6832       pragma Assert (False
6833         or else NT (N).Nkind = N_Op_Divide
6834         or else NT (N).Nkind = N_Op_Mod
6835         or else NT (N).Nkind = N_Op_Multiply
6836         or else NT (N).Nkind = N_Op_Rem);
6837       Set_Flag14 (N, Val);
6838    end Set_Treat_Fixed_As_Integer;
6839
6840    procedure Set_Triggering_Alternative
6841       (N : Node_Id; Val : Node_Id) is
6842    begin
6843       pragma Assert (False
6844         or else NT (N).Nkind = N_Asynchronous_Select);
6845       Set_Node1_With_Parent (N, Val);
6846    end Set_Triggering_Alternative;
6847
6848    procedure Set_Triggering_Statement
6849       (N : Node_Id; Val : Node_Id) is
6850    begin
6851       pragma Assert (False
6852         or else NT (N).Nkind = N_Triggering_Alternative);
6853       Set_Node1_With_Parent (N, Val);
6854    end Set_Triggering_Statement;
6855
6856    procedure Set_TSS_Elist
6857       (N : Node_Id; Val : Elist_Id) is
6858    begin
6859       pragma Assert (False
6860         or else NT (N).Nkind = N_Freeze_Entity);
6861       Set_Elist3 (N, Val); -- semantic field, no parent set
6862    end Set_TSS_Elist;
6863
6864    procedure Set_Uneval_Old_Accept
6865      (N : Node_Id; Val : Boolean := True) is
6866    begin
6867       pragma Assert (False
6868         or else NT (N).Nkind = N_Pragma);
6869       Set_Flag7 (N, Val);
6870    end Set_Uneval_Old_Accept;
6871
6872    procedure Set_Uneval_Old_Warn
6873      (N : Node_Id; Val : Boolean := True) is
6874    begin
6875       pragma Assert (False
6876         or else NT (N).Nkind = N_Pragma);
6877       Set_Flag18 (N, Val);
6878    end Set_Uneval_Old_Warn;
6879
6880    procedure Set_Type_Definition
6881       (N : Node_Id; Val : Node_Id) is
6882    begin
6883       pragma Assert (False
6884         or else NT (N).Nkind = N_Full_Type_Declaration);
6885       Set_Node3_With_Parent (N, Val);
6886    end Set_Type_Definition;
6887
6888    procedure Set_Unit
6889       (N : Node_Id; Val : Node_Id) is
6890    begin
6891       pragma Assert (False
6892         or else NT (N).Nkind = N_Compilation_Unit);
6893       Set_Node2_With_Parent (N, Val);
6894    end Set_Unit;
6895
6896    procedure Set_Unknown_Discriminants_Present
6897       (N : Node_Id; Val : Boolean := True) is
6898    begin
6899       pragma Assert (False
6900         or else NT (N).Nkind = N_Formal_Type_Declaration
6901         or else NT (N).Nkind = N_Incomplete_Type_Declaration
6902         or else NT (N).Nkind = N_Private_Extension_Declaration
6903         or else NT (N).Nkind = N_Private_Type_Declaration);
6904       Set_Flag13 (N, Val);
6905    end Set_Unknown_Discriminants_Present;
6906
6907    procedure Set_Unreferenced_In_Spec
6908       (N : Node_Id; Val : Boolean := True) is
6909    begin
6910       pragma Assert (False
6911         or else NT (N).Nkind = N_With_Clause);
6912       Set_Flag7 (N, Val);
6913    end Set_Unreferenced_In_Spec;
6914
6915    procedure Set_Variant_Part
6916       (N : Node_Id; Val : Node_Id) is
6917    begin
6918       pragma Assert (False
6919         or else NT (N).Nkind = N_Component_List);
6920       Set_Node4_With_Parent (N, Val);
6921    end Set_Variant_Part;
6922
6923    procedure Set_Variants
6924       (N : Node_Id; Val : List_Id) is
6925    begin
6926       pragma Assert (False
6927         or else NT (N).Nkind = N_Variant_Part);
6928       Set_List1_With_Parent (N, Val);
6929    end Set_Variants;
6930
6931    procedure Set_Visible_Declarations
6932       (N : Node_Id; Val : List_Id) is
6933    begin
6934       pragma Assert (False
6935         or else NT (N).Nkind = N_Package_Specification
6936         or else NT (N).Nkind = N_Protected_Definition
6937         or else NT (N).Nkind = N_Task_Definition);
6938       Set_List2_With_Parent (N, Val);
6939    end Set_Visible_Declarations;
6940
6941    procedure Set_Uninitialized_Variable
6942      (N : Node_Id; Val : Node_Id) is
6943    begin
6944       pragma Assert (False
6945         or else NT (N).Nkind = N_Formal_Private_Type_Definition
6946         or else NT (N).Nkind = N_Private_Extension_Declaration);
6947       Set_Node3 (N, Val);
6948    end Set_Uninitialized_Variable;
6949
6950    procedure Set_Used_Operations
6951      (N : Node_Id; Val :  Elist_Id) is
6952    begin
6953       pragma Assert (False
6954         or else NT (N).Nkind = N_Use_Type_Clause);
6955       Set_Elist2 (N, Val);
6956    end Set_Used_Operations;
6957
6958    procedure Set_Was_Attribute_Reference
6959       (N : Node_Id; Val : Boolean := True) is
6960    begin
6961       pragma Assert (False
6962         or else NT (N).Nkind = N_Subprogram_Body);
6963       Set_Flag2 (N, Val);
6964    end Set_Was_Attribute_Reference;
6965
6966    procedure Set_Was_Expression_Function
6967       (N : Node_Id; Val : Boolean := True) is
6968    begin
6969       pragma Assert (False
6970         or else NT (N).Nkind = N_Subprogram_Body);
6971       Set_Flag18 (N, Val);
6972    end Set_Was_Expression_Function;
6973
6974    procedure Set_Was_Originally_Stub
6975       (N : Node_Id; Val : Boolean := True) is
6976    begin
6977       pragma Assert (False
6978         or else NT (N).Nkind = N_Package_Body
6979         or else NT (N).Nkind = N_Protected_Body
6980         or else NT (N).Nkind = N_Subprogram_Body
6981         or else NT (N).Nkind = N_Task_Body);
6982       Set_Flag13 (N, Val);
6983    end Set_Was_Originally_Stub;
6984
6985    -------------------------
6986    -- Iterator Procedures --
6987    -------------------------
6988
6989    procedure Next_Entity       (N : in out Node_Id) is
6990    begin
6991       N := Next_Entity (N);
6992    end Next_Entity;
6993
6994    procedure Next_Named_Actual (N : in out Node_Id) is
6995    begin
6996       N := Next_Named_Actual (N);
6997    end Next_Named_Actual;
6998
6999    procedure Next_Rep_Item     (N : in out Node_Id) is
7000    begin
7001       N := Next_Rep_Item (N);
7002    end Next_Rep_Item;
7003
7004    procedure Next_Use_Clause   (N : in out Node_Id) is
7005    begin
7006       N := Next_Use_Clause (N);
7007    end Next_Use_Clause;
7008
7009    ------------------
7010    -- End_Location --
7011    ------------------
7012
7013    function End_Location (N : Node_Id) return Source_Ptr is
7014       L : constant Uint := End_Span (N);
7015    begin
7016       if L = No_Uint then
7017          return No_Location;
7018       else
7019          return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
7020       end if;
7021    end End_Location;
7022
7023    --------------------
7024    -- Get_Pragma_Arg --
7025    --------------------
7026
7027    function Get_Pragma_Arg (Arg : Node_Id) return Node_Id is
7028    begin
7029       if Nkind (Arg) = N_Pragma_Argument_Association then
7030          return Expression (Arg);
7031       else
7032          return Arg;
7033       end if;
7034    end Get_Pragma_Arg;
7035
7036    ----------------------
7037    -- Set_End_Location --
7038    ----------------------
7039
7040    procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
7041    begin
7042       Set_End_Span (N,
7043         UI_From_Int (Int (S) - Int (Sloc (N))));
7044    end Set_End_Location;
7045
7046    --------------
7047    -- Nkind_In --
7048    --------------
7049
7050    function Nkind_In
7051      (T  : Node_Kind;
7052       V1 : Node_Kind;
7053       V2 : Node_Kind) return Boolean
7054    is
7055    begin
7056       return T = V1 or else
7057              T = V2;
7058    end Nkind_In;
7059
7060    function Nkind_In
7061      (T  : Node_Kind;
7062       V1 : Node_Kind;
7063       V2 : Node_Kind;
7064       V3 : Node_Kind) return Boolean
7065    is
7066    begin
7067       return T = V1 or else
7068              T = V2 or else
7069              T = V3;
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;
7077       V4 : Node_Kind) return Boolean
7078    is
7079    begin
7080       return T = V1 or else
7081              T = V2 or else
7082              T = V3 or else
7083              T = V4;
7084    end Nkind_In;
7085
7086    function Nkind_In
7087      (T  : Node_Kind;
7088       V1 : Node_Kind;
7089       V2 : Node_Kind;
7090       V3 : Node_Kind;
7091       V4 : Node_Kind;
7092       V5 : Node_Kind) return Boolean
7093    is
7094    begin
7095       return T = V1 or else
7096              T = V2 or else
7097              T = V3 or else
7098              T = V4 or else
7099              T = V5;
7100    end Nkind_In;
7101
7102    function Nkind_In
7103      (T  : Node_Kind;
7104       V1 : Node_Kind;
7105       V2 : Node_Kind;
7106       V3 : Node_Kind;
7107       V4 : Node_Kind;
7108       V5 : Node_Kind;
7109       V6 : Node_Kind) return Boolean
7110    is
7111    begin
7112       return T = V1 or else
7113              T = V2 or else
7114              T = V3 or else
7115              T = V4 or else
7116              T = V5 or else
7117              T = V6;
7118    end Nkind_In;
7119
7120    function Nkind_In
7121      (T  : Node_Kind;
7122       V1 : Node_Kind;
7123       V2 : Node_Kind;
7124       V3 : Node_Kind;
7125       V4 : Node_Kind;
7126       V5 : Node_Kind;
7127       V6 : Node_Kind;
7128       V7 : Node_Kind) return Boolean
7129    is
7130    begin
7131       return T = V1 or else
7132              T = V2 or else
7133              T = V3 or else
7134              T = V4 or else
7135              T = V5 or else
7136              T = V6 or else
7137              T = V7;
7138    end Nkind_In;
7139
7140    function Nkind_In
7141      (T  : Node_Kind;
7142       V1 : Node_Kind;
7143       V2 : Node_Kind;
7144       V3 : Node_Kind;
7145       V4 : Node_Kind;
7146       V5 : Node_Kind;
7147       V6 : Node_Kind;
7148       V7 : Node_Kind;
7149       V8 : Node_Kind) return Boolean
7150    is
7151    begin
7152       return T = V1 or else
7153              T = V2 or else
7154              T = V3 or else
7155              T = V4 or else
7156              T = V5 or else
7157              T = V6 or else
7158              T = V7 or else
7159              T = V8;
7160    end Nkind_In;
7161
7162    function Nkind_In
7163      (T  : Node_Kind;
7164       V1 : Node_Kind;
7165       V2 : Node_Kind;
7166       V3 : Node_Kind;
7167       V4 : Node_Kind;
7168       V5 : Node_Kind;
7169       V6 : Node_Kind;
7170       V7 : Node_Kind;
7171       V8 : Node_Kind;
7172       V9 : Node_Kind) return Boolean
7173    is
7174    begin
7175       return T = V1 or else
7176              T = V2 or else
7177              T = V3 or else
7178              T = V4 or else
7179              T = V5 or else
7180              T = V6 or else
7181              T = V7 or else
7182              T = V8 or else
7183              T = V9;
7184    end Nkind_In;
7185
7186    function Nkind_In
7187      (T   : Node_Kind;
7188       V1  : Node_Kind;
7189       V2  : Node_Kind;
7190       V3  : Node_Kind;
7191       V4  : Node_Kind;
7192       V5  : Node_Kind;
7193       V6  : Node_Kind;
7194       V7  : Node_Kind;
7195       V8  : Node_Kind;
7196       V9  : Node_Kind;
7197       V10 : Node_Kind) return Boolean
7198    is
7199    begin
7200       return T = V1 or else
7201              T = V2 or else
7202              T = V3 or else
7203              T = V4 or else
7204              T = V5 or else
7205              T = V6 or else
7206              T = V7 or else
7207              T = V8 or else
7208              T = V9 or else
7209              T = V10;
7210    end Nkind_In;
7211
7212    function Nkind_In
7213      (T   : Node_Kind;
7214       V1  : Node_Kind;
7215       V2  : Node_Kind;
7216       V3  : Node_Kind;
7217       V4  : Node_Kind;
7218       V5  : Node_Kind;
7219       V6  : Node_Kind;
7220       V7  : Node_Kind;
7221       V8  : Node_Kind;
7222       V9  : Node_Kind;
7223       V10 : Node_Kind;
7224       V11 : Node_Kind) return Boolean
7225    is
7226    begin
7227       return T = V1  or else
7228              T = V2  or else
7229              T = V3  or else
7230              T = V4  or else
7231              T = V5  or else
7232              T = V6  or else
7233              T = V7  or else
7234              T = V8  or else
7235              T = V9  or else
7236              T = V10 or else
7237              T = V11;
7238    end Nkind_In;
7239
7240    --------------------------
7241    -- Pragma_Name_Unmapped --
7242    --------------------------
7243
7244    function Pragma_Name_Unmapped (N : Node_Id) return Name_Id is
7245    begin
7246       return Chars (Pragma_Identifier (N));
7247    end Pragma_Name_Unmapped;
7248
7249    ---------------------
7250    -- Map_Pragma_Name --
7251    ---------------------
7252
7253    --  We don't want to introduce a dependence on some hash table package or
7254    --  similar, so we use a simple array of Key => Value pairs, and do a linear
7255    --  search. Linear search is plenty efficient, given that we don't expect
7256    --  more than a couple of entries in the mapping.
7257
7258    type Name_Pair is record
7259       Key   : Name_Id;
7260       Value : Name_Id;
7261    end record;
7262
7263    type Pragma_Map_Index is range 1 .. 100;
7264    Pragma_Map : array (Pragma_Map_Index) of Name_Pair;
7265    Last_Pair : Pragma_Map_Index'Base range 0 .. Pragma_Map_Index'Last := 0;
7266
7267    procedure Map_Pragma_Name (From, To : Name_Id) is
7268    begin
7269       if Last_Pair = Pragma_Map'Last then
7270          raise Too_Many_Pragma_Mappings;
7271       end if;
7272
7273       Last_Pair := Last_Pair + 1;
7274       Pragma_Map (Last_Pair) := (Key => From, Value => To);
7275    end Map_Pragma_Name;
7276
7277    -----------------
7278    -- Pragma_Name --
7279    -----------------
7280
7281    function Pragma_Name (N : Node_Id) return Name_Id is
7282       Result : constant Name_Id := Pragma_Name_Unmapped (N);
7283    begin
7284       for J in Pragma_Map'First .. Last_Pair loop
7285          if Result = Pragma_Map (J).Key then
7286             return Pragma_Map (J).Value;
7287          end if;
7288       end loop;
7289
7290       return Result;
7291    end Pragma_Name;
7292
7293 end Sinfo;