]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9464ed9) | patch
[Ada] Vxlink: kill a CodePeer warning
authorJerome Lambourg <lambourg@adacore.com>
Wed, 26 Sep 2018 09:13:03 +0000 (09:13 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 26 Sep 2018 09:13:03 +0000 (09:13 +0000)
commit539866048e546c696afbb49d4366fe6477f50130
treec032597a7981ede12903506bf3b574c45c270ed0tree
parent9464ed971f63a98ecbd07a4cdb69c1624a33b4dbcommit | diff
[Ada] Vxlink: kill a CodePeer warning

2018-09-26  Jerome Lambourg  <lambourg@adacore.com>

gcc/ada/

* vxlink.adb: Kill a CodePeer warning.

From-SVN: r264597
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/vxlink.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git