]> gcc.gnu.org Git - gcc.git/blame - gcc/ada/ChangeLog
git://gcc.gnu.org / gcc.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
[multiple changes]
[gcc.git] / gcc / ada / ChangeLog
CommitLineData
84df40f7
AC		 12011-08-01 Geert Bosch <bosch@adacore.com>
2
3 * par-ch3.adb (P_Discrete_Choice_List): Improve error message for extra
4 "," in choice list.
5
62011-08-01 Thomas Quinot <quinot@adacore.com>
7
8 * exp_ch11.adb (Expand_N_Raise_Statement): Mark N_Raise_xxx_Error for
9 explicit raise of a predefined exception as Comes_From_Source if the
10 original N_Raise_Statement comes from source.
11
122011-08-01 Robert Dewar <dewar@adacore.com>
13
14 * sinfo.ads: Add comment.
15 * sem_ch6.adb: Minor reformatting.
16
172011-08-01 Robert Dewar <dewar@adacore.com>
18
19 * freeze.adb (Freeze_Entity): Refine check for bad component size
20 clause to avoid rejecting confirming clause when atomic/aliased present.
21
222011-08-01 Ed Schonberg <schonberg@adacore.com>
23
24 * sem_ch8.adb (Find_Direct_Name, Analyze_Expanded_Name): use Is_LHS to
25 better determine whether an entity reference is a write.
26 * sem_util.adb (Is_LHS): refine predicate to handle assignment to a
27 subcomponent.
28 * lib-xref.adb (Output_References): Do no suppress a read reference at
29 the same location as an immediately preceeding modify-reference, to
30 handle properly in-out actuals.
31
322011-08-01 Tristan Gingold <gingold@adacore.com>
33
34 * env.c (__gnat_setenv) [VMS]: Refine previous change.
35
362011-08-01 Quentin Ochem <ochem@adacore.com>
37
38 * i-cstrin.adb (New_String): Changed implementation, now uses only the
39 heap to compute the result.
40
c7f0d2c0
AC		 412011-08-01 Robert Dewar <dewar@adacore.com>
42
43 * atree.ads: Minor reformatting.
44
452011-08-01 Emmanuel Briot <briot@adacore.com>
46
47 * g-expect.adb (Get_Command_Output): Fix memory leak.
48
492011-08-01 Geert Bosch <bosch@adacore.com>
50
51 * cstand.adb (P_Float_Type): New procedure to print the definition of
52 predefined fpt types.
53 (P_Mixed_Name): New procedure to print a name using mixed case
54 (Print_Standard): Use P_Float_Type for printing floating point types
55 * einfo.adb (Machine_Emax_Value): Add preliminary support for quad
56 precision IEEE float.
57
582011-08-01 Thomas Quinot <quinot@adacore.com>
59
60 * sem_ch3.adb: Minor reformatting.
61
622011-08-01 Ed Schonberg <schonberg@adacore.com>
63
64 * sem_ch6.adb (Analyze_Parameterized_Expression): If the expression is
65 the completion of a generic function, insert the new body rather than
66 rewriting the original.
67
682011-08-01 Yannick Moy <moy@adacore.com>
69
70 * sinfo.ads, errout.ads: Typos in comments.
71
1c54829e
AC		 722011-08-01 Robert Dewar <dewar@adacore.com>
73
74 * par-endh.adb: Minor reformatting.
75
762011-08-01 Robert Dewar <dewar@adacore.com>
77
78 * aspects.ads, aspects.adb: Add aspects for library unit pragmas
79 (Pre_Post_Aspects): New subtype.
80 * par-ch12.adb (P_Generic): New syntax for aspects in packages
81 * par-ch13.adb (P_Aspect_Specifications): Add Semicolon parameter
82 * par-ch7.adb (P_Package): Remove Decl parameter
83 (P_Package): Handle new syntax for aspects (before IS)
84 * par-ch9.adb (P_Protected_Definition): Remove Decl parameter, handle
85 new aspect syntax
86 (P_Task_Definition): Remove Decl parameter, handle new aspect syntax
87 * par.adb (P_Aspect_Specifications): Add Semicolon parameter
88 (P_Package): Remove Decl parameter
89 * sem_ch13.adb (Analyze_Aspect_Specifications): Handle library unit
90 aspects
91 * sem_ch7.adb (Analyze_Package_Declaration): Analyze new format aspect
92 specs
93 * sem_util.ads, sem_util.adb (Static_Boolean): New function
94 * sinfo.ads: Document new syntax for aspects in packages etc.
95 * sprint.adb: Handle new syntax of aspects before IS in package
96
972011-08-01 Thomas Quinot <quinot@adacore.com>
98
99 * atree.ads: Minor reformatting.
100 * sem_prag.adb: Minor reformatting.
101
1022011-08-01 Robert Dewar <dewar@adacore.com>
103
104 * exp_util.adb (Insert_Actions): Fix error in handling Actions for
105 case expr alternative.
106
1072011-08-01 Ed Schonberg <schonberg@adacore.com>
108
109 * sem_ch12.adb: Fix typo.
110
9eea4346
GB		 1112011-08-01 Geert Bosch <bosch@adacore.com>
112
113 * sem_prag.adb (Check_No_Link_Name): New procedure.
114 (Process_Import_Or_Interface): Use Check_No_Link_Name.
115 * cstand.adb (Create_Standard): Use Esize (Standard_Long_Long_Float)
116 instead of Standard_Long_Long_Float_Size global. Preparation for
117 eventual removal of per type constants.
118 * exp_util.ads (Get_Stream_Size): New function returning the stream
119 size value of subtype E.
120 * exp_util.adb (Get_Stream_Size): Implement new function.
121 * exp_strm.adb (Build_Elementary_Input_Call): Use Get_Stream_Size
122 function.
123 * exp_attr.adb (Attribute_Stream_Size): Use Get_Stream_Size
124 * einfo.adb:
125 (Machine_Mantissa_Value): Handle 128-bit quad precision IEEE floats
126
3d6c3bd7
GB		 1272011-08-01 Geert Bosch <bosch@adacore.com>
128
129 * cstand.adb: Fix comments.
130 * sem_prag.adb (Analyze_Pragma): Use List_Length instead of explicit
131 count of arguments.
132
e7d897b8
AC		 1332011-08-01 Robert Dewar <dewar@adacore.com>
134
135 * exp_ch4.adb, sem_cat.adb: Minor reformatting.
136
1372011-08-01 Geert Bosch <bosch@adacore.com>
138
139 * atree.ads: Fix comment.
140
c228a069
AC		 1412011-08-01 Robert Dewar <dewar@adacore.com>
142
143 * aspects.ads, aspects.adb (Aspect_Names): Moved from body to spec.
144 * par-ch13.adb (P_Aspect_Specifications): Check misspelled aspect name.
145 * par.adb: Add with for Namet.Sp.
146 * par-tchk.adb: Minor reformatting.
147
1482011-08-01 Vincent Celier <celier@adacore.com>
149
150 * mlib-tgt-specific-vms-alpha.adb, mlib-tgt-specific-vms-ia64.adb
151 (Build_Dynamic_Library): Use new function Init_Proc_Name to get the name
152 of the init procedure of a SAL.
153 * mlib-tgt-vms_common.ads, mlib-tgt-vms_common.adb (Init_Proc_Name):
154 New procedure.
155
1562011-08-01 Thomas Quinot <quinot@adacore.com>
157
158 * exp_ch4.adb, s-tasini.ads, sem_attr.adb, s-soflin.ads: Minor
159 reformatting.
160
1612011-08-01 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
162
163 * adaint.c (__gnat_file_time_name_attr): Get rid of warning.
164
1652011-08-01 Thomas Quinot <quinot@adacore.com>
166
167 * sem_util.adb, sem_util.ads (Has_Overriding_Initialize): Make function
168 conformant with its spec (return True only for types that have
169 an overriding Initialize primitive operation that prevents them from
170 having preelaborable initialization).
171 * sem_cat.adb (Validate_Object_Declaration): Fix test for preelaborable
172 initialization for controlled types in Ada 2005 or later mode.
173
857ade1b
RD		 1742011-08-01 Robert Dewar <dewar@adacore.com>
175
176 * aspects.ads, aspects.adb: Add aspect Type_Invariant, Precondition,
177 Postcondition.
178 (Same_Aspect): New function.
179 * sem_ch13.adb (Analyze_Aspect_Specifications): Add aspect
180 Type_Invariant, Precondition, Postcondition.
181 * snames.ads-tmpl: Add Name_Type_Invariant.
182
bd949ee2
RD		 1832011-08-01 Robert Dewar <dewar@adacore.com>
184
185 * freeze.adb (Freeze_Entity): Don't call Check_Aspect_At_Freeze_Point
186 here.
187 (Freeze_All_Ent): Fix error in handling inherited aspects.
188 * sem_ch13.adb (Analyze_Aspect_Specifications): Skip aspect that is
189 already analyzed, but don't skip entire processing of a declaration,
190 that's wrong in some cases of declarations being rewritten.
191 (Analyze_Aspect_Specification): Set Is_Delayed_Aspect in aspects.
192 Don't delay for integer, string literals
193 Treat predicates in usual manner for delay, remove special case code,
194 not needed.
195 (Analyze_Freeze_Entity): Make call to Check_Aspect_At_Freeze_Point
196 (Build_Predicate_Function): Update saved expression in aspect
197 (Build_Invariant_Procedure): Update saved expression in aspect
198 * exp_ch4.adb (Expand_N_Selected_Component): Only do the optimization
199 of replacement of discriminant references if the reference is simple.
200
f1c952af
RD		 2012011-08-01 Robert Dewar <dewar@adacore.com>
202
203 * aspects.ads, aspects.adb: Add Static_Predicate and Dynamic_Predicate.
204 * sem_ch13.adb (Analyze_Aspect_Specification): Add processing for
205 Static_Predicate and Dynamic_Predicate.
206 (Build_Predicate_Function): Add processing for Static_Predicate
207 and Dynamic_Predicate.
208 * sinfo.ads, sinfo.adb (From_Dynamic_Predicate): New flag
209 (From_Static_Predicate): New flag
210 * snames.ads-tmpl: Add Name_Static_Predicate and Name_Dynamic_Predicate
211
2122011-08-01 Robert Dewar <dewar@adacore.com>
213
214 * usage.adb: Documentation cleanup for Ada version modes in usage.
215 * expander.adb: Minor reformatting.
216
47e11d08
AC		 2172011-08-01 Robert Dewar <dewar@adacore.com>
218
219 * atree.ads: Minor comment fix.
220 * a-stwifi.adb, a-stzfix.adb, a-strfix.adb, a-ztexio.ads, a-textio.ads,
221 a-witeio.ads, sem_prag.adb: Minor reformatting.
222
2232011-08-01 Doug Rupp <rupp@adacore.com>
224
225 * env.c (__gnat_setenv) [VMS]: Force 32bit on item list structure
226 pointers. Use descrip.h header file for convenience. Add some
227 comments.
228
2292011-08-01 Robert Dewar <dewar@adacore.com>
230
231 * freeze.adb (Freeze_Entity): Call Check_Aspect_At_Freeze_Point
232 (Freeze_All): Call Check_Aspect_At_End_Of_Declarations
233 * sem_ch13.ads, sem_ch13.adb (Check_Aspect_At_Freeze_Point):
234 New procedure.
235 (Check_Aspect_At_End_Of_Declarations): New procedure
236 (Analye_Aspect_Specification): Minor changes for above procedures
237 * sinfo.ads, sinfo.adb (Is_Delayed_Aspect): Now set in aspect
238 specification node as well.
239
2402011-08-01 Pascal Obry <obry@adacore.com>
241
242 * adaint.c (_gnat_stat): GetFilesAttributesEx() would fail on special
243 Windows files. Use GetFilesAttributes() in this case to check for file
244 existence instead of returning with an error code.
245
a3a16b21
VC		 2462011-08-01 Vincent Celier <celier@adacore.com>
247
248 * a-stzfix.adb, a-stwifi.adb (Replace_Slice): Fixed computation when
249 High is above Source length.
250
ff58cc69
RD		 2512011-08-01 Robert Dewar <dewar@adacore.com>
252
253 * a-ztexio.ads, a-textio.ads, a-witeio.ads: Fix comment.
254
6bb88533
AC		 2552011-08-01 Robert Dewar <dewar@adacore.com>
256
257 * aspects.ads (Boolean_Aspects): New subtype.
258 * exp_ch13.adb (Expand_Freeze_Entity): Fix errors in handling aspects
259 for derived types in cases where the parent type and derived type have
260 aspects.
261 * freeze.adb (Freeze_Entity): Fix problems in handling derived type
262 with aspects when parent type also has aspects.
263 (Freeze_Entity): Deal with delay of boolean aspects (must evaluate
264 boolean expression at this point).
265 * sem_ch13.adb (Analyze_Aspect_Specifications): Delay all aspects in
266 accordance with final decision on the Ada 2012 feature.
267 * sinfo.ads, sinfo.adb (Is_Boolean_Aspect): New flag.
268
2692011-08-01 Matthew Heaney <heaney@adacore.com>
270
271 * a-chtgbo.adb (Delete_Node_Sans_Free): Replace iterator with selector.
272
060a3f28
AC		 2732011-08-01 Pascal Obry <obry@adacore.com>
274
275 * a-stzunb-shared.adb, a-strunb-shared.adb, a-stwiun-shared.adb:
276 Fix Replace_Slice when High is above current string size.
277 (Replace_Slice): Fix DL computation when High is above current
278 string length.
279
2802011-08-01 Gary Dismukes <dismukes@adacore.com>
281
282 * gnat_rm.texi: Add documentation for pragma Static_Elaboration_Desired.
283
e7f567a3
AC		 2842011-08-01 Matthew Heaney <heaney@adacore.com>
285
286 * a-rbtgbo.adb (Delete_Node_Sans_Free): Fixed assignment to left child
287 of node.
288
2892011-08-01 Pascal Obry <obry@adacore.com>
290
291 * a-stzunb-shared.adb, a-strunb-shared.adb, a-stwiun-shared.adb: Minor
292 reformatting.
293
1a265e78
AC		 2942011-08-01 Ed Schonberg <schonberg@adacore.com>
295
296 * sem_attr.adb (Analyze_Attribute, case 'Access): Handle properly named
297 access to protected subprograms in generic bodies.
298 * sem_ch6.adb (Analyze_Subprogram_Declaration): If the context is a
299 protected type, indicate that the convention of the subprogram is
300 Convention_Protected, because it may be used in subsequent declarations
301 within the protected declaration.
302
3032011-08-01 Vincent Celier <celier@adacore.com>
304
305 * mlib-prj.adb (Build_Library): Use "ada_" as the prefix for the "init"
306 and "final" procedures when the name of the library is "ada", to avoid
307 duplicate symbols "adainit" and "adafinal" in executables.
308
67e28ef8
ES		 3092011-08-01 Ed Schonberg <schonberg@adacore.com>
310
311 * sem_attr.adb (Analyze_Attribute, case 'Result): Handle properly a
312 quantified expression that appears within a postcondition and uses the
313 Ada2012 'Result attribute.
314
6da2ca7d
RO		 3152011-07-28 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
316
317 * init.c (__gnat_error_handler): Cast reason to int.
318 (__gnat_install_handler): Explain sa_sigaction use.
319
7d5997c6
EB		 3202011-07-24 Eric Botcazou <ebotcazou@adacore.com>
321
322 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Subprogram_Type>: If the
323 subprogram has copy-in copy-out parameters, try to promote the mode of
324 the return type if it is passed in registers.
325
4b4cfdd5
EB		 3262011-07-24 Eric Botcazou <ebotcazou@adacore.com>
327
328 * gcc-interface/utils2.c (build_binary_op) <ARRAY_REF>: Do not mark the
329 left operand as addressable.
330
f3d34576
EB		 3312011-07-24 Eric Botcazou <ebotcazou@adacore.com>
332
333 * gcc-interface/gigi.h (build_function_stub): Remove.
334 (build_return_expr): Likewise.
335 (convert_vms_descriptor): Declare.
336 * gcc-interface/utils.c (convert_vms_descriptor): Make global.
337 (build_function_stub): Move to...
338 * gcc-interface/utils2.c (build_return_expr): Move to...
339 * gcc-interface/trans.c (build_function_stub): ...here.
340 (build_return_expr): ...here.
341 (Subprogram_Body_to_gnu): Add local variable for language_function.
342 Disconnect the parameter attributes cache, if any, once done with it.
343 Call end_subprog_body only after setting the end_locus.
344 Build the stub associated with the function, if any, at the very end.
345 (gnat_to_gnu) <N_Return_Statement>: Remove couple of useless local
346 variables and streamline control flow.
347
0a6ecc08
AC		 3482011-07-23 Arnaud Charlet <charlet@adacore.com>
349
350 PR ada/49819
351 * gcc-interface/Makefile.in (powerpc-linux): Remove reference to
352 g-trasym-dwarf.adb.
353
5b6d595b
RO		 3542011-07-22 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
355
356 PR bootstrap/49794
357 * init.c [sun && __SVR4 && !__vxworks] (__gnat_install_handler):
358 Assign to act.sa_sigaction.
359 * tracebak.c [USE_GENERIC_UNWINDER] (__gnat_backtrace): Cast
360 current->return_address to char * before arithmetic.
361
94017021
RO		 3622011-07-22 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
363
364 * init.c [sgi] (__gnat_error_handler): Update sigaction(2) citation.
365 Correct argument types.
366 Extract code from reason.
367 (__gnat_install_handler): Assign to act.sa_sigaction.
368
52fd02bb
EB		 3692011-07-21 Eric Botcazou <ebotcazou@adacore.com>
370
371 * gcc-interface/Make-lang.in (GNAT1_ADA_OBJS): Move ada/b_gnat1.o to...
372 (GNAT1_OBJS): ...here.
373
f39a9ca2
EB		 3742011-07-15 Eric Botcazou <ebotcazou@adacore.com>
375
376 PR ada/48711
377 * g-socthi-mingw.adb (Fill): Fix formatting.
378
9e36aa23
EB		 379 * gcc-interface/gigi.h: Move around comment.
380
e3aca522
JDA		 3812011-07-14 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
382
383 PR ada/46350
384 * s-taprop-hpux-dce.adb (Abort_Task): Remove unnecessary cast.
385
696b1960
FW		 3862011-07-14 Florian Weimer <fw@deneb.enyo.de>
387
388 PR ada/48711
389 * g-socthi-mingw.adb (Fill): Guard against invalid MSG_WAITALL.
390
f542c405
EB		 3912011-07-13 Eric Botcazou <ebotcazou@adacore.com>
392
393 * gcc-interface/utils.c (build_vms_descriptor32): Skip the 32-bit
394 range comparison if Pmode is SImode.
395
9e9bd455
LG		 3962011-07-12 Laurent GUERBY <laurent@guerby.net>
397 Eric Botcazou <ebotcazou@adacore.com>
398
399 * adadecode.c: Wrap up in extern "C" block.
400 * adadecode.h: Likewise.
401 * adaint.c: Likewise. Remove 'const' keyword.
402 * adaint.h: Likewise.
403 * argv.c: Likewise.
404 * atree.h: Likewise.
405 * cio.c: Likewise.
406 * cstreams.c: Likewise.
407 * env.c: Likewise.
408 * exit.c: Likewise.
409 * fe.h: Likewise.
410 * final.c: Likewise.
411 * init.c: Likewise.
412 * initialize.c: Likewise.
413 * link.c: Likewise.
414 * namet.h: Likewise.
415 * nlists.h: Likewise.
416 * raise.c: Likewise.
417 * raise.h: Likewise.
418 * repinfo.h: Likewise.
419 * seh_init.c: Likewise.
420 * targext.c: Likewise.
421 * tracebak.c: Likewise.
422 * uintp.h: Likewise.
423 * urealp.h: Likewise.
424 * xeinfo.adb: Wrap up generated C code in extern "C" block.
425 * xsinfo.adb: Likewise.
426 * xsnamest.adb: Likewise.
427 * gcc-interface/gadaint.h: Wrap up in extern "C" block.
428 * gcc-interface/gigi.h: Wrap up some prototypes in extern "C" block.
429 * gcc-interface/misc.c: Likewise.
430 * gcc-interface/Make-lang.in (GCC_LINK): Use LINKER.
431 (GNAT1_C_OBJS): Remove ada/b_gnat1.o. List ada/seh_init.o and
432 ada/targext.o here...
433 (GNAT_ADA_OBJS): ...and not here.
434 (GNAT1_ADA_OBJS): Add ada/b_gnat1.o.
435 (GNATBIND_OBJS): Reorder.
436
7644b3c7
RH		 4372011-07-07 Richard Henderson <rth@redhat.com>
438
439 * gcc-interface/misc.c (gnat_init_gcc_eh): Don't call
440 dwarf2out_frame_init.
441
8384ac41
EB		 4422011-07-07 Eric Botcazou <ebotcazou@adacore.com>
443
444 * gcc-interface/misc.c (gnat_init): Tweak previous change.
445
fbdd5d87
RO		 4462011-07-07 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
447
448 PR target/39150
449 * gcc-interface/Makefile.in: Handle x86_64-solaris2.
450
1a072294
RG		 4512011-07-06 Richard Guenther <rguenther@suse.de>
452
8384ac41
EB		 453 * gcc-interface/misc.c (gnat_init): Merge calls to
454 build_common_tree_nodes and build_common_tree_nodes_2.
1a072294
RG		 455 Re-initialize boolean_false_node.
456
bc712852
EB		 4572011-07-02 Eric Botcazou <ebotcazou@adacore.com>
458 Olivier Hainque <hainque@adacore.com>
459 Nicolas Setton <setton@adacore.com>
460
461 * gcc-interface/utils.c (record_builtin_type): Set TYPE_ARTIFICIAL on
462 the type according to the ARTIFICIAL_P parameter.
463 (create_type_decl): Likewise.
464 (create_type_stub_decl): Set TYPE_ARTIFICIAL on the type to 1.
465
2eb22389
EB		 4662011-07-01 Eric Botcazou <ebotcazou@adacore.com>
467
468 * gcc-interface/Make-lang.in (gnat1): Prepend '+' to the command.
469 (gnatbind): Likewise.
470
4bdaaf2f
RO		 4712011-06-29 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
472
473 * gcc-interface/Makefile.in (TOOLS_LIBS): Add $(LIBINTL).
474
c020c92b
EB		 4752011-06-18 Eric Botcazou <ebotcazou@adacore.com>
476
477 * gcc-interface/decl.c (gnat_to_gnu_component_type): Use GNAT_TYPE
478 local variable throughout. Remove useless call to Base_Type.
479 (gnat_to_gnu_field): Use GNAT_FIELD_TYPE local variable throughout.
480 Take it also into account for the volatileness of the field. Set the
481 TREE_SIDE_EFFECTS flag as well in this case. Reorder some warnings.
482
96769d32
EB		 4832011-06-18 Eric Botcazou <ebotcazou@adacore.com>
484
485 * gcc-interface/trans.c (Identifier_to_gnu): Don't set TREE_THIS_NOTRAP
486 on a dereference built for a by-ref object if it has an address clause.
487
7e4680c1
EB		 4882011-06-18 Eric Botcazou <ebotcazou@adacore.com>
489
490 * einfo.ads (Address_Taken): Document use for the second argument of
491 Asm_Input and Asm_Output attributes.
492 * sem_attr.adb (Analyze_Attribute) <Attribute_Asm_Input>: If the second
493 argument is an entity name, then set Address_Taken on it.
494 <Attribute_Asm_Output>: Likewise.
495 * gcc-interface/trans.c (lvalue_required_for_attribute_p): Handle the
496 Attr_Asm_Input and Attr_Asm_Output attributes explicitly.
497 (gnat_to_gnu) <N_Code_Statement>: If an operand is going to end up in
498 memory and is a CONST_DECL, retrieve its corresponding VAR_DECL.
499
5002011-06-16 Joern Rennecke <joern.rennecke@embecosm.com>
d5cc9181
JR		 501
502 PR middle-end/46500
503 * gcc-interface/decl.c (gnat_to_gnu_param): Use pack_cumulative_args.
504
677f3fa8
JM		 5052011-06-14 Joseph Myers <joseph@codesourcery.com>
506
507 * gcc-interface/Make-lang.in (gnatbind$(exeext)): Use ggc-none.o.
508 (ada/utils.o): Update dependencies.
509 * gcc-interface/Makefile.in (EXTRA_GNATTOOLS_OBJS): Add
510 ../../../libcpp/libcpp.a.
511 * gcc-interface/utils.c: Include common/common-target.h.
512 (process_attributes): Use targetm_common.have_named_sections.
513
009db074
RG		 5142011-06-07 Richard Guenther <rguenther@suse.de>
515
0bad0e23
EB		 516 * gcc-interface/misc.c (gnat_init): Do not set size_type_node or call
517 set_sizetype.
009db074 518
3bfc61cf
EB		 5192011-06-06 Eric Botcazou <ebotcazou@adacore.com>
520
0bad0e23 521 * gcc-interface/utils2.c (gnat_stabilize_reference): Propagate the
3bfc61cf
EB		 522 TREE_THIS_NOTRAP flag.
523
5c4a1c7b
EB		 5242011-06-06 Eric Botcazou <ebotcazou@adacore.com>
525
526 * gcc-interface/utils2.c (gnat_stabilize_reference) <COMPOUND_EXPR>:
527 Fix thinko.
528
e9f57686
EB		 5292011-06-06 Eric Botcazou <ebotcazou@adacore.com>
530
531 * gcc-interface/trans.c (Identifier_to_gnu): Also handle deferred
532 constants whose full view has discriminants specially.
533
10e4d056
EB		 5342011-06-06 Eric Botcazou <ebotcazou@adacore.com>
535
536 * gcc-interface/utils.c: Include diagnostic.h.
537 (gnat_write_global_declarations): Output debug information for all
538 global type declarations before finalizing the compilation unit.
539 * gcc-interface/Make-lang.in (ada/utils.o): Add dependency.
540
0957c029
JJ		 5412011-05-25 Jakub Jelinek <jakub@redhat.com>
542
543 * gcc-interface/utils.c (def_fn_type): Remove extra va_end.
544
52d0a7ac
KT		 5452011-05-25 Kai Tietz <ktietz@redhat.com>
546
547 * adaint.c (__gnat_to_canonical_file_list_next): Use array
548 initialization instead of const/none-const pointer assignment.
549
1ed1641d
JM		 5502011-05-24 Joseph Myers <joseph@codesourcery.com>
551
552 * gcc-interface/Make-lang.in (GNAT1_OBJS): Don't include
553 $(EXTRA_GNAT1_OBJS).
554 (GNATBIND_OBJS): Don't include $(EXTRA_GNATBIND_OBJS).
555 (EXTRA_GNAT1_OBJS, EXTRA_GNATBIND_OBJS): Remove.
556 (gnat1$(exeext), gnatbind$(exeext)): Use libcommon-target.a.
557 * gcc-interface/Makefile.in (EXTRA_GNATTOOLS_OBJS): Use
558 libcommon-target.a instead of prefix.o.
559
9fe72ebd
JM		 5602011-05-21 Joseph Myers <joseph@codesourcery.com>
561
562 PR ada/49097
0bad0e23 563 * gcc-interface/Make-lang.in (gnatbind$(exeext)): Depend on $(LIBDEPS).
9fe72ebd 564
2691e6d7
JM		 5652011-05-20 Joseph Myers <joseph@codesourcery.com>
566
0bad0e23
EB		 567 * gcc-interface/Make-lang.in (EXTRA_GNATBIND_OBJS): Remove version.o.
568 * gcc-interface/Makefile.in (EXTRA_GNATTOOLS_OBJS): Use libcommon.a
569 instead of version.o.
2691e6d7 570
bf6490b5
KT		 5712011-05-18 Kai Tietz <ktietz@redhat.com>
572
573 * gcc-interface/trans.c (Exception_Handler_to_gnu_sjlj): Use
574 boolean_false_node instead of integer_zero_node.
575 (convert_with_check): Likewise.
576 * gcc-interface/decl.c (choices_to_gnu): Likewise.
577
7bf9a5ac
EB		 5782011-05-12 Eric Botcazou <ebotcazou@adacore.com>
579
580 * gcc-interface/trans.c (call_to_gnu): In the by-reference case, if the
581 type of the parameter is an unconstrained array, convert the actual to
582 the type of the formal in the In Out and Out cases as well.
583
e5b00edf
NF		 5842011-05-11 Nathan Froyd <froydnj@codesourcery.com>
585
586 * gcc-interface/utils.c (def_fn_type): Don't call build_function_type;
587 call build_function_type_array or build_varargs_function_type_array
588 instead.
589 (create_subprog_type): Don't call build_function_type; call
590 build_function_type_vec instead.
591
51545682
NF		 5922011-05-11 Nathan Froyd <froydnj@codesourcery.com>
593
594 * gcc-interface/ada-tree.h (TYPE_OBJECT_RECORD_TYPE): Use TYPE_MINVAL.
595 (TYPE_GCC_MIN_VALUE): Use TYPE_MINVAL.
596 (TYPE_GCC_MAX_VALUE): Use TYPE_MAXVAL.
597
c99c0026
EB		 5982011-05-07 Eric Botcazou <ebotcazou@adacore.com>
599
f620bd21
EB		 600 * gcc-interface/decl.c (intrin_arglists_compatible_p): Remove spaces.
601
c99c0026
EB		 602 * gcc-interface/gigi.h (global_bindings_p): Adjust prototype.
603 * gcc-interface/utils.c (global_bindings_p): Return bool and simplify.
604
3d528853
NF		 6052011-05-05 Nathan Froyd <froydnj@codesourcery.com>
606
c99c0026 607 * gcc-interface/trans.c (Case_Statement_to_gnu): Call build_case_label.
3d528853 608
d7d058c5
NF		 6092011-05-05 Nathan Froyd <froydnj@codesourcery.com>
610
611 * gcc-interface/decl.c (intrin_arglists_compatible_p): Use iterators
612 instead of accessing TYPE_ARG_TYPES directly.
613 * gcc-interface/utils.c (handle_nonnull_attribute): Likewise.
614
805e60a0
EB		 6152011-05-05 Eric Botcazou <ebotcazou@adacore.com>
616
617 PR ada/48844
618 * gcc-interface/gigi.h (get_variant_part): Declare.
619 * gcc-interface/decl.c (get_variant_part): Make global.
620 * gcc-interface/utils2.c (find_common_type): Do not return T1 if the
621 types have the same constant size, are record types and T1 has a
622 variant part while T2 doesn't.
623
907a08d9
EB		 6242011-05-05 Eric Botcazou <ebotcazou@adacore.com>
625
626 * gcc-interface/utils.c (begin_subprog_body): Do not call
627 get_pending_sizes.
628 (end_subprog_body): Likewise.
629
d35936ab
RG		 6302011-05-04 Richard Guenther <rguenther@suse.de>
631
632 * gcc-interface/trans.c (gnat_to_gnu): Remove zero notrunc argument to
633 int_const_binop.
634 (pos_to_constructor): Likewise.
635
c1fd8753
NF		 6362011-05-03 Nathan Froyd <froydnj@codesourcery.com>
637 Eric Botcazou <ebotcazou@adacore.com>
638
639 * gcc-interface/trans.c (gigi): Call build_function_type_list instead
640 of build_function_type. Adjust calls to...
641 (build_raise_check): ...this. Do not take a void_tree parameter.
642 Call build_function_type_list instead of build_function_type.
643 Fix head comment and swap couple of conditional blocks.
644
4fb87d2b
EB		 6452011-04-30 Eric Botcazou <ebotcazou@adacore.com>
646
647 * gnatvsn.ads (Library_Version): Bump to 4.7.
648 (Current_Year): Bump to 2011.
649
fa5e5a76
MM		 6502011-04-29 Michael Matz <matz@suse.de>
651
652 * gcc-interface/misc.c (gnat_handle_option): Set
653 warn_maybe_uninitialized.
654
8d6a2f69
GP		 6552011-04-23 Gerald Pfeifer <gerald@pfeifer.com>
656
657 * gnat_ugn.texi (Complexity Metrics Control): Update link to
658 the Watson/McCabe paper.
659
770937fd
JM		 6602011-04-23 Jim Meyering <meyering@redhat.com>
661
662 * gnat_ugn.texi (Examples of gnatxref Usage): Fix typo: s/it it/it is/
663
eb601ae1
EB		 6642011-04-22 Eric Botcazou <ebotcazou@adacore.com>
665
666 * gcc-interface/decl.c (make_packable_type): Copy DECL_PARALLEL_TYPE
667 onto the new type.
668
7d7fcb08
EB		 6692011-04-22 Eric Botcazou <ebotcazou@adacore.com>
670
671 * gcc-interface/gigi.h (create_subprog_decl): Add ARTIFICIAL_FLAG
672 parameter.
673 * gcc-interface/utils.c (create_subprog_decl): Likewise. Set
674 DECL_ARTIFICIAL and DECL_NO_INLINE_WARNING_P on the DECL accordingly.
675 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Subprogram_Type>: Add
676 ARTIFICIAL_FLAG local variable and pass it to create_subprog_decl.
677 <all>: Do not set flags on the reused DECL node coming from an alias.
678 Set DECL_IGNORED_P on the DECL node built for subprograms if they
679 don't need debug info here...
680 * gcc-interface/trans.c (Subprogram_Body_to_gnu): ...and not here.
681 (gigi): Adjust calls to create_subprog_decl.
682 (build_raise_check): Likewise.
683 (establish_gnat_vms_condition_handler): Likewise.
684 (Compilation_Unit_to_gnu): Likewise.
685 (gnat_to_gnu): Likewise.
686
e1876cac
EB		 6872011-04-21 Eric Botcazou <ebotcazou@adacore.com>
688
689 * gcc-interface/Makefile.in (NO_SIBLING_ADAFLAGS): Always define.
690 (NO_REORDER_ADAFLAGS): New variable.
691 (EXTRA_GNATTOOLS): Always define.
692 (../stamp-gnatlib1-$(RTSDIR): Copy tsystem.h.
693 Clean up and adjust list of files compiled with special options.
694 * gcc-interface/Make-lang.in: Likewise.
695 (ada/decl.o): Cosmetical change.
696 (ada/misc.o): Remove dependency on $(PLUGIN_H).
697
04695783
JM		 6982011-04-20 Jim Meyering <meyering@redhat.com>
699
700 * initialize.c (__gnat_initialize): Remove useless if-before-free.
701
23399579
EB		 7022011-04-17 Eric Botcazou <ebotcazou@adacore.com>
703
704 * gcc-interface/Make-lang.in (gnatbind): Replace $(ALL_CFLAGS) with
705 $(CFLAGS) on the link line.
706
51c5169c
EB		 7072011-04-17 Eric Botcazou <ebotcazou@adacore.com>
708
709 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Function>: Declare the
710 padded type built for the return type if it is unconstrained.
711
61e46a7d
NF		 7122011-04-14 Nathan Froyd <froydnj@codesourcery.com>
713
714 * gcc-interface/utils.c (gnat_poplevel): Use block_chainon.
715
81f653d6
NF		 7162011-04-12 Nathan Froyd <froydnj@codesourcery.com>
717
b4867846
EB		 718 * gcc-interface/ada-tree.h (union lang_tree_node): Check for TS_COMMON
719 before calling TREE_CHAIN.
81f653d6
NF		 720 * gcc-interface/misc.c (gnat_init_ts): New function.
721 (LANG_HOOKS_INIT_TS): Define.
722
a358e188
MJ		 7232011-04-12 Martin Jambor <mjambor@suse.cz>
724
b4867846
EB		 725 * gcc-interface/utils.c (end_subprog_body): Call cgraph_get_create_node
726 instead of cgraph_node.
a358e188 727
29b1c5a4
EB		 7282011-04-08 Eric Botcazou <ebotcazou@adacore.com>
729
730 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Set minimum
731 alignment on fields of the RETURN type built for the Copy-In Copy-Out
732 mechanism.
733
88872b00
EB		 7342011-04-08 Eric Botcazou <ebotcazou@adacore.com>
735
736 * gcc-interface/trans.c (Identifier_to_gnu): Do not return initializers
737 of aggregate types that contain a placeholder.
738
dcf0c47e
NF		 7392011-04-08 Nathan Froyd <froydnj@codesourcery.com>
740
741 * gcc-interface/utils.c (handle_sentinel_attribute): Don't use
b4867846 742 TYPE_ARG_TYPES.
dcf0c47e
NF		 743 (handle_type_generic_attribute): Likewise.
744
53e3000c
EB		 7452011-04-04 Eric Botcazou <ebotcazou@adacore.com>
746
747 PR ada/47163
748 * s-oscons-tmplt.c (MSG_WAITALL): Fix thinko in previous change.
749
ab380bb4
KT		 7502011-04-04 Kai Tietz <ktietz@redhat.com>
751
752 PR ada/47163
0bad0e23
EB		 753 * s-oscons-tmplt.c (MSG_WAITALL): Define it for native windows targets
754 to flag value.
ab380bb4 755
8ffac116
EB		 7562011-04-02 Eric Botcazou <ebotcazou@adacore.com>
757
758 * gcc-interface/utils2.c (build_allocator): In the unconstrained array
759 type case, do not strip a padding type around the array type.
760
de9528f0
EB		 7612011-04-02 Eric Botcazou <ebotcazou@adacore.com>
762
763 * gcc-interface/utils.c (update_pointer_to): Finalize named pointer
764 types.
765
d9d7a26c
EB		 7662011-04-02 Eric Botcazou <ebotcazou@adacore.com>
767
768 * gcc-interface/lang.opt (feliminate-unused-debug-types): Delete.
769 * gcc-interface/misc.c (gnat_handle_option): Remove special handling
de9528f0 770 code for -feliminate-unused-debug-types.
d9d7a26c
EB		 771 (gnat_post_options): Likewise.
772
4cb12a90
EB		 7732011-04-02 Eric Botcazou <ebotcazou@adacore.com>
774
775 * gcc-interface/utils.c (gnat_pushdecl): If this is a non-artificial
776 declaration of a pointer type, then set DECL_ORIGINAL_TYPE to a
777 distinct copy.
778
acccc61c
EB		 7792011-04-02 Eric Botcazou <ebotcazou@adacore.com>
780
781 * gcc-interface/decl.c (gnat_to_gnu_entity): Do not force the
782 DECL_ARTIFICIAL flag on enumeration types.
783
583eb0c9
EB		 7842011-04-02 Eric Botcazou <ebotcazou@adacore.com>
785
786 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Do not make
787 fat pointer types artificial unconditionally.
788 <E_Array_Subtype>: Attach the base array type as a parallel type if it
789 isn't artificial.
790
e3edbd56
EB		 7912011-04-02 Eric Botcazou <ebotcazou@adacore.com>
792
793 * gcc-interface/gigi.h (get_dummy_type): Declare.
794 (build_dummy_unc_pointer_types): Likewise.
795 (finish_fat_pointer_type): Likewise.
796 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: If a dummy
797 fat pointer type has been built, complete it in place.
798 <E_Access_Type>: Call build_dummy_unc_pointer_types to build dummy fat
799 and thin pointers. Remove useless variable.
800 (finish_fat_pointer_type): Make global and move to...
801 * gcc-interface/utils.c (finish_fat_pointer_type): ...here.
802 (get_dummy_type): New function.
803 (build_dummy_unc_pointer_types): Likewise.
804 (gnat_pushdecl): Propage the name to the anonymous variants only.
805 (update_pointer_to): Only adjust the pointer types in the unconstrained
806 array case.
807
65444786
EB		 8082011-04-02 Eric Botcazou <ebotcazou@adacore.com>
809
810 * gcc-interface/ada-tree.h (DECL_TAFT_TYPE_P): New flag.
811 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Incomplete_Type>: Set it
812 if this is a Taft amendment type and the full declaration is available.
813 * gcc-interface/trans.c (process_type): Likewise.
814 If there is an old type, mark the new one as used if DECL_TAFT_TYPE_P.
815 (process_freeze_entity): Likewise.
816 * gcc-interface/utils.c (dummy_global): New static variable.
817 (gnat_write_global_declarations): If there are types declared as used
818 at the global level, insert them in the global hash table.
819
1aeb40dd
EB		 8202011-04-02 Eric Botcazou <ebotcazou@adacore.com>
821
822 * gcc-interface/gigi.h (record_builtin_type): Add ARTIFICIAL_P param.
823 * gcc-interface/utils.c (gnat_pushdecl): If this is a non-artificial
824 declaration of an array type, then set DECL_ORIGINAL_TYPE to a distinct
825 copy.
826 (record_builtin_type): Add ARTIFICIAL_P parameter. Set DECL_ARTIFICIAL
827 flag of the type accordingly.
828 * gcc-interface/trans.c (gigi): Adjust calls to record_builtin_type.
829
80ec8b4c
EB		 8302011-04-02 Eric Botcazou <ebotcazou@adacore.com>
831
832 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Defer
833 finalizing types when updating the pointers to the designated type.
834 <all>: Finalize the deferred types even if we didn't defer processing
835 of incomplete types in this invocation.
836
2a9d769a
OH		 8372011-04-01 Olivier Hainque <hainque@adacore.com>
838 Nicolas Setton <setton@adacore.com>
839 Eric Botcazou <ebotcazou@adacore.com>
840
841 * gcc-interface/misc.c (gnat_descriptive_type): New function.
842 (LANG_HOOKS_DESCRIPTIVE_TYPE): Redefine to gnat_descriptive_type.
843
2438d7a6
KT		 8442011-03-28 Kai Tietz <ktietz@redhat.com>
845
333d8aff 846 * gcc-interface/Makefile.in (SO_LIB): Handle multilib build for native
80ec8b4c
EB		 847 Windows targets.
848 (EH_MECHANISM): Use GCC exception mechanism for native Windows targets.
849 * system-mingw.ads (System): Change ZCX_By_Default default to True.
333d8aff 850
80ec8b4c 851 * raise-gcc.c (PERSONALITY_FUNCTION): Add prototype.
2438d7a6 852
8ad150f6
TG		 8532011-03-28 Tristan Gingold <gingold@adacore.com>
854
855 PR ada/44431
80ec8b4c
EB		 856 * gcc-interface/Make-lang.in (ada/b_gnat1.adb): Replace ada/b_gnat1.c.
857 Use ada output of gnatbind.
8ad150f6
TG		 858 (ada/b_gnatb.adb): Ditto.
859 (ada/b_gnat1.o, ada/b_gnatb.o): New rules.
860 (ada.mostlyclean, ada.stage1)
861 (ada.stage2, ada.stage3, ada.stage4, ada.stageprofile)
862 (ada.stagefeedback): Adjust.
80ec8b4c 863 * gcc-interface/Makefile.in (b_gnatl.adb): Replace b_gnatl.c.
8ad150f6
TG		 864 Use ada output of gnatbind.
865 (b_gnatm.adb): Ditto.
866 (b_gnatl.o, b_gnatm.o): New rules.
867
51c7954d
EB		 8682011-03-26 Eric Botcazou <ebotcazou@adacore.com>
869
870 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Create TYPE_DECL
871 for the padded type built to support a specified size or alignment.
872
6ddf9843
EB		 8732011-03-26 Eric Botcazou <ebotcazou@adacore.com>
874
875 * gcc-interface/gigi.h (finalize_from_with_types): Adjust comment.
876 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Defer
877 unconditionally to the end of the unit when the designated type is
878 limited_with'ed.
879 <all>: Rename local variable. Attempt to un-defer types only and do it
880 for limited_with'ed types as well.
881 (finalize_from_with_types): Adjust comment. Rename variable and tidy.
882 * gcc-interface/trans.c (Compilation_Unit_to_gnu): Use GNAT_UNIT
883 consistently and remove redundant call to finalize_from_with_types.
884
5daed84a
EB		 8852011-03-26 Eric Botcazou <ebotcazou@adacore.com>
886
887 * inline.adb (Back_End_Cannot_Inline): Lift restriction on calls to
888 subprograms without a previous spec declared in the same unit.
889 * gcc-interface/trans.c (Compilation_Unit_to_gnu): Process inlined
890 subprograms at the end of the unit instead of at the beginning.
891 * gcc-interface/utils.c (create_subprog_decl): Check that the entity
892 isn't public for the special handling of non-inline functions nested
893 inside inline external functions.
894
0edf1bb2
JL		 8952011-03-25 Jeff Law <law@redhat.com>
896
5daed84a 897 * gcc-interface/utils.c (def_fn_type): Add missing va_end.
0edf1bb2 898
e3c4580e
EB		 8992011-03-24 Eric Botcazou <ebotcazou@adacore.com>
900
901 * einfo.ads (Size_Depends_On_Discriminant): Adjust description.
902 * layout.adb (Compute_Size_Depends_On_Discriminant): New procedure
903 to compute Set_Size_Depends_On_Discriminant.
904 (Layout_Type): Call it on array types in back-end layout mode.
905 * sem_util.adb (Requires_Transient_Scope): Return true for array
906 types only if the size depends on the value of discriminants.
907 * gcc-interface/utils2.c (build_binary_op) <MODIFY_EXPR>: Use the RHS
908 type if the RHS is a call to a function that returns an unconstrained
909 type with default discriminant.
910
abbc8c7b
EB		 9112011-03-24 Eric Botcazou <ebotcazou@adacore.com>
912
913 * gcc-interface/trans.c (gnat_to_gnu): Remove obsolete case of
914 non-conversion to the nominal result type at the end.
915
ddb5a105
EB		 9162011-03-23 Eric Botcazou <ebotcazou@adacore.com>
917
918 * gcc-interface/trans.c (create_temporary): New function taken from...
919 (create_init_temporary): ...here. Call it.
920 (call_to_gnu): Create the temporary for the return value early, if any.
921 Create it for a function with copy-in/copy-out parameters if there is
922 no target; in other cases of copy-in/copy-out, use another temporary.
923 Push the new binding level lazily. Add and rename local variables.
924
0d853156
EB		 9252011-03-23 Eric Botcazou <ebotcazou@adacore.com>
926
927 * gcc-interface/decl.c (validate_size): Improve comments and tweak
928 error message.
929 (set_rm_size): Likewise.
930
4184ef1b
EB		 9312011-03-23 Eric Botcazou <ebotcazou@adacore.com>
932
933 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Create TYPE_DECL
934 for the padded type built in order to support a specified alignment.
935 Fix incorrect formatting.
936
bf7eefab
EB		 9372011-03-21 Eric Botcazou <ebotcazou@adacore.com>
938
939 PR bootstrap/48216
940 * gcc-interface/decl.c (elaborate_expression_1): Localize GNU_DECL.
941
ef0feeb2
EB		 9422011-03-21 Eric Botcazou <ebotcazou@adacore.com>
943
944 * gcc-interface/decl.c (components_to_record): Add REORDER parameter,
945 rename DEBUG_INFO_P into DEBUG_INFO and move P_GNU_REP_LIST parameter
946 to the end of the list. Adjust recursive call. Rename local variable.
947 If REORDER is true, reorder components of the record type.
948 (gnat_to_gnu_entity): Pass OK_To_Reorder_Components flag as argument to
949 components_to_record and adjust the parameter list.
950
646f9414
EB		 9512011-03-21 Eric Botcazou <ebotcazou@adacore.com>
952
953 * gcc-interface/decl.c (elaborate_expression_1): When optimization is
954 disabled, use the variable for bounds of loop iteration scheme.
955
62d784f7
KT		 9562011-03-21 Kai Tietz <ktietz@redhat.com>
957
958 PR target/12171
0bad0e23 959 * gcc-interface/utils.c (gnat_internal_attribute_table): Add column.
62d784f7 960
f230d759
EB		 9612011-03-17 Eric Botcazou <ebotcazou@adacore.com>
962
963 * gcc-interface/decl.c (elaborate_expression_1): Try harder to find
964 out whether the expression is read-only. Short-circuit placeholder
965 case and rename a couple of local variables.
966
bb1f7929
EB		 9672011-03-17 Eric Botcazou <ebotcazou@adacore.com>
968
969 * gcc-interface/gigi.h (smaller_form_type_p): Declare.
970 * gcc-interface/trans.c (smaller_form_type_p): Make global and move...
971 * gcc-interface/utils.c (smaller_form_type_p): ...to here.
972 (convert): Deal with conversions from a smaller form type specially.
973
400a2d24
EB		 9742011-02-14 Eric Botcazou <ebotcazou@adacore.com>
975
976 * gcc-interface/misc.c (gnat_init_options): Do not concatenate -I and
977 its argument, except for the special -I- switch.
978
c26bc3ad
GP		 9792011-02-12 Gerald Pfeifer <gerald@pfeifer.com>
980
0bad0e23
EB		 981 * gnat_ugn.texi (Compiling Different Versions of Ada): Update link to
982 "Ada Issues".
c26bc3ad 983
07b8e910
EB		 9842011-02-08 Eric Botcazou <ebotcazou@adacore.com>
985
986 * gcc-interface/Makefile.in (x86-64 darwin): Handle multilibs.
987
31a5a547
EB		 9882011-02-03 Eric Botcazou <ebotcazou@adacore.com>
989
990 * gcc-interface/gigi.h (fill_vms_descriptor): Take GNU_TYPE instead of
991 GNAT_FORMAL.
992 * gcc-interface/utils2.c (fill_vms_descriptor): Move from here to...
993 * gcc-interface/utils.c (fill_vms_descriptor): ...here. Take GNU_TYPE
994 instead of GNAT_FORMAL. Protect the expression against multiple uses.
995 Do not generate the check directly, instead instantiate the template
996 check present in the descriptor.
997 (make_descriptor_field): Move around.
998 (build_vms_descriptor32): Build a template check in the POINTER field.
999 (build_vms_descriptor): Remove useless suffixes.
1000 * gcc-interface/trans.c (call_to_gnu): Adjust fill_vms_descriptor call.
1001
dcf25f59
EB		 10022011-01-26 Eric Botcazou <ebotcazou@adacore.com>
1003
1004 PR bootstrap/47467
1005 * targext.c: Include target files if IN_RTS is defined.
1006
0418e131
RG		 10072011-01-26 Richard Guenther <rguenther@suse.de>
1008
1009 PR bootstrap/47467
1010 * targext.c: Include config.h.
1011 * gcc-interface/Make-lang.in (ada/targext.o): Add $(CONFIG_H)
1012 dependency.
1013
c6eecbd8
PO		 10142011-01-04 Pascal Obry <obry@adacore.com>
1015 Eric Botcazou <ebotcazou@adacore.com>
1016
1017 * gcc-interface/decl.c: Disable Stdcall convention handling for 64-bit.
1018
2d3c7e4f
EB		 10192011-01-04 Eric Botcazou <ebotcazou@adacore.com>
1020
1021 * gcc-interface/trans.c (Case_Statement_to_gnu): Put the SLOC of the
1022 end-of-case on the end label and its associated gotos, if any.
1023
0394741f
EB		 10242011-01-04 Eric Botcazou <ebotcazou@adacore.com>
1025
1026 * gcc-interface/trans.c (Subprogram_Body_to_gnu): Evaluate the
1027 expressions of the parameter cache within the statement group of
1028 the CICO mechanism.
1029
2a02d090
OH		 10302011-01-04 Olivier Hainque <hainque@adacore.com>
1031 Eric Botcazou <ebotcazou@adacore.com>
1032
1033 * gcc-interface/trans.c (BLOCK_SOURCE_END_LOCATION): Provide default.
1034 (set_end_locus_from_node): New function.
1035 (Subprogram_Body_to_gnu): Use it to mark both the inner BIND_EXPR we
1036 make and the function end_locus.
1037 (Compilation_Unit_to_gnu): Call it instead of a straight Sloc_to_locus
1038 for the elaboration subprogram.
1039 (set_gnu_expr_location_from_node) <default case>: Use it to attempt to
1040 set the end_locus of the expression as well.
1041
89f5e978
EB		 10422011-01-04 Eric Botcazou <ebotcazou@adacore.com>
1043
1044 PR ada/47131
1045 * gcc-interface/trans.c (Identifier_to_gnu): In SJLJ mode, do not make
1046 variables that are referenced in exception handlers volatile.
1047
1048
ad41bd84 1049\f
797103eb 1050Copyright (C) 2011 Free Software Foundation, Inc.
ad41bd84
JM		 1051
1052Copying and distribution of this file, with or without modification,
1053are permitted in any medium without royalty provided the copyright
1054notice and this notice are preserved.
GNU Compiler Collection
This page took 0.839572 seconds and 5 git commands to generate.