aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/ChangeLog
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/ChangeLog')
-rw-r--r--gcc/ada/ChangeLog60
1 files changed, 60 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 209e16e..af97683 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,63 @@
+2017-04-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch9.adb (Build_Lock_Free_Unprotected_Subprogram_Body): Also
+ initialize Block_Decls variable.
+ (Expand_Entry_Barrier): Add pragma Warnings on Func_Body variable.
+ (Build_Dispatching_Requeue): Add pragma Warnings on Op variable.
+ * exp_disp.adb (Expand_Interface_Actuals): Initialize
+ Formal_DDT and Actual_DDT variables.
+ (Expand_Interface_Thunk): Initialize Iface_Formal.
+ (Make_DT): Initialize Size_Comp.
+ (Make_Select_Specific_Data_Table): Initialize Decls.
+ * exp_dist.adb (Add_RACW_Primitive_Declarations_And_Bodies):
+ Also initialize more RPC_Receiver_* variables.
+ (Build_To_Any_Function): Initialize Cstr_Formal.
+ * exp_prag.adb (Expand_Pragma_Contract_Cases): Initialize Msg_Str.
+
+2017-04-28 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Freeze_Type_Refs): For an interface conversion
+ node between access types, freeze the designated type as well,
+ so that dispatch table pointers are created in the proper scope,
+ and not in the constructed body of the expression function.
+
+2017-04-28 Bob Duff <duff@adacore.com>
+
+ * alloc.ads (Nodes_Initial): Go back to previous value. The large
+ value makes large compilations faster, but small compilations slower.
+
+2017-04-28 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_util.adb: minor typos in Is_Child_Or_Sibling.
+
+2017-04-28 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * erroutc.adb (Compilation_Errors): Do not consider info messages
+ as suitable warnings when warnings must be treated as errors.
+ * sem_ch7.adb (Analyze_Package_Specification): Do not consider
+ internally-generated packages when outputting completion
+ information.
+ * errout.adb (Output_Messages): Do not consider info messages as
+ suitable warnings when warnings must be treated as errors.
+ * errutil.adb (Finalize): Do not consider info messages as
+ suitable warnings when warnings must be treated as errors.
+
+
+2017-04-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * warnsw.ads: Minor fix for incorrect wording in comment.
+
+2017-04-28 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_res.adb (In_Instance_Code): New predicate in
+ Valid_Conversion, to determine whether a type conversion appears
+ as (or within) an actual for a formal object. Type conversions
+ in instances are not rechecked in Valid_Conversion because
+ visibility changes between generic location andi instance may
+ lead to spurious errors, but conversions within an actual must be
+ fully checked, and they are not fully resolved when pre-analyzing
+ the actuals.
+
2017-04-28 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Expand_N_Extended_Return_Statement): Use