diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-20 17:01:22 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-20 17:01:22 +0100 |
| commit | 4a28b181a6164561a56bf02dfa1fd568e3d0ec5b (patch) | |
| tree | d8ec142379c7b7924fd770f6a516efecf89fcc58 /gcc/ada/lib-xref.adb | |
| parent | 9e540e3750db65b21ed5f6883176a984f5ab451e (diff) | |
| download | gcc-4a28b181a6164561a56bf02dfa1fd568e3d0ec5b.zip gcc-4a28b181a6164561a56bf02dfa1fd568e3d0ec5b.tar.gz gcc-4a28b181a6164561a56bf02dfa1fd568e3d0ec5b.tar.bz2 | |
[multiple changes]
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.
From-SVN: r206841
Diffstat (limited to 'gcc/ada/lib-xref.adb')
| -rw-r--r-- | gcc/ada/lib-xref.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb index 4cf52c9..14462ce 100644 --- a/gcc/ada/lib-xref.adb +++ b/gcc/ada/lib-xref.adb @@ -645,8 +645,8 @@ package body Lib.Xref is or else (GNATprove_Mode - and then In_Extended_Main_Code_Unit (N) - and then (Typ = 'm' or else Typ = 'r' or else Typ = 's')) + and then In_Extended_Main_Code_Unit (N) + and then (Typ = 'm' or else Typ = 'r' or else Typ = 's')) then null; else @@ -1015,6 +1015,8 @@ package body Lib.Xref is Actual_Typ := 'P'; end if; + -- Comment needed here for special SPARK code ??? + if GNATprove_Mode then Ref := Sloc (Nod); Def := Sloc (Ent); |