diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-26 14:49:56 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-26 14:49:56 +0100 |
| commit | 65564d08a267dbc7f56c069161b7cd44ffe84164 (patch) | |
| tree | 1b33af4080c74c8a3723bc10f6095775be68c37a /gcc/tree-eh.c | |
| parent | 2b054f631a94b4af133e564f9995473aaabd4911 (diff) | |
| download | gcc-65564d08a267dbc7f56c069161b7cd44ffe84164.zip gcc-65564d08a267dbc7f56c069161b7cd44ffe84164.tar.gz gcc-65564d08a267dbc7f56c069161b7cd44ffe84164.tar.bz2 | |
[multiple changes]
2010-01-26 Robert Dewar <dewar@adacore.com>
* par_sco.adb (Traverse_Declarations_Or_Statements): Only generate
decisions for pragmas Assert, Check, Precondition, Postcondition if
-gnata set.
* scos.ads: Update comments.
* get_scos.adb, put_scos.adb: Minor fix to code reading statement SCOs.
Also remove obsolete code for CT (exit point) SCOs.
2010-01-26 Thomas Quinot <quinot@adacore.com>
* switch-c.adb: Fix handling of -gnatz*
From-SVN: r156247
Diffstat (limited to 'gcc/tree-eh.c')
0 files changed, 0 insertions, 0 deletions