Commit c2b2b2d7 by Robert Dewar Committed by Arnaud Charlet

exp_ch4.adb: Minor rewording.

2015-05-22  Robert Dewar  <dewar@adacore.com>

	* exp_ch4.adb: Minor rewording.
	* exp_util.ads: Clarify that Find_Prim_Op is only for
	tagged types.

From-SVN: r223539
parent b502ba3c
2015-05-22 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb: Minor rewording.
* exp_util.ads: Clarify that Find_Prim_Op is only for
tagged types.
2015-05-22 Robert Dewar <dewar@adacore.com>
* atree.adb, atree.ads, treepr.adb: Change name Needs_Actuals_Check to
Check_Actuals.
* exp_ch4.adb (Expand_N_Op_Expon): Optimize 2**x in modular
......
......@@ -7662,7 +7662,7 @@ package body Exp_Ch4 is
if Is_Integer_Type (Rtyp)
-- The base value must be safe, compile-time known, and exactly 2
-- The base value must be "safe compile-time known", and exactly 2
and then Nkind (Base) = N_Integer_Literal
and then CRT_Safe_Compile_Time_Known_Value (Base)
......@@ -7674,7 +7674,7 @@ package body Exp_Ch4 is
and then Esize (Root_Type (Exptyp)) <= Esize (Standard_Integer)
-- This transformation is not applicable for a modular type with a
-- nonbinary modulus because we do not handle modular reduction in
-- non-binary modulus because we do not handle modular reduction in
-- a correct manner if we attempt this transformation in this case.
and then not Non_Binary_Modulus (Typ)
......
......@@ -468,13 +468,12 @@ package Exp_Util is
-- return the record component containing the tag of Iface.
function Find_Prim_Op (T : Entity_Id; Name : Name_Id) return Entity_Id;
-- Find the first primitive operation of type T whose name is 'Name'.
-- Find the first primitive operation of a tagged type T with name Name.
-- This function allows the use of a primitive operation which is not
-- directly visible. If T is a class wide type, then the reference is
-- to an operation of the corresponding root type. Raises Program_Error
-- exception if no primitive operation is found. This is normally an
-- internal error, but in some cases is an expected consequence of
-- illegalities elsewhere.
-- directly visible. If T is a class wide type, then the reference is to an
-- operation of the corresponding root type. Raises Program_Error exception
-- if no primitive operation is found. This is normally an internal error,
-- but in some cases is an expected consequence of illegalities elsewhere.
function Find_Prim_Op
(T : Entity_Id;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment