diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-12-05 12:15:35 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-12-05 12:15:35 +0100 |
| commit | 06ad40d3ec3ec2333701f18f6dc6bbf0b9a023ec (patch) | |
| tree | c11a325254c0fff96f54a201f14e401c959ece35 /gcc/function.h | |
| parent | af31bd57502fd7fef4891658c74cb5fdb3c160e4 (diff) | |
| download | gcc-06ad40d3ec3ec2333701f18f6dc6bbf0b9a023ec.zip gcc-06ad40d3ec3ec2333701f18f6dc6bbf0b9a023ec.tar.gz gcc-06ad40d3ec3ec2333701f18f6dc6bbf0b9a023ec.tar.bz2 | |
[multiple changes]
2012-12-05 Thomas Quinot <quinot@adacore.com>
* par_sco.adb, scos.ads, put_scos.adb, put_scos.ads,
get_scos.adb: Generation of SCOs for aspects.
2012-12-05 Thomas Quinot <quinot@adacore.com>
* sem_prag.adb (Check_Precondition_Postcondition): Remove
redundant call to Set_SCO_Pragma_Enabled (the pragma will be
rewritten into a pragma Check later on, and the call will be
made when processing the rewritten pragma).
(Analyze_Pragma, case Pragma_Check): Omit call to
Set_SCO_Pragma_Enabled if Split_PPC is set.
2012-12-05 Olivier Hainque <hainque@adacore.com>
* tracebak.c: Add partial support for Lynx178.
2012-12-05 Hristian Kirtchev <kirtchev@adacore.com>
* sem_attr.adb (Analyze_Attribute): Improve
the error message related to loop assertions.
2012-12-05 Gary Dismukes <dismukes@adacore.com>
* atree.ads: Minor reformatting.
From-SVN: r194211
Diffstat (limited to 'gcc/function.h')
0 files changed, 0 insertions, 0 deletions