projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4c2607) | patch
[Ada] Add provision for floating-point in Apply_Division_Check
authorArnaud Charlet <charlet@adacore.com>
Tue, 17 Jul 2018 08:12:46 +0000 (08:12 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 17 Jul 2018 08:12:46 +0000 (08:12 +0000)
commited1707422002fb2efaa18f6abb790b0b10255c30
tree74df3b5f18025f46d22c5d9d8dbee8ffa888ff6etree
parentf4c2607769d476af4d340edea2e7c2f15266c3a1commit | diff
[Ada] Add provision for floating-point in Apply_Division_Check

2018-07-17  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* checks.adb (Apply_Division_Check): Add provision for floating-point
checks.

From-SVN: r262801
gcc/ada/ChangeLog diff | blob | history
gcc/ada/checks.adb diff | blob | history