OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Replace a question mark comment with assertion

Browse Source 
gcc/ada/

	* lib.adb (Remove_Unit): Replace defensive code with an
	assertion.
	* par-load.adb (Load): Address a question mark in the comment.
This commit is contained in:
Piotr Trojanek 2021-05-11 14:11:12 +02:00 committed by Pierre-Marie de Rodat
parent ddbe7338f1
commit b1c4989d17
2 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ada/lib.adb
View File

@ -1174,10 +1174,9 @@ package body Lib is
procedure Remove_Unit (U : Unit_Number_Type) is
begin
if U = Units.Last then
Unit_Names.Set (Unit_Name (U), No_Unit);
Units.Decrement_Last;
end if;
pragma Assert (U = Units.Last);
Unit_Names.Set (Unit_Name (U), No_Unit);
Units.Decrement_Last;
end Remove_Unit;
----------------------------------

3
gcc/ada/par-load.adb
View File

@ -234,8 +234,7 @@ begin
Error_Msg ("\\found unit $!", Loc);
end if;
-- In both cases, remove the unit if it is the last unit (which it
-- normally (always?) will be) so that it is out of the way later.
-- In both cases, remove the unit so that it is out of the way later
Remove_Unit (Cur_Unum);
end if;