diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-20 16:01:22 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-20 16:01:22 +0000 |
| commit | 4098232ed6ac89172843992091748d4a8f15c309 (patch) | |
| tree | d8ec142379c7b7924fd770f6a516efecf89fcc58 /gcc/ada/frontend.adb | |
| parent | 03218544c6690f785a9e321072b7c28b23f07c26 (diff) | |
| download | gcc-4098232ed6ac89172843992091748d4a8f15c309.tar.gz | |
2014-01-20 Robert Dewar <dewar@adacore.com>
* checks.adb: Make warnings on exceptions into errors in GNATprove mode.
* errout.adb: Implement [ and ] insertion characters.
* errout.ads: Document new [ and ] insertion characters.
* sem_ch12.adb, restrict.adb, frontend.adb, exp_ch7.adb: Minor
addition of ??? comment.
* lib-xref.adb, exp_util.adb, gnat1drv.adb: Minor reformatting
* exp_ch4.adb, sem_ch3.adb, sem_ch4.adb, sem_ch6.adb, sem_elab.adb,
sem_eval.adb, sem_res.adb, sem_util.adb, sem_attr.adb, sem_aggr.adb:
Make warnings on exceptions into errors in GNATprove mode.
* sem_dim.adb: Minor reformatting throughout Quote [ and ]
in error messages.
2014-01-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb: Code clean up.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206841 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/frontend.adb')
| -rw-r--r-- | gcc/ada/frontend.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb index 2d5c36f0119..20a92f47980 100644 --- a/gcc/ada/frontend.adb +++ b/gcc/ada/frontend.adb @@ -360,6 +360,8 @@ begin -- Cleanup processing after completing main analysis + -- Comment needed for ASIS mode test and GNATprove mode test??? + if Operating_Mode = Generate_Code or else (Operating_Mode = Check_Semantics and then (ASIS_Mode or GNATprove_Mode)) |