[Ada] Fix assertion failure on pragma Compile_Time_Error in generic unit
authorEric Botcazou <ebotcazou@adacore.com>
Wed, 14 Nov 2018 11:41:53 +0000 (11:41 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 14 Nov 2018 11:41:53 +0000 (11:41 +0000)
commitbfb1147ca896f985a2268b7b6a0ba4b36394f8cc
tree805a003dcb59ae73a5739f8dce05a6af228c0cac
parentb7c34dff67750bf38d8b8d89ea44c01d8c7c5870
[Ada] Fix assertion failure on pragma Compile_Time_Error in generic unit

There is no point in validating 'Alignment or 'Size of an entity
declared in a generic unit after the back-end has been run, since such
an entity is not passed to the back-end, and this can even lead to an
assertion failure.

2018-11-14  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Don't
register a compile-time warning or error for 'Alignment or 'Size
of an entity declared in a generic unit.

gcc/testsuite/

* gnat.dg/compile_time_error1.adb,
gnat.dg/compile_time_error1.ads,
gnat.dg/compile_time_error1_pkg.ads: New testcase.

From-SVN: r266127
gcc/ada/ChangeLog
gcc/ada/sem_prag.adb
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/compile_time_error1.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/compile_time_error1.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/compile_time_error1_pkg.ads [new file with mode: 0644]