diff options
Diffstat (limited to 'gcc/ada/sem_prag.adb')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 80b316b..69b19c5 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -8353,14 +8353,7 @@ package body Sem_Prag is -- Volatile requires exactly one Input or Output - -- Isn't this just Input_Seen = Output_Seen ??? - - if Volatile_Seen - and then - ((Input_Seen and Output_Seen) -- both - or else - (not Input_Seen and not Output_Seen)) -- none - then + if Volatile_Seen and then Input_Seen = Output_Seen then Error_Msg_N ("property Volatile requires exactly one Input or " & "Output", State); |