From e344ec2553320fa95414e39001435076f277e335 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Thu, 20 Feb 2020 12:10:53 +0100 Subject: [PATCH] [Ada] Style cleanups in new code for Pure_Barriers 2020-06-08 Piotr Trojanek gcc/ada/ * sem_ch13.adb (All_Membership_Choices_Static): Fix style. --- gcc/ada/sem_ch13.adb | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 0fc8d0e65fe..5a954273fc4 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)) -- 2.30.2