Commit 2da8c8e2 by Gary Dismukes Committed by Arnaud Charlet

sem_prag.adb, [...]: Minor reformatting and typo fixes.

2017-04-25  Gary Dismukes  <dismukes@adacore.com>

	* sem_prag.adb, sem_warn.adb, sem_eval.adb: Minor reformatting and
	typo fixes.

From-SVN: r247225
parent 634a926b
2017-04-25 Gary Dismukes <dismukes@adacore.com>
* sem_prag.adb, sem_warn.adb, sem_eval.adb: Minor reformatting and
typo fixes.
2017-04-25 Hristian Kirtchev <kirtchev@adacore.com> 2017-04-25 Hristian Kirtchev <kirtchev@adacore.com>
* comperr.adb (Compiler_Abort): Add a pair of pragma Warnings * comperr.adb (Compiler_Abort): Add a pair of pragma Warnings
......
...@@ -494,7 +494,7 @@ package body Sem_Eval is ...@@ -494,7 +494,7 @@ package body Sem_Eval is
-- to gigi. The frontend computes the information about which -- to gigi. The frontend computes the information about which
-- expressions are static, which is used by gnat2why to call -- expressions are static, which is used by gnat2why to call
-- Check_Non_Static_Context on exactly those real literals that are -- Check_Non_Static_Context on exactly those real literals that are
-- not sub-expressions of static expressions. -- not subexpressions of static expressions.
if Nkind (N) = N_Real_Literal if Nkind (N) = N_Real_Literal
and then not Is_Machine_Number (N) and then not Is_Machine_Number (N)
...@@ -3159,7 +3159,7 @@ package body Sem_Eval is ...@@ -3159,7 +3159,7 @@ package body Sem_Eval is
-- of the required form, Ent is set to Empty. -- of the required form, Ent is set to Empty.
-- --
-- Orig indicates whether Expr is the original expression to consider, -- Orig indicates whether Expr is the original expression to consider,
-- or if we are handling a sub-expression (e.g. recursive call to -- or if we are handling a subexpression (e.g. recursive call to
-- Decompose_Expr). -- Decompose_Expr).
procedure Fold_General_Op (Is_Static : Boolean); procedure Fold_General_Op (Is_Static : Boolean);
...@@ -3444,9 +3444,9 @@ package body Sem_Eval is ...@@ -3444,9 +3444,9 @@ package body Sem_Eval is
begin begin
-- One special case to deal with first. If we can tell that the result -- One special case to deal with first. If we can tell that the result
-- will be false because the lengths of one or more index subtypes are -- will be false because the lengths of one or more index subtypes are
-- compile time known and different, then we can replace the entire -- compile-time known and different, then we can replace the entire
-- result by False. We only do this for one dimensional arrays, because -- result by False. We only do this for one-dimensional arrays, because
-- the case of multi-dimensional arrays is rare and too much trouble. If -- the case of multidimensional arrays is rare and too much trouble. If
-- one of the operands is an illegal aggregate, its type might still be -- one of the operands is an illegal aggregate, its type might still be
-- an arbitrary composite type, so nothing to do. -- an arbitrary composite type, so nothing to do.
...@@ -6068,7 +6068,7 @@ package body Sem_Eval is ...@@ -6068,7 +6068,7 @@ package body Sem_Eval is
Orig_Op : constant Node_Id := Original_Node (Op); Orig_Op : constant Node_Id := Original_Node (Op);
procedure Replacement_Warning (Msg : String); procedure Replacement_Warning (Msg : String);
-- Emit a warning on a comparison which can be replaced by '=' -- Emit a warning on a comparison that can be replaced by '='
------------------------- -------------------------
-- Replacement_Warning -- -- Replacement_Warning --
......
...@@ -3998,8 +3998,8 @@ package body Sem_Prag is ...@@ -3998,8 +3998,8 @@ package body Sem_Prag is
procedure Set_Ravenscar_Profile (Profile : Profile_Name; N : Node_Id); procedure Set_Ravenscar_Profile (Profile : Profile_Name; N : Node_Id);
-- Activate the set of configuration pragmas and restrictions that make -- Activate the set of configuration pragmas and restrictions that make
-- up the Profile. Profile must be either GNAT_Extended_Ravencar, -- up the Profile. Profile must be either GNAT_Extended_Ravenscar,
-- GNAT_Ravenscar_EDF or Ravenscar. N is the corresponding pragma node, -- GNAT_Ravenscar_EDF, or Ravenscar. N is the corresponding pragma node,
-- which is used for error messages on any constructs violating the -- which is used for error messages on any constructs violating the
-- profile. -- profile.
...@@ -3274,7 +3274,7 @@ package body Sem_Warn is ...@@ -3274,7 +3274,7 @@ package body Sem_Warn is
-- Determine the potential outcome of the comparison assuming that the -- Determine the potential outcome of the comparison assuming that the
-- operands are valid. Do not consider instances because the check was -- operands are valid. Do not consider instances because the check was
-- already performed in the generic. Do not consider comparison between -- already performed in the generic. Do not consider comparison between
-- an attribute reference and a compile time known value since this is -- an attribute reference and a compile-time known value since this is
-- most likely a conditional compilation. Do not consider internal files -- most likely a conditional compilation. Do not consider internal files
-- in order to allow for various assertions and safeguards within our -- in order to allow for various assertions and safeguards within our
-- runtime. -- runtime.
......
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