decl.c (gnat_to_gnu_field): Emit a specialized diagnostic for component size mismatch...
authorOlivier Hainque <hainque@adacore.com>
Sun, 6 Jan 2013 12:28:58 +0000 (12:28 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Sun, 6 Jan 2013 12:28:58 +0000 (12:28 +0000)
commitbd95368b59b752fab5d2a192f3506eeff6697bd7
tree2d64b18f1ebad87954e69ec71a06bef9b16fe446
parenta43abae8d3f70c6bb13382a4d3793e0073842674
decl.c (gnat_to_gnu_field): Emit a specialized diagnostic for component size mismatch wrt volatile requirements.

* gcc-interface/decl.c (gnat_to_gnu_field): Emit a specialized
diagnostic for component size mismatch wrt volatile requirements.
Add a gcc_unreachable() at the end of the checks for size.  Split
the check on volatile for positions into one check on atomic and
a subsequent one on volatile.

From-SVN: r194946
gcc/ada/ChangeLog
gcc/ada/gcc-interface/decl.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/specs/clause_on_volatile.ads [new file with mode: 0644]