[Ada] New warning on not fully initialized box aggregate
authorArnaud Charlet <charlet@adacore.com>
Thu, 16 Jul 2020 16:38:10 +0000 (12:38 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 20 Oct 2020 07:21:41 +0000 (03:21 -0400)
commit66b69678563a18c87985456c797b397676094ff0
tree83e52c300516a117442a7be1c8e5b18940f69ba0
parent6af3576f431fa716c3a88197355cf1f5ee682ae2
[Ada] New warning on not fully initialized box aggregate

gcc/ada/

* sem_aggr.adb (Resolve_Aggregate): Warn on not fully
initialized box aggregate.
* sem_aggr.ads: Fix typo.
* sem_res.adb (Resolve_Actuals): Fix typo in error message
format marking it incorrectly as a continuation message.
* sem_elab.adb (Check_Internal_Call_Continue): Similarly, add
missing primary message in case of a call to an actual generic
subprogram.
* sem_warn.adb (Check_References): Do not warn on read but never
assigned variables if the type is partially initialized.
* libgnat/a-except.ads, libgnat/a-ststun.ads,
libgnat/g-sechas.ads, libgnat/a-cbdlli.ads,
libgnat/a-cfdlli.ads, libgnat/a-cobove.ads,
libgnat/a-cohata.ads, libgnat/a-crbltr.ads,
libgnat/a-cbmutr.ads, libgnat/a-crdlli.ads,
libgnat/a-cbsyqu.ads: Address new warning.
* doc/gnat_ugn/building_executable_programs_with_gnat.rst:
Update doc on -gnatwv.
* gnat_ugn.texi: Regenerate.

gcc/testsuite/

* gnat.dg/opt11.adb: Add new expected warning.
19 files changed:
gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
gcc/ada/gnat_ugn.texi
gcc/ada/libgnat/a-cbdlli.ads
gcc/ada/libgnat/a-cbmutr.ads
gcc/ada/libgnat/a-cbsyqu.ads
gcc/ada/libgnat/a-cfdlli.ads
gcc/ada/libgnat/a-cobove.ads
gcc/ada/libgnat/a-cohata.ads
gcc/ada/libgnat/a-crbltr.ads
gcc/ada/libgnat/a-crdlli.ads
gcc/ada/libgnat/a-except.ads
gcc/ada/libgnat/a-ststun.ads
gcc/ada/libgnat/g-sechas.ads
gcc/ada/sem_aggr.adb
gcc/ada/sem_aggr.ads
gcc/ada/sem_elab.adb
gcc/ada/sem_res.adb
gcc/ada/sem_warn.adb
gcc/testsuite/gnat.dg/opt11.adb