Commit 641d3093 by Thomas Quinot Committed by Arnaud Charlet

exp_aggr.adb: Add ??? comment Fix typo

2008-05-27  Thomas Quinot  <quinot@adacore.com>

	* exp_aggr.adb: Add ??? comment
	Fix typo

From-SVN: r135997
parent a573518c
...@@ -4041,7 +4041,7 @@ package body Exp_Aggr is ...@@ -4041,7 +4041,7 @@ package body Exp_Aggr is
-- Aggr_Lo <= Aggr_Hi and then -- Aggr_Lo <= Aggr_Hi and then
-- (Aggr_Lo < Ind_Lo or else Aggr_Hi > Ind_Hi)] -- (Aggr_Lo < Ind_Lo or else Aggr_Hi > Ind_Hi)]
-- As an optimization try to see if some tests are trivially vacuos -- As an optimization try to see if some tests are trivially vacuous
-- because we are comparing an expression against itself. -- because we are comparing an expression against itself.
if Aggr_Lo = Ind_Lo and then Aggr_Hi = Ind_Hi then if Aggr_Lo = Ind_Lo and then Aggr_Hi = Ind_Hi then
...@@ -4672,6 +4672,8 @@ package body Exp_Aggr is ...@@ -4672,6 +4672,8 @@ package body Exp_Aggr is
Make_Raise_Constraint_Error (Loc, Make_Raise_Constraint_Error (Loc,
Condition => Cond, Condition => Cond,
Reason => CE_Length_Check_Failed)); Reason => CE_Length_Check_Failed));
-- Questionable reason code, shouldn't that be a
-- CE_Range_Check_Failed ???
end if; end if;
-- Now look inside the sub-aggregate to see if there is more work -- Now look inside the sub-aggregate to see if there is more work
......
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