diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 15:42:56 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 15:42:56 +0200 |
| commit | eb2d5ccc332fa3b9eabd5de8e6ac8a3406a5e40e (patch) | |
| tree | 983371edb38a44afe3c6b77a6b93f8b39c0c54a6 /gcc | |
| parent | e44e8a5eba43b8ac4ee75bcc80c9b527c387079b (diff) | |
| download | gcc-eb2d5ccc332fa3b9eabd5de8e6ac8a3406a5e40e.zip gcc-eb2d5ccc332fa3b9eabd5de8e6ac8a3406a5e40e.tar.gz gcc-eb2d5ccc332fa3b9eabd5de8e6ac8a3406a5e40e.tar.bz2 | |
Minor reformatting.
From-SVN: r247238
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/exp_util.adb | 24 |
1 files changed, 10 insertions, 14 deletions
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index 04cd7c4..1217468 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -5198,9 +5198,8 @@ package body Exp_Util is U_Typ : constant Entity_Id := Unique_Entity (Typ); Calls_OK : Boolean := False; - -- This flag is set to True when expression Expr contains at - -- least one call to a non-dispatching primitive function of - -- Typ. + -- This flag is set to True when expression Expr contains at least one + -- call to a non-dispatching primitive function of Typ. function Search_Primitive_Calls (N : Node_Id) return Traverse_Result; -- Search for nondispatching calls to primitive functions of type Typ @@ -5209,9 +5208,7 @@ package body Exp_Util is -- Search_Primitive_Calls -- ---------------------------- - function Search_Primitive_Calls - (N : Node_Id) return Traverse_Result - is + function Search_Primitive_Calls (N : Node_Id) return Traverse_Result is Disp_Typ : Entity_Id; Subp : Entity_Id; @@ -5224,24 +5221,24 @@ package body Exp_Util is then Subp := Entity (Name (N)); - -- Do not consider function calls with a controlling argument - -- as those are always dispatching calls. + -- Do not consider function calls with a controlling argument as + -- those are always dispatching calls. if Is_Dispatching_Operation (Subp) and then No (Controlling_Argument (N)) then Disp_Typ := Find_Dispatching_Type (Subp); - -- To qualify as a suitable primitive, the dispatching - -- type of the function must be the input type. + -- To qualify as a suitable primitive, the dispatching type of + -- the function must be the input type. if Present (Disp_Typ) and then Unique_Entity (Disp_Typ) = U_Typ then Calls_OK := True; - -- There is no need to continue the traversal as one - -- such call suffices. + -- There is no need to continue the traversal as one such + -- call suffices. return Abandon; end if; @@ -5251,8 +5248,7 @@ package body Exp_Util is return OK; end Search_Primitive_Calls; - procedure Search_Calls is - new Traverse_Proc (Search_Primitive_Calls); + procedure Search_Calls is new Traverse_Proc (Search_Primitive_Calls); -- Start of processing for Expression_Contains_Primitives_Calls_Of_Type |