sem_prag.adb (Analyze_Pragma): Add appropriate calls to Resolve_Suppressible in the...
authorJustin Squirek <squirek@adacore.com>
Thu, 12 Jan 2017 13:55:59 +0000 (13:55 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 12 Jan 2017 13:55:59 +0000 (14:55 +0100)
commit00420f7430267c2df25b71edcb401e4df443ac01
tree29adc3bf91d500fb8bdbe3f98a57710b40cb5187
parent0691440320ef57149c7a4ac056696e558d215af4
sem_prag.adb (Analyze_Pragma): Add appropriate calls to Resolve_Suppressible in the pragma Assertion_Policy case.

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.

From-SVN: r244362
gcc/ada/ChangeLog
gcc/ada/sem_prag.adb
gcc/ada/snames.ads-tmpl