From: Piotr Trojanek <trojanek@adacore.com>
Date: Tue, 17 Jul 2018 08:09:59 +0000 (+0000)
Subject: [Ada] Remove extra parentheses in Expand_Inlined_Call
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=123483ca18f7d6d0c5b28230e826a44a7cf4f111;p=gcc.git

[Ada] Remove extra parentheses in Expand_Inlined_Call

2018-07-17  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* inline.adb (Expand_Inlined_Call): Remove extra parentheses.

From-SVN: r262791
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index d078d6bb05b..189605a3b03 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2018-07-17  Piotr Trojanek  <trojanek@adacore.com>
+
+	* inline.adb (Expand_Inlined_Call): Remove extra parentheses.
+
 2018-07-17  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* exp_disp.adb (Gen_Parameters_Profile): Make the _Init parameter an
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb
index b425094b544..8f0b75d44a1 100644
--- a/gcc/ada/inline.adb
+++ b/gcc/ada/inline.adb
@@ -3295,8 +3295,8 @@ package body Inline is
                  and then Ekind (F) /= E_Out_Parameter
                  and then not Same_Type (Etype (F), Etype (A))
                then
-                  pragma Assert (not (Is_By_Reference_Type (Etype (A))));
-                  pragma Assert (not (Is_Limited_Type (Etype (A))));
+                  pragma Assert (not Is_By_Reference_Type (Etype (A)));
+                  pragma Assert (not Is_Limited_Type (Etype (A)));
 
                   Append_To (Decls,
                     Make_Object_Declaration (Loc,