projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 785b1b5) | patch
[Ada] Remove CodePeer annotations for pragma Loop_Variant
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 17 Jan 2022 12:37:00 +0000 (13:37 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 9 May 2022 09:27:37 +0000 (09:27 +0000)
commit348931ea3e09cbafa0bbd4dadfb05694aef531c0
tree25eb8585fa75340c6d6d3e772531c547dafec217tree | snapshot
parent785b1b5d43be6bbbf38d8c8dc40d6d0c991cf99bcommit | diff
[Ada] Remove CodePeer annotations for pragma Loop_Variant

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.
gcc/ada/libgnat/s-expmod.adb diff | blob | history
Domain: System / Toolchain;