projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2f7fa0) | patch
[Ada] Silence spurious warning on instances of formal vectors
authorClaire Dross <dross@adacore.com>
Mon, 10 Feb 2020 13:51:30 +0000 (14:51 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 8 Jun 2020 07:50:55 +0000 (03:50 -0400)
commitae9293fb8e1895006ce33069eaabdecfe65c46a2
tree5021f4f07b780feffbba7e4adeb088db1f75fffftree
parentd2f7fa08bd557db89d771b648631bb98c61a631ecommit | diff
[Ada] Silence spurious warning on instances of formal vectors

2020-06-08  Claire Dross  <dross@adacore.com>

gcc/ada/

* libgnat/a-cofove.adb (Insert_Space): The computation of Index
generates a spurious compiler warning about a value not being in
range for a statically dead branch.  Silence it using pragma
Warnings.
gcc/ada/libgnat/a-cofove.adb diff | blob | history