From: Pierre-Marie de Rodat Date: Fri, 20 Oct 2017 16:20:40 +0000 (+0000) Subject: Add ChangeLog entries, missing from last commit X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5664fd68a116fdceb90f2c73fc2f90f75cb84f8f;p=gcc.git Add ChangeLog entries, missing from last commit From-SVN: r253946 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 24618873c15..cb20cfa037c 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,93 @@ +2017-10-20 Yannick Moy + + * sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with a warning to + compare a dimensioned expression with a literal. + (Dim_Warning_For_Numeric_Literal): Do not issue a warning for the + special value zero. + * doc/gnat_ugn/gnat_and_program_execution.rst: Update description of + dimensionality system in GNAT. + * gnat_ugn.texi: Regenerate. + +2017-10-20 Yannick Moy + + * sem_ch6.adb (Analyze_Expression_Function.Freeze_Expr_Types): Remove + inadequate silencing of errors. + * sem_util.adb (Check_Part_Of_Reference): Do not issue an error when + checking the subprogram body generated from an expression function, + when this is done as part of the preanalysis done on expression + functions, as the subprogram body may not yet be attached in the AST. + The error if any will be issued later during the analysis of the body. + (Is_Aliased_View): Trivial rewrite with Is_Formal_Object. + +2017-10-20 Arnaud Charlet + + * sem_ch8.adb (Update_Chain_In_Scope): Add missing [-gnatwu] marker for + warning on ineffective use clause. + +2017-10-20 Eric Botcazou + + * exp_ch11.ads (Warn_If_No_Local_Raise): Declare. + * exp_ch11.adb (Expand_Exception_Handlers): Use Warn_If_No_Local_Raise + to issue the warning on the absence of local raise. + (Possible_Local_Raise): Do not issue the warning for Call_Markers. + (Warn_If_No_Local_Raise): New procedure to issue the warning on the + absence of local raise. + * sem_elab.adb: Add with and use clauses for Exp_Ch11. + (Record_Elaboration_Scenario): Call Possible_Local_Raise in the cases + where a scenario could give rise to raising Program_Error. + * sem_elab.adb: Typo fixes. + * fe.h (Warn_If_No_Local_Raise): Declare. + * gcc-interface/gigi.h (get_exception_label): Change return type. + * gcc-interface/trans.c (gnu_constraint_error_label_stack): Change to + simple vector of Entity_Id. + (gnu_storage_error_label_stack): Likewise. + (gnu_program_error_label_stack): Likewise. + (gigi): Adjust to above changes. + (Raise_Error_to_gnu): Likewise. + (gnat_to_gnu) : Set TREE_USED on the label. + (N_Push_Constraint_Error_Label): Push the label onto the stack. + (N_Push_Storage_Error_Label): Likewise. + (N_Push_Program_Error_Label): Likewise. + (N_Pop_Constraint_Error_Label): Pop the label from the stack and issue + a warning on the absence of local raise. + (N_Pop_Storage_Error_Label): Likewise. + (N_Pop_Program_Error_Label): Likewise. + (push_exception_label_stack): Delete. + (get_exception_label): Change return type to Entity_Id and adjust. + * gcc-interface/utils2.c (build_goto_raise): Change type of first + parameter to Entity_Id and adjust. Set TREE_USED on the label. + (build_call_raise): Adjust calls to get_exception_label and also + build_goto_raise. + (build_call_raise_column): Likewise. + (build_call_raise_range): Likewise. + * doc/gnat_ugn/building_executable_programs_with_gnat.rst (-gnatw.x): + Document actual default behavior. + +2017-10-20 Piotr Trojanek + + * einfo.ads: Minor consistent punctuation in comment. All numbered + items in the comment of Is_Internal are now terminated with a period. + +2017-10-20 Piotr Trojanek + + * exp_util.adb (Build_Temporary): Mark created temporary entity as + internal. + +2017-10-20 Piotr Trojanek + + * sem_type.adb (In_Generic_Actual): Simplified. + +2017-10-20 Justin Squirek + + * sem_ch12.adb (Check_Formal_Package_Instance): Add sanity check to + verify a renaming exists for a generic formal before comparing it to + the actual as defaulted formals will not have a renamed_object. + +2017-10-20 Javier Miranda + + * exp_ch6.adb (Replace_Returns): Fix wrong management of + N_Block_Statement nodes. + 2017-10-20 Bob Duff * exp_aggr.adb (Initialize_Array_Component): Avoid adjusting a