Home
last modified time | relevance | path

Searched refs:Dispatching_Type (Results 1 – 5 of 5) sorted by last modified time

/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/
H A Dsem_dist.adb275 Dispatching_Type : Entity_Id; variable
280 Dispatching_Type := Find_Dispatching_Type (Op);
281 return Present (Dispatching_Type)
282 and then Is_RACW_Stub_Type (Dispatching_Type)
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/
H A Dsem_dist.adb275 Dispatching_Type : Entity_Id; variable
280 Dispatching_Type := Find_Dispatching_Type (Op);
281 return Present (Dispatching_Type)
282 and then Is_RACW_Stub_Type (Dispatching_Type)
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/
H A Dsem_dist.adb275 Dispatching_Type : Entity_Id; variable
280 Dispatching_Type := Find_Dispatching_Type (Op);
281 return Present (Dispatching_Type)
282 and then Is_RACW_Stub_Type (Dispatching_Type)
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/
H A Dsem_dist.adb275 Dispatching_Type : Entity_Id; variable
280 Dispatching_Type := Find_Dispatching_Type (Op);
281 return Present (Dispatching_Type)
282 and then Is_RACW_Stub_Type (Dispatching_Type)
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/
H A Dsem_dist.adb275 Dispatching_Type : Entity_Id; variable
280 Dispatching_Type := Find_Dispatching_Type (Op);
281 return Present (Dispatching_Type)
282 and then Is_RACW_Stub_Type (Dispatching_Type)