1 2016-04-27 Release Manager
5 2016-04-27 Svante Signell <svante.signell@gmail.com>
7 * gcc-interface/Makefile.in (x86 GNU/Hurd): Use s-osinte-gnu.adb.
8 * s-osinte-gnu.ads: Small tweaks.
9 * s-osinte-gnu.adb: New file.
11 2016-04-02 Eric Botcazou <ebotcazou@adacore.com>
13 * gcc-interface/decl.c (components_to_record): Restrict the previous
14 change to fields with variable size.
16 2016-03-27 Eric Botcazou <ebotcazou@adacore.com>
18 * gcc-interface/decl.c (components_to_record): Add special case for
19 single field with representation clause at offset 0.
21 2016-03-16 Svante Signell <svante.signell@gmail.com>
23 * gcc-interface/Makefile.in: Add support for x86 GNU/Hurd.
24 * s-osinte-gnu.ads: New file.
26 2016-03-13 Eric Botcazou <ebotcazou@adacore.com>
28 * system-vxworks-m68k.ads (Stack_Check_Probes): Set to True.
29 (Stack_Check_Limits): Set to False.
30 * system-vxworks-mips.ads (Stack_Check_Probes): Set to True.
31 (Stack_Check_Limits): Set to False.
32 * system-vxworks-ppc.ads (Stack_Check_Probes): Set to True.
33 (Stack_Check_Limits): Set to False.
34 * system-vxworks-sparcv9.ads (Stack_Check_Probes): Set to True.
35 (Stack_Check_Limits): Set to False.
36 * system-vxworks-x86.ads (Stack_Check_Probes): Set to True.
37 (Stack_Check_Limits): Set to False.
39 2016-03-07 Eric Botcazou <ebotcazou@adacore.com>
41 * gcc-interface/trans.c (statement_node_p): New predicate.
42 (gnat_to_gnu): Invoke it to detect statement nodes. In ASIS mode, do
43 not return dummy results for expressions attached to packed array
46 2016-03-07 Eric Botcazou <ebotcazou@adacore.com>
48 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Always mark
49 the expression of a renaming manually in case #3.
51 2016-03-02 Dominik Vogt <vogt@linux.vnet.ibm.com>
53 * system-linux-s390.ads: Enable Stack_Check_Probes.
54 * system-linux-s390.ads: Likewise.
56 2016-02-29 Martin Liska <mliska@suse.cz>
58 * gcc-interface/utils.c (set_reverse_storage_order_on_pad_type):
59 Replace ENABLE_CHECKING macro with flag_checking.
61 2016-02-29 Eric Botcazou <ebotcazou@adacore.com>
63 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Retrofit
64 handling of unconstrained array types as designated types into common
65 processing. Also handle array types as incomplete designated types.
67 2016-02-29 Eric Botcazou <ebotcazou@adacore.com>
69 * gcc-interface/decl.c (gnat_to_gnu_entity) <Concurrent types>: In
70 ASIS mode, fully lay out the minimal record type.
72 2016-02-29 Eric Botcazou <ebotcazou@adacore.com>
74 * gcc-interface/trans.c (finalize_nrv_r): Remove obsolete code.
75 (build_return_expr): Likewise.
76 (Call_to_gnu): If this is a function call and there is no target,
77 create a temporary for the return value for all aggregate types,
78 but never create it for a return statement. Push a binding level
79 around the call in more cases. Remove obsolete code.
81 2016-02-29 Eric Botcazou <ebotcazou@adacore.com>
83 * gcc-interface/ada-tree.h (DECL_RETURN_VALUE_P): New macro.
84 * gcc-interface/gigi.h (gigi): Remove useless attribute.
85 (gnat_gimplify_expr): Likewise.
86 (gnat_to_gnu_external): Declare.
87 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Factor out
88 code dealing with the expression of external constants into...
89 Invoke gnat_to_gnu_external instead.
90 <E_Variable>: Invoke gnat_to_gnu_external to translate renamed objects
91 when not for a definition. Deal with COMPOUND_EXPR and variables with
92 DECL_RETURN_VALUE_P set for renamings and with the case of a dangling
93 'reference to a function call in a renaming. Remove obsolete test and
94 adjust associated comment.
95 * gcc-interface/trans.c (Call_to_gnu): Set DECL_RETURN_VALUE_P on the
96 temporaries created to hold the return value, if any.
97 (gnat_to_gnu_external): ...this. New function.
98 * gcc-interface/utils.c (create_var_decl): Detect a constant created
99 to hold 'reference to function call.
100 * gcc-interface/utils2.c (build_unary_op) <ADDR_EXPR>: Add folding
101 for COMPOUND_EXPR in the DECL_RETURN_VALUE_P case.
103 2016-02-17 Eric Botcazou <ebotcazou@adacore.com>
105 * exp_ch4.adb (Expand_N_Indexed_Component): Activate synchronization if
106 the prefix denotes an entity which Has_Atomic_Components.
107 * gcc-interface/trans.c (node_is_atomic): Return true if the prefix
108 denotes an entity which Has_Atomic_Components.
110 2016-02-17 Eric Botcazou <ebotcazou@adacore.com>
112 * gcc-interface/utils2.c (gnat_protect_expr): Make a SAVE_EXPR only
113 for fat pointer or scalar types.
115 2016-02-16 Eric Botcazou <ebotcazou@adacore.com>
117 * gcc-interface/gigi.h (maybe_debug_type): New inline function.
118 * gcc-interface/misc.c (gnat_get_array_descr_info): Use it.
119 Call maybe_character_value on the array bounds. Get to the base type
120 of the index type and call maybe_debug_type on it.
121 * gcc-interface/utils.c (finish_character_type): Add special treatment
124 2016-02-16 Eric Botcazou <ebotcazou@adacore.com>
126 * gcc-interface/misc.c (gnat_enum_underlying_base_type): New function.
127 (LANG_HOOKS_ENUM_UNDERLYING_BASE_TYPE): Define to above.
129 2016-02-12 Jakub Jelinek <jakub@redhat.com>
131 * prj-tree.ads: Spelling fixes - behaviour -> behavior and
132 neighbour -> neighbor.
133 * prep.adb: Likewise.
135 * prepcomp.adb: Likewise.
136 * g-socket.ads: Likewise.
137 * s-imgrea.adb: Likewise.
138 * a-calend.adb: Likewise.
139 * exp_disp.adb: Likewise.
140 * doc/gnat_ugn/gnat_utility_programs.rst: Likewise.
141 * g-socket.adb: Likewise.
142 * sem_ch12.adb: Likewise.
143 * terminals.c: Likewise.
145 2016-02-08 Bernd Schmidt <bschmidt@redhat.com>
147 * gcc-interface/misc.c (gnat_init): Remove second argument in call to
148 build_common_tree_nodes.
150 2016-02-08 Eric Botcazou <ebotcazou@adacore.com>
152 * gcc-interface/utils.c (create_var_decl): Set again DECL_COMMON and
155 2016-01-28 Eric Botcazou <ebotcazou@adacore.com>
157 * gcc-interface/gigi.h (enum attr_type): Rename into...
158 (enum attrib_type): ...this.
159 (struct attrib): Adjust.
160 * gcc-interface/decl.c (prepend_one_attribute): Likewise.
162 2016-01-20 Eric Botcazou <ebotcazou@adacore.com>
164 * exp_ch2.adb (Expand_Current_Value): Make an appropriate character
165 literal if the entity is of a character type.
166 * gcc-interface/lang.opt (fsigned-char): New option.
167 * gcc-interface/misc.c (gnat_handle_option): Accept it.
168 (gnat_init): Adjust comment.
169 * gcc-interface/gigi.h (finish_character_type): New prototype.
170 (maybe_character_type): New inline function.
171 (maybe_character_value): Likewise.
172 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Enumeration_Type>: For
173 a character of CHAR_TYPE_SIZE, make a signed type if flag_signed_char.
174 Set TYPE_ARTIFICIAL early and call finish_character_type on the type.
175 <E_Enumeration_Subtype>: For a subtype of character with RM_Size and
176 Esize equal to CHAR_TYPE_SIZE, make a signed type if flag_signed_char.
177 Copy TYPE_STRING_FLAG from type to subtype.
178 <E_Array_Type>: Deal with character index types.
179 <E_Array_Subtype>: Likewise.
180 * gcc-interface/trans.c (gigi): Replace unsigned_char_type_node with
181 char_type_node throughout.
182 (build_raise_check): Likewise.
183 (get_type_length): Deal with character types.
184 (Attribute_to_gnu) <Attr_Pos>: Likewise. Remove obsolete range check
186 <Attr_Pred>: Likewise.
187 (Loop_Statement_to_gnu): Likewise.
188 (Raise_Error_to_gnu): Likewise.
189 <N_Indexed_Component>: Deal with character index types. Remove
192 <N_Type_Conversion>: Deal with character types. Minor tweak.
193 <N_Unchecked_Type_Conversion>: Likewise.
196 (emit_index_check): Delete.
197 * gcc-interface/utils.c (finish_character_type): New function.
198 (gnat_signed_or_unsigned_type_for): Deal with built-in character types.
199 * gcc-interface/utils2.c (expand_sloc): Replace unsigned_char_type_node
201 (build_call_raise): Likewise.
202 (build_call_raise_column): Likewise.
203 (build_call_raise_range): Likewise.
205 2016-01-18 Eric Botcazou <ebotcazou@adacore.com>
207 * gcc-interface/gigi.h (build_call_raise_column): Adjust prototype.
208 (build_call_raise_range): Likewise.
209 (gnat_unsigned_type): Delete.
210 (gnat_signed_type): Likewise.
211 (gnat_signed_or_unsigned_type_for): New prototype.
212 (gnat_unsigned_type_for): New inline function.
213 (gnat_signed_type_for): Likewise.
214 * gcc-interface/cuintp.c (build_cst_from_int): Call build_int_cst.
215 * gcc-interface/decl.c (gnat_to_gnu_entity): Likewise.
216 (gnat_to_gnu_entity) <E_Array_Type>: Always translate the index types
217 and compute their base type from that.
218 <E_Array_Subtype>: Remove duplicate declaration.
219 * gcc-interface/misc.c (get_array_bit_stride): Call build_int_cst.
220 * gcc-interface/trans.c (get_type_length): Likewise.
221 (Attribute_to_gnu): Likewise.
222 (Loop_Statement_to_gnu): Likewise.
223 (Call_to_gnu): Likewise.
224 (gnat_to_gnu): Call build_real, build_int_cst, gnat_unsigned_type_for
225 and gnat_signed_type_for. Minor tweaks.
226 (build_binary_op_trapv): Likewise.
227 (emit_check): Likewise.
228 (convert_with_check): Likewise.
229 (Raise_Error_to_gnu): Adjust calls to the build_call_raise family of
230 functions. Minor tweaks.
231 (Case_Statement_to_gnu): Remove dead code.
232 (gnat_to_gnu): Call gnat_unsigned_type_for and gnat_signed_type_for.
233 (init_code_table): Minor reordering.
234 * gcc-interface/utils.c (gnat_unsigned_type): Delete.
235 (gnat_signed_type): Likewise.
236 (gnat_signed_or_unsigned_type_for): New function.
237 (unchecked_convert): Use directly the size in the test for precision
239 (install_builtin_elementary_types): Call gnat_signed_type_for.
240 * gcc-interface/utils2.c (nonbinary_modular_operation): Call
242 (build_goto_raise): New function taken from...
243 (build_call_raise): ...here. Call it.
244 (build_call_raise_column): Add KIND parameter and call it.
245 (build_call_raise_range): Likewise.
247 2016-01-18 Eric Botcazou <ebotcazou@adacore.com>
249 * gcc-interface/ada-tree.h (TYPE_IMPLEMENTS_PACKED_ARRAY_P): Rename to
250 (TYPE_IMPL_PACKED_ARRAY_P): ...this.
251 (TYPE_CAN_HAVE_DEBUG_TYPE_P): Do not test TYPE_DEBUG_TYPE.
252 * gcc-interface/decl.c (gnat_to_gnu_entity): Simplify NULL_TREE tests
253 and tweak gnat_encodings tests throughout.
254 (initial_value_needs_conversion): Likewise.
255 (intrin_arglists_compatible_p): Likewise.
256 * gcc-interface/misc.c (gnat_print_type): Likewise.
257 (gnat_get_debug_type): Likewise.
258 (gnat_get_fixed_point_type_info): Likewise.
259 (gnat_get_array_descr_info): Likewise.
260 (get_array_bit_stride): Likewise.
261 (gnat_get_type_bias): Fix formatting.
262 (enumerate_modes): Likewise.
263 * gcc-interface/trans.c (gnat_to_gnu): Likewise.
264 (add_decl_expr): Simplify NULL_TREE test.
265 (end_stmt_group): Likewise.
266 (build_binary_op_trapv): Fix formatting.
267 (get_exception_label): Use switch statement.
268 (init_code_table): Move around.
269 * gcc-interface/utils.c (global_bindings_p): Simplify NULL_TREE test.
270 (gnat_poplevel): Likewise.
271 (gnat_set_type_context): Likewise.
272 (defer_or_set_type_context): Fix formatting.
273 (gnat_pushdecl): Simplify NULL_TREE test.
274 (maybe_pad_type): Likewise.
275 (add_parallel_type): Likewise.
276 (create_range_type): Likewise.
277 (process_deferred_decl_context): Likewise.
279 (def_builtin_1): Likewise.
280 * gcc-interface/utils2.c (find_common_type): Likewise.
281 (build_binary_op): Likewise.
282 (gnat_rewrite_reference): Likewise.
283 (get_inner_constant_reference): Likewise.
285 2016-01-18 Eric Botcazou <ebotcazou@adacore.com>
288 * gcc-interface/trans.c (check_inlining_for_nested_subprog): Consider
289 the parent function instead of the current function in order to issue
290 the warning or the error. Add guard for ignored functions.
292 2016-01-17 Jakub Jelinek <jakub@redhat.com>
294 * adaint.c (__gnat_killprocesstree): Avoid -Wparentheses warning.
296 2016-01-15 Jakub Jelinek <jakub@redhat.com>
298 * adaint.c (__gnat_locate_exec_on_path): Use const char * instead
299 of char * for path_val to avoid warnings.
301 2016-01-06 Pierre-Marie de Rodat <derodat@adacore.com>
303 * gcc-interface/utils.c: Bump copyright year.
304 (rest_of_record_type_compilation): Add XVE/XVU parallel types to
305 the current lexical scope.
307 2016-01-04 Jakub Jelinek <jakub@redhat.com>
309 * gnat_ugn.texi: Bump @copying's copyright year.
310 * gnat_rm.texi: Likewise.
312 2016-01-02 Eric Botcazou <ebotcazou@adacore.com>
314 * gnatvsn.ads: Bump copyright year.
317 Copyright (C) 2016 Free Software Foundation, Inc.
319 Copying and distribution of this file, with or without modification,
320 are permitted in any medium without royalty provided the copyright
321 notice and this notice are preserved.