+2011-09-05 Bob Duff <duff@adacore.com>
+
+ * sem_res.adb (Resolve_Intrinsic_Operator): Use unchecked
+ conversions instead of normal type conversions in all cases where a
+ type conversion would be illegal. In particular, use unchecked
+ conversions when the operand types are private.
+
+2011-09-05 Johannes Kanig <kanig@adacore.com>
+
+ * lib-xref-alfa.adb (Is_Alfa_Reference): Never declare effects on
+ objects of task type or protected type.
+
2011-09-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Analyze_Expression_Function): If the expression
return False;
when others =>
+
+ -- Objects of Task type or protected type are not Alfa
+ -- references.
+
+ if Present (Etype (E)) then
+ case Ekind (Etype (E)) is
+ when E_Task_Type | E_Protected_Type =>
+ return False;
+
+ when others =>
+ null;
+ end case;
+ end if;
+
return Typ = 'r' or else Typ = 'm';
+
end case;
end Is_Alfa_Reference;
return Res;
end Convert_Operand;
+ -- Start of processing for Resolve_Intrinsic_Operator
+
begin
-- We must preserve the original entity in a generic setting, so that
-- the legality of the operation can be verified in an instance.
Set_Entity (N, Op);
Set_Is_Overloaded (N, False);
- -- If the operand type is private, rewrite with suitable conversions on
- -- the operands and the result, to expose the proper underlying numeric
- -- type.
+ -- If the result or operand types are private, rewrite with unchecked
+ -- conversions on the operands and the result, to expose the proper
+ -- underlying numeric type.
- if Is_Private_Type (Typ) then
+ if Is_Private_Type (Typ)
+ or else Is_Private_Type (Etype (Left_Opnd (N)))
+ or else Is_Private_Type (Etype (Right_Opnd (N)))
+ then
Arg1 := Convert_Operand (Left_Opnd (N));
-- Unchecked_Convert_To (Btyp, Left_Opnd (N));