]>
Commit | Line | Data |
---|---|---|
51c5169c EB |
1 | 2011-04-17 Eric Botcazou <ebotcazou@adacore.com> |
2 | ||
3 | * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Function>: Declare the | |
4 | padded type built for the return type if it is unconstrained. | |
5 | ||
61e46a7d NF |
6 | 2011-04-14 Nathan Froyd <froydnj@codesourcery.com> |
7 | ||
8 | * gcc-interface/utils.c (gnat_poplevel): Use block_chainon. | |
9 | ||
81f653d6 NF |
10 | 2011-04-12 Nathan Froyd <froydnj@codesourcery.com> |
11 | ||
b4867846 EB |
12 | * gcc-interface/ada-tree.h (union lang_tree_node): Check for TS_COMMON |
13 | before calling TREE_CHAIN. | |
81f653d6 NF |
14 | * gcc-interface/misc.c (gnat_init_ts): New function. |
15 | (LANG_HOOKS_INIT_TS): Define. | |
16 | ||
a358e188 MJ |
17 | 2011-04-12 Martin Jambor <mjambor@suse.cz> |
18 | ||
b4867846 EB |
19 | * gcc-interface/utils.c (end_subprog_body): Call cgraph_get_create_node |
20 | instead of cgraph_node. | |
a358e188 | 21 | |
29b1c5a4 EB |
22 | 2011-04-08 Eric Botcazou <ebotcazou@adacore.com> |
23 | ||
24 | * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Set minimum | |
25 | alignment on fields of the RETURN type built for the Copy-In Copy-Out | |
26 | mechanism. | |
27 | ||
88872b00 EB |
28 | 2011-04-08 Eric Botcazou <ebotcazou@adacore.com> |
29 | ||
30 | * gcc-interface/trans.c (Identifier_to_gnu): Do not return initializers | |
31 | of aggregate types that contain a placeholder. | |
32 | ||
dcf0c47e NF |
33 | 2011-04-08 Nathan Froyd <froydnj@codesourcery.com> |
34 | ||
35 | * gcc-interface/utils.c (handle_sentinel_attribute): Don't use | |
b4867846 | 36 | TYPE_ARG_TYPES. |
dcf0c47e NF |
37 | (handle_type_generic_attribute): Likewise. |
38 | ||
53e3000c EB |
39 | 2011-04-04 Eric Botcazou <ebotcazou@adacore.com> |
40 | ||
41 | PR ada/47163 | |
42 | * s-oscons-tmplt.c (MSG_WAITALL): Fix thinko in previous change. | |
43 | ||
ab380bb4 KT |
44 | 2011-04-04 Kai Tietz <ktietz@redhat.com> |
45 | ||
46 | PR ada/47163 | |
47 | * s-oscons-tmplt.c (MSG_WAITALL): Define it for native windows | |
48 | targets to flag value. | |
49 | ||
8ffac116 EB |
50 | 2011-04-02 Eric Botcazou <ebotcazou@adacore.com> |
51 | ||
52 | * gcc-interface/utils2.c (build_allocator): In the unconstrained array | |
53 | type case, do not strip a padding type around the array type. | |
54 | ||
de9528f0 EB |
55 | 2011-04-02 Eric Botcazou <ebotcazou@adacore.com> |
56 | ||
57 | * gcc-interface/utils.c (update_pointer_to): Finalize named pointer | |
58 | types. | |
59 | ||
d9d7a26c EB |
60 | 2011-04-02 Eric Botcazou <ebotcazou@adacore.com> |
61 | ||
62 | * gcc-interface/lang.opt (feliminate-unused-debug-types): Delete. | |
63 | * gcc-interface/misc.c (gnat_handle_option): Remove special handling | |
de9528f0 | 64 | code for -feliminate-unused-debug-types. |
d9d7a26c EB |
65 | (gnat_post_options): Likewise. |
66 | ||
4cb12a90 EB |
67 | 2011-04-02 Eric Botcazou <ebotcazou@adacore.com> |
68 | ||
69 | * gcc-interface/utils.c (gnat_pushdecl): If this is a non-artificial | |
70 | declaration of a pointer type, then set DECL_ORIGINAL_TYPE to a | |
71 | distinct copy. | |
72 | ||
acccc61c EB |
73 | 2011-04-02 Eric Botcazou <ebotcazou@adacore.com> |
74 | ||
75 | * gcc-interface/decl.c (gnat_to_gnu_entity): Do not force the | |
76 | DECL_ARTIFICIAL flag on enumeration types. | |
77 | ||
583eb0c9 EB |
78 | 2011-04-02 Eric Botcazou <ebotcazou@adacore.com> |
79 | ||
80 | * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Do not make | |
81 | fat pointer types artificial unconditionally. | |
82 | <E_Array_Subtype>: Attach the base array type as a parallel type if it | |
83 | isn't artificial. | |
84 | ||
e3edbd56 EB |
85 | 2011-04-02 Eric Botcazou <ebotcazou@adacore.com> |
86 | ||
87 | * gcc-interface/gigi.h (get_dummy_type): Declare. | |
88 | (build_dummy_unc_pointer_types): Likewise. | |
89 | (finish_fat_pointer_type): Likewise. | |
90 | * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: If a dummy | |
91 | fat pointer type has been built, complete it in place. | |
92 | <E_Access_Type>: Call build_dummy_unc_pointer_types to build dummy fat | |
93 | and thin pointers. Remove useless variable. | |
94 | (finish_fat_pointer_type): Make global and move to... | |
95 | * gcc-interface/utils.c (finish_fat_pointer_type): ...here. | |
96 | (get_dummy_type): New function. | |
97 | (build_dummy_unc_pointer_types): Likewise. | |
98 | (gnat_pushdecl): Propage the name to the anonymous variants only. | |
99 | (update_pointer_to): Only adjust the pointer types in the unconstrained | |
100 | array case. | |
101 | ||
65444786 EB |
102 | 2011-04-02 Eric Botcazou <ebotcazou@adacore.com> |
103 | ||
104 | * gcc-interface/ada-tree.h (DECL_TAFT_TYPE_P): New flag. | |
105 | * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Incomplete_Type>: Set it | |
106 | if this is a Taft amendment type and the full declaration is available. | |
107 | * gcc-interface/trans.c (process_type): Likewise. | |
108 | If there is an old type, mark the new one as used if DECL_TAFT_TYPE_P. | |
109 | (process_freeze_entity): Likewise. | |
110 | * gcc-interface/utils.c (dummy_global): New static variable. | |
111 | (gnat_write_global_declarations): If there are types declared as used | |
112 | at the global level, insert them in the global hash table. | |
113 | ||
1aeb40dd EB |
114 | 2011-04-02 Eric Botcazou <ebotcazou@adacore.com> |
115 | ||
116 | * gcc-interface/gigi.h (record_builtin_type): Add ARTIFICIAL_P param. | |
117 | * gcc-interface/utils.c (gnat_pushdecl): If this is a non-artificial | |
118 | declaration of an array type, then set DECL_ORIGINAL_TYPE to a distinct | |
119 | copy. | |
120 | (record_builtin_type): Add ARTIFICIAL_P parameter. Set DECL_ARTIFICIAL | |
121 | flag of the type accordingly. | |
122 | * gcc-interface/trans.c (gigi): Adjust calls to record_builtin_type. | |
123 | ||
80ec8b4c EB |
124 | 2011-04-02 Eric Botcazou <ebotcazou@adacore.com> |
125 | ||
126 | * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Defer | |
127 | finalizing types when updating the pointers to the designated type. | |
128 | <all>: Finalize the deferred types even if we didn't defer processing | |
129 | of incomplete types in this invocation. | |
130 | ||
2a9d769a OH |
131 | 2011-04-01 Olivier Hainque <hainque@adacore.com> |
132 | Nicolas Setton <setton@adacore.com> | |
133 | Eric Botcazou <ebotcazou@adacore.com> | |
134 | ||
135 | * gcc-interface/misc.c (gnat_descriptive_type): New function. | |
136 | (LANG_HOOKS_DESCRIPTIVE_TYPE): Redefine to gnat_descriptive_type. | |
137 | ||
2438d7a6 KT |
138 | 2011-03-28 Kai Tietz <ktietz@redhat.com> |
139 | ||
333d8aff | 140 | * gcc-interface/Makefile.in (SO_LIB): Handle multilib build for native |
80ec8b4c EB |
141 | Windows targets. |
142 | (EH_MECHANISM): Use GCC exception mechanism for native Windows targets. | |
143 | * system-mingw.ads (System): Change ZCX_By_Default default to True. | |
333d8aff | 144 | |
80ec8b4c | 145 | * raise-gcc.c (PERSONALITY_FUNCTION): Add prototype. |
2438d7a6 | 146 | |
8ad150f6 TG |
147 | 2011-03-28 Tristan Gingold <gingold@adacore.com> |
148 | ||
149 | PR ada/44431 | |
80ec8b4c EB |
150 | * gcc-interface/Make-lang.in (ada/b_gnat1.adb): Replace ada/b_gnat1.c. |
151 | Use ada output of gnatbind. | |
8ad150f6 TG |
152 | (ada/b_gnatb.adb): Ditto. |
153 | (ada/b_gnat1.o, ada/b_gnatb.o): New rules. | |
154 | (ada.mostlyclean, ada.stage1) | |
155 | (ada.stage2, ada.stage3, ada.stage4, ada.stageprofile) | |
156 | (ada.stagefeedback): Adjust. | |
80ec8b4c | 157 | * gcc-interface/Makefile.in (b_gnatl.adb): Replace b_gnatl.c. |
8ad150f6 TG |
158 | Use ada output of gnatbind. |
159 | (b_gnatm.adb): Ditto. | |
160 | (b_gnatl.o, b_gnatm.o): New rules. | |
161 | ||
51c7954d EB |
162 | 2011-03-26 Eric Botcazou <ebotcazou@adacore.com> |
163 | ||
164 | * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Create TYPE_DECL | |
165 | for the padded type built to support a specified size or alignment. | |
166 | ||
6ddf9843 EB |
167 | 2011-03-26 Eric Botcazou <ebotcazou@adacore.com> |
168 | ||
169 | * gcc-interface/gigi.h (finalize_from_with_types): Adjust comment. | |
170 | * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Defer | |
171 | unconditionally to the end of the unit when the designated type is | |
172 | limited_with'ed. | |
173 | <all>: Rename local variable. Attempt to un-defer types only and do it | |
174 | for limited_with'ed types as well. | |
175 | (finalize_from_with_types): Adjust comment. Rename variable and tidy. | |
176 | * gcc-interface/trans.c (Compilation_Unit_to_gnu): Use GNAT_UNIT | |
177 | consistently and remove redundant call to finalize_from_with_types. | |
178 | ||
5daed84a EB |
179 | 2011-03-26 Eric Botcazou <ebotcazou@adacore.com> |
180 | ||
181 | * inline.adb (Back_End_Cannot_Inline): Lift restriction on calls to | |
182 | subprograms without a previous spec declared in the same unit. | |
183 | * gcc-interface/trans.c (Compilation_Unit_to_gnu): Process inlined | |
184 | subprograms at the end of the unit instead of at the beginning. | |
185 | * gcc-interface/utils.c (create_subprog_decl): Check that the entity | |
186 | isn't public for the special handling of non-inline functions nested | |
187 | inside inline external functions. | |
188 | ||
0edf1bb2 JL |
189 | 2011-03-25 Jeff Law <law@redhat.com> |
190 | ||
5daed84a | 191 | * gcc-interface/utils.c (def_fn_type): Add missing va_end. |
0edf1bb2 | 192 | |
e3c4580e EB |
193 | 2011-03-24 Eric Botcazou <ebotcazou@adacore.com> |
194 | ||
195 | * einfo.ads (Size_Depends_On_Discriminant): Adjust description. | |
196 | * layout.adb (Compute_Size_Depends_On_Discriminant): New procedure | |
197 | to compute Set_Size_Depends_On_Discriminant. | |
198 | (Layout_Type): Call it on array types in back-end layout mode. | |
199 | * sem_util.adb (Requires_Transient_Scope): Return true for array | |
200 | types only if the size depends on the value of discriminants. | |
201 | * gcc-interface/utils2.c (build_binary_op) <MODIFY_EXPR>: Use the RHS | |
202 | type if the RHS is a call to a function that returns an unconstrained | |
203 | type with default discriminant. | |
204 | ||
abbc8c7b EB |
205 | 2011-03-24 Eric Botcazou <ebotcazou@adacore.com> |
206 | ||
207 | * gcc-interface/trans.c (gnat_to_gnu): Remove obsolete case of | |
208 | non-conversion to the nominal result type at the end. | |
209 | ||
ddb5a105 EB |
210 | 2011-03-23 Eric Botcazou <ebotcazou@adacore.com> |
211 | ||
212 | * gcc-interface/trans.c (create_temporary): New function taken from... | |
213 | (create_init_temporary): ...here. Call it. | |
214 | (call_to_gnu): Create the temporary for the return value early, if any. | |
215 | Create it for a function with copy-in/copy-out parameters if there is | |
216 | no target; in other cases of copy-in/copy-out, use another temporary. | |
217 | Push the new binding level lazily. Add and rename local variables. | |
218 | ||
0d853156 EB |
219 | 2011-03-23 Eric Botcazou <ebotcazou@adacore.com> |
220 | ||
221 | * gcc-interface/decl.c (validate_size): Improve comments and tweak | |
222 | error message. | |
223 | (set_rm_size): Likewise. | |
224 | ||
4184ef1b EB |
225 | 2011-03-23 Eric Botcazou <ebotcazou@adacore.com> |
226 | ||
227 | * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Create TYPE_DECL | |
228 | for the padded type built in order to support a specified alignment. | |
229 | Fix incorrect formatting. | |
230 | ||
bf7eefab EB |
231 | 2011-03-21 Eric Botcazou <ebotcazou@adacore.com> |
232 | ||
233 | PR bootstrap/48216 | |
234 | * gcc-interface/decl.c (elaborate_expression_1): Localize GNU_DECL. | |
235 | ||
ef0feeb2 EB |
236 | 2011-03-21 Eric Botcazou <ebotcazou@adacore.com> |
237 | ||
238 | * gcc-interface/decl.c (components_to_record): Add REORDER parameter, | |
239 | rename DEBUG_INFO_P into DEBUG_INFO and move P_GNU_REP_LIST parameter | |
240 | to the end of the list. Adjust recursive call. Rename local variable. | |
241 | If REORDER is true, reorder components of the record type. | |
242 | (gnat_to_gnu_entity): Pass OK_To_Reorder_Components flag as argument to | |
243 | components_to_record and adjust the parameter list. | |
244 | ||
646f9414 EB |
245 | 2011-03-21 Eric Botcazou <ebotcazou@adacore.com> |
246 | ||
247 | * gcc-interface/decl.c (elaborate_expression_1): When optimization is | |
248 | disabled, use the variable for bounds of loop iteration scheme. | |
249 | ||
62d784f7 KT |
250 | 2011-03-21 Kai Tietz <ktietz@redhat.com> |
251 | ||
252 | PR target/12171 | |
646f9414 | 253 | * gcc-interface/utils.c (gnat_internal_attribute_table): Add new column |
62d784f7 | 254 | |
f230d759 EB |
255 | 2011-03-17 Eric Botcazou <ebotcazou@adacore.com> |
256 | ||
257 | * gcc-interface/decl.c (elaborate_expression_1): Try harder to find | |
258 | out whether the expression is read-only. Short-circuit placeholder | |
259 | case and rename a couple of local variables. | |
260 | ||
bb1f7929 EB |
261 | 2011-03-17 Eric Botcazou <ebotcazou@adacore.com> |
262 | ||
263 | * gcc-interface/gigi.h (smaller_form_type_p): Declare. | |
264 | * gcc-interface/trans.c (smaller_form_type_p): Make global and move... | |
265 | * gcc-interface/utils.c (smaller_form_type_p): ...to here. | |
266 | (convert): Deal with conversions from a smaller form type specially. | |
267 | ||
400a2d24 EB |
268 | 2011-02-14 Eric Botcazou <ebotcazou@adacore.com> |
269 | ||
270 | * gcc-interface/misc.c (gnat_init_options): Do not concatenate -I and | |
271 | its argument, except for the special -I- switch. | |
272 | ||
c26bc3ad GP |
273 | 2011-02-12 Gerald Pfeifer <gerald@pfeifer.com> |
274 | ||
275 | * gnat_ugn.texi (Compiling Different Versions of Ada): Update | |
276 | link to "Ada Issues". | |
277 | ||
07b8e910 EB |
278 | 2011-02-08 Eric Botcazou <ebotcazou@adacore.com> |
279 | ||
280 | * gcc-interface/Makefile.in (x86-64 darwin): Handle multilibs. | |
281 | ||
31a5a547 EB |
282 | 2011-02-03 Eric Botcazou <ebotcazou@adacore.com> |
283 | ||
284 | * gcc-interface/gigi.h (fill_vms_descriptor): Take GNU_TYPE instead of | |
285 | GNAT_FORMAL. | |
286 | * gcc-interface/utils2.c (fill_vms_descriptor): Move from here to... | |
287 | * gcc-interface/utils.c (fill_vms_descriptor): ...here. Take GNU_TYPE | |
288 | instead of GNAT_FORMAL. Protect the expression against multiple uses. | |
289 | Do not generate the check directly, instead instantiate the template | |
290 | check present in the descriptor. | |
291 | (make_descriptor_field): Move around. | |
292 | (build_vms_descriptor32): Build a template check in the POINTER field. | |
293 | (build_vms_descriptor): Remove useless suffixes. | |
294 | * gcc-interface/trans.c (call_to_gnu): Adjust fill_vms_descriptor call. | |
295 | ||
dcf25f59 EB |
296 | 2011-01-26 Eric Botcazou <ebotcazou@adacore.com> |
297 | ||
298 | PR bootstrap/47467 | |
299 | * targext.c: Include target files if IN_RTS is defined. | |
300 | ||
0418e131 RG |
301 | 2011-01-26 Richard Guenther <rguenther@suse.de> |
302 | ||
303 | PR bootstrap/47467 | |
304 | * targext.c: Include config.h. | |
305 | * gcc-interface/Make-lang.in (ada/targext.o): Add $(CONFIG_H) | |
306 | dependency. | |
307 | ||
c6eecbd8 PO |
308 | 2011-01-04 Pascal Obry <obry@adacore.com> |
309 | Eric Botcazou <ebotcazou@adacore.com> | |
310 | ||
311 | * gcc-interface/decl.c: Disable Stdcall convention handling for 64-bit. | |
312 | ||
2d3c7e4f EB |
313 | 2011-01-04 Eric Botcazou <ebotcazou@adacore.com> |
314 | ||
315 | * gcc-interface/trans.c (Case_Statement_to_gnu): Put the SLOC of the | |
316 | end-of-case on the end label and its associated gotos, if any. | |
317 | ||
0394741f EB |
318 | 2011-01-04 Eric Botcazou <ebotcazou@adacore.com> |
319 | ||
320 | * gcc-interface/trans.c (Subprogram_Body_to_gnu): Evaluate the | |
321 | expressions of the parameter cache within the statement group of | |
322 | the CICO mechanism. | |
323 | ||
2a02d090 OH |
324 | 2011-01-04 Olivier Hainque <hainque@adacore.com> |
325 | Eric Botcazou <ebotcazou@adacore.com> | |
326 | ||
327 | * gcc-interface/trans.c (BLOCK_SOURCE_END_LOCATION): Provide default. | |
328 | (set_end_locus_from_node): New function. | |
329 | (Subprogram_Body_to_gnu): Use it to mark both the inner BIND_EXPR we | |
330 | make and the function end_locus. | |
331 | (Compilation_Unit_to_gnu): Call it instead of a straight Sloc_to_locus | |
332 | for the elaboration subprogram. | |
333 | (set_gnu_expr_location_from_node) <default case>: Use it to attempt to | |
334 | set the end_locus of the expression as well. | |
335 | ||
89f5e978 EB |
336 | 2011-01-04 Eric Botcazou <ebotcazou@adacore.com> |
337 | ||
338 | PR ada/47131 | |
339 | * gcc-interface/trans.c (Identifier_to_gnu): In SJLJ mode, do not make | |
340 | variables that are referenced in exception handlers volatile. | |
341 | ||
342 | ||
ad41bd84 | 343 | \f |
797103eb | 344 | Copyright (C) 2011 Free Software Foundation, Inc. |
ad41bd84 JM |
345 | |
346 | Copying and distribution of this file, with or without modification, | |
347 | are permitted in any medium without royalty provided the copyright | |
348 | notice and this notice are preserved. |