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

[Ada] Remove CodePeer annotations for pragma Loop_Variant

Browse source 
Pragma Loop_Variant is now expanded into a null statement in CodePeer
mode. Remove annotation related to false positives in runtime units.

gcc/ada/

	* libgnat/s-expmod.adb: Remove CodePeer annotation for pragma
	Loop_Variant.
This commit is contained in:
Piotr Trojanek 2022-01-17 13:37:00 +01:00 • committed by Pierre-Marie de Rodat
parent 785b1b5d43
commit 348931ea3e
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
gcc/ada/libgnat/s-expmod.adb
View file

@ -251,9 +251,6 @@ is
pragma Loop_Invariant (Equal_Modulo
(Big (Result) * Big (Factor) ** Exp, Big (Left) ** Right));
pragma Loop_Variant (Decreases => Exp);
pragma Annotate
(CodePeer, False_Positive,
"validity check", "confusion on generated code");
if Exp rem 2 /= 0 then
pragma Assert