From: Piotr Trojanek <trojanek@adacore.com>
Date: Thu, 20 Feb 2020 11:10:53 +0000 (+0100)
Subject: [Ada] Style cleanups in new code for Pure_Barriers
X-Git-Tag: upstream/12.2.0~15900
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=e344ec2553320fa95414e39001435076f277e335;p=platform%2Fupstream%2Fgcc.git

[Ada] Style cleanups in new code for Pure_Barriers

2020-06-08  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* sem_ch13.adb (All_Membership_Choices_Static): Fix style.
---

diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index 0fc8d0e..5a95427 100644
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -836,9 +836,11 @@ package body Sem_Ch13 is
       end if;
    end Alignment_Check_For_Size_Change;
 
-   function All_Membership_Choices_Static (Expr : Node_Id)
-     return Boolean
-   is
+   -----------------------------------
+   -- All_Membership_Choices_Static --
+   -----------------------------------
+
+   function All_Membership_Choices_Static (Expr : Node_Id) return Boolean is
       pragma Assert (Nkind (Expr) in N_Membership_Test);
    begin
       return ((Present (Right_Opnd (Expr))