diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-11-06 09:55:50 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-11-06 09:55:50 +0000 |
| commit | 2d9671b910fbfd304ef04d3b07e951fc25823a31 (patch) | |
| tree | 95cfe11f8aab43afcc3d4601e798f0cde9eee8ea /gcc/ada/sem_prag.adb | |
| parent | 72e17c21f2da6a82bcabe9c5fbcb75466761bf66 (diff) | |
| download | gcc-2d9671b910fbfd304ef04d3b07e951fc25823a31.tar.gz | |
2012-11-06 Robert Dewar <dewar@adacore.com>
* sem_prag.adb: Minor reformatting.
2012-11-06 Robert Dewar <dewar@adacore.com>
* s-bignum.adb (Div_Rem): Fix bug in step D3.
* uintp.adb (UI_Div_Rem): Add comment on bug in step D3.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193217 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_prag.adb')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 325ca0c3bc3..c3f27e14f89 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -11289,16 +11289,13 @@ package body Sem_Prag is -------------------- -- pragma Loop_Assertion - -- ( [Invariant =>] boolean_Expression - -- | [Invariant =>] boolean_Expression , - -- Variant => TERMINATION_VARIANTS - -- | Variant => TERMINATION_VARIANTS ); - -- - -- TERMINATION_VARIANTS ::= - -- ( TERMINATION_VARIANT {, TERMINATION_VARIANT} ) - -- + -- ( [Invariant =>] boolean_Expression ); + -- | ( [[Invariant =>] boolean_Expression ,] + -- Variant => + -- ( TERMINATION_VARIANT {, TERMINATION_VARIANT ) ); + -- TERMINATION_VARIANT ::= CHANGE_MODIFIER => discrete_EXPRESSION - -- + -- CHANGE_MODIFIER ::= Increasing | Decreasing when Pragma_Loop_Assertion => Loop_Assertion : declare |