mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 19:51:34 +08:00
Code Issues Packages Projects Releases Wiki Activity

ada: Add Codepeer Exemption + simplify TO_C code.

Browse Source 
This patch simplify the TO_C code to have a single branch for
raising exception. Furthermore, adding pragma annotate for codepeer
to ignore uninitialized value since this is caused because we have
input check before the initialization.

gcc/ada/

	* libgnat/i-c.adb (To_C): Simplify code for having a single
	exception raise. Add pragma annotate about uninitialized value
	which happen only on exception raising.
This commit is contained in:
Liaiss Merzougue 2021-04-02 09:29:03 +00:00 committed by Marc Poulhiès
parent ed34c3bc34
commit c690f116b6
1 changed files with 6 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
gcc/ada/libgnat/i-c.adb
View File

@ -186,7 +186,7 @@ is
(Item : char_array;
Trim_Nul : Boolean := True) return String
is
Count : Natural;
Count : Natural := 0;
From : size_t;
begin
@ -1177,7 +1177,7 @@ is
To : size_t;
begin
if Target'Length < Item'Length then
if Target'Length < Item'Length + (if Append_Nul then 1 else 0) then
raise Constraint_Error;
else
@ -1210,17 +1210,14 @@ is
Target'First + (Item'Length - 1))'Initialized);
if Append_Nul then
if To > Target'Last then
raise Constraint_Error;
else
Target (To) := char32_nul;
Count := Item'Length + 1;
end if;
Target (To) := char32_nul;
Count := Item'Length + 1;
else
Count := Item'Length;
end if;
end if;
end To_C;
pragma Annotate (CodePeer, False_Positive, "validity check",
"Count is only uninitialized on abnormal return.");
end Interfaces.C;