diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-12-05 12:21:32 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-12-05 12:21:32 +0100 |
| commit | 1c66c4f5b7fdc525eb4ebeea1dc3806fd98a4609 (patch) | |
| tree | c8503545c9acec5c331a2ce08b95dbe7d391687e /gcc/function.h | |
| parent | c116143c22e88b7acd0ec5a1e5f9707758875bb9 (diff) | |
| download | gcc-1c66c4f5b7fdc525eb4ebeea1dc3806fd98a4609.zip gcc-1c66c4f5b7fdc525eb4ebeea1dc3806fd98a4609.tar.gz gcc-1c66c4f5b7fdc525eb4ebeea1dc3806fd98a4609.tar.bz2 | |
[multiple changes]
2012-12-05 Thomas Quinot <quinot@adacore.com>
* par_sco.adb (Traverse_Aspects): Ensure we always have
an entry in the sloc -> SCO map for invariants, since
Set_SCO_Pragma_Enabled is called with that sloc when checks
are enabled.
2012-12-05 Thomas Quinot <quinot@adacore.com>
* exp_ch4.adb: Minor reformatting.
2012-12-05 Hristian Kirtchev <kirtchev@adacore.com>
* par-prag.adb: Checks and processing of pragma Assume are
carried out by Sem_Prag.
* sem_prag.adb (Analyze_Pragma): Check the legality of pragma
Assume.
* snames.ads-tmpl: Add new name Assume. Add a pragma identifier
for Assume.
From-SVN: r194215
Diffstat (limited to 'gcc/function.h')
0 files changed, 0 insertions, 0 deletions