diff options
author | Arnaud Charlet <charlet@adacore.com> | 2020-06-13 11:33:04 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-27 04:05:18 -0400 |
commit | 4a08c95cf0604a96e6fc48102365ef0d498f11ae (patch) | |
tree | 4251c81960f577683ea9280d94b6d0ffb13948b4 /gcc/ada/lib-xref.adb | |
parent | 26ac7446f607b1b031bbd38fab28265fd772f8a5 (diff) | |
download | gcc-4a08c95cf0604a96e6fc48102365ef0d498f11ae.zip gcc-4a08c95cf0604a96e6fc48102365ef0d498f11ae.tar.gz gcc-4a08c95cf0604a96e6fc48102365ef0d498f11ae.tar.bz2 |
[Ada] Use membership tests in front-end
gcc/ada/
* aspects.adb, atree.adb, atree.ads, checks.adb, contracts.adb,
einfo.adb, errout.adb, exp_aggr.adb, exp_attr.adb, exp_cg.adb,
exp_ch11.adb, exp_ch2.adb, exp_ch3.adb, exp_ch4.adb,
exp_ch5.adb, exp_ch6.adb, exp_ch7.adb, exp_ch8.adb, exp_ch9.adb,
exp_dbug.adb, exp_disp.adb, exp_intr.adb, exp_pakd.adb,
exp_prag.adb, exp_put_image.adb, exp_smem.adb, exp_tss.adb,
exp_unst.adb, exp_util.adb, freeze.adb, ghost.adb, gnat1drv.adb,
inline.adb, lib-writ.adb, lib-xref-spark_specific.adb,
lib-xref.adb, namet.adb, namet.ads, nlists.adb, par-ch10.adb,
par-ch2.adb, par-ch3.adb, par-ch4.adb, par-ch5.adb, par-ch6.adb,
par-prag.adb, par-util.adb, par_sco.adb, pprint.adb,
repinfo.adb, restrict.adb, rtsfind.adb, scil_ll.adb, sem.adb,
sem_aggr.adb, sem_attr.adb, sem_aux.adb, sem_cat.adb,
sem_ch10.adb, sem_ch11.adb, sem_ch12.adb, sem_ch13.adb,
sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_ch7.adb,
sem_ch8.adb, sem_ch9.adb, sem_dim.adb, sem_disp.adb,
sem_dist.adb, sem_elab.adb, sem_elim.adb, sem_eval.adb,
sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb,
sem_scil.adb, sem_type.adb, sem_util.adb, sem_warn.adb,
sinfo.adb, sinfo.ads, sprint.adb, styleg.adb, tbuild.adb,
treepr.adb (Nkind_In, Nam_In, Ekind_In): Removed, replaced by
membership tests.
Diffstat (limited to 'gcc/ada/lib-xref.adb')
-rw-r--r-- | gcc/ada/lib-xref.adb | 37 |
1 files changed, 18 insertions, 19 deletions
diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb index 2c313ea..ac59ccc 100644 --- a/gcc/ada/lib-xref.adb +++ b/gcc/ada/lib-xref.adb @@ -569,10 +569,9 @@ package body Lib.Xref is P := Parent (P); if Nkind (P) = N_Pragma then - if Nam_In (Pragma_Name_Unmapped (P), - Name_Warnings, - Name_Unmodified, - Name_Unreferenced) + if Pragma_Name_Unmapped (P) in Name_Warnings + | Name_Unmodified + | Name_Unreferenced then return False; end if; @@ -911,7 +910,7 @@ package body Lib.Xref is -- since the attribute acts as an anonymous alias of the function -- result and not as a real reference to the function. - elsif Ekind_In (E, E_Function, E_Generic_Function) + elsif Ekind (E) in E_Function | E_Generic_Function and then Is_Entity_Name (N) and then Is_Attribute_Result (Parent (N)) then @@ -1006,18 +1005,18 @@ package body Lib.Xref is and then Typ /= ' ' then - if Nkind_In (N, N_Identifier, - N_Defining_Identifier, - N_Defining_Operator_Symbol, - N_Operator_Symbol, - N_Defining_Character_Literal) - or else Nkind (N) in N_Op + if Nkind (N) in N_Identifier + | N_Defining_Identifier + | N_Defining_Operator_Symbol + | N_Operator_Symbol + | N_Defining_Character_Literal + | N_Op or else (Nkind (N) = N_Character_Literal and then Sloc (Entity (N)) /= Standard_Location) then Nod := N; - elsif Nkind_In (N, N_Expanded_Name, N_Selected_Component) then + elsif Nkind (N) in N_Expanded_Name | N_Selected_Component then Nod := Selector_Name (N); else @@ -1135,7 +1134,7 @@ package body Lib.Xref is -- reads/writes of private protected components) and not worth the -- effort. - if Ekind_In (Ent, E_Abstract_State, E_Constant, E_Variable) + if Ekind (Ent) in E_Abstract_State | E_Constant | E_Variable and then Present (Encapsulating_State (Ent)) and then Is_Single_Concurrent_Object (Encapsulating_State (Ent)) then @@ -2314,15 +2313,15 @@ package body Lib.Xref is -- Special handling for access parameters and objects and -- components of an anonymous access type. - if Ekind_In (Etype (XE.Key.Ent), - E_Anonymous_Access_Type, - E_Anonymous_Access_Subprogram_Type, - E_Anonymous_Access_Protected_Subprogram_Type) + if Ekind (Etype (XE.Key.Ent)) in + E_Anonymous_Access_Type + | E_Anonymous_Access_Subprogram_Type + | E_Anonymous_Access_Protected_Subprogram_Type then if Is_Formal (XE.Key.Ent) or else - Ekind_In - (XE.Key.Ent, E_Variable, E_Constant, E_Component) + Ekind (XE.Key.Ent) in + E_Variable | E_Constant | E_Component then Ctyp := 'p'; end if; |