[Ada] Object_Size clause specifying 0 bits is illegal
authorBob Duff <duff@adacore.com>
Tue, 20 Aug 2019 09:48:57 +0000 (09:48 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 20 Aug 2019 09:48:57 +0000 (09:48 +0000)
commitafdc759841f8f4f464f3d5a2ba8e05e9a8e41d72
treed6b32bef1abb656d0d22855f4f90e9ff53a386f3
parent6cd8f5b09415ec799f797e5b521afd18552cd747
[Ada] Object_Size clause specifying 0 bits is illegal

The patch gives an error message on "for T'Object_Size use 0;".

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

gcc/ada/

* sem_ch13.adb (Object_Size): Give an error for zero. It really
rubs me the wrong way that we don't honor "for T'Object_Size use
0;", but it's not important enough to fix. In any case, if we're
not going to obey the clause, we should give an error.

gcc/testsuite/

* gnat.dg/object_size1.adb: New testcase.

From-SVN: r274722
gcc/ada/ChangeLog
gcc/ada/sem_ch13.adb
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/object_size1.adb [new file with mode: 0644]