diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 12:31:12 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 12:31:12 +0200 |
| commit | 273adcdf9fbd8521e9f0d39e8a9f22d0c53b482d (patch) | |
| tree | c6d75d4be98fa0d41f80672f7a72776b9bf54c64 /gcc/ada/stylesw.ads | |
| parent | 6320f5e18ed03cb41e65e640566d2a9cf1cd5690 (diff) | |
| download | gcc-273adcdf9fbd8521e9f0d39e8a9f22d0c53b482d.zip gcc-273adcdf9fbd8521e9f0d39e8a9f22d0c53b482d.tar.gz gcc-273adcdf9fbd8521e9f0d39e8a9f22d0c53b482d.tar.bz2 | |
[multiple changes]
2011-08-02 Jerome Guitton <guitton@adacore.com>
* a-except-2005.adb (Raise_From_Signal_Handler): Call
Debug_Raise_Exception before propagation starts.
2011-08-02 Eric Botcazou <ebotcazou@adacore.com>
* exp_ch6.adb (Expand_Call): Guard restriction checks with a call
to Restriction_Check_Required.
* sem_ch3.adb (Analyze_Object_Declaration): Likewise.
* sem_res.adb (Resolve_Call): Likewise.
* sem_attr.adb (Check_Stream_Attribute): Likewise.
2011-08-02 Bob Duff <duff@adacore.com>
* stylesw.ads: Update comment.
* style.adb: Minor: Use Error_Msg_NE instead of Error_Msg_N.
* errout.ads: Remove obsolete comment.
2011-08-02 Javier Miranda <miranda@adacore.com>
* einfo.ads, einfo.adb (Is_Safe_To_Reevaluate): new function.
(Set_Is_Safe_To_Reevaluate): new procedure.
* sem_ch5.adb (Analyze_Assignment): Add one assertion to ensure that no
assignment is allowed on safe-to-reevaluate variables.
(Analyze_Iteration_Schine.Process_Bounds.One_Bound): Decorate the
temporary created to remove side effects in expressions that use
the secondary stack as safe-to-reevaluate.
* exp_util.adb (Side_Effect_Free): Add missing code to handle well
variables that are not true constants.
From-SVN: r177129
Diffstat (limited to 'gcc/ada/stylesw.ads')
| -rw-r--r-- | gcc/ada/stylesw.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/stylesw.ads b/gcc/ada/stylesw.ads index f7d45b6..4013734 100644 --- a/gcc/ada/stylesw.ads +++ b/gcc/ada/stylesw.ads @@ -174,8 +174,8 @@ package Stylesw is Style_Check_Missing_Overriding : Boolean := False; -- This can be set True by using the -gnatyO switch. If it is True, then - -- "[not] overriding" is required in subprogram declarations and bodies - -- where appropriate. + -- "overriding" is required in subprogram declarations and bodies where + -- appropriate. Note that "not overriding" is never required. Style_Check_Mode_In : Boolean := False; -- This can be set True by using -gnatyI. If True, it activates checking |