[Ada] Warning for out-of-order record representation clauses
authorBob Duff <duff@adacore.com>
Tue, 20 Aug 2019 09:49:02 +0000 (09:49 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 20 Aug 2019 09:49:02 +0000 (09:49 +0000)
commit94f76dc10cdbdfcd5255b0c0cf15ab9056c0c514
treeda58597813cb45bdeb79cc8caeb9e07beb493ab9
parentafdc759841f8f4f464f3d5a2ba8e05e9a8e41d72
[Ada] Warning for out-of-order record representation clauses

The compiler can now warn for out-of-order record representation
clauses. A warning is given if the order of component declarations,
component clauses, and bit-level layout do not all agree.  The warning
is disabled by default, and may be enabled by the -gnatw_r switch.

2019-08-20  Bob Duff  <duff@adacore.com>

gcc/ada/

* sem_ch13.adb (Component_Order_Check): New procedure to check
for out-of-order clauses.
* warnsw.ads, warnsw.adb: New -gnatw_r switch.
* doc/gnat_ugn/building_executable_programs_with_gnat.rst:
Document new switch.
* gnat_ugn.texi: Regenerate.

From-SVN: r274723
gcc/ada/ChangeLog
gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
gcc/ada/gnat_ugn.texi
gcc/ada/sem_ch13.adb
gcc/ada/warnsw.adb
gcc/ada/warnsw.ads