aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/restrict.adb
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@adacore.com>2020-06-13 11:33:04 -0400
committerPierre-Marie de Rodat <derodat@adacore.com>2020-07-27 04:05:18 -0400
commit4a08c95cf0604a96e6fc48102365ef0d498f11ae (patch)
tree4251c81960f577683ea9280d94b6d0ffb13948b4 /gcc/ada/restrict.adb
parent26ac7446f607b1b031bbd38fab28265fd772f8a5 (diff)
downloadgcc-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/restrict.adb')
-rw-r--r--gcc/ada/restrict.adb24
1 files changed, 12 insertions, 12 deletions
diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb
index 5ba2931..c63c881 100644
--- a/gcc/ada/restrict.adb
+++ b/gcc/ada/restrict.adb
@@ -237,7 +237,7 @@ package body Restrict is
-- For type conversion, check converted expression
- elsif Nkind_In (Obj, N_Unchecked_Type_Conversion, N_Type_Conversion) then
+ elsif Nkind (Obj) in N_Unchecked_Type_Conversion | N_Type_Conversion then
Check_No_Implicit_Aliasing (Expression (Obj));
return;
@@ -746,7 +746,7 @@ package body Restrict is
and then Chars (Scope (Ent)) = Name_Ada
and then Scope (Scope (Ent)) = Standard_Standard)
then
- if Nkind_In (Expr, N_Identifier, N_Operator_Symbol)
+ if Nkind (Expr) in N_Identifier | N_Operator_Symbol
and then Chars (Ent) = Chars (Expr)
then
Error_Msg_Node_1 := N;
@@ -763,7 +763,7 @@ package body Restrict is
-- Here if at outer level of entity name in table
- elsif Nkind_In (Expr, N_Identifier, N_Operator_Symbol) then
+ elsif Nkind (Expr) in N_Identifier | N_Operator_Symbol then
exit;
-- Here if neither at the outer level
@@ -977,7 +977,7 @@ package body Restrict is
and then
OK_No_Use_Of_Entity_Name (Selector_Name (N));
- elsif Nkind_In (N, N_Identifier, N_Operator_Symbol) then
+ elsif Nkind (N) in N_Identifier | N_Operator_Symbol then
return True;
else
@@ -1258,15 +1258,15 @@ package body Restrict is
function Same_Entity (E1, E2 : Node_Id) return Boolean is
begin
- if Nkind_In (E1, N_Identifier, N_Operator_Symbol)
+ if Nkind (E1) in N_Identifier | N_Operator_Symbol
and then
- Nkind_In (E2, N_Identifier, N_Operator_Symbol)
+ Nkind (E2) in N_Identifier | N_Operator_Symbol
then
return Chars (E1) = Chars (E2);
- elsif Nkind_In (E1, N_Selected_Component, N_Expanded_Name)
+ elsif Nkind (E1) in N_Selected_Component | N_Expanded_Name
and then
- Nkind_In (E2, N_Selected_Component, N_Expanded_Name)
+ Nkind (E2) in N_Selected_Component | N_Expanded_Name
then
return Same_Unit (Prefix (E1), Prefix (E2))
and then
@@ -1285,9 +1285,9 @@ package body Restrict is
if Nkind (U1) = N_Identifier and then Nkind (U2) = N_Identifier then
return Chars (U1) = Chars (U2);
- elsif Nkind_In (U1, N_Selected_Component, N_Expanded_Name)
+ elsif Nkind (U1) in N_Selected_Component | N_Expanded_Name
and then
- Nkind_In (U2, N_Selected_Component, N_Expanded_Name)
+ Nkind (U2) in N_Selected_Component | N_Expanded_Name
then
return Same_Unit (Prefix (U1), Prefix (U2))
and then
@@ -1534,13 +1534,13 @@ package body Restrict is
-- Now we need to find the direct name and set Boolean2 flag
- if Nkind_In (Entity, N_Identifier, N_Operator_Symbol) then
+ if Nkind (Entity) in N_Identifier | N_Operator_Symbol then
Nam := Entity;
else
pragma Assert (Nkind (Entity) = N_Selected_Component);
Nam := Selector_Name (Entity);
- pragma Assert (Nkind_In (Nam, N_Identifier, N_Operator_Symbol));
+ pragma Assert (Nkind (Nam) in N_Identifier | N_Operator_Symbol);
end if;
Set_Name_Table_Boolean2 (Chars (Nam), True);