aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/adaint.c
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2020-01-23 16:40:14 +0100
committerPierre-Marie de Rodat <derodat@adacore.com>2020-06-04 05:11:02 -0400
commit51bc44b84aafd0bbdcd6cacfbbe2d20f5a15df6a (patch)
tree5ac5b75d114c92b502e09bc14365c6d6fe0d9b67 /gcc/ada/adaint.c
parentd46b330ddc1dc1c16e9638e144db64df7365a820 (diff)
downloadgcc-51bc44b84aafd0bbdcd6cacfbbe2d20f5a15df6a.zip
gcc-51bc44b84aafd0bbdcd6cacfbbe2d20f5a15df6a.tar.gz
gcc-51bc44b84aafd0bbdcd6cacfbbe2d20f5a15df6a.tar.bz2
[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.
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions