diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-07 11:40:16 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-07 11:40:16 +0200 |
| commit | 1155ae01593b0b84cddf5031b7a85d684fe0dd0d (patch) | |
| tree | 317aae64851186240dd41fa497b899b1e385b800 /gcc/ada/lib-xref.adb | |
| parent | 0691ed6bd62582c22a33c42aa8f5303815a032af (diff) | |
| download | gcc-1155ae01593b0b84cddf5031b7a85d684fe0dd0d.zip gcc-1155ae01593b0b84cddf5031b7a85d684fe0dd0d.tar.gz gcc-1155ae01593b0b84cddf5031b7a85d684fe0dd0d.tar.bz2 | |
[multiple changes]
2017-09-07 Arnaud Charlet <charlet@adacore.com>
* sem_prag.adb (Find_Role): The Global_Seen flag
is now consulted not only for abstract states and variables,
but for all kinds of items.
(Collect_Subprogram_Inputs_Outputs): Do not process formal
generic parameters, because unlike ordinary formal parameters,
generic formals only act as input/ outputs if they are explicitly
mentioned in a Global contract.
2017-09-07 Yannick Moy <moy@adacore.com>
* ghost.adb (Check_Ghost_Context): Do not err on ghost code inside
predicate procedure. Check predicate pragma/aspect with Ghost entity.
* exp_ch6.adb, par-ch6.adb, sem_ch13.adb, sem_prag.adb; Minor
reformatting.
2017-09-07 Ed Schonberg <schonberg@adacore.com>
* sem_aggr.adb: Move New_Copy_Tree_And_Dimensions to sem_dim
(code cleanup);
* sem_ch3.adb (Build_Derived_Record_Type):i Call
Copy_Dimensions_Of_Components after creating the copy of the
record declaration.
* sem_dim.ads, sem_dim.adb (Copy_Dimensions_Of_Components): For a
derived recor type, copy the dikensions if any of each component
of the parent record to the corresponding component declarations
of the derived record. These expressions are used among other
things as default values in aggregates with box associations.
* a-dirval-mingw.adb, g-cgi.adb, gnatcmd.adb, lib-xref.adb,
repinfo.adb, sem_attr.adb, sem_ch10.adb, sem_ch6.adb, sem_prag.adb:
Minor reformatting.
2017-09-07 Arnaud Charlet <charlet@adacore.com>
* sem_util.adb: Remove extra space after THEN.
2017-09-07 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch7.adb (Has_Referencer): For a subprogram renaming,
also mark the renamed subprogram as referenced.
From-SVN: r251836
Diffstat (limited to 'gcc/ada/lib-xref.adb')
| -rw-r--r-- | gcc/ada/lib-xref.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb index c2958ea..edc955b 100644 --- a/gcc/ada/lib-xref.adb +++ b/gcc/ada/lib-xref.adb @@ -1079,7 +1079,7 @@ package body Lib.Xref is -- original discriminant, which gets the reference. elsif Ekind (E) = E_In_Parameter - and then Present (Discriminal_Link (E)) + and then Present (Discriminal_Link (E)) then Ent := Discriminal_Link (E); Set_Referenced (Ent); @@ -2702,7 +2702,7 @@ package body Lib.Xref is if XE.Key.Loc /= No_Location and then (XE.Key.Loc /= Crloc - or else (Prevt = 'm' and then XE.Key.Typ = 'r')) + or else (Prevt = 'm' and then XE.Key.Typ = 'r')) then Crloc := XE.Key.Loc; Prevt := XE.Key.Typ; |