diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 10:31:12 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 10:31:12 +0000 |
| commit | dc74650f2613d95f4ff4798d77b8e77a55e06bf8 (patch) | |
| tree | c6d75d4be98fa0d41f80672f7a72776b9bf54c64 /gcc/ada/stylesw.ads | |
| parent | 47ac4bbc1c794774b68c9dc7a28d36b806a38a8d (diff) | |
| download | gcc-dc74650f2613d95f4ff4798d77b8e77a55e06bf8.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177129 138bc75d-0d04-0410-961f-82ee72b054a4
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 f7d45b6d60c..401373474ad 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 |