diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2021-10-07 19:59:09 +0200 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-10-11 13:38:12 +0000 |
commit | a59626c8b8497593145aa5969ca30cddaeaa8acd (patch) | |
tree | 7a7ee7b4777d1f952e1ce79d50c427a93ca3acc5 /gcc/ada/exp_ch3.adb | |
parent | 939047f542ddbe43a36d755a39ba3b531bb5d8cc (diff) | |
download | gcc-a59626c8b8497593145aa5969ca30cddaeaa8acd.zip gcc-a59626c8b8497593145aa5969ca30cddaeaa8acd.tar.gz gcc-a59626c8b8497593145aa5969ca30cddaeaa8acd.tar.bz2 |
[Ada] Remove redundant guard in expansion of dispatching calls
gcc/ada/
* exp_ch3.adb (Make_Predefined_Primitive_Specs,
Predefined_Primitive_Bodies): Remove guard with restriction
No_Dispatching_Calls.
Diffstat (limited to 'gcc/ada/exp_ch3.adb')
-rw-r--r-- | gcc/ada/exp_ch3.adb | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb index 1f4f191..d4373ee 100644 --- a/gcc/ada/exp_ch3.adb +++ b/gcc/ada/exp_ch3.adb @@ -10611,11 +10611,9 @@ package body Exp_Ch3 is -- Disp_Requeue -- Disp_Timed_Select - -- Disable the generation of these bodies if No_Dispatching_Calls, - -- Ravenscar or ZFP is active. + -- Disable the generation of these bodies if Ravenscar or ZFP is active if Ada_Version >= Ada_2005 - and then not Restriction_Active (No_Dispatching_Calls) and then not Restriction_Active (No_Select_Statements) and then RTE_Available (RE_Select_Specific_Data) then @@ -11094,8 +11092,7 @@ package body Exp_Ch3 is -- The interface versions will have null bodies - -- Disable the generation of these bodies if No_Dispatching_Calls, - -- Ravenscar or ZFP is active. + -- Disable the generation of these bodies if Ravenscar or ZFP is active -- In VM targets we define these primitives in all root tagged types -- that are not interface types. Done because in VM targets we don't @@ -11114,7 +11111,6 @@ package body Exp_Ch3 is or else (not Tagged_Type_Expansion and then Tag_Typ = Root_Type (Tag_Typ))) - and then not Restriction_Active (No_Dispatching_Calls) and then not Restriction_Active (No_Select_Statements) and then RTE_Available (RE_Select_Specific_Data) then |