[Ada] Remove CodePeer annotations for pragma Loop_Variant
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 30 Dec 2021 12:15:56 +0000 (13:15 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 10 Jan 2022 09:38:45 +0000 (09:38 +0000)
commit888fb69365c64ca5dbd4815d7451c35014d264b5
tree0c8930183df29703a733e23774fe6c7f9357c5ad
parentd9c64c604083516b508fc7d20ba5c285ae60661e
[Ada] Remove CodePeer annotations for pragma Loop_Variant

gcc/ada/

* libgnat/s-exponn.adb, libgnat/s-expont.adb,
libgnat/s-exponu.adb, libgnat/s-widthi.adb,
libgnat/s-widthu.adb: Remove CodePeer annotations for pragma
Loop_Variant.
gcc/ada/libgnat/s-exponn.adb
gcc/ada/libgnat/s-expont.adb
gcc/ada/libgnat/s-exponu.adb
gcc/ada/libgnat/s-widthi.adb
gcc/ada/libgnat/s-widthu.adb