9e778c102c52c3aadb18ba6fabd0b4089eae476e
[gcc.git] / gcc / ada / ChangeLog
1 2011-07-02 Eric Botcazou <ebotcazou@adacore.com>
2 Olivier Hainque <hainque@adacore.com>
3 Nicolas Setton <setton@adacore.com>
4
5 * gcc-interface/utils.c (record_builtin_type): Set TYPE_ARTIFICIAL on
6 the type according to the ARTIFICIAL_P parameter.
7 (create_type_decl): Likewise.
8 (create_type_stub_decl): Set TYPE_ARTIFICIAL on the type to 1.
9
10 2011-07-01 Eric Botcazou <ebotcazou@adacore.com>
11
12 * gcc-interface/Make-lang.in (gnat1): Prepend '+' to the command.
13 (gnatbind): Likewise.
14
15 2011-06-29 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
16
17 * gcc-interface/Makefile.in (TOOLS_LIBS): Add $(LIBINTL).
18
19 2011-06-18 Eric Botcazou <ebotcazou@adacore.com>
20
21 * gcc-interface/decl.c (gnat_to_gnu_component_type): Use GNAT_TYPE
22 local variable throughout. Remove useless call to Base_Type.
23 (gnat_to_gnu_field): Use GNAT_FIELD_TYPE local variable throughout.
24 Take it also into account for the volatileness of the field. Set the
25 TREE_SIDE_EFFECTS flag as well in this case. Reorder some warnings.
26
27 2011-06-18 Eric Botcazou <ebotcazou@adacore.com>
28
29 * gcc-interface/trans.c (Identifier_to_gnu): Don't set TREE_THIS_NOTRAP
30 on a dereference built for a by-ref object if it has an address clause.
31
32 2011-06-18 Eric Botcazou <ebotcazou@adacore.com>
33
34 * einfo.ads (Address_Taken): Document use for the second argument of
35 Asm_Input and Asm_Output attributes.
36 * sem_attr.adb (Analyze_Attribute) <Attribute_Asm_Input>: If the second
37 argument is an entity name, then set Address_Taken on it.
38 <Attribute_Asm_Output>: Likewise.
39 * gcc-interface/trans.c (lvalue_required_for_attribute_p): Handle the
40 Attr_Asm_Input and Attr_Asm_Output attributes explicitly.
41 (gnat_to_gnu) <N_Code_Statement>: If an operand is going to end up in
42 memory and is a CONST_DECL, retrieve its corresponding VAR_DECL.
43
44 2011-06-16 Joern Rennecke <joern.rennecke@embecosm.com>
45
46 PR middle-end/46500
47 * gcc-interface/decl.c (gnat_to_gnu_param): Use pack_cumulative_args.
48
49 2011-06-14 Joseph Myers <joseph@codesourcery.com>
50
51 * gcc-interface/Make-lang.in (gnatbind$(exeext)): Use ggc-none.o.
52 (ada/utils.o): Update dependencies.
53 * gcc-interface/Makefile.in (EXTRA_GNATTOOLS_OBJS): Add
54 ../../../libcpp/libcpp.a.
55 * gcc-interface/utils.c: Include common/common-target.h.
56 (process_attributes): Use targetm_common.have_named_sections.
57
58 2011-06-07 Richard Guenther <rguenther@suse.de>
59
60 * gcc-interface/misc.c (gnat_init): Do not set size_type_node or call
61 set_sizetype.
62
63 2011-06-06 Eric Botcazou <ebotcazou@adacore.com>
64
65 * gcc-interface/utils2.c (gnat_stabilize_reference): Propagate the
66 TREE_THIS_NOTRAP flag.
67
68 2011-06-06 Eric Botcazou <ebotcazou@adacore.com>
69
70 * gcc-interface/utils2.c (gnat_stabilize_reference) <COMPOUND_EXPR>:
71 Fix thinko.
72
73 2011-06-06 Eric Botcazou <ebotcazou@adacore.com>
74
75 * gcc-interface/trans.c (Identifier_to_gnu): Also handle deferred
76 constants whose full view has discriminants specially.
77
78 2011-06-06 Eric Botcazou <ebotcazou@adacore.com>
79
80 * gcc-interface/utils.c: Include diagnostic.h.
81 (gnat_write_global_declarations): Output debug information for all
82 global type declarations before finalizing the compilation unit.
83 * gcc-interface/Make-lang.in (ada/utils.o): Add dependency.
84
85 2011-05-25 Jakub Jelinek <jakub@redhat.com>
86
87 * gcc-interface/utils.c (def_fn_type): Remove extra va_end.
88
89 2011-05-25 Kai Tietz <ktietz@redhat.com>
90
91 * adaint.c (__gnat_to_canonical_file_list_next): Use array
92 initialization instead of const/none-const pointer assignment.
93
94 2011-05-24 Joseph Myers <joseph@codesourcery.com>
95
96 * gcc-interface/Make-lang.in (GNAT1_OBJS): Don't include
97 $(EXTRA_GNAT1_OBJS).
98 (GNATBIND_OBJS): Don't include $(EXTRA_GNATBIND_OBJS).
99 (EXTRA_GNAT1_OBJS, EXTRA_GNATBIND_OBJS): Remove.
100 (gnat1$(exeext), gnatbind$(exeext)): Use libcommon-target.a.
101 * gcc-interface/Makefile.in (EXTRA_GNATTOOLS_OBJS): Use
102 libcommon-target.a instead of prefix.o.
103
104 2011-05-21 Joseph Myers <joseph@codesourcery.com>
105
106 PR ada/49097
107 * gcc-interface/Make-lang.in (gnatbind$(exeext)): Depend on $(LIBDEPS).
108
109 2011-05-20 Joseph Myers <joseph@codesourcery.com>
110
111 * gcc-interface/Make-lang.in (EXTRA_GNATBIND_OBJS): Remove version.o.
112 * gcc-interface/Makefile.in (EXTRA_GNATTOOLS_OBJS): Use libcommon.a
113 instead of version.o.
114
115 2011-05-18 Kai Tietz <ktietz@redhat.com>
116
117 * gcc-interface/trans.c (Exception_Handler_to_gnu_sjlj): Use
118 boolean_false_node instead of integer_zero_node.
119 (convert_with_check): Likewise.
120 * gcc-interface/decl.c (choices_to_gnu): Likewise.
121
122 2011-05-12 Eric Botcazou <ebotcazou@adacore.com>
123
124 * gcc-interface/trans.c (call_to_gnu): In the by-reference case, if the
125 type of the parameter is an unconstrained array, convert the actual to
126 the type of the formal in the In Out and Out cases as well.
127
128 2011-05-11 Nathan Froyd <froydnj@codesourcery.com>
129
130 * gcc-interface/utils.c (def_fn_type): Don't call build_function_type;
131 call build_function_type_array or build_varargs_function_type_array
132 instead.
133 (create_subprog_type): Don't call build_function_type; call
134 build_function_type_vec instead.
135
136 2011-05-11 Nathan Froyd <froydnj@codesourcery.com>
137
138 * gcc-interface/ada-tree.h (TYPE_OBJECT_RECORD_TYPE): Use TYPE_MINVAL.
139 (TYPE_GCC_MIN_VALUE): Use TYPE_MINVAL.
140 (TYPE_GCC_MAX_VALUE): Use TYPE_MAXVAL.
141
142 2011-05-07 Eric Botcazou <ebotcazou@adacore.com>
143
144 * gcc-interface/decl.c (intrin_arglists_compatible_p): Remove spaces.
145
146 * gcc-interface/gigi.h (global_bindings_p): Adjust prototype.
147 * gcc-interface/utils.c (global_bindings_p): Return bool and simplify.
148
149 2011-05-05 Nathan Froyd <froydnj@codesourcery.com>
150
151 * gcc-interface/trans.c (Case_Statement_to_gnu): Call build_case_label.
152
153 2011-05-05 Nathan Froyd <froydnj@codesourcery.com>
154
155 * gcc-interface/decl.c (intrin_arglists_compatible_p): Use iterators
156 instead of accessing TYPE_ARG_TYPES directly.
157 * gcc-interface/utils.c (handle_nonnull_attribute): Likewise.
158
159 2011-05-05 Eric Botcazou <ebotcazou@adacore.com>
160
161 PR ada/48844
162 * gcc-interface/gigi.h (get_variant_part): Declare.
163 * gcc-interface/decl.c (get_variant_part): Make global.
164 * gcc-interface/utils2.c (find_common_type): Do not return T1 if the
165 types have the same constant size, are record types and T1 has a
166 variant part while T2 doesn't.
167
168 2011-05-05 Eric Botcazou <ebotcazou@adacore.com>
169
170 * gcc-interface/utils.c (begin_subprog_body): Do not call
171 get_pending_sizes.
172 (end_subprog_body): Likewise.
173
174 2011-05-04 Richard Guenther <rguenther@suse.de>
175
176 * gcc-interface/trans.c (gnat_to_gnu): Remove zero notrunc argument to
177 int_const_binop.
178 (pos_to_constructor): Likewise.
179
180 2011-05-03 Nathan Froyd <froydnj@codesourcery.com>
181 Eric Botcazou <ebotcazou@adacore.com>
182
183 * gcc-interface/trans.c (gigi): Call build_function_type_list instead
184 of build_function_type. Adjust calls to...
185 (build_raise_check): ...this. Do not take a void_tree parameter.
186 Call build_function_type_list instead of build_function_type.
187 Fix head comment and swap couple of conditional blocks.
188
189 2011-04-30 Eric Botcazou <ebotcazou@adacore.com>
190
191 * gnatvsn.ads (Library_Version): Bump to 4.7.
192 (Current_Year): Bump to 2011.
193
194 2011-04-29 Michael Matz <matz@suse.de>
195
196 * gcc-interface/misc.c (gnat_handle_option): Set
197 warn_maybe_uninitialized.
198
199 2011-04-23 Gerald Pfeifer <gerald@pfeifer.com>
200
201 * gnat_ugn.texi (Complexity Metrics Control): Update link to
202 the Watson/McCabe paper.
203
204 2011-04-23 Jim Meyering <meyering@redhat.com>
205
206 * gnat_ugn.texi (Examples of gnatxref Usage): Fix typo: s/it it/it is/
207
208 2011-04-22 Eric Botcazou <ebotcazou@adacore.com>
209
210 * gcc-interface/decl.c (make_packable_type): Copy DECL_PARALLEL_TYPE
211 onto the new type.
212
213 2011-04-22 Eric Botcazou <ebotcazou@adacore.com>
214
215 * gcc-interface/gigi.h (create_subprog_decl): Add ARTIFICIAL_FLAG
216 parameter.
217 * gcc-interface/utils.c (create_subprog_decl): Likewise. Set
218 DECL_ARTIFICIAL and DECL_NO_INLINE_WARNING_P on the DECL accordingly.
219 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Subprogram_Type>: Add
220 ARTIFICIAL_FLAG local variable and pass it to create_subprog_decl.
221 <all>: Do not set flags on the reused DECL node coming from an alias.
222 Set DECL_IGNORED_P on the DECL node built for subprograms if they
223 don't need debug info here...
224 * gcc-interface/trans.c (Subprogram_Body_to_gnu): ...and not here.
225 (gigi): Adjust calls to create_subprog_decl.
226 (build_raise_check): Likewise.
227 (establish_gnat_vms_condition_handler): Likewise.
228 (Compilation_Unit_to_gnu): Likewise.
229 (gnat_to_gnu): Likewise.
230
231 2011-04-21 Eric Botcazou <ebotcazou@adacore.com>
232
233 * gcc-interface/Makefile.in (NO_SIBLING_ADAFLAGS): Always define.
234 (NO_REORDER_ADAFLAGS): New variable.
235 (EXTRA_GNATTOOLS): Always define.
236 (../stamp-gnatlib1-$(RTSDIR): Copy tsystem.h.
237 Clean up and adjust list of files compiled with special options.
238 * gcc-interface/Make-lang.in: Likewise.
239 (ada/decl.o): Cosmetical change.
240 (ada/misc.o): Remove dependency on $(PLUGIN_H).
241
242 2011-04-20 Jim Meyering <meyering@redhat.com>
243
244 * initialize.c (__gnat_initialize): Remove useless if-before-free.
245
246 2011-04-17 Eric Botcazou <ebotcazou@adacore.com>
247
248 * gcc-interface/Make-lang.in (gnatbind): Replace $(ALL_CFLAGS) with
249 $(CFLAGS) on the link line.
250
251 2011-04-17 Eric Botcazou <ebotcazou@adacore.com>
252
253 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Function>: Declare the
254 padded type built for the return type if it is unconstrained.
255
256 2011-04-14 Nathan Froyd <froydnj@codesourcery.com>
257
258 * gcc-interface/utils.c (gnat_poplevel): Use block_chainon.
259
260 2011-04-12 Nathan Froyd <froydnj@codesourcery.com>
261
262 * gcc-interface/ada-tree.h (union lang_tree_node): Check for TS_COMMON
263 before calling TREE_CHAIN.
264 * gcc-interface/misc.c (gnat_init_ts): New function.
265 (LANG_HOOKS_INIT_TS): Define.
266
267 2011-04-12 Martin Jambor <mjambor@suse.cz>
268
269 * gcc-interface/utils.c (end_subprog_body): Call cgraph_get_create_node
270 instead of cgraph_node.
271
272 2011-04-08 Eric Botcazou <ebotcazou@adacore.com>
273
274 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Set minimum
275 alignment on fields of the RETURN type built for the Copy-In Copy-Out
276 mechanism.
277
278 2011-04-08 Eric Botcazou <ebotcazou@adacore.com>
279
280 * gcc-interface/trans.c (Identifier_to_gnu): Do not return initializers
281 of aggregate types that contain a placeholder.
282
283 2011-04-08 Nathan Froyd <froydnj@codesourcery.com>
284
285 * gcc-interface/utils.c (handle_sentinel_attribute): Don't use
286 TYPE_ARG_TYPES.
287 (handle_type_generic_attribute): Likewise.
288
289 2011-04-04 Eric Botcazou <ebotcazou@adacore.com>
290
291 PR ada/47163
292 * s-oscons-tmplt.c (MSG_WAITALL): Fix thinko in previous change.
293
294 2011-04-04 Kai Tietz <ktietz@redhat.com>
295
296 PR ada/47163
297 * s-oscons-tmplt.c (MSG_WAITALL): Define it for native windows targets
298 to flag value.
299
300 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
301
302 * gcc-interface/utils2.c (build_allocator): In the unconstrained array
303 type case, do not strip a padding type around the array type.
304
305 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
306
307 * gcc-interface/utils.c (update_pointer_to): Finalize named pointer
308 types.
309
310 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
311
312 * gcc-interface/lang.opt (feliminate-unused-debug-types): Delete.
313 * gcc-interface/misc.c (gnat_handle_option): Remove special handling
314 code for -feliminate-unused-debug-types.
315 (gnat_post_options): Likewise.
316
317 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
318
319 * gcc-interface/utils.c (gnat_pushdecl): If this is a non-artificial
320 declaration of a pointer type, then set DECL_ORIGINAL_TYPE to a
321 distinct copy.
322
323 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
324
325 * gcc-interface/decl.c (gnat_to_gnu_entity): Do not force the
326 DECL_ARTIFICIAL flag on enumeration types.
327
328 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
329
330 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Do not make
331 fat pointer types artificial unconditionally.
332 <E_Array_Subtype>: Attach the base array type as a parallel type if it
333 isn't artificial.
334
335 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
336
337 * gcc-interface/gigi.h (get_dummy_type): Declare.
338 (build_dummy_unc_pointer_types): Likewise.
339 (finish_fat_pointer_type): Likewise.
340 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: If a dummy
341 fat pointer type has been built, complete it in place.
342 <E_Access_Type>: Call build_dummy_unc_pointer_types to build dummy fat
343 and thin pointers. Remove useless variable.
344 (finish_fat_pointer_type): Make global and move to...
345 * gcc-interface/utils.c (finish_fat_pointer_type): ...here.
346 (get_dummy_type): New function.
347 (build_dummy_unc_pointer_types): Likewise.
348 (gnat_pushdecl): Propage the name to the anonymous variants only.
349 (update_pointer_to): Only adjust the pointer types in the unconstrained
350 array case.
351
352 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
353
354 * gcc-interface/ada-tree.h (DECL_TAFT_TYPE_P): New flag.
355 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Incomplete_Type>: Set it
356 if this is a Taft amendment type and the full declaration is available.
357 * gcc-interface/trans.c (process_type): Likewise.
358 If there is an old type, mark the new one as used if DECL_TAFT_TYPE_P.
359 (process_freeze_entity): Likewise.
360 * gcc-interface/utils.c (dummy_global): New static variable.
361 (gnat_write_global_declarations): If there are types declared as used
362 at the global level, insert them in the global hash table.
363
364 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
365
366 * gcc-interface/gigi.h (record_builtin_type): Add ARTIFICIAL_P param.
367 * gcc-interface/utils.c (gnat_pushdecl): If this is a non-artificial
368 declaration of an array type, then set DECL_ORIGINAL_TYPE to a distinct
369 copy.
370 (record_builtin_type): Add ARTIFICIAL_P parameter. Set DECL_ARTIFICIAL
371 flag of the type accordingly.
372 * gcc-interface/trans.c (gigi): Adjust calls to record_builtin_type.
373
374 2011-04-02 Eric Botcazou <ebotcazou@adacore.com>
375
376 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Defer
377 finalizing types when updating the pointers to the designated type.
378 <all>: Finalize the deferred types even if we didn't defer processing
379 of incomplete types in this invocation.
380
381 2011-04-01 Olivier Hainque <hainque@adacore.com>
382 Nicolas Setton <setton@adacore.com>
383 Eric Botcazou <ebotcazou@adacore.com>
384
385 * gcc-interface/misc.c (gnat_descriptive_type): New function.
386 (LANG_HOOKS_DESCRIPTIVE_TYPE): Redefine to gnat_descriptive_type.
387
388 2011-03-28 Kai Tietz <ktietz@redhat.com>
389
390 * gcc-interface/Makefile.in (SO_LIB): Handle multilib build for native
391 Windows targets.
392 (EH_MECHANISM): Use GCC exception mechanism for native Windows targets.
393 * system-mingw.ads (System): Change ZCX_By_Default default to True.
394
395 * raise-gcc.c (PERSONALITY_FUNCTION): Add prototype.
396
397 2011-03-28 Tristan Gingold <gingold@adacore.com>
398
399 PR ada/44431
400 * gcc-interface/Make-lang.in (ada/b_gnat1.adb): Replace ada/b_gnat1.c.
401 Use ada output of gnatbind.
402 (ada/b_gnatb.adb): Ditto.
403 (ada/b_gnat1.o, ada/b_gnatb.o): New rules.
404 (ada.mostlyclean, ada.stage1)
405 (ada.stage2, ada.stage3, ada.stage4, ada.stageprofile)
406 (ada.stagefeedback): Adjust.
407 * gcc-interface/Makefile.in (b_gnatl.adb): Replace b_gnatl.c.
408 Use ada output of gnatbind.
409 (b_gnatm.adb): Ditto.
410 (b_gnatl.o, b_gnatm.o): New rules.
411
412 2011-03-26 Eric Botcazou <ebotcazou@adacore.com>
413
414 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Create TYPE_DECL
415 for the padded type built to support a specified size or alignment.
416
417 2011-03-26 Eric Botcazou <ebotcazou@adacore.com>
418
419 * gcc-interface/gigi.h (finalize_from_with_types): Adjust comment.
420 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Defer
421 unconditionally to the end of the unit when the designated type is
422 limited_with'ed.
423 <all>: Rename local variable. Attempt to un-defer types only and do it
424 for limited_with'ed types as well.
425 (finalize_from_with_types): Adjust comment. Rename variable and tidy.
426 * gcc-interface/trans.c (Compilation_Unit_to_gnu): Use GNAT_UNIT
427 consistently and remove redundant call to finalize_from_with_types.
428
429 2011-03-26 Eric Botcazou <ebotcazou@adacore.com>
430
431 * inline.adb (Back_End_Cannot_Inline): Lift restriction on calls to
432 subprograms without a previous spec declared in the same unit.
433 * gcc-interface/trans.c (Compilation_Unit_to_gnu): Process inlined
434 subprograms at the end of the unit instead of at the beginning.
435 * gcc-interface/utils.c (create_subprog_decl): Check that the entity
436 isn't public for the special handling of non-inline functions nested
437 inside inline external functions.
438
439 2011-03-25 Jeff Law <law@redhat.com>
440
441 * gcc-interface/utils.c (def_fn_type): Add missing va_end.
442
443 2011-03-24 Eric Botcazou <ebotcazou@adacore.com>
444
445 * einfo.ads (Size_Depends_On_Discriminant): Adjust description.
446 * layout.adb (Compute_Size_Depends_On_Discriminant): New procedure
447 to compute Set_Size_Depends_On_Discriminant.
448 (Layout_Type): Call it on array types in back-end layout mode.
449 * sem_util.adb (Requires_Transient_Scope): Return true for array
450 types only if the size depends on the value of discriminants.
451 * gcc-interface/utils2.c (build_binary_op) <MODIFY_EXPR>: Use the RHS
452 type if the RHS is a call to a function that returns an unconstrained
453 type with default discriminant.
454
455 2011-03-24 Eric Botcazou <ebotcazou@adacore.com>
456
457 * gcc-interface/trans.c (gnat_to_gnu): Remove obsolete case of
458 non-conversion to the nominal result type at the end.
459
460 2011-03-23 Eric Botcazou <ebotcazou@adacore.com>
461
462 * gcc-interface/trans.c (create_temporary): New function taken from...
463 (create_init_temporary): ...here. Call it.
464 (call_to_gnu): Create the temporary for the return value early, if any.
465 Create it for a function with copy-in/copy-out parameters if there is
466 no target; in other cases of copy-in/copy-out, use another temporary.
467 Push the new binding level lazily. Add and rename local variables.
468
469 2011-03-23 Eric Botcazou <ebotcazou@adacore.com>
470
471 * gcc-interface/decl.c (validate_size): Improve comments and tweak
472 error message.
473 (set_rm_size): Likewise.
474
475 2011-03-23 Eric Botcazou <ebotcazou@adacore.com>
476
477 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Create TYPE_DECL
478 for the padded type built in order to support a specified alignment.
479 Fix incorrect formatting.
480
481 2011-03-21 Eric Botcazou <ebotcazou@adacore.com>
482
483 PR bootstrap/48216
484 * gcc-interface/decl.c (elaborate_expression_1): Localize GNU_DECL.
485
486 2011-03-21 Eric Botcazou <ebotcazou@adacore.com>
487
488 * gcc-interface/decl.c (components_to_record): Add REORDER parameter,
489 rename DEBUG_INFO_P into DEBUG_INFO and move P_GNU_REP_LIST parameter
490 to the end of the list. Adjust recursive call. Rename local variable.
491 If REORDER is true, reorder components of the record type.
492 (gnat_to_gnu_entity): Pass OK_To_Reorder_Components flag as argument to
493 components_to_record and adjust the parameter list.
494
495 2011-03-21 Eric Botcazou <ebotcazou@adacore.com>
496
497 * gcc-interface/decl.c (elaborate_expression_1): When optimization is
498 disabled, use the variable for bounds of loop iteration scheme.
499
500 2011-03-21 Kai Tietz <ktietz@redhat.com>
501
502 PR target/12171
503 * gcc-interface/utils.c (gnat_internal_attribute_table): Add column.
504
505 2011-03-17 Eric Botcazou <ebotcazou@adacore.com>
506
507 * gcc-interface/decl.c (elaborate_expression_1): Try harder to find
508 out whether the expression is read-only. Short-circuit placeholder
509 case and rename a couple of local variables.
510
511 2011-03-17 Eric Botcazou <ebotcazou@adacore.com>
512
513 * gcc-interface/gigi.h (smaller_form_type_p): Declare.
514 * gcc-interface/trans.c (smaller_form_type_p): Make global and move...
515 * gcc-interface/utils.c (smaller_form_type_p): ...to here.
516 (convert): Deal with conversions from a smaller form type specially.
517
518 2011-02-14 Eric Botcazou <ebotcazou@adacore.com>
519
520 * gcc-interface/misc.c (gnat_init_options): Do not concatenate -I and
521 its argument, except for the special -I- switch.
522
523 2011-02-12 Gerald Pfeifer <gerald@pfeifer.com>
524
525 * gnat_ugn.texi (Compiling Different Versions of Ada): Update link to
526 "Ada Issues".
527
528 2011-02-08 Eric Botcazou <ebotcazou@adacore.com>
529
530 * gcc-interface/Makefile.in (x86-64 darwin): Handle multilibs.
531
532 2011-02-03 Eric Botcazou <ebotcazou@adacore.com>
533
534 * gcc-interface/gigi.h (fill_vms_descriptor): Take GNU_TYPE instead of
535 GNAT_FORMAL.
536 * gcc-interface/utils2.c (fill_vms_descriptor): Move from here to...
537 * gcc-interface/utils.c (fill_vms_descriptor): ...here. Take GNU_TYPE
538 instead of GNAT_FORMAL. Protect the expression against multiple uses.
539 Do not generate the check directly, instead instantiate the template
540 check present in the descriptor.
541 (make_descriptor_field): Move around.
542 (build_vms_descriptor32): Build a template check in the POINTER field.
543 (build_vms_descriptor): Remove useless suffixes.
544 * gcc-interface/trans.c (call_to_gnu): Adjust fill_vms_descriptor call.
545
546 2011-01-26 Eric Botcazou <ebotcazou@adacore.com>
547
548 PR bootstrap/47467
549 * targext.c: Include target files if IN_RTS is defined.
550
551 2011-01-26 Richard Guenther <rguenther@suse.de>
552
553 PR bootstrap/47467
554 * targext.c: Include config.h.
555 * gcc-interface/Make-lang.in (ada/targext.o): Add $(CONFIG_H)
556 dependency.
557
558 2011-01-04 Pascal Obry <obry@adacore.com>
559 Eric Botcazou <ebotcazou@adacore.com>
560
561 * gcc-interface/decl.c: Disable Stdcall convention handling for 64-bit.
562
563 2011-01-04 Eric Botcazou <ebotcazou@adacore.com>
564
565 * gcc-interface/trans.c (Case_Statement_to_gnu): Put the SLOC of the
566 end-of-case on the end label and its associated gotos, if any.
567
568 2011-01-04 Eric Botcazou <ebotcazou@adacore.com>
569
570 * gcc-interface/trans.c (Subprogram_Body_to_gnu): Evaluate the
571 expressions of the parameter cache within the statement group of
572 the CICO mechanism.
573
574 2011-01-04 Olivier Hainque <hainque@adacore.com>
575 Eric Botcazou <ebotcazou@adacore.com>
576
577 * gcc-interface/trans.c (BLOCK_SOURCE_END_LOCATION): Provide default.
578 (set_end_locus_from_node): New function.
579 (Subprogram_Body_to_gnu): Use it to mark both the inner BIND_EXPR we
580 make and the function end_locus.
581 (Compilation_Unit_to_gnu): Call it instead of a straight Sloc_to_locus
582 for the elaboration subprogram.
583 (set_gnu_expr_location_from_node) <default case>: Use it to attempt to
584 set the end_locus of the expression as well.
585
586 2011-01-04 Eric Botcazou <ebotcazou@adacore.com>
587
588 PR ada/47131
589 * gcc-interface/trans.c (Identifier_to_gnu): In SJLJ mode, do not make
590 variables that are referenced in exception handlers volatile.
591
592
593 \f
594 Copyright (C) 2011 Free Software Foundation, Inc.
595
596 Copying and distribution of this file, with or without modification,
597 are permitted in any medium without royalty provided the copyright
598 notice and this notice are preserved.