projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d46b330) | patch
[Ada] Update the documentation in checks.ads about range checks
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 23 Jan 2020 15:40:14 +0000 (16:40 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 4 Jun 2020 09:11:02 +0000 (05:11 -0400)
commit51bc44b84aafd0bbdcd6cacfbbe2d20f5a15df6a
tree5ac5b75d114c92b502e09bc14365c6d6fe0d9b67tree
parentd46b330ddc1dc1c16e9638e144db64df7365a820commit | diff
[Ada] Update the documentation in checks.ads about range checks

2020-06-04  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* checks.ads: Update documentation about range checks and fix
minor other things.
gcc/ada/checks.ads diff | blob | history