* sem_ch4.adb (Analyze_User_Defined_Binary_Op): If left operand is
overloaded and one interpretation matches the context, label the
operand with the type of first formal.
2009-04-20 Bob Duff <duff@adacore.com>
* debug.ads: Minor comment fix.
* debug.adb: Minor comment fixes.
2009-04-20 Javier Miranda <miranda@adacore.com>
* rtsfind.ads (RE_Null_Id): New entity of package Ada.Exceptions
* exp_ch6.adb (Expand_Inlined_Call): Undo previous patch.
* exp_ch11.adb (Expand_N_Raise_Statement): When the raise stmt
is expanded into a call to Raise_Exception, avoid passing the
exception-name'identity in runtimes in which this argument
is not used.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146416
138bc75d-0d04-0410-961f-
82ee72b054a4
+2009-04-20 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch4.adb (Analyze_User_Defined_Binary_Op): If left operand is
+ overloaded and one interpretation matches the context, label the
+ operand with the type of first formal.
+
+2009-04-20 Bob Duff <duff@adacore.com>
+
+ * debug.ads: Minor comment fix.
+
+ * debug.adb: Minor comment fixes.
+
+2009-04-20 Javier Miranda <miranda@adacore.com>
+
+ * rtsfind.ads (RE_Null_Id): New entity of package Ada.Exceptions
+
+ * exp_ch6.adb (Expand_Inlined_Call): Undo previous patch.
+
+ * exp_ch11.adb (Expand_N_Raise_Statement): When the raise stmt
+ is expanded into a call to Raise_Exception, avoid passing the
+ exception-name'identity in runtimes in which this argument
+ is not used.
+
2009-04-20 Jerome Lambourg <lambourg@adacore.com>
* impunit.adb: Add i-cil and i-cilobj packages, now needed by the
-- dc
-- dd
-- de
- -- df
+ -- df Only output file names, not path names, in log
-- dg
-- dh
-- di
-- in preelaborable packages, but this restriction is a huge pain,
-- especially in the predefined library units.
- -- dQ needs full documentation ???
-
-- dR Bypass the check for a proper version of s-rpc being present
-- to use the -gnatz? switch. This allows debugging of the use
-- of stubs generation without needing to have GLADE (or some
-- be listed, and is useful when diagnosing circularities introduced
-- by incorrect changes to the run-time library itself.
+ -- db Output debug information from Better_Choice in Binde, which uses
+ -- various heuristics to determine elaboration order in cases where
+ -- multiple orders are valid.
+
-- dc List units as they are chosen. As units are selected for addition to
-- the elaboration order, a line of output is generated showing which
-- unit has been selected.
-- Dynamic Debug Flags --
-------------------------
- -- Sixty two flags that can be used to active 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 flags to be turned on. Documentation
- -- on the current usage of these flags is contained in the body of Debug
- -- rather than the spec, so that we don't have to recompile the world
- -- when a new debug flag is added
+ -- Flags that can be used to active 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
+ -- flags to be turned on. Documentation on the current usage of these flags
+ -- is contained in the body of Debug rather than the spec, so that we don't
+ -- have to recompile the world when a new debug flag is added.
Debug_Flag_A : Boolean := False;
Debug_Flag_B : Boolean := False;
with Nlists; use Nlists;
with Nmake; use Nmake;
with Opt; use Opt;
-with Rtsfind; use Rtsfind;
with Restrict; use Restrict;
with Rident; use Rident;
+with Rtsfind; use Rtsfind;
with Sem; use Sem;
with Sem_Ch8; use Sem_Ch8;
with Sem_Res; use Sem_Res;
-- and there is nothing else to do.
if Present (Expression (N)) then
- Rewrite (N,
- Make_Procedure_Call_Statement (Loc,
- Name => New_Occurrence_Of (RTE (RE_Raise_Exception), Loc),
- Parameter_Associations => New_List (
- Make_Attribute_Reference (Loc,
- Prefix => Name (N),
- Attribute_Name => Name_Identity),
- Expression (N))));
+
+ -- Avoid passing exception-name'identity in runtimes in which this
+ -- argument is not used. This avoids generating undefined references
+ -- to these exceptions when compiling with no optimization
+
+ if Configurable_Run_Time_On_Target
+ and then (Restriction_Active (No_Exception_Handlers)
+ or else
+ Restriction_Active (No_Exception_Propagation))
+ then
+ Rewrite (N,
+ Make_Procedure_Call_Statement (Loc,
+ Name => New_Occurrence_Of (RTE (RE_Raise_Exception), Loc),
+ Parameter_Associations => New_List (
+ New_Occurrence_Of (RTE (RE_Null_Id), Loc),
+ Expression (N))));
+ else
+ Rewrite (N,
+ Make_Procedure_Call_Statement (Loc,
+ Name => New_Occurrence_Of (RTE (RE_Raise_Exception), Loc),
+ Parameter_Associations => New_List (
+ Make_Attribute_Reference (Loc,
+ Prefix => Name (N),
+ Attribute_Name => Name_Identity),
+ Expression (N))));
+ end if;
+
Analyze (N);
return;
end if;
return;
end if;
- -- Avoid generation of temporaries for unreferenced formals
-
- -- What is going on here ??? test below is for *PRAGMA* unreferenced
- -- not for an unreferenced formal. Is this a bug fix, or simply an
- -- optimization. Needs comment fix and explanation ???
-
- if Has_Pragma_Unreferenced (F) then
- goto Continue;
- end if;
-
-- If the argument may be a controlling argument in a call within
-- the inlined body, we must preserve its classwide nature to insure
-- that dynamic dispatching take place subsequently. If the formal
Set_Renamed_Object (F, Temp);
end if;
- <<Continue>>
Next_Formal (F);
Next_Actual (A);
end loop;
RE_Exception_Message, -- Ada.Exceptions
RE_Exception_Name_Simple, -- Ada.Exceptions
RE_Exception_Occurrence, -- Ada.Exceptions
+ RE_Null_Id, -- Ada.Exceptions
RE_Null_Occurrence, -- Ada.Exceptions
RE_Poll, -- Ada.Exceptions
RE_Raise_Exception, -- Ada.Exceptions
RE_Exception_Message => Ada_Exceptions,
RE_Exception_Name_Simple => Ada_Exceptions,
RE_Exception_Occurrence => Ada_Exceptions,
+ RE_Null_Id => Ada_Exceptions,
RE_Null_Occurrence => Ada_Exceptions,
RE_Poll => Ada_Exceptions,
RE_Raise_Exception => Ada_Exceptions,
then
Add_One_Interp (N, Op_Id, Etype (Op_Id));
+ -- If the left operand is overloaded, indicate that the
+ -- current type is a viable candidate. This is redundant
+ -- in most cases, but for equality and comparison operators
+ -- where the context does not impose a type on the operands,
+ -- setting the proper type is necessary to avoid subsequent
+ -- ambiguities during resolution, when both user-defined and
+ -- predefined operators may be candidates.
+
+ if Is_Overloaded (Left_Opnd (N)) then
+ Set_Etype (Left_Opnd (N), Etype (F1));
+ end if;
+
if Debug_Flag_E then
Write_Str ("user defined operator ");
Write_Name (Chars (Op_Id));
projects / platform / upstream / linaro-gcc.git / commitdiff