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 --                                                                          --
  10 --          Copyright (C) 1992-2002, Free Software Foundation, Inc.         --
  11 --                                                                          --
  12 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  13 -- terms of the  GNU General Public License as published  by the Free Soft- --
  14 -- ware  Foundation;  either version 2,  or (at your option) any later ver- --
  15 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  16 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  17 -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
  18 -- for  more details.  You should have  received  a copy of the GNU General --
  19 -- Public License  distributed with GNAT;  see file COPYING.  If not, write --
  20 -- to  the Free Software Foundation,  59 Temple Place - Suite 330,  Boston, --
  21 -- MA 02111-1307, USA.                                                      --
  22 --                                                                          --
  23 -- As a special exception,  if other files  instantiate  generics from this --
  24 -- unit, or you link  this unit with other files  to produce an executable, --
  25 -- this  unit  does not  by itself cause  the resulting  executable  to  be --
  26 -- covered  by the  GNU  General  Public  License.  This exception does not --
  27 -- however invalidate  any other reasons why  the executable file  might be --
  28 -- covered by the  GNU Public License.                                      --
  29 --                                                                          --
  30 -- GNAT was originally developed  by the GNAT team at  New York University. --
  31 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  32 --                                                                          --
  33 ------------------------------------------------------------------------------
  34
  35 pragma Style_Checks (All_Checks);
  36 --  No subprogram ordering check, due to logical grouping
  37
  38 with Atree; use Atree;
  39
  40 package body Sinfo is
  41
  42    use Atree.Unchecked_Access;
  43    --  This package is one of the few packages which is allowed to make direct
  44    --  references to tree nodes (since it is in the business of providing a
  45    --  higher level of tree access which other clients are expected to use and
  46    --  which implements checks).
  47
  48    use Atree_Private_Part;
  49    --  The only reason that we ask for direct access to the private part of
  50    --  the tree package is so that we can directly reference the Nkind field
  51    --  of nodes table entries. We do this since it helps the efficiency of
  52    --  the Sinfo debugging checks considerably (note that when we are checking
  53    --  Nkind values, we don't need to check for a valid node reference, because
  54    --  we will check that anyway when we reference the field).
  55
  56    NT : Nodes.Table_Ptr renames Nodes.Table;
  57    --  A short hand abbreviation, useful for the debugging checks
  58
  59    ----------------------------
  60    -- Field Access Functions --
  61    ----------------------------
  62
  63    function ABE_Is_Certain
  64       (N : Node_Id) return Boolean is
  65    begin
  66       pragma Assert (False
  67         or else NT (N).Nkind = N_Formal_Package_Declaration
  68         or else NT (N).Nkind = N_Function_Call
  69         or else NT (N).Nkind = N_Function_Instantiation
  70         or else NT (N).Nkind = N_Package_Instantiation
  71         or else NT (N).Nkind = N_Procedure_Call_Statement
  72         or else NT (N).Nkind = N_Procedure_Instantiation);
  73       return Flag18 (N);
  74    end ABE_Is_Certain;
  75
  76    function Abort_Present
  77       (N : Node_Id) return Boolean is
  78    begin
  79       pragma Assert (False
  80         or else NT (N).Nkind = N_Requeue_Statement);
  81       return Flag15 (N);
  82    end Abort_Present;
  83
  84    function Abortable_Part
  85       (N : Node_Id) return Node_Id is
  86    begin
  87       pragma Assert (False
  88         or else NT (N).Nkind = N_Asynchronous_Select);
  89       return Node2 (N);
  90    end Abortable_Part;
  91
  92    function Abstract_Present
  93       (N : Node_Id) return Boolean is
  94    begin
  95       pragma Assert (False
  96         or else NT (N).Nkind = N_Derived_Type_Definition
  97         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
  98         or else NT (N).Nkind = N_Formal_Private_Type_Definition
  99         or else NT (N).Nkind = N_Private_Extension_Declaration
 100         or else NT (N).Nkind = N_Private_Type_Declaration
 101         or else NT (N).Nkind = N_Record_Definition);
 102       return Flag4 (N);
 103    end Abstract_Present;
 104
 105    function Accept_Handler_Records
 106       (N : Node_Id) return List_Id is
 107    begin
 108       pragma Assert (False
 109         or else NT (N).Nkind = N_Accept_Alternative);
 110       return List5 (N);
 111    end Accept_Handler_Records;
 112
 113    function Accept_Statement
 114       (N : Node_Id) return Node_Id is
 115    begin
 116       pragma Assert (False
 117         or else NT (N).Nkind = N_Accept_Alternative);
 118       return Node2 (N);
 119    end Accept_Statement;
 120
 121    function Access_Types_To_Process
 122       (N : Node_Id) return Elist_Id is
 123    begin
 124       pragma Assert (False
 125         or else NT (N).Nkind = N_Freeze_Entity);
 126       return Elist2 (N);
 127    end Access_Types_To_Process;
 128
 129    function Actions
 130       (N : Node_Id) return List_Id is
 131    begin
 132       pragma Assert (False
 133         or else NT (N).Nkind = N_And_Then
 134         or else NT (N).Nkind = N_Compilation_Unit_Aux
 135         or else NT (N).Nkind = N_Freeze_Entity
 136         or else NT (N).Nkind = N_Or_Else);
 137       return List1 (N);
 138    end Actions;
 139
 140    function Activation_Chain_Entity
 141       (N : Node_Id) return Node_Id is
 142    begin
 143       pragma Assert (False
 144         or else NT (N).Nkind = N_Block_Statement
 145         or else NT (N).Nkind = N_Entry_Body
 146         or else NT (N).Nkind = N_Generic_Package_Declaration
 147         or else NT (N).Nkind = N_Package_Declaration
 148         or else NT (N).Nkind = N_Subprogram_Body
 149         or else NT (N).Nkind = N_Task_Body);
 150       return Node3 (N);
 151    end Activation_Chain_Entity;
 152
 153    function Acts_As_Spec
 154       (N : Node_Id) return Boolean is
 155    begin
 156       pragma Assert (False
 157         or else NT (N).Nkind = N_Compilation_Unit
 158         or else NT (N).Nkind = N_Subprogram_Body);
 159       return Flag4 (N);
 160    end Acts_As_Spec;
 161
 162    function Aggregate_Bounds
 163       (N : Node_Id) return Node_Id is
 164    begin
 165       pragma Assert (False
 166         or else NT (N).Nkind = N_Aggregate);
 167       return Node3 (N);
 168    end Aggregate_Bounds;
 169
 170    function Aliased_Present
 171       (N : Node_Id) return Boolean is
 172    begin
 173       pragma Assert (False
 174         or else NT (N).Nkind = N_Component_Declaration
 175         or else NT (N).Nkind = N_Constrained_Array_Definition
 176         or else NT (N).Nkind = N_Object_Declaration
 177         or else NT (N).Nkind = N_Unconstrained_Array_Definition);
 178       return Flag4 (N);
 179    end Aliased_Present;
 180
 181    function All_Others
 182       (N : Node_Id) return Boolean is
 183    begin
 184       pragma Assert (False
 185         or else NT (N).Nkind = N_Others_Choice);
 186       return Flag11 (N);
 187    end All_Others;
 188
 189    function All_Present
 190       (N : Node_Id) return Boolean is
 191    begin
 192       pragma Assert (False
 193         or else NT (N).Nkind = N_Access_To_Object_Definition);
 194       return Flag15 (N);
 195    end All_Present;
 196
 197    function Alternatives
 198       (N : Node_Id) return List_Id is
 199    begin
 200       pragma Assert (False
 201         or else NT (N).Nkind = N_Case_Statement);
 202       return List4 (N);
 203    end Alternatives;
 204
 205    function Ancestor_Part
 206       (N : Node_Id) return Node_Id is
 207    begin
 208       pragma Assert (False
 209         or else NT (N).Nkind = N_Extension_Aggregate);
 210       return Node3 (N);
 211    end Ancestor_Part;
 212
 213    function Array_Aggregate
 214       (N : Node_Id) return Node_Id is
 215    begin
 216       pragma Assert (False
 217         or else NT (N).Nkind = N_Enumeration_Representation_Clause);
 218       return Node3 (N);
 219    end Array_Aggregate;
 220
 221    function Assignment_OK
 222       (N : Node_Id) return Boolean is
 223    begin
 224       pragma Assert (False
 225         or else NT (N).Nkind = N_Object_Declaration
 226           or else NT (N).Nkind in N_Subexpr);
 227       return Flag15 (N);
 228    end Assignment_OK;
 229
 230    function Associated_Node
 231       (N : Node_Id) return Node_Id is
 232    begin
 233       pragma Assert (False
 234         or else NT (N).Nkind in N_Has_Entity
 235         or else NT (N).Nkind = N_Aggregate
 236         or else NT (N).Nkind = N_Extension_Aggregate
 237         or else NT (N).Nkind = N_Selected_Component);
 238       return Node4 (N);
 239    end Associated_Node;
 240
 241    function At_End_Proc
 242       (N : Node_Id) return Node_Id is
 243    begin
 244       pragma Assert (False
 245         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
 246       return Node1 (N);
 247    end At_End_Proc;
 248
 249    function Attribute_Name
 250       (N : Node_Id) return Name_Id is
 251    begin
 252       pragma Assert (False
 253         or else NT (N).Nkind = N_Attribute_Reference);
 254       return Name2 (N);
 255    end Attribute_Name;
 256
 257    function Aux_Decls_Node
 258       (N : Node_Id) return Node_Id is
 259    begin
 260       pragma Assert (False
 261         or else NT (N).Nkind = N_Compilation_Unit);
 262       return Node5 (N);
 263    end Aux_Decls_Node;
 264
 265    function Backwards_OK
 266       (N : Node_Id) return Boolean is
 267    begin
 268       pragma Assert (False
 269         or else NT (N).Nkind = N_Assignment_Statement);
 270       return Flag6 (N);
 271    end Backwards_OK;
 272
 273    function Bad_Is_Detected
 274       (N : Node_Id) return Boolean is
 275    begin
 276       pragma Assert (False
 277         or else NT (N).Nkind = N_Subprogram_Body);
 278       return Flag15 (N);
 279    end Bad_Is_Detected;
 280
 281    function Body_Required
 282       (N : Node_Id) return Boolean is
 283    begin
 284       pragma Assert (False
 285         or else NT (N).Nkind = N_Compilation_Unit);
 286       return Flag13 (N);
 287    end Body_Required;
 288
 289    function Body_To_Inline
 290       (N : Node_Id) return Node_Id is
 291    begin
 292       pragma Assert (False
 293         or else NT (N).Nkind = N_Subprogram_Declaration);
 294       return Node3 (N);
 295    end Body_To_Inline;
 296
 297    function Box_Present
 298       (N : Node_Id) return Boolean is
 299    begin
 300       pragma Assert (False
 301         or else NT (N).Nkind = N_Formal_Package_Declaration
 302         or else NT (N).Nkind = N_Formal_Subprogram_Declaration);
 303       return Flag15 (N);
 304    end Box_Present;
 305
 306    function By_Ref
 307       (N : Node_Id) return Boolean is
 308    begin
 309       pragma Assert (False
 310         or else NT (N).Nkind = N_Return_Statement);
 311       return Flag5 (N);
 312    end By_Ref;
 313
 314    function Char_Literal_Value
 315       (N : Node_Id) return Char_Code is
 316    begin
 317       pragma Assert (False
 318         or else NT (N).Nkind = N_Character_Literal);
 319       return Char_Code2 (N);
 320    end Char_Literal_Value;
 321
 322    function Chars
 323       (N : Node_Id) return Name_Id is
 324    begin
 325       pragma Assert (False
 326           or else NT (N).Nkind in N_Has_Chars);
 327       return Name1 (N);
 328    end Chars;
 329
 330    function Choice_Parameter
 331       (N : Node_Id) return Node_Id is
 332    begin
 333       pragma Assert (False
 334         or else NT (N).Nkind = N_Exception_Handler);
 335       return Node2 (N);
 336    end Choice_Parameter;
 337
 338    function Choices
 339       (N : Node_Id) return List_Id is
 340    begin
 341       pragma Assert (False
 342         or else NT (N).Nkind = N_Component_Association);
 343       return List1 (N);
 344    end Choices;
 345
 346    function Compile_Time_Known_Aggregate
 347       (N : Node_Id) return Boolean is
 348    begin
 349       pragma Assert (False
 350         or else NT (N).Nkind = N_Aggregate);
 351       return Flag18 (N);
 352    end Compile_Time_Known_Aggregate;
 353
 354    function Component_Associations
 355       (N : Node_Id) return List_Id is
 356    begin
 357       pragma Assert (False
 358         or else NT (N).Nkind = N_Aggregate
 359         or else NT (N).Nkind = N_Extension_Aggregate);
 360       return List2 (N);
 361    end Component_Associations;
 362
 363    function Component_Clauses
 364       (N : Node_Id) return List_Id is
 365    begin
 366       pragma Assert (False
 367         or else NT (N).Nkind = N_Record_Representation_Clause);
 368       return List3 (N);
 369    end Component_Clauses;
 370
 371    function Component_Items
 372       (N : Node_Id) return List_Id is
 373    begin
 374       pragma Assert (False
 375         or else NT (N).Nkind = N_Component_List);
 376       return List3 (N);
 377    end Component_Items;
 378
 379    function Component_List
 380       (N : Node_Id) return Node_Id is
 381    begin
 382       pragma Assert (False
 383         or else NT (N).Nkind = N_Record_Definition
 384         or else NT (N).Nkind = N_Variant);
 385       return Node1 (N);
 386    end Component_List;
 387
 388    function Component_Name
 389       (N : Node_Id) return Node_Id is
 390    begin
 391       pragma Assert (False
 392         or else NT (N).Nkind = N_Component_Clause);
 393       return Node1 (N);
 394    end Component_Name;
 395
 396    function Condition
 397       (N : Node_Id) return Node_Id is
 398    begin
 399       pragma Assert (False
 400         or else NT (N).Nkind = N_Accept_Alternative
 401         or else NT (N).Nkind = N_Delay_Alternative
 402         or else NT (N).Nkind = N_Elsif_Part
 403         or else NT (N).Nkind = N_Entry_Body_Formal_Part
 404         or else NT (N).Nkind = N_Exit_Statement
 405         or else NT (N).Nkind = N_If_Statement
 406         or else NT (N).Nkind = N_Iteration_Scheme
 407         or else NT (N).Nkind = N_Raise_Constraint_Error
 408         or else NT (N).Nkind = N_Raise_Program_Error
 409         or else NT (N).Nkind = N_Raise_Storage_Error
 410         or else NT (N).Nkind = N_Terminate_Alternative);
 411       return Node1 (N);
 412    end Condition;
 413
 414    function Condition_Actions
 415       (N : Node_Id) return List_Id is
 416    begin
 417       pragma Assert (False
 418         or else NT (N).Nkind = N_Elsif_Part
 419         or else NT (N).Nkind = N_Iteration_Scheme);
 420       return List3 (N);
 421    end Condition_Actions;
 422
 423    function Constant_Present
 424       (N : Node_Id) return Boolean is
 425    begin
 426       pragma Assert (False
 427         or else NT (N).Nkind = N_Access_To_Object_Definition
 428         or else NT (N).Nkind = N_Object_Declaration);
 429       return Flag17 (N);
 430    end Constant_Present;
 431
 432    function Constraint
 433       (N : Node_Id) return Node_Id is
 434    begin
 435       pragma Assert (False
 436         or else NT (N).Nkind = N_Subtype_Indication);
 437       return Node3 (N);
 438    end Constraint;
 439
 440    function Constraints
 441       (N : Node_Id) return List_Id is
 442    begin
 443       pragma Assert (False
 444         or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
 445       return List1 (N);
 446    end Constraints;
 447
 448    function Context_Installed
 449       (N : Node_Id) return Boolean is
 450    begin
 451       pragma Assert (False
 452         or else NT (N).Nkind = N_With_Clause);
 453       return Flag13 (N);
 454    end Context_Installed;
 455
 456    function Context_Items
 457       (N : Node_Id) return List_Id is
 458    begin
 459       pragma Assert (False
 460         or else NT (N).Nkind = N_Compilation_Unit);
 461       return List1 (N);
 462    end Context_Items;
 463
 464    function Controlling_Argument
 465       (N : Node_Id) return Node_Id is
 466    begin
 467       pragma Assert (False
 468         or else NT (N).Nkind = N_Function_Call
 469         or else NT (N).Nkind = N_Procedure_Call_Statement);
 470       return Node1 (N);
 471    end Controlling_Argument;
 472
 473    function Conversion_OK
 474       (N : Node_Id) return Boolean is
 475    begin
 476       pragma Assert (False
 477         or else NT (N).Nkind = N_Type_Conversion);
 478       return Flag14 (N);
 479    end Conversion_OK;
 480
 481    function Corresponding_Body
 482       (N : Node_Id) return Node_Id is
 483    begin
 484       pragma Assert (False
 485         or else NT (N).Nkind = N_Generic_Package_Declaration
 486         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
 487         or else NT (N).Nkind = N_Package_Body_Stub
 488         or else NT (N).Nkind = N_Package_Declaration
 489         or else NT (N).Nkind = N_Protected_Body_Stub
 490         or else NT (N).Nkind = N_Protected_Type_Declaration
 491         or else NT (N).Nkind = N_Subprogram_Body_Stub
 492         or else NT (N).Nkind = N_Subprogram_Declaration
 493         or else NT (N).Nkind = N_Task_Body_Stub
 494         or else NT (N).Nkind = N_Task_Type_Declaration);
 495       return Node5 (N);
 496    end Corresponding_Body;
 497
 498    function Corresponding_Generic_Association
 499       (N : Node_Id) return Node_Id is
 500    begin
 501       pragma Assert (False
 502         or else NT (N).Nkind = N_Object_Declaration
 503         or else NT (N).Nkind = N_Object_Renaming_Declaration);
 504       return Node5 (N);
 505    end Corresponding_Generic_Association;
 506
 507    function Corresponding_Integer_Value
 508       (N : Node_Id) return Uint is
 509    begin
 510       pragma Assert (False
 511         or else NT (N).Nkind = N_Real_Literal);
 512       return Uint4 (N);
 513    end Corresponding_Integer_Value;
 514
 515    function Corresponding_Spec
 516       (N : Node_Id) return Node_Id is
 517    begin
 518       pragma Assert (False
 519         or else NT (N).Nkind = N_Package_Body
 520         or else NT (N).Nkind = N_Protected_Body
 521         or else NT (N).Nkind = N_Subprogram_Body
 522         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
 523         or else NT (N).Nkind = N_Task_Body
 524         or else NT (N).Nkind = N_With_Clause);
 525       return Node5 (N);
 526    end Corresponding_Spec;
 527
 528    function Corresponding_Stub
 529       (N : Node_Id) return Node_Id is
 530    begin
 531       pragma Assert (False
 532         or else NT (N).Nkind = N_Subunit);
 533       return Node3 (N);
 534    end Corresponding_Stub;
 535
 536    function Dcheck_Function
 537       (N : Node_Id) return Entity_Id is
 538    begin
 539       pragma Assert (False
 540         or else NT (N).Nkind = N_Variant);
 541       return Node5 (N);
 542    end Dcheck_Function;
 543
 544    function Debug_Statement
 545       (N : Node_Id) return Node_Id is
 546    begin
 547       pragma Assert (False
 548         or else NT (N).Nkind = N_Pragma);
 549       return Node3 (N);
 550    end Debug_Statement;
 551
 552    function Declarations
 553       (N : Node_Id) return List_Id is
 554    begin
 555       pragma Assert (False
 556         or else NT (N).Nkind = N_Accept_Statement
 557         or else NT (N).Nkind = N_Block_Statement
 558         or else NT (N).Nkind = N_Compilation_Unit_Aux
 559         or else NT (N).Nkind = N_Entry_Body
 560         or else NT (N).Nkind = N_Package_Body
 561         or else NT (N).Nkind = N_Protected_Body
 562         or else NT (N).Nkind = N_Subprogram_Body
 563         or else NT (N).Nkind = N_Task_Body);
 564       return List2 (N);
 565    end Declarations;
 566
 567    function Default_Expression
 568       (N : Node_Id) return Node_Id is
 569    begin
 570       pragma Assert (False
 571         or else NT (N).Nkind = N_Parameter_Specification);
 572       return Node5 (N);
 573    end Default_Expression;
 574
 575    function Default_Name
 576       (N : Node_Id) return Node_Id is
 577    begin
 578       pragma Assert (False
 579         or else NT (N).Nkind = N_Formal_Subprogram_Declaration);
 580       return Node2 (N);
 581    end Default_Name;
 582
 583    function Defining_Identifier
 584       (N : Node_Id) return Entity_Id is
 585    begin
 586       pragma Assert (False
 587         or else NT (N).Nkind = N_Component_Declaration
 588         or else NT (N).Nkind = N_Defining_Program_Unit_Name
 589         or else NT (N).Nkind = N_Discriminant_Specification
 590         or else NT (N).Nkind = N_Entry_Body
 591         or else NT (N).Nkind = N_Entry_Declaration
 592         or else NT (N).Nkind = N_Entry_Index_Specification
 593         or else NT (N).Nkind = N_Exception_Declaration
 594         or else NT (N).Nkind = N_Exception_Renaming_Declaration
 595         or else NT (N).Nkind = N_Formal_Object_Declaration
 596         or else NT (N).Nkind = N_Formal_Package_Declaration
 597         or else NT (N).Nkind = N_Formal_Type_Declaration
 598         or else NT (N).Nkind = N_Full_Type_Declaration
 599         or else NT (N).Nkind = N_Implicit_Label_Declaration
 600         or else NT (N).Nkind = N_Incomplete_Type_Declaration
 601         or else NT (N).Nkind = N_Loop_Parameter_Specification
 602         or else NT (N).Nkind = N_Number_Declaration
 603         or else NT (N).Nkind = N_Object_Declaration
 604         or else NT (N).Nkind = N_Object_Renaming_Declaration
 605         or else NT (N).Nkind = N_Package_Body_Stub
 606         or else NT (N).Nkind = N_Parameter_Specification
 607         or else NT (N).Nkind = N_Private_Extension_Declaration
 608         or else NT (N).Nkind = N_Private_Type_Declaration
 609         or else NT (N).Nkind = N_Protected_Body
 610         or else NT (N).Nkind = N_Protected_Body_Stub
 611         or else NT (N).Nkind = N_Protected_Type_Declaration
 612         or else NT (N).Nkind = N_Single_Protected_Declaration
 613         or else NT (N).Nkind = N_Single_Task_Declaration
 614         or else NT (N).Nkind = N_Subtype_Declaration
 615         or else NT (N).Nkind = N_Task_Body
 616         or else NT (N).Nkind = N_Task_Body_Stub
 617         or else NT (N).Nkind = N_Task_Type_Declaration);
 618       return Node1 (N);
 619    end Defining_Identifier;
 620
 621    function Defining_Unit_Name
 622       (N : Node_Id) return Node_Id is
 623    begin
 624       pragma Assert (False
 625         or else NT (N).Nkind = N_Function_Instantiation
 626         or else NT (N).Nkind = N_Function_Specification
 627         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
 628         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
 629         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
 630         or else NT (N).Nkind = N_Package_Body
 631         or else NT (N).Nkind = N_Package_Instantiation
 632         or else NT (N).Nkind = N_Package_Renaming_Declaration
 633         or else NT (N).Nkind = N_Package_Specification
 634         or else NT (N).Nkind = N_Procedure_Instantiation
 635         or else NT (N).Nkind = N_Procedure_Specification);
 636       return Node1 (N);
 637    end Defining_Unit_Name;
 638
 639    function Delay_Alternative
 640       (N : Node_Id) return Node_Id is
 641    begin
 642       pragma Assert (False
 643         or else NT (N).Nkind = N_Timed_Entry_Call);
 644       return Node4 (N);
 645    end Delay_Alternative;
 646
 647    function Delay_Finalize_Attach
 648       (N : Node_Id) return Boolean is
 649    begin
 650       pragma Assert (False
 651         or else NT (N).Nkind = N_Object_Declaration);
 652       return Flag14 (N);
 653    end Delay_Finalize_Attach;
 654
 655    function Delay_Statement
 656       (N : Node_Id) return Node_Id is
 657    begin
 658       pragma Assert (False
 659         or else NT (N).Nkind = N_Delay_Alternative);
 660       return Node2 (N);
 661    end Delay_Statement;
 662
 663    function Delta_Expression
 664       (N : Node_Id) return Node_Id is
 665    begin
 666       pragma Assert (False
 667         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
 668         or else NT (N).Nkind = N_Delta_Constraint
 669         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
 670       return Node3 (N);
 671    end Delta_Expression;
 672
 673    function Digits_Expression
 674       (N : Node_Id) return Node_Id is
 675    begin
 676       pragma Assert (False
 677         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
 678         or else NT (N).Nkind = N_Digits_Constraint
 679         or else NT (N).Nkind = N_Floating_Point_Definition);
 680       return Node2 (N);
 681    end Digits_Expression;
 682
 683    function Discr_Check_Funcs_Built
 684       (N : Node_Id) return Boolean is
 685    begin
 686       pragma Assert (False
 687         or else NT (N).Nkind = N_Full_Type_Declaration);
 688       return Flag11 (N);
 689    end Discr_Check_Funcs_Built;
 690
 691    function Discrete_Choices
 692       (N : Node_Id) return List_Id is
 693    begin
 694       pragma Assert (False
 695         or else NT (N).Nkind = N_Case_Statement_Alternative
 696         or else NT (N).Nkind = N_Variant);
 697       return List4 (N);
 698    end Discrete_Choices;
 699
 700    function Discrete_Range
 701       (N : Node_Id) return Node_Id is
 702    begin
 703       pragma Assert (False
 704         or else NT (N).Nkind = N_Slice);
 705       return Node4 (N);
 706    end Discrete_Range;
 707
 708    function Discrete_Subtype_Definition
 709       (N : Node_Id) return Node_Id is
 710    begin
 711       pragma Assert (False
 712         or else NT (N).Nkind = N_Entry_Declaration
 713         or else NT (N).Nkind = N_Entry_Index_Specification
 714         or else NT (N).Nkind = N_Loop_Parameter_Specification);
 715       return Node4 (N);
 716    end Discrete_Subtype_Definition;
 717
 718    function Discrete_Subtype_Definitions
 719       (N : Node_Id) return List_Id is
 720    begin
 721       pragma Assert (False
 722         or else NT (N).Nkind = N_Constrained_Array_Definition);
 723       return List2 (N);
 724    end Discrete_Subtype_Definitions;
 725
 726    function Discriminant_Specifications
 727       (N : Node_Id) return List_Id is
 728    begin
 729       pragma Assert (False
 730         or else NT (N).Nkind = N_Formal_Type_Declaration
 731         or else NT (N).Nkind = N_Full_Type_Declaration
 732         or else NT (N).Nkind = N_Incomplete_Type_Declaration
 733         or else NT (N).Nkind = N_Private_Extension_Declaration
 734         or else NT (N).Nkind = N_Private_Type_Declaration
 735         or else NT (N).Nkind = N_Protected_Type_Declaration
 736         or else NT (N).Nkind = N_Task_Type_Declaration);
 737       return List4 (N);
 738    end Discriminant_Specifications;
 739
 740    function Discriminant_Type
 741       (N : Node_Id) return Node_Id is
 742    begin
 743       pragma Assert (False
 744         or else NT (N).Nkind = N_Discriminant_Specification);
 745       return Node5 (N);
 746    end Discriminant_Type;
 747
 748    function Do_Access_Check
 749       (N : Node_Id) return Boolean is
 750    begin
 751       pragma Assert (False
 752         or else NT (N).Nkind = N_Attribute_Reference
 753         or else NT (N).Nkind = N_Explicit_Dereference
 754         or else NT (N).Nkind = N_Indexed_Component
 755         or else NT (N).Nkind = N_Selected_Component
 756         or else NT (N).Nkind = N_Slice);
 757       return Flag11 (N);
 758    end Do_Access_Check;
 759
 760    function Do_Accessibility_Check
 761       (N : Node_Id) return Boolean is
 762    begin
 763       pragma Assert (False
 764         or else NT (N).Nkind = N_Parameter_Specification);
 765       return Flag13 (N);
 766    end Do_Accessibility_Check;
 767
 768    function Do_Discriminant_Check
 769       (N : Node_Id) return Boolean is
 770    begin
 771       pragma Assert (False
 772         or else NT (N).Nkind = N_Selected_Component);
 773       return Flag13 (N);
 774    end Do_Discriminant_Check;
 775
 776    function Do_Division_Check
 777       (N : Node_Id) return Boolean is
 778    begin
 779       pragma Assert (False
 780         or else NT (N).Nkind = N_Op_Divide
 781         or else NT (N).Nkind = N_Op_Mod
 782         or else NT (N).Nkind = N_Op_Rem);
 783       return Flag13 (N);
 784    end Do_Division_Check;
 785
 786    function Do_Length_Check
 787       (N : Node_Id) return Boolean is
 788    begin
 789       pragma Assert (False
 790         or else NT (N).Nkind = N_Assignment_Statement
 791         or else NT (N).Nkind = N_Op_And
 792         or else NT (N).Nkind = N_Op_Or
 793         or else NT (N).Nkind = N_Op_Xor
 794         or else NT (N).Nkind = N_Type_Conversion);
 795       return Flag4 (N);
 796    end Do_Length_Check;
 797
 798    function Do_Overflow_Check
 799       (N : Node_Id) return Boolean is
 800    begin
 801       pragma Assert (False
 802           or else NT (N).Nkind in N_Op
 803         or else NT (N).Nkind = N_Attribute_Reference
 804         or else NT (N).Nkind = N_Type_Conversion);
 805       return Flag17 (N);
 806    end Do_Overflow_Check;
 807
 808    function Do_Range_Check
 809       (N : Node_Id) return Boolean is
 810    begin
 811       pragma Assert (False
 812           or else NT (N).Nkind in N_Subexpr);
 813       return Flag9 (N);
 814    end Do_Range_Check;
 815
 816    function Do_Storage_Check
 817       (N : Node_Id) return Boolean is
 818    begin
 819       pragma Assert (False
 820         or else NT (N).Nkind = N_Allocator
 821         or else NT (N).Nkind = N_Subprogram_Body);
 822       return Flag17 (N);
 823    end Do_Storage_Check;
 824
 825    function Do_Tag_Check
 826       (N : Node_Id) return Boolean is
 827    begin
 828       pragma Assert (False
 829         or else NT (N).Nkind = N_Assignment_Statement
 830         or else NT (N).Nkind = N_Function_Call
 831         or else NT (N).Nkind = N_Procedure_Call_Statement
 832         or else NT (N).Nkind = N_Return_Statement
 833         or else NT (N).Nkind = N_Type_Conversion);
 834       return Flag13 (N);
 835    end Do_Tag_Check;
 836
 837    function Elaborate_All_Present
 838       (N : Node_Id) return Boolean is
 839    begin
 840       pragma Assert (False
 841         or else NT (N).Nkind = N_With_Clause);
 842       return Flag15 (N);
 843    end Elaborate_All_Present;
 844
 845    function Elaborate_Present
 846       (N : Node_Id) return Boolean is
 847    begin
 848       pragma Assert (False
 849         or else NT (N).Nkind = N_With_Clause);
 850       return Flag4 (N);
 851    end Elaborate_Present;
 852
 853    function Elaboration_Boolean
 854       (N : Node_Id) return Node_Id is
 855    begin
 856       pragma Assert (False
 857         or else NT (N).Nkind = N_Function_Specification
 858         or else NT (N).Nkind = N_Procedure_Specification);
 859       return Node2 (N);
 860    end Elaboration_Boolean;
 861
 862    function Else_Actions
 863       (N : Node_Id) return List_Id is
 864    begin
 865       pragma Assert (False
 866         or else NT (N).Nkind = N_Conditional_Expression);
 867       return List3 (N);
 868    end Else_Actions;
 869
 870    function Else_Statements
 871       (N : Node_Id) return List_Id is
 872    begin
 873       pragma Assert (False
 874         or else NT (N).Nkind = N_Conditional_Entry_Call
 875         or else NT (N).Nkind = N_If_Statement
 876         or else NT (N).Nkind = N_Selective_Accept);
 877       return List4 (N);
 878    end Else_Statements;
 879
 880    function Elsif_Parts
 881       (N : Node_Id) return List_Id is
 882    begin
 883       pragma Assert (False
 884         or else NT (N).Nkind = N_If_Statement);
 885       return List3 (N);
 886    end Elsif_Parts;
 887
 888    function Enclosing_Variant
 889       (N : Node_Id) return Node_Id is
 890    begin
 891       pragma Assert (False
 892         or else NT (N).Nkind = N_Variant);
 893       return Node2 (N);
 894    end Enclosing_Variant;
 895
 896    function End_Label
 897       (N : Node_Id) return Node_Id is
 898    begin
 899       pragma Assert (False
 900         or else NT (N).Nkind = N_Enumeration_Type_Definition
 901         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
 902         or else NT (N).Nkind = N_Loop_Statement
 903         or else NT (N).Nkind = N_Package_Specification
 904         or else NT (N).Nkind = N_Protected_Body
 905         or else NT (N).Nkind = N_Protected_Definition
 906         or else NT (N).Nkind = N_Record_Definition
 907         or else NT (N).Nkind = N_Task_Definition);
 908       return Node4 (N);
 909    end End_Label;
 910
 911    function End_Span
 912       (N : Node_Id) return Uint is
 913    begin
 914       pragma Assert (False
 915         or else NT (N).Nkind = N_Case_Statement
 916         or else NT (N).Nkind = N_If_Statement);
 917       return Uint5 (N);
 918    end End_Span;
 919
 920    function Entity
 921       (N : Node_Id) return Node_Id is
 922    begin
 923       pragma Assert (False
 924           or else NT (N).Nkind in N_Has_Entity
 925         or else NT (N).Nkind = N_Freeze_Entity);
 926       return Node4 (N);
 927    end Entity;
 928
 929    function Entry_Body_Formal_Part
 930       (N : Node_Id) return Node_Id is
 931    begin
 932       pragma Assert (False
 933         or else NT (N).Nkind = N_Entry_Body);
 934       return Node5 (N);
 935    end Entry_Body_Formal_Part;
 936
 937    function Entry_Call_Alternative
 938       (N : Node_Id) return Node_Id is
 939    begin
 940       pragma Assert (False
 941         or else NT (N).Nkind = N_Conditional_Entry_Call
 942         or else NT (N).Nkind = N_Timed_Entry_Call);
 943       return Node1 (N);
 944    end Entry_Call_Alternative;
 945
 946    function Entry_Call_Statement
 947       (N : Node_Id) return Node_Id is
 948    begin
 949       pragma Assert (False
 950         or else NT (N).Nkind = N_Entry_Call_Alternative);
 951       return Node1 (N);
 952    end Entry_Call_Statement;
 953
 954    function Entry_Direct_Name
 955       (N : Node_Id) return Node_Id is
 956    begin
 957       pragma Assert (False
 958         or else NT (N).Nkind = N_Accept_Statement);
 959       return Node1 (N);
 960    end Entry_Direct_Name;
 961
 962    function Entry_Index
 963       (N : Node_Id) return Node_Id is
 964    begin
 965       pragma Assert (False
 966         or else NT (N).Nkind = N_Accept_Statement);
 967       return Node5 (N);
 968    end Entry_Index;
 969
 970    function Entry_Index_Specification
 971       (N : Node_Id) return Node_Id is
 972    begin
 973       pragma Assert (False
 974         or else NT (N).Nkind = N_Entry_Body_Formal_Part);
 975       return Node4 (N);
 976    end Entry_Index_Specification;
 977
 978    function Etype
 979       (N : Node_Id) return Node_Id is
 980    begin
 981       pragma Assert (False
 982          or else NT (N).Nkind in N_Has_Etype);
 983       return Node5 (N);
 984    end Etype;
 985
 986    function Exception_Choices
 987       (N : Node_Id) return List_Id is
 988    begin
 989       pragma Assert (False
 990         or else NT (N).Nkind = N_Exception_Handler);
 991       return List4 (N);
 992    end Exception_Choices;
 993
 994    function Exception_Handlers
 995       (N : Node_Id) return List_Id is
 996    begin
 997       pragma Assert (False
 998         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
 999       return List5 (N);
1000    end Exception_Handlers;
1001
1002    function Exception_Junk
1003      (N : Node_Id) return Boolean is
1004    begin
1005       pragma Assert (False
1006         or else NT (N).Nkind = N_Goto_Statement
1007         or else NT (N).Nkind = N_Label
1008         or else NT (N).Nkind = N_Object_Declaration
1009         or else NT (N).Nkind = N_Subtype_Declaration);
1010       return Flag11 (N);
1011    end Exception_Junk;
1012
1013    function Expansion_Delayed
1014      (N : Node_Id) return Boolean is
1015    begin
1016       pragma Assert (False
1017         or else NT (N).Nkind = N_Aggregate
1018         or else NT (N).Nkind = N_Extension_Aggregate);
1019       return Flag11 (N);
1020    end Expansion_Delayed;
1021
1022    function Explicit_Actual_Parameter
1023       (N : Node_Id) return Node_Id is
1024    begin
1025       pragma Assert (False
1026         or else NT (N).Nkind = N_Parameter_Association);
1027       return Node3 (N);
1028    end Explicit_Actual_Parameter;
1029
1030    function Explicit_Generic_Actual_Parameter
1031       (N : Node_Id) return Node_Id is
1032    begin
1033       pragma Assert (False
1034         or else NT (N).Nkind = N_Generic_Association);
1035       return Node1 (N);
1036    end Explicit_Generic_Actual_Parameter;
1037
1038    function Expression
1039       (N : Node_Id) return Node_Id is
1040    begin
1041       pragma Assert (False
1042         or else NT (N).Nkind = N_Allocator
1043         or else NT (N).Nkind = N_Assignment_Statement
1044         or else NT (N).Nkind = N_At_Clause
1045         or else NT (N).Nkind = N_Attribute_Definition_Clause
1046         or else NT (N).Nkind = N_Case_Statement
1047         or else NT (N).Nkind = N_Code_Statement
1048         or else NT (N).Nkind = N_Component_Association
1049         or else NT (N).Nkind = N_Component_Declaration
1050         or else NT (N).Nkind = N_Delay_Relative_Statement
1051         or else NT (N).Nkind = N_Delay_Until_Statement
1052         or else NT (N).Nkind = N_Discriminant_Association
1053         or else NT (N).Nkind = N_Discriminant_Specification
1054         or else NT (N).Nkind = N_Exception_Declaration
1055         or else NT (N).Nkind = N_Formal_Object_Declaration
1056         or else NT (N).Nkind = N_Free_Statement
1057         or else NT (N).Nkind = N_Mod_Clause
1058         or else NT (N).Nkind = N_Modular_Type_Definition
1059         or else NT (N).Nkind = N_Number_Declaration
1060         or else NT (N).Nkind = N_Object_Declaration
1061         or else NT (N).Nkind = N_Parameter_Specification
1062         or else NT (N).Nkind = N_Pragma_Argument_Association
1063         or else NT (N).Nkind = N_Qualified_Expression
1064         or else NT (N).Nkind = N_Return_Statement
1065         or else NT (N).Nkind = N_Type_Conversion
1066         or else NT (N).Nkind = N_Unchecked_Expression
1067         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1068       return Node3 (N);
1069    end Expression;
1070
1071    function Expressions
1072       (N : Node_Id) return List_Id is
1073    begin
1074       pragma Assert (False
1075         or else NT (N).Nkind = N_Aggregate
1076         or else NT (N).Nkind = N_Attribute_Reference
1077         or else NT (N).Nkind = N_Conditional_Expression
1078         or else NT (N).Nkind = N_Extension_Aggregate
1079         or else NT (N).Nkind = N_Indexed_Component);
1080       return List1 (N);
1081    end Expressions;
1082
1083    function First_Bit
1084       (N : Node_Id) return Node_Id is
1085    begin
1086       pragma Assert (False
1087         or else NT (N).Nkind = N_Component_Clause);
1088       return Node3 (N);
1089    end First_Bit;
1090
1091    function First_Inlined_Subprogram
1092       (N : Node_Id) return Entity_Id is
1093    begin
1094       pragma Assert (False
1095         or else NT (N).Nkind = N_Compilation_Unit);
1096       return Node3 (N);
1097    end First_Inlined_Subprogram;
1098
1099    function First_Name
1100       (N : Node_Id) return Boolean is
1101    begin
1102       pragma Assert (False
1103         or else NT (N).Nkind = N_With_Clause);
1104       return Flag5 (N);
1105    end First_Name;
1106
1107    function First_Named_Actual
1108       (N : Node_Id) return Node_Id is
1109    begin
1110       pragma Assert (False
1111         or else NT (N).Nkind = N_Entry_Call_Statement
1112         or else NT (N).Nkind = N_Function_Call
1113         or else NT (N).Nkind = N_Procedure_Call_Statement);
1114       return Node4 (N);
1115    end First_Named_Actual;
1116
1117    function First_Real_Statement
1118       (N : Node_Id) return Node_Id is
1119    begin
1120       pragma Assert (False
1121         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
1122       return Node2 (N);
1123    end First_Real_Statement;
1124
1125    function First_Subtype_Link
1126       (N : Node_Id) return Entity_Id is
1127    begin
1128       pragma Assert (False
1129         or else NT (N).Nkind = N_Freeze_Entity);
1130       return Node5 (N);
1131    end First_Subtype_Link;
1132
1133    function Float_Truncate
1134       (N : Node_Id) return Boolean is
1135    begin
1136       pragma Assert (False
1137         or else NT (N).Nkind = N_Type_Conversion);
1138       return Flag11 (N);
1139    end Float_Truncate;
1140
1141    function Formal_Type_Definition
1142       (N : Node_Id) return Node_Id is
1143    begin
1144       pragma Assert (False
1145         or else NT (N).Nkind = N_Formal_Type_Declaration);
1146       return Node3 (N);
1147    end Formal_Type_Definition;
1148
1149    function Forwards_OK
1150       (N : Node_Id) return Boolean is
1151    begin
1152       pragma Assert (False
1153         or else NT (N).Nkind = N_Assignment_Statement);
1154       return Flag5 (N);
1155    end Forwards_OK;
1156
1157    function From_At_Mod
1158       (N : Node_Id) return Boolean is
1159    begin
1160       pragma Assert (False
1161         or else NT (N).Nkind = N_Attribute_Definition_Clause);
1162       return Flag4 (N);
1163    end From_At_Mod;
1164
1165    function Generic_Associations
1166       (N : Node_Id) return List_Id is
1167    begin
1168       pragma Assert (False
1169         or else NT (N).Nkind = N_Formal_Package_Declaration
1170         or else NT (N).Nkind = N_Function_Instantiation
1171         or else NT (N).Nkind = N_Package_Instantiation
1172         or else NT (N).Nkind = N_Procedure_Instantiation);
1173       return List3 (N);
1174    end Generic_Associations;
1175
1176    function Generic_Formal_Declarations
1177       (N : Node_Id) return List_Id is
1178    begin
1179       pragma Assert (False
1180         or else NT (N).Nkind = N_Generic_Package_Declaration
1181         or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
1182       return List2 (N);
1183    end Generic_Formal_Declarations;
1184
1185    function Generic_Parent
1186       (N : Node_Id) return Node_Id is
1187    begin
1188       pragma Assert (False
1189         or else NT (N).Nkind = N_Function_Specification
1190         or else NT (N).Nkind = N_Package_Specification
1191         or else NT (N).Nkind = N_Procedure_Specification);
1192       return Node5 (N);
1193    end Generic_Parent;
1194
1195    function Generic_Parent_Type
1196       (N : Node_Id) return Node_Id is
1197    begin
1198       pragma Assert (False
1199         or else NT (N).Nkind = N_Subtype_Declaration);
1200       return Node4 (N);
1201    end Generic_Parent_Type;
1202
1203    function Handled_Statement_Sequence
1204       (N : Node_Id) return Node_Id is
1205    begin
1206       pragma Assert (False
1207         or else NT (N).Nkind = N_Accept_Statement
1208         or else NT (N).Nkind = N_Block_Statement
1209         or else NT (N).Nkind = N_Entry_Body
1210         or else NT (N).Nkind = N_Package_Body
1211         or else NT (N).Nkind = N_Subprogram_Body
1212         or else NT (N).Nkind = N_Task_Body);
1213       return Node4 (N);
1214    end Handled_Statement_Sequence;
1215
1216    function Handler_List_Entry
1217       (N : Node_Id) return Node_Id is
1218    begin
1219       pragma Assert (False
1220         or else NT (N).Nkind = N_Object_Declaration);
1221       return Node2 (N);
1222    end Handler_List_Entry;
1223
1224    function Has_Created_Identifier
1225       (N : Node_Id) return Boolean is
1226    begin
1227       pragma Assert (False
1228         or else NT (N).Nkind = N_Block_Statement
1229         or else NT (N).Nkind = N_Loop_Statement);
1230       return Flag15 (N);
1231    end Has_Created_Identifier;
1232
1233    function Has_Dynamic_Length_Check
1234       (N : Node_Id) return Boolean is
1235    begin
1236       return Flag10 (N);
1237    end Has_Dynamic_Length_Check;
1238
1239    function Has_Dynamic_Range_Check
1240       (N : Node_Id) return Boolean is
1241    begin
1242       return Flag12 (N);
1243    end Has_Dynamic_Range_Check;
1244
1245    function Has_No_Elaboration_Code
1246       (N : Node_Id) return Boolean is
1247    begin
1248       pragma Assert (False
1249         or else NT (N).Nkind = N_Compilation_Unit);
1250       return Flag17 (N);
1251    end Has_No_Elaboration_Code;
1252
1253    function Has_Priority_Pragma
1254       (N : Node_Id) return Boolean is
1255    begin
1256       pragma Assert (False
1257         or else NT (N).Nkind = N_Protected_Definition
1258         or else NT (N).Nkind = N_Subprogram_Body
1259         or else NT (N).Nkind = N_Task_Definition);
1260       return Flag6 (N);
1261    end Has_Priority_Pragma;
1262
1263    function Has_Private_View
1264       (N : Node_Id) return Boolean is
1265    begin
1266       pragma Assert (False
1267          or else NT (N).Nkind in N_Op
1268        or else NT (N).Nkind = N_Character_Literal
1269        or else NT (N).Nkind = N_Expanded_Name
1270        or else NT (N).Nkind = N_Identifier
1271        or else NT (N).Nkind = N_Operator_Symbol);
1272       return Flag11 (N);
1273    end Has_Private_View;
1274
1275    function Has_Storage_Size_Pragma
1276       (N : Node_Id) return Boolean is
1277    begin
1278       pragma Assert (False
1279         or else NT (N).Nkind = N_Task_Definition);
1280       return Flag5 (N);
1281    end Has_Storage_Size_Pragma;
1282
1283    function Has_Task_Info_Pragma
1284       (N : Node_Id) return Boolean is
1285    begin
1286       pragma Assert (False
1287         or else NT (N).Nkind = N_Task_Definition);
1288       return Flag7 (N);
1289    end Has_Task_Info_Pragma;
1290
1291    function Has_Task_Name_Pragma
1292       (N : Node_Id) return Boolean is
1293    begin
1294       pragma Assert (False
1295         or else NT (N).Nkind = N_Task_Definition);
1296       return Flag8 (N);
1297    end Has_Task_Name_Pragma;
1298
1299    function Has_Wide_Character
1300       (N : Node_Id) return Boolean is
1301    begin
1302       pragma Assert (False
1303         or else NT (N).Nkind = N_String_Literal);
1304       return Flag11 (N);
1305    end Has_Wide_Character;
1306
1307    function Hidden_By_Use_Clause
1308      (N : Node_Id) return Elist_Id is
1309    begin
1310       pragma Assert (False
1311         or else NT (N).Nkind = N_Use_Package_Clause
1312         or else NT (N).Nkind = N_Use_Type_Clause);
1313       return Elist4 (N);
1314    end Hidden_By_Use_Clause;
1315
1316    function High_Bound
1317       (N : Node_Id) return Node_Id is
1318    begin
1319       pragma Assert (False
1320         or else NT (N).Nkind = N_Range
1321         or else NT (N).Nkind = N_Real_Range_Specification
1322         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1323       return Node2 (N);
1324    end High_Bound;
1325
1326    function Identifier
1327       (N : Node_Id) return Node_Id is
1328    begin
1329       pragma Assert (False
1330         or else NT (N).Nkind = N_At_Clause
1331         or else NT (N).Nkind = N_Block_Statement
1332         or else NT (N).Nkind = N_Designator
1333         or else NT (N).Nkind = N_Enumeration_Representation_Clause
1334         or else NT (N).Nkind = N_Label
1335         or else NT (N).Nkind = N_Loop_Statement
1336         or else NT (N).Nkind = N_Record_Representation_Clause
1337         or else NT (N).Nkind = N_Subprogram_Info);
1338       return Node1 (N);
1339    end Identifier;
1340
1341    function Implicit_With
1342       (N : Node_Id) return Boolean is
1343    begin
1344       pragma Assert (False
1345         or else NT (N).Nkind = N_With_Clause);
1346       return Flag17 (N);
1347    end Implicit_With;
1348
1349    function In_Present
1350       (N : Node_Id) return Boolean is
1351    begin
1352       pragma Assert (False
1353         or else NT (N).Nkind = N_Formal_Object_Declaration
1354         or else NT (N).Nkind = N_Parameter_Specification);
1355       return Flag15 (N);
1356    end In_Present;
1357
1358    function Includes_Infinities
1359       (N : Node_Id) return Boolean is
1360    begin
1361       pragma Assert (False
1362         or else NT (N).Nkind = N_Range);
1363       return Flag11 (N);
1364    end Includes_Infinities;
1365
1366    function Instance_Spec
1367       (N : Node_Id) return Node_Id is
1368    begin
1369       pragma Assert (False
1370         or else NT (N).Nkind = N_Formal_Package_Declaration
1371         or else NT (N).Nkind = N_Function_Instantiation
1372         or else NT (N).Nkind = N_Package_Instantiation
1373         or else NT (N).Nkind = N_Procedure_Instantiation);
1374       return Node5 (N);
1375    end Instance_Spec;
1376
1377    function Intval
1378       (N : Node_Id) return Uint is
1379    begin
1380       pragma Assert (False
1381         or else NT (N).Nkind = N_Integer_Literal);
1382       return Uint3 (N);
1383    end Intval;
1384
1385    function Is_Asynchronous_Call_Block
1386       (N : Node_Id) return Boolean is
1387    begin
1388       pragma Assert (False
1389         or else NT (N).Nkind = N_Block_Statement);
1390       return Flag7 (N);
1391    end Is_Asynchronous_Call_Block;
1392
1393    function Is_Component_Left_Opnd
1394       (N : Node_Id) return Boolean is
1395    begin
1396       pragma Assert (False
1397         or else NT (N).Nkind = N_Op_Concat);
1398       return Flag13 (N);
1399    end Is_Component_Left_Opnd;
1400
1401    function Is_Component_Right_Opnd
1402       (N : Node_Id) return Boolean is
1403    begin
1404       pragma Assert (False
1405         or else NT (N).Nkind = N_Op_Concat);
1406       return Flag14 (N);
1407    end Is_Component_Right_Opnd;
1408
1409    function Is_Controlling_Actual
1410       (N : Node_Id) return Boolean is
1411    begin
1412       pragma Assert (False
1413           or else NT (N).Nkind in N_Subexpr);
1414       return Flag16 (N);
1415    end Is_Controlling_Actual;
1416
1417    function Is_Machine_Number
1418       (N : Node_Id) return Boolean is
1419    begin
1420       pragma Assert (False
1421         or else NT (N).Nkind = N_Real_Literal);
1422       return Flag11 (N);
1423    end Is_Machine_Number;
1424
1425    function Is_Overloaded
1426       (N : Node_Id) return Boolean is
1427    begin
1428       pragma Assert (False
1429           or else NT (N).Nkind in N_Subexpr);
1430       return Flag5 (N);
1431    end Is_Overloaded;
1432
1433    function Is_Power_Of_2_For_Shift
1434       (N : Node_Id) return Boolean is
1435    begin
1436       pragma Assert (False
1437         or else NT (N).Nkind = N_Op_Expon);
1438       return Flag13 (N);
1439    end Is_Power_Of_2_For_Shift;
1440
1441    function Is_Protected_Subprogram_Body
1442       (N : Node_Id) return Boolean is
1443    begin
1444       pragma Assert (False
1445         or else NT (N).Nkind = N_Subprogram_Body);
1446       return Flag7 (N);
1447    end Is_Protected_Subprogram_Body;
1448
1449    function Is_Static_Expression
1450       (N : Node_Id) return Boolean is
1451    begin
1452       pragma Assert (False
1453           or else NT (N).Nkind in N_Subexpr);
1454       return Flag6 (N);
1455    end Is_Static_Expression;
1456
1457    function Is_Subprogram_Descriptor
1458       (N : Node_Id) return Boolean is
1459    begin
1460       pragma Assert (False
1461         or else NT (N).Nkind = N_Object_Declaration);
1462       return Flag16 (N);
1463    end Is_Subprogram_Descriptor;
1464
1465    function Is_Task_Allocation_Block
1466       (N : Node_Id) return Boolean is
1467    begin
1468       pragma Assert (False
1469         or else NT (N).Nkind = N_Block_Statement);
1470       return Flag6 (N);
1471    end Is_Task_Allocation_Block;
1472
1473    function Is_Task_Master
1474       (N : Node_Id) return Boolean is
1475    begin
1476       pragma Assert (False
1477         or else NT (N).Nkind = N_Block_Statement
1478         or else NT (N).Nkind = N_Subprogram_Body
1479         or else NT (N).Nkind = N_Task_Body);
1480       return Flag5 (N);
1481    end Is_Task_Master;
1482
1483    function Iteration_Scheme
1484       (N : Node_Id) return Node_Id is
1485    begin
1486       pragma Assert (False
1487         or else NT (N).Nkind = N_Loop_Statement);
1488       return Node2 (N);
1489    end Iteration_Scheme;
1490
1491    function Itype
1492       (N : Node_Id) return Node_Id is
1493    begin
1494       pragma Assert (False
1495       or else NT (N).Nkind = N_Itype_Reference);
1496       return Node1 (N);
1497    end Itype;
1498
1499    function Kill_Range_Check
1500       (N : Node_Id) return Boolean is
1501    begin
1502       pragma Assert (False
1503         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
1504       return Flag11 (N);
1505    end Kill_Range_Check;
1506
1507    function Label_Construct
1508       (N : Node_Id) return Node_Id is
1509    begin
1510       pragma Assert (False
1511         or else NT (N).Nkind = N_Implicit_Label_Declaration);
1512       return Node2 (N);
1513    end Label_Construct;
1514
1515    function Last_Bit
1516       (N : Node_Id) return Node_Id is
1517    begin
1518       pragma Assert (False
1519         or else NT (N).Nkind = N_Component_Clause);
1520       return Node4 (N);
1521    end Last_Bit;
1522
1523    function Last_Name
1524       (N : Node_Id) return Boolean is
1525    begin
1526       pragma Assert (False
1527         or else NT (N).Nkind = N_With_Clause);
1528       return Flag6 (N);
1529    end Last_Name;
1530
1531    function Left_Opnd
1532       (N : Node_Id) return Node_Id is
1533    begin
1534       pragma Assert (False
1535         or else NT (N).Nkind = N_And_Then
1536         or else NT (N).Nkind = N_In
1537         or else NT (N).Nkind = N_Not_In
1538         or else NT (N).Nkind = N_Or_Else
1539           or else NT (N).Nkind in N_Binary_Op);
1540       return Node2 (N);
1541    end Left_Opnd;
1542
1543    function Library_Unit
1544       (N : Node_Id) return Node_Id is
1545    begin
1546       pragma Assert (False
1547         or else NT (N).Nkind = N_Compilation_Unit
1548         or else NT (N).Nkind = N_Package_Body_Stub
1549         or else NT (N).Nkind = N_Protected_Body_Stub
1550         or else NT (N).Nkind = N_Subprogram_Body_Stub
1551         or else NT (N).Nkind = N_Task_Body_Stub
1552         or else NT (N).Nkind = N_With_Clause);
1553       return Node4 (N);
1554    end Library_Unit;
1555
1556    function Limited_Present
1557       (N : Node_Id) return Boolean is
1558    begin
1559       pragma Assert (False
1560         or else NT (N).Nkind = N_Formal_Private_Type_Definition
1561         or else NT (N).Nkind = N_Private_Type_Declaration
1562         or else NT (N).Nkind = N_Record_Definition);
1563       return Flag17 (N);
1564    end Limited_Present;
1565
1566    function Literals
1567       (N : Node_Id) return List_Id is
1568    begin
1569       pragma Assert (False
1570         or else NT (N).Nkind = N_Enumeration_Type_Definition);
1571       return List1 (N);
1572    end Literals;
1573
1574    function Loop_Actions
1575       (N : Node_Id) return List_Id is
1576    begin
1577       pragma Assert (False
1578         or else NT (N).Nkind = N_Component_Association);
1579       return List2 (N);
1580    end Loop_Actions;
1581
1582    function Loop_Parameter_Specification
1583       (N : Node_Id) return Node_Id is
1584    begin
1585       pragma Assert (False
1586         or else NT (N).Nkind = N_Iteration_Scheme);
1587       return Node4 (N);
1588    end Loop_Parameter_Specification;
1589
1590    function Low_Bound
1591       (N : Node_Id) return Node_Id is
1592    begin
1593       pragma Assert (False
1594         or else NT (N).Nkind = N_Range
1595         or else NT (N).Nkind = N_Real_Range_Specification
1596         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
1597       return Node1 (N);
1598    end Low_Bound;
1599
1600    function Mod_Clause
1601       (N : Node_Id) return Node_Id is
1602    begin
1603       pragma Assert (False
1604         or else NT (N).Nkind = N_Record_Representation_Clause);
1605       return Node2 (N);
1606    end Mod_Clause;
1607
1608    function More_Ids
1609       (N : Node_Id) return Boolean is
1610    begin
1611       pragma Assert (False
1612         or else NT (N).Nkind = N_Component_Declaration
1613         or else NT (N).Nkind = N_Discriminant_Specification
1614         or else NT (N).Nkind = N_Exception_Declaration
1615         or else NT (N).Nkind = N_Formal_Object_Declaration
1616         or else NT (N).Nkind = N_Number_Declaration
1617         or else NT (N).Nkind = N_Object_Declaration
1618         or else NT (N).Nkind = N_Parameter_Specification);
1619       return Flag5 (N);
1620    end More_Ids;
1621
1622    function Must_Be_Byte_Aligned
1623       (N : Node_Id) return Boolean is
1624    begin
1625       pragma Assert (False
1626         or else NT (N).Nkind = N_Attribute_Reference);
1627       return Flag14 (N);
1628    end Must_Be_Byte_Aligned;
1629
1630    function Must_Not_Freeze
1631       (N : Node_Id) return Boolean is
1632    begin
1633       pragma Assert (False
1634         or else NT (N).Nkind = N_Subtype_Indication
1635           or else NT (N).Nkind in N_Subexpr);
1636       return Flag8 (N);
1637    end Must_Not_Freeze;
1638
1639    function Name
1640       (N : Node_Id) return Node_Id is
1641    begin
1642       pragma Assert (False
1643         or else NT (N).Nkind = N_Assignment_Statement
1644         or else NT (N).Nkind = N_Attribute_Definition_Clause
1645         or else NT (N).Nkind = N_Defining_Program_Unit_Name
1646         or else NT (N).Nkind = N_Designator
1647         or else NT (N).Nkind = N_Entry_Call_Statement
1648         or else NT (N).Nkind = N_Exception_Renaming_Declaration
1649         or else NT (N).Nkind = N_Exit_Statement
1650         or else NT (N).Nkind = N_Formal_Package_Declaration
1651         or else NT (N).Nkind = N_Function_Call
1652         or else NT (N).Nkind = N_Function_Instantiation
1653         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
1654         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
1655         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
1656         or else NT (N).Nkind = N_Goto_Statement
1657         or else NT (N).Nkind = N_Object_Renaming_Declaration
1658         or else NT (N).Nkind = N_Package_Instantiation
1659         or else NT (N).Nkind = N_Package_Renaming_Declaration
1660         or else NT (N).Nkind = N_Procedure_Call_Statement
1661         or else NT (N).Nkind = N_Procedure_Instantiation
1662         or else NT (N).Nkind = N_Raise_Statement
1663         or else NT (N).Nkind = N_Requeue_Statement
1664         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
1665         or else NT (N).Nkind = N_Subunit
1666         or else NT (N).Nkind = N_Variant_Part
1667         or else NT (N).Nkind = N_With_Clause
1668         or else NT (N).Nkind = N_With_Type_Clause);
1669       return Node2 (N);
1670    end Name;
1671
1672    function Names
1673       (N : Node_Id) return List_Id is
1674    begin
1675       pragma Assert (False
1676         or else NT (N).Nkind = N_Abort_Statement
1677         or else NT (N).Nkind = N_Use_Package_Clause);
1678       return List2 (N);
1679    end Names;
1680
1681    function Next_Entity
1682       (N : Node_Id) return Node_Id is
1683    begin
1684       pragma Assert (False
1685         or else NT (N).Nkind = N_Defining_Character_Literal
1686         or else NT (N).Nkind = N_Defining_Identifier
1687         or else NT (N).Nkind = N_Defining_Operator_Symbol);
1688       return Node2 (N);
1689    end Next_Entity;
1690
1691    function Next_Named_Actual
1692       (N : Node_Id) return Node_Id is
1693    begin
1694       pragma Assert (False
1695         or else NT (N).Nkind = N_Parameter_Association);
1696       return Node4 (N);
1697    end Next_Named_Actual;
1698
1699    function Next_Rep_Item
1700       (N : Node_Id) return Node_Id is
1701    begin
1702       pragma Assert (False
1703         or else NT (N).Nkind = N_Attribute_Definition_Clause
1704         or else NT (N).Nkind = N_Enumeration_Representation_Clause
1705         or else NT (N).Nkind = N_Pragma
1706         or else NT (N).Nkind = N_Record_Representation_Clause);
1707       return Node4 (N);
1708    end Next_Rep_Item;
1709
1710    function Next_Use_Clause
1711       (N : Node_Id) return Node_Id is
1712    begin
1713       pragma Assert (False
1714         or else NT (N).Nkind = N_Use_Package_Clause
1715         or else NT (N).Nkind = N_Use_Type_Clause);
1716       return Node3 (N);
1717    end Next_Use_Clause;
1718
1719    function No_Ctrl_Actions
1720       (N : Node_Id) return Boolean is
1721    begin
1722       pragma Assert (False
1723         or else NT (N).Nkind = N_Assignment_Statement);
1724       return Flag7 (N);
1725    end No_Ctrl_Actions;
1726
1727    function No_Entities_Ref_In_Spec
1728       (N : Node_Id) return Boolean is
1729    begin
1730       pragma Assert (False
1731         or else NT (N).Nkind = N_With_Clause);
1732       return Flag8 (N);
1733    end No_Entities_Ref_In_Spec;
1734
1735    function No_Initialization
1736       (N : Node_Id) return Boolean is
1737    begin
1738       pragma Assert (False
1739         or else NT (N).Nkind = N_Allocator
1740         or else NT (N).Nkind = N_Object_Declaration);
1741       return Flag13 (N);
1742    end No_Initialization;
1743
1744    function Null_Present
1745       (N : Node_Id) return Boolean is
1746    begin
1747       pragma Assert (False
1748         or else NT (N).Nkind = N_Component_List
1749         or else NT (N).Nkind = N_Record_Definition);
1750       return Flag13 (N);
1751    end Null_Present;
1752
1753    function Null_Record_Present
1754       (N : Node_Id) return Boolean is
1755    begin
1756       pragma Assert (False
1757         or else NT (N).Nkind = N_Aggregate
1758         or else NT (N).Nkind = N_Extension_Aggregate);
1759       return Flag17 (N);
1760    end Null_Record_Present;
1761
1762    function Object_Definition
1763       (N : Node_Id) return Node_Id is
1764    begin
1765       pragma Assert (False
1766         or else NT (N).Nkind = N_Object_Declaration);
1767       return Node4 (N);
1768    end Object_Definition;
1769
1770    function OK_For_Stream
1771       (N : Node_Id) return Boolean is
1772    begin
1773       pragma Assert (False
1774         or else NT (N).Nkind = N_Attribute_Reference);
1775       return Flag4 (N);
1776    end OK_For_Stream;
1777
1778    function Original_Discriminant
1779       (N : Node_Id) return Node_Id is
1780    begin
1781       pragma Assert (False
1782         or else NT (N).Nkind = N_Identifier);
1783       return Node2 (N);
1784    end Original_Discriminant;
1785
1786    function Others_Discrete_Choices
1787       (N : Node_Id) return List_Id is
1788    begin
1789       pragma Assert (False
1790         or else NT (N).Nkind = N_Others_Choice);
1791       return List1 (N);
1792    end Others_Discrete_Choices;
1793
1794    function Out_Present
1795       (N : Node_Id) return Boolean is
1796    begin
1797       pragma Assert (False
1798         or else NT (N).Nkind = N_Formal_Object_Declaration
1799         or else NT (N).Nkind = N_Parameter_Specification);
1800       return Flag17 (N);
1801    end Out_Present;
1802
1803    function Parameter_Associations
1804       (N : Node_Id) return List_Id is
1805    begin
1806       pragma Assert (False
1807         or else NT (N).Nkind = N_Entry_Call_Statement
1808         or else NT (N).Nkind = N_Function_Call
1809         or else NT (N).Nkind = N_Procedure_Call_Statement);
1810       return List3 (N);
1811    end Parameter_Associations;
1812
1813    function Parameter_List_Truncated
1814       (N : Node_Id) return Boolean is
1815    begin
1816       pragma Assert (False
1817         or else NT (N).Nkind = N_Function_Call
1818         or else NT (N).Nkind = N_Procedure_Call_Statement);
1819       return Flag17 (N);
1820    end Parameter_List_Truncated;
1821
1822    function Parameter_Specifications
1823       (N : Node_Id) return List_Id is
1824    begin
1825       pragma Assert (False
1826         or else NT (N).Nkind = N_Accept_Statement
1827         or else NT (N).Nkind = N_Access_Function_Definition
1828         or else NT (N).Nkind = N_Access_Procedure_Definition
1829         or else NT (N).Nkind = N_Entry_Body_Formal_Part
1830         or else NT (N).Nkind = N_Entry_Declaration
1831         or else NT (N).Nkind = N_Function_Specification
1832         or else NT (N).Nkind = N_Procedure_Specification);
1833       return List3 (N);
1834    end Parameter_Specifications;
1835
1836    function Parameter_Type
1837       (N : Node_Id) return Node_Id is
1838    begin
1839       pragma Assert (False
1840         or else NT (N).Nkind = N_Parameter_Specification);
1841       return Node2 (N);
1842    end Parameter_Type;
1843
1844    function Parent_Spec
1845       (N : Node_Id) return Node_Id is
1846    begin
1847       pragma Assert (False
1848         or else NT (N).Nkind = N_Function_Instantiation
1849         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
1850         or else NT (N).Nkind = N_Generic_Package_Declaration
1851         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
1852         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
1853         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
1854         or else NT (N).Nkind = N_Package_Declaration
1855         or else NT (N).Nkind = N_Package_Instantiation
1856         or else NT (N).Nkind = N_Package_Renaming_Declaration
1857         or else NT (N).Nkind = N_Procedure_Instantiation
1858         or else NT (N).Nkind = N_Subprogram_Declaration
1859         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
1860       return Node4 (N);
1861    end Parent_Spec;
1862
1863    function Position
1864       (N : Node_Id) return Node_Id is
1865    begin
1866       pragma Assert (False
1867         or else NT (N).Nkind = N_Component_Clause);
1868       return Node2 (N);
1869    end Position;
1870
1871    function Pragma_Argument_Associations
1872       (N : Node_Id) return List_Id is
1873    begin
1874       pragma Assert (False
1875         or else NT (N).Nkind = N_Pragma);
1876       return List2 (N);
1877    end Pragma_Argument_Associations;
1878
1879    function Pragmas_After
1880       (N : Node_Id) return List_Id is
1881    begin
1882       pragma Assert (False
1883         or else NT (N).Nkind = N_Compilation_Unit_Aux
1884         or else NT (N).Nkind = N_Terminate_Alternative);
1885       return List5 (N);
1886    end Pragmas_After;
1887
1888    function Pragmas_Before
1889       (N : Node_Id) return List_Id is
1890    begin
1891       pragma Assert (False
1892         or else NT (N).Nkind = N_Accept_Alternative
1893         or else NT (N).Nkind = N_Delay_Alternative
1894         or else NT (N).Nkind = N_Entry_Call_Alternative
1895         or else NT (N).Nkind = N_Mod_Clause
1896         or else NT (N).Nkind = N_Terminate_Alternative
1897         or else NT (N).Nkind = N_Triggering_Alternative);
1898       return List4 (N);
1899    end Pragmas_Before;
1900
1901    function Prefix
1902       (N : Node_Id) return Node_Id is
1903    begin
1904       pragma Assert (False
1905         or else NT (N).Nkind = N_Attribute_Reference
1906         or else NT (N).Nkind = N_Expanded_Name
1907         or else NT (N).Nkind = N_Explicit_Dereference
1908         or else NT (N).Nkind = N_Indexed_Component
1909         or else NT (N).Nkind = N_Reference
1910         or else NT (N).Nkind = N_Selected_Component
1911         or else NT (N).Nkind = N_Slice);
1912       return Node3 (N);
1913    end Prefix;
1914
1915    function Present_Expr
1916       (N : Node_Id) return Uint is
1917    begin
1918       pragma Assert (False
1919         or else NT (N).Nkind = N_Variant);
1920       return Uint3 (N);
1921    end Present_Expr;
1922
1923    function Prev_Ids
1924       (N : Node_Id) return Boolean is
1925    begin
1926       pragma Assert (False
1927         or else NT (N).Nkind = N_Component_Declaration
1928         or else NT (N).Nkind = N_Discriminant_Specification
1929         or else NT (N).Nkind = N_Exception_Declaration
1930         or else NT (N).Nkind = N_Formal_Object_Declaration
1931         or else NT (N).Nkind = N_Number_Declaration
1932         or else NT (N).Nkind = N_Object_Declaration
1933         or else NT (N).Nkind = N_Parameter_Specification);
1934       return Flag6 (N);
1935    end Prev_Ids;
1936
1937    function Print_In_Hex
1938       (N : Node_Id) return Boolean is
1939    begin
1940       pragma Assert (False
1941         or else NT (N).Nkind = N_Integer_Literal);
1942       return Flag13 (N);
1943    end Print_In_Hex;
1944
1945    function Private_Declarations
1946       (N : Node_Id) return List_Id is
1947    begin
1948       pragma Assert (False
1949         or else NT (N).Nkind = N_Package_Specification
1950         or else NT (N).Nkind = N_Protected_Definition
1951         or else NT (N).Nkind = N_Task_Definition);
1952       return List3 (N);
1953    end Private_Declarations;
1954
1955    function Private_Present
1956       (N : Node_Id) return Boolean is
1957    begin
1958       pragma Assert (False
1959         or else NT (N).Nkind = N_Compilation_Unit
1960         or else NT (N).Nkind = N_Formal_Derived_Type_Definition);
1961       return Flag15 (N);
1962    end Private_Present;
1963
1964    function Procedure_To_Call
1965       (N : Node_Id) return Node_Id is
1966    begin
1967       pragma Assert (False
1968         or else NT (N).Nkind = N_Allocator
1969         or else NT (N).Nkind = N_Free_Statement
1970         or else NT (N).Nkind = N_Return_Statement);
1971       return Node4 (N);
1972    end Procedure_To_Call;
1973
1974    function Proper_Body
1975       (N : Node_Id) return Node_Id is
1976    begin
1977       pragma Assert (False
1978         or else NT (N).Nkind = N_Subunit);
1979       return Node1 (N);
1980    end Proper_Body;
1981
1982    function Protected_Definition
1983       (N : Node_Id) return Node_Id is
1984    begin
1985       pragma Assert (False
1986         or else NT (N).Nkind = N_Protected_Type_Declaration
1987         or else NT (N).Nkind = N_Single_Protected_Declaration);
1988       return Node3 (N);
1989    end Protected_Definition;
1990
1991    function Protected_Present
1992       (N : Node_Id) return Boolean is
1993    begin
1994       pragma Assert (False
1995         or else NT (N).Nkind = N_Access_Function_Definition
1996         or else NT (N).Nkind = N_Access_Procedure_Definition);
1997       return Flag15 (N);
1998    end Protected_Present;
1999
2000    function Raises_Constraint_Error
2001       (N : Node_Id) return Boolean is
2002    begin
2003       pragma Assert (False
2004           or else NT (N).Nkind in N_Subexpr);
2005       return Flag7 (N);
2006    end Raises_Constraint_Error;
2007
2008    function Range_Constraint
2009       (N : Node_Id) return Node_Id is
2010    begin
2011       pragma Assert (False
2012         or else NT (N).Nkind = N_Delta_Constraint
2013         or else NT (N).Nkind = N_Digits_Constraint);
2014       return Node4 (N);
2015    end Range_Constraint;
2016
2017    function Range_Expression
2018       (N : Node_Id) return Node_Id is
2019    begin
2020       pragma Assert (False
2021         or else NT (N).Nkind = N_Range_Constraint);
2022       return Node4 (N);
2023    end Range_Expression;
2024
2025    function Real_Range_Specification
2026       (N : Node_Id) return Node_Id is
2027    begin
2028       pragma Assert (False
2029         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
2030         or else NT (N).Nkind = N_Floating_Point_Definition
2031         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
2032       return Node4 (N);
2033    end Real_Range_Specification;
2034
2035    function Realval
2036       (N : Node_Id) return Ureal is
2037    begin
2038       pragma Assert (False
2039         or else NT (N).Nkind = N_Real_Literal);
2040       return Ureal3 (N);
2041    end Realval;
2042
2043    function Reason
2044       (N : Node_Id) return Uint is
2045    begin
2046       pragma Assert (False
2047         or else NT (N).Nkind = N_Raise_Constraint_Error
2048         or else NT (N).Nkind = N_Raise_Program_Error
2049         or else NT (N).Nkind = N_Raise_Storage_Error);
2050       return Uint3 (N);
2051    end Reason;
2052
2053    function Record_Extension_Part
2054       (N : Node_Id) return Node_Id is
2055    begin
2056       pragma Assert (False
2057         or else NT (N).Nkind = N_Derived_Type_Definition);
2058       return Node3 (N);
2059    end Record_Extension_Part;
2060
2061    function Redundant_Use
2062       (N : Node_Id) return Boolean is
2063    begin
2064       pragma Assert (False
2065         or else NT (N).Nkind = N_Attribute_Reference
2066         or else NT (N).Nkind = N_Expanded_Name
2067         or else NT (N).Nkind = N_Identifier);
2068       return Flag13 (N);
2069    end Redundant_Use;
2070
2071    function Return_Type
2072       (N : Node_Id) return Node_Id is
2073    begin
2074       pragma Assert (False
2075         or else NT (N).Nkind = N_Return_Statement);
2076       return Node2 (N);
2077    end Return_Type;
2078
2079    function Reverse_Present
2080       (N : Node_Id) return Boolean is
2081    begin
2082       pragma Assert (False
2083         or else NT (N).Nkind = N_Loop_Parameter_Specification);
2084       return Flag15 (N);
2085    end Reverse_Present;
2086
2087    function Right_Opnd
2088       (N : Node_Id) return Node_Id is
2089    begin
2090       pragma Assert (False
2091           or else NT (N).Nkind in N_Op
2092         or else NT (N).Nkind = N_And_Then
2093         or else NT (N).Nkind = N_In
2094         or else NT (N).Nkind = N_Not_In
2095         or else NT (N).Nkind = N_Or_Else);
2096       return Node3 (N);
2097    end Right_Opnd;
2098
2099    function Rounded_Result
2100       (N : Node_Id) return Boolean is
2101    begin
2102       pragma Assert (False
2103         or else NT (N).Nkind = N_Op_Divide
2104         or else NT (N).Nkind = N_Op_Multiply
2105         or else NT (N).Nkind = N_Type_Conversion);
2106       return Flag18 (N);
2107    end Rounded_Result;
2108
2109    function Scope
2110       (N : Node_Id) return Node_Id is
2111    begin
2112       pragma Assert (False
2113         or else NT (N).Nkind = N_Defining_Character_Literal
2114         or else NT (N).Nkind = N_Defining_Identifier
2115         or else NT (N).Nkind = N_Defining_Operator_Symbol);
2116       return Node3 (N);
2117    end Scope;
2118
2119    function Select_Alternatives
2120       (N : Node_Id) return List_Id is
2121    begin
2122       pragma Assert (False
2123         or else NT (N).Nkind = N_Selective_Accept);
2124       return List1 (N);
2125    end Select_Alternatives;
2126
2127    function Selector_Name
2128       (N : Node_Id) return Node_Id is
2129    begin
2130       pragma Assert (False
2131         or else NT (N).Nkind = N_Expanded_Name
2132         or else NT (N).Nkind = N_Generic_Association
2133         or else NT (N).Nkind = N_Parameter_Association
2134         or else NT (N).Nkind = N_Selected_Component);
2135       return Node2 (N);
2136    end Selector_Name;
2137
2138    function Selector_Names
2139       (N : Node_Id) return List_Id is
2140    begin
2141       pragma Assert (False
2142         or else NT (N).Nkind = N_Discriminant_Association);
2143       return List1 (N);
2144    end Selector_Names;
2145
2146    function Shift_Count_OK
2147       (N : Node_Id) return Boolean is
2148    begin
2149       pragma Assert (False
2150         or else NT (N).Nkind = N_Op_Rotate_Left
2151         or else NT (N).Nkind = N_Op_Rotate_Right
2152         or else NT (N).Nkind = N_Op_Shift_Left
2153         or else NT (N).Nkind = N_Op_Shift_Right
2154         or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
2155       return Flag4 (N);
2156    end Shift_Count_OK;
2157
2158    function Source_Type
2159       (N : Node_Id) return Entity_Id is
2160    begin
2161       pragma Assert (False
2162         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2163       return Node1 (N);
2164    end Source_Type;
2165
2166    function Specification
2167       (N : Node_Id) return Node_Id is
2168    begin
2169       pragma Assert (False
2170         or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
2171         or else NT (N).Nkind = N_Formal_Subprogram_Declaration
2172         or else NT (N).Nkind = N_Generic_Package_Declaration
2173         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2174         or else NT (N).Nkind = N_Package_Declaration
2175         or else NT (N).Nkind = N_Subprogram_Body
2176         or else NT (N).Nkind = N_Subprogram_Body_Stub
2177         or else NT (N).Nkind = N_Subprogram_Declaration
2178         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
2179       return Node1 (N);
2180    end Specification;
2181
2182    function Statements
2183       (N : Node_Id) return List_Id is
2184    begin
2185       pragma Assert (False
2186         or else NT (N).Nkind = N_Abortable_Part
2187         or else NT (N).Nkind = N_Accept_Alternative
2188         or else NT (N).Nkind = N_Case_Statement_Alternative
2189         or else NT (N).Nkind = N_Delay_Alternative
2190         or else NT (N).Nkind = N_Entry_Call_Alternative
2191         or else NT (N).Nkind = N_Exception_Handler
2192         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
2193         or else NT (N).Nkind = N_Loop_Statement
2194         or else NT (N).Nkind = N_Triggering_Alternative);
2195       return List3 (N);
2196    end Statements;
2197
2198    function Static_Processing_OK
2199       (N : Node_Id) return Boolean is
2200    begin
2201       pragma Assert (False
2202         or else NT (N).Nkind = N_Aggregate);
2203       return Flag4 (N);
2204    end Static_Processing_OK;
2205
2206    function Storage_Pool
2207       (N : Node_Id) return Node_Id is
2208    begin
2209       pragma Assert (False
2210         or else NT (N).Nkind = N_Allocator
2211         or else NT (N).Nkind = N_Free_Statement
2212         or else NT (N).Nkind = N_Return_Statement);
2213       return Node1 (N);
2214    end Storage_Pool;
2215
2216    function Strval
2217       (N : Node_Id) return String_Id is
2218    begin
2219       pragma Assert (False
2220         or else NT (N).Nkind = N_Operator_Symbol
2221         or else NT (N).Nkind = N_String_Literal);
2222       return Str3 (N);
2223    end Strval;
2224
2225    function Subtype_Indication
2226       (N : Node_Id) return Node_Id is
2227    begin
2228       pragma Assert (False
2229         or else NT (N).Nkind = N_Access_To_Object_Definition
2230         or else NT (N).Nkind = N_Component_Declaration
2231         or else NT (N).Nkind = N_Constrained_Array_Definition
2232         or else NT (N).Nkind = N_Derived_Type_Definition
2233         or else NT (N).Nkind = N_Private_Extension_Declaration
2234         or else NT (N).Nkind = N_Subtype_Declaration
2235         or else NT (N).Nkind = N_Unconstrained_Array_Definition);
2236       return Node5 (N);
2237    end Subtype_Indication;
2238
2239    function Subtype_Mark
2240       (N : Node_Id) return Node_Id is
2241    begin
2242       pragma Assert (False
2243         or else NT (N).Nkind = N_Access_Definition
2244         or else NT (N).Nkind = N_Access_Function_Definition
2245         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2246         or else NT (N).Nkind = N_Formal_Object_Declaration
2247         or else NT (N).Nkind = N_Function_Specification
2248         or else NT (N).Nkind = N_Object_Renaming_Declaration
2249         or else NT (N).Nkind = N_Qualified_Expression
2250         or else NT (N).Nkind = N_Subtype_Indication
2251         or else NT (N).Nkind = N_Type_Conversion
2252         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
2253       return Node4 (N);
2254    end Subtype_Mark;
2255
2256    function Subtype_Marks
2257       (N : Node_Id) return List_Id is
2258    begin
2259       pragma Assert (False
2260         or else NT (N).Nkind = N_Unconstrained_Array_Definition
2261         or else NT (N).Nkind = N_Use_Type_Clause);
2262       return List2 (N);
2263    end Subtype_Marks;
2264
2265    function Tagged_Present
2266       (N : Node_Id) return Boolean is
2267    begin
2268       pragma Assert (False
2269         or else NT (N).Nkind = N_Formal_Private_Type_Definition
2270         or else NT (N).Nkind = N_Private_Type_Declaration
2271         or else NT (N).Nkind = N_Record_Definition
2272         or else NT (N).Nkind = N_With_Type_Clause);
2273       return Flag15 (N);
2274    end Tagged_Present;
2275
2276    function Target_Type
2277       (N : Node_Id) return Entity_Id is
2278    begin
2279       pragma Assert (False
2280         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
2281       return Node2 (N);
2282    end Target_Type;
2283
2284    function Task_Body_Procedure
2285       (N : Node_Id) return Entity_Id is
2286    begin
2287       pragma Assert (False
2288         or else NT (N).Nkind = N_Task_Type_Declaration);
2289       return Node2 (N);
2290    end Task_Body_Procedure;
2291
2292    function Task_Definition
2293       (N : Node_Id) return Node_Id is
2294    begin
2295       pragma Assert (False
2296         or else NT (N).Nkind = N_Single_Task_Declaration
2297         or else NT (N).Nkind = N_Task_Type_Declaration);
2298       return Node3 (N);
2299    end Task_Definition;
2300
2301    function Then_Actions
2302       (N : Node_Id) return List_Id is
2303    begin
2304       pragma Assert (False
2305         or else NT (N).Nkind = N_Conditional_Expression);
2306       return List2 (N);
2307    end Then_Actions;
2308
2309    function Then_Statements
2310       (N : Node_Id) return List_Id is
2311    begin
2312       pragma Assert (False
2313         or else NT (N).Nkind = N_Elsif_Part
2314         or else NT (N).Nkind = N_If_Statement);
2315       return List2 (N);
2316    end Then_Statements;
2317
2318    function Treat_Fixed_As_Integer
2319       (N : Node_Id) return Boolean is
2320    begin
2321       pragma Assert (False
2322         or else NT (N).Nkind = N_Op_Divide
2323         or else NT (N).Nkind = N_Op_Mod
2324         or else NT (N).Nkind = N_Op_Multiply
2325         or else NT (N).Nkind = N_Op_Rem);
2326       return Flag14 (N);
2327    end Treat_Fixed_As_Integer;
2328
2329    function Triggering_Alternative
2330       (N : Node_Id) return Node_Id is
2331    begin
2332       pragma Assert (False
2333         or else NT (N).Nkind = N_Asynchronous_Select);
2334       return Node1 (N);
2335    end Triggering_Alternative;
2336
2337    function Triggering_Statement
2338       (N : Node_Id) return Node_Id is
2339    begin
2340       pragma Assert (False
2341         or else NT (N).Nkind = N_Triggering_Alternative);
2342       return Node1 (N);
2343    end Triggering_Statement;
2344
2345    function TSS_Elist
2346       (N : Node_Id) return Elist_Id is
2347    begin
2348       pragma Assert (False
2349         or else NT (N).Nkind = N_Freeze_Entity);
2350       return Elist3 (N);
2351    end TSS_Elist;
2352
2353    function Type_Definition
2354       (N : Node_Id) return Node_Id is
2355    begin
2356       pragma Assert (False
2357         or else NT (N).Nkind = N_Full_Type_Declaration);
2358       return Node3 (N);
2359    end Type_Definition;
2360
2361    function Unit
2362       (N : Node_Id) return Node_Id is
2363    begin
2364       pragma Assert (False
2365         or else NT (N).Nkind = N_Compilation_Unit);
2366       return Node2 (N);
2367    end Unit;
2368
2369    function Unknown_Discriminants_Present
2370       (N : Node_Id) return Boolean is
2371    begin
2372       pragma Assert (False
2373         or else NT (N).Nkind = N_Formal_Type_Declaration
2374         or else NT (N).Nkind = N_Incomplete_Type_Declaration
2375         or else NT (N).Nkind = N_Private_Extension_Declaration
2376         or else NT (N).Nkind = N_Private_Type_Declaration);
2377       return Flag13 (N);
2378    end Unknown_Discriminants_Present;
2379
2380    function Unreferenced_In_Spec
2381       (N : Node_Id) return Boolean is
2382    begin
2383       pragma Assert (False
2384         or else NT (N).Nkind = N_With_Clause);
2385       return Flag7 (N);
2386    end Unreferenced_In_Spec;
2387
2388    function Variant_Part
2389       (N : Node_Id) return Node_Id is
2390    begin
2391       pragma Assert (False
2392         or else NT (N).Nkind = N_Component_List);
2393       return Node4 (N);
2394    end Variant_Part;
2395
2396    function Variants
2397       (N : Node_Id) return List_Id is
2398    begin
2399       pragma Assert (False
2400         or else NT (N).Nkind = N_Variant_Part);
2401       return List1 (N);
2402    end Variants;
2403
2404    function Visible_Declarations
2405       (N : Node_Id) return List_Id is
2406    begin
2407       pragma Assert (False
2408         or else NT (N).Nkind = N_Package_Specification
2409         or else NT (N).Nkind = N_Protected_Definition
2410         or else NT (N).Nkind = N_Task_Definition);
2411       return List2 (N);
2412    end Visible_Declarations;
2413
2414    function Was_Originally_Stub
2415       (N : Node_Id) return Boolean is
2416    begin
2417       pragma Assert (False
2418         or else NT (N).Nkind = N_Package_Body
2419         or else NT (N).Nkind = N_Protected_Body
2420         or else NT (N).Nkind = N_Subprogram_Body
2421         or else NT (N).Nkind = N_Task_Body);
2422       return Flag13 (N);
2423    end Was_Originally_Stub;
2424
2425    function Zero_Cost_Handling
2426       (N : Node_Id) return Boolean is
2427    begin
2428       pragma Assert (False
2429         or else NT (N).Nkind = N_Exception_Handler
2430         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
2431       return Flag5 (N);
2432    end Zero_Cost_Handling;
2433
2434    --------------------------
2435    -- Field Set Procedures --
2436    --------------------------
2437
2438    procedure Set_ABE_Is_Certain
2439       (N : Node_Id; Val : Boolean := True) is
2440    begin
2441       pragma Assert (False
2442         or else NT (N).Nkind = N_Formal_Package_Declaration
2443         or else NT (N).Nkind = N_Function_Call
2444         or else NT (N).Nkind = N_Function_Instantiation
2445         or else NT (N).Nkind = N_Package_Instantiation
2446         or else NT (N).Nkind = N_Procedure_Call_Statement
2447         or else NT (N).Nkind = N_Procedure_Instantiation);
2448       Set_Flag18 (N, Val);
2449    end Set_ABE_Is_Certain;
2450
2451    procedure Set_Abort_Present
2452       (N : Node_Id; Val : Boolean := True) is
2453    begin
2454       pragma Assert (False
2455         or else NT (N).Nkind = N_Requeue_Statement);
2456       Set_Flag15 (N, Val);
2457    end Set_Abort_Present;
2458
2459    procedure Set_Abortable_Part
2460       (N : Node_Id; Val : Node_Id) is
2461    begin
2462       pragma Assert (False
2463         or else NT (N).Nkind = N_Asynchronous_Select);
2464       Set_Node2_With_Parent (N, Val);
2465    end Set_Abortable_Part;
2466
2467    procedure Set_Abstract_Present
2468       (N : Node_Id; Val : Boolean := True) is
2469    begin
2470       pragma Assert (False
2471         or else NT (N).Nkind = N_Derived_Type_Definition
2472         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
2473         or else NT (N).Nkind = N_Formal_Private_Type_Definition
2474         or else NT (N).Nkind = N_Private_Extension_Declaration
2475         or else NT (N).Nkind = N_Private_Type_Declaration
2476         or else NT (N).Nkind = N_Record_Definition);
2477       Set_Flag4 (N, Val);
2478    end Set_Abstract_Present;
2479
2480    procedure Set_Accept_Handler_Records
2481       (N : Node_Id; Val : List_Id) is
2482    begin
2483       pragma Assert (False
2484         or else NT (N).Nkind = N_Accept_Alternative);
2485       Set_List5 (N, Val); -- semantic field, no parent set
2486    end Set_Accept_Handler_Records;
2487
2488    procedure Set_Accept_Statement
2489       (N : Node_Id; Val : Node_Id) is
2490    begin
2491       pragma Assert (False
2492         or else NT (N).Nkind = N_Accept_Alternative);
2493       Set_Node2_With_Parent (N, Val);
2494    end Set_Accept_Statement;
2495
2496    procedure Set_Access_Types_To_Process
2497       (N : Node_Id; Val : Elist_Id) is
2498    begin
2499       pragma Assert (False
2500         or else NT (N).Nkind = N_Freeze_Entity);
2501       Set_Elist2 (N, Val); -- semantic field, no parent set
2502    end Set_Access_Types_To_Process;
2503
2504    procedure Set_Actions
2505       (N : Node_Id; Val : List_Id) is
2506    begin
2507       pragma Assert (False
2508         or else NT (N).Nkind = N_And_Then
2509         or else NT (N).Nkind = N_Compilation_Unit_Aux
2510         or else NT (N).Nkind = N_Freeze_Entity
2511         or else NT (N).Nkind = N_Or_Else);
2512       Set_List1_With_Parent (N, Val);
2513    end Set_Actions;
2514
2515    procedure Set_Activation_Chain_Entity
2516       (N : Node_Id; Val : Node_Id) is
2517    begin
2518       pragma Assert (False
2519         or else NT (N).Nkind = N_Block_Statement
2520         or else NT (N).Nkind = N_Entry_Body
2521         or else NT (N).Nkind = N_Generic_Package_Declaration
2522         or else NT (N).Nkind = N_Package_Declaration
2523         or else NT (N).Nkind = N_Subprogram_Body
2524         or else NT (N).Nkind = N_Task_Body);
2525       Set_Node3 (N, Val); -- semantic field, no parent set
2526    end Set_Activation_Chain_Entity;
2527
2528    procedure Set_Acts_As_Spec
2529       (N : Node_Id; Val : Boolean := True) is
2530    begin
2531       pragma Assert (False
2532         or else NT (N).Nkind = N_Compilation_Unit
2533         or else NT (N).Nkind = N_Subprogram_Body);
2534       Set_Flag4 (N, Val);
2535    end Set_Acts_As_Spec;
2536
2537    procedure Set_Aggregate_Bounds
2538       (N : Node_Id; Val : Node_Id) is
2539    begin
2540       pragma Assert (False
2541         or else NT (N).Nkind = N_Aggregate);
2542       Set_Node3 (N, Val); -- semantic field, no parent set
2543    end Set_Aggregate_Bounds;
2544
2545    procedure Set_Aliased_Present
2546       (N : Node_Id; Val : Boolean := True) is
2547    begin
2548       pragma Assert (False
2549         or else NT (N).Nkind = N_Component_Declaration
2550         or else NT (N).Nkind = N_Constrained_Array_Definition
2551         or else NT (N).Nkind = N_Object_Declaration
2552         or else NT (N).Nkind = N_Unconstrained_Array_Definition);
2553       Set_Flag4 (N, Val);
2554    end Set_Aliased_Present;
2555
2556    procedure Set_All_Others
2557       (N : Node_Id; Val : Boolean := True) is
2558    begin
2559       pragma Assert (False
2560         or else NT (N).Nkind = N_Others_Choice);
2561       Set_Flag11 (N, Val);
2562    end Set_All_Others;
2563
2564    procedure Set_All_Present
2565       (N : Node_Id; Val : Boolean := True) is
2566    begin
2567       pragma Assert (False
2568         or else NT (N).Nkind = N_Access_To_Object_Definition);
2569       Set_Flag15 (N, Val);
2570    end Set_All_Present;
2571
2572    procedure Set_Alternatives
2573       (N : Node_Id; Val : List_Id) is
2574    begin
2575       pragma Assert (False
2576         or else NT (N).Nkind = N_Case_Statement);
2577       Set_List4_With_Parent (N, Val);
2578    end Set_Alternatives;
2579
2580    procedure Set_Ancestor_Part
2581       (N : Node_Id; Val : Node_Id) is
2582    begin
2583       pragma Assert (False
2584         or else NT (N).Nkind = N_Extension_Aggregate);
2585       Set_Node3_With_Parent (N, Val);
2586    end Set_Ancestor_Part;
2587
2588    procedure Set_Array_Aggregate
2589       (N : Node_Id; Val : Node_Id) is
2590    begin
2591       pragma Assert (False
2592         or else NT (N).Nkind = N_Enumeration_Representation_Clause);
2593       Set_Node3_With_Parent (N, Val);
2594    end Set_Array_Aggregate;
2595
2596    procedure Set_Assignment_OK
2597       (N : Node_Id; Val : Boolean := True) is
2598    begin
2599       pragma Assert (False
2600         or else NT (N).Nkind = N_Object_Declaration
2601           or else NT (N).Nkind in N_Subexpr);
2602       Set_Flag15 (N, Val);
2603    end Set_Assignment_OK;
2604
2605    procedure Set_Associated_Node
2606       (N : Node_Id; Val : Node_Id) is
2607    begin
2608       pragma Assert (False
2609         or else NT (N).Nkind in N_Has_Entity
2610         or else NT (N).Nkind = N_Aggregate
2611         or else NT (N).Nkind = N_Extension_Aggregate
2612         or else NT (N).Nkind = N_Selected_Component);
2613       Set_Node4 (N, Val); -- semantic field, no parent set
2614    end Set_Associated_Node;
2615
2616    procedure Set_At_End_Proc
2617       (N : Node_Id; Val : Node_Id) is
2618    begin
2619       pragma Assert (False
2620         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
2621       Set_Node1 (N, Val);
2622    end Set_At_End_Proc;
2623
2624    procedure Set_Attribute_Name
2625       (N : Node_Id; Val : Name_Id) is
2626    begin
2627       pragma Assert (False
2628         or else NT (N).Nkind = N_Attribute_Reference);
2629       Set_Name2 (N, Val);
2630    end Set_Attribute_Name;
2631
2632    procedure Set_Aux_Decls_Node
2633       (N : Node_Id; Val : Node_Id) is
2634    begin
2635       pragma Assert (False
2636         or else NT (N).Nkind = N_Compilation_Unit);
2637       Set_Node5_With_Parent (N, Val);
2638    end Set_Aux_Decls_Node;
2639
2640    procedure Set_Backwards_OK
2641       (N : Node_Id; Val : Boolean := True) is
2642    begin
2643       pragma Assert (False
2644         or else NT (N).Nkind = N_Assignment_Statement);
2645       Set_Flag6 (N, Val);
2646    end Set_Backwards_OK;
2647
2648    procedure Set_Bad_Is_Detected
2649       (N : Node_Id; Val : Boolean := True) is
2650    begin
2651       pragma Assert (False
2652         or else NT (N).Nkind = N_Subprogram_Body);
2653       Set_Flag15 (N, Val);
2654    end Set_Bad_Is_Detected;
2655
2656    procedure Set_Body_Required
2657       (N : Node_Id; Val : Boolean := True) is
2658    begin
2659       pragma Assert (False
2660         or else NT (N).Nkind = N_Compilation_Unit);
2661       Set_Flag13 (N, Val);
2662    end Set_Body_Required;
2663
2664    procedure Set_Body_To_Inline
2665       (N : Node_Id; Val : Node_Id) is
2666    begin
2667       pragma Assert (False
2668         or else NT (N).Nkind = N_Subprogram_Declaration);
2669       Set_Node3 (N, Val);
2670    end Set_Body_To_Inline;
2671
2672    procedure Set_Box_Present
2673       (N : Node_Id; Val : Boolean := True) is
2674    begin
2675       pragma Assert (False
2676         or else NT (N).Nkind = N_Formal_Package_Declaration
2677         or else NT (N).Nkind = N_Formal_Subprogram_Declaration);
2678       Set_Flag15 (N, Val);
2679    end Set_Box_Present;
2680
2681    procedure Set_By_Ref
2682       (N : Node_Id; Val : Boolean := True) is
2683    begin
2684       pragma Assert (False
2685         or else NT (N).Nkind = N_Return_Statement);
2686       Set_Flag5 (N, Val);
2687    end Set_By_Ref;
2688
2689    procedure Set_Char_Literal_Value
2690       (N : Node_Id; Val : Char_Code) is
2691    begin
2692       pragma Assert (False
2693         or else NT (N).Nkind = N_Character_Literal);
2694       Set_Char_Code2 (N, Val);
2695    end Set_Char_Literal_Value;
2696
2697    procedure Set_Chars
2698       (N : Node_Id; Val : Name_Id) is
2699    begin
2700       pragma Assert (False
2701           or else NT (N).Nkind in N_Has_Chars);
2702       Set_Name1 (N, Val);
2703    end Set_Chars;
2704
2705    procedure Set_Choice_Parameter
2706       (N : Node_Id; Val : Node_Id) is
2707    begin
2708       pragma Assert (False
2709         or else NT (N).Nkind = N_Exception_Handler);
2710       Set_Node2_With_Parent (N, Val);
2711    end Set_Choice_Parameter;
2712
2713    procedure Set_Choices
2714       (N : Node_Id; Val : List_Id) is
2715    begin
2716       pragma Assert (False
2717         or else NT (N).Nkind = N_Component_Association);
2718       Set_List1_With_Parent (N, Val);
2719    end Set_Choices;
2720
2721    procedure Set_Compile_Time_Known_Aggregate
2722       (N : Node_Id; Val : Boolean := True) is
2723    begin
2724       pragma Assert (False
2725         or else NT (N).Nkind = N_Aggregate);
2726       Set_Flag18 (N, Val);
2727    end Set_Compile_Time_Known_Aggregate;
2728
2729    procedure Set_Component_Associations
2730       (N : Node_Id; Val : List_Id) is
2731    begin
2732       pragma Assert (False
2733         or else NT (N).Nkind = N_Aggregate
2734         or else NT (N).Nkind = N_Extension_Aggregate);
2735       Set_List2_With_Parent (N, Val);
2736    end Set_Component_Associations;
2737
2738    procedure Set_Component_Clauses
2739       (N : Node_Id; Val : List_Id) is
2740    begin
2741       pragma Assert (False
2742         or else NT (N).Nkind = N_Record_Representation_Clause);
2743       Set_List3_With_Parent (N, Val);
2744    end Set_Component_Clauses;
2745
2746    procedure Set_Component_Items
2747       (N : Node_Id; Val : List_Id) is
2748    begin
2749       pragma Assert (False
2750         or else NT (N).Nkind = N_Component_List);
2751       Set_List3_With_Parent (N, Val);
2752    end Set_Component_Items;
2753
2754    procedure Set_Component_List
2755       (N : Node_Id; Val : Node_Id) is
2756    begin
2757       pragma Assert (False
2758         or else NT (N).Nkind = N_Record_Definition
2759         or else NT (N).Nkind = N_Variant);
2760       Set_Node1_With_Parent (N, Val);
2761    end Set_Component_List;
2762
2763    procedure Set_Component_Name
2764       (N : Node_Id; Val : Node_Id) is
2765    begin
2766       pragma Assert (False
2767         or else NT (N).Nkind = N_Component_Clause);
2768       Set_Node1_With_Parent (N, Val);
2769    end Set_Component_Name;
2770
2771    procedure Set_Condition
2772       (N : Node_Id; Val : Node_Id) is
2773    begin
2774       pragma Assert (False
2775         or else NT (N).Nkind = N_Accept_Alternative
2776         or else NT (N).Nkind = N_Delay_Alternative
2777         or else NT (N).Nkind = N_Elsif_Part
2778         or else NT (N).Nkind = N_Entry_Body_Formal_Part
2779         or else NT (N).Nkind = N_Exit_Statement
2780         or else NT (N).Nkind = N_If_Statement
2781         or else NT (N).Nkind = N_Iteration_Scheme
2782         or else NT (N).Nkind = N_Raise_Constraint_Error
2783         or else NT (N).Nkind = N_Raise_Program_Error
2784         or else NT (N).Nkind = N_Raise_Storage_Error
2785         or else NT (N).Nkind = N_Terminate_Alternative);
2786       Set_Node1_With_Parent (N, Val);
2787    end Set_Condition;
2788
2789    procedure Set_Condition_Actions
2790       (N : Node_Id; Val : List_Id) is
2791    begin
2792       pragma Assert (False
2793         or else NT (N).Nkind = N_Elsif_Part
2794         or else NT (N).Nkind = N_Iteration_Scheme);
2795       Set_List3 (N, Val); -- semantic field, no parent set
2796    end Set_Condition_Actions;
2797
2798    procedure Set_Constant_Present
2799       (N : Node_Id; Val : Boolean := True) is
2800    begin
2801       pragma Assert (False
2802         or else NT (N).Nkind = N_Access_To_Object_Definition
2803         or else NT (N).Nkind = N_Object_Declaration);
2804       Set_Flag17 (N, Val);
2805    end Set_Constant_Present;
2806
2807    procedure Set_Constraint
2808       (N : Node_Id; Val : Node_Id) is
2809    begin
2810       pragma Assert (False
2811         or else NT (N).Nkind = N_Subtype_Indication);
2812       Set_Node3_With_Parent (N, Val);
2813    end Set_Constraint;
2814
2815    procedure Set_Constraints
2816       (N : Node_Id; Val : List_Id) is
2817    begin
2818       pragma Assert (False
2819         or else NT (N).Nkind = N_Index_Or_Discriminant_Constraint);
2820       Set_List1_With_Parent (N, Val);
2821    end Set_Constraints;
2822
2823    procedure Set_Context_Installed
2824       (N : Node_Id; Val : Boolean := True) is
2825    begin
2826       pragma Assert (False
2827         or else NT (N).Nkind = N_With_Clause);
2828       Set_Flag13 (N, Val);
2829    end Set_Context_Installed;
2830
2831    procedure Set_Context_Items
2832       (N : Node_Id; Val : List_Id) is
2833    begin
2834       pragma Assert (False
2835         or else NT (N).Nkind = N_Compilation_Unit);
2836       Set_List1_With_Parent (N, Val);
2837    end Set_Context_Items;
2838
2839    procedure Set_Controlling_Argument
2840       (N : Node_Id; Val : Node_Id) is
2841    begin
2842       pragma Assert (False
2843         or else NT (N).Nkind = N_Function_Call
2844         or else NT (N).Nkind = N_Procedure_Call_Statement);
2845       Set_Node1 (N, Val); -- semantic field, no parent set
2846    end Set_Controlling_Argument;
2847
2848    procedure Set_Conversion_OK
2849       (N : Node_Id; Val : Boolean := True) is
2850    begin
2851       pragma Assert (False
2852         or else NT (N).Nkind = N_Type_Conversion);
2853       Set_Flag14 (N, Val);
2854    end Set_Conversion_OK;
2855
2856    procedure Set_Corresponding_Body
2857       (N : Node_Id; Val : Node_Id) is
2858    begin
2859       pragma Assert (False
2860         or else NT (N).Nkind = N_Generic_Package_Declaration
2861         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
2862         or else NT (N).Nkind = N_Package_Body_Stub
2863         or else NT (N).Nkind = N_Package_Declaration
2864         or else NT (N).Nkind = N_Protected_Body_Stub
2865         or else NT (N).Nkind = N_Protected_Type_Declaration
2866         or else NT (N).Nkind = N_Subprogram_Body_Stub
2867         or else NT (N).Nkind = N_Subprogram_Declaration
2868         or else NT (N).Nkind = N_Task_Body_Stub
2869         or else NT (N).Nkind = N_Task_Type_Declaration);
2870       Set_Node5 (N, Val); -- semantic field, no parent set
2871    end Set_Corresponding_Body;
2872
2873    procedure Set_Corresponding_Generic_Association
2874       (N : Node_Id; Val : Node_Id) is
2875    begin
2876       pragma Assert (False
2877         or else NT (N).Nkind = N_Object_Declaration
2878         or else NT (N).Nkind = N_Object_Renaming_Declaration);
2879       Set_Node5 (N, Val); -- semantic field, no parent set
2880    end Set_Corresponding_Generic_Association;
2881    procedure Set_Corresponding_Integer_Value
2882       (N : Node_Id; Val : Uint) is
2883    begin
2884       pragma Assert (False
2885         or else NT (N).Nkind = N_Real_Literal);
2886       Set_Uint4 (N, Val); -- semantic field, no parent set
2887    end Set_Corresponding_Integer_Value;
2888
2889    procedure Set_Corresponding_Spec
2890       (N : Node_Id; Val : Node_Id) is
2891    begin
2892       pragma Assert (False
2893         or else NT (N).Nkind = N_Package_Body
2894         or else NT (N).Nkind = N_Protected_Body
2895         or else NT (N).Nkind = N_Subprogram_Body
2896         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
2897         or else NT (N).Nkind = N_Task_Body
2898         or else NT (N).Nkind = N_With_Clause);
2899       Set_Node5 (N, Val); -- semantic field, no parent set
2900    end Set_Corresponding_Spec;
2901
2902    procedure Set_Corresponding_Stub
2903       (N : Node_Id; Val : Node_Id) is
2904    begin
2905       pragma Assert (False
2906         or else NT (N).Nkind = N_Subunit);
2907       Set_Node3 (N, Val);
2908    end Set_Corresponding_Stub;
2909
2910    procedure Set_Dcheck_Function
2911       (N : Node_Id; Val : Entity_Id) is
2912    begin
2913       pragma Assert (False
2914         or else NT (N).Nkind = N_Variant);
2915       Set_Node5 (N, Val); -- semantic field, no parent set
2916    end Set_Dcheck_Function;
2917
2918    procedure Set_Debug_Statement
2919       (N : Node_Id; Val : Node_Id) is
2920    begin
2921       pragma Assert (False
2922         or else NT (N).Nkind = N_Pragma);
2923       Set_Node3_With_Parent (N, Val);
2924    end Set_Debug_Statement;
2925
2926    procedure Set_Declarations
2927       (N : Node_Id; Val : List_Id) is
2928    begin
2929       pragma Assert (False
2930         or else NT (N).Nkind = N_Accept_Statement
2931         or else NT (N).Nkind = N_Block_Statement
2932         or else NT (N).Nkind = N_Compilation_Unit_Aux
2933         or else NT (N).Nkind = N_Entry_Body
2934         or else NT (N).Nkind = N_Package_Body
2935         or else NT (N).Nkind = N_Protected_Body
2936         or else NT (N).Nkind = N_Subprogram_Body
2937         or else NT (N).Nkind = N_Task_Body);
2938       Set_List2_With_Parent (N, Val);
2939    end Set_Declarations;
2940
2941    procedure Set_Default_Expression
2942       (N : Node_Id; Val : Node_Id) is
2943    begin
2944       pragma Assert (False
2945         or else NT (N).Nkind = N_Parameter_Specification);
2946       Set_Node5 (N, Val); -- semantic field, no parent set
2947    end Set_Default_Expression;
2948
2949    procedure Set_Default_Name
2950       (N : Node_Id; Val : Node_Id) is
2951    begin
2952       pragma Assert (False
2953         or else NT (N).Nkind = N_Formal_Subprogram_Declaration);
2954       Set_Node2_With_Parent (N, Val);
2955    end Set_Default_Name;
2956
2957    procedure Set_Defining_Identifier
2958       (N : Node_Id; Val : Entity_Id) is
2959    begin
2960       pragma Assert (False
2961         or else NT (N).Nkind = N_Component_Declaration
2962         or else NT (N).Nkind = N_Defining_Program_Unit_Name
2963         or else NT (N).Nkind = N_Discriminant_Specification
2964         or else NT (N).Nkind = N_Entry_Body
2965         or else NT (N).Nkind = N_Entry_Declaration
2966         or else NT (N).Nkind = N_Entry_Index_Specification
2967         or else NT (N).Nkind = N_Exception_Declaration
2968         or else NT (N).Nkind = N_Exception_Renaming_Declaration
2969         or else NT (N).Nkind = N_Formal_Object_Declaration
2970         or else NT (N).Nkind = N_Formal_Package_Declaration
2971         or else NT (N).Nkind = N_Formal_Type_Declaration
2972         or else NT (N).Nkind = N_Full_Type_Declaration
2973         or else NT (N).Nkind = N_Implicit_Label_Declaration
2974         or else NT (N).Nkind = N_Incomplete_Type_Declaration
2975         or else NT (N).Nkind = N_Loop_Parameter_Specification
2976         or else NT (N).Nkind = N_Number_Declaration
2977         or else NT (N).Nkind = N_Object_Declaration
2978         or else NT (N).Nkind = N_Object_Renaming_Declaration
2979         or else NT (N).Nkind = N_Package_Body_Stub
2980         or else NT (N).Nkind = N_Parameter_Specification
2981         or else NT (N).Nkind = N_Private_Extension_Declaration
2982         or else NT (N).Nkind = N_Private_Type_Declaration
2983         or else NT (N).Nkind = N_Protected_Body
2984         or else NT (N).Nkind = N_Protected_Body_Stub
2985         or else NT (N).Nkind = N_Protected_Type_Declaration
2986         or else NT (N).Nkind = N_Single_Protected_Declaration
2987         or else NT (N).Nkind = N_Single_Task_Declaration
2988         or else NT (N).Nkind = N_Subtype_Declaration
2989         or else NT (N).Nkind = N_Task_Body
2990         or else NT (N).Nkind = N_Task_Body_Stub
2991         or else NT (N).Nkind = N_Task_Type_Declaration);
2992       Set_Node1_With_Parent (N, Val);
2993    end Set_Defining_Identifier;
2994
2995    procedure Set_Defining_Unit_Name
2996       (N : Node_Id; Val : Node_Id) is
2997    begin
2998       pragma Assert (False
2999         or else NT (N).Nkind = N_Function_Instantiation
3000         or else NT (N).Nkind = N_Function_Specification
3001         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
3002         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
3003         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
3004         or else NT (N).Nkind = N_Package_Body
3005         or else NT (N).Nkind = N_Package_Instantiation
3006         or else NT (N).Nkind = N_Package_Renaming_Declaration
3007         or else NT (N).Nkind = N_Package_Specification
3008         or else NT (N).Nkind = N_Procedure_Instantiation
3009         or else NT (N).Nkind = N_Procedure_Specification);
3010       Set_Node1_With_Parent (N, Val);
3011    end Set_Defining_Unit_Name;
3012
3013    procedure Set_Delay_Alternative
3014       (N : Node_Id; Val : Node_Id) is
3015    begin
3016       pragma Assert (False
3017         or else NT (N).Nkind = N_Timed_Entry_Call);
3018       Set_Node4_With_Parent (N, Val);
3019    end Set_Delay_Alternative;
3020
3021    procedure Set_Delay_Finalize_Attach
3022       (N : Node_Id; Val : Boolean := True) is
3023    begin
3024       pragma Assert (False
3025         or else NT (N).Nkind = N_Object_Declaration);
3026       Set_Flag14 (N, Val);
3027    end Set_Delay_Finalize_Attach;
3028
3029    procedure Set_Delay_Statement
3030       (N : Node_Id; Val : Node_Id) is
3031    begin
3032       pragma Assert (False
3033         or else NT (N).Nkind = N_Delay_Alternative);
3034       Set_Node2_With_Parent (N, Val);
3035    end Set_Delay_Statement;
3036
3037    procedure Set_Delta_Expression
3038       (N : Node_Id; Val : Node_Id) is
3039    begin
3040       pragma Assert (False
3041         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3042         or else NT (N).Nkind = N_Delta_Constraint
3043         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
3044       Set_Node3_With_Parent (N, Val);
3045    end Set_Delta_Expression;
3046
3047    procedure Set_Digits_Expression
3048       (N : Node_Id; Val : Node_Id) is
3049    begin
3050       pragma Assert (False
3051         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
3052         or else NT (N).Nkind = N_Digits_Constraint
3053         or else NT (N).Nkind = N_Floating_Point_Definition);
3054       Set_Node2_With_Parent (N, Val);
3055    end Set_Digits_Expression;
3056
3057    procedure Set_Discr_Check_Funcs_Built
3058       (N : Node_Id; Val : Boolean := True) is
3059    begin
3060       pragma Assert (False
3061         or else NT (N).Nkind = N_Full_Type_Declaration);
3062       Set_Flag11 (N, Val);
3063    end Set_Discr_Check_Funcs_Built;
3064
3065    procedure Set_Discrete_Choices
3066       (N : Node_Id; Val : List_Id) is
3067    begin
3068       pragma Assert (False
3069         or else NT (N).Nkind = N_Case_Statement_Alternative
3070         or else NT (N).Nkind = N_Variant);
3071       Set_List4_With_Parent (N, Val);
3072    end Set_Discrete_Choices;
3073
3074    procedure Set_Discrete_Range
3075       (N : Node_Id; Val : Node_Id) is
3076    begin
3077       pragma Assert (False
3078         or else NT (N).Nkind = N_Slice);
3079       Set_Node4_With_Parent (N, Val);
3080    end Set_Discrete_Range;
3081
3082    procedure Set_Discrete_Subtype_Definition
3083       (N : Node_Id; Val : Node_Id) is
3084    begin
3085       pragma Assert (False
3086         or else NT (N).Nkind = N_Entry_Declaration
3087         or else NT (N).Nkind = N_Entry_Index_Specification
3088         or else NT (N).Nkind = N_Loop_Parameter_Specification);
3089       Set_Node4_With_Parent (N, Val);
3090    end Set_Discrete_Subtype_Definition;
3091
3092    procedure Set_Discrete_Subtype_Definitions
3093       (N : Node_Id; Val : List_Id) is
3094    begin
3095       pragma Assert (False
3096         or else NT (N).Nkind = N_Constrained_Array_Definition);
3097       Set_List2_With_Parent (N, Val);
3098    end Set_Discrete_Subtype_Definitions;
3099
3100    procedure Set_Discriminant_Specifications
3101       (N : Node_Id; Val : List_Id) is
3102    begin
3103       pragma Assert (False
3104         or else NT (N).Nkind = N_Formal_Type_Declaration
3105         or else NT (N).Nkind = N_Full_Type_Declaration
3106         or else NT (N).Nkind = N_Incomplete_Type_Declaration
3107         or else NT (N).Nkind = N_Private_Extension_Declaration
3108         or else NT (N).Nkind = N_Private_Type_Declaration
3109         or else NT (N).Nkind = N_Protected_Type_Declaration
3110         or else NT (N).Nkind = N_Task_Type_Declaration);
3111       Set_List4_With_Parent (N, Val);
3112    end Set_Discriminant_Specifications;
3113
3114    procedure Set_Discriminant_Type
3115       (N : Node_Id; Val : Node_Id) is
3116    begin
3117       pragma Assert (False
3118         or else NT (N).Nkind = N_Discriminant_Specification);
3119       Set_Node5_With_Parent (N, Val);
3120    end Set_Discriminant_Type;
3121
3122    procedure Set_Do_Access_Check
3123       (N : Node_Id; Val : Boolean := True) is
3124    begin
3125       pragma Assert (False
3126         or else NT (N).Nkind = N_Attribute_Reference
3127         or else NT (N).Nkind = N_Explicit_Dereference
3128         or else NT (N).Nkind = N_Indexed_Component
3129         or else NT (N).Nkind = N_Selected_Component
3130         or else NT (N).Nkind = N_Slice);
3131       Set_Flag11 (N, Val);
3132    end Set_Do_Access_Check;
3133
3134    procedure Set_Do_Accessibility_Check
3135       (N : Node_Id; Val : Boolean := True) is
3136    begin
3137       pragma Assert (False
3138         or else NT (N).Nkind = N_Parameter_Specification);
3139       Set_Flag13 (N, Val);
3140    end Set_Do_Accessibility_Check;
3141
3142    procedure Set_Do_Discriminant_Check
3143       (N : Node_Id; Val : Boolean := True) is
3144    begin
3145       pragma Assert (False
3146         or else NT (N).Nkind = N_Selected_Component);
3147       Set_Flag13 (N, Val);
3148    end Set_Do_Discriminant_Check;
3149
3150    procedure Set_Do_Division_Check
3151       (N : Node_Id; Val : Boolean := True) is
3152    begin
3153       pragma Assert (False
3154         or else NT (N).Nkind = N_Op_Divide
3155         or else NT (N).Nkind = N_Op_Mod
3156         or else NT (N).Nkind = N_Op_Rem);
3157       Set_Flag13 (N, Val);
3158    end Set_Do_Division_Check;
3159
3160    procedure Set_Do_Length_Check
3161       (N : Node_Id; Val : Boolean := True) is
3162    begin
3163       pragma Assert (False
3164         or else NT (N).Nkind = N_Assignment_Statement
3165         or else NT (N).Nkind = N_Op_And
3166         or else NT (N).Nkind = N_Op_Or
3167         or else NT (N).Nkind = N_Op_Xor
3168         or else NT (N).Nkind = N_Type_Conversion);
3169       Set_Flag4 (N, Val);
3170    end Set_Do_Length_Check;
3171
3172    procedure Set_Do_Overflow_Check
3173       (N : Node_Id; Val : Boolean := True) is
3174    begin
3175       pragma Assert (False
3176           or else NT (N).Nkind in N_Op
3177         or else NT (N).Nkind = N_Attribute_Reference
3178         or else NT (N).Nkind = N_Type_Conversion);
3179       Set_Flag17 (N, Val);
3180    end Set_Do_Overflow_Check;
3181
3182    procedure Set_Do_Range_Check
3183       (N : Node_Id; Val : Boolean := True) is
3184    begin
3185       pragma Assert (False
3186           or else NT (N).Nkind in N_Subexpr);
3187       Set_Flag9 (N, Val);
3188    end Set_Do_Range_Check;
3189
3190    procedure Set_Do_Storage_Check
3191       (N : Node_Id; Val : Boolean := True) is
3192    begin
3193       pragma Assert (False
3194         or else NT (N).Nkind = N_Allocator
3195         or else NT (N).Nkind = N_Subprogram_Body);
3196       Set_Flag17 (N, Val);
3197    end Set_Do_Storage_Check;
3198
3199    procedure Set_Do_Tag_Check
3200       (N : Node_Id; Val : Boolean := True) is
3201    begin
3202       pragma Assert (False
3203         or else NT (N).Nkind = N_Assignment_Statement
3204         or else NT (N).Nkind = N_Function_Call
3205         or else NT (N).Nkind = N_Procedure_Call_Statement
3206         or else NT (N).Nkind = N_Return_Statement
3207         or else NT (N).Nkind = N_Type_Conversion);
3208       Set_Flag13 (N, Val);
3209    end Set_Do_Tag_Check;
3210
3211    procedure Set_Elaborate_All_Present
3212       (N : Node_Id; Val : Boolean := True) is
3213    begin
3214       pragma Assert (False
3215         or else NT (N).Nkind = N_With_Clause);
3216       Set_Flag15 (N, Val);
3217    end Set_Elaborate_All_Present;
3218
3219    procedure Set_Elaborate_Present
3220       (N : Node_Id; Val : Boolean := True) is
3221    begin
3222       pragma Assert (False
3223         or else NT (N).Nkind = N_With_Clause);
3224       Set_Flag4 (N, Val);
3225    end Set_Elaborate_Present;
3226
3227    procedure Set_Elaboration_Boolean
3228       (N : Node_Id; Val : Node_Id) is
3229    begin
3230       pragma Assert (False
3231         or else NT (N).Nkind = N_Function_Specification
3232         or else NT (N).Nkind = N_Procedure_Specification);
3233       Set_Node2 (N, Val);
3234    end Set_Elaboration_Boolean;
3235
3236    procedure Set_Else_Actions
3237       (N : Node_Id; Val : List_Id) is
3238    begin
3239       pragma Assert (False
3240         or else NT (N).Nkind = N_Conditional_Expression);
3241       Set_List3 (N, Val); -- semantic field, no parent set
3242    end Set_Else_Actions;
3243
3244    procedure Set_Else_Statements
3245       (N : Node_Id; Val : List_Id) is
3246    begin
3247       pragma Assert (False
3248         or else NT (N).Nkind = N_Conditional_Entry_Call
3249         or else NT (N).Nkind = N_If_Statement
3250         or else NT (N).Nkind = N_Selective_Accept);
3251       Set_List4_With_Parent (N, Val);
3252    end Set_Else_Statements;
3253
3254    procedure Set_Elsif_Parts
3255       (N : Node_Id; Val : List_Id) is
3256    begin
3257       pragma Assert (False
3258         or else NT (N).Nkind = N_If_Statement);
3259       Set_List3_With_Parent (N, Val);
3260    end Set_Elsif_Parts;
3261
3262    procedure Set_Enclosing_Variant
3263       (N : Node_Id; Val : Node_Id) is
3264    begin
3265       pragma Assert (False
3266         or else NT (N).Nkind = N_Variant);
3267       Set_Node2 (N, Val); -- semantic field, no parent set
3268    end Set_Enclosing_Variant;
3269
3270    procedure Set_End_Label
3271       (N : Node_Id; Val : Node_Id) is
3272    begin
3273       pragma Assert (False
3274         or else NT (N).Nkind = N_Enumeration_Type_Definition
3275         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
3276         or else NT (N).Nkind = N_Loop_Statement
3277         or else NT (N).Nkind = N_Package_Specification
3278         or else NT (N).Nkind = N_Protected_Body
3279         or else NT (N).Nkind = N_Protected_Definition
3280         or else NT (N).Nkind = N_Record_Definition
3281         or else NT (N).Nkind = N_Task_Definition);
3282       Set_Node4_With_Parent (N, Val);
3283    end Set_End_Label;
3284
3285    procedure Set_End_Span
3286       (N : Node_Id; Val : Uint) is
3287    begin
3288       pragma Assert (False
3289         or else NT (N).Nkind = N_Case_Statement
3290         or else NT (N).Nkind = N_If_Statement);
3291       Set_Uint5 (N, Val);
3292    end Set_End_Span;
3293
3294    procedure Set_Entity
3295       (N : Node_Id; Val : Node_Id) is
3296    begin
3297       pragma Assert (False
3298           or else NT (N).Nkind in N_Has_Entity
3299         or else NT (N).Nkind = N_Freeze_Entity);
3300       Set_Node4 (N, Val); -- semantic field, no parent set
3301    end Set_Entity;
3302
3303    procedure Set_Entry_Body_Formal_Part
3304       (N : Node_Id; Val : Node_Id) is
3305    begin
3306       pragma Assert (False
3307         or else NT (N).Nkind = N_Entry_Body);
3308       Set_Node5_With_Parent (N, Val);
3309    end Set_Entry_Body_Formal_Part;
3310
3311    procedure Set_Entry_Call_Alternative
3312       (N : Node_Id; Val : Node_Id) is
3313    begin
3314       pragma Assert (False
3315         or else NT (N).Nkind = N_Conditional_Entry_Call
3316         or else NT (N).Nkind = N_Timed_Entry_Call);
3317       Set_Node1_With_Parent (N, Val);
3318    end Set_Entry_Call_Alternative;
3319
3320    procedure Set_Entry_Call_Statement
3321       (N : Node_Id; Val : Node_Id) is
3322    begin
3323       pragma Assert (False
3324         or else NT (N).Nkind = N_Entry_Call_Alternative);
3325       Set_Node1_With_Parent (N, Val);
3326    end Set_Entry_Call_Statement;
3327
3328    procedure Set_Entry_Direct_Name
3329       (N : Node_Id; Val : Node_Id) is
3330    begin
3331       pragma Assert (False
3332         or else NT (N).Nkind = N_Accept_Statement);
3333       Set_Node1_With_Parent (N, Val);
3334    end Set_Entry_Direct_Name;
3335
3336    procedure Set_Entry_Index
3337       (N : Node_Id; Val : Node_Id) is
3338    begin
3339       pragma Assert (False
3340         or else NT (N).Nkind = N_Accept_Statement);
3341       Set_Node5_With_Parent (N, Val);
3342    end Set_Entry_Index;
3343
3344    procedure Set_Entry_Index_Specification
3345       (N : Node_Id; Val : Node_Id) is
3346    begin
3347       pragma Assert (False
3348         or else NT (N).Nkind = N_Entry_Body_Formal_Part);
3349       Set_Node4_With_Parent (N, Val);
3350    end Set_Entry_Index_Specification;
3351
3352    procedure Set_Etype
3353       (N : Node_Id; Val : Node_Id) is
3354    begin
3355       pragma Assert (False
3356           or else NT (N).Nkind in N_Has_Etype);
3357       Set_Node5 (N, Val); -- semantic field, no parent set
3358    end Set_Etype;
3359
3360    procedure Set_Exception_Choices
3361       (N : Node_Id; Val : List_Id) is
3362    begin
3363       pragma Assert (False
3364         or else NT (N).Nkind = N_Exception_Handler);
3365       Set_List4_With_Parent (N, Val);
3366    end Set_Exception_Choices;
3367
3368    procedure Set_Exception_Handlers
3369       (N : Node_Id; Val : List_Id) is
3370    begin
3371       pragma Assert (False
3372         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3373       Set_List5_With_Parent (N, Val);
3374    end Set_Exception_Handlers;
3375
3376    procedure Set_Exception_Junk
3377      (N : Node_Id; Val : Boolean := True) is
3378    begin
3379       pragma Assert (False
3380         or else NT (N).Nkind = N_Goto_Statement
3381         or else NT (N).Nkind = N_Label
3382         or else NT (N).Nkind = N_Object_Declaration
3383         or else NT (N).Nkind = N_Subtype_Declaration);
3384       Set_Flag11 (N, Val);
3385    end Set_Exception_Junk;
3386
3387    procedure Set_Expansion_Delayed
3388      (N : Node_Id; Val : Boolean := True) is
3389    begin
3390       pragma Assert (False
3391         or else NT (N).Nkind = N_Aggregate
3392         or else NT (N).Nkind = N_Extension_Aggregate);
3393       Set_Flag11 (N, Val);
3394    end Set_Expansion_Delayed;
3395
3396    procedure Set_Explicit_Actual_Parameter
3397       (N : Node_Id; Val : Node_Id) is
3398    begin
3399       pragma Assert (False
3400         or else NT (N).Nkind = N_Parameter_Association);
3401       Set_Node3_With_Parent (N, Val);
3402    end Set_Explicit_Actual_Parameter;
3403
3404    procedure Set_Explicit_Generic_Actual_Parameter
3405       (N : Node_Id; Val : Node_Id) is
3406    begin
3407       pragma Assert (False
3408         or else NT (N).Nkind = N_Generic_Association);
3409       Set_Node1_With_Parent (N, Val);
3410    end Set_Explicit_Generic_Actual_Parameter;
3411
3412    procedure Set_Expression
3413       (N : Node_Id; Val : Node_Id) is
3414    begin
3415       pragma Assert (False
3416         or else NT (N).Nkind = N_Allocator
3417         or else NT (N).Nkind = N_Assignment_Statement
3418         or else NT (N).Nkind = N_At_Clause
3419         or else NT (N).Nkind = N_Attribute_Definition_Clause
3420         or else NT (N).Nkind = N_Case_Statement
3421         or else NT (N).Nkind = N_Code_Statement
3422         or else NT (N).Nkind = N_Component_Association
3423         or else NT (N).Nkind = N_Component_Declaration
3424         or else NT (N).Nkind = N_Delay_Relative_Statement
3425         or else NT (N).Nkind = N_Delay_Until_Statement
3426         or else NT (N).Nkind = N_Discriminant_Association
3427         or else NT (N).Nkind = N_Discriminant_Specification
3428         or else NT (N).Nkind = N_Exception_Declaration
3429         or else NT (N).Nkind = N_Formal_Object_Declaration
3430         or else NT (N).Nkind = N_Free_Statement
3431         or else NT (N).Nkind = N_Mod_Clause
3432         or else NT (N).Nkind = N_Modular_Type_Definition
3433         or else NT (N).Nkind = N_Number_Declaration
3434         or else NT (N).Nkind = N_Object_Declaration
3435         or else NT (N).Nkind = N_Parameter_Specification
3436         or else NT (N).Nkind = N_Pragma_Argument_Association
3437         or else NT (N).Nkind = N_Qualified_Expression
3438         or else NT (N).Nkind = N_Return_Statement
3439         or else NT (N).Nkind = N_Type_Conversion
3440         or else NT (N).Nkind = N_Unchecked_Expression
3441         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
3442       Set_Node3_With_Parent (N, Val);
3443    end Set_Expression;
3444
3445    procedure Set_Expressions
3446       (N : Node_Id; Val : List_Id) is
3447    begin
3448       pragma Assert (False
3449         or else NT (N).Nkind = N_Aggregate
3450         or else NT (N).Nkind = N_Attribute_Reference
3451         or else NT (N).Nkind = N_Conditional_Expression
3452         or else NT (N).Nkind = N_Extension_Aggregate
3453         or else NT (N).Nkind = N_Indexed_Component);
3454       Set_List1_With_Parent (N, Val);
3455    end Set_Expressions;
3456
3457    procedure Set_First_Bit
3458       (N : Node_Id; Val : Node_Id) is
3459    begin
3460       pragma Assert (False
3461         or else NT (N).Nkind = N_Component_Clause);
3462       Set_Node3_With_Parent (N, Val);
3463    end Set_First_Bit;
3464
3465    procedure Set_First_Inlined_Subprogram
3466       (N : Node_Id; Val : Entity_Id) is
3467    begin
3468       pragma Assert (False
3469         or else NT (N).Nkind = N_Compilation_Unit);
3470       Set_Node3 (N, Val);  -- semantic field, no parent set
3471    end Set_First_Inlined_Subprogram;
3472
3473    procedure Set_First_Name
3474       (N : Node_Id; Val : Boolean := True) is
3475    begin
3476       pragma Assert (False
3477         or else NT (N).Nkind = N_With_Clause);
3478       Set_Flag5 (N, Val);
3479    end Set_First_Name;
3480
3481    procedure Set_First_Named_Actual
3482       (N : Node_Id; Val : Node_Id) is
3483    begin
3484       pragma Assert (False
3485         or else NT (N).Nkind = N_Entry_Call_Statement
3486         or else NT (N).Nkind = N_Function_Call
3487         or else NT (N).Nkind = N_Procedure_Call_Statement);
3488       Set_Node4 (N, Val); -- semantic field, no parent set
3489    end Set_First_Named_Actual;
3490
3491    procedure Set_First_Real_Statement
3492       (N : Node_Id; Val : Node_Id) is
3493    begin
3494       pragma Assert (False
3495         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
3496       Set_Node2 (N, Val); -- semantic field, no parent set
3497    end Set_First_Real_Statement;
3498
3499    procedure Set_First_Subtype_Link
3500       (N : Node_Id; Val : Entity_Id) is
3501    begin
3502       pragma Assert (False
3503         or else NT (N).Nkind = N_Freeze_Entity);
3504       Set_Node5 (N, Val); -- semantic field, no parent set
3505    end Set_First_Subtype_Link;
3506
3507    procedure Set_Float_Truncate
3508       (N : Node_Id; Val : Boolean := True) is
3509    begin
3510       pragma Assert (False
3511         or else NT (N).Nkind = N_Type_Conversion);
3512       Set_Flag11 (N, Val);
3513    end Set_Float_Truncate;
3514
3515    procedure Set_Formal_Type_Definition
3516       (N : Node_Id; Val : Node_Id) is
3517    begin
3518       pragma Assert (False
3519         or else NT (N).Nkind = N_Formal_Type_Declaration);
3520       Set_Node3_With_Parent (N, Val);
3521    end Set_Formal_Type_Definition;
3522
3523    procedure Set_Forwards_OK
3524       (N : Node_Id; Val : Boolean := True) is
3525    begin
3526       pragma Assert (False
3527         or else NT (N).Nkind = N_Assignment_Statement);
3528       Set_Flag5 (N, Val);
3529    end Set_Forwards_OK;
3530
3531    procedure Set_From_At_Mod
3532       (N : Node_Id; Val : Boolean := True) is
3533    begin
3534       pragma Assert (False
3535         or else NT (N).Nkind = N_Attribute_Definition_Clause);
3536       Set_Flag4 (N, Val);
3537    end Set_From_At_Mod;
3538
3539    procedure Set_Generic_Associations
3540       (N : Node_Id; Val : List_Id) is
3541    begin
3542       pragma Assert (False
3543         or else NT (N).Nkind = N_Formal_Package_Declaration
3544         or else NT (N).Nkind = N_Function_Instantiation
3545         or else NT (N).Nkind = N_Package_Instantiation
3546         or else NT (N).Nkind = N_Procedure_Instantiation);
3547       Set_List3_With_Parent (N, Val);
3548    end Set_Generic_Associations;
3549
3550    procedure Set_Generic_Formal_Declarations
3551       (N : Node_Id; Val : List_Id) is
3552    begin
3553       pragma Assert (False
3554         or else NT (N).Nkind = N_Generic_Package_Declaration
3555         or else NT (N).Nkind = N_Generic_Subprogram_Declaration);
3556       Set_List2_With_Parent (N, Val);
3557    end Set_Generic_Formal_Declarations;
3558
3559    procedure Set_Generic_Parent
3560       (N : Node_Id; Val : Node_Id) is
3561    begin
3562       pragma Assert (False
3563         or else NT (N).Nkind = N_Function_Specification
3564         or else NT (N).Nkind = N_Package_Specification
3565         or else NT (N).Nkind = N_Procedure_Specification);
3566       Set_Node5 (N, Val);
3567    end Set_Generic_Parent;
3568
3569    procedure Set_Generic_Parent_Type
3570       (N : Node_Id; Val : Node_Id) is
3571    begin
3572       pragma Assert (False
3573         or else NT (N).Nkind = N_Subtype_Declaration);
3574       Set_Node4 (N, Val);
3575    end Set_Generic_Parent_Type;
3576
3577    procedure Set_Handled_Statement_Sequence
3578       (N : Node_Id; Val : Node_Id) is
3579    begin
3580       pragma Assert (False
3581         or else NT (N).Nkind = N_Accept_Statement
3582         or else NT (N).Nkind = N_Block_Statement
3583         or else NT (N).Nkind = N_Entry_Body
3584         or else NT (N).Nkind = N_Package_Body
3585         or else NT (N).Nkind = N_Subprogram_Body
3586         or else NT (N).Nkind = N_Task_Body);
3587       Set_Node4_With_Parent (N, Val);
3588    end Set_Handled_Statement_Sequence;
3589
3590    procedure Set_Handler_List_Entry
3591       (N : Node_Id; Val : Node_Id) is
3592    begin
3593       pragma Assert (False
3594         or else NT (N).Nkind = N_Object_Declaration);
3595       Set_Node2 (N, Val);
3596    end Set_Handler_List_Entry;
3597
3598    procedure Set_Has_Created_Identifier
3599       (N : Node_Id; Val : Boolean := True) is
3600    begin
3601       pragma Assert (False
3602         or else NT (N).Nkind = N_Block_Statement
3603         or else NT (N).Nkind = N_Loop_Statement);
3604       Set_Flag15 (N, Val);
3605    end Set_Has_Created_Identifier;
3606
3607    procedure Set_Has_Dynamic_Length_Check
3608       (N : Node_Id; Val : Boolean := True) is
3609    begin
3610       Set_Flag10 (N, Val);
3611    end Set_Has_Dynamic_Length_Check;
3612
3613    procedure Set_Has_Dynamic_Range_Check
3614       (N : Node_Id; Val : Boolean := True) is
3615    begin
3616       Set_Flag12 (N, Val);
3617    end Set_Has_Dynamic_Range_Check;
3618
3619    procedure Set_Has_No_Elaboration_Code
3620       (N : Node_Id; Val : Boolean := True) is
3621    begin
3622       pragma Assert (False
3623         or else NT (N).Nkind = N_Compilation_Unit);
3624       Set_Flag17 (N, Val);
3625    end Set_Has_No_Elaboration_Code;
3626
3627    procedure Set_Has_Priority_Pragma
3628       (N : Node_Id; Val : Boolean := True) is
3629    begin
3630       pragma Assert (False
3631         or else NT (N).Nkind = N_Protected_Definition
3632         or else NT (N).Nkind = N_Subprogram_Body
3633         or else NT (N).Nkind = N_Task_Definition);
3634       Set_Flag6 (N, Val);
3635    end Set_Has_Priority_Pragma;
3636
3637    procedure Set_Has_Private_View
3638       (N : Node_Id; Val : Boolean := True) is
3639    begin
3640       pragma Assert (False
3641          or else NT (N).Nkind in N_Op
3642        or else NT (N).Nkind = N_Character_Literal
3643        or else NT (N).Nkind = N_Expanded_Name
3644        or else NT (N).Nkind = N_Identifier
3645        or else NT (N).Nkind = N_Operator_Symbol);
3646       Set_Flag11 (N, Val);
3647    end Set_Has_Private_View;
3648
3649    procedure Set_Has_Storage_Size_Pragma
3650       (N : Node_Id; Val : Boolean := True) is
3651    begin
3652       pragma Assert (False
3653         or else NT (N).Nkind = N_Task_Definition);
3654       Set_Flag5 (N, Val);
3655    end Set_Has_Storage_Size_Pragma;
3656
3657    procedure Set_Has_Task_Info_Pragma
3658       (N : Node_Id; Val : Boolean := True) is
3659    begin
3660       pragma Assert (False
3661         or else NT (N).Nkind = N_Task_Definition);
3662       Set_Flag7 (N, Val);
3663    end Set_Has_Task_Info_Pragma;
3664
3665    procedure Set_Has_Task_Name_Pragma
3666       (N : Node_Id; Val : Boolean := True) is
3667    begin
3668       pragma Assert (False
3669         or else NT (N).Nkind = N_Task_Definition);
3670       Set_Flag8 (N, Val);
3671    end Set_Has_Task_Name_Pragma;
3672
3673    procedure Set_Has_Wide_Character
3674       (N : Node_Id; Val : Boolean := True) is
3675    begin
3676       pragma Assert (False
3677         or else NT (N).Nkind = N_String_Literal);
3678       Set_Flag11 (N, Val);
3679    end Set_Has_Wide_Character;
3680
3681    procedure Set_Hidden_By_Use_Clause
3682      (N : Node_Id; Val : Elist_Id) is
3683    begin
3684       pragma Assert (False
3685         or else NT (N).Nkind = N_Use_Package_Clause
3686         or else NT (N).Nkind = N_Use_Type_Clause);
3687       Set_Elist4 (N, Val);
3688    end Set_Hidden_By_Use_Clause;
3689
3690    procedure Set_High_Bound
3691       (N : Node_Id; Val : Node_Id) is
3692    begin
3693       pragma Assert (False
3694         or else NT (N).Nkind = N_Range
3695         or else NT (N).Nkind = N_Real_Range_Specification
3696         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
3697       Set_Node2_With_Parent (N, Val);
3698    end Set_High_Bound;
3699
3700    procedure Set_Identifier
3701       (N : Node_Id; Val : Node_Id) is
3702    begin
3703       pragma Assert (False
3704         or else NT (N).Nkind = N_At_Clause
3705         or else NT (N).Nkind = N_Block_Statement
3706         or else NT (N).Nkind = N_Designator
3707         or else NT (N).Nkind = N_Enumeration_Representation_Clause
3708         or else NT (N).Nkind = N_Label
3709         or else NT (N).Nkind = N_Loop_Statement
3710         or else NT (N).Nkind = N_Record_Representation_Clause
3711         or else NT (N).Nkind = N_Subprogram_Info);
3712       Set_Node1_With_Parent (N, Val);
3713    end Set_Identifier;
3714
3715    procedure Set_Implicit_With
3716       (N : Node_Id; Val : Boolean := True) is
3717    begin
3718       pragma Assert (False
3719         or else NT (N).Nkind = N_With_Clause);
3720       Set_Flag17 (N, Val);
3721    end Set_Implicit_With;
3722
3723    procedure Set_In_Present
3724       (N : Node_Id; Val : Boolean := True) is
3725    begin
3726       pragma Assert (False
3727         or else NT (N).Nkind = N_Formal_Object_Declaration
3728         or else NT (N).Nkind = N_Parameter_Specification);
3729       Set_Flag15 (N, Val);
3730    end Set_In_Present;
3731
3732    procedure Set_Includes_Infinities
3733       (N : Node_Id; Val : Boolean := True) is
3734    begin
3735       pragma Assert (False
3736         or else NT (N).Nkind = N_Range);
3737       Set_Flag11 (N, Val);
3738    end Set_Includes_Infinities;
3739
3740    procedure Set_Instance_Spec
3741       (N : Node_Id; Val : Node_Id) is
3742    begin
3743       pragma Assert (False
3744         or else NT (N).Nkind = N_Formal_Package_Declaration
3745         or else NT (N).Nkind = N_Function_Instantiation
3746         or else NT (N).Nkind = N_Package_Instantiation
3747         or else NT (N).Nkind = N_Procedure_Instantiation);
3748       Set_Node5 (N, Val); -- semantic field, no Parent set
3749    end Set_Instance_Spec;
3750
3751    procedure Set_Intval
3752       (N : Node_Id; Val : Uint) is
3753    begin
3754       pragma Assert (False
3755         or else NT (N).Nkind = N_Integer_Literal);
3756       Set_Uint3 (N, Val);
3757    end Set_Intval;
3758
3759    procedure Set_Is_Asynchronous_Call_Block
3760       (N : Node_Id; Val : Boolean := True) is
3761    begin
3762       pragma Assert (False
3763         or else NT (N).Nkind = N_Block_Statement);
3764       Set_Flag7 (N, Val);
3765    end Set_Is_Asynchronous_Call_Block;
3766
3767    procedure Set_Is_Component_Left_Opnd
3768       (N : Node_Id; Val : Boolean := True) is
3769    begin
3770       pragma Assert (False
3771         or else NT (N).Nkind = N_Op_Concat);
3772       Set_Flag13 (N, Val);
3773    end Set_Is_Component_Left_Opnd;
3774
3775    procedure Set_Is_Component_Right_Opnd
3776       (N : Node_Id; Val : Boolean := True) is
3777    begin
3778       pragma Assert (False
3779         or else NT (N).Nkind = N_Op_Concat);
3780       Set_Flag14 (N, Val);
3781    end Set_Is_Component_Right_Opnd;
3782
3783    procedure Set_Is_Controlling_Actual
3784       (N : Node_Id; Val : Boolean := True) is
3785    begin
3786       pragma Assert (False
3787           or else NT (N).Nkind in N_Subexpr);
3788       Set_Flag16 (N, Val);
3789    end Set_Is_Controlling_Actual;
3790
3791    procedure Set_Is_Machine_Number
3792       (N : Node_Id; Val : Boolean := True) is
3793    begin
3794       pragma Assert (False
3795         or else NT (N).Nkind = N_Real_Literal);
3796       Set_Flag11 (N, Val);
3797    end Set_Is_Machine_Number;
3798
3799    procedure Set_Is_Overloaded
3800       (N : Node_Id; Val : Boolean := True) is
3801    begin
3802       pragma Assert (False
3803           or else NT (N).Nkind in N_Subexpr);
3804       Set_Flag5 (N, Val);
3805    end Set_Is_Overloaded;
3806
3807    procedure Set_Is_Power_Of_2_For_Shift
3808       (N : Node_Id; Val : Boolean := True) is
3809    begin
3810       pragma Assert (False
3811         or else NT (N).Nkind = N_Op_Expon);
3812       Set_Flag13 (N, Val);
3813    end Set_Is_Power_Of_2_For_Shift;
3814
3815    procedure Set_Is_Protected_Subprogram_Body
3816       (N : Node_Id; Val : Boolean := True) is
3817    begin
3818       pragma Assert (False
3819         or else NT (N).Nkind = N_Subprogram_Body);
3820       Set_Flag7 (N, Val);
3821    end Set_Is_Protected_Subprogram_Body;
3822
3823    procedure Set_Is_Static_Expression
3824       (N : Node_Id; Val : Boolean := True) is
3825    begin
3826       pragma Assert (False
3827           or else NT (N).Nkind in N_Subexpr);
3828       Set_Flag6 (N, Val);
3829    end Set_Is_Static_Expression;
3830
3831    procedure Set_Is_Subprogram_Descriptor
3832       (N : Node_Id; Val : Boolean := True) is
3833    begin
3834       pragma Assert (False
3835         or else NT (N).Nkind = N_Object_Declaration);
3836       Set_Flag16 (N, Val);
3837    end Set_Is_Subprogram_Descriptor;
3838
3839    procedure Set_Is_Task_Allocation_Block
3840       (N : Node_Id; Val : Boolean := True) is
3841    begin
3842       pragma Assert (False
3843         or else NT (N).Nkind = N_Block_Statement);
3844       Set_Flag6 (N, Val);
3845    end Set_Is_Task_Allocation_Block;
3846
3847    procedure Set_Is_Task_Master
3848       (N : Node_Id; Val : Boolean := True) is
3849    begin
3850       pragma Assert (False
3851         or else NT (N).Nkind = N_Block_Statement
3852         or else NT (N).Nkind = N_Subprogram_Body
3853         or else NT (N).Nkind = N_Task_Body);
3854       Set_Flag5 (N, Val);
3855    end Set_Is_Task_Master;
3856
3857    procedure Set_Iteration_Scheme
3858       (N : Node_Id; Val : Node_Id) is
3859    begin
3860       pragma Assert (False
3861         or else NT (N).Nkind = N_Loop_Statement);
3862       Set_Node2_With_Parent (N, Val);
3863    end Set_Iteration_Scheme;
3864
3865    procedure Set_Itype
3866       (N : Node_Id; Val : Entity_Id) is
3867    begin
3868       pragma Assert (False
3869       or else NT (N).Nkind = N_Itype_Reference);
3870       Set_Node1 (N, Val); -- no parent, semantic field
3871    end Set_Itype;
3872
3873    procedure Set_Kill_Range_Check
3874       (N : Node_Id; Val : Boolean := True) is
3875    begin
3876       pragma Assert (False
3877         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
3878       Set_Flag11 (N, Val);
3879    end Set_Kill_Range_Check;
3880
3881    procedure Set_Label_Construct
3882       (N : Node_Id; Val : Node_Id) is
3883    begin
3884       pragma Assert (False
3885         or else NT (N).Nkind = N_Implicit_Label_Declaration);
3886       Set_Node2 (N, Val); -- semantic field, no parent set
3887    end Set_Label_Construct;
3888
3889    procedure Set_Last_Bit
3890       (N : Node_Id; Val : Node_Id) is
3891    begin
3892       pragma Assert (False
3893         or else NT (N).Nkind = N_Component_Clause);
3894       Set_Node4_With_Parent (N, Val);
3895    end Set_Last_Bit;
3896
3897    procedure Set_Last_Name
3898       (N : Node_Id; Val : Boolean := True) is
3899    begin
3900       pragma Assert (False
3901         or else NT (N).Nkind = N_With_Clause);
3902       Set_Flag6 (N, Val);
3903    end Set_Last_Name;
3904
3905    procedure Set_Left_Opnd
3906       (N : Node_Id; Val : Node_Id) is
3907    begin
3908       pragma Assert (False
3909         or else NT (N).Nkind = N_And_Then
3910         or else NT (N).Nkind = N_In
3911         or else NT (N).Nkind = N_Not_In
3912         or else NT (N).Nkind = N_Or_Else
3913           or else NT (N).Nkind in N_Binary_Op);
3914       Set_Node2_With_Parent (N, Val);
3915    end Set_Left_Opnd;
3916
3917    procedure Set_Library_Unit
3918       (N : Node_Id; Val : Node_Id) is
3919    begin
3920       pragma Assert (False
3921         or else NT (N).Nkind = N_Compilation_Unit
3922         or else NT (N).Nkind = N_Package_Body_Stub
3923         or else NT (N).Nkind = N_Protected_Body_Stub
3924         or else NT (N).Nkind = N_Subprogram_Body_Stub
3925         or else NT (N).Nkind = N_Task_Body_Stub
3926         or else NT (N).Nkind = N_With_Clause);
3927       Set_Node4 (N, Val); -- semantic field, no parent set
3928    end Set_Library_Unit;
3929
3930    procedure Set_Limited_Present
3931       (N : Node_Id; Val : Boolean := True) is
3932    begin
3933       pragma Assert (False
3934         or else NT (N).Nkind = N_Formal_Private_Type_Definition
3935         or else NT (N).Nkind = N_Private_Type_Declaration
3936         or else NT (N).Nkind = N_Record_Definition);
3937       Set_Flag17 (N, Val);
3938    end Set_Limited_Present;
3939
3940    procedure Set_Literals
3941       (N : Node_Id; Val : List_Id) is
3942    begin
3943       pragma Assert (False
3944         or else NT (N).Nkind = N_Enumeration_Type_Definition);
3945       Set_List1_With_Parent (N, Val);
3946    end Set_Literals;
3947
3948    procedure Set_Loop_Actions
3949       (N : Node_Id; Val : List_Id) is
3950    begin
3951       pragma Assert (False
3952         or else NT (N).Nkind = N_Component_Association);
3953       Set_List2 (N, Val); -- semantic field, no parent set
3954    end Set_Loop_Actions;
3955
3956    procedure Set_Loop_Parameter_Specification
3957       (N : Node_Id; Val : Node_Id) is
3958    begin
3959       pragma Assert (False
3960         or else NT (N).Nkind = N_Iteration_Scheme);
3961       Set_Node4_With_Parent (N, Val);
3962    end Set_Loop_Parameter_Specification;
3963
3964    procedure Set_Low_Bound
3965       (N : Node_Id; Val : Node_Id) is
3966    begin
3967       pragma Assert (False
3968         or else NT (N).Nkind = N_Range
3969         or else NT (N).Nkind = N_Real_Range_Specification
3970         or else NT (N).Nkind = N_Signed_Integer_Type_Definition);
3971       Set_Node1_With_Parent (N, Val);
3972    end Set_Low_Bound;
3973
3974    procedure Set_Mod_Clause
3975       (N : Node_Id; Val : Node_Id) is
3976    begin
3977       pragma Assert (False
3978         or else NT (N).Nkind = N_Record_Representation_Clause);
3979       Set_Node2_With_Parent (N, Val);
3980    end Set_Mod_Clause;
3981
3982    procedure Set_More_Ids
3983       (N : Node_Id; Val : Boolean := True) is
3984    begin
3985       pragma Assert (False
3986         or else NT (N).Nkind = N_Component_Declaration
3987         or else NT (N).Nkind = N_Discriminant_Specification
3988         or else NT (N).Nkind = N_Exception_Declaration
3989         or else NT (N).Nkind = N_Formal_Object_Declaration
3990         or else NT (N).Nkind = N_Number_Declaration
3991         or else NT (N).Nkind = N_Object_Declaration
3992         or else NT (N).Nkind = N_Parameter_Specification);
3993       Set_Flag5 (N, Val);
3994    end Set_More_Ids;
3995
3996    procedure Set_Must_Be_Byte_Aligned
3997       (N : Node_Id; Val : Boolean := True) is
3998    begin
3999       pragma Assert (False
4000         or else NT (N).Nkind = N_Attribute_Reference);
4001       Set_Flag14 (N, Val);
4002    end Set_Must_Be_Byte_Aligned;
4003
4004    procedure Set_Must_Not_Freeze
4005       (N : Node_Id; Val : Boolean := True) is
4006    begin
4007       pragma Assert (False
4008         or else NT (N).Nkind = N_Subtype_Indication
4009           or else NT (N).Nkind in N_Subexpr);
4010       Set_Flag8 (N, Val);
4011    end Set_Must_Not_Freeze;
4012
4013    procedure Set_Name
4014       (N : Node_Id; Val : Node_Id) is
4015    begin
4016       pragma Assert (False
4017         or else NT (N).Nkind = N_Assignment_Statement
4018         or else NT (N).Nkind = N_Attribute_Definition_Clause
4019         or else NT (N).Nkind = N_Defining_Program_Unit_Name
4020         or else NT (N).Nkind = N_Designator
4021         or else NT (N).Nkind = N_Entry_Call_Statement
4022         or else NT (N).Nkind = N_Exception_Renaming_Declaration
4023         or else NT (N).Nkind = N_Exit_Statement
4024         or else NT (N).Nkind = N_Formal_Package_Declaration
4025         or else NT (N).Nkind = N_Function_Call
4026         or else NT (N).Nkind = N_Function_Instantiation
4027         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4028         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4029         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4030         or else NT (N).Nkind = N_Goto_Statement
4031         or else NT (N).Nkind = N_Object_Renaming_Declaration
4032         or else NT (N).Nkind = N_Package_Instantiation
4033         or else NT (N).Nkind = N_Package_Renaming_Declaration
4034         or else NT (N).Nkind = N_Procedure_Call_Statement
4035         or else NT (N).Nkind = N_Procedure_Instantiation
4036         or else NT (N).Nkind = N_Raise_Statement
4037         or else NT (N).Nkind = N_Requeue_Statement
4038         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration
4039         or else NT (N).Nkind = N_Subunit
4040         or else NT (N).Nkind = N_Variant_Part
4041         or else NT (N).Nkind = N_With_Clause
4042         or else NT (N).Nkind = N_With_Type_Clause);
4043       Set_Node2_With_Parent (N, Val);
4044    end Set_Name;
4045
4046    procedure Set_Names
4047       (N : Node_Id; Val : List_Id) is
4048    begin
4049       pragma Assert (False
4050         or else NT (N).Nkind = N_Abort_Statement
4051         or else NT (N).Nkind = N_Use_Package_Clause);
4052       Set_List2_With_Parent (N, Val);
4053    end Set_Names;
4054
4055    procedure Set_Next_Entity
4056       (N : Node_Id; Val : Node_Id) is
4057    begin
4058       pragma Assert (False
4059         or else NT (N).Nkind = N_Defining_Character_Literal
4060         or else NT (N).Nkind = N_Defining_Identifier
4061         or else NT (N).Nkind = N_Defining_Operator_Symbol);
4062       Set_Node2 (N, Val); -- semantic field, no parent set
4063    end Set_Next_Entity;
4064
4065    procedure Set_Next_Named_Actual
4066       (N : Node_Id; Val : Node_Id) is
4067    begin
4068       pragma Assert (False
4069         or else NT (N).Nkind = N_Parameter_Association);
4070       Set_Node4 (N, Val); -- semantic field, no parent set
4071    end Set_Next_Named_Actual;
4072
4073    procedure Set_Next_Rep_Item
4074       (N : Node_Id; Val : Node_Id) is
4075    begin
4076       pragma Assert (False
4077         or else NT (N).Nkind = N_Attribute_Definition_Clause
4078         or else NT (N).Nkind = N_Enumeration_Representation_Clause
4079         or else NT (N).Nkind = N_Pragma
4080         or else NT (N).Nkind = N_Record_Representation_Clause);
4081       Set_Node4 (N, Val); -- semantic field, no parent set
4082    end Set_Next_Rep_Item;
4083
4084    procedure Set_Next_Use_Clause
4085       (N : Node_Id; Val : Node_Id) is
4086    begin
4087       pragma Assert (False
4088         or else NT (N).Nkind = N_Use_Package_Clause
4089         or else NT (N).Nkind = N_Use_Type_Clause);
4090       Set_Node3 (N, Val); -- semantic field, no parent set
4091    end Set_Next_Use_Clause;
4092
4093    procedure Set_No_Ctrl_Actions
4094       (N : Node_Id; Val : Boolean := True) is
4095    begin
4096       pragma Assert (False
4097         or else NT (N).Nkind = N_Assignment_Statement);
4098       Set_Flag7 (N, Val);
4099    end Set_No_Ctrl_Actions;
4100
4101    procedure Set_No_Entities_Ref_In_Spec
4102       (N : Node_Id; Val : Boolean := True) is
4103    begin
4104       pragma Assert (False
4105         or else NT (N).Nkind = N_With_Clause);
4106       Set_Flag8 (N, Val);
4107    end Set_No_Entities_Ref_In_Spec;
4108
4109    procedure Set_No_Initialization
4110       (N : Node_Id; Val : Boolean := True) is
4111    begin
4112       pragma Assert (False
4113         or else NT (N).Nkind = N_Allocator
4114         or else NT (N).Nkind = N_Object_Declaration);
4115       Set_Flag13 (N, Val);
4116    end Set_No_Initialization;
4117
4118    procedure Set_Null_Present
4119       (N : Node_Id; Val : Boolean := True) is
4120    begin
4121       pragma Assert (False
4122         or else NT (N).Nkind = N_Component_List
4123         or else NT (N).Nkind = N_Record_Definition);
4124       Set_Flag13 (N, Val);
4125    end Set_Null_Present;
4126
4127    procedure Set_Null_Record_Present
4128       (N : Node_Id; Val : Boolean := True) is
4129    begin
4130       pragma Assert (False
4131         or else NT (N).Nkind = N_Aggregate
4132         or else NT (N).Nkind = N_Extension_Aggregate);
4133       Set_Flag17 (N, Val);
4134    end Set_Null_Record_Present;
4135
4136    procedure Set_Object_Definition
4137       (N : Node_Id; Val : Node_Id) is
4138    begin
4139       pragma Assert (False
4140         or else NT (N).Nkind = N_Object_Declaration);
4141       Set_Node4_With_Parent (N, Val);
4142    end Set_Object_Definition;
4143
4144    procedure Set_OK_For_Stream
4145       (N : Node_Id; Val : Boolean := True) is
4146    begin
4147       pragma Assert (False
4148         or else NT (N).Nkind = N_Attribute_Reference);
4149       Set_Flag4 (N, Val);
4150    end Set_OK_For_Stream;
4151
4152    procedure Set_Original_Discriminant
4153       (N : Node_Id; Val : Node_Id) is
4154    begin
4155       pragma Assert (False
4156         or else NT (N).Nkind = N_Identifier);
4157       Set_Node2 (N, Val); -- semantic field, no parent set
4158    end Set_Original_Discriminant;
4159
4160    procedure Set_Others_Discrete_Choices
4161       (N : Node_Id; Val : List_Id) is
4162    begin
4163       pragma Assert (False
4164         or else NT (N).Nkind = N_Others_Choice);
4165       Set_List1_With_Parent (N, Val);
4166    end Set_Others_Discrete_Choices;
4167
4168    procedure Set_Out_Present
4169       (N : Node_Id; Val : Boolean := True) is
4170    begin
4171       pragma Assert (False
4172         or else NT (N).Nkind = N_Formal_Object_Declaration
4173         or else NT (N).Nkind = N_Parameter_Specification);
4174       Set_Flag17 (N, Val);
4175    end Set_Out_Present;
4176
4177    procedure Set_Parameter_Associations
4178       (N : Node_Id; Val : List_Id) is
4179    begin
4180       pragma Assert (False
4181         or else NT (N).Nkind = N_Entry_Call_Statement
4182         or else NT (N).Nkind = N_Function_Call
4183         or else NT (N).Nkind = N_Procedure_Call_Statement);
4184       Set_List3_With_Parent (N, Val);
4185    end Set_Parameter_Associations;
4186
4187    procedure Set_Parameter_List_Truncated
4188       (N : Node_Id; Val : Boolean := True) is
4189    begin
4190       pragma Assert (False
4191         or else NT (N).Nkind = N_Function_Call
4192         or else NT (N).Nkind = N_Procedure_Call_Statement);
4193       Set_Flag17 (N, Val);
4194    end Set_Parameter_List_Truncated;
4195
4196    procedure Set_Parameter_Specifications
4197       (N : Node_Id; Val : List_Id) is
4198    begin
4199       pragma Assert (False
4200         or else NT (N).Nkind = N_Accept_Statement
4201         or else NT (N).Nkind = N_Access_Function_Definition
4202         or else NT (N).Nkind = N_Access_Procedure_Definition
4203         or else NT (N).Nkind = N_Entry_Body_Formal_Part
4204         or else NT (N).Nkind = N_Entry_Declaration
4205         or else NT (N).Nkind = N_Function_Specification
4206         or else NT (N).Nkind = N_Procedure_Specification);
4207       Set_List3_With_Parent (N, Val);
4208    end Set_Parameter_Specifications;
4209
4210    procedure Set_Parameter_Type
4211       (N : Node_Id; Val : Node_Id) is
4212    begin
4213       pragma Assert (False
4214         or else NT (N).Nkind = N_Parameter_Specification);
4215       Set_Node2_With_Parent (N, Val);
4216    end Set_Parameter_Type;
4217
4218    procedure Set_Parent_Spec
4219       (N : Node_Id; Val : Node_Id) is
4220    begin
4221       pragma Assert (False
4222         or else NT (N).Nkind = N_Function_Instantiation
4223         or else NT (N).Nkind = N_Generic_Function_Renaming_Declaration
4224         or else NT (N).Nkind = N_Generic_Package_Declaration
4225         or else NT (N).Nkind = N_Generic_Package_Renaming_Declaration
4226         or else NT (N).Nkind = N_Generic_Procedure_Renaming_Declaration
4227         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
4228         or else NT (N).Nkind = N_Package_Declaration
4229         or else NT (N).Nkind = N_Package_Instantiation
4230         or else NT (N).Nkind = N_Package_Renaming_Declaration
4231         or else NT (N).Nkind = N_Procedure_Instantiation
4232         or else NT (N).Nkind = N_Subprogram_Declaration
4233         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4234       Set_Node4 (N, Val); -- semantic field, no parent set
4235    end Set_Parent_Spec;
4236
4237    procedure Set_Position
4238       (N : Node_Id; Val : Node_Id) is
4239    begin
4240       pragma Assert (False
4241         or else NT (N).Nkind = N_Component_Clause);
4242       Set_Node2_With_Parent (N, Val);
4243    end Set_Position;
4244
4245    procedure Set_Pragma_Argument_Associations
4246       (N : Node_Id; Val : List_Id) is
4247    begin
4248       pragma Assert (False
4249         or else NT (N).Nkind = N_Pragma);
4250       Set_List2_With_Parent (N, Val);
4251    end Set_Pragma_Argument_Associations;
4252
4253    procedure Set_Pragmas_After
4254       (N : Node_Id; Val : List_Id) is
4255    begin
4256       pragma Assert (False
4257         or else NT (N).Nkind = N_Compilation_Unit_Aux
4258         or else NT (N).Nkind = N_Terminate_Alternative);
4259       Set_List5_With_Parent (N, Val);
4260    end Set_Pragmas_After;
4261
4262    procedure Set_Pragmas_Before
4263       (N : Node_Id; Val : List_Id) is
4264    begin
4265       pragma Assert (False
4266         or else NT (N).Nkind = N_Accept_Alternative
4267         or else NT (N).Nkind = N_Delay_Alternative
4268         or else NT (N).Nkind = N_Entry_Call_Alternative
4269         or else NT (N).Nkind = N_Mod_Clause
4270         or else NT (N).Nkind = N_Terminate_Alternative
4271         or else NT (N).Nkind = N_Triggering_Alternative);
4272       Set_List4_With_Parent (N, Val);
4273    end Set_Pragmas_Before;
4274
4275    procedure Set_Prefix
4276       (N : Node_Id; Val : Node_Id) is
4277    begin
4278       pragma Assert (False
4279         or else NT (N).Nkind = N_Attribute_Reference
4280         or else NT (N).Nkind = N_Expanded_Name
4281         or else NT (N).Nkind = N_Explicit_Dereference
4282         or else NT (N).Nkind = N_Indexed_Component
4283         or else NT (N).Nkind = N_Reference
4284         or else NT (N).Nkind = N_Selected_Component
4285         or else NT (N).Nkind = N_Slice);
4286       Set_Node3_With_Parent (N, Val);
4287    end Set_Prefix;
4288
4289    procedure Set_Present_Expr
4290       (N : Node_Id; Val : Uint) is
4291    begin
4292       pragma Assert (False
4293         or else NT (N).Nkind = N_Variant);
4294       Set_Uint3 (N, Val);
4295    end Set_Present_Expr;
4296
4297    procedure Set_Prev_Ids
4298       (N : Node_Id; Val : Boolean := True) is
4299    begin
4300       pragma Assert (False
4301         or else NT (N).Nkind = N_Component_Declaration
4302         or else NT (N).Nkind = N_Discriminant_Specification
4303         or else NT (N).Nkind = N_Exception_Declaration
4304         or else NT (N).Nkind = N_Formal_Object_Declaration
4305         or else NT (N).Nkind = N_Number_Declaration
4306         or else NT (N).Nkind = N_Object_Declaration
4307         or else NT (N).Nkind = N_Parameter_Specification);
4308       Set_Flag6 (N, Val);
4309    end Set_Prev_Ids;
4310
4311    procedure Set_Print_In_Hex
4312       (N : Node_Id; Val : Boolean := True) is
4313    begin
4314       pragma Assert (False
4315         or else NT (N).Nkind = N_Integer_Literal);
4316       Set_Flag13 (N, Val);
4317    end Set_Print_In_Hex;
4318
4319    procedure Set_Private_Declarations
4320       (N : Node_Id; Val : List_Id) is
4321    begin
4322       pragma Assert (False
4323         or else NT (N).Nkind = N_Package_Specification
4324         or else NT (N).Nkind = N_Protected_Definition
4325         or else NT (N).Nkind = N_Task_Definition);
4326       Set_List3_With_Parent (N, Val);
4327    end Set_Private_Declarations;
4328
4329    procedure Set_Private_Present
4330       (N : Node_Id; Val : Boolean := True) is
4331    begin
4332       pragma Assert (False
4333         or else NT (N).Nkind = N_Compilation_Unit
4334         or else NT (N).Nkind = N_Formal_Derived_Type_Definition);
4335       Set_Flag15 (N, Val);
4336    end Set_Private_Present;
4337
4338    procedure Set_Procedure_To_Call
4339       (N : Node_Id; Val : Node_Id) is
4340    begin
4341       pragma Assert (False
4342         or else NT (N).Nkind = N_Allocator
4343         or else NT (N).Nkind = N_Free_Statement
4344         or else NT (N).Nkind = N_Return_Statement);
4345       Set_Node4 (N, Val); -- semantic field, no parent set
4346    end Set_Procedure_To_Call;
4347
4348    procedure Set_Proper_Body
4349       (N : Node_Id; Val : Node_Id) is
4350    begin
4351       pragma Assert (False
4352         or else NT (N).Nkind = N_Subunit);
4353       Set_Node1_With_Parent (N, Val);
4354    end Set_Proper_Body;
4355
4356    procedure Set_Protected_Definition
4357       (N : Node_Id; Val : Node_Id) is
4358    begin
4359       pragma Assert (False
4360         or else NT (N).Nkind = N_Protected_Type_Declaration
4361         or else NT (N).Nkind = N_Single_Protected_Declaration);
4362       Set_Node3_With_Parent (N, Val);
4363    end Set_Protected_Definition;
4364
4365    procedure Set_Protected_Present
4366       (N : Node_Id; Val : Boolean := True) is
4367    begin
4368       pragma Assert (False
4369         or else NT (N).Nkind = N_Access_Function_Definition
4370         or else NT (N).Nkind = N_Access_Procedure_Definition);
4371       Set_Flag15 (N, Val);
4372    end Set_Protected_Present;
4373
4374    procedure Set_Raises_Constraint_Error
4375       (N : Node_Id; Val : Boolean := True) is
4376    begin
4377       pragma Assert (False
4378           or else NT (N).Nkind in N_Subexpr);
4379       Set_Flag7 (N, Val);
4380    end Set_Raises_Constraint_Error;
4381
4382    procedure Set_Range_Constraint
4383       (N : Node_Id; Val : Node_Id) is
4384    begin
4385       pragma Assert (False
4386         or else NT (N).Nkind = N_Delta_Constraint
4387         or else NT (N).Nkind = N_Digits_Constraint);
4388       Set_Node4_With_Parent (N, Val);
4389    end Set_Range_Constraint;
4390
4391    procedure Set_Range_Expression
4392       (N : Node_Id; Val : Node_Id) is
4393    begin
4394       pragma Assert (False
4395         or else NT (N).Nkind = N_Range_Constraint);
4396       Set_Node4_With_Parent (N, Val);
4397    end Set_Range_Expression;
4398
4399    procedure Set_Real_Range_Specification
4400       (N : Node_Id; Val : Node_Id) is
4401    begin
4402       pragma Assert (False
4403         or else NT (N).Nkind = N_Decimal_Fixed_Point_Definition
4404         or else NT (N).Nkind = N_Floating_Point_Definition
4405         or else NT (N).Nkind = N_Ordinary_Fixed_Point_Definition);
4406       Set_Node4_With_Parent (N, Val);
4407    end Set_Real_Range_Specification;
4408
4409    procedure Set_Realval
4410      (N : Node_Id; Val : Ureal) is
4411    begin
4412       pragma Assert (False
4413         or else NT (N).Nkind = N_Real_Literal);
4414       Set_Ureal3 (N, Val);
4415    end Set_Realval;
4416
4417    procedure Set_Reason
4418       (N : Node_Id; Val : Uint) is
4419    begin
4420       pragma Assert (False
4421         or else NT (N).Nkind = N_Raise_Constraint_Error
4422         or else NT (N).Nkind = N_Raise_Program_Error
4423         or else NT (N).Nkind = N_Raise_Storage_Error);
4424       Set_Uint3 (N, Val);
4425    end Set_Reason;
4426
4427    procedure Set_Record_Extension_Part
4428       (N : Node_Id; Val : Node_Id) is
4429    begin
4430       pragma Assert (False
4431         or else NT (N).Nkind = N_Derived_Type_Definition);
4432       Set_Node3_With_Parent (N, Val);
4433    end Set_Record_Extension_Part;
4434
4435    procedure Set_Redundant_Use
4436       (N : Node_Id; Val : Boolean := True) is
4437    begin
4438       pragma Assert (False
4439         or else NT (N).Nkind = N_Attribute_Reference
4440         or else NT (N).Nkind = N_Expanded_Name
4441         or else NT (N).Nkind = N_Identifier);
4442       Set_Flag13 (N, Val);
4443    end Set_Redundant_Use;
4444
4445    procedure Set_Return_Type
4446       (N : Node_Id; Val : Node_Id) is
4447    begin
4448       pragma Assert (False
4449         or else NT (N).Nkind = N_Return_Statement);
4450       Set_Node2 (N, Val); -- semantic field, no parent set
4451    end Set_Return_Type;
4452
4453    procedure Set_Reverse_Present
4454       (N : Node_Id; Val : Boolean := True) is
4455    begin
4456       pragma Assert (False
4457         or else NT (N).Nkind = N_Loop_Parameter_Specification);
4458       Set_Flag15 (N, Val);
4459    end Set_Reverse_Present;
4460
4461    procedure Set_Right_Opnd
4462       (N : Node_Id; Val : Node_Id) is
4463    begin
4464       pragma Assert (False
4465           or else NT (N).Nkind in N_Op
4466         or else NT (N).Nkind = N_And_Then
4467         or else NT (N).Nkind = N_In
4468         or else NT (N).Nkind = N_Not_In
4469         or else NT (N).Nkind = N_Or_Else);
4470       Set_Node3_With_Parent (N, Val);
4471    end Set_Right_Opnd;
4472
4473    procedure Set_Rounded_Result
4474       (N : Node_Id; Val : Boolean := True) is
4475    begin
4476       pragma Assert (False
4477         or else NT (N).Nkind = N_Op_Divide
4478         or else NT (N).Nkind = N_Op_Multiply
4479         or else NT (N).Nkind = N_Type_Conversion);
4480       Set_Flag18 (N, Val);
4481    end Set_Rounded_Result;
4482
4483    procedure Set_Scope
4484       (N : Node_Id; Val : Node_Id) is
4485    begin
4486       pragma Assert (False
4487         or else NT (N).Nkind = N_Defining_Character_Literal
4488         or else NT (N).Nkind = N_Defining_Identifier
4489         or else NT (N).Nkind = N_Defining_Operator_Symbol);
4490       Set_Node3 (N, Val); -- semantic field, no parent set
4491    end Set_Scope;
4492
4493    procedure Set_Select_Alternatives
4494       (N : Node_Id; Val : List_Id) is
4495    begin
4496       pragma Assert (False
4497         or else NT (N).Nkind = N_Selective_Accept);
4498       Set_List1_With_Parent (N, Val);
4499    end Set_Select_Alternatives;
4500
4501    procedure Set_Selector_Name
4502       (N : Node_Id; Val : Node_Id) is
4503    begin
4504       pragma Assert (False
4505         or else NT (N).Nkind = N_Expanded_Name
4506         or else NT (N).Nkind = N_Generic_Association
4507         or else NT (N).Nkind = N_Parameter_Association
4508         or else NT (N).Nkind = N_Selected_Component);
4509       Set_Node2_With_Parent (N, Val);
4510    end Set_Selector_Name;
4511
4512    procedure Set_Selector_Names
4513       (N : Node_Id; Val : List_Id) is
4514    begin
4515       pragma Assert (False
4516         or else NT (N).Nkind = N_Discriminant_Association);
4517       Set_List1_With_Parent (N, Val);
4518    end Set_Selector_Names;
4519
4520    procedure Set_Shift_Count_OK
4521       (N : Node_Id; Val : Boolean := True) is
4522    begin
4523       pragma Assert (False
4524         or else NT (N).Nkind = N_Op_Rotate_Left
4525         or else NT (N).Nkind = N_Op_Rotate_Right
4526         or else NT (N).Nkind = N_Op_Shift_Left
4527         or else NT (N).Nkind = N_Op_Shift_Right
4528         or else NT (N).Nkind = N_Op_Shift_Right_Arithmetic);
4529       Set_Flag4 (N, Val);
4530    end Set_Shift_Count_OK;
4531
4532    procedure Set_Source_Type
4533       (N : Node_Id; Val : Entity_Id) is
4534    begin
4535       pragma Assert (False
4536         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
4537       Set_Node1 (N, Val); -- semantic field, no parent set
4538    end Set_Source_Type;
4539
4540    procedure Set_Specification
4541       (N : Node_Id; Val : Node_Id) is
4542    begin
4543       pragma Assert (False
4544         or else NT (N).Nkind = N_Abstract_Subprogram_Declaration
4545         or else NT (N).Nkind = N_Formal_Subprogram_Declaration
4546         or else NT (N).Nkind = N_Generic_Package_Declaration
4547         or else NT (N).Nkind = N_Generic_Subprogram_Declaration
4548         or else NT (N).Nkind = N_Package_Declaration
4549         or else NT (N).Nkind = N_Subprogram_Body
4550         or else NT (N).Nkind = N_Subprogram_Body_Stub
4551         or else NT (N).Nkind = N_Subprogram_Declaration
4552         or else NT (N).Nkind = N_Subprogram_Renaming_Declaration);
4553       Set_Node1_With_Parent (N, Val);
4554    end Set_Specification;
4555
4556    procedure Set_Statements
4557       (N : Node_Id; Val : List_Id) is
4558    begin
4559       pragma Assert (False
4560         or else NT (N).Nkind = N_Abortable_Part
4561         or else NT (N).Nkind = N_Accept_Alternative
4562         or else NT (N).Nkind = N_Case_Statement_Alternative
4563         or else NT (N).Nkind = N_Delay_Alternative
4564         or else NT (N).Nkind = N_Entry_Call_Alternative
4565         or else NT (N).Nkind = N_Exception_Handler
4566         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements
4567         or else NT (N).Nkind = N_Loop_Statement
4568         or else NT (N).Nkind = N_Triggering_Alternative);
4569       Set_List3_With_Parent (N, Val);
4570    end Set_Statements;
4571
4572    procedure Set_Static_Processing_OK
4573       (N : Node_Id; Val : Boolean) is
4574    begin
4575       pragma Assert (False
4576         or else NT (N).Nkind = N_Aggregate);
4577       Set_Flag4 (N, Val);
4578    end Set_Static_Processing_OK;
4579
4580    procedure Set_Storage_Pool
4581       (N : Node_Id; Val : Node_Id) is
4582    begin
4583       pragma Assert (False
4584         or else NT (N).Nkind = N_Allocator
4585         or else NT (N).Nkind = N_Free_Statement
4586         or else NT (N).Nkind = N_Return_Statement);
4587       Set_Node1 (N, Val); -- semantic field, no parent set
4588    end Set_Storage_Pool;
4589
4590    procedure Set_Strval
4591       (N : Node_Id; Val : String_Id) is
4592    begin
4593       pragma Assert (False
4594         or else NT (N).Nkind = N_Operator_Symbol
4595         or else NT (N).Nkind = N_String_Literal);
4596       Set_Str3 (N, Val);
4597    end Set_Strval;
4598
4599    procedure Set_Subtype_Indication
4600       (N : Node_Id; Val : Node_Id) is
4601    begin
4602       pragma Assert (False
4603         or else NT (N).Nkind = N_Access_To_Object_Definition
4604         or else NT (N).Nkind = N_Component_Declaration
4605         or else NT (N).Nkind = N_Constrained_Array_Definition
4606         or else NT (N).Nkind = N_Derived_Type_Definition
4607         or else NT (N).Nkind = N_Private_Extension_Declaration
4608         or else NT (N).Nkind = N_Subtype_Declaration
4609         or else NT (N).Nkind = N_Unconstrained_Array_Definition);
4610       Set_Node5_With_Parent (N, Val);
4611    end Set_Subtype_Indication;
4612
4613    procedure Set_Subtype_Mark
4614       (N : Node_Id; Val : Node_Id) is
4615    begin
4616       pragma Assert (False
4617         or else NT (N).Nkind = N_Access_Definition
4618         or else NT (N).Nkind = N_Access_Function_Definition
4619         or else NT (N).Nkind = N_Formal_Derived_Type_Definition
4620         or else NT (N).Nkind = N_Formal_Object_Declaration
4621         or else NT (N).Nkind = N_Function_Specification
4622         or else NT (N).Nkind = N_Object_Renaming_Declaration
4623         or else NT (N).Nkind = N_Qualified_Expression
4624         or else NT (N).Nkind = N_Subtype_Indication
4625         or else NT (N).Nkind = N_Type_Conversion
4626         or else NT (N).Nkind = N_Unchecked_Type_Conversion);
4627       Set_Node4_With_Parent (N, Val);
4628    end Set_Subtype_Mark;
4629
4630    procedure Set_Subtype_Marks
4631       (N : Node_Id; Val : List_Id) is
4632    begin
4633       pragma Assert (False
4634         or else NT (N).Nkind = N_Unconstrained_Array_Definition
4635         or else NT (N).Nkind = N_Use_Type_Clause);
4636       Set_List2_With_Parent (N, Val);
4637    end Set_Subtype_Marks;
4638
4639    procedure Set_Tagged_Present
4640       (N : Node_Id; Val : Boolean := True) is
4641    begin
4642       pragma Assert (False
4643         or else NT (N).Nkind = N_Formal_Private_Type_Definition
4644         or else NT (N).Nkind = N_Private_Type_Declaration
4645         or else NT (N).Nkind = N_Record_Definition
4646         or else NT (N).Nkind = N_With_Type_Clause);
4647       Set_Flag15 (N, Val);
4648    end Set_Tagged_Present;
4649
4650    procedure Set_Target_Type
4651       (N : Node_Id; Val : Entity_Id) is
4652    begin
4653       pragma Assert (False
4654         or else NT (N).Nkind = N_Validate_Unchecked_Conversion);
4655       Set_Node2 (N, Val); -- semantic field, no parent set
4656    end Set_Target_Type;
4657
4658    procedure Set_Task_Body_Procedure
4659       (N : Node_Id; Val : Entity_Id) is
4660    begin
4661       pragma Assert (False
4662         or else NT (N).Nkind = N_Task_Type_Declaration);
4663       Set_Node2 (N, Val); -- semantic field, no parent set
4664    end Set_Task_Body_Procedure;
4665
4666    procedure Set_Task_Definition
4667       (N : Node_Id; Val : Node_Id) is
4668    begin
4669       pragma Assert (False
4670         or else NT (N).Nkind = N_Single_Task_Declaration
4671         or else NT (N).Nkind = N_Task_Type_Declaration);
4672       Set_Node3_With_Parent (N, Val);
4673    end Set_Task_Definition;
4674
4675    procedure Set_Then_Actions
4676       (N : Node_Id; Val : List_Id) is
4677    begin
4678       pragma Assert (False
4679         or else NT (N).Nkind = N_Conditional_Expression);
4680       Set_List2 (N, Val); -- semantic field, no parent set
4681    end Set_Then_Actions;
4682
4683    procedure Set_Then_Statements
4684       (N : Node_Id; Val : List_Id) is
4685    begin
4686       pragma Assert (False
4687         or else NT (N).Nkind = N_Elsif_Part
4688         or else NT (N).Nkind = N_If_Statement);
4689       Set_List2_With_Parent (N, Val);
4690    end Set_Then_Statements;
4691
4692    procedure Set_Treat_Fixed_As_Integer
4693       (N : Node_Id; Val : Boolean := True) is
4694    begin
4695       pragma Assert (False
4696         or else NT (N).Nkind = N_Op_Divide
4697         or else NT (N).Nkind = N_Op_Mod
4698         or else NT (N).Nkind = N_Op_Multiply
4699         or else NT (N).Nkind = N_Op_Rem);
4700       Set_Flag14 (N, Val);
4701    end Set_Treat_Fixed_As_Integer;
4702
4703    procedure Set_Triggering_Alternative
4704       (N : Node_Id; Val : Node_Id) is
4705    begin
4706       pragma Assert (False
4707         or else NT (N).Nkind = N_Asynchronous_Select);
4708       Set_Node1_With_Parent (N, Val);
4709    end Set_Triggering_Alternative;
4710
4711    procedure Set_Triggering_Statement
4712       (N : Node_Id; Val : Node_Id) is
4713    begin
4714       pragma Assert (False
4715         or else NT (N).Nkind = N_Triggering_Alternative);
4716       Set_Node1_With_Parent (N, Val);
4717    end Set_Triggering_Statement;
4718
4719    procedure Set_TSS_Elist
4720       (N : Node_Id; Val : Elist_Id) is
4721    begin
4722       pragma Assert (False
4723         or else NT (N).Nkind = N_Freeze_Entity);
4724       Set_Elist3 (N, Val); -- semantic field, no parent set
4725    end Set_TSS_Elist;
4726
4727    procedure Set_Type_Definition
4728       (N : Node_Id; Val : Node_Id) is
4729    begin
4730       pragma Assert (False
4731         or else NT (N).Nkind = N_Full_Type_Declaration);
4732       Set_Node3_With_Parent (N, Val);
4733    end Set_Type_Definition;
4734
4735    procedure Set_Unit
4736       (N : Node_Id; Val : Node_Id) is
4737    begin
4738       pragma Assert (False
4739         or else NT (N).Nkind = N_Compilation_Unit);
4740       Set_Node2_With_Parent (N, Val);
4741    end Set_Unit;
4742
4743    procedure Set_Unknown_Discriminants_Present
4744       (N : Node_Id; Val : Boolean := True) is
4745    begin
4746       pragma Assert (False
4747         or else NT (N).Nkind = N_Formal_Type_Declaration
4748         or else NT (N).Nkind = N_Incomplete_Type_Declaration
4749         or else NT (N).Nkind = N_Private_Extension_Declaration
4750         or else NT (N).Nkind = N_Private_Type_Declaration);
4751       Set_Flag13 (N, Val);
4752    end Set_Unknown_Discriminants_Present;
4753
4754    procedure Set_Unreferenced_In_Spec
4755       (N : Node_Id; Val : Boolean := True) is
4756    begin
4757       pragma Assert (False
4758         or else NT (N).Nkind = N_With_Clause);
4759       Set_Flag7 (N, Val);
4760    end Set_Unreferenced_In_Spec;
4761
4762    procedure Set_Variant_Part
4763       (N : Node_Id; Val : Node_Id) is
4764    begin
4765       pragma Assert (False
4766         or else NT (N).Nkind = N_Component_List);
4767       Set_Node4_With_Parent (N, Val);
4768    end Set_Variant_Part;
4769
4770    procedure Set_Variants
4771       (N : Node_Id; Val : List_Id) is
4772    begin
4773       pragma Assert (False
4774         or else NT (N).Nkind = N_Variant_Part);
4775       Set_List1_With_Parent (N, Val);
4776    end Set_Variants;
4777
4778    procedure Set_Visible_Declarations
4779       (N : Node_Id; Val : List_Id) is
4780    begin
4781       pragma Assert (False
4782         or else NT (N).Nkind = N_Package_Specification
4783         or else NT (N).Nkind = N_Protected_Definition
4784         or else NT (N).Nkind = N_Task_Definition);
4785       Set_List2_With_Parent (N, Val);
4786    end Set_Visible_Declarations;
4787
4788    procedure Set_Was_Originally_Stub
4789       (N : Node_Id; Val : Boolean := True) is
4790    begin
4791       pragma Assert (False
4792         or else NT (N).Nkind = N_Package_Body
4793         or else NT (N).Nkind = N_Protected_Body
4794         or else NT (N).Nkind = N_Subprogram_Body
4795         or else NT (N).Nkind = N_Task_Body);
4796       Set_Flag13 (N, Val);
4797    end Set_Was_Originally_Stub;
4798
4799    procedure Set_Zero_Cost_Handling
4800       (N : Node_Id; Val : Boolean := True) is
4801    begin
4802       pragma Assert (False
4803         or else NT (N).Nkind = N_Exception_Handler
4804         or else NT (N).Nkind = N_Handled_Sequence_Of_Statements);
4805       Set_Flag5 (N, Val);
4806    end Set_Zero_Cost_Handling;
4807
4808    -------------------------
4809    -- Iterator Procedures --
4810    -------------------------
4811
4812    procedure Next_Entity       (N : in out Node_Id) is
4813    begin
4814       N := Next_Entity (N);
4815    end Next_Entity;
4816
4817    procedure Next_Named_Actual (N : in out Node_Id) is
4818    begin
4819       N := Next_Named_Actual (N);
4820    end Next_Named_Actual;
4821
4822    procedure Next_Rep_Item     (N : in out Node_Id) is
4823    begin
4824       N := Next_Rep_Item (N);
4825    end Next_Rep_Item;
4826
4827    procedure Next_Use_Clause   (N : in out Node_Id) is
4828    begin
4829       N := Next_Use_Clause (N);
4830    end Next_Use_Clause;
4831
4832    ------------------
4833    -- End_Location --
4834    ------------------
4835
4836    function End_Location (N : Node_Id) return Source_Ptr is
4837       L : constant Uint := End_Span (N);
4838
4839    begin
4840       if L = No_Uint then
4841          return No_Location;
4842       else
4843          return Source_Ptr (Int (Sloc (N)) + UI_To_Int (L));
4844       end if;
4845    end End_Location;
4846
4847    ----------------------
4848    -- Set_End_Location --
4849    ----------------------
4850
4851    procedure Set_End_Location (N : Node_Id; S : Source_Ptr) is
4852    begin
4853       Set_End_Span (N,
4854         UI_From_Int (Int (S) - Int (Sloc (N))));
4855    end Set_End_Location;
4856
4857 end Sinfo;