]> gcc.gnu.org Git - gcc.git/commit
[Ada] Set_Targ: add a CodePeer annotation
authorArnaud Charlet <charlet@adacore.com>
Tue, 21 Aug 2018 14:44:51 +0000 (14:44 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 21 Aug 2018 14:44:51 +0000 (14:44 +0000)
commit83fadfd9ab43f7870d309ebb46e460cec82994a2
treeaebc9d302b274e30a35d1f32100d516d3a61fdee
parent8a2f6bbe45fe2dff64d613365fe2ddb2b1922e2f
[Ada] Set_Targ: add a CodePeer annotation

2018-08-21  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* set_targ.adb: Mark some CodePeer message as Intentional.

From-SVN: r263711
gcc/ada/ChangeLog
gcc/ada/set_targ.adb
This page took 0.054867 seconds and 5 git commands to generate.