diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-02-20 12:10:53 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-08 03:51:12 -0400 |
| commit | e344ec2553320fa95414e39001435076f277e335 (patch) | |
| tree | 6dca0218977ac15e1ae7e6e4c5cec2c61340d5ea | |
| parent | a998e58bf019c7174a7480fc4d46ec9fcbc4cd92 (diff) | |
| download | gcc-e344ec2553320fa95414e39001435076f277e335.zip gcc-e344ec2553320fa95414e39001435076f277e335.tar.gz gcc-e344ec2553320fa95414e39001435076f277e335.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 8 |
1 files changed, 5 insertions, 3 deletions
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)) |