+2015-11-12 Arnaud Charlet <charlet@adacore.com>
+
+ * back_end.adb, opt.ads (Debugger_Level): Update comment.
+ (Scan_Back_End_Switches): Set Debugger_Level.
+
+2015-11-12 Bob Duff <duff@adacore.com>
+
+ * fmap.adb, debug.ads, checks.adb, exp_ch11.adb: Minor edits.
+
+2015-11-12 Doug Rupp <rupp@adacore.com>
+
+ * s-stchop-vxworks.adb (Stack_Limit): Export vice Import.
+
+2015-11-12 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_dim.adb: Minor reformatting.
+
2015-11-12 Gary Dismukes <dismukes@adacore.com>
* gnat1drv.adb, opt.ads: Minor reformatting.
elsif Switch_Chars (First .. Last) = "fdump-scos" then
Opt.Generate_SCO := True;
Opt.Generate_SCO_Instance_Table := True;
+
+ elsif Switch_Chars (First) = 'g' then
+ Debugger_Level := 2;
+
+ if First < Last then
+ case Switch_Chars (First + 1) is
+ when '0' =>
+ Debugger_Level := 0;
+ when '1' =>
+ Debugger_Level := 1;
+ when '2' =>
+ Debugger_Level := 2;
+ when '3' =>
+ Debugger_Level := 3;
+ when others =>
+ null;
+ end case;
+ end if;
end if;
end if;
end Scan_Back_End_Switches;
end record;
-- The following table keeps track of saved checks. Rather than use an
- -- extensible table. We just use a table of fixed size, and we discard
+ -- extensible table, we just use a table of fixed size, and we discard
-- any saved checks that do not fit. That's very unlikely to happen and
-- this is only an optimization in any case.
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2015, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- Dynamic Debug Flags --
-------------------------
- -- Flags that can be used to active various specialized debugging output
+ -- Flags that can be used to activate various specialized debugging output
-- information. The flags are preset to False, which corresponds to the
-- given output being suppressed. The individual flags can be turned on
-- using the undocumented switch dxxx where xxx is a string of letters for
-- Get_Local_Raise_Call_Entity --
---------------------------------
- -- Note: this is primary provided for use by the back end in generating
+ -- Note: this is primarily provided for use by the back end in generating
-- calls to Local_Raise. But it would be too late in the back end to call
-- RTE if this actually caused a load/analyze of the unit. So what we do
-- is to ensure there is a dummy call to this function during front end
Max_Buffer : constant := 1_500;
Buffer : String (1 .. Max_Buffer);
- -- Used to bufferize output when writing to a new mapping file
+ -- Used to buffer output when writing to a new mapping file
Buffer_Last : Natural := 0;
-- Index of last valid character in Buffer
subtype Debug_Level_Value is Nat range 0 .. 3;
Debugger_Level : Debug_Level_Value := 0;
+ -- GNAT, GNATBIND
-- The value given to the -g parameter. The default value for -g with
-- no value is 2. If no -g is specified, defaults to 0.
-- Note that the generated code should never depend on this variable,
-- VxWorks MILS includes the necessary routine in taskLib, so nothing
-- special needs to be done there.
- Stack_Limit : Address;
-
- pragma Import (C, Stack_Limit, "__gnat_stack_limit");
+ Stack_Limit : Address :=
+ Boolean'Pos (Stack_Grows_Down) * Address'First
+ + Boolean'Pos (not Stack_Grows_Down) * Address'Last;
+ pragma Export (C, Stack_Limit, "__gnat_stack_limit");
-- Stack_Limit contains the limit of the stack. This variable is later made
-- a task variable (by calling taskVarAdd) and then correctly set to the
procedure Analyze_Dimension_Number_Declaration (N : Node_Id);
-- Procedure to analyze dimension of expression in a number declaration.
- -- This allows a named number to have non-trivial dimensions, while by
+ -- This allows a named number to have nontrivial dimensions, while by
-- default a named number is dimensionless.
procedure Analyze_Dimension_Object_Declaration (N : Node_Id);
end if;
end if;
- -- If expander is active, remove dimension information from each
+ -- If expander is active, remove dimension information from each
-- operand, as only dimensions of result are relevant.
if Expander_Active then