projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b77c24b) | patch
[Ada] Fix various defects found by static analysis
authorArnaud Charlet <charlet@adacore.com>
Wed, 23 May 2018 10:23:39 +0000 (10:23 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 23 May 2018 10:23:39 +0000 (10:23 +0000)
commitbc3fb397fd7be2935d9122bb9d1972e701aae83f
tree5e22590fe5c4ffbabc4052c17d307c92dc259e36tree
parentb77c24b8c0e484181de399ac7c46f2749add582dcommit | diff
[Ada] Fix various defects found by static analysis

2018-05-23  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* checks.adb (Minimize_Eliminate_Overflows): Default initialize Lo and
Hi.
* sem_elab.adb: Make "out" parameters instead of "in out" when
relevant.

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