diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-01-26 13:49:56 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-01-26 13:49:56 +0000 |
| commit | a34480d83b68142f300347d89d233f971438cf5d (patch) | |
| tree | 1b33af4080c74c8a3723bc10f6095775be68c37a /gcc/limitx.h | |
| parent | dbf923fe73ba5bc0a88ad1b4be42709a71460d19 (diff) | |
| download | gcc-a34480d83b68142f300347d89d233f971438cf5d.tar.gz | |
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*
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@156247 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/limitx.h')
0 files changed, 0 insertions, 0 deletions