diff options
Diffstat (limited to 'gcc/ada/opt.ads')
-rw-r--r-- | gcc/ada/opt.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 88a1ef4..1377de8 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -1199,6 +1199,12 @@ package Opt is -- If a pragma No_Tagged_Streams is active for the current scope, this -- points to the corresponding pragma. + Nodes_Size_In_Meg : Nat := 0; + -- GNAT + -- Amount of memory to allocate for all nodes, in units of 2**20 bytes. + -- Set by the -gnaten switch; 0 means -gnaten was not given, and a default + -- value should be used. + Normalize_Scalars : Boolean := False; -- GNAT, GNATBIND -- Set True if a pragma Normalize_Scalars applies to the current unit. |