1 2011-05-05 Nathan Froyd <froydnj@codesourcery.com>
3 * gcc-interface/trans.c (Case_Statement_to_gnu): Call
6 2011-05-05 Nathan Froyd <froydnj@codesourcery.com>
8 * gcc-interface/decl.c (intrin_arglists_compatible_p): Use iterators
9 instead of accessing TYPE_ARG_TYPES directly.
10 * gcc-interface/utils.c (handle_nonnull_attribute): Likewise.
12 2011-05-05 Eric Botcazou <ebotcazou@adacore.com>
15 * gcc-interface/gigi.h (get_variant_part): Declare.
16 * gcc-interface/decl.c (get_variant_part): Make global.
17 * gcc-interface/utils2.c (find_common_type): Do not return T1 if the
18 types have the same constant size, are record types and T1 has a
19 variant part while T2 doesn't.
21 2011-05-05 Eric Botcazou <ebotcazou@adacore.com>
23 * gcc-interface/utils.c (begin_subprog_body): Do not call
25 (end_subprog_body): Likewise.
27 2011-05-04 Richard Guenther <rguenther@suse.de>
29 * gcc-interface/trans.c (gnat_to_gnu): Remove zero notrunc argument to
31 (pos_to_constructor): Likewise.
33 2011-05-03 Nathan Froyd <froydnj@codesourcery.com>
34 Eric Botcazou <ebotcazou@adacore.com>
36 * gcc-interface/trans.c (gigi): Call build_function_type_list instead
37 of build_function_type. Adjust calls to...
38 (build_raise_check): ...this. Do not take a void_tree parameter.
39 Call build_function_type_list instead of build_function_type.
40 Fix head comment and swap couple of conditional blocks.
42 2011-04-30 Eric Botcazou <ebotcazou@adacore.com>
44 * gnatvsn.ads (Library_Version): Bump to 4.7.
45 (Current_Year): Bump to 2011.
47 2011-04-29 Michael Matz <matz@suse.de>
49 * gcc-interface/misc.c (gnat_handle_option): Set
50 warn_maybe_uninitialized.
52 2011-04-23 Gerald Pfeifer <gerald@pfeifer.com>
54 * gnat_ugn.texi (Complexity Metrics Control): Update link to
55 the Watson/McCabe paper.
57 2011-04-23 Jim Meyering <meyering@redhat.com>
59 * gnat_ugn.texi (Examples of gnatxref Usage): Fix typo: s/it it/it is/
61 2011-04-22 Eric Botcazou <ebotcazou@adacore.com>
63 * gcc-interface/decl.c (make_packable_type): Copy DECL_PARALLEL_TYPE
66 2011-04-22 Eric Botcazou <ebotcazou@adacore.com>
68 * gcc-interface/gigi.h (create_subprog_decl): Add ARTIFICIAL_FLAG
70 * gcc-interface/utils.c (create_subprog_decl): Likewise. Set
71 DECL_ARTIFICIAL and DECL_NO_INLINE_WARNING_P on the DECL accordingly.
72 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Subprogram_Type>: Add
73 ARTIFICIAL_FLAG local variable and pass it to create_subprog_decl.
74 <all>: Do not set flags on the reused DECL node coming from an alias.
75 Set DECL_IGNORED_P on the DECL node built for subprograms if they
76 don't need debug info here...
77 * gcc-interface/trans.c (Subprogram_Body_to_gnu): ...and not here.
78 (gigi): Adjust calls to create_subprog_decl.
79 (build_raise_check): Likewise.
80 (establish_gnat_vms_condition_handler): Likewise.
81 (Compilation_Unit_to_gnu): Likewise.
82 (gnat_to_gnu): Likewise.
84 2011-04-21 Eric Botcazou <ebotcazou@adacore.com>
86 * gcc-interface/Makefile.in (NO_SIBLING_ADAFLAGS): Always define.
87 (NO_REORDER_ADAFLAGS): New variable.
88 (EXTRA_GNATTOOLS): Always define.
89 (../stamp-gnatlib1-$(RTSDIR): Copy tsystem.h.
90 Clean up and adjust list of files compiled with special options.
91 * gcc-interface/Make-lang.in: Likewise.
92 (ada/decl.o): Cosmetical change.
93 (ada/misc.o): Remove dependency on $(PLUGIN_H).
95 2011-04-20 Jim Meyering <meyering@redhat.com>
97 * initialize.c (__gnat_initialize): Remove useless if-before-free.
99 2011-04-17 Eric Botcazou <ebotcazou@adacore.com>
101 * gcc-interface/Make-lang.in (gnatbind): Replace $(ALL_CFLAGS) with
102 $(CFLAGS) on the link line.
104 2011-04-17 Eric Botcazou <ebotcazou@adacore.com>
106 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Function>: Declare the
107 padded type built for the return type if it is unconstrained.
109 2011-04-14 Nathan Froyd <froydnj@codesourcery.com>
111 * gcc-interface/utils.c (gnat_poplevel): Use block_chainon.
113 2011-04-12 Nathan Froyd <froydnj@codesourcery.com>
115 * gcc-interface/ada-tree.h (union lang_tree_node): Check for TS_COMMON
116 before calling TREE_CHAIN.
117 * gcc-interface/misc.c (gnat_init_ts): New function.
118 (LANG_HOOKS_INIT_TS): Define.
120 2011-04-12 Martin Jambor <mjambor@suse.cz>
122 * gcc-interface/utils.c (end_subprog_body): Call cgraph_get_create_node
123 instead of cgraph_node.
125 2011-04-08 Eric Botcazou <ebotcazou@adacore.com>
127 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Set minimum
128 alignment on fields of the RETURN type built for the Copy-In Copy-Out
131 2011-04-08 Eric Botcazou <ebotcazou@adacore.com>
133 * gcc-interface/trans.c (Identifier_to_gnu): Do not return initializers
134 of aggregate types that contain a placeholder.
136 2011-04-08 Nathan Froyd <froydnj@codesourcery.com>
138 * gcc-interface/utils.c (handle_sentinel_attribute): Don't use
140 (handle_type_generic_attribute): Likewise.
142 2011-04-04 Eric Botcazou <ebotcazou@adacore.com>
145 * s-oscons-tmplt.c (MSG_WAITALL): Fix thinko in previous change.
147 2011-04-04 Kai Tietz <ktietz@redhat.com>
150 * s-oscons-tmplt.c (MSG_WAITALL): Define it for native windows
151 targets to flag value.
153 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
155 * gcc-interface/utils2.c (build_allocator): In the unconstrained array
156 type case, do not strip a padding type around the array type.
158 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
160 * gcc-interface/utils.c (update_pointer_to): Finalize named pointer
163 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
165 * gcc-interface/lang.opt (feliminate-unused-debug-types): Delete.
166 * gcc-interface/misc.c (gnat_handle_option): Remove special handling
167 code for -feliminate-unused-debug-types.
168 (gnat_post_options): Likewise.
170 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
172 * gcc-interface/utils.c (gnat_pushdecl): If this is a non-artificial
173 declaration of a pointer type, then set DECL_ORIGINAL_TYPE to a
176 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
178 * gcc-interface/decl.c (gnat_to_gnu_entity): Do not force the
179 DECL_ARTIFICIAL flag on enumeration types.
181 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
183 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Do not make
184 fat pointer types artificial unconditionally.
185 <E_Array_Subtype>: Attach the base array type as a parallel type if it
188 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
190 * gcc-interface/gigi.h (get_dummy_type): Declare.
191 (build_dummy_unc_pointer_types): Likewise.
192 (finish_fat_pointer_type): Likewise.
193 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: If a dummy
194 fat pointer type has been built, complete it in place.
195 <E_Access_Type>: Call build_dummy_unc_pointer_types to build dummy fat
196 and thin pointers. Remove useless variable.
197 (finish_fat_pointer_type): Make global and move to...
198 * gcc-interface/utils.c (finish_fat_pointer_type): ...here.
199 (get_dummy_type): New function.
200 (build_dummy_unc_pointer_types): Likewise.
201 (gnat_pushdecl): Propage the name to the anonymous variants only.
202 (update_pointer_to): Only adjust the pointer types in the unconstrained
205 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
207 * gcc-interface/ada-tree.h (DECL_TAFT_TYPE_P): New flag.
208 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Incomplete_Type>: Set it
209 if this is a Taft amendment type and the full declaration is available.
210 * gcc-interface/trans.c (process_type): Likewise.
211 If there is an old type, mark the new one as used if DECL_TAFT_TYPE_P.
212 (process_freeze_entity): Likewise.
213 * gcc-interface/utils.c (dummy_global): New static variable.
214 (gnat_write_global_declarations): If there are types declared as used
215 at the global level, insert them in the global hash table.
217 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
219 * gcc-interface/gigi.h (record_builtin_type): Add ARTIFICIAL_P param.
220 * gcc-interface/utils.c (gnat_pushdecl): If this is a non-artificial
221 declaration of an array type, then set DECL_ORIGINAL_TYPE to a distinct
223 (record_builtin_type): Add ARTIFICIAL_P parameter. Set DECL_ARTIFICIAL
224 flag of the type accordingly.
225 * gcc-interface/trans.c (gigi): Adjust calls to record_builtin_type.
227 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
229 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Defer
230 finalizing types when updating the pointers to the designated type.
231 <all>: Finalize the deferred types even if we didn't defer processing
232 of incomplete types in this invocation.
234 2011-04-01 Olivier Hainque <hainque@adacore.com>
235 Nicolas Setton <setton@adacore.com>
236 Eric Botcazou <ebotcazou@adacore.com>
238 * gcc-interface/misc.c (gnat_descriptive_type): New function.
239 (LANG_HOOKS_DESCRIPTIVE_TYPE): Redefine to gnat_descriptive_type.
241 2011-03-28 Kai Tietz <ktietz@redhat.com>
243 * gcc-interface/Makefile.in (SO_LIB): Handle multilib build for native
245 (EH_MECHANISM): Use GCC exception mechanism for native Windows targets.
246 * system-mingw.ads (System): Change ZCX_By_Default default to True.
248 * raise-gcc.c (PERSONALITY_FUNCTION): Add prototype.
250 2011-03-28 Tristan Gingold <gingold@adacore.com>
253 * gcc-interface/Make-lang.in (ada/b_gnat1.adb): Replace ada/b_gnat1.c.
254 Use ada output of gnatbind.
255 (ada/b_gnatb.adb): Ditto.
256 (ada/b_gnat1.o, ada/b_gnatb.o): New rules.
257 (ada.mostlyclean, ada.stage1)
258 (ada.stage2, ada.stage3, ada.stage4, ada.stageprofile)
259 (ada.stagefeedback): Adjust.
260 * gcc-interface/Makefile.in (b_gnatl.adb): Replace b_gnatl.c.
261 Use ada output of gnatbind.
262 (b_gnatm.adb): Ditto.
263 (b_gnatl.o, b_gnatm.o): New rules.
265 2011-03-26 Eric Botcazou <ebotcazou@adacore.com>
267 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Create TYPE_DECL
268 for the padded type built to support a specified size or alignment.
270 2011-03-26 Eric Botcazou <ebotcazou@adacore.com>
272 * gcc-interface/gigi.h (finalize_from_with_types): Adjust comment.
273 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Defer
274 unconditionally to the end of the unit when the designated type is
276 <all>: Rename local variable. Attempt to un-defer types only and do it
277 for limited_with'ed types as well.
278 (finalize_from_with_types): Adjust comment. Rename variable and tidy.
279 * gcc-interface/trans.c (Compilation_Unit_to_gnu): Use GNAT_UNIT
280 consistently and remove redundant call to finalize_from_with_types.
282 2011-03-26 Eric Botcazou <ebotcazou@adacore.com>
284 * inline.adb (Back_End_Cannot_Inline): Lift restriction on calls to
285 subprograms without a previous spec declared in the same unit.
286 * gcc-interface/trans.c (Compilation_Unit_to_gnu): Process inlined
287 subprograms at the end of the unit instead of at the beginning.
288 * gcc-interface/utils.c (create_subprog_decl): Check that the entity
289 isn't public for the special handling of non-inline functions nested
290 inside inline external functions.
292 2011-03-25 Jeff Law <law@redhat.com>
294 * gcc-interface/utils.c (def_fn_type): Add missing va_end.
296 2011-03-24 Eric Botcazou <ebotcazou@adacore.com>
298 * einfo.ads (Size_Depends_On_Discriminant): Adjust description.
299 * layout.adb (Compute_Size_Depends_On_Discriminant): New procedure
300 to compute Set_Size_Depends_On_Discriminant.
301 (Layout_Type): Call it on array types in back-end layout mode.
302 * sem_util.adb (Requires_Transient_Scope): Return true for array
303 types only if the size depends on the value of discriminants.
304 * gcc-interface/utils2.c (build_binary_op) <MODIFY_EXPR>: Use the RHS
305 type if the RHS is a call to a function that returns an unconstrained
306 type with default discriminant.
308 2011-03-24 Eric Botcazou <ebotcazou@adacore.com>
310 * gcc-interface/trans.c (gnat_to_gnu): Remove obsolete case of
311 non-conversion to the nominal result type at the end.
313 2011-03-23 Eric Botcazou <ebotcazou@adacore.com>
315 * gcc-interface/trans.c (create_temporary): New function taken from...
316 (create_init_temporary): ...here. Call it.
317 (call_to_gnu): Create the temporary for the return value early, if any.
318 Create it for a function with copy-in/copy-out parameters if there is
319 no target; in other cases of copy-in/copy-out, use another temporary.
320 Push the new binding level lazily. Add and rename local variables.
322 2011-03-23 Eric Botcazou <ebotcazou@adacore.com>
324 * gcc-interface/decl.c (validate_size): Improve comments and tweak
326 (set_rm_size): Likewise.
328 2011-03-23 Eric Botcazou <ebotcazou@adacore.com>
330 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Create TYPE_DECL
331 for the padded type built in order to support a specified alignment.
332 Fix incorrect formatting.
334 2011-03-21 Eric Botcazou <ebotcazou@adacore.com>
337 * gcc-interface/decl.c (elaborate_expression_1): Localize GNU_DECL.
339 2011-03-21 Eric Botcazou <ebotcazou@adacore.com>
341 * gcc-interface/decl.c (components_to_record): Add REORDER parameter,
342 rename DEBUG_INFO_P into DEBUG_INFO and move P_GNU_REP_LIST parameter
343 to the end of the list. Adjust recursive call. Rename local variable.
344 If REORDER is true, reorder components of the record type.
345 (gnat_to_gnu_entity): Pass OK_To_Reorder_Components flag as argument to
346 components_to_record and adjust the parameter list.
348 2011-03-21 Eric Botcazou <ebotcazou@adacore.com>
350 * gcc-interface/decl.c (elaborate_expression_1): When optimization is
351 disabled, use the variable for bounds of loop iteration scheme.
353 2011-03-21 Kai Tietz <ktietz@redhat.com>
356 * gcc-interface/utils.c (gnat_internal_attribute_table): Add new column
358 2011-03-17 Eric Botcazou <ebotcazou@adacore.com>
360 * gcc-interface/decl.c (elaborate_expression_1): Try harder to find
361 out whether the expression is read-only. Short-circuit placeholder
362 case and rename a couple of local variables.
364 2011-03-17 Eric Botcazou <ebotcazou@adacore.com>
366 * gcc-interface/gigi.h (smaller_form_type_p): Declare.
367 * gcc-interface/trans.c (smaller_form_type_p): Make global and move...
368 * gcc-interface/utils.c (smaller_form_type_p): ...to here.
369 (convert): Deal with conversions from a smaller form type specially.
371 2011-02-14 Eric Botcazou <ebotcazou@adacore.com>
373 * gcc-interface/misc.c (gnat_init_options): Do not concatenate -I and
374 its argument, except for the special -I- switch.
376 2011-02-12 Gerald Pfeifer <gerald@pfeifer.com>
378 * gnat_ugn.texi (Compiling Different Versions of Ada): Update
379 link to "Ada Issues".
381 2011-02-08 Eric Botcazou <ebotcazou@adacore.com>
383 * gcc-interface/Makefile.in (x86-64 darwin): Handle multilibs.
385 2011-02-03 Eric Botcazou <ebotcazou@adacore.com>
387 * gcc-interface/gigi.h (fill_vms_descriptor): Take GNU_TYPE instead of
389 * gcc-interface/utils2.c (fill_vms_descriptor): Move from here to...
390 * gcc-interface/utils.c (fill_vms_descriptor): ...here. Take GNU_TYPE
391 instead of GNAT_FORMAL. Protect the expression against multiple uses.
392 Do not generate the check directly, instead instantiate the template
393 check present in the descriptor.
394 (make_descriptor_field): Move around.
395 (build_vms_descriptor32): Build a template check in the POINTER field.
396 (build_vms_descriptor): Remove useless suffixes.
397 * gcc-interface/trans.c (call_to_gnu): Adjust fill_vms_descriptor call.
399 2011-01-26 Eric Botcazou <ebotcazou@adacore.com>
402 * targext.c: Include target files if IN_RTS is defined.
404 2011-01-26 Richard Guenther <rguenther@suse.de>
407 * targext.c: Include config.h.
408 * gcc-interface/Make-lang.in (ada/targext.o): Add $(CONFIG_H)
411 2011-01-04 Pascal Obry <obry@adacore.com>
412 Eric Botcazou <ebotcazou@adacore.com>
414 * gcc-interface/decl.c: Disable Stdcall convention handling for 64-bit.
416 2011-01-04 Eric Botcazou <ebotcazou@adacore.com>
418 * gcc-interface/trans.c (Case_Statement_to_gnu): Put the SLOC of the
419 end-of-case on the end label and its associated gotos, if any.
421 2011-01-04 Eric Botcazou <ebotcazou@adacore.com>
423 * gcc-interface/trans.c (Subprogram_Body_to_gnu): Evaluate the
424 expressions of the parameter cache within the statement group of
427 2011-01-04 Olivier Hainque <hainque@adacore.com>
428 Eric Botcazou <ebotcazou@adacore.com>
430 * gcc-interface/trans.c (BLOCK_SOURCE_END_LOCATION): Provide default.
431 (set_end_locus_from_node): New function.
432 (Subprogram_Body_to_gnu): Use it to mark both the inner BIND_EXPR we
433 make and the function end_locus.
434 (Compilation_Unit_to_gnu): Call it instead of a straight Sloc_to_locus
435 for the elaboration subprogram.
436 (set_gnu_expr_location_from_node) <default case>: Use it to attempt to
437 set the end_locus of the expression as well.
439 2011-01-04 Eric Botcazou <ebotcazou@adacore.com>
442 * gcc-interface/trans.c (Identifier_to_gnu): In SJLJ mode, do not make
443 variables that are referenced in exception handlers volatile.
447 Copyright (C) 2011 Free Software Foundation, Inc.
449 Copying and distribution of this file, with or without modification,
450 are permitted in any medium without royalty provided the copyright
451 notice and this notice are preserved.