/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/ |
H A D | sem_ch6.adb | 5709 and then (Ekind (Old_Formal_Base) = Ekind (New_Formal_Base) 7437 elsif Ekind (Iface_Id) /= Ekind (Prim_Id) 7467 if (Ekind (Def_Id) /= E_Entry 7750 elsif Ekind (Base_2) = Ekind (Typ_2) 7755 elsif Ekind (Base_1) = Ekind (Typ_1) 8954 or else (Ekind (E) = Ekind (Designator) 9805 or else Ekind (Prim) /= Ekind (Iface_Prim) 9818 and then Ekind (Iface_Ctrl_F) /= Ekind (Prim_Ctrl_F) 10037 and then Ekind (P_Prim) = Ekind (New_E) 10808 and then Ekind (Subp) = Ekind (E) [all …]
|
H A D | lib-xref-spark_specific.adb | 103 if SPARK_Entities (Ekind (Ref.Ent)) 131 if Ekind (E) in Overloadable_Kind then 150 or else Ekind (E) = E_Package); 185 and then (Ekind (N) in Entry_Kind 186 or else Ekind (N) = E_Subprogram_Body 187 or else Ekind (N) in Generic_Subprogram_Kind 188 or else Ekind (N) in Subprogram_Kind)
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/ |
H A D | sem_ch6.adb | 5456 and then (Ekind (Old_Formal_Base) = Ekind (New_Formal_Base) 7156 elsif Ekind (Iface_Id) /= Ekind (Prim_Id) 7186 if (Ekind (Def_Id) /= E_Entry 7470 elsif Ekind (Base_2) = Ekind (Typ_2) 7475 elsif Ekind (Base_1) = Ekind (Typ_1) 8671 or else (Ekind (E) = Ekind (Designator) 9487 or else Ekind (Prim) /= Ekind (Iface_Prim) 9500 and then Ekind (Iface_Ctrl_F) /= Ekind (Prim_Ctrl_F) 9719 and then Ekind (P_Prim) = Ekind (New_E) 10478 and then Ekind (Subp) = Ekind (E) [all …]
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/ |
H A D | sem_ch6.adb | 5709 and then (Ekind (Old_Formal_Base) = Ekind (New_Formal_Base) 7437 elsif Ekind (Iface_Id) /= Ekind (Prim_Id) 7467 if (Ekind (Def_Id) /= E_Entry 7750 elsif Ekind (Base_2) = Ekind (Typ_2) 7755 elsif Ekind (Base_1) = Ekind (Typ_1) 8954 or else (Ekind (E) = Ekind (Designator) 9805 or else Ekind (Prim) /= Ekind (Iface_Prim) 9818 and then Ekind (Iface_Ctrl_F) /= Ekind (Prim_Ctrl_F) 10037 and then Ekind (P_Prim) = Ekind (New_E) 10808 and then Ekind (Subp) = Ekind (E) [all …]
|
H A D | lib-xref-spark_specific.adb | 103 if SPARK_Entities (Ekind (Ref.Ent)) 131 if Ekind (E) in Overloadable_Kind then 150 or else Ekind (E) = E_Package); 185 and then (Ekind (N) in Entry_Kind 186 or else Ekind (N) = E_Subprogram_Body 187 or else Ekind (N) in Generic_Subprogram_Kind 188 or else Ekind (N) in Subprogram_Kind)
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_ch6.adb | 5456 and then (Ekind (Old_Formal_Base) = Ekind (New_Formal_Base) 7156 elsif Ekind (Iface_Id) /= Ekind (Prim_Id) 7186 if (Ekind (Def_Id) /= E_Entry 7470 elsif Ekind (Base_2) = Ekind (Typ_2) 7475 elsif Ekind (Base_1) = Ekind (Typ_1) 8671 or else (Ekind (E) = Ekind (Designator) 9487 or else Ekind (Prim) /= Ekind (Iface_Prim) 9500 and then Ekind (Iface_Ctrl_F) /= Ekind (Prim_Ctrl_F) 9719 and then Ekind (P_Prim) = Ekind (New_E) 10478 and then Ekind (Subp) = Ekind (E) [all …]
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | sem_ch6.adb | 5456 and then (Ekind (Old_Formal_Base) = Ekind (New_Formal_Base) 7156 elsif Ekind (Iface_Id) /= Ekind (Prim_Id) 7186 if (Ekind (Def_Id) /= E_Entry 7470 elsif Ekind (Base_2) = Ekind (Typ_2) 7475 elsif Ekind (Base_1) = Ekind (Typ_1) 8671 or else (Ekind (E) = Ekind (Designator) 9487 or else Ekind (Prim) /= Ekind (Iface_Prim) 9500 and then Ekind (Iface_Ctrl_F) /= Ekind (Prim_Ctrl_F) 9719 and then Ekind (P_Prim) = Ekind (New_E) 10478 and then Ekind (Subp) = Ekind (E) [all …]
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/ |
H A D | sem_ch6.adb | 5709 and then (Ekind (Old_Formal_Base) = Ekind (New_Formal_Base) 7437 elsif Ekind (Iface_Id) /= Ekind (Prim_Id) 7467 if (Ekind (Def_Id) /= E_Entry 7750 elsif Ekind (Base_2) = Ekind (Typ_2) 7755 elsif Ekind (Base_1) = Ekind (Typ_1) 8954 or else (Ekind (E) = Ekind (Designator) 9805 or else Ekind (Prim) /= Ekind (Iface_Prim) 9818 and then Ekind (Iface_Ctrl_F) /= Ekind (Prim_Ctrl_F) 10037 and then Ekind (P_Prim) = Ekind (New_E) 10808 and then Ekind (Subp) = Ekind (E) [all …]
|
H A D | lib-xref-spark_specific.adb | 103 if SPARK_Entities (Ekind (Ref.Ent)) 131 if Ekind (E) in Overloadable_Kind then 150 or else Ekind (E) = E_Package); 185 and then (Ekind (N) in Entry_Kind 186 or else Ekind (N) = E_Subprogram_Body 187 or else Ekind (N) in Generic_Subprogram_Kind 188 or else Ekind (N) in Subprogram_Kind)
|
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/ |
H A D | sem_ch6.adb | 5456 and then (Ekind (Old_Formal_Base) = Ekind (New_Formal_Base) 7156 elsif Ekind (Iface_Id) /= Ekind (Prim_Id) 7186 if (Ekind (Def_Id) /= E_Entry 7470 elsif Ekind (Base_2) = Ekind (Typ_2) 7475 elsif Ekind (Base_1) = Ekind (Typ_1) 8671 or else (Ekind (E) = Ekind (Designator) 9487 or else Ekind (Prim) /= Ekind (Iface_Prim) 9500 and then Ekind (Iface_Ctrl_F) /= Ekind (Prim_Ctrl_F) 9719 and then Ekind (P_Prim) = Ekind (New_E) 10478 and then Ekind (Subp) = Ekind (E) [all …]
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/ |
H A D | sem_ch6.adb | 5437 and then (Ekind (Old_Formal_Base) = Ekind (New_Formal_Base) 7137 elsif Ekind (Iface_Id) /= Ekind (Prim_Id) 7167 if (Ekind (Def_Id) /= E_Entry 7453 elsif Ekind (Base_2) = Ekind (Typ_2) 7458 elsif Ekind (Base_1) = Ekind (Typ_1) 8657 or else (Ekind (E) = Ekind (Designator) 9508 or else Ekind (Prim) /= Ekind (Iface_Prim) 9521 and then Ekind (Iface_Ctrl_F) /= Ekind (Prim_Ctrl_F) 9740 and then Ekind (P_Prim) = Ekind (New_E) 10496 and then Ekind (Subp) = Ekind (E) [all …]
|
H A D | lib-xref-spark_specific.adb | 103 if SPARK_Entities (Ekind (Ref.Ent)) 131 if Ekind (E) in Overloadable_Kind then 150 or else Ekind (E) = E_Package); 185 and then (Ekind (N) in Entry_Kind 186 or else Ekind (N) = E_Subprogram_Body 187 or else Ekind (N) in Generic_Subprogram_Kind 188 or else Ekind (N) in Subprogram_Kind)
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/ |
H A D | sem_ch6.adb | 5437 and then (Ekind (Old_Formal_Base) = Ekind (New_Formal_Base) 7137 elsif Ekind (Iface_Id) /= Ekind (Prim_Id) 7167 if (Ekind (Def_Id) /= E_Entry 7453 elsif Ekind (Base_2) = Ekind (Typ_2) 7458 elsif Ekind (Base_1) = Ekind (Typ_1) 8657 or else (Ekind (E) = Ekind (Designator) 9508 or else Ekind (Prim) /= Ekind (Iface_Prim) 9521 and then Ekind (Iface_Ctrl_F) /= Ekind (Prim_Ctrl_F) 9740 and then Ekind (P_Prim) = Ekind (New_E) 10496 and then Ekind (Subp) = Ekind (E) [all …]
|
H A D | lib-xref-spark_specific.adb | 103 if SPARK_Entities (Ekind (Ref.Ent)) 131 if Ekind (E) in Overloadable_Kind then 150 or else Ekind (E) = E_Package); 185 and then (Ekind (N) in Entry_Kind 186 or else Ekind (N) = E_Subprogram_Body 187 or else Ekind (N) in Generic_Subprogram_Kind 188 or else Ekind (N) in Subprogram_Kind)
|
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/ |
H A D | sem_ch6.adb | 1945 if Ekind (Scop) = E_Function 5679 and then (Ekind (Old_Formal_Base) = Ekind (New_Formal_Base) 7646 Ekind (Type_1) = Ekind (Type_2) 8274 if Ekind (E) = E_Function 8310 or else (Ekind (E) = Ekind (Designator) 9082 or else Ekind (Prim) /= Ekind (Iface_Prim) 9095 and then Ekind (Iface_Ctrl_F) /= Ekind (Prim_Ctrl_F) 9298 and then Ekind (P_Prim) = Ekind (New_E) 9914 elsif Ekind (Iface_Id) /= Ekind (Prim_Id) 10277 if Ekind (E) = E_Package [all …]
|
H A D | repinfo.adb | 370 Ekind (E) = E_Entry 372 Ekind (E) = E_Entry_Family 395 elsif Ekind (E) = E_Variable 397 Ekind (E) = E_Constant 412 if Ekind (E) = E_Package then 421 Ekind (E) = E_Task_Type 425 Ekind (E) = E_Package_Body 427 Ekind (E) = E_Task_Body 435 elsif Ekind (E) = E_Block then 448 if Ekind (Ent) = E_Package_Body [all …]
|
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/ |
H A D | sem_ch6.adb | 1945 if Ekind (Scop) = E_Function 5679 and then (Ekind (Old_Formal_Base) = Ekind (New_Formal_Base) 7646 Ekind (Type_1) = Ekind (Type_2) 8274 if Ekind (E) = E_Function 8310 or else (Ekind (E) = Ekind (Designator) 9082 or else Ekind (Prim) /= Ekind (Iface_Prim) 9095 and then Ekind (Iface_Ctrl_F) /= Ekind (Prim_Ctrl_F) 9298 and then Ekind (P_Prim) = Ekind (New_E) 9914 elsif Ekind (Iface_Id) /= Ekind (Prim_Id) 10277 if Ekind (E) = E_Package [all …]
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/ |
H A D | sem_ch6.adb | 2222 if Ekind (Scop) = E_Function 4506 elsif Ekind (Subp) = E_Function 6178 and then (Ekind (Old_Formal_Base) = Ekind (New_Formal_Base) 7783 elsif Ekind (BT2) = Ekind (T2) and then BT1 = Base_Type (BT2) then 7786 elsif Ekind (BT1) = Ekind (T1) and then BT2 = Base_Type (BT1) then 8678 or else (Ekind (E) = Ekind (Designator) 9461 or else Ekind (Prim) /= Ekind (Iface_Prim) 9474 and then Ekind (Iface_Ctrl_F) /= Ekind (Prim_Ctrl_F) 9677 and then Ekind (P_Prim) = Ekind (New_E) 10289 elsif Ekind (Iface_Id) /= Ekind (Prim_Id) [all …]
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/ |
H A D | sem_ch7.adb | 967 if Ekind (Id) = E_Package then 1460 if Ekind (Id) = E_Generic_Package 1597 if Ekind (E) = E_Record_Type or else Ekind (E) = E_Array_Type then 1671 if Ekind (Id) = E_Generic_Package 2282 return Ekind (E) = E_Private_Type 2298 if Ekind (S) = E_Package 2450 elsif Ekind (Id) = E_Package 2469 (Ekind (Id) = E_Package 2634 if Ekind (Id) = E_Function 2711 elsif Ekind (Id) = E_Constant [all …]
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/ |
H A D | sem_ch7.adb | 967 if Ekind (Id) = E_Package then 1460 if Ekind (Id) = E_Generic_Package 1597 if Ekind (E) = E_Record_Type or else Ekind (E) = E_Array_Type then 1671 if Ekind (Id) = E_Generic_Package 2282 return Ekind (E) = E_Private_Type 2298 if Ekind (S) = E_Package 2450 elsif Ekind (Id) = E_Package 2469 (Ekind (Id) = E_Package 2634 if Ekind (Id) = E_Function 2711 elsif Ekind (Id) = E_Constant [all …]
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/ |
H A D | itypes.adb | 40 (Ekind : Entity_Kind; 53 Typ := New_Internal_Entity (Ekind, Scope_Id, Sloc (Related_Nod), 'T'); 59 (Ekind, Scope_Id, Sloc (Related_Nod), Related_Id, Suffix, 76 if Ekind in Access_Subprogram_Kind then 97 I_Typ := Create_Itype (Ekind => E_Access_Subtype,
|
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
H A D | freeze.adb | 272 if Ekind (Old_S) = E_Operator 293 if (Ekind (Old_S) = E_Function 361 if Ekind (Old_S) = E_Function 1155 if Ekind (E) = E_Package 1296 elsif Ekind (E) in Task_Kind 2087 if Ekind (E) = E_Function 2125 if Ekind (E) = E_Constant 2153 if (Ekind (E) = E_Constant or else Ekind (E) = E_Variable) 2161 if Ekind (E) = E_Variable 2163 Ekind (E) = E_Constant [all …]
|
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
H A D | freeze.adb | 272 if Ekind (Old_S) = E_Operator 293 if (Ekind (Old_S) = E_Function 361 if Ekind (Old_S) = E_Function 1155 if Ekind (E) = E_Package 1296 elsif Ekind (E) in Task_Kind 2087 if Ekind (E) = E_Function 2125 if Ekind (E) = E_Constant 2153 if (Ekind (E) = E_Constant or else Ekind (E) = E_Variable) 2161 if Ekind (E) = E_Variable 2163 Ekind (E) = E_Constant [all …]
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/ |
H A D | lib-xref-spark_specific.adb | 103 if SPARK_Entities (Ekind (Ref.Ent)) 131 if Ekind (E) in Overloadable_Kind then 150 or else Ekind (E) = E_Package); 185 and then (Ekind (N) in Entry_Kind 186 or else Ekind (N) = E_Subprogram_Body 187 or else Ekind (N) in Generic_Subprogram_Kind 188 or else Ekind (N) in Subprogram_Kind)
|
/dports/lang/asis/asis-gpl-2016-src/tools/tool_utils/ |
H A D | asis_ul-global_state-data.adb | 100 if Ekind (Encl_Scope_Node) = E_Package or else 101 Ekind (Encl_Scope_Node) = E_Generic_Package or else 102 Ekind (Encl_Scope_Node) = E_Package_Body 115 if Ekind (Encl_Scope_Node) = E_Task_Type 242 (Ekind (Node (Definition)) /= E_Variable and then 243 Ekind (Node (Definition)) /= E_Generic_In_Parameter and then 244 Ekind (Node (Definition)) /= E_Generic_In_Out_Parameter and then 245 Ekind (Node (Definition)) not in Formal_Kind) 253 if Ekind (Node (Definition)) in Formal_Kind then
|