FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

ada: Remove GNATcheck violations

Browse source 
Remove GNATcheck violations by refactoring code and also using
pragma Annotate to exempt them.

gcc/ada/

	* libgnat/a-comlin.adb (Argument_Count): Rewrite code so there is
	only one return, to remove Improper_Returns violation.
	(Command_Name): Add pragma to exempt Improper_Returns violation.
This commit is contained in:
Sheri Bernstein 2023-12-01 01:14:22 +00:00 • committed by Marc Poulhiès
parent 23508d3dc6
commit 8ce9496f0e
1 changed files with 8 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
gcc/ada/libgnat/a-comlin.adb
View file

@ -77,16 +77,11 @@ package body Ada.Command_Line is
function Argument_Count return Natural is
begin
if not Initialized then
-- RM A.15 (11)
return 0;
end if;
if Remove_Args = null then
return Arg_Count - 1;
else
return Remove_Count;
end if;
return
(if not Initialized then 0 -- RM A.15 (11)
elsif Remove_Args = null then Arg_Count - 1
else Remove_Count
);
end Argument_Count;
-----------------
@ -107,6 +102,8 @@ package body Ada.Command_Line is
function Command_Name return String is
begin
pragma Annotate (Gnatcheck, Exempt_On, "Improper_Returns",
"early returns for performance");
if not Initialized then
return "";
end if;
@ -118,6 +115,7 @@ package body Ada.Command_Line is
Fill_Arg (Arg'Address, 0);
return Arg;
end;
pragma Annotate (Gnatcheck, Exempt_Off, "Improper_Returns");
end Command_Name;
end Ada.Command_Line;