r274466 - in /trunk/gcc/ada: ChangeLog gnat1drv...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Wed Aug 14 09:52:20 2019
New Revision: 274466

URL: https://gcc.gnu.org/viewcvs?rev=274466&root=gcc&view=rev
Log:
[Ada] Defer processing of unknown CTW/E conditions to the back end

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

gcc/ada/

	* sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Defer
	processing to the back end in all cases where the pragma's
	condition is not known at compile time during the front end
	(except in generics), as opposed to detecting 'Size attributes
	and the like. This ensures that we take advantage of whatever
	can be compile-time known after running the back end, as opposed
	to having the front end guess what the back end can do.  Remove
	a little duplicated code at the call site.
	* gnat1drv.adb (Post_Compilation_Validation_Checks): Unlock the
	Elists while in Validate_Compile_Time_Warning_Errors, because it
	does analysis and name resolution, which sometimes involves
	adding Elists.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gnat1drv.adb
    trunk/gcc/ada/sem_prag.adb