1------------------------------------------------------------------------------
2--                                                                          --
3--                         GNAT COMPILER COMPONENTS                         --
4--                                                                          --
5--                                A T R E E                                 --
6--                                                                          --
7--                                 S p e c                                  --
8--                                                                          --
9--          Copyright (C) 1992-2019, Free Software Foundation, Inc.         --
10--                                                                          --
11-- GNAT is free software;  you can  redistribute it  and/or modify it under --
12-- terms of the  GNU General Public License as published  by the Free Soft- --
13-- ware  Foundation;  either version 3,  or (at your option) any later ver- --
14-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
15-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
16-- or FITNESS FOR A PARTICULAR PURPOSE.                                     --
17--                                                                          --
18-- As a special exception under Section 7 of GPL version 3, you are granted --
19-- additional permissions described in the GCC Runtime Library Exception,   --
20-- version 3.1, as published by the Free Software Foundation.               --
21--                                                                          --
22-- You should have received a copy of the GNU General Public License and    --
23-- a copy of the GCC Runtime Library Exception along with this program;     --
24-- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
25-- <http://www.gnu.org/licenses/>.                                          --
26--                                                                          --
27-- GNAT was originally developed  by the GNAT team at  New York University. --
28-- Extensive contributions were provided by Ada Core Technologies Inc.      --
29--                                                                          --
30------------------------------------------------------------------------------
31
32with Alloc;
33with Sinfo;  use Sinfo;
34with Einfo;  use Einfo;
35with Namet;  use Namet;
36with Types;  use Types;
37with Snames; use Snames;
38with System; use System;
39with Table;
40with Uintp;  use Uintp;
41with Urealp; use Urealp;
42with Unchecked_Conversion;
43
44package Atree is
45
46--  This package defines the format of the tree used to represent the Ada
47--  program internally. Syntactic and semantic information is combined in
48--  this tree. There is no separate symbol table structure.
49
50--  WARNING: There is a C version of this package. Any changes to this source
51--  file must be properly reflected in the C header file atree.h
52
53--  Package Atree defines the basic structure of the tree and its nodes and
54--  provides the basic abstract interface for manipulating the tree. Two other
55--  packages use this interface to define the representation of Ada programs
56--  using this tree format. The package Sinfo defines the basic representation
57--  of the syntactic structure of the program, as output by the parser. The
58--  package Einfo defines the semantic information which is added to the tree
59--  nodes that represent declared entities (i.e. the information which might
60--  typically be described in a separate symbol table structure).
61
62--  The front end of the compiler first parses the program and generates a
63--  tree that is simply a syntactic representation of the program in abstract
64--  syntax tree format. Subsequent processing in the front end traverses the
65--  tree, transforming it in various ways and adding semantic information.
66
67   ----------------------
68   -- Size of Entities --
69   ----------------------
70
71   --  Currently entities are composed of 7 sequentially allocated 32-byte
72   --  nodes, considered as a single record. The following definition gives
73   --  the number of extension nodes.
74
75   Num_Extension_Nodes : Node_Id := 6;
76   --  This value is increased by one if debug flag -gnatd.N is set. This is
77   --  for testing performance impact of adding a new extension node. We make
78   --  this of type Node_Id for easy reference in loops using this value.
79   --  Print_Statistics can be used to display statistics on entities & nodes.
80   --  Measurements conducted for the 5->6 bump showed an increase from 1.81 to
81   --  2.01 for the nodes/entities ratio and a 2% increase in compilation time
82   --  on average for the GCC-based compiler at -O0 on a 32-bit x86 host.
83
84   ----------------------------------------
85   -- Definitions of Fields in Tree Node --
86   ----------------------------------------
87
88   --  The representation of the tree is completely hidden, using a functional
89   --  interface for accessing and modifying the contents of nodes. Logically
90   --  a node contains a number of fields, much as though the nodes were
91   --  defined as a record type. The fields in a node are as follows:
92
93   --   Nkind         Indicates the kind of the node. This field is present
94   --                 in all nodes. The type is Node_Kind, which is declared
95   --                 in the package Sinfo.
96
97   --   Sloc          Location (Source_Ptr) of the corresponding token
98   --                 in the Source buffer. The individual node definitions
99   --                 show which token is referenced by this pointer.
100
101   --   In_List       A flag used to indicate if the node is a member
102   --                 of a node list.
103
104   --   Rewrite_Ins   A flag set if a node is marked as a rewrite inserted
105   --                 node as a result of a call to Mark_Rewrite_Insertion.
106
107   --   Paren_Count   A 2-bit count used in sub-expression nodes to indicate
108   --                 the level of parentheses. The settings are 0,1,2 and
109   --                 3 for many. If the value is 3, then an auxiliary table
110   --                 is used to indicate the real value. Set to zero for
111   --                 non-subexpression nodes.
112
113   --                 Note: the required parentheses surrounding conditional
114   --                 and quantified expressions count as a level of parens
115   --                 for this purpose, so e.g. in X := (if A then B else C);
116   --                 Paren_Count for the right side will be 1.
117
118   --   Comes_From_Source
119   --                 This flag is present in all nodes. It is set if the
120   --                 node is built by the scanner or parser, and clear if
121   --                 the node is built by the analyzer or expander. It
122   --                 indicates that the node corresponds to a construct
123   --                 that appears in the original source program.
124
125   --   Analyzed      This flag is present in all nodes. It is set when
126   --                 a node is analyzed, and is used to avoid analyzing
127   --                 the same node twice. Analysis includes expansion if
128   --                 expansion is active, so in this case if the flag is
129   --                 set it means the node has been analyzed and expanded.
130
131   --   Error_Posted  This flag is present in all nodes. It is set when
132   --                 an error message is posted which is associated with
133   --                 the flagged node. This is used to avoid posting more
134   --                 than one message on the same node.
135
136   --   Field1
137   --   Field2
138   --   Field3
139   --   Field4
140   --   Field5        Five fields holding Union_Id values
141
142   --   ElistN        Synonym for FieldN typed as Elist_Id (Empty = No_Elist)
143   --   ListN         Synonym for FieldN typed as List_Id
144   --   NameN         Synonym for FieldN typed as Name_Id
145   --   NodeN         Synonym for FieldN typed as Node_Id
146   --   StrN          Synonym for FieldN typed as String_Id
147   --   UintN         Synonym for FieldN typed as Uint (Empty = Uint_0)
148   --   UrealN        Synonym for FieldN typed as Ureal
149
150   --   Note: in the case of ElistN and UintN fields, it is common that we
151   --   end up with a value of Union_Id'(0) as the default value. This value
152   --   is meaningless as a Uint or Elist_Id value. We have two choices here.
153   --   We could require that all Uint and Elist fields be initialized to an
154   --   appropriate value, but that's error prone, since it would be easy to
155   --   miss an initialization. So instead we have the retrieval functions
156   --   generate an appropriate default value (Uint_0 or No_Elist). Probably
157   --   it would be cleaner to generate No_Uint in the Uint case but we got
158   --   stuck with representing an "unset" size value as zero early on, and
159   --   it will take a bit of fiddling to change that ???
160
161   --   Note: the actual usage of FieldN (i.e. whether it contains a Elist_Id,
162   --   List_Id, Name_Id, Node_Id, String_Id, Uint or Ureal) depends on the
163   --   value in Nkind. Generally the access to this field is always via the
164   --   functional interface, so the field names ElistN, ListN, NameN, NodeN,
165   --   StrN, UintN and UrealN are used only in the bodies of the access
166   --   functions (i.e. in the bodies of Sinfo and Einfo). These access
167   --   functions contain debugging code that checks that the use is
168   --   consistent with Nkind and Ekind values.
169
170   --   However, in specialized circumstances (examples are the circuit in
171   --   generic instantiation to copy trees, and in the tree dump routine),
172   --   it is useful to be able to do untyped traversals, and an internal
173   --   package in Atree allows for direct untyped accesses in such cases.
174
175   --   Flag0         Nineteen Boolean flags (use depends on Nkind and
176   --   Flag1         Ekind, as described for FieldN). Again the access
177   --   Flag2         is usually via subprograms in Sinfo and Einfo which
178   --   Flag3         provide high-level synonyms for these flags, and
179   --   Flag4         contain debugging code that checks that the values
180   --   Flag5         in Nkind and Ekind are appropriate for the access.
181   --   Flag6
182   --   Flag7
183   --   Flag8
184   --   Flag9
185   --   Flag10
186   --   Flag11        Note that Flag0-3 are stored separately in the Flags
187   --   Flag12        table, but that's a detail of the implementation which
188   --   Flag13        is entirely hidden by the functional interface.
189   --   Flag14
190   --   Flag15
191   --   Flag16
192   --   Flag17
193   --   Flag18
194
195   --   Link          For a node, points to the Parent. For a list, points
196   --                 to the list header. Note that in the latter case, a
197   --                 client cannot modify the link field. This field is
198   --                 private to the Atree package (but is also modified
199   --                 by the Nlists package).
200
201   --  The following additional fields are present in extended nodes used
202   --  for entities (Nkind in N_Entity).
203
204   --   Ekind         Entity type. This field indicates the type of the
205   --                 entity, it is of type Entity_Kind which is defined
206   --                 in package Einfo.
207
208   --   Flag19        299 additional flags
209   --   ...
210   --   Flag317
211
212   --   Convention    Entity convention (Convention_Id value)
213
214   --   Field6        Additional Union_Id value stored in tree
215
216   --   Node6         Synonym for Field6 typed as Node_Id
217   --   Elist6        Synonym for Field6 typed as Elist_Id (Empty = No_Elist)
218   --   Uint6         Synonym for Field6 typed as Uint (Empty = Uint_0)
219
220   --   Similar definitions for Field7 to Field41 (and also Node7-Node41,
221   --   Elist7-Elist41, Uint7-Uint41, Ureal7-Ureal41). Note that not all
222   --   these functions are defined, only the ones that are actually used.
223
224   function Last_Node_Id return Node_Id;
225   pragma Inline (Last_Node_Id);
226   --  Returns Id of last allocated node Id
227
228   function Nodes_Address return System.Address;
229   --  Return address of Nodes table (used in Back_End for Gigi call)
230
231   function Flags_Address return System.Address;
232   --  Return address of Flags table (used in Back_End for Gigi call)
233
234   function Num_Nodes return Nat;
235   --  Total number of nodes allocated, where an entity counts as a single
236   --  node. This count is incremented every time a node or entity is
237   --  allocated, and decremented every time a node or entity is deleted.
238   --  This value is used by Xref and by Treepr to allocate hash tables of
239   --  suitable size for hashing Node_Id values.
240
241   -----------------------
242   -- Use of Empty Node --
243   -----------------------
244
245   --  The special Node_Id Empty is used to mark missing fields. Whenever the
246   --  syntax has an optional component, then the corresponding field will be
247   --  set to Empty if the component is missing.
248
249   --  Note: Empty is not used to describe an empty list. Instead in this
250   --  case the node field contains a list which is empty, and these cases
251   --  should be distinguished (essentially from a type point of view, Empty
252   --  is a Node, and is thus not a list).
253
254   --  Note: Empty does in fact correspond to an allocated node. Only the
255   --  Nkind field of this node may be referenced. It contains N_Empty, which
256   --  uniquely identifies the empty case. This allows the Nkind field to be
257   --  dereferenced before the check for Empty which is sometimes useful.
258
259   -----------------------
260   -- Use of Error Node --
261   -----------------------
262
263   --  The Error node is used during syntactic and semantic analysis to
264   --  indicate that the corresponding piece of syntactic structure or
265   --  semantic meaning cannot properly be represented in the tree because
266   --  of an illegality in the program.
267
268   --  If an Error node is encountered, then you know that a previous
269   --  illegality has been detected. The proper reaction should be to
270   --  avoid posting related cascaded error messages, and to propagate
271   --  the error node if necessary.
272
273   ------------------------
274   -- Current_Error_Node --
275   ------------------------
276
277   --  The current error node is a global location indicating the current
278   --  node that is being processed for the purposes of placing a compiler
279   --  abort message. This is not necessarily perfectly accurate, it is
280   --  just a reasonably accurate best guess. It is used to output the
281   --  source location in the abort message by Comperr, and also to
282   --  implement the d3 debugging flag. This is also used by Rtsfind
283   --  to generate error messages for high integrity mode.
284
285   --  There are two ways this gets set. During parsing, when new source
286   --  nodes are being constructed by calls to New_Node and New_Entity,
287   --  either one of these calls sets Current_Error_Node to the newly
288   --  created node. During semantic analysis, this mechanism is not
289   --  used, and instead Current_Error_Node is set by the subprograms in
290   --  Debug_A that mark the start and end of analysis/expansion of a
291   --  node in the tree.
292
293   Current_Error_Node : Node_Id;
294   --  Node to place error messages
295
296   ------------------
297   -- Error Counts --
298   ------------------
299
300   --  The following variables denote the count of errors of various kinds
301   --  detected in the tree. Note that these might be more logically located in
302   --  Err_Vars, but we put it here to deal with licensing issues (we need this
303   --  to have the GPL exception licensing, since Check_Error_Detected can be
304   --  called from units with this licensing).
305
306   Serious_Errors_Detected : Nat := 0;
307   --  This is a count of errors that are serious enough to stop expansion,
308   --  and hence to prevent generation of an object file even if the
309   --  switch -gnatQ is set. Initialized to zero at the start of compilation.
310   --  Initialized for -gnatVa use, see comment above.
311
312   Total_Errors_Detected : Nat := 0;
313   --  Number of errors detected so far. Includes count of serious errors and
314   --  non-serious errors, so this value is always greater than or equal to the
315   --  Serious_Errors_Detected value. Initialized to zero at the start of
316   --  compilation. Initialized for -gnatVa use, see comment above.
317
318   Warnings_Detected : Nat := 0;
319   --  Number of warnings detected. Initialized to zero at the start of
320   --  compilation. Initialized for -gnatVa use, see comment above. This
321   --  count includes the count of style and info messages.
322
323   Warning_Info_Messages : Nat := 0;
324   --  Number of info messages generated as warnings. Info messages are never
325   --  treated as errors (whether from use of the pragma, or the compiler
326   --  switch -gnatwe).
327
328   Report_Info_Messages : Nat := 0;
329   --  Number of info messages generated as reports. Info messages are never
330   --  treated as errors (whether from use of the pragma, or the compiler
331   --  switch -gnatwe). Used under Spark_Mode to report proved checks.
332
333   Check_Messages : Nat := 0;
334   --  Number of check messages generated. Check messages are neither warnings
335   --  nor errors.
336
337   Warnings_Treated_As_Errors : Nat := 0;
338   --  Number of warnings changed into errors as a result of matching a pattern
339   --  given in a Warning_As_Error configuration pragma.
340
341   Configurable_Run_Time_Violations : Nat := 0;
342   --  Count of configurable run time violations so far. This is used to
343   --  suppress certain cascaded error messages when we know that we may not
344   --  have fully expanded some items, due to high integrity violations (e.g.
345   --  the use of constructs not permitted by the library in use, or improper
346   --  constructs in No_Run_Time mode).
347
348   procedure Check_Error_Detected;
349   --  When an anomaly is found in the tree, many semantic routines silently
350   --  bail out, assuming that the anomaly was caused by a previously detected
351   --  serious error (or configurable run time violation). This routine should
352   --  be called in these cases, and will raise an exception if no such error
353   --  has been detected. This ensure that the anomaly is never allowed to go
354   --  unnoticed.
355
356   -------------------------------
357   -- Default Setting of Fields --
358   -------------------------------
359
360   --  Nkind is set to N_Unused_At_Start
361
362   --  Ekind is set to E_Void
363
364   --  Sloc is always set, there is no default value
365
366   --  Field1-5 fields are set to Empty
367
368   --  Field6-41 fields in extended nodes are set to Empty
369
370   --  Parent is set to Empty
371
372   --  All Boolean flag fields are set to False
373
374   --  Note: the value Empty is used in Field1-Field41 to indicate a null node.
375   --  The usage varies. The common uses are to indicate absence of an optional
376   --  clause or a completely unused Field1-35 field.
377
378   -------------------------------------
379   -- Use of Synonyms for Node Fields --
380   -------------------------------------
381
382   --  A subpackage Atree.Unchecked_Access provides routines for reading and
383   --  writing the fields defined above (Field1-35, Node1-35, Flag0-317 etc).
384   --  These unchecked access routines can be used for untyped traversals.
385   --  In addition they are used in the implementations of the Sinfo and
386   --  Einfo packages. These packages both provide logical synonyms for
387   --  the generic fields, together with an appropriate set of access routines.
388   --  Normally access to information within tree nodes uses these synonyms,
389   --  providing a high level typed interface to the tree information.
390
391   --------------------------------------------------
392   -- Node Allocation and Modification Subprograms --
393   --------------------------------------------------
394
395   --  Generally the parser builds the tree and then it is further decorated
396   --  (e.g. by setting the entity fields), but not fundamentally modified.
397   --  However, there are cases in which the tree must be restructured by
398   --  adding and rearranging nodes, as a result of disambiguating cases
399   --  which the parser could not parse correctly, and adding additional
400   --  semantic information (e.g. making constraint checks explicit). The
401   --  following subprograms are used for constructing the tree in the first
402   --  place, and then for subsequent modifications as required.
403
404   procedure Initialize;
405   --  Called at the start of compilation to initialize the allocation of
406   --  the node and list tables and make the standard entries for Empty,
407   --  Error and Error_List. Note that Initialize must not be called if
408   --  Tree_Read is used.
409
410   procedure Lock;
411   --  Called before the back end is invoked to lock the nodes table
412   --  Also called after Unlock to relock???
413
414   procedure Lock_Nodes;
415   --  Called to lock node modifications when assertions are enabled; without
416   --  assertions calling this subprogram has no effect. The initial state of
417   --  the lock is unlocked.
418
419   procedure Unlock;
420   --  Unlocks nodes table, in cases where the back end needs to modify it
421
422   procedure Unlock_Nodes;
423   --  Called to unlock entity modifications when assertions are enabled; if
424   --  assertions are not enabled calling this subprogram has no effect.
425
426   procedure Tree_Read;
427   --  Initializes internal tables from current tree file using the relevant
428   --  Table.Tree_Read routines. Note that Initialize should not be called if
429   --  Tree_Read is used. Tree_Read includes all necessary initialization.
430
431   procedure Tree_Write;
432   --  Writes out internal tables to current tree file using the relevant
433   --  Table.Tree_Write routines.
434
435   function New_Node
436     (New_Node_Kind : Node_Kind;
437      New_Sloc      : Source_Ptr) return Node_Id;
438   --  Allocates a completely new node with the given node type and source
439   --  location values. All other fields are set to their standard defaults:
440   --
441   --    Empty for all FieldN fields
442   --    False for all FlagN fields
443   --
444   --  The usual approach is to build a new node using this function and
445   --  then, using the value returned, use the Set_xxx functions to set
446   --  fields of the node as required. New_Node can only be used for
447   --  non-entity nodes, i.e. it never generates an extended node.
448   --
449   --  If we are currently parsing, as indicated by a previous call to
450   --  Set_Comes_From_Source_Default (True), then this call also resets
451   --  the value of Current_Error_Node.
452
453   function New_Entity
454     (New_Node_Kind : Node_Kind;
455      New_Sloc      : Source_Ptr) return Entity_Id;
456   --  Similar to New_Node, except that it is used only for entity nodes
457   --  and returns an extended node.
458
459   procedure Set_Comes_From_Source_Default (Default : Boolean);
460   --  Sets value of Comes_From_Source flag to be used in all subsequent
461   --  New_Node and New_Entity calls until another call to this procedure
462   --  changes the default. This value is set True during parsing and
463   --  False during semantic analysis. This is also used to determine
464   --  if New_Node and New_Entity should set Current_Error_Node.
465
466   function Get_Comes_From_Source_Default return Boolean;
467   pragma Inline (Get_Comes_From_Source_Default);
468   --  Gets the current value of the Comes_From_Source flag
469
470   procedure Preserve_Comes_From_Source (NewN, OldN : Node_Id);
471   pragma Inline (Preserve_Comes_From_Source);
472   --  When a node is rewritten, it is sometimes appropriate to preserve the
473   --  original comes from source indication. This is true when the rewrite
474   --  essentially corresponds to a transformation corresponding exactly to
475   --  semantics in the reference manual. This procedure copies the setting
476   --  of Comes_From_Source from OldN to NewN.
477
478   function Has_Extension (N : Node_Id) return Boolean;
479   pragma Inline (Has_Extension);
480   --  Returns True if the given node has an extension (i.e. was created by
481   --  a call to New_Entity rather than New_Node, and Nkind is in N_Entity)
482
483   procedure Change_Node (N : Node_Id; New_Node_Kind : Node_Kind);
484   --  This procedure replaces the given node by setting its Nkind field to
485   --  the indicated value and resetting all other fields to their default
486   --  values except for Sloc, which is unchanged, and the Parent pointer
487   --  and list links, which are also unchanged. All other information in
488   --  the original node is lost. The new node has an extension if the
489   --  original node had an extension.
490
491   procedure Copy_Node (Source : Node_Id; Destination : Node_Id);
492   --  Copy the entire contents of the source node to the destination node.
493   --  The contents of the source node is not affected. If the source node
494   --  has an extension, then the destination must have an extension also.
495   --  The parent pointer of the destination and its list link, if any, are
496   --  not affected by the copy. Note that parent pointers of descendants
497   --  are not adjusted, so the descendants of the destination node after
498   --  the Copy_Node is completed have dubious parent pointers. Note that
499   --  this routine does NOT copy aspect specifications, the Has_Aspects
500   --  flag in the returned node will always be False. The caller must deal
501   --  with copying aspect specifications where this is required.
502
503   function New_Copy (Source : Node_Id) return Node_Id;
504   --  This function allocates a completely new node, and then initializes
505   --  it by copying the contents of the source node into it. The contents of
506   --  the source node is not affected. The target node is always marked as
507   --  not being in a list (even if the source is a list member), and not
508   --  overloaded. The new node will have an extension if the source has
509   --  an extension. New_Copy (Empty) returns Empty, and New_Copy (Error)
510   --  returns Error. Note that, unlike Copy_Separate_Tree, New_Copy does not
511   --  recursively copy any descendants, so in general parent pointers are not
512   --  set correctly for the descendants of the copied node. Both normal and
513   --  extended nodes (entities) may be copied using New_Copy.
514
515   function Relocate_Node (Source : Node_Id) return Node_Id;
516   --  Source is a non-entity node that is to be relocated. A new node is
517   --  allocated, and the contents of Source are copied to this node, using
518   --  New_Copy. The parent pointers of descendants of the node are then
519   --  adjusted to point to the relocated copy. The original node is not
520   --  modified, but the parent pointers of its descendants are no longer
521   --  valid. The new copy is always marked as not overloaded. This routine is
522   --  used in conjunction with the tree rewrite routines (see descriptions of
523   --  Replace/Rewrite).
524   --
525   --  Note that the resulting node has the same parent as the source node, and
526   --  is thus still attached to the tree. It is valid for Source to be Empty,
527   --  in which case Relocate_Node simply returns Empty as the result.
528
529   function Copy_Separate_Tree (Source : Node_Id) return Node_Id;
530   --  Given a node that is the root of a subtree, Copy_Separate_Tree copies
531   --  the entire syntactic subtree, including recursively any descendants
532   --  whose parent field references a copied node (descendants not linked to
533   --  a copied node by the parent field are also copied.) The parent pointers
534   --  in the copy are properly set. Copy_Separate_Tree (Empty/Error) returns
535   --  Empty/Error. The new subtree does not share entities with the source,
536   --  but has new entities with the same name.
537   --
538   --  Most of the time this routine is called on an unanalyzed tree, and no
539   --  semantic information is copied. However, to ensure that no entities
540   --  are shared between the two when the source is already analyzed, and
541   --  that the result looks like an unanalyzed tree from the parser, Entity
542   --  fields and Etype fields are set to Empty, and Analyzed flags set False.
543   --
544   --  In addition, Expanded_Name nodes are converted back into the original
545   --  parser form (where they are Selected_Components), so that reanalysis
546   --  does the right thing.
547
548   function Copy_Separate_List (Source : List_Id) return List_Id;
549   --  Applies Copy_Separate_Tree to each element of the Source list, returning
550   --  a new list of the results of these copy operations.
551
552   procedure Exchange_Entities (E1 : Entity_Id; E2 : Entity_Id);
553   --  Exchange the contents of two entities. The parent pointers are switched
554   --  as well as the Defining_Identifier fields in the parents, so that the
555   --  entities point correctly to their original parents. The effect is thus
556   --  to leave the tree completely unchanged in structure, except that the
557   --  entity ID values of the two entities are interchanged. Neither of the
558   --  two entities may be list members. Note that entities appear on two
559   --  semantic chains: Homonym and Next_Entity: the corresponding links must
560   --  be adjusted by the caller, according to context.
561
562   function Extend_Node (Node : Node_Id) return Entity_Id;
563   --  This function returns a copy of its input node with an extension added.
564   --  The fields of the extension are set to Empty. Due to the way extensions
565   --  are handled (as four consecutive array elements), it may be necessary
566   --  to reallocate the node, so that the returned value is not the same as
567   --  the input value, but where possible the returned value will be the same
568   --  as the input value (i.e. the extension will occur in place). It is the
569   --  caller's responsibility to ensure that any pointers to the original node
570   --  are appropriately updated. This function is used only by Sinfo.CN to
571   --  change nodes into their corresponding entities.
572
573   type Ignored_Ghost_Record_Proc is access procedure (N : Node_Or_Entity_Id);
574
575   procedure Set_Ignored_Ghost_Recording_Proc
576     (Proc : Ignored_Ghost_Record_Proc);
577   --  Register a procedure that is invoked when an ignored Ghost node or
578   --  entity is created.
579
580   type Report_Proc is access procedure (Target : Node_Id; Source : Node_Id);
581
582   procedure Set_Reporting_Proc (Proc : Report_Proc);
583   --  Register a procedure that is invoked when a node is allocated, replaced
584   --  or rewritten.
585
586   type Rewrite_Proc is access procedure (Target : Node_Id; Source : Node_Id);
587
588   procedure Set_Rewriting_Proc (Proc : Rewrite_Proc);
589   --  Register a procedure that is invoked when a node is rewritten
590
591   type Traverse_Result is (Abandon, OK, OK_Orig, Skip);
592   --  This is the type of the result returned by the Process function passed
593   --  to Traverse_Func and Traverse_Proc. See below for details.
594
595   subtype Traverse_Final_Result is Traverse_Result range Abandon .. OK;
596   --  This is the type of the final result returned Traverse_Func, based on
597   --  the results of Process calls. See below for details.
598
599   generic
600      with function Process (N : Node_Id) return Traverse_Result is <>;
601   function Traverse_Func (Node : Node_Id) return Traverse_Final_Result;
602   --  This is a generic function that, given the parent node for a subtree,
603   --  traverses all syntactic nodes of this tree, calling the given function
604   --  Process on each one, in pre order (i.e. top-down). The order of
605   --  traversing subtrees is arbitrary. The traversal is controlled as follows
606   --  by the result returned by Process:
607
608   --    OK       The traversal continues normally with the syntactic
609   --             children of the node just processed.
610
611   --    OK_Orig  The traversal continues normally with the syntactic
612   --             children of the original node of the node just processed.
613
614   --    Skip     The children of the node just processed are skipped and
615   --             excluded from the traversal, but otherwise processing
616   --             continues elsewhere in the tree.
617
618   --    Abandon  The entire traversal is immediately abandoned, and the
619   --             original call to Traverse returns Abandon.
620
621   --  The result returned by Traverse is Abandon if processing was terminated
622   --  by a call to Process returning Abandon, otherwise it is OK (meaning that
623   --  all calls to process returned either OK, OK_Orig, or Skip).
624
625   generic
626      with function Process (N : Node_Id) return Traverse_Result is <>;
627   procedure Traverse_Proc (Node : Node_Id);
628   pragma Inline (Traverse_Proc);
629   --  This is the same as Traverse_Func except that no result is returned,
630   --  i.e. Traverse_Func is called and the result is simply discarded.
631
632   ---------------------------
633   -- Node Access Functions --
634   ---------------------------
635
636   --  The following functions return the contents of the indicated field of
637   --  the node referenced by the argument, which is a Node_Id.
638
639   function Analyzed                     (N : Node_Id) return Boolean;
640   pragma Inline (Analyzed);
641
642   function Check_Actuals                (N : Node_Id) return Boolean;
643   pragma Inline (Check_Actuals);
644
645   function Comes_From_Source            (N : Node_Id) return Boolean;
646   pragma Inline (Comes_From_Source);
647
648   function Error_Posted                 (N : Node_Id) return Boolean;
649   pragma Inline (Error_Posted);
650
651   function Has_Aspects                  (N : Node_Id) return Boolean;
652   pragma Inline (Has_Aspects);
653
654   function Is_Ignored_Ghost_Node        (N : Node_Id) return Boolean;
655   pragma Inline (Is_Ignored_Ghost_Node);
656
657   function Nkind                        (N : Node_Id) return Node_Kind;
658   pragma Inline (Nkind);
659
660   function No                           (N : Node_Id) return Boolean;
661   pragma Inline (No);
662   --  Tests given Id for equality with the Empty node. This allows notations
663   --  like "if No (Variant_Part)" as opposed to "if Variant_Part = Empty".
664
665   function Parent                       (N : Node_Id) return Node_Id;
666   pragma Inline (Parent);
667   --  Returns the parent of a node if the node is not a list member, or else
668   --  the parent of the list containing the node if the node is a list member.
669
670   function Paren_Count                  (N : Node_Id) return Nat;
671   pragma Inline (Paren_Count);
672
673   function Present                      (N : Node_Id) return Boolean;
674   pragma Inline (Present);
675   --  Tests given Id for inequality with the Empty node. This allows notations
676   --  like "if Present (Statement)" as opposed to "if Statement /= Empty".
677
678   function Sloc                         (N : Node_Id) return Source_Ptr;
679   pragma Inline (Sloc);
680
681   ---------------------
682   -- Node_Kind Tests --
683   ---------------------
684
685   --  These are like the functions in Sinfo, but the first argument is a
686   --  Node_Id, and the tested field is Nkind (N).
687
688   function Nkind_In
689     (N  : Node_Id;
690      V1 : Node_Kind;
691      V2 : Node_Kind) return Boolean;
692
693   function Nkind_In
694     (N  : Node_Id;
695      V1 : Node_Kind;
696      V2 : Node_Kind;
697      V3 : Node_Kind) return Boolean;
698
699   function Nkind_In
700     (N  : Node_Id;
701      V1 : Node_Kind;
702      V2 : Node_Kind;
703      V3 : Node_Kind;
704      V4 : Node_Kind) return Boolean;
705
706   function Nkind_In
707     (N  : Node_Id;
708      V1 : Node_Kind;
709      V2 : Node_Kind;
710      V3 : Node_Kind;
711      V4 : Node_Kind;
712      V5 : Node_Kind) return Boolean;
713
714   function Nkind_In
715     (N  : Node_Id;
716      V1 : Node_Kind;
717      V2 : Node_Kind;
718      V3 : Node_Kind;
719      V4 : Node_Kind;
720      V5 : Node_Kind;
721      V6 : Node_Kind) return Boolean;
722
723   function Nkind_In
724     (N  : Node_Id;
725      V1 : Node_Kind;
726      V2 : Node_Kind;
727      V3 : Node_Kind;
728      V4 : Node_Kind;
729      V5 : Node_Kind;
730      V6 : Node_Kind;
731      V7 : Node_Kind) return Boolean;
732
733   function Nkind_In
734     (N  : Node_Id;
735      V1 : Node_Kind;
736      V2 : Node_Kind;
737      V3 : Node_Kind;
738      V4 : Node_Kind;
739      V5 : Node_Kind;
740      V6 : Node_Kind;
741      V7 : Node_Kind;
742      V8 : Node_Kind) return Boolean;
743
744   function Nkind_In
745     (N  : Node_Id;
746      V1 : Node_Kind;
747      V2 : Node_Kind;
748      V3 : Node_Kind;
749      V4 : Node_Kind;
750      V5 : Node_Kind;
751      V6 : Node_Kind;
752      V7 : Node_Kind;
753      V8 : Node_Kind;
754      V9 : Node_Kind) return Boolean;
755
756   function Nkind_In
757     (N   : Node_Id;
758      V1  : Node_Kind;
759      V2  : Node_Kind;
760      V3  : Node_Kind;
761      V4  : Node_Kind;
762      V5  : Node_Kind;
763      V6  : Node_Kind;
764      V7  : Node_Kind;
765      V8  : Node_Kind;
766      V9  : Node_Kind;
767      V10 : Node_Kind) return Boolean;
768
769   function Nkind_In
770     (N   : Node_Id;
771      V1  : Node_Kind;
772      V2  : Node_Kind;
773      V3  : Node_Kind;
774      V4  : Node_Kind;
775      V5  : Node_Kind;
776      V6  : Node_Kind;
777      V7  : Node_Kind;
778      V8  : Node_Kind;
779      V9  : Node_Kind;
780      V10 : Node_Kind;
781      V11 : Node_Kind) return Boolean;
782
783   pragma Inline (Nkind_In);
784   --  Inline all above functions
785
786   -----------------------
787   -- Entity_Kind_Tests --
788   -----------------------
789
790   --  Utility functions to test whether an Entity_Kind value, either given
791   --  directly as the first argument, or the Ekind field of an Entity given
792   --  as the first argument, matches any of the given list of Entity_Kind
793   --  values. Return True if any match, False if no match.
794
795   function Ekind_In
796     (E  : Entity_Id;
797      V1 : Entity_Kind;
798      V2 : Entity_Kind) return Boolean;
799
800   function Ekind_In
801     (E  : Entity_Id;
802      V1 : Entity_Kind;
803      V2 : Entity_Kind;
804      V3 : Entity_Kind) return Boolean;
805
806   function Ekind_In
807     (E  : Entity_Id;
808      V1 : Entity_Kind;
809      V2 : Entity_Kind;
810      V3 : Entity_Kind;
811      V4 : Entity_Kind) return Boolean;
812
813   function Ekind_In
814     (E  : Entity_Id;
815      V1 : Entity_Kind;
816      V2 : Entity_Kind;
817      V3 : Entity_Kind;
818      V4 : Entity_Kind;
819      V5 : Entity_Kind) return Boolean;
820
821   function Ekind_In
822     (E  : Entity_Id;
823      V1 : Entity_Kind;
824      V2 : Entity_Kind;
825      V3 : Entity_Kind;
826      V4 : Entity_Kind;
827      V5 : Entity_Kind;
828      V6 : Entity_Kind) return Boolean;
829
830   function Ekind_In
831     (E  : Entity_Id;
832      V1 : Entity_Kind;
833      V2 : Entity_Kind;
834      V3 : Entity_Kind;
835      V4 : Entity_Kind;
836      V5 : Entity_Kind;
837      V6 : Entity_Kind;
838      V7 : Entity_Kind) return Boolean;
839
840   function Ekind_In
841     (E  : Entity_Id;
842      V1 : Entity_Kind;
843      V2 : Entity_Kind;
844      V3 : Entity_Kind;
845      V4 : Entity_Kind;
846      V5 : Entity_Kind;
847      V6 : Entity_Kind;
848      V7 : Entity_Kind;
849      V8 : Entity_Kind) return Boolean;
850
851   function Ekind_In
852     (E  : Entity_Id;
853      V1 : Entity_Kind;
854      V2 : Entity_Kind;
855      V3 : Entity_Kind;
856      V4 : Entity_Kind;
857      V5 : Entity_Kind;
858      V6 : Entity_Kind;
859      V7 : Entity_Kind;
860      V8 : Entity_Kind;
861      V9 : Entity_Kind) return Boolean;
862
863   function Ekind_In
864     (E   : Entity_Id;
865      V1  : Entity_Kind;
866      V2  : Entity_Kind;
867      V3  : Entity_Kind;
868      V4  : Entity_Kind;
869      V5  : Entity_Kind;
870      V6  : Entity_Kind;
871      V7  : Entity_Kind;
872      V8  : Entity_Kind;
873      V9  : Entity_Kind;
874      V10 : Entity_Kind) return Boolean;
875
876   function Ekind_In
877     (E   : Entity_Id;
878      V1  : Entity_Kind;
879      V2  : Entity_Kind;
880      V3  : Entity_Kind;
881      V4  : Entity_Kind;
882      V5  : Entity_Kind;
883      V6  : Entity_Kind;
884      V7  : Entity_Kind;
885      V8  : Entity_Kind;
886      V9  : Entity_Kind;
887      V10 : Entity_Kind;
888      V11 : Entity_Kind) return Boolean;
889
890   function Ekind_In
891     (T  : Entity_Kind;
892      V1 : Entity_Kind;
893      V2 : Entity_Kind) return Boolean;
894
895   function Ekind_In
896     (T  : Entity_Kind;
897      V1 : Entity_Kind;
898      V2 : Entity_Kind;
899      V3 : Entity_Kind) return Boolean;
900
901   function Ekind_In
902     (T  : Entity_Kind;
903      V1 : Entity_Kind;
904      V2 : Entity_Kind;
905      V3 : Entity_Kind;
906      V4 : Entity_Kind) return Boolean;
907
908   function Ekind_In
909     (T  : Entity_Kind;
910      V1 : Entity_Kind;
911      V2 : Entity_Kind;
912      V3 : Entity_Kind;
913      V4 : Entity_Kind;
914      V5 : Entity_Kind) return Boolean;
915
916   function Ekind_In
917     (T  : Entity_Kind;
918      V1 : Entity_Kind;
919      V2 : Entity_Kind;
920      V3 : Entity_Kind;
921      V4 : Entity_Kind;
922      V5 : Entity_Kind;
923      V6 : Entity_Kind) return Boolean;
924
925   function Ekind_In
926     (T  : Entity_Kind;
927      V1 : Entity_Kind;
928      V2 : Entity_Kind;
929      V3 : Entity_Kind;
930      V4 : Entity_Kind;
931      V5 : Entity_Kind;
932      V6 : Entity_Kind;
933      V7 : Entity_Kind) return Boolean;
934
935   function Ekind_In
936     (T  : Entity_Kind;
937      V1 : Entity_Kind;
938      V2 : Entity_Kind;
939      V3 : Entity_Kind;
940      V4 : Entity_Kind;
941      V5 : Entity_Kind;
942      V6 : Entity_Kind;
943      V7 : Entity_Kind;
944      V8 : Entity_Kind) return Boolean;
945
946   function Ekind_In
947     (T  : Entity_Kind;
948      V1 : Entity_Kind;
949      V2 : Entity_Kind;
950      V3 : Entity_Kind;
951      V4 : Entity_Kind;
952      V5 : Entity_Kind;
953      V6 : Entity_Kind;
954      V7 : Entity_Kind;
955      V8 : Entity_Kind;
956      V9 : Entity_Kind) return Boolean;
957
958   function Ekind_In
959     (T   : Entity_Kind;
960      V1  : Entity_Kind;
961      V2  : Entity_Kind;
962      V3  : Entity_Kind;
963      V4  : Entity_Kind;
964      V5  : Entity_Kind;
965      V6  : Entity_Kind;
966      V7  : Entity_Kind;
967      V8  : Entity_Kind;
968      V9  : Entity_Kind;
969      V10 : Entity_Kind) return Boolean;
970
971   function Ekind_In
972     (T   : Entity_Kind;
973      V1  : Entity_Kind;
974      V2  : Entity_Kind;
975      V3  : Entity_Kind;
976      V4  : Entity_Kind;
977      V5  : Entity_Kind;
978      V6  : Entity_Kind;
979      V7  : Entity_Kind;
980      V8  : Entity_Kind;
981      V9  : Entity_Kind;
982      V10 : Entity_Kind;
983      V11 : Entity_Kind) return Boolean;
984
985   pragma Inline (Ekind_In);
986   --  Inline all above functions
987
988   -----------------------------
989   -- Entity Access Functions --
990   -----------------------------
991
992   --  The following functions apply only to Entity_Id values, i.e.
993   --  to extended nodes.
994
995   function Ekind (E : Entity_Id) return Entity_Kind;
996   pragma Inline (Ekind);
997
998   function Convention (E : Entity_Id) return Convention_Id;
999   pragma Inline (Convention);
1000
1001   ----------------------------
1002   -- Node Update Procedures --
1003   ----------------------------
1004
1005   --  The following functions set a specified field in the node whose Id is
1006   --  passed as the first argument. The second parameter is the new value
1007   --  to be set in the specified field. Note that Set_Nkind is in the next
1008   --  section, since its use is restricted.
1009
1010   procedure Set_Analyzed              (N : Node_Id; Val : Boolean := True);
1011   pragma Inline (Set_Analyzed);
1012
1013   procedure Set_Check_Actuals         (N : Node_Id; Val : Boolean := True);
1014   pragma Inline (Set_Check_Actuals);
1015
1016   procedure Set_Comes_From_Source     (N : Node_Id; Val : Boolean);
1017   pragma Inline (Set_Comes_From_Source);
1018   --  Note that this routine is very rarely used, since usually the default
1019   --  mechanism provided sets the right value, but in some unusual cases, the
1020   --  value needs to be reset (e.g. when a source node is copied, and the copy
1021   --  must not have Comes_From_Source set).
1022
1023   procedure Set_Error_Posted          (N : Node_Id; Val : Boolean := True);
1024   pragma Inline (Set_Error_Posted);
1025
1026   procedure Set_Has_Aspects           (N : Node_Id; Val : Boolean := True);
1027   pragma Inline (Set_Has_Aspects);
1028
1029   procedure Set_Is_Ignored_Ghost_Node (N : Node_Id; Val : Boolean := True);
1030   pragma Inline (Set_Is_Ignored_Ghost_Node);
1031
1032   procedure Set_Original_Node         (N : Node_Id; Val : Node_Id);
1033   pragma Inline (Set_Original_Node);
1034   --  Note that this routine is used only in very peculiar cases. In normal
1035   --  cases, the Original_Node link is set by calls to Rewrite. We currently
1036   --  use it in ASIS mode to manually set the link from pragma expressions to
1037   --  their aspect original source expressions, so that the original source
1038   --  expressions accessed by ASIS are also semantically analyzed.
1039
1040   procedure Set_Parent                (N : Node_Id; Val : Node_Id);
1041   pragma Inline (Set_Parent);
1042
1043   procedure Set_Paren_Count           (N : Node_Id; Val : Nat);
1044   pragma Inline (Set_Paren_Count);
1045
1046   procedure Set_Sloc                  (N : Node_Id; Val : Source_Ptr);
1047   pragma Inline (Set_Sloc);
1048
1049   ------------------------------
1050   -- Entity Update Procedures --
1051   ------------------------------
1052
1053   --  The following procedures apply only to Entity_Id values, i.e.
1054   --  to extended nodes.
1055
1056   procedure Basic_Set_Convention (E : Entity_Id; Val : Convention_Id);
1057   pragma Inline (Basic_Set_Convention);
1058   --  Clients should use Sem_Util.Set_Convention rather than calling this
1059   --  routine directly, as Set_Convention also deals with the special
1060   --  processing required for access types.
1061
1062   procedure Set_Ekind (E : Entity_Id; Val : Entity_Kind);
1063   pragma Inline (Set_Ekind);
1064
1065   ---------------------------
1066   -- Tree Rewrite Routines --
1067   ---------------------------
1068
1069   --  During the compilation process it is necessary in a number of situations
1070   --  to rewrite the tree. In some cases, such rewrites do not affect the
1071   --  structure of the tree, for example, when an indexed component node is
1072   --  replaced by the corresponding call node (the parser cannot distinguish
1073   --  between these two cases).
1074
1075   --  In other situations, the rewrite does affect the structure of the
1076   --  tree. Examples are the replacement of a generic instantiation by the
1077   --  instantiated spec and body, and the static evaluation of expressions.
1078
1079   --  If such structural modifications are done by the expander, there are
1080   --  no difficulties, since the form of the tree after the expander has no
1081   --  special significance, except as input to the backend of the compiler.
1082   --  However, if these modifications are done by the semantic phase, then
1083   --  it is important that they be done in a manner which allows the original
1084   --  tree to be preserved. This is because tools like pretty printers need
1085   --  to have this original tree structure available.
1086
1087   --  The subprograms in this section allow rewriting of the tree by either
1088   --  insertion of new nodes in an existing list, or complete replacement of
1089   --  a subtree. The resulting tree for most purposes looks as though it has
1090   --  been really changed, and there is no trace of the original. However,
1091   --  special subprograms, also defined in this section, allow the original
1092   --  tree to be reconstructed if necessary.
1093
1094   --  For tree modifications done in the expander, it is permissible to
1095   --  destroy the original tree, although it is also allowable to use the
1096   --  tree rewrite routines where it is convenient to do so.
1097
1098   procedure Mark_Rewrite_Insertion (New_Node : Node_Id);
1099   pragma Inline (Mark_Rewrite_Insertion);
1100   --  This procedure marks the given node as an insertion made during a tree
1101   --  rewriting operation. Only the root needs to be marked. The call does
1102   --  not do the actual insertion, which must be done using one of the normal
1103   --  list insertion routines. The node is treated normally in all respects
1104   --  except for its response to Is_Rewrite_Insertion. The function of these
1105   --  calls is to be able to get an accurate original tree. This helps the
1106   --  accuracy of Sprint.Sprint_Node, and in particular, when stubs are being
1107   --  generated, it is essential that the original tree be accurate.
1108
1109   function Is_Rewrite_Insertion (Node : Node_Id) return Boolean;
1110   pragma Inline (Is_Rewrite_Insertion);
1111   --  Tests whether the given node was marked using Mark_Rewrite_Insertion.
1112   --  This is used in reconstructing the original tree (where such nodes are
1113   --  to be eliminated).
1114
1115   procedure Rewrite (Old_Node, New_Node : Node_Id);
1116   --  This is used when a complete subtree is to be replaced. Old_Node is the
1117   --  root of the old subtree to be replaced, and New_Node is the root of the
1118   --  newly constructed replacement subtree. The actual mechanism is to swap
1119   --  the contents of these two nodes fixing up the parent pointers of the
1120   --  replaced node (we do not attempt to preserve parent pointers for the
1121   --  original node). Neither Old_Node nor New_Node can be extended nodes.
1122   --
1123   --  Note: New_Node may not contain references to Old_Node, for example as
1124   --  descendants, since the rewrite would make such references invalid. If
1125   --  New_Node does need to reference Old_Node, then these references should
1126   --  be to a relocated copy of Old_Node (see Relocate_Node procedure).
1127   --
1128   --  Note: The Original_Node function applied to Old_Node (which has now
1129   --  been replaced by the contents of New_Node), can be used to obtain the
1130   --  original node, i.e. the old contents of Old_Node.
1131
1132   procedure Replace (Old_Node, New_Node : Node_Id);
1133   --  This is similar to Rewrite, except that the old value of Old_Node is
1134   --  not saved, and the New_Node is deleted after the replace, since it
1135   --  is assumed that it can no longer be legitimately needed. The flag
1136   --  Is_Rewrite_Substitution will be False for the resulting node, unless
1137   --  it was already true on entry, and Original_Node will not return the
1138   --  original contents of the Old_Node, but rather the New_Node value (unless
1139   --  Old_Node had already been rewritten using Rewrite). Replace also
1140   --  preserves the setting of Comes_From_Source.
1141   --
1142   --  Note, New_Node may not contain references to Old_Node, for example as
1143   --  descendants, since the rewrite would make such references invalid. If
1144   --  New_Node does need to reference Old_Node, then these references should
1145   --  be to a relocated copy of Old_Node (see Relocate_Node procedure).
1146   --
1147   --  Replace is used in certain circumstances where it is desirable to
1148   --  suppress any history of the rewriting operation. Notably, it is used
1149   --  when the parser has mis-classified a node (e.g. a task entry call
1150   --  that the parser has parsed as a procedure call).
1151
1152   function Is_Rewrite_Substitution (Node : Node_Id) return Boolean;
1153   pragma Inline (Is_Rewrite_Substitution);
1154   --  Return True iff Node has been rewritten (i.e. if Node is the root
1155   --  of a subtree which was installed using Rewrite).
1156
1157   function Original_Node (Node : Node_Id) return Node_Id;
1158   pragma Inline (Original_Node);
1159   --  If Node has not been rewritten, then returns its input argument
1160   --  unchanged, else returns the Node for the original subtree. Note that
1161   --  this is used extensively by ASIS on the trees constructed in ASIS mode
1162   --  to reconstruct the original semantic tree. See section in sinfo.ads
1163   --  for requirements on original nodes returned by this function.
1164   --
1165   --  Note: Parents are not preserved in original tree nodes that are
1166   --  retrieved in this way (i.e. their children may have children whose
1167   --  pointers which reference some other node). This needs more details???
1168   --
1169   --  Note: there is no direct mechanism for deleting an original node (in
1170   --  a manner that can be reversed later). One possible approach is to use
1171   --  Rewrite to substitute a null statement for the node to be deleted.
1172
1173   -----------------------------------
1174   -- Generic Field Access Routines --
1175   -----------------------------------
1176
1177   --  This subpackage provides the functions for accessing and procedures for
1178   --  setting fields that are normally referenced by wrapper subprograms (e.g.
1179   --  logical synonyms defined in packages Sinfo and Einfo, or specialized
1180   --  routines such as Rewrite (for Original_Node), or the node creation
1181   --  routines (for Set_Nkind). The implementations of these wrapper
1182   --  subprograms use the package Atree.Unchecked_Access as do various
1183   --  special case accesses where no wrapper applies. Documentation is always
1184   --  required for such a special case access explaining why it is needed.
1185
1186   package Unchecked_Access is
1187
1188      --  Functions to allow interpretation of Union_Id values as Uint and
1189      --  Ureal values.
1190
1191      function To_Union is new Unchecked_Conversion (Uint,  Union_Id);
1192      function To_Union is new Unchecked_Conversion (Ureal, Union_Id);
1193
1194      function From_Union is new Unchecked_Conversion (Union_Id, Uint);
1195      function From_Union is new Unchecked_Conversion (Union_Id, Ureal);
1196
1197      --  Functions to fetch contents of indicated field. It is an error to
1198      --  attempt to read the value of a field which is not present.
1199
1200      function Field1 (N : Node_Id) return Union_Id;
1201      pragma Inline (Field1);
1202
1203      function Field2 (N : Node_Id) return Union_Id;
1204      pragma Inline (Field2);
1205
1206      function Field3 (N : Node_Id) return Union_Id;
1207      pragma Inline (Field3);
1208
1209      function Field4 (N : Node_Id) return Union_Id;
1210      pragma Inline (Field4);
1211
1212      function Field5 (N : Node_Id) return Union_Id;
1213      pragma Inline (Field5);
1214
1215      function Field6 (N : Node_Id) return Union_Id;
1216      pragma Inline (Field6);
1217
1218      function Field7 (N : Node_Id) return Union_Id;
1219      pragma Inline (Field7);
1220
1221      function Field8 (N : Node_Id) return Union_Id;
1222      pragma Inline (Field8);
1223
1224      function Field9 (N : Node_Id) return Union_Id;
1225      pragma Inline (Field9);
1226
1227      function Field10 (N : Node_Id) return Union_Id;
1228      pragma Inline (Field10);
1229
1230      function Field11 (N : Node_Id) return Union_Id;
1231      pragma Inline (Field11);
1232
1233      function Field12 (N : Node_Id) return Union_Id;
1234      pragma Inline (Field12);
1235
1236      function Field13 (N : Node_Id) return Union_Id;
1237      pragma Inline (Field13);
1238
1239      function Field14 (N : Node_Id) return Union_Id;
1240      pragma Inline (Field14);
1241
1242      function Field15 (N : Node_Id) return Union_Id;
1243      pragma Inline (Field15);
1244
1245      function Field16 (N : Node_Id) return Union_Id;
1246      pragma Inline (Field16);
1247
1248      function Field17 (N : Node_Id) return Union_Id;
1249      pragma Inline (Field17);
1250
1251      function Field18 (N : Node_Id) return Union_Id;
1252      pragma Inline (Field18);
1253
1254      function Field19 (N : Node_Id) return Union_Id;
1255      pragma Inline (Field19);
1256
1257      function Field20 (N : Node_Id) return Union_Id;
1258      pragma Inline (Field20);
1259
1260      function Field21 (N : Node_Id) return Union_Id;
1261      pragma Inline (Field21);
1262
1263      function Field22 (N : Node_Id) return Union_Id;
1264      pragma Inline (Field22);
1265
1266      function Field23 (N : Node_Id) return Union_Id;
1267      pragma Inline (Field23);
1268
1269      function Field24 (N : Node_Id) return Union_Id;
1270      pragma Inline (Field24);
1271
1272      function Field25 (N : Node_Id) return Union_Id;
1273      pragma Inline (Field25);
1274
1275      function Field26 (N : Node_Id) return Union_Id;
1276      pragma Inline (Field26);
1277
1278      function Field27 (N : Node_Id) return Union_Id;
1279      pragma Inline (Field27);
1280
1281      function Field28 (N : Node_Id) return Union_Id;
1282      pragma Inline (Field28);
1283
1284      function Field29 (N : Node_Id) return Union_Id;
1285      pragma Inline (Field29);
1286
1287      function Field30 (N : Node_Id) return Union_Id;
1288      pragma Inline (Field30);
1289
1290      function Field31 (N : Node_Id) return Union_Id;
1291      pragma Inline (Field31);
1292
1293      function Field32 (N : Node_Id) return Union_Id;
1294      pragma Inline (Field32);
1295
1296      function Field33 (N : Node_Id) return Union_Id;
1297      pragma Inline (Field33);
1298
1299      function Field34 (N : Node_Id) return Union_Id;
1300      pragma Inline (Field34);
1301
1302      function Field35 (N : Node_Id) return Union_Id;
1303      pragma Inline (Field35);
1304
1305      function Field36 (N : Node_Id) return Union_Id;
1306      pragma Inline (Field36);
1307
1308      function Field37 (N : Node_Id) return Union_Id;
1309      pragma Inline (Field37);
1310
1311      function Field38 (N : Node_Id) return Union_Id;
1312      pragma Inline (Field38);
1313
1314      function Field39 (N : Node_Id) return Union_Id;
1315      pragma Inline (Field39);
1316
1317      function Field40 (N : Node_Id) return Union_Id;
1318      pragma Inline (Field40);
1319
1320      function Field41 (N : Node_Id) return Union_Id;
1321      pragma Inline (Field41);
1322
1323      function Node1 (N : Node_Id) return Node_Id;
1324      pragma Inline (Node1);
1325
1326      function Node2 (N : Node_Id) return Node_Id;
1327      pragma Inline (Node2);
1328
1329      function Node3 (N : Node_Id) return Node_Id;
1330      pragma Inline (Node3);
1331
1332      function Node4 (N : Node_Id) return Node_Id;
1333      pragma Inline (Node4);
1334
1335      function Node5 (N : Node_Id) return Node_Id;
1336      pragma Inline (Node5);
1337
1338      function Node6 (N : Node_Id) return Node_Id;
1339      pragma Inline (Node6);
1340
1341      function Node7 (N : Node_Id) return Node_Id;
1342      pragma Inline (Node7);
1343
1344      function Node8 (N : Node_Id) return Node_Id;
1345      pragma Inline (Node8);
1346
1347      function Node9 (N : Node_Id) return Node_Id;
1348      pragma Inline (Node9);
1349
1350      function Node10 (N : Node_Id) return Node_Id;
1351      pragma Inline (Node10);
1352
1353      function Node11 (N : Node_Id) return Node_Id;
1354      pragma Inline (Node11);
1355
1356      function Node12 (N : Node_Id) return Node_Id;
1357      pragma Inline (Node12);
1358
1359      function Node13 (N : Node_Id) return Node_Id;
1360      pragma Inline (Node13);
1361
1362      function Node14 (N : Node_Id) return Node_Id;
1363      pragma Inline (Node14);
1364
1365      function Node15 (N : Node_Id) return Node_Id;
1366      pragma Inline (Node15);
1367
1368      function Node16 (N : Node_Id) return Node_Id;
1369      pragma Inline (Node16);
1370
1371      function Node17 (N : Node_Id) return Node_Id;
1372      pragma Inline (Node17);
1373
1374      function Node18 (N : Node_Id) return Node_Id;
1375      pragma Inline (Node18);
1376
1377      function Node19 (N : Node_Id) return Node_Id;
1378      pragma Inline (Node19);
1379
1380      function Node20 (N : Node_Id) return Node_Id;
1381      pragma Inline (Node20);
1382
1383      function Node21 (N : Node_Id) return Node_Id;
1384      pragma Inline (Node21);
1385
1386      function Node22 (N : Node_Id) return Node_Id;
1387      pragma Inline (Node22);
1388
1389      function Node23 (N : Node_Id) return Node_Id;
1390      pragma Inline (Node23);
1391
1392      function Node24 (N : Node_Id) return Node_Id;
1393      pragma Inline (Node24);
1394
1395      function Node25 (N : Node_Id) return Node_Id;
1396      pragma Inline (Node25);
1397
1398      function Node26 (N : Node_Id) return Node_Id;
1399      pragma Inline (Node26);
1400
1401      function Node27 (N : Node_Id) return Node_Id;
1402      pragma Inline (Node27);
1403
1404      function Node28 (N : Node_Id) return Node_Id;
1405      pragma Inline (Node28);
1406
1407      function Node29 (N : Node_Id) return Node_Id;
1408      pragma Inline (Node29);
1409
1410      function Node30 (N : Node_Id) return Node_Id;
1411      pragma Inline (Node30);
1412
1413      function Node31 (N : Node_Id) return Node_Id;
1414      pragma Inline (Node31);
1415
1416      function Node32 (N : Node_Id) return Node_Id;
1417      pragma Inline (Node32);
1418
1419      function Node33 (N : Node_Id) return Node_Id;
1420      pragma Inline (Node33);
1421
1422      function Node34 (N : Node_Id) return Node_Id;
1423      pragma Inline (Node34);
1424
1425      function Node35 (N : Node_Id) return Node_Id;
1426      pragma Inline (Node35);
1427
1428      function Node36 (N : Node_Id) return Node_Id;
1429      pragma Inline (Node36);
1430
1431      function Node37 (N : Node_Id) return Node_Id;
1432      pragma Inline (Node37);
1433
1434      function Node38 (N : Node_Id) return Node_Id;
1435      pragma Inline (Node38);
1436
1437      function Node39 (N : Node_Id) return Node_Id;
1438      pragma Inline (Node39);
1439
1440      function Node40 (N : Node_Id) return Node_Id;
1441      pragma Inline (Node40);
1442
1443      function Node41 (N : Node_Id) return Node_Id;
1444      pragma Inline (Node41);
1445
1446      function List1 (N : Node_Id) return List_Id;
1447      pragma Inline (List1);
1448
1449      function List2 (N : Node_Id) return List_Id;
1450      pragma Inline (List2);
1451
1452      function List3 (N : Node_Id) return List_Id;
1453      pragma Inline (List3);
1454
1455      function List4 (N : Node_Id) return List_Id;
1456      pragma Inline (List4);
1457
1458      function List5 (N : Node_Id) return List_Id;
1459      pragma Inline (List5);
1460
1461      function List10 (N : Node_Id) return List_Id;
1462      pragma Inline (List10);
1463
1464      function List14 (N : Node_Id) return List_Id;
1465      pragma Inline (List14);
1466
1467      function List25 (N : Node_Id) return List_Id;
1468      pragma Inline (List25);
1469
1470      function List38 (N : Node_Id) return List_Id;
1471      pragma Inline (List38);
1472
1473      function List39 (N : Node_Id) return List_Id;
1474      pragma Inline (List39);
1475
1476      function Elist1 (N : Node_Id) return Elist_Id;
1477      pragma Inline (Elist1);
1478
1479      function Elist2 (N : Node_Id) return Elist_Id;
1480      pragma Inline (Elist2);
1481
1482      function Elist3 (N : Node_Id) return Elist_Id;
1483      pragma Inline (Elist3);
1484
1485      function Elist4 (N : Node_Id) return Elist_Id;
1486      pragma Inline (Elist4);
1487
1488      function Elist5 (N : Node_Id) return Elist_Id;
1489      pragma Inline (Elist5);
1490
1491      function Elist8 (N : Node_Id) return Elist_Id;
1492      pragma Inline (Elist8);
1493
1494      function Elist9 (N : Node_Id) return Elist_Id;
1495      pragma Inline (Elist9);
1496
1497      function Elist10 (N : Node_Id) return Elist_Id;
1498      pragma Inline (Elist10);
1499
1500      function Elist11 (N : Node_Id) return Elist_Id;
1501      pragma Inline (Elist11);
1502
1503      function Elist13 (N : Node_Id) return Elist_Id;
1504      pragma Inline (Elist13);
1505
1506      function Elist15 (N : Node_Id) return Elist_Id;
1507      pragma Inline (Elist15);
1508
1509      function Elist16 (N : Node_Id) return Elist_Id;
1510      pragma Inline (Elist16);
1511
1512      function Elist18 (N : Node_Id) return Elist_Id;
1513      pragma Inline (Elist18);
1514
1515      function Elist21 (N : Node_Id) return Elist_Id;
1516      pragma Inline (Elist21);
1517
1518      function Elist23 (N : Node_Id) return Elist_Id;
1519      pragma Inline (Elist23);
1520
1521      function Elist24 (N : Node_Id) return Elist_Id;
1522      pragma Inline (Elist24);
1523
1524      function Elist25 (N : Node_Id) return Elist_Id;
1525      pragma Inline (Elist25);
1526
1527      function Elist26 (N : Node_Id) return Elist_Id;
1528      pragma Inline (Elist26);
1529
1530      function Elist29 (N : Node_Id) return Elist_Id;
1531      pragma Inline (Elist29);
1532
1533      function Elist30 (N : Node_Id) return Elist_Id;
1534      pragma Inline (Elist30);
1535
1536      function Elist36 (N : Node_Id) return Elist_Id;
1537      pragma Inline (Elist36);
1538
1539      function Name1 (N : Node_Id) return Name_Id;
1540      pragma Inline (Name1);
1541
1542      function Name2 (N : Node_Id) return Name_Id;
1543      pragma Inline (Name2);
1544
1545      function Str3 (N : Node_Id) return String_Id;
1546      pragma Inline (Str3);
1547
1548      --  Note: the following Uintnn functions have a special test for the
1549      --  Field value being Empty. If an Empty value is found then Uint_0 is
1550      --  returned. This avoids the rather tricky requirement of initializing
1551      --  all Uint fields in nodes and entities.
1552
1553      function Uint2 (N : Node_Id) return Uint;
1554      pragma Inline (Uint2);
1555
1556      function Uint3 (N : Node_Id) return Uint;
1557      pragma Inline (Uint3);
1558
1559      function Uint4 (N : Node_Id) return Uint;
1560      pragma Inline (Uint4);
1561
1562      function Uint5 (N : Node_Id) return Uint;
1563      pragma Inline (Uint5);
1564
1565      function Uint8 (N : Node_Id) return Uint;
1566      pragma Inline (Uint8);
1567
1568      function Uint9 (N : Node_Id) return Uint;
1569      pragma Inline (Uint9);
1570
1571      function Uint10 (N : Node_Id) return Uint;
1572      pragma Inline (Uint10);
1573
1574      function Uint11 (N : Node_Id) return Uint;
1575      pragma Inline (Uint11);
1576
1577      function Uint12 (N : Node_Id) return Uint;
1578      pragma Inline (Uint12);
1579
1580      function Uint13 (N : Node_Id) return Uint;
1581      pragma Inline (Uint13);
1582
1583      function Uint14 (N : Node_Id) return Uint;
1584      pragma Inline (Uint14);
1585
1586      function Uint15 (N : Node_Id) return Uint;
1587      pragma Inline (Uint15);
1588
1589      function Uint16 (N : Node_Id) return Uint;
1590      pragma Inline (Uint16);
1591
1592      function Uint17 (N : Node_Id) return Uint;
1593      pragma Inline (Uint17);
1594
1595      function Uint22 (N : Node_Id) return Uint;
1596      pragma Inline (Uint22);
1597
1598      function Uint24 (N : Node_Id) return Uint;
1599      pragma Inline (Uint24);
1600
1601      function Ureal3 (N : Node_Id) return Ureal;
1602      pragma Inline (Ureal3);
1603
1604      function Ureal18 (N : Node_Id) return Ureal;
1605      pragma Inline (Ureal18);
1606
1607      function Ureal21 (N : Node_Id) return Ureal;
1608      pragma Inline (Ureal21);
1609
1610      function Flag0 (N : Node_Id) return Boolean;
1611      pragma Inline (Flag0);
1612
1613      function Flag1 (N : Node_Id) return Boolean;
1614      pragma Inline (Flag1);
1615
1616      function Flag2 (N : Node_Id) return Boolean;
1617      pragma Inline (Flag2);
1618
1619      function Flag3 (N : Node_Id) return Boolean;
1620      pragma Inline (Flag3);
1621
1622      function Flag4 (N : Node_Id) return Boolean;
1623      pragma Inline (Flag4);
1624
1625      function Flag5 (N : Node_Id) return Boolean;
1626      pragma Inline (Flag5);
1627
1628      function Flag6 (N : Node_Id) return Boolean;
1629      pragma Inline (Flag6);
1630
1631      function Flag7 (N : Node_Id) return Boolean;
1632      pragma Inline (Flag7);
1633
1634      function Flag8 (N : Node_Id) return Boolean;
1635      pragma Inline (Flag8);
1636
1637      function Flag9 (N : Node_Id) return Boolean;
1638      pragma Inline (Flag9);
1639
1640      function Flag10 (N : Node_Id) return Boolean;
1641      pragma Inline (Flag10);
1642
1643      function Flag11 (N : Node_Id) return Boolean;
1644      pragma Inline (Flag11);
1645
1646      function Flag12 (N : Node_Id) return Boolean;
1647      pragma Inline (Flag12);
1648
1649      function Flag13 (N : Node_Id) return Boolean;
1650      pragma Inline (Flag13);
1651
1652      function Flag14 (N : Node_Id) return Boolean;
1653      pragma Inline (Flag14);
1654
1655      function Flag15 (N : Node_Id) return Boolean;
1656      pragma Inline (Flag15);
1657
1658      function Flag16 (N : Node_Id) return Boolean;
1659      pragma Inline (Flag16);
1660
1661      function Flag17 (N : Node_Id) return Boolean;
1662      pragma Inline (Flag17);
1663
1664      function Flag18 (N : Node_Id) return Boolean;
1665      pragma Inline (Flag18);
1666
1667      function Flag19 (N : Node_Id) return Boolean;
1668      pragma Inline (Flag19);
1669
1670      function Flag20 (N : Node_Id) return Boolean;
1671      pragma Inline (Flag20);
1672
1673      function Flag21 (N : Node_Id) return Boolean;
1674      pragma Inline (Flag21);
1675
1676      function Flag22 (N : Node_Id) return Boolean;
1677      pragma Inline (Flag22);
1678
1679      function Flag23 (N : Node_Id) return Boolean;
1680      pragma Inline (Flag23);
1681
1682      function Flag24 (N : Node_Id) return Boolean;
1683      pragma Inline (Flag24);
1684
1685      function Flag25 (N : Node_Id) return Boolean;
1686      pragma Inline (Flag25);
1687
1688      function Flag26 (N : Node_Id) return Boolean;
1689      pragma Inline (Flag26);
1690
1691      function Flag27 (N : Node_Id) return Boolean;
1692      pragma Inline (Flag27);
1693
1694      function Flag28 (N : Node_Id) return Boolean;
1695      pragma Inline (Flag28);
1696
1697      function Flag29 (N : Node_Id) return Boolean;
1698      pragma Inline (Flag29);
1699
1700      function Flag30 (N : Node_Id) return Boolean;
1701      pragma Inline (Flag30);
1702
1703      function Flag31 (N : Node_Id) return Boolean;
1704      pragma Inline (Flag31);
1705
1706      function Flag32 (N : Node_Id) return Boolean;
1707      pragma Inline (Flag32);
1708
1709      function Flag33 (N : Node_Id) return Boolean;
1710      pragma Inline (Flag33);
1711
1712      function Flag34 (N : Node_Id) return Boolean;
1713      pragma Inline (Flag34);
1714
1715      function Flag35 (N : Node_Id) return Boolean;
1716      pragma Inline (Flag35);
1717
1718      function Flag36 (N : Node_Id) return Boolean;
1719      pragma Inline (Flag36);
1720
1721      function Flag37 (N : Node_Id) return Boolean;
1722      pragma Inline (Flag37);
1723
1724      function Flag38 (N : Node_Id) return Boolean;
1725      pragma Inline (Flag38);
1726
1727      function Flag39 (N : Node_Id) return Boolean;
1728      pragma Inline (Flag39);
1729
1730      function Flag40 (N : Node_Id) return Boolean;
1731      pragma Inline (Flag40);
1732
1733      function Flag41 (N : Node_Id) return Boolean;
1734      pragma Inline (Flag41);
1735
1736      function Flag42 (N : Node_Id) return Boolean;
1737      pragma Inline (Flag42);
1738
1739      function Flag43 (N : Node_Id) return Boolean;
1740      pragma Inline (Flag43);
1741
1742      function Flag44 (N : Node_Id) return Boolean;
1743      pragma Inline (Flag44);
1744
1745      function Flag45 (N : Node_Id) return Boolean;
1746      pragma Inline (Flag45);
1747
1748      function Flag46 (N : Node_Id) return Boolean;
1749      pragma Inline (Flag46);
1750
1751      function Flag47 (N : Node_Id) return Boolean;
1752      pragma Inline (Flag47);
1753
1754      function Flag48 (N : Node_Id) return Boolean;
1755      pragma Inline (Flag48);
1756
1757      function Flag49 (N : Node_Id) return Boolean;
1758      pragma Inline (Flag49);
1759
1760      function Flag50 (N : Node_Id) return Boolean;
1761      pragma Inline (Flag50);
1762
1763      function Flag51 (N : Node_Id) return Boolean;
1764      pragma Inline (Flag51);
1765
1766      function Flag52 (N : Node_Id) return Boolean;
1767      pragma Inline (Flag52);
1768
1769      function Flag53 (N : Node_Id) return Boolean;
1770      pragma Inline (Flag53);
1771
1772      function Flag54 (N : Node_Id) return Boolean;
1773      pragma Inline (Flag54);
1774
1775      function Flag55 (N : Node_Id) return Boolean;
1776      pragma Inline (Flag55);
1777
1778      function Flag56 (N : Node_Id) return Boolean;
1779      pragma Inline (Flag56);
1780
1781      function Flag57 (N : Node_Id) return Boolean;
1782      pragma Inline (Flag57);
1783
1784      function Flag58 (N : Node_Id) return Boolean;
1785      pragma Inline (Flag58);
1786
1787      function Flag59 (N : Node_Id) return Boolean;
1788      pragma Inline (Flag59);
1789
1790      function Flag60 (N : Node_Id) return Boolean;
1791      pragma Inline (Flag60);
1792
1793      function Flag61 (N : Node_Id) return Boolean;
1794      pragma Inline (Flag61);
1795
1796      function Flag62 (N : Node_Id) return Boolean;
1797      pragma Inline (Flag62);
1798
1799      function Flag63 (N : Node_Id) return Boolean;
1800      pragma Inline (Flag63);
1801
1802      function Flag64 (N : Node_Id) return Boolean;
1803      pragma Inline (Flag64);
1804
1805      function Flag65 (N : Node_Id) return Boolean;
1806      pragma Inline (Flag65);
1807
1808      function Flag66 (N : Node_Id) return Boolean;
1809      pragma Inline (Flag66);
1810
1811      function Flag67 (N : Node_Id) return Boolean;
1812      pragma Inline (Flag67);
1813
1814      function Flag68 (N : Node_Id) return Boolean;
1815      pragma Inline (Flag68);
1816
1817      function Flag69 (N : Node_Id) return Boolean;
1818      pragma Inline (Flag69);
1819
1820      function Flag70 (N : Node_Id) return Boolean;
1821      pragma Inline (Flag70);
1822
1823      function Flag71 (N : Node_Id) return Boolean;
1824      pragma Inline (Flag71);
1825
1826      function Flag72 (N : Node_Id) return Boolean;
1827      pragma Inline (Flag72);
1828
1829      function Flag73 (N : Node_Id) return Boolean;
1830      pragma Inline (Flag73);
1831
1832      function Flag74 (N : Node_Id) return Boolean;
1833      pragma Inline (Flag74);
1834
1835      function Flag75 (N : Node_Id) return Boolean;
1836      pragma Inline (Flag75);
1837
1838      function Flag76 (N : Node_Id) return Boolean;
1839      pragma Inline (Flag76);
1840
1841      function Flag77 (N : Node_Id) return Boolean;
1842      pragma Inline (Flag77);
1843
1844      function Flag78 (N : Node_Id) return Boolean;
1845      pragma Inline (Flag78);
1846
1847      function Flag79 (N : Node_Id) return Boolean;
1848      pragma Inline (Flag79);
1849
1850      function Flag80 (N : Node_Id) return Boolean;
1851      pragma Inline (Flag80);
1852
1853      function Flag81 (N : Node_Id) return Boolean;
1854      pragma Inline (Flag81);
1855
1856      function Flag82 (N : Node_Id) return Boolean;
1857      pragma Inline (Flag82);
1858
1859      function Flag83 (N : Node_Id) return Boolean;
1860      pragma Inline (Flag83);
1861
1862      function Flag84 (N : Node_Id) return Boolean;
1863      pragma Inline (Flag84);
1864
1865      function Flag85 (N : Node_Id) return Boolean;
1866      pragma Inline (Flag85);
1867
1868      function Flag86 (N : Node_Id) return Boolean;
1869      pragma Inline (Flag86);
1870
1871      function Flag87 (N : Node_Id) return Boolean;
1872      pragma Inline (Flag87);
1873
1874      function Flag88 (N : Node_Id) return Boolean;
1875      pragma Inline (Flag88);
1876
1877      function Flag89 (N : Node_Id) return Boolean;
1878      pragma Inline (Flag89);
1879
1880      function Flag90 (N : Node_Id) return Boolean;
1881      pragma Inline (Flag90);
1882
1883      function Flag91 (N : Node_Id) return Boolean;
1884      pragma Inline (Flag91);
1885
1886      function Flag92 (N : Node_Id) return Boolean;
1887      pragma Inline (Flag92);
1888
1889      function Flag93 (N : Node_Id) return Boolean;
1890      pragma Inline (Flag93);
1891
1892      function Flag94 (N : Node_Id) return Boolean;
1893      pragma Inline (Flag94);
1894
1895      function Flag95 (N : Node_Id) return Boolean;
1896      pragma Inline (Flag95);
1897
1898      function Flag96 (N : Node_Id) return Boolean;
1899      pragma Inline (Flag96);
1900
1901      function Flag97 (N : Node_Id) return Boolean;
1902      pragma Inline (Flag97);
1903
1904      function Flag98 (N : Node_Id) return Boolean;
1905      pragma Inline (Flag98);
1906
1907      function Flag99 (N : Node_Id) return Boolean;
1908      pragma Inline (Flag99);
1909
1910      function Flag100 (N : Node_Id) return Boolean;
1911      pragma Inline (Flag100);
1912
1913      function Flag101 (N : Node_Id) return Boolean;
1914      pragma Inline (Flag101);
1915
1916      function Flag102 (N : Node_Id) return Boolean;
1917      pragma Inline (Flag102);
1918
1919      function Flag103 (N : Node_Id) return Boolean;
1920      pragma Inline (Flag103);
1921
1922      function Flag104 (N : Node_Id) return Boolean;
1923      pragma Inline (Flag104);
1924
1925      function Flag105 (N : Node_Id) return Boolean;
1926      pragma Inline (Flag105);
1927
1928      function Flag106 (N : Node_Id) return Boolean;
1929      pragma Inline (Flag106);
1930
1931      function Flag107 (N : Node_Id) return Boolean;
1932      pragma Inline (Flag107);
1933
1934      function Flag108 (N : Node_Id) return Boolean;
1935      pragma Inline (Flag108);
1936
1937      function Flag109 (N : Node_Id) return Boolean;
1938      pragma Inline (Flag109);
1939
1940      function Flag110 (N : Node_Id) return Boolean;
1941      pragma Inline (Flag110);
1942
1943      function Flag111 (N : Node_Id) return Boolean;
1944      pragma Inline (Flag111);
1945
1946      function Flag112 (N : Node_Id) return Boolean;
1947      pragma Inline (Flag112);
1948
1949      function Flag113 (N : Node_Id) return Boolean;
1950      pragma Inline (Flag113);
1951
1952      function Flag114 (N : Node_Id) return Boolean;
1953      pragma Inline (Flag114);
1954
1955      function Flag115 (N : Node_Id) return Boolean;
1956      pragma Inline (Flag115);
1957
1958      function Flag116 (N : Node_Id) return Boolean;
1959      pragma Inline (Flag116);
1960
1961      function Flag117 (N : Node_Id) return Boolean;
1962      pragma Inline (Flag117);
1963
1964      function Flag118 (N : Node_Id) return Boolean;
1965      pragma Inline (Flag118);
1966
1967      function Flag119 (N : Node_Id) return Boolean;
1968      pragma Inline (Flag119);
1969
1970      function Flag120 (N : Node_Id) return Boolean;
1971      pragma Inline (Flag120);
1972
1973      function Flag121 (N : Node_Id) return Boolean;
1974      pragma Inline (Flag121);
1975
1976      function Flag122 (N : Node_Id) return Boolean;
1977      pragma Inline (Flag122);
1978
1979      function Flag123 (N : Node_Id) return Boolean;
1980      pragma Inline (Flag123);
1981
1982      function Flag124 (N : Node_Id) return Boolean;
1983      pragma Inline (Flag124);
1984
1985      function Flag125 (N : Node_Id) return Boolean;
1986      pragma Inline (Flag125);
1987
1988      function Flag126 (N : Node_Id) return Boolean;
1989      pragma Inline (Flag126);
1990
1991      function Flag127 (N : Node_Id) return Boolean;
1992      pragma Inline (Flag127);
1993
1994      function Flag128 (N : Node_Id) return Boolean;
1995      pragma Inline (Flag128);
1996
1997      function Flag129 (N : Node_Id) return Boolean;
1998      pragma Inline (Flag129);
1999
2000      function Flag130 (N : Node_Id) return Boolean;
2001      pragma Inline (Flag130);
2002
2003      function Flag131 (N : Node_Id) return Boolean;
2004      pragma Inline (Flag131);
2005
2006      function Flag132 (N : Node_Id) return Boolean;
2007      pragma Inline (Flag132);
2008
2009      function Flag133 (N : Node_Id) return Boolean;
2010      pragma Inline (Flag133);
2011
2012      function Flag134 (N : Node_Id) return Boolean;
2013      pragma Inline (Flag134);
2014
2015      function Flag135 (N : Node_Id) return Boolean;
2016      pragma Inline (Flag135);
2017
2018      function Flag136 (N : Node_Id) return Boolean;
2019      pragma Inline (Flag136);
2020
2021      function Flag137 (N : Node_Id) return Boolean;
2022      pragma Inline (Flag137);
2023
2024      function Flag138 (N : Node_Id) return Boolean;
2025      pragma Inline (Flag138);
2026
2027      function Flag139 (N : Node_Id) return Boolean;
2028      pragma Inline (Flag139);
2029
2030      function Flag140 (N : Node_Id) return Boolean;
2031      pragma Inline (Flag140);
2032
2033      function Flag141 (N : Node_Id) return Boolean;
2034      pragma Inline (Flag141);
2035
2036      function Flag142 (N : Node_Id) return Boolean;
2037      pragma Inline (Flag142);
2038
2039      function Flag143 (N : Node_Id) return Boolean;
2040      pragma Inline (Flag143);
2041
2042      function Flag144 (N : Node_Id) return Boolean;
2043      pragma Inline (Flag144);
2044
2045      function Flag145 (N : Node_Id) return Boolean;
2046      pragma Inline (Flag145);
2047
2048      function Flag146 (N : Node_Id) return Boolean;
2049      pragma Inline (Flag146);
2050
2051      function Flag147 (N : Node_Id) return Boolean;
2052      pragma Inline (Flag147);
2053
2054      function Flag148 (N : Node_Id) return Boolean;
2055      pragma Inline (Flag148);
2056
2057      function Flag149 (N : Node_Id) return Boolean;
2058      pragma Inline (Flag149);
2059
2060      function Flag150 (N : Node_Id) return Boolean;
2061      pragma Inline (Flag150);
2062
2063      function Flag151 (N : Node_Id) return Boolean;
2064      pragma Inline (Flag151);
2065
2066      function Flag152 (N : Node_Id) return Boolean;
2067      pragma Inline (Flag152);
2068
2069      function Flag153 (N : Node_Id) return Boolean;
2070      pragma Inline (Flag153);
2071
2072      function Flag154 (N : Node_Id) return Boolean;
2073      pragma Inline (Flag154);
2074
2075      function Flag155 (N : Node_Id) return Boolean;
2076      pragma Inline (Flag155);
2077
2078      function Flag156 (N : Node_Id) return Boolean;
2079      pragma Inline (Flag156);
2080
2081      function Flag157 (N : Node_Id) return Boolean;
2082      pragma Inline (Flag157);
2083
2084      function Flag158 (N : Node_Id) return Boolean;
2085      pragma Inline (Flag158);
2086
2087      function Flag159 (N : Node_Id) return Boolean;
2088      pragma Inline (Flag159);
2089
2090      function Flag160 (N : Node_Id) return Boolean;
2091      pragma Inline (Flag160);
2092
2093      function Flag161 (N : Node_Id) return Boolean;
2094      pragma Inline (Flag161);
2095
2096      function Flag162 (N : Node_Id) return Boolean;
2097      pragma Inline (Flag162);
2098
2099      function Flag163 (N : Node_Id) return Boolean;
2100      pragma Inline (Flag163);
2101
2102      function Flag164 (N : Node_Id) return Boolean;
2103      pragma Inline (Flag164);
2104
2105      function Flag165 (N : Node_Id) return Boolean;
2106      pragma Inline (Flag165);
2107
2108      function Flag166 (N : Node_Id) return Boolean;
2109      pragma Inline (Flag166);
2110
2111      function Flag167 (N : Node_Id) return Boolean;
2112      pragma Inline (Flag167);
2113
2114      function Flag168 (N : Node_Id) return Boolean;
2115      pragma Inline (Flag168);
2116
2117      function Flag169 (N : Node_Id) return Boolean;
2118      pragma Inline (Flag169);
2119
2120      function Flag170 (N : Node_Id) return Boolean;
2121      pragma Inline (Flag170);
2122
2123      function Flag171 (N : Node_Id) return Boolean;
2124      pragma Inline (Flag171);
2125
2126      function Flag172 (N : Node_Id) return Boolean;
2127      pragma Inline (Flag172);
2128
2129      function Flag173 (N : Node_Id) return Boolean;
2130      pragma Inline (Flag173);
2131
2132      function Flag174 (N : Node_Id) return Boolean;
2133      pragma Inline (Flag174);
2134
2135      function Flag175 (N : Node_Id) return Boolean;
2136      pragma Inline (Flag175);
2137
2138      function Flag176 (N : Node_Id) return Boolean;
2139      pragma Inline (Flag176);
2140
2141      function Flag177 (N : Node_Id) return Boolean;
2142      pragma Inline (Flag177);
2143
2144      function Flag178 (N : Node_Id) return Boolean;
2145      pragma Inline (Flag178);
2146
2147      function Flag179 (N : Node_Id) return Boolean;
2148      pragma Inline (Flag179);
2149
2150      function Flag180 (N : Node_Id) return Boolean;
2151      pragma Inline (Flag180);
2152
2153      function Flag181 (N : Node_Id) return Boolean;
2154      pragma Inline (Flag181);
2155
2156      function Flag182 (N : Node_Id) return Boolean;
2157      pragma Inline (Flag182);
2158
2159      function Flag183 (N : Node_Id) return Boolean;
2160      pragma Inline (Flag183);
2161
2162      function Flag184 (N : Node_Id) return Boolean;
2163      pragma Inline (Flag184);
2164
2165      function Flag185 (N : Node_Id) return Boolean;
2166      pragma Inline (Flag185);
2167
2168      function Flag186 (N : Node_Id) return Boolean;
2169      pragma Inline (Flag186);
2170
2171      function Flag187 (N : Node_Id) return Boolean;
2172      pragma Inline (Flag187);
2173
2174      function Flag188 (N : Node_Id) return Boolean;
2175      pragma Inline (Flag188);
2176
2177      function Flag189 (N : Node_Id) return Boolean;
2178      pragma Inline (Flag189);
2179
2180      function Flag190 (N : Node_Id) return Boolean;
2181      pragma Inline (Flag190);
2182
2183      function Flag191 (N : Node_Id) return Boolean;
2184      pragma Inline (Flag191);
2185
2186      function Flag192 (N : Node_Id) return Boolean;
2187      pragma Inline (Flag192);
2188
2189      function Flag193 (N : Node_Id) return Boolean;
2190      pragma Inline (Flag193);
2191
2192      function Flag194 (N : Node_Id) return Boolean;
2193      pragma Inline (Flag194);
2194
2195      function Flag195 (N : Node_Id) return Boolean;
2196      pragma Inline (Flag195);
2197
2198      function Flag196 (N : Node_Id) return Boolean;
2199      pragma Inline (Flag196);
2200
2201      function Flag197 (N : Node_Id) return Boolean;
2202      pragma Inline (Flag197);
2203
2204      function Flag198 (N : Node_Id) return Boolean;
2205      pragma Inline (Flag198);
2206
2207      function Flag199 (N : Node_Id) return Boolean;
2208      pragma Inline (Flag199);
2209
2210      function Flag200 (N : Node_Id) return Boolean;
2211      pragma Inline (Flag200);
2212
2213      function Flag201 (N : Node_Id) return Boolean;
2214      pragma Inline (Flag201);
2215
2216      function Flag202 (N : Node_Id) return Boolean;
2217      pragma Inline (Flag202);
2218
2219      function Flag203 (N : Node_Id) return Boolean;
2220      pragma Inline (Flag203);
2221
2222      function Flag204 (N : Node_Id) return Boolean;
2223      pragma Inline (Flag204);
2224
2225      function Flag205 (N : Node_Id) return Boolean;
2226      pragma Inline (Flag205);
2227
2228      function Flag206 (N : Node_Id) return Boolean;
2229      pragma Inline (Flag206);
2230
2231      function Flag207 (N : Node_Id) return Boolean;
2232      pragma Inline (Flag207);
2233
2234      function Flag208 (N : Node_Id) return Boolean;
2235      pragma Inline (Flag208);
2236
2237      function Flag209 (N : Node_Id) return Boolean;
2238      pragma Inline (Flag209);
2239
2240      function Flag210 (N : Node_Id) return Boolean;
2241      pragma Inline (Flag210);
2242
2243      function Flag211 (N : Node_Id) return Boolean;
2244      pragma Inline (Flag211);
2245
2246      function Flag212 (N : Node_Id) return Boolean;
2247      pragma Inline (Flag212);
2248
2249      function Flag213 (N : Node_Id) return Boolean;
2250      pragma Inline (Flag213);
2251
2252      function Flag214 (N : Node_Id) return Boolean;
2253      pragma Inline (Flag214);
2254
2255      function Flag215 (N : Node_Id) return Boolean;
2256      pragma Inline (Flag215);
2257
2258      function Flag216 (N : Node_Id) return Boolean;
2259      pragma Inline (Flag216);
2260
2261      function Flag217 (N : Node_Id) return Boolean;
2262      pragma Inline (Flag217);
2263
2264      function Flag218 (N : Node_Id) return Boolean;
2265      pragma Inline (Flag218);
2266
2267      function Flag219 (N : Node_Id) return Boolean;
2268      pragma Inline (Flag219);
2269
2270      function Flag220 (N : Node_Id) return Boolean;
2271      pragma Inline (Flag220);
2272
2273      function Flag221 (N : Node_Id) return Boolean;
2274      pragma Inline (Flag221);
2275
2276      function Flag222 (N : Node_Id) return Boolean;
2277      pragma Inline (Flag222);
2278
2279      function Flag223 (N : Node_Id) return Boolean;
2280      pragma Inline (Flag223);
2281
2282      function Flag224 (N : Node_Id) return Boolean;
2283      pragma Inline (Flag224);
2284
2285      function Flag225 (N : Node_Id) return Boolean;
2286      pragma Inline (Flag225);
2287
2288      function Flag226 (N : Node_Id) return Boolean;
2289      pragma Inline (Flag226);
2290
2291      function Flag227 (N : Node_Id) return Boolean;
2292      pragma Inline (Flag227);
2293
2294      function Flag228 (N : Node_Id) return Boolean;
2295      pragma Inline (Flag228);
2296
2297      function Flag229 (N : Node_Id) return Boolean;
2298      pragma Inline (Flag229);
2299
2300      function Flag230 (N : Node_Id) return Boolean;
2301      pragma Inline (Flag230);
2302
2303      function Flag231 (N : Node_Id) return Boolean;
2304      pragma Inline (Flag231);
2305
2306      function Flag232 (N : Node_Id) return Boolean;
2307      pragma Inline (Flag232);
2308
2309      function Flag233 (N : Node_Id) return Boolean;
2310      pragma Inline (Flag233);
2311
2312      function Flag234 (N : Node_Id) return Boolean;
2313      pragma Inline (Flag234);
2314
2315      function Flag235 (N : Node_Id) return Boolean;
2316      pragma Inline (Flag235);
2317
2318      function Flag236 (N : Node_Id) return Boolean;
2319      pragma Inline (Flag236);
2320
2321      function Flag237 (N : Node_Id) return Boolean;
2322      pragma Inline (Flag237);
2323
2324      function Flag238 (N : Node_Id) return Boolean;
2325      pragma Inline (Flag238);
2326
2327      function Flag239 (N : Node_Id) return Boolean;
2328      pragma Inline (Flag239);
2329
2330      function Flag240 (N : Node_Id) return Boolean;
2331      pragma Inline (Flag240);
2332
2333      function Flag241 (N : Node_Id) return Boolean;
2334      pragma Inline (Flag241);
2335
2336      function Flag242 (N : Node_Id) return Boolean;
2337      pragma Inline (Flag242);
2338
2339      function Flag243 (N : Node_Id) return Boolean;
2340      pragma Inline (Flag243);
2341
2342      function Flag244 (N : Node_Id) return Boolean;
2343      pragma Inline (Flag244);
2344
2345      function Flag245 (N : Node_Id) return Boolean;
2346      pragma Inline (Flag245);
2347
2348      function Flag246 (N : Node_Id) return Boolean;
2349      pragma Inline (Flag246);
2350
2351      function Flag247 (N : Node_Id) return Boolean;
2352      pragma Inline (Flag247);
2353
2354      function Flag248 (N : Node_Id) return Boolean;
2355      pragma Inline (Flag248);
2356
2357      function Flag249 (N : Node_Id) return Boolean;
2358      pragma Inline (Flag249);
2359
2360      function Flag250 (N : Node_Id) return Boolean;
2361      pragma Inline (Flag250);
2362
2363      function Flag251 (N : Node_Id) return Boolean;
2364      pragma Inline (Flag251);
2365
2366      function Flag252 (N : Node_Id) return Boolean;
2367      pragma Inline (Flag252);
2368
2369      function Flag253 (N : Node_Id) return Boolean;
2370      pragma Inline (Flag253);
2371
2372      function Flag254 (N : Node_Id) return Boolean;
2373      pragma Inline (Flag254);
2374
2375      function Flag255 (N : Node_Id) return Boolean;
2376      pragma Inline (Flag255);
2377
2378      function Flag256 (N : Node_Id) return Boolean;
2379      pragma Inline (Flag256);
2380
2381      function Flag257 (N : Node_Id) return Boolean;
2382      pragma Inline (Flag257);
2383
2384      function Flag258 (N : Node_Id) return Boolean;
2385      pragma Inline (Flag258);
2386
2387      function Flag259 (N : Node_Id) return Boolean;
2388      pragma Inline (Flag259);
2389
2390      function Flag260 (N : Node_Id) return Boolean;
2391      pragma Inline (Flag260);
2392
2393      function Flag261 (N : Node_Id) return Boolean;
2394      pragma Inline (Flag261);
2395
2396      function Flag262 (N : Node_Id) return Boolean;
2397      pragma Inline (Flag262);
2398
2399      function Flag263 (N : Node_Id) return Boolean;
2400      pragma Inline (Flag263);
2401
2402      function Flag264 (N : Node_Id) return Boolean;
2403      pragma Inline (Flag264);
2404
2405      function Flag265 (N : Node_Id) return Boolean;
2406      pragma Inline (Flag265);
2407
2408      function Flag266 (N : Node_Id) return Boolean;
2409      pragma Inline (Flag266);
2410
2411      function Flag267 (N : Node_Id) return Boolean;
2412      pragma Inline (Flag267);
2413
2414      function Flag268 (N : Node_Id) return Boolean;
2415      pragma Inline (Flag268);
2416
2417      function Flag269 (N : Node_Id) return Boolean;
2418      pragma Inline (Flag269);
2419
2420      function Flag270 (N : Node_Id) return Boolean;
2421      pragma Inline (Flag270);
2422
2423      function Flag271 (N : Node_Id) return Boolean;
2424      pragma Inline (Flag271);
2425
2426      function Flag272 (N : Node_Id) return Boolean;
2427      pragma Inline (Flag272);
2428
2429      function Flag273 (N : Node_Id) return Boolean;
2430      pragma Inline (Flag273);
2431
2432      function Flag274 (N : Node_Id) return Boolean;
2433      pragma Inline (Flag274);
2434
2435      function Flag275 (N : Node_Id) return Boolean;
2436      pragma Inline (Flag275);
2437
2438      function Flag276 (N : Node_Id) return Boolean;
2439      pragma Inline (Flag276);
2440
2441      function Flag277 (N : Node_Id) return Boolean;
2442      pragma Inline (Flag277);
2443
2444      function Flag278 (N : Node_Id) return Boolean;
2445      pragma Inline (Flag278);
2446
2447      function Flag279 (N : Node_Id) return Boolean;
2448      pragma Inline (Flag279);
2449
2450      function Flag280 (N : Node_Id) return Boolean;
2451      pragma Inline (Flag280);
2452
2453      function Flag281 (N : Node_Id) return Boolean;
2454      pragma Inline (Flag281);
2455
2456      function Flag282 (N : Node_Id) return Boolean;
2457      pragma Inline (Flag282);
2458
2459      function Flag283 (N : Node_Id) return Boolean;
2460      pragma Inline (Flag283);
2461
2462      function Flag284 (N : Node_Id) return Boolean;
2463      pragma Inline (Flag284);
2464
2465      function Flag285 (N : Node_Id) return Boolean;
2466      pragma Inline (Flag285);
2467
2468      function Flag286 (N : Node_Id) return Boolean;
2469      pragma Inline (Flag286);
2470
2471      function Flag287 (N : Node_Id) return Boolean;
2472      pragma Inline (Flag287);
2473
2474      function Flag288 (N : Node_Id) return Boolean;
2475      pragma Inline (Flag288);
2476
2477      function Flag289 (N : Node_Id) return Boolean;
2478      pragma Inline (Flag289);
2479
2480      function Flag290 (N : Node_Id) return Boolean;
2481      pragma Inline (Flag290);
2482
2483      function Flag291 (N : Node_Id) return Boolean;
2484      pragma Inline (Flag291);
2485
2486      function Flag292 (N : Node_Id) return Boolean;
2487      pragma Inline (Flag292);
2488
2489      function Flag293 (N : Node_Id) return Boolean;
2490      pragma Inline (Flag293);
2491
2492      function Flag294 (N : Node_Id) return Boolean;
2493      pragma Inline (Flag294);
2494
2495      function Flag295 (N : Node_Id) return Boolean;
2496      pragma Inline (Flag295);
2497
2498      function Flag296 (N : Node_Id) return Boolean;
2499      pragma Inline (Flag296);
2500
2501      function Flag297 (N : Node_Id) return Boolean;
2502      pragma Inline (Flag297);
2503
2504      function Flag298 (N : Node_Id) return Boolean;
2505      pragma Inline (Flag298);
2506
2507      function Flag299 (N : Node_Id) return Boolean;
2508      pragma Inline (Flag299);
2509
2510      function Flag300 (N : Node_Id) return Boolean;
2511      pragma Inline (Flag300);
2512
2513      function Flag301 (N : Node_Id) return Boolean;
2514      pragma Inline (Flag301);
2515
2516      function Flag302 (N : Node_Id) return Boolean;
2517      pragma Inline (Flag302);
2518
2519      function Flag303 (N : Node_Id) return Boolean;
2520      pragma Inline (Flag303);
2521
2522      function Flag304 (N : Node_Id) return Boolean;
2523      pragma Inline (Flag304);
2524
2525      function Flag305 (N : Node_Id) return Boolean;
2526      pragma Inline (Flag305);
2527
2528      function Flag306 (N : Node_Id) return Boolean;
2529      pragma Inline (Flag306);
2530
2531      function Flag307 (N : Node_Id) return Boolean;
2532      pragma Inline (Flag307);
2533
2534      function Flag308 (N : Node_Id) return Boolean;
2535      pragma Inline (Flag308);
2536
2537      function Flag309 (N : Node_Id) return Boolean;
2538      pragma Inline (Flag309);
2539
2540      function Flag310 (N : Node_Id) return Boolean;
2541      pragma Inline (Flag310);
2542
2543      function Flag311 (N : Node_Id) return Boolean;
2544      pragma Inline (Flag311);
2545
2546      function Flag312 (N : Node_Id) return Boolean;
2547      pragma Inline (Flag312);
2548
2549      function Flag313 (N : Node_Id) return Boolean;
2550      pragma Inline (Flag313);
2551
2552      function Flag314 (N : Node_Id) return Boolean;
2553      pragma Inline (Flag314);
2554
2555      function Flag315 (N : Node_Id) return Boolean;
2556      pragma Inline (Flag315);
2557
2558      function Flag316 (N : Node_Id) return Boolean;
2559      pragma Inline (Flag316);
2560
2561      function Flag317 (N : Node_Id) return Boolean;
2562      pragma Inline (Flag317);
2563
2564      --  Procedures to set value of indicated field
2565
2566      procedure Set_Nkind (N : Node_Id; Val : Node_Kind);
2567      pragma Inline (Set_Nkind);
2568
2569      procedure Set_Field1 (N : Node_Id; Val : Union_Id);
2570      pragma Inline (Set_Field1);
2571
2572      procedure Set_Field2 (N : Node_Id; Val : Union_Id);
2573      pragma Inline (Set_Field2);
2574
2575      procedure Set_Field3 (N : Node_Id; Val : Union_Id);
2576      pragma Inline (Set_Field3);
2577
2578      procedure Set_Field4 (N : Node_Id; Val : Union_Id);
2579      pragma Inline (Set_Field4);
2580
2581      procedure Set_Field5 (N : Node_Id; Val : Union_Id);
2582      pragma Inline (Set_Field5);
2583
2584      procedure Set_Field6 (N : Node_Id; Val : Union_Id);
2585      pragma Inline (Set_Field6);
2586
2587      procedure Set_Field7 (N : Node_Id; Val : Union_Id);
2588      pragma Inline (Set_Field7);
2589
2590      procedure Set_Field8 (N : Node_Id; Val : Union_Id);
2591      pragma Inline (Set_Field8);
2592
2593      procedure Set_Field9 (N : Node_Id; Val : Union_Id);
2594      pragma Inline (Set_Field9);
2595
2596      procedure Set_Field10 (N : Node_Id; Val : Union_Id);
2597      pragma Inline (Set_Field10);
2598
2599      procedure Set_Field11 (N : Node_Id; Val : Union_Id);
2600      pragma Inline (Set_Field11);
2601
2602      procedure Set_Field12 (N : Node_Id; Val : Union_Id);
2603      pragma Inline (Set_Field12);
2604
2605      procedure Set_Field13 (N : Node_Id; Val : Union_Id);
2606      pragma Inline (Set_Field13);
2607
2608      procedure Set_Field14 (N : Node_Id; Val : Union_Id);
2609      pragma Inline (Set_Field14);
2610
2611      procedure Set_Field15 (N : Node_Id; Val : Union_Id);
2612      pragma Inline (Set_Field15);
2613
2614      procedure Set_Field16 (N : Node_Id; Val : Union_Id);
2615      pragma Inline (Set_Field16);
2616
2617      procedure Set_Field17 (N : Node_Id; Val : Union_Id);
2618      pragma Inline (Set_Field17);
2619
2620      procedure Set_Field18 (N : Node_Id; Val : Union_Id);
2621      pragma Inline (Set_Field18);
2622
2623      procedure Set_Field19 (N : Node_Id; Val : Union_Id);
2624      pragma Inline (Set_Field19);
2625
2626      procedure Set_Field20 (N : Node_Id; Val : Union_Id);
2627      pragma Inline (Set_Field20);
2628
2629      procedure Set_Field21 (N : Node_Id; Val : Union_Id);
2630      pragma Inline (Set_Field21);
2631
2632      procedure Set_Field22 (N : Node_Id; Val : Union_Id);
2633      pragma Inline (Set_Field22);
2634
2635      procedure Set_Field23 (N : Node_Id; Val : Union_Id);
2636      pragma Inline (Set_Field23);
2637
2638      procedure Set_Field24 (N : Node_Id; Val : Union_Id);
2639      pragma Inline (Set_Field24);
2640
2641      procedure Set_Field25 (N : Node_Id; Val : Union_Id);
2642      pragma Inline (Set_Field25);
2643
2644      procedure Set_Field26 (N : Node_Id; Val : Union_Id);
2645      pragma Inline (Set_Field26);
2646
2647      procedure Set_Field27 (N : Node_Id; Val : Union_Id);
2648      pragma Inline (Set_Field27);
2649
2650      procedure Set_Field28 (N : Node_Id; Val : Union_Id);
2651      pragma Inline (Set_Field28);
2652
2653      procedure Set_Field29 (N : Node_Id; Val : Union_Id);
2654      pragma Inline (Set_Field29);
2655
2656      procedure Set_Field30 (N : Node_Id; Val : Union_Id);
2657      pragma Inline (Set_Field30);
2658
2659      procedure Set_Field31 (N : Node_Id; Val : Union_Id);
2660      pragma Inline (Set_Field31);
2661
2662      procedure Set_Field32 (N : Node_Id; Val : Union_Id);
2663      pragma Inline (Set_Field32);
2664
2665      procedure Set_Field33 (N : Node_Id; Val : Union_Id);
2666      pragma Inline (Set_Field33);
2667
2668      procedure Set_Field34 (N : Node_Id; Val : Union_Id);
2669      pragma Inline (Set_Field34);
2670
2671      procedure Set_Field35 (N : Node_Id; Val : Union_Id);
2672      pragma Inline (Set_Field35);
2673
2674      procedure Set_Field36 (N : Node_Id; Val : Union_Id);
2675      pragma Inline (Set_Field36);
2676
2677      procedure Set_Field37 (N : Node_Id; Val : Union_Id);
2678      pragma Inline (Set_Field37);
2679
2680      procedure Set_Field38 (N : Node_Id; Val : Union_Id);
2681      pragma Inline (Set_Field38);
2682
2683      procedure Set_Field39 (N : Node_Id; Val : Union_Id);
2684      pragma Inline (Set_Field39);
2685
2686      procedure Set_Field40 (N : Node_Id; Val : Union_Id);
2687      pragma Inline (Set_Field40);
2688
2689      procedure Set_Field41 (N : Node_Id; Val : Union_Id);
2690      pragma Inline (Set_Field41);
2691
2692      procedure Set_Node1 (N : Node_Id; Val : Node_Id);
2693      pragma Inline (Set_Node1);
2694
2695      procedure Set_Node2 (N : Node_Id; Val : Node_Id);
2696      pragma Inline (Set_Node2);
2697
2698      procedure Set_Node3 (N : Node_Id; Val : Node_Id);
2699      pragma Inline (Set_Node3);
2700
2701      procedure Set_Node4 (N : Node_Id; Val : Node_Id);
2702      pragma Inline (Set_Node4);
2703
2704      procedure Set_Node5 (N : Node_Id; Val : Node_Id);
2705      pragma Inline (Set_Node5);
2706
2707      procedure Set_Node6 (N : Node_Id; Val : Node_Id);
2708      pragma Inline (Set_Node6);
2709
2710      procedure Set_Node7 (N : Node_Id; Val : Node_Id);
2711      pragma Inline (Set_Node7);
2712
2713      procedure Set_Node8 (N : Node_Id; Val : Node_Id);
2714      pragma Inline (Set_Node8);
2715
2716      procedure Set_Node9 (N : Node_Id; Val : Node_Id);
2717      pragma Inline (Set_Node9);
2718
2719      procedure Set_Node10 (N : Node_Id; Val : Node_Id);
2720      pragma Inline (Set_Node10);
2721
2722      procedure Set_Node11 (N : Node_Id; Val : Node_Id);
2723      pragma Inline (Set_Node11);
2724
2725      procedure Set_Node12 (N : Node_Id; Val : Node_Id);
2726      pragma Inline (Set_Node12);
2727
2728      procedure Set_Node13 (N : Node_Id; Val : Node_Id);
2729      pragma Inline (Set_Node13);
2730
2731      procedure Set_Node14 (N : Node_Id; Val : Node_Id);
2732      pragma Inline (Set_Node14);
2733
2734      procedure Set_Node15 (N : Node_Id; Val : Node_Id);
2735      pragma Inline (Set_Node15);
2736
2737      procedure Set_Node16 (N : Node_Id; Val : Node_Id);
2738      pragma Inline (Set_Node16);
2739
2740      procedure Set_Node17 (N : Node_Id; Val : Node_Id);
2741      pragma Inline (Set_Node17);
2742
2743      procedure Set_Node18 (N : Node_Id; Val : Node_Id);
2744      pragma Inline (Set_Node18);
2745
2746      procedure Set_Node19 (N : Node_Id; Val : Node_Id);
2747      pragma Inline (Set_Node19);
2748
2749      procedure Set_Node20 (N : Node_Id; Val : Node_Id);
2750      pragma Inline (Set_Node20);
2751
2752      procedure Set_Node21 (N : Node_Id; Val : Node_Id);
2753      pragma Inline (Set_Node21);
2754
2755      procedure Set_Node22 (N : Node_Id; Val : Node_Id);
2756      pragma Inline (Set_Node22);
2757
2758      procedure Set_Node23 (N : Node_Id; Val : Node_Id);
2759      pragma Inline (Set_Node23);
2760
2761      procedure Set_Node24 (N : Node_Id; Val : Node_Id);
2762      pragma Inline (Set_Node24);
2763
2764      procedure Set_Node25 (N : Node_Id; Val : Node_Id);
2765      pragma Inline (Set_Node25);
2766
2767      procedure Set_Node26 (N : Node_Id; Val : Node_Id);
2768      pragma Inline (Set_Node26);
2769
2770      procedure Set_Node27 (N : Node_Id; Val : Node_Id);
2771      pragma Inline (Set_Node27);
2772
2773      procedure Set_Node28 (N : Node_Id; Val : Node_Id);
2774      pragma Inline (Set_Node28);
2775
2776      procedure Set_Node29 (N : Node_Id; Val : Node_Id);
2777      pragma Inline (Set_Node29);
2778
2779      procedure Set_Node30 (N : Node_Id; Val : Node_Id);
2780      pragma Inline (Set_Node30);
2781
2782      procedure Set_Node31 (N : Node_Id; Val : Node_Id);
2783      pragma Inline (Set_Node31);
2784
2785      procedure Set_Node32 (N : Node_Id; Val : Node_Id);
2786      pragma Inline (Set_Node32);
2787
2788      procedure Set_Node33 (N : Node_Id; Val : Node_Id);
2789      pragma Inline (Set_Node33);
2790
2791      procedure Set_Node34 (N : Node_Id; Val : Node_Id);
2792      pragma Inline (Set_Node34);
2793
2794      procedure Set_Node35 (N : Node_Id; Val : Node_Id);
2795      pragma Inline (Set_Node35);
2796
2797      procedure Set_Node36 (N : Node_Id; Val : Node_Id);
2798      pragma Inline (Set_Node36);
2799
2800      procedure Set_Node37 (N : Node_Id; Val : Node_Id);
2801      pragma Inline (Set_Node37);
2802
2803      procedure Set_Node38 (N : Node_Id; Val : Node_Id);
2804      pragma Inline (Set_Node38);
2805
2806      procedure Set_Node39 (N : Node_Id; Val : Node_Id);
2807      pragma Inline (Set_Node39);
2808
2809      procedure Set_Node40 (N : Node_Id; Val : Node_Id);
2810      pragma Inline (Set_Node40);
2811
2812      procedure Set_Node41 (N : Node_Id; Val : Node_Id);
2813      pragma Inline (Set_Node41);
2814
2815      procedure Set_List1 (N : Node_Id; Val : List_Id);
2816      pragma Inline (Set_List1);
2817
2818      procedure Set_List2 (N : Node_Id; Val : List_Id);
2819      pragma Inline (Set_List2);
2820
2821      procedure Set_List3 (N : Node_Id; Val : List_Id);
2822      pragma Inline (Set_List3);
2823
2824      procedure Set_List4 (N : Node_Id; Val : List_Id);
2825      pragma Inline (Set_List4);
2826
2827      procedure Set_List5 (N : Node_Id; Val : List_Id);
2828      pragma Inline (Set_List5);
2829
2830      procedure Set_List10 (N : Node_Id; Val : List_Id);
2831      pragma Inline (Set_List10);
2832
2833      procedure Set_List14 (N : Node_Id; Val : List_Id);
2834      pragma Inline (Set_List14);
2835
2836      procedure Set_List25 (N : Node_Id; Val : List_Id);
2837      pragma Inline (Set_List25);
2838
2839      procedure Set_List38 (N : Node_Id; Val : List_Id);
2840      pragma Inline (Set_List38);
2841
2842      procedure Set_List39 (N : Node_Id; Val : List_Id);
2843      pragma Inline (Set_List39);
2844
2845      procedure Set_Elist1 (N : Node_Id; Val : Elist_Id);
2846      pragma Inline (Set_Elist1);
2847
2848      procedure Set_Elist2 (N : Node_Id; Val : Elist_Id);
2849      pragma Inline (Set_Elist2);
2850
2851      procedure Set_Elist3 (N : Node_Id; Val : Elist_Id);
2852      pragma Inline (Set_Elist3);
2853
2854      procedure Set_Elist4 (N : Node_Id; Val : Elist_Id);
2855      pragma Inline (Set_Elist4);
2856
2857      procedure Set_Elist5 (N : Node_Id; Val : Elist_Id);
2858      pragma Inline (Set_Elist5);
2859
2860      procedure Set_Elist8 (N : Node_Id; Val : Elist_Id);
2861      pragma Inline (Set_Elist8);
2862
2863      procedure Set_Elist9 (N : Node_Id; Val : Elist_Id);
2864      pragma Inline (Set_Elist9);
2865
2866      procedure Set_Elist10 (N : Node_Id; Val : Elist_Id);
2867      pragma Inline (Set_Elist10);
2868
2869      procedure Set_Elist11 (N : Node_Id; Val : Elist_Id);
2870      pragma Inline (Set_Elist11);
2871
2872      procedure Set_Elist13 (N : Node_Id; Val : Elist_Id);
2873      pragma Inline (Set_Elist13);
2874
2875      procedure Set_Elist15 (N : Node_Id; Val : Elist_Id);
2876      pragma Inline (Set_Elist15);
2877
2878      procedure Set_Elist16 (N : Node_Id; Val : Elist_Id);
2879      pragma Inline (Set_Elist16);
2880
2881      procedure Set_Elist18 (N : Node_Id; Val : Elist_Id);
2882      pragma Inline (Set_Elist18);
2883
2884      procedure Set_Elist21 (N : Node_Id; Val : Elist_Id);
2885      pragma Inline (Set_Elist21);
2886
2887      procedure Set_Elist23 (N : Node_Id; Val : Elist_Id);
2888      pragma Inline (Set_Elist23);
2889
2890      procedure Set_Elist24 (N : Node_Id; Val : Elist_Id);
2891      pragma Inline (Set_Elist24);
2892
2893      procedure Set_Elist25 (N : Node_Id; Val : Elist_Id);
2894      pragma Inline (Set_Elist25);
2895
2896      procedure Set_Elist26 (N : Node_Id; Val : Elist_Id);
2897      pragma Inline (Set_Elist26);
2898
2899      procedure Set_Elist29 (N : Node_Id; Val : Elist_Id);
2900      pragma Inline (Set_Elist29);
2901
2902      procedure Set_Elist30 (N : Node_Id; Val : Elist_Id);
2903      pragma Inline (Set_Elist30);
2904
2905      procedure Set_Elist36 (N : Node_Id; Val : Elist_Id);
2906      pragma Inline (Set_Elist36);
2907
2908      procedure Set_Name1 (N : Node_Id; Val : Name_Id);
2909      pragma Inline (Set_Name1);
2910
2911      procedure Set_Name2 (N : Node_Id; Val : Name_Id);
2912      pragma Inline (Set_Name2);
2913
2914      procedure Set_Str3 (N : Node_Id; Val : String_Id);
2915      pragma Inline (Set_Str3);
2916
2917      procedure Set_Uint2 (N : Node_Id; Val : Uint);
2918      pragma Inline (Set_Uint2);
2919
2920      procedure Set_Uint3 (N : Node_Id; Val : Uint);
2921      pragma Inline (Set_Uint3);
2922
2923      procedure Set_Uint4 (N : Node_Id; Val : Uint);
2924      pragma Inline (Set_Uint4);
2925
2926      procedure Set_Uint5 (N : Node_Id; Val : Uint);
2927      pragma Inline (Set_Uint5);
2928
2929      procedure Set_Uint8 (N : Node_Id; Val : Uint);
2930      pragma Inline (Set_Uint8);
2931
2932      procedure Set_Uint9 (N : Node_Id; Val : Uint);
2933      pragma Inline (Set_Uint9);
2934
2935      procedure Set_Uint10 (N : Node_Id; Val : Uint);
2936      pragma Inline (Set_Uint10);
2937
2938      procedure Set_Uint11 (N : Node_Id; Val : Uint);
2939      pragma Inline (Set_Uint11);
2940
2941      procedure Set_Uint12 (N : Node_Id; Val : Uint);
2942      pragma Inline (Set_Uint12);
2943
2944      procedure Set_Uint13 (N : Node_Id; Val : Uint);
2945      pragma Inline (Set_Uint13);
2946
2947      procedure Set_Uint14 (N : Node_Id; Val : Uint);
2948      pragma Inline (Set_Uint14);
2949
2950      procedure Set_Uint15 (N : Node_Id; Val : Uint);
2951      pragma Inline (Set_Uint15);
2952
2953      procedure Set_Uint16 (N : Node_Id; Val : Uint);
2954      pragma Inline (Set_Uint16);
2955
2956      procedure Set_Uint17 (N : Node_Id; Val : Uint);
2957      pragma Inline (Set_Uint17);
2958
2959      procedure Set_Uint22 (N : Node_Id; Val : Uint);
2960      pragma Inline (Set_Uint22);
2961
2962      procedure Set_Uint24 (N : Node_Id; Val : Uint);
2963      pragma Inline (Set_Uint24);
2964
2965      procedure Set_Ureal3 (N : Node_Id; Val : Ureal);
2966      pragma Inline (Set_Ureal3);
2967
2968      procedure Set_Ureal18 (N : Node_Id; Val : Ureal);
2969      pragma Inline (Set_Ureal18);
2970
2971      procedure Set_Ureal21 (N : Node_Id; Val : Ureal);
2972      pragma Inline (Set_Ureal21);
2973
2974      procedure Set_Flag0 (N : Node_Id; Val : Boolean);
2975      pragma Inline (Set_Flag0);
2976
2977      procedure Set_Flag1 (N : Node_Id; Val : Boolean);
2978      pragma Inline (Set_Flag1);
2979
2980      procedure Set_Flag2 (N : Node_Id; Val : Boolean);
2981      pragma Inline (Set_Flag2);
2982
2983      procedure Set_Flag3 (N : Node_Id; Val : Boolean);
2984      pragma Inline (Set_Flag3);
2985
2986      procedure Set_Flag4 (N : Node_Id; Val : Boolean);
2987      pragma Inline (Set_Flag4);
2988
2989      procedure Set_Flag5 (N : Node_Id; Val : Boolean);
2990      pragma Inline (Set_Flag5);
2991
2992      procedure Set_Flag6 (N : Node_Id; Val : Boolean);
2993      pragma Inline (Set_Flag6);
2994
2995      procedure Set_Flag7 (N : Node_Id; Val : Boolean);
2996      pragma Inline (Set_Flag7);
2997
2998      procedure Set_Flag8 (N : Node_Id; Val : Boolean);
2999      pragma Inline (Set_Flag8);
3000
3001      procedure Set_Flag9 (N : Node_Id; Val : Boolean);
3002      pragma Inline (Set_Flag9);
3003
3004      procedure Set_Flag10 (N : Node_Id; Val : Boolean);
3005      pragma Inline (Set_Flag10);
3006
3007      procedure Set_Flag11 (N : Node_Id; Val : Boolean);
3008      pragma Inline (Set_Flag11);
3009
3010      procedure Set_Flag12 (N : Node_Id; Val : Boolean);
3011      pragma Inline (Set_Flag12);
3012
3013      procedure Set_Flag13 (N : Node_Id; Val : Boolean);
3014      pragma Inline (Set_Flag13);
3015
3016      procedure Set_Flag14 (N : Node_Id; Val : Boolean);
3017      pragma Inline (Set_Flag14);
3018
3019      procedure Set_Flag15 (N : Node_Id; Val : Boolean);
3020      pragma Inline (Set_Flag15);
3021
3022      procedure Set_Flag16 (N : Node_Id; Val : Boolean);
3023      pragma Inline (Set_Flag16);
3024
3025      procedure Set_Flag17 (N : Node_Id; Val : Boolean);
3026      pragma Inline (Set_Flag17);
3027
3028      procedure Set_Flag18 (N : Node_Id; Val : Boolean);
3029      pragma Inline (Set_Flag18);
3030
3031      procedure Set_Flag19 (N : Node_Id; Val : Boolean);
3032      pragma Inline (Set_Flag19);
3033
3034      procedure Set_Flag20 (N : Node_Id; Val : Boolean);
3035      pragma Inline (Set_Flag20);
3036
3037      procedure Set_Flag21 (N : Node_Id; Val : Boolean);
3038      pragma Inline (Set_Flag21);
3039
3040      procedure Set_Flag22 (N : Node_Id; Val : Boolean);
3041      pragma Inline (Set_Flag22);
3042
3043      procedure Set_Flag23 (N : Node_Id; Val : Boolean);
3044      pragma Inline (Set_Flag23);
3045
3046      procedure Set_Flag24 (N : Node_Id; Val : Boolean);
3047      pragma Inline (Set_Flag24);
3048
3049      procedure Set_Flag25 (N : Node_Id; Val : Boolean);
3050      pragma Inline (Set_Flag25);
3051
3052      procedure Set_Flag26 (N : Node_Id; Val : Boolean);
3053      pragma Inline (Set_Flag26);
3054
3055      procedure Set_Flag27 (N : Node_Id; Val : Boolean);
3056      pragma Inline (Set_Flag27);
3057
3058      procedure Set_Flag28 (N : Node_Id; Val : Boolean);
3059      pragma Inline (Set_Flag28);
3060
3061      procedure Set_Flag29 (N : Node_Id; Val : Boolean);
3062      pragma Inline (Set_Flag29);
3063
3064      procedure Set_Flag30 (N : Node_Id; Val : Boolean);
3065      pragma Inline (Set_Flag30);
3066
3067      procedure Set_Flag31 (N : Node_Id; Val : Boolean);
3068      pragma Inline (Set_Flag31);
3069
3070      procedure Set_Flag32 (N : Node_Id; Val : Boolean);
3071      pragma Inline (Set_Flag32);
3072
3073      procedure Set_Flag33 (N : Node_Id; Val : Boolean);
3074      pragma Inline (Set_Flag33);
3075
3076      procedure Set_Flag34 (N : Node_Id; Val : Boolean);
3077      pragma Inline (Set_Flag34);
3078
3079      procedure Set_Flag35 (N : Node_Id; Val : Boolean);
3080      pragma Inline (Set_Flag35);
3081
3082      procedure Set_Flag36 (N : Node_Id; Val : Boolean);
3083      pragma Inline (Set_Flag36);
3084
3085      procedure Set_Flag37 (N : Node_Id; Val : Boolean);
3086      pragma Inline (Set_Flag37);
3087
3088      procedure Set_Flag38 (N : Node_Id; Val : Boolean);
3089      pragma Inline (Set_Flag38);
3090
3091      procedure Set_Flag39 (N : Node_Id; Val : Boolean);
3092      pragma Inline (Set_Flag39);
3093
3094      procedure Set_Flag40 (N : Node_Id; Val : Boolean);
3095      pragma Inline (Set_Flag40);
3096
3097      procedure Set_Flag41 (N : Node_Id; Val : Boolean);
3098      pragma Inline (Set_Flag41);
3099
3100      procedure Set_Flag42 (N : Node_Id; Val : Boolean);
3101      pragma Inline (Set_Flag42);
3102
3103      procedure Set_Flag43 (N : Node_Id; Val : Boolean);
3104      pragma Inline (Set_Flag43);
3105
3106      procedure Set_Flag44 (N : Node_Id; Val : Boolean);
3107      pragma Inline (Set_Flag44);
3108
3109      procedure Set_Flag45 (N : Node_Id; Val : Boolean);
3110      pragma Inline (Set_Flag45);
3111
3112      procedure Set_Flag46 (N : Node_Id; Val : Boolean);
3113      pragma Inline (Set_Flag46);
3114
3115      procedure Set_Flag47 (N : Node_Id; Val : Boolean);
3116      pragma Inline (Set_Flag47);
3117
3118      procedure Set_Flag48 (N : Node_Id; Val : Boolean);
3119      pragma Inline (Set_Flag48);
3120
3121      procedure Set_Flag49 (N : Node_Id; Val : Boolean);
3122      pragma Inline (Set_Flag49);
3123
3124      procedure Set_Flag50 (N : Node_Id; Val : Boolean);
3125      pragma Inline (Set_Flag50);
3126
3127      procedure Set_Flag51 (N : Node_Id; Val : Boolean);
3128      pragma Inline (Set_Flag51);
3129
3130      procedure Set_Flag52 (N : Node_Id; Val : Boolean);
3131      pragma Inline (Set_Flag52);
3132
3133      procedure Set_Flag53 (N : Node_Id; Val : Boolean);
3134      pragma Inline (Set_Flag53);
3135
3136      procedure Set_Flag54 (N : Node_Id; Val : Boolean);
3137      pragma Inline (Set_Flag54);
3138
3139      procedure Set_Flag55 (N : Node_Id; Val : Boolean);
3140      pragma Inline (Set_Flag55);
3141
3142      procedure Set_Flag56 (N : Node_Id; Val : Boolean);
3143      pragma Inline (Set_Flag56);
3144
3145      procedure Set_Flag57 (N : Node_Id; Val : Boolean);
3146      pragma Inline (Set_Flag57);
3147
3148      procedure Set_Flag58 (N : Node_Id; Val : Boolean);
3149      pragma Inline (Set_Flag58);
3150
3151      procedure Set_Flag59 (N : Node_Id; Val : Boolean);
3152      pragma Inline (Set_Flag59);
3153
3154      procedure Set_Flag60 (N : Node_Id; Val : Boolean);
3155      pragma Inline (Set_Flag60);
3156
3157      procedure Set_Flag61 (N : Node_Id; Val : Boolean);
3158      pragma Inline (Set_Flag61);
3159
3160      procedure Set_Flag62 (N : Node_Id; Val : Boolean);
3161      pragma Inline (Set_Flag62);
3162
3163      procedure Set_Flag63 (N : Node_Id; Val : Boolean);
3164      pragma Inline (Set_Flag63);
3165
3166      procedure Set_Flag64 (N : Node_Id; Val : Boolean);
3167      pragma Inline (Set_Flag64);
3168
3169      procedure Set_Flag65 (N : Node_Id; Val : Boolean);
3170      pragma Inline (Set_Flag65);
3171
3172      procedure Set_Flag66 (N : Node_Id; Val : Boolean);
3173      pragma Inline (Set_Flag66);
3174
3175      procedure Set_Flag67 (N : Node_Id; Val : Boolean);
3176      pragma Inline (Set_Flag67);
3177
3178      procedure Set_Flag68 (N : Node_Id; Val : Boolean);
3179      pragma Inline (Set_Flag68);
3180
3181      procedure Set_Flag69 (N : Node_Id; Val : Boolean);
3182      pragma Inline (Set_Flag69);
3183
3184      procedure Set_Flag70 (N : Node_Id; Val : Boolean);
3185      pragma Inline (Set_Flag70);
3186
3187      procedure Set_Flag71 (N : Node_Id; Val : Boolean);
3188      pragma Inline (Set_Flag71);
3189
3190      procedure Set_Flag72 (N : Node_Id; Val : Boolean);
3191      pragma Inline (Set_Flag72);
3192
3193      procedure Set_Flag73 (N : Node_Id; Val : Boolean);
3194      pragma Inline (Set_Flag73);
3195
3196      procedure Set_Flag74 (N : Node_Id; Val : Boolean);
3197      pragma Inline (Set_Flag74);
3198
3199      procedure Set_Flag75 (N : Node_Id; Val : Boolean);
3200      pragma Inline (Set_Flag75);
3201
3202      procedure Set_Flag76 (N : Node_Id; Val : Boolean);
3203      pragma Inline (Set_Flag76);
3204
3205      procedure Set_Flag77 (N : Node_Id; Val : Boolean);
3206      pragma Inline (Set_Flag77);
3207
3208      procedure Set_Flag78 (N : Node_Id; Val : Boolean);
3209      pragma Inline (Set_Flag78);
3210
3211      procedure Set_Flag79 (N : Node_Id; Val : Boolean);
3212      pragma Inline (Set_Flag79);
3213
3214      procedure Set_Flag80 (N : Node_Id; Val : Boolean);
3215      pragma Inline (Set_Flag80);
3216
3217      procedure Set_Flag81 (N : Node_Id; Val : Boolean);
3218      pragma Inline (Set_Flag81);
3219
3220      procedure Set_Flag82 (N : Node_Id; Val : Boolean);
3221      pragma Inline (Set_Flag82);
3222
3223      procedure Set_Flag83 (N : Node_Id; Val : Boolean);
3224      pragma Inline (Set_Flag83);
3225
3226      procedure Set_Flag84 (N : Node_Id; Val : Boolean);
3227      pragma Inline (Set_Flag84);
3228
3229      procedure Set_Flag85 (N : Node_Id; Val : Boolean);
3230      pragma Inline (Set_Flag85);
3231
3232      procedure Set_Flag86 (N : Node_Id; Val : Boolean);
3233      pragma Inline (Set_Flag86);
3234
3235      procedure Set_Flag87 (N : Node_Id; Val : Boolean);
3236      pragma Inline (Set_Flag87);
3237
3238      procedure Set_Flag88 (N : Node_Id; Val : Boolean);
3239      pragma Inline (Set_Flag88);
3240
3241      procedure Set_Flag89 (N : Node_Id; Val : Boolean);
3242      pragma Inline (Set_Flag89);
3243
3244      procedure Set_Flag90 (N : Node_Id; Val : Boolean);
3245      pragma Inline (Set_Flag90);
3246
3247      procedure Set_Flag91 (N : Node_Id; Val : Boolean);
3248      pragma Inline (Set_Flag91);
3249
3250      procedure Set_Flag92 (N : Node_Id; Val : Boolean);
3251      pragma Inline (Set_Flag92);
3252
3253      procedure Set_Flag93 (N : Node_Id; Val : Boolean);
3254      pragma Inline (Set_Flag93);
3255
3256      procedure Set_Flag94 (N : Node_Id; Val : Boolean);
3257      pragma Inline (Set_Flag94);
3258
3259      procedure Set_Flag95 (N : Node_Id; Val : Boolean);
3260      pragma Inline (Set_Flag95);
3261
3262      procedure Set_Flag96 (N : Node_Id; Val : Boolean);
3263      pragma Inline (Set_Flag96);
3264
3265      procedure Set_Flag97 (N : Node_Id; Val : Boolean);
3266      pragma Inline (Set_Flag97);
3267
3268      procedure Set_Flag98 (N : Node_Id; Val : Boolean);
3269      pragma Inline (Set_Flag98);
3270
3271      procedure Set_Flag99 (N : Node_Id; Val : Boolean);
3272      pragma Inline (Set_Flag99);
3273
3274      procedure Set_Flag100 (N : Node_Id; Val : Boolean);
3275      pragma Inline (Set_Flag100);
3276
3277      procedure Set_Flag101 (N : Node_Id; Val : Boolean);
3278      pragma Inline (Set_Flag101);
3279
3280      procedure Set_Flag102 (N : Node_Id; Val : Boolean);
3281      pragma Inline (Set_Flag102);
3282
3283      procedure Set_Flag103 (N : Node_Id; Val : Boolean);
3284      pragma Inline (Set_Flag103);
3285
3286      procedure Set_Flag104 (N : Node_Id; Val : Boolean);
3287      pragma Inline (Set_Flag104);
3288
3289      procedure Set_Flag105 (N : Node_Id; Val : Boolean);
3290      pragma Inline (Set_Flag105);
3291
3292      procedure Set_Flag106 (N : Node_Id; Val : Boolean);
3293      pragma Inline (Set_Flag106);
3294
3295      procedure Set_Flag107 (N : Node_Id; Val : Boolean);
3296      pragma Inline (Set_Flag107);
3297
3298      procedure Set_Flag108 (N : Node_Id; Val : Boolean);
3299      pragma Inline (Set_Flag108);
3300
3301      procedure Set_Flag109 (N : Node_Id; Val : Boolean);
3302      pragma Inline (Set_Flag109);
3303
3304      procedure Set_Flag110 (N : Node_Id; Val : Boolean);
3305      pragma Inline (Set_Flag110);
3306
3307      procedure Set_Flag111 (N : Node_Id; Val : Boolean);
3308      pragma Inline (Set_Flag111);
3309
3310      procedure Set_Flag112 (N : Node_Id; Val : Boolean);
3311      pragma Inline (Set_Flag112);
3312
3313      procedure Set_Flag113 (N : Node_Id; Val : Boolean);
3314      pragma Inline (Set_Flag113);
3315
3316      procedure Set_Flag114 (N : Node_Id; Val : Boolean);
3317      pragma Inline (Set_Flag114);
3318
3319      procedure Set_Flag115 (N : Node_Id; Val : Boolean);
3320      pragma Inline (Set_Flag115);
3321
3322      procedure Set_Flag116 (N : Node_Id; Val : Boolean);
3323      pragma Inline (Set_Flag116);
3324
3325      procedure Set_Flag117 (N : Node_Id; Val : Boolean);
3326      pragma Inline (Set_Flag117);
3327
3328      procedure Set_Flag118 (N : Node_Id; Val : Boolean);
3329      pragma Inline (Set_Flag118);
3330
3331      procedure Set_Flag119 (N : Node_Id; Val : Boolean);
3332      pragma Inline (Set_Flag119);
3333
3334      procedure Set_Flag120 (N : Node_Id; Val : Boolean);
3335      pragma Inline (Set_Flag120);
3336
3337      procedure Set_Flag121 (N : Node_Id; Val : Boolean);
3338      pragma Inline (Set_Flag121);
3339
3340      procedure Set_Flag122 (N : Node_Id; Val : Boolean);
3341      pragma Inline (Set_Flag122);
3342
3343      procedure Set_Flag123 (N : Node_Id; Val : Boolean);
3344      pragma Inline (Set_Flag123);
3345
3346      procedure Set_Flag124 (N : Node_Id; Val : Boolean);
3347      pragma Inline (Set_Flag124);
3348
3349      procedure Set_Flag125 (N : Node_Id; Val : Boolean);
3350      pragma Inline (Set_Flag125);
3351
3352      procedure Set_Flag126 (N : Node_Id; Val : Boolean);
3353      pragma Inline (Set_Flag126);
3354
3355      procedure Set_Flag127 (N : Node_Id; Val : Boolean);
3356      pragma Inline (Set_Flag127);
3357
3358      procedure Set_Flag128 (N : Node_Id; Val : Boolean);
3359      pragma Inline (Set_Flag128);
3360
3361      procedure Set_Flag129 (N : Node_Id; Val : Boolean);
3362      pragma Inline (Set_Flag129);
3363
3364      procedure Set_Flag130 (N : Node_Id; Val : Boolean);
3365      pragma Inline (Set_Flag130);
3366
3367      procedure Set_Flag131 (N : Node_Id; Val : Boolean);
3368      pragma Inline (Set_Flag131);
3369
3370      procedure Set_Flag132 (N : Node_Id; Val : Boolean);
3371      pragma Inline (Set_Flag132);
3372
3373      procedure Set_Flag133 (N : Node_Id; Val : Boolean);
3374      pragma Inline (Set_Flag133);
3375
3376      procedure Set_Flag134 (N : Node_Id; Val : Boolean);
3377      pragma Inline (Set_Flag134);
3378
3379      procedure Set_Flag135 (N : Node_Id; Val : Boolean);
3380      pragma Inline (Set_Flag135);
3381
3382      procedure Set_Flag136 (N : Node_Id; Val : Boolean);
3383      pragma Inline (Set_Flag136);
3384
3385      procedure Set_Flag137 (N : Node_Id; Val : Boolean);
3386      pragma Inline (Set_Flag137);
3387
3388      procedure Set_Flag138 (N : Node_Id; Val : Boolean);
3389      pragma Inline (Set_Flag138);
3390
3391      procedure Set_Flag139 (N : Node_Id; Val : Boolean);
3392      pragma Inline (Set_Flag139);
3393
3394      procedure Set_Flag140 (N : Node_Id; Val : Boolean);
3395      pragma Inline (Set_Flag140);
3396
3397      procedure Set_Flag141 (N : Node_Id; Val : Boolean);
3398      pragma Inline (Set_Flag141);
3399
3400      procedure Set_Flag142 (N : Node_Id; Val : Boolean);
3401      pragma Inline (Set_Flag142);
3402
3403      procedure Set_Flag143 (N : Node_Id; Val : Boolean);
3404      pragma Inline (Set_Flag143);
3405
3406      procedure Set_Flag144 (N : Node_Id; Val : Boolean);
3407      pragma Inline (Set_Flag144);
3408
3409      procedure Set_Flag145 (N : Node_Id; Val : Boolean);
3410      pragma Inline (Set_Flag145);
3411
3412      procedure Set_Flag146 (N : Node_Id; Val : Boolean);
3413      pragma Inline (Set_Flag146);
3414
3415      procedure Set_Flag147 (N : Node_Id; Val : Boolean);
3416      pragma Inline (Set_Flag147);
3417
3418      procedure Set_Flag148 (N : Node_Id; Val : Boolean);
3419      pragma Inline (Set_Flag148);
3420
3421      procedure Set_Flag149 (N : Node_Id; Val : Boolean);
3422      pragma Inline (Set_Flag149);
3423
3424      procedure Set_Flag150 (N : Node_Id; Val : Boolean);
3425      pragma Inline (Set_Flag150);
3426
3427      procedure Set_Flag151 (N : Node_Id; Val : Boolean);
3428      pragma Inline (Set_Flag151);
3429
3430      procedure Set_Flag152 (N : Node_Id; Val : Boolean);
3431      pragma Inline (Set_Flag152);
3432
3433      procedure Set_Flag153 (N : Node_Id; Val : Boolean);
3434      pragma Inline (Set_Flag153);
3435
3436      procedure Set_Flag154 (N : Node_Id; Val : Boolean);
3437      pragma Inline (Set_Flag154);
3438
3439      procedure Set_Flag155 (N : Node_Id; Val : Boolean);
3440      pragma Inline (Set_Flag155);
3441
3442      procedure Set_Flag156 (N : Node_Id; Val : Boolean);
3443      pragma Inline (Set_Flag156);
3444
3445      procedure Set_Flag157 (N : Node_Id; Val : Boolean);
3446      pragma Inline (Set_Flag157);
3447
3448      procedure Set_Flag158 (N : Node_Id; Val : Boolean);
3449      pragma Inline (Set_Flag158);
3450
3451      procedure Set_Flag159 (N : Node_Id; Val : Boolean);
3452      pragma Inline (Set_Flag159);
3453
3454      procedure Set_Flag160 (N : Node_Id; Val : Boolean);
3455      pragma Inline (Set_Flag160);
3456
3457      procedure Set_Flag161 (N : Node_Id; Val : Boolean);
3458      pragma Inline (Set_Flag161);
3459
3460      procedure Set_Flag162 (N : Node_Id; Val : Boolean);
3461      pragma Inline (Set_Flag162);
3462
3463      procedure Set_Flag163 (N : Node_Id; Val : Boolean);
3464      pragma Inline (Set_Flag163);
3465
3466      procedure Set_Flag164 (N : Node_Id; Val : Boolean);
3467      pragma Inline (Set_Flag164);
3468
3469      procedure Set_Flag165 (N : Node_Id; Val : Boolean);
3470      pragma Inline (Set_Flag165);
3471
3472      procedure Set_Flag166 (N : Node_Id; Val : Boolean);
3473      pragma Inline (Set_Flag166);
3474
3475      procedure Set_Flag167 (N : Node_Id; Val : Boolean);
3476      pragma Inline (Set_Flag167);
3477
3478      procedure Set_Flag168 (N : Node_Id; Val : Boolean);
3479      pragma Inline (Set_Flag168);
3480
3481      procedure Set_Flag169 (N : Node_Id; Val : Boolean);
3482      pragma Inline (Set_Flag169);
3483
3484      procedure Set_Flag170 (N : Node_Id; Val : Boolean);
3485      pragma Inline (Set_Flag170);
3486
3487      procedure Set_Flag171 (N : Node_Id; Val : Boolean);
3488      pragma Inline (Set_Flag171);
3489
3490      procedure Set_Flag172 (N : Node_Id; Val : Boolean);
3491      pragma Inline (Set_Flag172);
3492
3493      procedure Set_Flag173 (N : Node_Id; Val : Boolean);
3494      pragma Inline (Set_Flag173);
3495
3496      procedure Set_Flag174 (N : Node_Id; Val : Boolean);
3497      pragma Inline (Set_Flag174);
3498
3499      procedure Set_Flag175 (N : Node_Id; Val : Boolean);
3500      pragma Inline (Set_Flag175);
3501
3502      procedure Set_Flag176 (N : Node_Id; Val : Boolean);
3503      pragma Inline (Set_Flag176);
3504
3505      procedure Set_Flag177 (N : Node_Id; Val : Boolean);
3506      pragma Inline (Set_Flag177);
3507
3508      procedure Set_Flag178 (N : Node_Id; Val : Boolean);
3509      pragma Inline (Set_Flag178);
3510
3511      procedure Set_Flag179 (N : Node_Id; Val : Boolean);
3512      pragma Inline (Set_Flag179);
3513
3514      procedure Set_Flag180 (N : Node_Id; Val : Boolean);
3515      pragma Inline (Set_Flag180);
3516
3517      procedure Set_Flag181 (N : Node_Id; Val : Boolean);
3518      pragma Inline (Set_Flag181);
3519
3520      procedure Set_Flag182 (N : Node_Id; Val : Boolean);
3521      pragma Inline (Set_Flag182);
3522
3523      procedure Set_Flag183 (N : Node_Id; Val : Boolean);
3524      pragma Inline (Set_Flag183);
3525
3526      procedure Set_Flag184 (N : Node_Id; Val : Boolean);
3527      pragma Inline (Set_Flag184);
3528
3529      procedure Set_Flag185 (N : Node_Id; Val : Boolean);
3530      pragma Inline (Set_Flag185);
3531
3532      procedure Set_Flag186 (N : Node_Id; Val : Boolean);
3533      pragma Inline (Set_Flag186);
3534
3535      procedure Set_Flag187 (N : Node_Id; Val : Boolean);
3536      pragma Inline (Set_Flag187);
3537
3538      procedure Set_Flag188 (N : Node_Id; Val : Boolean);
3539      pragma Inline (Set_Flag188);
3540
3541      procedure Set_Flag189 (N : Node_Id; Val : Boolean);
3542      pragma Inline (Set_Flag189);
3543
3544      procedure Set_Flag190 (N : Node_Id; Val : Boolean);
3545      pragma Inline (Set_Flag190);
3546
3547      procedure Set_Flag191 (N : Node_Id; Val : Boolean);
3548      pragma Inline (Set_Flag191);
3549
3550      procedure Set_Flag192 (N : Node_Id; Val : Boolean);
3551      pragma Inline (Set_Flag192);
3552
3553      procedure Set_Flag193 (N : Node_Id; Val : Boolean);
3554      pragma Inline (Set_Flag193);
3555
3556      procedure Set_Flag194 (N : Node_Id; Val : Boolean);
3557      pragma Inline (Set_Flag194);
3558
3559      procedure Set_Flag195 (N : Node_Id; Val : Boolean);
3560      pragma Inline (Set_Flag195);
3561
3562      procedure Set_Flag196 (N : Node_Id; Val : Boolean);
3563      pragma Inline (Set_Flag196);
3564
3565      procedure Set_Flag197 (N : Node_Id; Val : Boolean);
3566      pragma Inline (Set_Flag197);
3567
3568      procedure Set_Flag198 (N : Node_Id; Val : Boolean);
3569      pragma Inline (Set_Flag198);
3570
3571      procedure Set_Flag199 (N : Node_Id; Val : Boolean);
3572      pragma Inline (Set_Flag199);
3573
3574      procedure Set_Flag200 (N : Node_Id; Val : Boolean);
3575      pragma Inline (Set_Flag200);
3576
3577      procedure Set_Flag201 (N : Node_Id; Val : Boolean);
3578      pragma Inline (Set_Flag201);
3579
3580      procedure Set_Flag202 (N : Node_Id; Val : Boolean);
3581      pragma Inline (Set_Flag202);
3582
3583      procedure Set_Flag203 (N : Node_Id; Val : Boolean);
3584      pragma Inline (Set_Flag203);
3585
3586      procedure Set_Flag204 (N : Node_Id; Val : Boolean);
3587      pragma Inline (Set_Flag204);
3588
3589      procedure Set_Flag205 (N : Node_Id; Val : Boolean);
3590      pragma Inline (Set_Flag205);
3591
3592      procedure Set_Flag206 (N : Node_Id; Val : Boolean);
3593      pragma Inline (Set_Flag206);
3594
3595      procedure Set_Flag207 (N : Node_Id; Val : Boolean);
3596      pragma Inline (Set_Flag207);
3597
3598      procedure Set_Flag208 (N : Node_Id; Val : Boolean);
3599      pragma Inline (Set_Flag208);
3600
3601      procedure Set_Flag209 (N : Node_Id; Val : Boolean);
3602      pragma Inline (Set_Flag209);
3603
3604      procedure Set_Flag210 (N : Node_Id; Val : Boolean);
3605      pragma Inline (Set_Flag210);
3606
3607      procedure Set_Flag211 (N : Node_Id; Val : Boolean);
3608      pragma Inline (Set_Flag211);
3609
3610      procedure Set_Flag212 (N : Node_Id; Val : Boolean);
3611      pragma Inline (Set_Flag212);
3612
3613      procedure Set_Flag213 (N : Node_Id; Val : Boolean);
3614      pragma Inline (Set_Flag213);
3615
3616      procedure Set_Flag214 (N : Node_Id; Val : Boolean);
3617      pragma Inline (Set_Flag214);
3618
3619      procedure Set_Flag215 (N : Node_Id; Val : Boolean);
3620      pragma Inline (Set_Flag215);
3621
3622      procedure Set_Flag216 (N : Node_Id; Val : Boolean);
3623      pragma Inline (Set_Flag216);
3624
3625      procedure Set_Flag217 (N : Node_Id; Val : Boolean);
3626      pragma Inline (Set_Flag217);
3627
3628      procedure Set_Flag218 (N : Node_Id; Val : Boolean);
3629      pragma Inline (Set_Flag218);
3630
3631      procedure Set_Flag219 (N : Node_Id; Val : Boolean);
3632      pragma Inline (Set_Flag219);
3633
3634      procedure Set_Flag220 (N : Node_Id; Val : Boolean);
3635      pragma Inline (Set_Flag220);
3636
3637      procedure Set_Flag221 (N : Node_Id; Val : Boolean);
3638      pragma Inline (Set_Flag221);
3639
3640      procedure Set_Flag222 (N : Node_Id; Val : Boolean);
3641      pragma Inline (Set_Flag222);
3642
3643      procedure Set_Flag223 (N : Node_Id; Val : Boolean);
3644      pragma Inline (Set_Flag223);
3645
3646      procedure Set_Flag224 (N : Node_Id; Val : Boolean);
3647      pragma Inline (Set_Flag224);
3648
3649      procedure Set_Flag225 (N : Node_Id; Val : Boolean);
3650      pragma Inline (Set_Flag225);
3651
3652      procedure Set_Flag226 (N : Node_Id; Val : Boolean);
3653      pragma Inline (Set_Flag226);
3654
3655      procedure Set_Flag227 (N : Node_Id; Val : Boolean);
3656      pragma Inline (Set_Flag227);
3657
3658      procedure Set_Flag228 (N : Node_Id; Val : Boolean);
3659      pragma Inline (Set_Flag228);
3660
3661      procedure Set_Flag229 (N : Node_Id; Val : Boolean);
3662      pragma Inline (Set_Flag229);
3663
3664      procedure Set_Flag230 (N : Node_Id; Val : Boolean);
3665      pragma Inline (Set_Flag230);
3666
3667      procedure Set_Flag231 (N : Node_Id; Val : Boolean);
3668      pragma Inline (Set_Flag231);
3669
3670      procedure Set_Flag232 (N : Node_Id; Val : Boolean);
3671      pragma Inline (Set_Flag232);
3672
3673      procedure Set_Flag233 (N : Node_Id; Val : Boolean);
3674      pragma Inline (Set_Flag233);
3675
3676      procedure Set_Flag234 (N : Node_Id; Val : Boolean);
3677      pragma Inline (Set_Flag234);
3678
3679      procedure Set_Flag235 (N : Node_Id; Val : Boolean);
3680      pragma Inline (Set_Flag235);
3681
3682      procedure Set_Flag236 (N : Node_Id; Val : Boolean);
3683      pragma Inline (Set_Flag236);
3684
3685      procedure Set_Flag237 (N : Node_Id; Val : Boolean);
3686      pragma Inline (Set_Flag237);
3687
3688      procedure Set_Flag238 (N : Node_Id; Val : Boolean);
3689      pragma Inline (Set_Flag238);
3690
3691      procedure Set_Flag239 (N : Node_Id; Val : Boolean);
3692      pragma Inline (Set_Flag239);
3693
3694      procedure Set_Flag240 (N : Node_Id; Val : Boolean);
3695      pragma Inline (Set_Flag240);
3696
3697      procedure Set_Flag241 (N : Node_Id; Val : Boolean);
3698      pragma Inline (Set_Flag241);
3699
3700      procedure Set_Flag242 (N : Node_Id; Val : Boolean);
3701      pragma Inline (Set_Flag242);
3702
3703      procedure Set_Flag243 (N : Node_Id; Val : Boolean);
3704      pragma Inline (Set_Flag243);
3705
3706      procedure Set_Flag244 (N : Node_Id; Val : Boolean);
3707      pragma Inline (Set_Flag244);
3708
3709      procedure Set_Flag245 (N : Node_Id; Val : Boolean);
3710      pragma Inline (Set_Flag245);
3711
3712      procedure Set_Flag246 (N : Node_Id; Val : Boolean);
3713      pragma Inline (Set_Flag246);
3714
3715      procedure Set_Flag247 (N : Node_Id; Val : Boolean);
3716      pragma Inline (Set_Flag247);
3717
3718      procedure Set_Flag248 (N : Node_Id; Val : Boolean);
3719      pragma Inline (Set_Flag248);
3720
3721      procedure Set_Flag249 (N : Node_Id; Val : Boolean);
3722      pragma Inline (Set_Flag249);
3723
3724      procedure Set_Flag250 (N : Node_Id; Val : Boolean);
3725      pragma Inline (Set_Flag250);
3726
3727      procedure Set_Flag251 (N : Node_Id; Val : Boolean);
3728      pragma Inline (Set_Flag251);
3729
3730      procedure Set_Flag252 (N : Node_Id; Val : Boolean);
3731      pragma Inline (Set_Flag252);
3732
3733      procedure Set_Flag253 (N : Node_Id; Val : Boolean);
3734      pragma Inline (Set_Flag253);
3735
3736      procedure Set_Flag254 (N : Node_Id; Val : Boolean);
3737      pragma Inline (Set_Flag254);
3738
3739      procedure Set_Flag255 (N : Node_Id; Val : Boolean);
3740      pragma Inline (Set_Flag255);
3741
3742      procedure Set_Flag256 (N : Node_Id; Val : Boolean);
3743      pragma Inline (Set_Flag256);
3744
3745      procedure Set_Flag257 (N : Node_Id; Val : Boolean);
3746      pragma Inline (Set_Flag257);
3747
3748      procedure Set_Flag258 (N : Node_Id; Val : Boolean);
3749      pragma Inline (Set_Flag258);
3750
3751      procedure Set_Flag259 (N : Node_Id; Val : Boolean);
3752      pragma Inline (Set_Flag259);
3753
3754      procedure Set_Flag260 (N : Node_Id; Val : Boolean);
3755      pragma Inline (Set_Flag260);
3756
3757      procedure Set_Flag261 (N : Node_Id; Val : Boolean);
3758      pragma Inline (Set_Flag261);
3759
3760      procedure Set_Flag262 (N : Node_Id; Val : Boolean);
3761      pragma Inline (Set_Flag262);
3762
3763      procedure Set_Flag263 (N : Node_Id; Val : Boolean);
3764      pragma Inline (Set_Flag263);
3765
3766      procedure Set_Flag264 (N : Node_Id; Val : Boolean);
3767      pragma Inline (Set_Flag264);
3768
3769      procedure Set_Flag265 (N : Node_Id; Val : Boolean);
3770      pragma Inline (Set_Flag265);
3771
3772      procedure Set_Flag266 (N : Node_Id; Val : Boolean);
3773      pragma Inline (Set_Flag266);
3774
3775      procedure Set_Flag267 (N : Node_Id; Val : Boolean);
3776      pragma Inline (Set_Flag267);
3777
3778      procedure Set_Flag268 (N : Node_Id; Val : Boolean);
3779      pragma Inline (Set_Flag268);
3780
3781      procedure Set_Flag269 (N : Node_Id; Val : Boolean);
3782      pragma Inline (Set_Flag269);
3783
3784      procedure Set_Flag270 (N : Node_Id; Val : Boolean);
3785      pragma Inline (Set_Flag270);
3786
3787      procedure Set_Flag271 (N : Node_Id; Val : Boolean);
3788      pragma Inline (Set_Flag271);
3789
3790      procedure Set_Flag272 (N : Node_Id; Val : Boolean);
3791      pragma Inline (Set_Flag272);
3792
3793      procedure Set_Flag273 (N : Node_Id; Val : Boolean);
3794      pragma Inline (Set_Flag273);
3795
3796      procedure Set_Flag274 (N : Node_Id; Val : Boolean);
3797      pragma Inline (Set_Flag274);
3798
3799      procedure Set_Flag275 (N : Node_Id; Val : Boolean);
3800      pragma Inline (Set_Flag275);
3801
3802      procedure Set_Flag276 (N : Node_Id; Val : Boolean);
3803      pragma Inline (Set_Flag276);
3804
3805      procedure Set_Flag277 (N : Node_Id; Val : Boolean);
3806      pragma Inline (Set_Flag277);
3807
3808      procedure Set_Flag278 (N : Node_Id; Val : Boolean);
3809      pragma Inline (Set_Flag278);
3810
3811      procedure Set_Flag279 (N : Node_Id; Val : Boolean);
3812      pragma Inline (Set_Flag279);
3813
3814      procedure Set_Flag280 (N : Node_Id; Val : Boolean);
3815      pragma Inline (Set_Flag280);
3816
3817      procedure Set_Flag281 (N : Node_Id; Val : Boolean);
3818      pragma Inline (Set_Flag281);
3819
3820      procedure Set_Flag282 (N : Node_Id; Val : Boolean);
3821      pragma Inline (Set_Flag282);
3822
3823      procedure Set_Flag283 (N : Node_Id; Val : Boolean);
3824      pragma Inline (Set_Flag283);
3825
3826      procedure Set_Flag284 (N : Node_Id; Val : Boolean);
3827      pragma Inline (Set_Flag284);
3828
3829      procedure Set_Flag285 (N : Node_Id; Val : Boolean);
3830      pragma Inline (Set_Flag285);
3831
3832      procedure Set_Flag286 (N : Node_Id; Val : Boolean);
3833      pragma Inline (Set_Flag286);
3834
3835      procedure Set_Flag287 (N : Node_Id; Val : Boolean);
3836      pragma Inline (Set_Flag287);
3837
3838      procedure Set_Flag288 (N : Node_Id; Val : Boolean);
3839      pragma Inline (Set_Flag288);
3840
3841      procedure Set_Flag289 (N : Node_Id; Val : Boolean);
3842      pragma Inline (Set_Flag289);
3843
3844      procedure Set_Flag290 (N : Node_Id; Val : Boolean);
3845      pragma Inline (Set_Flag290);
3846
3847      procedure Set_Flag291 (N : Node_Id; Val : Boolean);
3848      pragma Inline (Set_Flag291);
3849
3850      procedure Set_Flag292 (N : Node_Id; Val : Boolean);
3851      pragma Inline (Set_Flag292);
3852
3853      procedure Set_Flag293 (N : Node_Id; Val : Boolean);
3854      pragma Inline (Set_Flag293);
3855
3856      procedure Set_Flag294 (N : Node_Id; Val : Boolean);
3857      pragma Inline (Set_Flag294);
3858
3859      procedure Set_Flag295 (N : Node_Id; Val : Boolean);
3860      pragma Inline (Set_Flag295);
3861
3862      procedure Set_Flag296 (N : Node_Id; Val : Boolean);
3863      pragma Inline (Set_Flag296);
3864
3865      procedure Set_Flag297 (N : Node_Id; Val : Boolean);
3866      pragma Inline (Set_Flag297);
3867
3868      procedure Set_Flag298 (N : Node_Id; Val : Boolean);
3869      pragma Inline (Set_Flag298);
3870
3871      procedure Set_Flag299 (N : Node_Id; Val : Boolean);
3872      pragma Inline (Set_Flag299);
3873
3874      procedure Set_Flag300 (N : Node_Id; Val : Boolean);
3875      pragma Inline (Set_Flag300);
3876
3877      procedure Set_Flag301 (N : Node_Id; Val : Boolean);
3878      pragma Inline (Set_Flag301);
3879
3880      procedure Set_Flag302 (N : Node_Id; Val : Boolean);
3881      pragma Inline (Set_Flag302);
3882
3883      procedure Set_Flag303 (N : Node_Id; Val : Boolean);
3884      pragma Inline (Set_Flag303);
3885
3886      procedure Set_Flag304 (N : Node_Id; Val : Boolean);
3887      pragma Inline (Set_Flag304);
3888
3889      procedure Set_Flag305 (N : Node_Id; Val : Boolean);
3890      pragma Inline (Set_Flag305);
3891
3892      procedure Set_Flag306 (N : Node_Id; Val : Boolean);
3893      pragma Inline (Set_Flag306);
3894
3895      procedure Set_Flag307 (N : Node_Id; Val : Boolean);
3896      pragma Inline (Set_Flag307);
3897
3898      procedure Set_Flag308 (N : Node_Id; Val : Boolean);
3899      pragma Inline (Set_Flag308);
3900
3901      procedure Set_Flag309 (N : Node_Id; Val : Boolean);
3902      pragma Inline (Set_Flag309);
3903
3904      procedure Set_Flag310 (N : Node_Id; Val : Boolean);
3905      pragma Inline (Set_Flag310);
3906
3907      procedure Set_Flag311 (N : Node_Id; Val : Boolean);
3908      pragma Inline (Set_Flag311);
3909
3910      procedure Set_Flag312 (N : Node_Id; Val : Boolean);
3911      pragma Inline (Set_Flag312);
3912
3913      procedure Set_Flag313 (N : Node_Id; Val : Boolean);
3914      pragma Inline (Set_Flag313);
3915
3916      procedure Set_Flag314 (N : Node_Id; Val : Boolean);
3917      pragma Inline (Set_Flag314);
3918
3919      procedure Set_Flag315 (N : Node_Id; Val : Boolean);
3920      pragma Inline (Set_Flag315);
3921
3922      procedure Set_Flag316 (N : Node_Id; Val : Boolean);
3923      pragma Inline (Set_Flag316);
3924
3925      procedure Set_Flag317 (N : Node_Id; Val : Boolean);
3926      pragma Inline (Set_Flag317);
3927
3928      --  The following versions of Set_Noden also set the parent pointer of
3929      --  the referenced node if it is not Empty.
3930
3931      procedure Set_Node1_With_Parent (N : Node_Id; Val : Node_Id);
3932      pragma Inline (Set_Node1_With_Parent);
3933
3934      procedure Set_Node2_With_Parent (N : Node_Id; Val : Node_Id);
3935      pragma Inline (Set_Node2_With_Parent);
3936
3937      procedure Set_Node3_With_Parent (N : Node_Id; Val : Node_Id);
3938      pragma Inline (Set_Node3_With_Parent);
3939
3940      procedure Set_Node4_With_Parent (N : Node_Id; Val : Node_Id);
3941      pragma Inline (Set_Node4_With_Parent);
3942
3943      procedure Set_Node5_With_Parent (N : Node_Id; Val : Node_Id);
3944      pragma Inline (Set_Node5_With_Parent);
3945
3946      --  The following versions of Set_Listn also set the parent pointer of
3947      --  the referenced node if it is not Empty.
3948
3949      procedure Set_List1_With_Parent (N : Node_Id; Val : List_Id);
3950      pragma Inline (Set_List1_With_Parent);
3951
3952      procedure Set_List2_With_Parent (N : Node_Id; Val : List_Id);
3953      pragma Inline (Set_List2_With_Parent);
3954
3955      procedure Set_List3_With_Parent (N : Node_Id; Val : List_Id);
3956      pragma Inline (Set_List3_With_Parent);
3957
3958      procedure Set_List4_With_Parent (N : Node_Id; Val : List_Id);
3959      pragma Inline (Set_List4_With_Parent);
3960
3961      procedure Set_List5_With_Parent (N : Node_Id; Val : List_Id);
3962      pragma Inline (Set_List5_With_Parent);
3963
3964   end Unchecked_Access;
3965
3966   -----------------------------
3967   -- Private Part Subpackage --
3968   -----------------------------
3969
3970   --  The following package contains the definition of the data structure
3971   --  used by the implementation of the Atree package. Logically it really
3972   --  corresponds to the private part, hence the name. The reason that it
3973   --  is defined as a sub-package is to allow special access from clients
3974   --  that need to see the internals of the data structures.
3975
3976   package Atree_Private_Part is
3977
3978      -------------------------
3979      -- Tree Representation --
3980      -------------------------
3981
3982      --  The nodes of the tree are stored in a table (i.e. an array). In the
3983      --  case of extended nodes six consecutive components in the array are
3984      --  used. There are thus two formats for array components. One is used
3985      --  for nonextended nodes, and for the first component of extended
3986      --  nodes. The other is used for the extension parts (second, third,
3987      --  fourth, fifth, and sixth components) of an extended node. A variant
3988      --  record structure is used to distinguish the two formats.
3989
3990      type Node_Record (Is_Extension : Boolean := False) is record
3991
3992         --  Logically, the only field in the common part is the above
3993         --  Is_Extension discriminant (a single bit). However, Gigi cannot
3994         --  yet handle such a structure, so we fill out the common part of
3995         --  the record with fields that are used in different ways for
3996         --  normal nodes and node extensions.
3997
3998         Pflag1, Pflag2 : Boolean;
3999         --  The Paren_Count field is represented using two boolean flags,
4000         --  where Pflag1 is worth 1, and Pflag2 is worth 2. This is done
4001         --  because we need to be easily able to reuse this field for
4002         --  extra flags in the extended node case.
4003
4004         In_List : Boolean;
4005         --  Flag used to indicate if node is a member of a list.
4006         --  This field is considered private to the Atree package.
4007
4008         Has_Aspects : Boolean;
4009         --  Flag used to indicate that a node has aspect specifications that
4010         --  are associated with the node. See Aspects package for details.
4011
4012         Rewrite_Ins : Boolean;
4013         --  Flag set by Mark_Rewrite_Insertion procedure.
4014         --  This field is considered private to the Atree package.
4015
4016         Analyzed : Boolean;
4017         --  Flag to indicate the node has been analyzed (and expanded)
4018
4019         Comes_From_Source : Boolean;
4020         --  Flag to indicate that node comes from the source program (i.e.
4021         --  was built by the parser or scanner, not the analyzer or expander).
4022
4023         Error_Posted : Boolean;
4024         --  Flag to indicate that an error message has been posted on the
4025         --  node (to avoid duplicate flags on the same node)
4026
4027         Flag4  : Boolean;
4028         Flag5  : Boolean;
4029         Flag6  : Boolean;
4030         Flag7  : Boolean;
4031         Flag8  : Boolean;
4032         Flag9  : Boolean;
4033         Flag10 : Boolean;
4034         Flag11 : Boolean;
4035         Flag12 : Boolean;
4036         Flag13 : Boolean;
4037         Flag14 : Boolean;
4038         Flag15 : Boolean;
4039         Flag16 : Boolean;
4040         Flag17 : Boolean;
4041         Flag18 : Boolean;
4042         --  Flags 4-18 for a normal node. Note that Flags 0-3 are stored
4043         --  separately in the Flags array.
4044
4045         --  The above fields are used as follows in components 2-6 of an
4046         --  extended node entry. Currently they are not used in component 7,
4047         --  since for now we have all the flags we need, but of course they
4048         --  can be used for additional flags when needed in component 7.
4049
4050         --    In_List           used as Flag19,Flag40,Flag129,Flag216,Flag287
4051         --    Has_Aspects       used as Flag20,Flag41,Flag130,Flag217,Flag288
4052         --    Rewrite_Ins       used as Flag21,Flag42,Flag131,Flag218,Flag289
4053         --    Analyzed          used as Flag22,Flag43,Flag132,Flag219,Flag290
4054         --    Comes_From_Source used as Flag23,Flag44,Flag133,Flag220,Flag291
4055         --    Error_Posted      used as Flag24,Flag45,Flag134,Flag221,Flag292
4056         --    Flag4             used as Flag25,Flag46,Flag135,Flag222,Flag293
4057         --    Flag5             used as Flag26,Flag47,Flag136,Flag223,Flag294
4058         --    Flag6             used as Flag27,Flag48,Flag137,Flag224,Flag295
4059         --    Flag7             used as Flag28,Flag49,Flag138,Flag225,Flag296
4060         --    Flag8             used as Flag29,Flag50,Flag139,Flag226,Flag297
4061         --    Flag9             used as Flag30,Flag51,Flag140,Flag227,Flag298
4062         --    Flag10            used as Flag31,Flag52,Flag141,Flag228,Flag299
4063         --    Flag11            used as Flag32,Flag53,Flag142,Flag229,Flag300
4064         --    Flag12            used as Flag33,Flag54,Flag143,Flag230,Flag301
4065         --    Flag13            used as Flag34,Flag55,Flag144,Flag231,Flag302
4066         --    Flag14            used as Flag35,Flag56,Flag145,Flag232,Flag303
4067         --    Flag15            used as Flag36,Flag57,Flag146,Flag233,Flag304
4068         --    Flag16            used as Flag37,Flag58,Flag147,Flag234,Flag305
4069         --    Flag17            used as Flag38,Flag59,Flag148,Flag235,Flag306
4070         --    Flag18            used as Flag39,Flag60,Flag149,Flag236,Flag307
4071         --    Pflag1            used as Flag61,Flag62,Flag150,Flag237,Flag308
4072         --    Pflag2            used as Flag63,Flag64,Flag151,Flag238,Flag309
4073
4074         Nkind : Node_Kind;
4075         --  For a nonextended node, or the initial section of an extended
4076         --  node, this field holds the Node_Kind value. For an extended node,
4077         --  The Nkind field is used as follows:
4078         --
4079         --     Second entry:  holds the Ekind field of the entity
4080         --     Third entry:   holds 8 additional flags (Flag65-Flag72)
4081         --     Fourth entry:  holds 8 additional flags (Flag239-246)
4082         --     Fifth entry:   holds 8 additional flags (Flag247-254)
4083         --     Sixth entry:   holds 8 additional flags (Flag310-317)
4084         --     Seventh entry: currently unused
4085
4086         --  Now finally (on a 32-bit boundary) comes the variant part
4087
4088         case Is_Extension is
4089
4090            --  Nonextended node, or first component of extended node
4091
4092            when False =>
4093
4094               Sloc : Source_Ptr;
4095               --  Source location for this node
4096
4097               Link : Union_Id;
4098               --  This field is used either as the Parent pointer (if In_List
4099               --  is False), or to point to the list header (if In_List is
4100               --  True). This field is considered private and can be modified
4101               --  only by Atree or by Nlists.
4102
4103               Field1 : Union_Id;
4104               Field2 : Union_Id;
4105               Field3 : Union_Id;
4106               Field4 : Union_Id;
4107               Field5 : Union_Id;
4108               --  Five general use fields, which can contain Node_Id, List_Id,
4109               --  Elist_Id, String_Id, or Name_Id values depending on the
4110               --  values in Nkind and (for extended nodes), in Ekind. See
4111               --  packages Sinfo and Einfo for details of their use.
4112
4113            --  Extension (second component) of extended node
4114
4115            when True =>
4116
4117               Field6  : Union_Id;
4118               Field7  : Union_Id;
4119               Field8  : Union_Id;
4120               Field9  : Union_Id;
4121               Field10 : Union_Id;
4122               Field11 : Union_Id;
4123               Field12 : Union_Id;
4124               --  Seven additional general fields available only for entities.
4125               --  See package Einfo for details of their use (which depends
4126               --  on the value in the Ekind field).
4127
4128            --  In the third component, the extension format as described
4129            --  above is used to hold additional general fields and flags
4130            --  as follows:
4131
4132            --    Field6-11      Holds Field13-Field18
4133            --    Field12        Holds Flag73-Flag96 and Convention
4134
4135            --  In the fourth component, the extension format as described
4136            --  above is used to hold additional general fields and flags
4137            --  as follows:
4138
4139            --    Field6-10      Holds Field19-Field23
4140            --    Field11        Holds Flag152-Flag183
4141            --    Field12        Holds Flag97-Flag128
4142
4143            --  In the fifth component, the extension format as described
4144            --  above is used to hold additional general fields and flags
4145            --  as follows:
4146
4147            --    Field6-11      Holds Field24-Field29
4148            --    Field12        Holds Flag184-Flag215
4149
4150            --  In the sixth component, the extension format as described
4151            --  above is used to hold additional general fields and flags
4152            --  as follows:
4153
4154            --    Field6-11      Holds Field30-Field35
4155            --    Field12        Holds Flag255-Flag286
4156
4157            --  In the seventh component, the extension format as described
4158            --  above is used to hold additional general fields as follows.
4159            --  Flags are also available potentially, but not used now, as
4160            --  we are not short of entity flags.
4161
4162            --    Field6-11     Holds Field36-Field41
4163
4164         end case;
4165      end record;
4166
4167      pragma Pack (Node_Record);
4168      for Node_Record'Size use 8 * 32;
4169      for Node_Record'Alignment use 4;
4170
4171      function E_To_N is new Unchecked_Conversion (Entity_Kind, Node_Kind);
4172      function N_To_E is new Unchecked_Conversion (Node_Kind, Entity_Kind);
4173
4174      --  Default value used to initialize default nodes. Note that some of the
4175      --  fields get overwritten, and in particular, Nkind always gets reset.
4176
4177      Default_Node : Node_Record := (
4178         Is_Extension      => False,
4179         Pflag1            => False,
4180         Pflag2            => False,
4181         In_List           => False,
4182         Has_Aspects       => False,
4183         Rewrite_Ins       => False,
4184         Analyzed          => False,
4185         Comes_From_Source => False,
4186         --  modified by Set_Comes_From_Source_Default
4187         Error_Posted      => False,
4188         Flag4             => False,
4189
4190         Flag5             => False,
4191         Flag6             => False,
4192         Flag7             => False,
4193         Flag8             => False,
4194         Flag9             => False,
4195         Flag10            => False,
4196         Flag11            => False,
4197         Flag12            => False,
4198
4199         Flag13            => False,
4200         Flag14            => False,
4201         Flag15            => False,
4202         Flag16            => False,
4203         Flag17            => False,
4204         Flag18            => False,
4205
4206         Nkind             => N_Unused_At_Start,
4207
4208         Sloc              => No_Location,
4209         Link              => Empty_List_Or_Node,
4210         Field1            => Empty_List_Or_Node,
4211         Field2            => Empty_List_Or_Node,
4212         Field3            => Empty_List_Or_Node,
4213         Field4            => Empty_List_Or_Node,
4214         Field5            => Empty_List_Or_Node);
4215
4216      --  Default value used to initialize node extensions (i.e. the second
4217      --  through seventh components of an extended node). Note we are cheating
4218      --  a bit here when it comes to Node12, which often holds flags and (for
4219      --  the third component), the convention. But it works because Empty,
4220      --  False, Convention_Ada, all happen to be all zero bits.
4221
4222      Default_Node_Extension : constant Node_Record := (
4223         Is_Extension      => True,
4224         Pflag1            => False,
4225         Pflag2            => False,
4226         In_List           => False,
4227         Has_Aspects       => False,
4228         Rewrite_Ins       => False,
4229         Analyzed          => False,
4230         Comes_From_Source => False,
4231         Error_Posted      => False,
4232         Flag4             => False,
4233
4234         Flag5             => False,
4235         Flag6             => False,
4236         Flag7             => False,
4237         Flag8             => False,
4238         Flag9             => False,
4239         Flag10            => False,
4240         Flag11            => False,
4241         Flag12            => False,
4242
4243         Flag13            => False,
4244         Flag14            => False,
4245         Flag15            => False,
4246         Flag16            => False,
4247         Flag17            => False,
4248         Flag18            => False,
4249
4250         Nkind             => E_To_N (E_Void),
4251
4252         Field6            => Empty_List_Or_Node,
4253         Field7            => Empty_List_Or_Node,
4254         Field8            => Empty_List_Or_Node,
4255         Field9            => Empty_List_Or_Node,
4256         Field10           => Empty_List_Or_Node,
4257         Field11           => Empty_List_Or_Node,
4258         Field12           => Empty_List_Or_Node);
4259
4260      --  The following defines the extendable array used for the nodes table
4261      --  Nodes with extensions use six consecutive entries in the array
4262
4263      package Nodes is new Table.Table (
4264        Table_Component_Type => Node_Record,
4265        Table_Index_Type     => Node_Id'Base,
4266        Table_Low_Bound      => First_Node_Id,
4267        Table_Initial        => Alloc.Nodes_Initial,
4268        Table_Increment      => Alloc.Nodes_Increment,
4269        Release_Threshold    => Alloc.Nodes_Release_Threshold,
4270        Table_Name           => "Nodes");
4271
4272      --  The following is a parallel table to Nodes, which provides 8 more
4273      --  bits of space that logically belong to the corresponding node. This
4274      --  is currently used to implement Flags 0,1,2,3 for normal nodes, or
4275      --  the first component of an extended node (four bits unused). Entries
4276      --  for extending components are completely unused.
4277
4278      type Flags_Byte is record
4279         Flag0 : Boolean;
4280         --  Note: we don't use Flag0 at the moment. To put Flag0 into use
4281         --  requires some awkward work in Treeprs (treeprs.adt), so for the
4282         --  moment we don't use it.
4283
4284         Flag1 : Boolean;
4285         Flag2 : Boolean;
4286         Flag3 : Boolean;
4287         --  These flags are used in the usual manner in Sinfo and Einfo
4288
4289         --  The flags listed below use explicit names because following the
4290         --  FlagXXX convention would mean reshuffling of over 300+ flags.
4291
4292         Check_Actuals : Boolean;
4293         --  Flag set to indicate that the marked node is subject to the check
4294         --  for writable actuals.
4295
4296         Is_Ignored_Ghost_Node : Boolean;
4297         --  Flag denoting whether the node is subject to pragma Ghost with
4298         --  policy Ignore.
4299
4300         Spare2 : Boolean;
4301         Spare3 : Boolean;
4302      end record;
4303
4304      for Flags_Byte'Size use 8;
4305      pragma Pack (Flags_Byte);
4306
4307      Default_Flags : constant Flags_Byte := (others => False);
4308      --  Default value used to initialize new entries
4309
4310      package Flags is new Table.Table (
4311        Table_Component_Type => Flags_Byte,
4312        Table_Index_Type     => Node_Id'Base,
4313        Table_Low_Bound      => First_Node_Id,
4314        Table_Initial        => Alloc.Nodes_Initial,
4315        Table_Increment      => Alloc.Nodes_Increment,
4316        Release_Threshold    => Alloc.Nodes_Release_Threshold,
4317        Table_Name           => "Flags");
4318
4319   end Atree_Private_Part;
4320
4321end Atree;
4322