r244362 - in /trunk/gcc/ada: ChangeLog sem_prag...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Jan 12 13:55:59 2017
New Revision: 244362

URL: https://gcc.gnu.org/viewcvs?rev=244362&root=gcc&view=rev
Log:
2017-01-12  Justin Squirek  <squirek@adacore.com>

	* sem_prag.adb (Analyze_Pragma): Add appropriate calls to
	Resolve_Suppressible in the pragma Assertion_Policy case.
	(Resolve_Suppressible): Created this function to factor out
	common code used to resolve Suppress to either Ignore or Check
	* snames.ads-tmpl: Add name for Suppressible.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/snames.ads-tmpl