[Ada] Address potentially uninitialized variables and dead code
authorArnaud Charlet <charlet@adacore.com>
Thu, 12 Dec 2019 13:01:03 +0000 (14:01 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 2 Jun 2020 08:58:05 +0000 (04:58 -0400)
commita6b13d324fa2d83538e2c733906ced7b000209ac
treeda57150775778fc8e4b3770d2b80fd68e49c4c66
parent5c726f3e42e227fdca32289e99b815988c40481a
[Ada] Address potentially uninitialized variables and dead code

2020-06-02  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* bcheck.adb, binde.adb, bindo-diagnostics.adb, checks.adb,
exp_aggr.adb, exp_ch3.adb, exp_ch4.adb, exp_ch7.adb,
exp_ch9.adb, gnatname.adb, sem_case.adb, sem_ch13.adb,
sem_ch5.adb, sem_prag.adb, sem_util.adb, uintp.adb, urealp.adb,
xoscons.adb, xr_tabls.adb, xref_lib.adb: Initialize objects more
explicitly and add corresponding assertions. Remove dead code.
Also add a few Annotate pragmas to help static analysis.
* libgnat/a-caldel.adb, libgnat/a-calend.adb,
libgnat/a-ngcoty.adb, libgnat/a-ngelfu.adb,
libgnat/a-ngrear.adb, libgnat/a-strfix.adb,
libgnat/g-calend.adb, libgnat/g-catiio.adb,
libgnat/g-comlin.adb, libgnat/g-debpoo.adb,
libgnat/g-dirope.adb, libgnat/g-hesorg.adb,
libgnat/g-pehage.adb, libgnat/g-socket.adb, libgnat/i-cobol.adb,
libgnat/s-dwalin.adb, libgnat/s-dwalin.ads,
libgnat/s-fatgen.adb, libgnat/s-gearop.adb,
libgnat/s-genbig.adb, libgnat/s-imgrea.adb,
libgnat/s-os_lib.adb, libgnat/s-rannum.adb,
libgnat/s-regpat.adb, libgnat/s-trasym__dwarf.adb,
libgnat/s-valrea.adb: Ditto.
46 files changed:
gcc/ada/bcheck.adb
gcc/ada/binde.adb
gcc/ada/bindo-diagnostics.adb
gcc/ada/checks.adb
gcc/ada/exp_aggr.adb
gcc/ada/exp_ch3.adb
gcc/ada/exp_ch4.adb
gcc/ada/exp_ch7.adb
gcc/ada/exp_ch9.adb
gcc/ada/gnatname.adb
gcc/ada/libgnat/a-caldel.adb
gcc/ada/libgnat/a-calend.adb
gcc/ada/libgnat/a-ngcoty.adb
gcc/ada/libgnat/a-ngelfu.adb
gcc/ada/libgnat/a-ngrear.adb
gcc/ada/libgnat/a-strfix.adb
gcc/ada/libgnat/g-calend.adb
gcc/ada/libgnat/g-catiio.adb
gcc/ada/libgnat/g-comlin.adb
gcc/ada/libgnat/g-debpoo.adb
gcc/ada/libgnat/g-dirope.adb
gcc/ada/libgnat/g-hesorg.adb
gcc/ada/libgnat/g-pehage.adb
gcc/ada/libgnat/g-socket.adb
gcc/ada/libgnat/i-cobol.adb
gcc/ada/libgnat/s-dwalin.adb
gcc/ada/libgnat/s-dwalin.ads
gcc/ada/libgnat/s-fatgen.adb
gcc/ada/libgnat/s-gearop.adb
gcc/ada/libgnat/s-genbig.adb
gcc/ada/libgnat/s-imgrea.adb
gcc/ada/libgnat/s-os_lib.adb
gcc/ada/libgnat/s-rannum.adb
gcc/ada/libgnat/s-regpat.adb
gcc/ada/libgnat/s-trasym__dwarf.adb
gcc/ada/libgnat/s-valrea.adb
gcc/ada/sem_case.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_ch5.adb
gcc/ada/sem_prag.adb
gcc/ada/sem_util.adb
gcc/ada/uintp.adb
gcc/ada/urealp.adb
gcc/ada/xoscons.adb
gcc/ada/xr_tabls.adb
gcc/ada/xref_lib.adb