r266127 - in /trunk/gcc: ada/ChangeLog ada/sem_...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Wed Nov 14 11:41:53 2018
New Revision: 266127

URL: https://gcc.gnu.org/viewcvs?rev=266127&root=gcc&view=rev
Log:
[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.

Added:
    trunk/gcc/testsuite/gnat.dg/compile_time_error1.adb
    trunk/gcc/testsuite/gnat.dg/compile_time_error1.ads
    trunk/gcc/testsuite/gnat.dg/compile_time_error1_pkg.ads
Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/testsuite/ChangeLog