projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0691440) | patch
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
tree29adc3bf91d500fb8bdbe3f98a57710b40cb5187tree
parent0691440320ef57149c7a4ac056696e558d215af4commit | diff
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 diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history
gcc/ada/snames.ads-tmpl diff | blob | history