1 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
3 * gcc-interface/decl.c (gnat_to_gnu_entity): Do not force the
4 DECL_ARTIFICIAL flag on enumeration types.
6 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
8 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Do not make
9 fat pointer types artificial unconditionally.
10 <E_Array_Subtype>: Attach the base array type as a parallel type if it
13 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
15 * gcc-interface/gigi.h (get_dummy_type): Declare.
16 (build_dummy_unc_pointer_types): Likewise.
17 (finish_fat_pointer_type): Likewise.
18 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: If a dummy
19 fat pointer type has been built, complete it in place.
20 <E_Access_Type>: Call build_dummy_unc_pointer_types to build dummy fat
21 and thin pointers. Remove useless variable.
22 (finish_fat_pointer_type): Make global and move to...
23 * gcc-interface/utils.c (finish_fat_pointer_type): ...here.
24 (get_dummy_type): New function.
25 (build_dummy_unc_pointer_types): Likewise.
26 (gnat_pushdecl): Propage the name to the anonymous variants only.
27 (update_pointer_to): Only adjust the pointer types in the unconstrained
30 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
32 * gcc-interface/ada-tree.h (DECL_TAFT_TYPE_P): New flag.
33 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Incomplete_Type>: Set it
34 if this is a Taft amendment type and the full declaration is available.
35 * gcc-interface/trans.c (process_type): Likewise.
36 If there is an old type, mark the new one as used if DECL_TAFT_TYPE_P.
37 (process_freeze_entity): Likewise.
38 * gcc-interface/utils.c (dummy_global): New static variable.
39 (gnat_write_global_declarations): If there are types declared as used
40 at the global level, insert them in the global hash table.
42 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
44 * gcc-interface/gigi.h (record_builtin_type): Add ARTIFICIAL_P param.
45 * gcc-interface/utils.c (gnat_pushdecl): If this is a non-artificial
46 declaration of an array type, then set DECL_ORIGINAL_TYPE to a distinct
48 (record_builtin_type): Add ARTIFICIAL_P parameter. Set DECL_ARTIFICIAL
49 flag of the type accordingly.
50 * gcc-interface/trans.c (gigi): Adjust calls to record_builtin_type.
52 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
54 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Defer
55 finalizing types when updating the pointers to the designated type.
56 <all>: Finalize the deferred types even if we didn't defer processing
57 of incomplete types in this invocation.
59 2011-04-01 Olivier Hainque <hainque@adacore.com>
60 Nicolas Setton <setton@adacore.com>
61 Eric Botcazou <ebotcazou@adacore.com>
63 * gcc-interface/misc.c (gnat_descriptive_type): New function.
64 (LANG_HOOKS_DESCRIPTIVE_TYPE): Redefine to gnat_descriptive_type.
66 2011-03-28 Kai Tietz <ktietz@redhat.com>
68 * gcc-interface/Makefile.in (SO_LIB): Handle multilib build for native
70 (EH_MECHANISM): Use GCC exception mechanism for native Windows targets.
71 * system-mingw.ads (System): Change ZCX_By_Default default to True.
73 * raise-gcc.c (PERSONALITY_FUNCTION): Add prototype.
75 2011-03-28 Tristan Gingold <gingold@adacore.com>
78 * gcc-interface/Make-lang.in (ada/b_gnat1.adb): Replace ada/b_gnat1.c.
79 Use ada output of gnatbind.
80 (ada/b_gnatb.adb): Ditto.
81 (ada/b_gnat1.o, ada/b_gnatb.o): New rules.
82 (ada.mostlyclean, ada.stage1)
83 (ada.stage2, ada.stage3, ada.stage4, ada.stageprofile)
84 (ada.stagefeedback): Adjust.
85 * gcc-interface/Makefile.in (b_gnatl.adb): Replace b_gnatl.c.
86 Use ada output of gnatbind.
88 (b_gnatl.o, b_gnatm.o): New rules.
90 2011-03-26 Eric Botcazou <ebotcazou@adacore.com>
92 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Create TYPE_DECL
93 for the padded type built to support a specified size or alignment.
95 2011-03-26 Eric Botcazou <ebotcazou@adacore.com>
97 * gcc-interface/gigi.h (finalize_from_with_types): Adjust comment.
98 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Defer
99 unconditionally to the end of the unit when the designated type is
101 <all>: Rename local variable. Attempt to un-defer types only and do it
102 for limited_with'ed types as well.
103 (finalize_from_with_types): Adjust comment. Rename variable and tidy.
104 * gcc-interface/trans.c (Compilation_Unit_to_gnu): Use GNAT_UNIT
105 consistently and remove redundant call to finalize_from_with_types.
107 2011-03-26 Eric Botcazou <ebotcazou@adacore.com>
109 * inline.adb (Back_End_Cannot_Inline): Lift restriction on calls to
110 subprograms without a previous spec declared in the same unit.
111 * gcc-interface/trans.c (Compilation_Unit_to_gnu): Process inlined
112 subprograms at the end of the unit instead of at the beginning.
113 * gcc-interface/utils.c (create_subprog_decl): Check that the entity
114 isn't public for the special handling of non-inline functions nested
115 inside inline external functions.
117 2011-03-25 Jeff Law <law@redhat.com>
119 * gcc-interface/utils.c (def_fn_type): Add missing va_end.
121 2011-03-24 Eric Botcazou <ebotcazou@adacore.com>
123 * einfo.ads (Size_Depends_On_Discriminant): Adjust description.
124 * layout.adb (Compute_Size_Depends_On_Discriminant): New procedure
125 to compute Set_Size_Depends_On_Discriminant.
126 (Layout_Type): Call it on array types in back-end layout mode.
127 * sem_util.adb (Requires_Transient_Scope): Return true for array
128 types only if the size depends on the value of discriminants.
129 * gcc-interface/utils2.c (build_binary_op) <MODIFY_EXPR>: Use the RHS
130 type if the RHS is a call to a function that returns an unconstrained
131 type with default discriminant.
133 2011-03-24 Eric Botcazou <ebotcazou@adacore.com>
135 * gcc-interface/trans.c (gnat_to_gnu): Remove obsolete case of
136 non-conversion to the nominal result type at the end.
138 2011-03-23 Eric Botcazou <ebotcazou@adacore.com>
140 * gcc-interface/trans.c (create_temporary): New function taken from...
141 (create_init_temporary): ...here. Call it.
142 (call_to_gnu): Create the temporary for the return value early, if any.
143 Create it for a function with copy-in/copy-out parameters if there is
144 no target; in other cases of copy-in/copy-out, use another temporary.
145 Push the new binding level lazily. Add and rename local variables.
147 2011-03-23 Eric Botcazou <ebotcazou@adacore.com>
149 * gcc-interface/decl.c (validate_size): Improve comments and tweak
151 (set_rm_size): Likewise.
153 2011-03-23 Eric Botcazou <ebotcazou@adacore.com>
155 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Create TYPE_DECL
156 for the padded type built in order to support a specified alignment.
157 Fix incorrect formatting.
159 2011-03-21 Eric Botcazou <ebotcazou@adacore.com>
162 * gcc-interface/decl.c (elaborate_expression_1): Localize GNU_DECL.
164 2011-03-21 Eric Botcazou <ebotcazou@adacore.com>
166 * gcc-interface/decl.c (components_to_record): Add REORDER parameter,
167 rename DEBUG_INFO_P into DEBUG_INFO and move P_GNU_REP_LIST parameter
168 to the end of the list. Adjust recursive call. Rename local variable.
169 If REORDER is true, reorder components of the record type.
170 (gnat_to_gnu_entity): Pass OK_To_Reorder_Components flag as argument to
171 components_to_record and adjust the parameter list.
173 2011-03-21 Eric Botcazou <ebotcazou@adacore.com>
175 * gcc-interface/decl.c (elaborate_expression_1): When optimization is
176 disabled, use the variable for bounds of loop iteration scheme.
178 2011-03-21 Kai Tietz <ktietz@redhat.com>
181 * gcc-interface/utils.c (gnat_internal_attribute_table): Add new column
183 2011-03-17 Eric Botcazou <ebotcazou@adacore.com>
185 * gcc-interface/decl.c (elaborate_expression_1): Try harder to find
186 out whether the expression is read-only. Short-circuit placeholder
187 case and rename a couple of local variables.
189 2011-03-17 Eric Botcazou <ebotcazou@adacore.com>
191 * gcc-interface/gigi.h (smaller_form_type_p): Declare.
192 * gcc-interface/trans.c (smaller_form_type_p): Make global and move...
193 * gcc-interface/utils.c (smaller_form_type_p): ...to here.
194 (convert): Deal with conversions from a smaller form type specially.
196 2011-02-14 Eric Botcazou <ebotcazou@adacore.com>
198 * gcc-interface/misc.c (gnat_init_options): Do not concatenate -I and
199 its argument, except for the special -I- switch.
201 2011-02-12 Gerald Pfeifer <gerald@pfeifer.com>
203 * gnat_ugn.texi (Compiling Different Versions of Ada): Update
204 link to "Ada Issues".
206 2011-02-08 Eric Botcazou <ebotcazou@adacore.com>
208 * gcc-interface/Makefile.in (x86-64 darwin): Handle multilibs.
210 2011-02-03 Eric Botcazou <ebotcazou@adacore.com>
212 * gcc-interface/gigi.h (fill_vms_descriptor): Take GNU_TYPE instead of
214 * gcc-interface/utils2.c (fill_vms_descriptor): Move from here to...
215 * gcc-interface/utils.c (fill_vms_descriptor): ...here. Take GNU_TYPE
216 instead of GNAT_FORMAL. Protect the expression against multiple uses.
217 Do not generate the check directly, instead instantiate the template
218 check present in the descriptor.
219 (make_descriptor_field): Move around.
220 (build_vms_descriptor32): Build a template check in the POINTER field.
221 (build_vms_descriptor): Remove useless suffixes.
222 * gcc-interface/trans.c (call_to_gnu): Adjust fill_vms_descriptor call.
224 2011-01-26 Eric Botcazou <ebotcazou@adacore.com>
227 * targext.c: Include target files if IN_RTS is defined.
229 2011-01-26 Richard Guenther <rguenther@suse.de>
232 * targext.c: Include config.h.
233 * gcc-interface/Make-lang.in (ada/targext.o): Add $(CONFIG_H)
236 2011-01-04 Pascal Obry <obry@adacore.com>
237 Eric Botcazou <ebotcazou@adacore.com>
239 * gcc-interface/decl.c: Disable Stdcall convention handling for 64-bit.
241 2011-01-04 Eric Botcazou <ebotcazou@adacore.com>
243 * gcc-interface/trans.c (Case_Statement_to_gnu): Put the SLOC of the
244 end-of-case on the end label and its associated gotos, if any.
246 2011-01-04 Eric Botcazou <ebotcazou@adacore.com>
248 * gcc-interface/trans.c (Subprogram_Body_to_gnu): Evaluate the
249 expressions of the parameter cache within the statement group of
252 2011-01-04 Olivier Hainque <hainque@adacore.com>
253 Eric Botcazou <ebotcazou@adacore.com>
255 * gcc-interface/trans.c (BLOCK_SOURCE_END_LOCATION): Provide default.
256 (set_end_locus_from_node): New function.
257 (Subprogram_Body_to_gnu): Use it to mark both the inner BIND_EXPR we
258 make and the function end_locus.
259 (Compilation_Unit_to_gnu): Call it instead of a straight Sloc_to_locus
260 for the elaboration subprogram.
261 (set_gnu_expr_location_from_node) <default case>: Use it to attempt to
262 set the end_locus of the expression as well.
264 2011-01-04 Eric Botcazou <ebotcazou@adacore.com>
267 * gcc-interface/trans.c (Identifier_to_gnu): In SJLJ mode, do not make
268 variables that are referenced in exception handlers volatile.
272 Copyright (C) 2011 Free Software Foundation, Inc.
274 Copying and distribution of this file, with or without modification,
275 are permitted in any medium without royalty provided the copyright
276 notice and this notice are preserved.