1 2010-06-17 Eric Botcazou <ebotcazou@adacore.com>
3 * gcc-interface/trans.c (set_gnu_expr_location_from_node): New static
5 (gnat_to_gnu) <N_Expression_With_Actions>: New case.
6 Use set_gnu_expr_location_from_node to set location information on the
9 2010-06-17 Arnaud Charlet <charlet@adacore.com>
11 * gcc-interface/Make-lang.in: Update dependencies.
13 2010-06-17 Ed Schonberg <schonberg@adacore.com>
15 * sem_util.adb (Is_Atomic_Object): Predicate does not apply to
18 2010-06-17 Robert Dewar <dewar@adacore.com>
20 * gnat_rm.texi, gnat_ugn.texi: Clean up documentation on warning and
22 * sem_res.adb (Resolve_Call): Don't call
23 Check_For_Eliminated_Subprogram if we are analyzing within a spec
26 2010-06-17 Robert Dewar <dewar@adacore.com>
28 * debug.adb: Add documentation for debug flags .X and .Y
29 * exp_ch4.adb (Expand_Short_Circuit_Operator): Use
30 Use_Expression_With_Actions.
31 * gnat1drv.adb (Adjust_Global_Switches): Set
32 Use_Expression_With_Actions.
33 * opt.ads (Use_Expression_With_Actions): New switch.
35 2010-06-17 Robert Dewar <dewar@adacore.com>
37 * exp_intr.adb: Minor code reorganization (use UI_Max)
38 * sem_intr.adb: use underlying type to check legality.
39 * einfo.adb (Known_Static_Esize): False for generic types
40 (Known_Static_RM_Size): False for generic types
41 * einfo.ads (Known_Static_Esize): False for generic types
42 (Known_Static_RM_Size): False for generic types
44 2010-06-17 Robert Dewar <dewar@adacore.com>
46 * exp_ch4.ads: Minor code reorganization (specs in alpha order).
48 2010-06-17 Robert Dewar <dewar@adacore.com>
50 * debug.adb: New debug flag -gnatd.X to use Expression_With_Actions
51 node when expanding short circuit form with actions present for right
53 * exp_ch4.adb: Minor reformatting
54 (Expand_Short_Circuit_Operator): Use new Expression_With_Actions node if
55 right opeand has actions present, and debug flag -gnatd.X is set.
56 * exp_util.adb (Insert_Actions): Handle case of Expression_With_Actions
58 * nlists.adb (Prepend_List): New procedure
59 (Prepend_List_To): New procedure
60 * nlists.ads (Prepend_List): New procedure
61 (Prepend_List_To): New procedure
62 * sem.adb: Add processing for Expression_With_Actions
63 * sem_ch4.adb (Analyze_Expression_With_Actions): New procedure
64 * sem_ch4.ads (Analyze_Expression_With_Actions): New procedure
65 * sem_res.adb: Add processing for Expression_With_Actions.
66 * sem_scil.adb: Add processing for Expression_With_Actions
67 * sinfo.ads, sinfo.adb (N_Expression_With_Actions): New node.
68 * sprint.ads, sprint.adb: Add processing for Expression_With_Actions
70 2010-06-17 Doug Rupp <rupp@adacore.com>
72 * sem_intr.adb (Check_Intrinsic_Operator): Check that the types
73 involved both have underlying integer types.
74 * exp_intr.adb (Expand_Binary_Operator) New subprogram to expand a call
75 to an intrinsic operator when the operand types or sizes are not
77 * s-auxdec-vms_64.ads: Revert "+" "-" ops back to Address now that
78 64/32 Address/Integer works.
80 2010-06-17 Ed Schonberg <schonberg@adacore.com>
82 * sem_ch12.adb (Mark_Context): Refine placement of Withed_Body flag, so
83 that it marks a unit as needed by a spec only if the corresponding
84 instantiation appears in that spec (and not in the corresponding body).
85 * sem_elim.adb (Check_Eliminated): If we are within a subunit, the name
86 in the pragma Eliminate has been parsed as a child unit, but the
87 current compilation unit is in fact the parent in which the subunit is
90 2010-06-17 Vincent Celier <celier@adacore.com>
92 * gnat_rm.texi: Fix typo
94 2010-06-17 Robert Dewar <dewar@adacore.com>
96 * sem_util.adb: Minor reformatting
98 2010-06-17 Ed Schonberg <schonberg@adacore.com>
100 * sem.adb (Do_Withed_Unit): if the unit in the with_clause is a generic
101 instance, the clause now denotes the instance body. Traverse the
102 corresponding spec because there may be no other dependence that will
103 force the traversal of its own context.
105 2010-06-17 Ed Schonberg <schonberg@adacore.com>
107 * sem_ch10.adb (Is_Ancestor_Unit): Subsidiary to
108 Install_Limited_Context_Clauses, to determine whether a limited_with in
109 some parent of the current unit designates some other parent, in which
110 case the limited_with clause must not be installed.
111 (In_Context): Refine test.
113 2010-06-17 Gary Dismukes <dismukes@adacore.com>
115 * sem_util.adb (Collect_Primitive_Operations): In the of an untagged
116 type with a dispatching equality operator that is overridden (for a
117 tagged full type), don't include the overridden equality in the list of
118 primitives. The overridden equality is detected by testing for an
119 Aliased field that references the overriding equality.
121 2010-06-17 Robert Dewar <dewar@adacore.com>
123 * freeze.adb: Minor reformatting.
125 2010-06-17 Joel Brobecker <brobecker@adacore.com brobecker>
127 * gnat_ugn.texi: Add a section introducing gdbserver.
129 2010-06-17 Thomas Quinot <quinot@adacore.com>
131 * sem_res.adb, sem_ch4.adb, s-stoele.adb, par-labl.adb: Minor
134 2010-06-17 Ed Schonberg <schonberg@adacore.com>
136 * sem_aggr.adb (Valid_Ancestor_Type): handle properly the case of a
137 constrained discriminated parent that is a private type.
138 (Analyze_Record_Aggregate): when collecting inherited discriminants,
139 handle properly an ancestor type that is a constrained private type.
141 2010-06-17 Ed Schonberg <schonberg@adacore.com>
143 * sem_util.adb (Enclosing_Subprogram): If the called subprogram is
144 protected, use the protected_subprogram_body only if the original
145 subprogram has not been eliminated.
147 2010-06-17 Ed Schonberg <schonberg@adacore.com>
149 * freeze.adb (Freeze_Expression): The designated type of an
150 access_to_suprogram type can only be frozen if all types in its profile
153 2010-06-17 Robert Dewar <dewar@adacore.com>
155 * par.adb: Minor comment fix
156 * sem_aggr.adb, sem_ch3.adb: Minor reformatting
158 2010-06-17 Doug Rupp <rupp@adacore.com>
160 * s-auxdec-vms_64.ads: Revert Integer to Long_Integer change, instead
161 change Address to Short_Address in functions where both must be the
162 same size for intrinsics to work.
164 2010-06-17 Thomas Quinot <quinot@adacore.com>
166 * sem_ch4.adb (Analyze_Selected_Component): A selected component may
167 not denote a (private) component of a protected object.
169 2010-06-17 Bob Duff <duff@adacore.com>
171 * par-labl.adb (Try_Loop): Test whether the label and the goto are in
174 2010-06-17 Joel Brobecker <brobecker@adacore.com brobecker>
176 * gnat_ugn.texi: Update the documentation about GDB re: exception
179 2010-06-17 Arnaud Charlet <charlet@adacore.com>
181 * gnatvsn.ads: Bump to 4.6 version.
183 2010-06-17 Ed Schonberg <schonberg@adacore.com>
185 * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): The
186 designated type of the generated pointer is the type of the original
187 expression, not that of the function call itself, because the return
188 type may be an untagged derived type and the function may be an
191 2010-06-17 Robert Dewar <dewar@adacore.com>
193 * exp_ch4.adb: Minor reformatting.
195 2010-06-17 Ed Schonberg <schonberg@adacore.com>
197 * sinfo.ads, sinfo.adb (Inherited_Discriminant): New flag on
198 N_Component_Association nodes, to indicate that a component association
199 of an extension aggregate denotes the value of a discriminant of an
200 ancestor type that has been constrained by the derivation.
201 * sem_aggr.adb (Discr_Present): use Inherited_Discriminant to prevent a
202 double expansion of the aggregate appearing in a context that delays
203 expansion, to prevent double insertion of discriminant values when the
204 aggregate is reanalyzed.
206 2010-06-17 Arnaud Charlet <charlet@adacore.com>
208 * exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Do not use
209 Allocator as the Related_Node of Return_Obj_Access in call to
210 Make_Temporary below as this would create a sort of infinite
213 2010-06-17 Ben Brosgol <brosgol@adacore.com>
215 * gnat_ugn.texi: Update gnatcheck doc.
217 2010-06-17 Ed Schonberg <schonberg@adacore.com>
219 * sem_ch3.adb (Build_Incomplete_Type_Declaration): If there is an
220 incomplete view of the type that is not tagged, and the full type is a
221 tagged extension, create class_wide type now, and warn that the
222 incomplete view should be tagged as well.
224 2010-06-17 Vincent Celier <celier@adacore.com>
226 * gnatcmd.adb (Non_VMS_Usage): Do not issue usage for gnat sync.
227 Update the last line of the usage, indicating what commands do not
228 accept project file switches.
229 * vms_conv.adb: Do not issue usage line for GNAT SYNC
230 * vms_data.ads: Fix errors in the qualifiers /LOGFILE and /MAIN of
232 * gnat_ugn.texi: Document the relaxed rules for library directories in
233 externally built library projects.
235 2010-06-17 Doug Rupp <rupp@adacore.com>
237 * s-auxdec-vms_64.ads: Make boolean and arithmetic operations intrinsic
239 * s-auxdec-vms-alpha.adb: Remove kludges for aforemention.
240 * gcc-interface/Makefile.in: Update VMS target pairs.
242 2010-06-17 Vasiliy Fofanov <fofanov@adacore.com>
244 * adaint.c: Reorganized in order to avoid use of GetProcessId to stay
245 compatible with Windows NT 4.0 which doesn't provide this function.
247 2010-06-17 Vincent Celier <celier@adacore.com>
249 * ali-util.adb (Time_Stamp_Mismatch): In Verbose mode, if there is
250 different timestamps but the checksum is the same, issue a short
253 2010-06-17 Arnaud Charlet <charlet@adacore.com>
255 * s-interr.adb (Finalize): If the Abort_Task signal is set to system,
256 it means that we cannot reset interrupt handlers since this would
257 require potentially sending the abort signal to the Server_Task.
259 2010-06-17 Ed Schonberg <schonberg@adacore.com>
261 * exp_ch4.adb: expand NOT for VMS types.
262 * sem_util.adb: Use OpenVMS_On_Target for IS_VMS_Operator.
264 2010-06-17 Sergey Rybin <rybin@adacore.com>
266 * vms_data.ads: Add qualifier for '--no-elim-dispatch' gnatelim option.
267 * gnat_ugn.texi (gnatelim): add description for --no-elim-dispatch
270 2010-06-17 Ed Schonberg <schonberg@adacore.com>
272 * exp_ch6.adb (Expand_Call): Do not expand a call to an internal
273 protected operation if the subprogram has been eliminated.
275 2010-06-17 Vincent Celier <celier@adacore.com>
277 * prj-nmsc.adb (Check_Library_Attributes): Allow the different
278 directories associated with a library to be any directory when the
279 library project is externally built.
281 2010-06-17 Vincent Celier <celier@adacore.com>
283 * make.adb (Check): If switch -m is used, deallocate the memory that
284 may be allocated when computing the checksum.
286 2010-06-17 Eric Botcazou <ebotcazou@adacore.com>
288 * g-socthi-mingw.adb (C_Recvmsg): Add 'use type' clause for C.size_t;
289 (C_Sendmsg): Likewise.
291 2010-06-17 Thomas Quinot <quinot@adacore.com>
293 * sem_res.adb: Update comments.
295 2010-06-17 Vincent Celier <celier@adacore.com>
297 * back_end.adb (Scan_Compiler_Arguments): Process last argument
299 2010-06-17 Robert Dewar <dewar@adacore.com>
301 * exp_ch3.adb, exp_ch6.adb, exp_smem.adb, exp_util.adb: Use Ekind_In.
302 * layout.adb, freeze.adb: Use Make_Temporary.
304 2010-06-17 Jerome Lambourg <lambourg@adacore.com>
306 * exp_ch11.adb (Expand_N_Raise_Statement): Expand raise statements in
307 .NET/JVM normally as this is now perfectly supported by the backend.
309 2010-06-17 Pascal Obry <obry@adacore.com>
311 * gnat_rm.texi: Fix minor typo, remove duplicate blank lines.
313 2010-06-17 Vincent Celier <celier@adacore.com>
315 * make.adb (Collect_Arguments_And_Compile): Create include path file
316 only when -x is specified.
318 * opt.ads (Use_Include_Path_File): New Boolean flag, initialized to
320 * prj-env.adb (Set_Ada_Paths): New Boolean parameters Include_Path and
321 Objects_Path, defaulted to True. Only create include path file if
322 Include_Path is True, only create objects path file if Objects_Path is
324 * prj-env.ads (Set_Ada_Paths): New Boolean parameters Include_Path and
325 Objects_Path, defaulted to True.
326 * switch-m.adb (Scan_Make_Switches): Set Use_Include_Path_File to True
329 2010-06-17 Ed Schonberg <schonberg@adacore.com>
331 * exp_disp.adb (Build_Interface_Thunk): Use base type of formal to
332 determine whether it has the controlling type, when the formal is an
335 2010-06-17 Eric Botcazou <ebotcazou@adacore.com>
337 * s-crtl.ads (ssize_t): New type.
338 (read): Fix signature.
340 * g-socthi.ads: Add 'with System.CRTL' clause. Remove ssize_t and
341 'use type' directive for C.size_t, add one for System.CRTL.ssize_t.
342 (C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t.
343 (C_Sendmsg): Likewise.
344 * g-socthi.adb (Syscall_Recvmsg): Likewise.
345 (Syscall_Sendmsg): Likewise.
346 (C_Recvmsg): Likewise.
347 (C_Sendmsg): Likewise.
348 * g-socthi-mingw.ads: Add 'with System.CRTL' clause. Remove ssize_t
349 and 'use type' directive for C.size_t, add one for System.CRTL.ssize_t.
350 (C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t.
351 (C_Sendmsg): Likewise.
352 * g-socthi-mingw.adb (C_Recvmsg): Likewise.
353 (C_Sendmsg): Likewise.
354 * g-socthi-vms.ads: Add 'with System.CRTL' clause. Remove ssize_t and
355 'use type' directive for C.size_t, add one for System.CRTL.ssize_t.
356 (C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t.
357 (C_Sendmsg): Likewise.
358 * g-socthi-vms.adb (C_Recvmsg): Likewise.
359 (C_Sendmsg): Likewise.
360 * g-socthi-vxworks.ads Add 'with System.CRTL' clause. Remove ssize_t
361 and 'use type' directive for C.size_t, add one for System.CRTL.ssize_t.
362 (C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t.
363 (C_Sendmsg): Likewise.
364 * g-socthi-vxworks.adb (C_Recvmsg): Likewise.
365 (C_Sendmsg): Likewise.
366 * g-sercom-linux.adb (Read): Use correct types to call 'read'.
367 (Write): Likewise to call 'write'.
368 * s-os_lib.adb (Read): Use correct type to call System.CRTL.read.
369 (Write): Use correct type to call System.CRTL.write.
370 * s-tasdeb.adb (Write): Likewise.
372 2010-06-17 Vincent Celier <celier@adacore.com>
374 * prj-proc.adb (Copy_Package_Declarations): Change argument name
375 Naming_Restricted to Restricted. If Restricted is True, do not copy the
376 value of attribute Linker_Options.
378 2010-06-17 Eric Botcazou <ebotcazou@adacore.com>
380 * gcc-interface/trans.c (push_stack, pop_stack): Delete.
381 (Case_Statement_to_gnu): Adjust.
382 (Loop_Statement_to_gnu): Likewise.
383 (Subprogram_Body_to_gnu): Likewise.
384 (Handled_Sequence_Of_Statements_to_gnu): Likewise.
385 (Compilation_Unit_to_gnu): Likewise.
387 2010-06-17 Robert Dewar <dewar@adacore.com>
389 * exp_fixd.adb, exp_imgv.adb, exp_intr.adb, exp_pakd.adb, exp_prag.adb,
390 exp_sel.adb, exp_util.adb, sem_ch10.adb, sem_ch12.adb, sem_ch13.adb,
391 sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch8.adb, sem_ch9.adb,
392 sem_dist.adb, sem_util.adb: Use Make_Temporary
393 * itypes.ads, tbuild.ads: Minor comment update
394 * exp_ch9.adb, exp_dist.adb: Minor reformatting
396 2010-06-17 Thomas Quinot <quinot@adacore.com>
398 * exp_imgv.adb, exp_ch7.ads: Minor reformatting.
400 2010-06-17 Robert Dewar <dewar@adacore.com>
402 * exp_ch9.adb, exp_disp.adb, exp_dist.adb: Use Make_Temporary.
404 2010-06-17 Thomas Quinot <quinot@adacore.com>
406 * sprint.adb (pg): Set Dump_Freeze_Null, to be consistent with -gnatdg.
408 2010-06-17 Robert Dewar <dewar@adacore.com>
410 * exp_ch6.adb, exp_ch7.adb, exp_ch5.adb: Use Make_Temporary
411 * tbuild.ads (Make_Temporary): More comment updates
412 * tbuild.adb: Minor reformatting
414 2010-06-17 Robert Dewar <dewar@adacore.com>
416 * checks.adb, exp_aggr.adb, exp_atag.adb, exp_attr.adb, exp_ch11.adb,
417 exp_ch3.adb, exp_ch4.adb: Minor code reorganization.
419 * tbuild.ads, tbuild.adb (Make_Temporary): Clean up, use Entity_Id
421 (Make_Temporary): Add more extensive documentation
423 2010-06-17 Robert Dewar <dewar@adacore.com>
425 * sem_intr.adb, sem_prag.adb, sem_res.adb, sem_type.adb, sem_util.adb,
426 sem_warn.adb, sem_eval.adb: Minor reformatting. Use Ekind_In.
427 (Set_Slice_Subtype): Explicitly freeze the slice's itype at the point
428 where the slice's actions are inserted.
429 (Decompose_Expr): Account for possible rewriting of slice bounds
430 resulting from side effects suppression caused by the above freezing,
431 so that folding of bounds is preserved by such rewriting.
433 2010-06-17 Robert Dewar <dewar@adacore.com>
435 * einfo.ads, einfo.adb (Get_Record_Representation_Clause): New function.
436 * freeze.adb (Freeze_Record_Type): Add call to
437 Check_Record_Representation_Clause.
438 * sem_ch13.adb (Check_Record_Representation_Clause): New function
439 (Analyze_Record_Representation_Clause): Split out overlap code into this
441 (Check_Component_Overlap): Moved inside
442 Check_Record_Representation_Clause.
443 * sem_ch13.ads (Check_Record_Representation_Clause): New function.
445 2010-06-17 Robert Dewar <dewar@adacore.com>
447 * back_end.adb, sem_res.adb, switch-c.adb, sem_scil.adb: Minor
449 * sem_attr.adb, sem_cat.adb, sem_disp.adb, sem_elab.adb, sem_elim.adb,
450 sem_eval.adb: Use Ekind_In
452 2010-06-17 Ed Schonberg <schonberg@adacore.com>
454 * sem_ch8.adb: better error message for illegal inherited discriminant
456 2010-06-17 Vincent Celier <celier@adacore.com>
458 * bindusg.adb: Remove lines for -A and -C
459 * gnat_ugn.texi: Remove all documentation and examples of switches -A
460 and -C for gnatbind and gnatlink.
461 * gnatlink.adb (Usage): Remove lines for -A and -C
462 * switch-b.adb (Scan_Binder_Switches): Issue warning when switch -C is
464 * gcc-interface/Make-lang.in: Update dependencies.
466 2010-06-17 Vincent Celier <celier@adacore.com>
468 * back_end.adb (Scan_Compiler_Arguments): Put all arguments in new
469 local Argument_List variable Args.
470 * switch-c.adb (Scan_Front_End_Switches): New Argument_List argument
472 (Switch_Subsequently_Cancelled): New Argument_List argument Args. Look
473 for subsequent switches in Args.
474 * switch-c.ads (Scan_Front_End_Switches): New Argument_List argument
476 * gcc-interface/Make-lang.in: Update dependencies.
478 2010-06-17 Robert Dewar <dewar@adacore.com>
480 * einfo.adb: Minor code fix, allow E_Class_Wide_Type for
481 Equivalent_Type to match documentation.
483 2010-06-17 Robert Dewar <dewar@adacore.com>
485 * sem_ch6.adb, sem_ch7.adb: Minor reformatting.
486 * sem_ch3.adb, sem_ch5.adb, sem_ch9.adb, sem_ch10.adb, sem_ch12.adb,
487 sem_ch4.adb, sem_ch8.adb, sem_ch13.adb: Make use of Ekind_In.
489 2010-06-17 Thomas Quinot <quinot@adacore.com>
491 * sem_res.adb (Set_Slice_Subtype): Always freeze the slice's itype.
493 2010-06-17 Thomas Quinot <quinot@adacore.com>
495 * freeze.adb (Freeze_Expression): Short circuit operators are valid
496 freeze node insertion points.
498 2010-06-17 Robert Dewar <dewar@adacore.com>
500 * switch-c.ads, switch-c.adb, sem_ch13.adb: Minor reformatting.
501 * sem_ch12.adb: Add pragmas Assert and Check to previous change.
503 2010-06-17 Gary Dismukes <dismukes@adacore.com>
505 * layout.adb (Layout_Type): Broaden test for setting an array type's
506 Component_Size to include all scalar types, not just discrete types
507 (components of real types were missed).
508 * sem_ch3.adb (Constrain_Index): Add missing setting of First_Literal
509 on the itype created for an index (consistent with Make_Index and
510 avoids possible Assert_Failures).
512 2010-06-17 Robert Dewar <dewar@adacore.com>
514 * atree.ads, atree.adb: Add 6-parameter version of Ekind_In
515 * einfo.adb: Minor code reformatting (use Ekind_In)
517 2010-06-17 Robert Dewar <dewar@adacore.com>
519 * sem_warn.adb (Test_Ref): Abandon scan if access subprogram parameter
522 2010-06-17 Vincent Celier <celier@adacore.com>
524 * back_end.adb: Minor comment updates
525 * switch-c.adb: Remove dependencies on gcc C sources
526 * gcc-interface/Make-lang.in: Add a-comlin.o to the object file list
529 2010-06-17 Ed Schonberg <schonberg@adacore.com>
531 * sem_ch12.adb: propagate Pragma_Enabled flag to generic.
532 * get_scos.adb: Set C2 flag in decision entry of pragma to 'e' (enabled)
533 * par_sco.ads, par_sco.adb (Set_SCO_Pragma_Enabled): New procedure
534 Remove use of Node field in SCOs table
535 (Output_Header): Set 'd' to initially disable pragma entry
536 * put_scos.adb (Put_SCOs): New flag indicating if pragma is enabled
537 * scos.ads, scos.adb: Remove Node field from internal SCOs table.
538 Use C2 field of pragma decision header to indicate enabled.
539 * sem_prag.adb: Add calls to Set_SCO_Pragma_Enabled.
540 * gcc-interface/Make-lang.in: Update dependencies.
542 2010-06-17 Vincent Celier <celier@adacore.com>
544 * back_end.adb (Next_Arg): Moved to procedure Scan_Compiler_Arguments
545 (Scan_Compiler_Arguments): Call Scan_Front_End_Switches with Next_Arg
546 (Switch_Subsequently_Cancelled): Function moved to the body of Switch.C
547 * back_end.ads (Scan_Front_End_Switches): Function moved to the body of
549 * switch-c.adb: Copied a number of global declarations from back_end.adb
550 (Len_Arg): New function copied from back_end.adb
551 (Switch_Subsequently_Cancelled): New function moved from back_end.adb
552 (Scan_Front_End_Switches): New parameter Arg_Rank used to call
553 Switch_Subsequently_Cancelled.
554 * switch-c.ads (Scan_Front_End_Switches): New parameter Arg_Rank.
555 * gcc-interface/Makefile.in: Add line so that shared libgnat is linked
558 2010-06-17 Robert Dewar <dewar@adacore.com>
560 * prj.ads, prj.adb: Minor reformatting
562 2010-06-17 Thomas Quinot <quinot@adacore.com>
564 * put_scos.adb: Do not generate a blank line in SCOs when omitting the
565 CP line for a disabled pragma.
567 2010-06-17 Emmanuel Briot <briot@adacore.com>
569 * prj-proc.adb, prj.adb, prj.ads (Check_Or_Set_Typed_Variable): New
571 (Process_Declarative_Item): An invalid value in an typed variable
572 declaration is no longer always fatal.
574 2010-06-16 Arnaud Charlet <charlet@adacore.com>
576 * get_scos.adb, par_sco.adb, par_sco.ads, put_scos.adb, scos.adb,
577 scos.ads, exp_ch4.adb, sem_warn.adb: Code clean up, update
580 2010-06-16 Javier Miranda <miranda@adacore.com>
582 * exp_disp.adb (Expand_Dispatching_Call): Adjust the decoration of the
583 node referenced by the SCIL node of dispatching "=" to skip the tags
586 2010-06-16 Ed Schonberg <schonberg@adacore.com>
588 * sem_ch5.adb (Analyze_Exit_Statement): Return if no enclosing loop,
589 to prevent cascaded errors and compilation aborts.
591 2010-06-16 Robert Dewar <dewar@adacore.com>
593 * back_end.adb (Switch_Subsequently_Cancelled): New function
594 Move declarations to package body level to support this change
595 * back_end.ads (Switch_Subsequently_Cancelled): New function
596 * gnat_ugn.texi: Document -gnat-p switch
597 * switch-c.adb (Scan_Front_End_Switches): Implement -gnat-p switch
598 * ug_words: Add entry for -gnat-p (UNSUPPRESS_ALL)
599 * usage.adb: Add line for -gnat-p switch
600 * vms_data.ads: Add entry for UNSUPPRESS_ALL (-gnat-p)
602 2010-06-16 Robert Dewar <dewar@adacore.com>
604 * sem_warn.adb (Check_Infinite_Loop_Warning): Declaration counts as
607 2010-06-16 Robert Dewar <dewar@adacore.com>
609 * exp_disp.adb: Minor reformatting
611 2010-06-16 Ed Schonberg <schonberg@adacore.com>
613 * sem_ch3.adb (Complete_Private_Subtype): Inherit class_wide type from
614 base type only if it was not previously created for the partial view.
616 2010-06-16 Thomas Quinot <quinot@adacore.com>
618 * tbuild.ads: Minor comment fix
620 2010-06-15 Nathan Froyd <froydnj@codesourcery.com>
622 * gcc-interface/trans.c (gnu_stack_free_list): Delete.
623 (gnu_except_ptr_stack): Change type to VEC. Update comment.
624 (gnu_elab_proc_stack): Likewise.
625 (gnu_return_label_stack): Likewise.
626 (gnu_loop_label_stack): Likewise.
627 (gnu_switch_label_stack): Likewise.
628 (gnu_constraint_label_stack): Likewise.
629 (gnu_storage_error_label_stack): Likewise.
630 (gnu_program_error_label_stack): Likewise.
631 (push_exception_label_stack): Take a VEC ** instead of a tree *.
632 (push_stack): Likewise. Remove unused second parameter. Update
634 (pop_stack): Take a VEC * instead of a tree *. Update callers.
635 (gigi): Initialize stacks as VECs.
636 (Identifier_to_gnu): Use VEC_last instead of TREE_VALUE.
637 (Case_Statement_to_gnu): Likewise.
638 (Subprogram_Body_to_gnu): Likewise.
639 (call_to_gnu): Likewise.
640 (Exception_Handler_to_gnu_sjlj): Likewise.
641 (gnat_to_gnu): Likewise.
642 (get_exception_label): Likewise.
644 2010-06-14 Ed Schonberg <schonberg@adacore.com>
646 * sem_ch3.adb (Build_Derived_Record_Type): if derived type is an
647 anonymous base generated when the parent is a constrained discriminated
648 type, propagate interface list to first subtype because it may appear
649 in a current instance within the extension part of the derived type
650 declaration, and its own subtype declaration has not been elaborated
652 * exp_disp.adb (Build_Interface_Thunk): Use base type of formal to
653 determine whether it has the controlling type.
655 2010-06-14 Jerome Lambourg <lambourg@adacore.com>
657 * exp_ch11.adb (Expand_N_Raise_Statement): Make sure that the explicit
658 raise of CE, SE and PE have the reason correctly set and are properly
659 expanded before stopping the expansions of .NET/JVM exceptions.
661 2010-06-14 Robert Dewar <dewar@adacore.com>
663 * opt.ads (Check_Policy_List): Add some clarifying comments
664 * sem_prag.adb (Analyze_Pragma, case Check): Set Pragma_Enabled flag
665 on rewritten Assert pragma.
667 2010-06-14 Gary Dismukes <dismukes@adacore.com>
669 * sem_ch6.adb (Check_Overriding_Indicator): Add a special check for
670 controlled operations, so that they will be treated as overriding even
671 if the overridden subprogram is marked Is_Hidden, as long as the
672 overridden subprogram's parent subprogram is not hidden.
674 2010-06-14 Robert Dewar <dewar@adacore.com>
676 * debug.adb: Entry for gnatw.d no longer specific for while loops
677 * einfo.adb (First_Exit_Statement): New attribute for E_Loop
678 * einfo.ads (First_Exit_Statement): New attribute for E_Loop
679 * sem_ch5.adb (Analyze_Loop_Statement): Check_Infinite_Loop_Warning has
680 new calling sequence to include test for EXIT WHEN.
681 (Analyze_Exit_Statement): Chain EXIT statement into exit statement chain
682 * sem_warn.ads, sem_warn.adb (Check_Infinite_Loop_Warning): Now handles
684 * sinfo.adb (Next_Exit_Statement): New attribute of N_Exit_Statement
686 * sinfo.ads (N_Pragma): Correct comment on Sloc field (points to
687 PRAGMA, not to pragma identifier).
688 (Next_Exit_Statement): New attribute of N_Exit_Statement node
690 2010-06-14 Robert Dewar <dewar@adacore.com>
692 * sem_res.adb (Resolve_Short_Circuit): Fix sloc of "assertion/check
695 2010-06-14 Robert Dewar <dewar@adacore.com>
697 * par-ch2.adb (Scan_Pragma_Argument_Association): Clarify message for
698 missing pragma argument identifier.
700 2010-06-14 Robert Dewar <dewar@adacore.com>
702 * atree.ads, atree.adb (Ekind_In): New functions.
704 2010-06-14 Robert Dewar <dewar@adacore.com>
706 * exp_ch4.adb (Expand_N_Op_Expon): Optimize 2**N in stand alone context
708 2010-06-14 Robert Dewar <dewar@adacore.com>
710 * usage.adb (Usage): Redo documentation of -gnatwa.
712 2010-06-14 Ed Schonberg <schonberg@adacore.com>
714 * sem_ch8.adb (Find_Type): The attribute 'class cannot be applied to
715 an untagged incomplete type that is a limited view.
717 2010-06-14 Sergey Rybin <rybin@adacore.com>
719 * gnat_ugn.texi: Add description of '-cargs gcc_switches' to gnatstub
722 2010-06-14 Thomas Quinot <quinot@adacore.com>
724 * exp_ch4.adb (Expand_Short_Circuit_Operator): New subprogram,
725 factoring duplicated code between...
726 (Expand_N_And_Than, Expand_N_Or_Else): Remove duplicated code.
727 * a-envvar.ads: Minor reformatting
729 2010-06-14 Arnaud Charlet <charlet@adacore.com>
731 * ali.adb, ali.ads, lib-xref.ads: Document new '+' letter for C/C++
733 (Scan_ALI): Take into account new Visibility field.
734 (Visibility_Kind): New type.
735 (Xref_Entity_Record): Replace Lib field by Visibility.
737 * gcc-interface/Make-lang.in: Update dependencies.
739 2010-06-14 Pascal Obry <obry@adacore.com>
741 * raise.h: Remove unused defintions.
743 2010-06-14 Bob Duff <duff@adacore.com>
745 * par-ch10.adb (P_Subunit): If the next token after "separate(X)" is
746 Tok_Not or Tok_Overriding, call P_Subprogram. We had previously given
747 the incorrect error "proper body expected".
748 * par-ch6.adb (P_Subprogram): Suppress "overriding indicator not
749 allowed here" error in case of subunits, which was triggered by the
750 above change to P_Subunit.
752 2010-06-14 Sergey Rybin <rybin@adacore.com>
754 * gnat_ugn.texi, vms_data.ads: Update gnatelim doc.
756 2010-06-14 Thomas Quinot <quinot@adacore.com>
758 * lib-util.adb: Minor code reorganization.
760 2010-06-14 Robert Dewar <dewar@adacore.com>
762 * ali.adb (Scan_ALI): Implement reading and storing of N lines
763 (Known_ALI_Lines): Add entry for 'N' (notes)
764 * ali.ads (Notes): New table to store Notes information
765 * alloc.ads: Add entries for Notes table
766 * lib-util.adb (Write_Info_Int): New procedure
767 (Write_Info_Slit): New procedure
768 (Write_Info_Uint): New procedure
769 * lib-util.ads (Write_Info_Int): New procedure
770 (Write_Info_Slit): New procedure
771 (Write_Info_Uint): New procedure
772 * lib-writ.adb (Write_Unit_Information): Output N (notes) lines
773 * lib-writ.ads: Update documentation for N (Notes) lines
774 * lib.adb (Store_Note): New procedure
775 * lib.ads (Notes): New table
776 (Store_Note): New procedure
777 * sem_prag.adb: Call Store_Note for affected pragmas
779 2010-06-14 Thomas Quinot <quinot@adacore.com>
781 * socket.c: Fix wrong condition in #ifdef
782 * g-socket.adb, g-sothco.ads: Functions imported from socket.c that
783 take or return char* values can't use Interfaces.C.Strings.chars_ptr,
784 because on VMS this type is a 32-bit pointer which is not compatible
785 with the default for C pointers for code compiled with gcc on that
788 2010-06-14 Ed Schonberg <schonberg@adacore.com>
790 * sem_util (Is_VMS_Operator): New predicate to determine whether an
791 operator is an intrinsic operator declared in the DEC system extension.
792 * sem_res.adb (Resolve_Logical_Op): operation is legal on signed types
793 if the operator is a VMS intrinsic.
794 * sem_eval.adb (Eval_Logical_Op): Operation is legal and be
795 constant-folded if the operands are signed and the operator is a VMS
798 2010-06-14 Robert Dewar <dewar@adacore.com>
800 * g-socket.adb, gnatcmd.adb: Minor reformatting.
802 2010-06-14 Pascal Obry <obry@adacore.com>
804 * s-finimp.adb: Fix typo.
805 * raise.h: Remove duplicate blank line.
807 2010-06-14 Vincent Celier <celier@adacore.com>
809 * prj-nmsc.adb (Add_Sources): Always set the object file and the
810 switches file names, as the configuration of the language may change
811 in an extending project.
812 (Process_Naming_Scheme): For sources of projects that are extended, set
813 the configuration of the language from the highest extending project
814 where the language is declared.
816 2010-06-14 Gary Dismukes <dismukes@adacore.com>
818 * sem_res.adb (Resolve_Call): For infinite recursion check, test
819 whether the called subprogram is inherited from a containing subprogram.
820 (Same_Or_Aliased_Subprograms): New function
822 2010-06-14 Ed Schonberg <schonberg@adacore.com>
824 * sem_ch8.adb (End_Use_Type): Before indicating that an operator is not
825 use-visible, check whether it is a primitive for more than one type.
827 2010-06-14 Robert Dewar <dewar@adacore.com>
829 * sem_ch3.adb (Copy_And_Swap): Copy Has_Pragma_Unmodified flag.
831 * sem_ch7.adb (Preserve_Full_Attributes): Preserve
832 Has_Pragma_Unmodified flag.
834 2010-06-14 Thomas Quinot <quinot@adacore.com>
836 * g-sttsne-locking.adb, g-sttsne-locking.ads, g-sttsne.ads,
837 g-sttsne-vxworks.adb, g-sttsne-dummy.ads: Removed. Mutual exclusion is
838 now done in GNAT.Sockets if necessary.
839 * gsocket.h, g-socket.adb, g-sothco.ads (GNAT.Sockets.Get_XXX_By_YYY):
840 Ensure mutual exclusion for netdb operations if the target platform
842 (GNAT.Sockets.Thin_Common): New binding for getXXXbyYYY, treating struct
843 hostent as an opaque type to improve portability.
844 * s-oscons-tmplt.c, socket.c: For the case of Vxworks, emulate
845 gethostbyYYY using proprietary VxWorks API so that a uniform interface
846 is available for the Ada side.
847 * gcc-interface/Makefile.in: Remove g-sttsne-*
848 * gcc-interface/Make-lang.in: Update dependencies.
850 2010-06-14 Vincent Celier <celier@adacore.com>
852 * gnatcmd.adb (Mapping_File): New function.
854 2010-06-14 Javier Miranda <miranda@adacore.com>
856 * sem_ch3.adb (Derive_Subprograms): Remove over-restrictive assertion.
858 2010-06-14 Arnaud Charlet <charlet@adacore.com>
861 * s-auxdec-vms-alpha.adb, scng.ads: Minor reformatting.
863 2010-06-14 Ed Schonberg <schonberg@adacore.com>
865 * sem_ch12.adb: Make Mark_Context transitive, and apply to subprogram
868 * sem_ch8.adb (Find_Expanded_Name): If a candidate compilation unit in
869 the context does not have a homonym of the selector, emit default
872 2010-06-14 Robert Dewar <dewar@adacore.com>
874 * sem.adb, sem_ch12.adb, sem_util.adb: Minor reformatting and
877 2010-06-14 Arnaud Charlet <charlet@adacore.com>
879 * lib-xref.ads: Doc updates:
880 - Allocate 'Q' for #include entity kind
882 - Allocate 'g' for regular macros
883 - Allocate 'G' for function-like macros
885 2010-06-14 Ed Schonberg <schonberg@adacore.com>
887 * sinfo.ads, sinfo.adb (Withed_Body): New attribute of a with_clause.
888 Indicates that there is an instantiation in the current unit that
889 loaded the body of the unit denoted by the with_clause.
890 * sem_ch12.adb (Mark_Context): When instanting a generic body, check
891 whether a with_clause in the current context denotes the unit that
892 holds the generic declaration, and mark the with_clause accordingly.
893 (Instantiate_Package_Body): call Mark_Context.
894 * sem.adb (Process_Bodies_In_Context): Use Withed_Body to determine
895 whether a given body should be traversed before the spec of the main
898 2010-06-14 Ed Falis <falis@adacore.com>
900 * sysdep.c: Fix 653 build against vThreads headers.
902 2010-06-14 Robert Dewar <dewar@adacore.com>
904 * sinfo.ads: Minor reformatting.
906 2010-06-14 Ed Schonberg <schonberg@adacore.com>
908 * sem_ch6.adb (Analyze_Subprogram_Body): Do not check conformance when
909 the spec has been generated for a body without spec that carries an
910 Inline_Always pragma.
912 2010-06-14 Arnaud Charlet <charlet@adacore.com>
914 * lib-xref.ads: Documentation change: allocate 'Z' letter to C/C++
917 2010-06-14 Jerome Lambourg <lambourg@adacore.com>
919 * exp_dbug.adb (Debug_Renaming_Declaration): Do not output any debug
920 declaration for VMs, as those are useless and might lead to duplicated
921 local variable names in the generated code.
922 * gcc-interface/Make-lang.in: Update dependencies.
924 2010-06-14 Robert Dewar <dewar@adacore.com>
926 * opt.ads, sem.adb, sem_elab.adb: Minor reformatting
928 2010-06-14 Robert Dewar <dewar@adacore.com>
930 * exp_aggr.adb (Has_Address_Clause): Moved to Exp_Util, and there it
931 is renamed as Has_Following_Address_Clause.
932 * exp_ch3.adb (Needs_Simple_Initialization): Add Consider_IS argument
933 to allow the caller to avoid Initialize_Scalars having an effect.
934 (Expand_N_Object_Declaration): Do not do Initialize_Scalars stuff for
935 scalars with an address clause specified.
936 * exp_ch3.ads (Needs_Simple_Initialization): Add Consider_IS argument
937 to allow the caller to avoid Initialize_Scalars having an effect.
938 * exp_util.adb (Has_Following_Address_Clause): Moved here from Exp_Aggr
939 (where it was called Has_Address_Clause).
940 * exp_util.ads (Has_Following_Address_Clause): Moved here from Exp_Aggr
941 (where it was called Has_Address_Clause).
942 * freeze.adb (Warn_Overlay): Suppress message about overlaying causing
943 problems for Initialize_Scalars (since we no longer initialize objects
944 with an address clause.
946 2010-06-14 Robert Dewar <dewar@adacore.com>
948 * exp_prag.adb (Expand_Pragma_Check): Set Loc of generated code from
951 2010-06-14 Gary Dismukes <dismukes@adacore.com>
953 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Set Debug_Info_Needed
954 on the entity of an implicitly generated postcondition procedure.
956 2010-06-14 Thomas Quinot <quinot@adacore.com>
958 * sem_ch7.adb (Preserve_Full_Attributes): Propagate
959 Discriminant_Constraint elist from full view to private view.
961 2010-06-14 Robert Dewar <dewar@adacore.com>
963 * sem_res.adb: Minor reformatting.
965 2010-06-14 Ed Schonberg <schonberg@adacore.com>
967 * sem.adb: New version of unit traversal.
969 * sem_elab.adb (Check_Internal_Call): Do not place a call appearing
970 within a generic unit in the table of delayed calls.
972 2010-06-14 Robert Dewar <dewar@adacore.com>
974 * gnatcmd.adb, sem_util.adb, exp_ch3.adb: Minor reformatting
976 2010-06-14 Ed Schonberg <schonberg@adacore.com>
978 * sem_ch12.adb (Save_References): If an identifier has been rewritten
979 during analysis as an explicit dereference, keep the reference implicit
980 in the generic, but preserve the entity if global. This prevents
981 malformed generic trees in the presence of some nested generics.
983 2010-06-14 Sergey Rybin <rybin@adacore.com>
985 * gnat_ugn.texi: For the GNAT driver, clarify the effect of calling the
986 tool with '-files=' option. Also fix some small errors (wrong brackets)
988 2010-06-14 Vincent Celier <celier@adacore.com>
990 * gnatbind.adb: Call Scan_ALI with Directly_Scanned set to True for all
991 the ALI files on the command line.
993 * ali.adb (Scan_ALI): Set component Directly_Scanned of the unit(s) to
994 the same value as the parameter of the same name.
995 * ali.ads (Scan_ALI): New Boolean parameter Directly_Scanned, defaulted
997 * bindgen.adb (Gen_Versions_Ada): Never emit version symbols for
998 Stand-Alone Library interfaces. When binding Stand-Alone Libraries,
999 emit version symbols only for the units of the library.
1000 (Gen_Versions_C): Ditto.
1002 2010-06-14 Gary Dismukes <dismukes@adacore.com>
1004 * sem_ch4.adb: Fix typo.
1006 2010-06-14 Vasiliy Fofanov <fofanov@adacore.com>
1008 * s-oscons-tmplt.c (IOV_MAX): redefine on Tru64 and VMS since the
1009 vector IO doesn't work at default value properly.
1011 2010-06-14 Doug Rupp <rupp@adacore.com>
1013 * s-stoele.adb: Remove unnecessary qualification of To_Address for VMS.
1015 2010-06-14 Vincent Celier <celier@adacore.com>
1017 * gnatcmd.adb (Check_Files): Do not invoke the tool with all the
1018 sources of the project if a switch -files= is used.
1020 2010-06-14 Thomas Quinot <quinot@adacore.com>
1022 * exp_attr.adb: Minor reformatting.
1024 2010-06-14 Gary Dismukes <dismukes@adacore.com>
1026 * gnat_ugn.texi: Minor typo fixes and wording changes.
1028 2010-06-14 Ed Schonberg <schonberg@adacore.com>
1030 * sem_ch4.adb (Analyze_One_Call): If the call has been rewritten from a
1031 prefixed form, do not re-analyze first actual, which may need an
1032 implicit dereference.
1033 * sem_ch6.adb (Analyze_Procedure_Call): If the call is given in
1034 prefixed notation, the analysis will rewrite the node, and possible
1035 errors appear in the rewritten name of the node.
1036 * sem_res.adb: If a call is ambiguous because its first parameter is
1037 an overloaded call, report list of candidates, to clarify ambiguity of
1040 2010-06-14 Doug Rupp <rupp@adacore.com>
1042 * s-auxdec-vms-alpha.adb: New package body implementing legacy
1043 VAX instructions with Asm insertions.
1044 * s-auxdec-vms_64.ads: Inline VAX queue functions
1045 * s-stoele.adb: Resolve some ambiguities in To_Addresss with s-suxdec
1046 that show up only on VMS.
1047 * gcc-interface/Makefile.in: Provide translation for
1048 s-auxdec-vms-alpha.adb.
1050 2010-06-14 Olivier Hainque <hainque@adacore.com>
1052 * initialize.c (VxWorks section): Update comments.
1054 2010-06-14 Robert Dewar <dewar@adacore.com>
1056 * a-convec.adb, sem_prag.adb, checks.adb: Minor reformatting.
1058 2010-06-14 Eric Botcazou <ebotcazou@adacore.com>
1060 * init.c: Code clean up.
1062 2010-06-14 Ed Schonberg <schonberg@adacore.com>
1064 * sem_ch13.adb (Analyze_Attribute_Definition_Clause, case Address): Do
1065 not insert address clause in table for later validation if type of
1066 entity is generic, to prevent possible spurious errors.
1068 * sem_ch8.adb: Code clean up.
1070 2010-06-14 Ben Brosgol <brosgol@adacore.com>
1072 * gnat_ugn.texi: Expanded @ovar macro inline to solve problem with
1073 texi2pdf and texi2html.
1074 Document how to change scheduling properties on HP-UX.
1076 2010-06-14 Thomas Quinot <quinot@adacore.com>
1078 * g-socket.ads: Remove misleading comments.
1080 2010-06-14 Jerome Lambourg <lambourg@adacore.com>
1082 * sem_prag.adb (Check_Duplicated_Export_Name): Remove check for
1083 CLI_Target as this prevents proper detection of exported names
1084 duplicates when the exported language is different to CIL.
1085 (Process_Interface_Name): Add check for CIL convention exports,
1086 replacing the old one from Check_Duplicated_Export_Name.
1088 2010-06-14 Matthew Heaney <heaney@adacore.com>
1090 * a-coinve.adb, a-convec.adb (operator "&"): Check both that new length
1091 and new last satisfy constraints.
1092 (Delete_Last): prevent overflow for subtraction of index values
1093 (To_Vector): prevent overflow for addition of index values
1095 2010-06-14 Ed Schonberg <schonberg@adacore.com>
1097 * sem_ch4.adb (Complete_Object_Operation): After analyzing the
1098 rewritten call, preserve the resulting type to prevent spurious errors,
1099 when the call is implicitly dereferenced in the context of an in-out
1102 * checks.adb (Apply_Discriminant_Check): If the target of the
1103 assignment is a renaming of a heap object, create constrained type for
1106 2010-06-14 Pascal Obry <obry@adacore.com>
1108 * prj-proc.adb: Fix copy of object directory for extending projects.
1110 2010-06-14 Jose Ruiz <ruiz@adacore.com>
1112 * init.c (__gnat_alternate_stack): Define this space for PowerPC linux
1113 (__gnat_install_handler, PowerPC linux): Activate the alternative
1116 2010-06-13 Gerald Pfeifer <gerald@pfeifer.com>
1118 * gnat_rm.texi: Move to GFDL version 1.3.
1119 * gnat-style.texi: Ditto.
1120 * gnat_ugn.texi: Ditto.
1122 2010-06-12 Kai Tietz
1125 * gcc-interface/Makefile.in: Add rules for multilib x86/x64
1128 2010-06-11 Alexandre Oliva <aoliva@redhat.com>
1130 * gcc-interface/utils.c (update_pointer_to): Initialize last.
1132 2010-06-09 Eric Botcazou <ebotcazou@adacore.com>
1134 * gcc-interface/ada-tree.h: Fix formatting nits.
1136 2010-06-08 Laurynas Biveinis <laurynas.biveinis@gmail.com>
1138 * gcc-interface/utils.c (init_gnat_to_gnu): Use typed GC
1140 (init_dummy_type): Likewise.
1141 (gnat_pushlevel): Likewise.
1143 * gcc-interface/trans.c (Attribute_to_gnu): Likewise.
1144 (Subprogram_Body_to_gnu): Likewise.
1145 (Compilation_Unit_to_gnu): Likewise.
1146 (start_stmt_group): Likewise.
1147 (extract_encoding): Likewise.
1148 (decode_name): Likewise.
1150 * gcc-interface/misc.c (gnat_printable_name): Likewise.
1152 * gcc-interface/decl.c (annotate_value): Likewise.
1154 * gcc-interface/ada-tree.h (struct lang_type): Add variable_size
1156 (struct lang_decl): Likewise.
1157 (SET_TYPE_LANG_SPECIFIC): Use typed GC allocation.
1158 (SET_DECL_LANG_SPECIFIC): Likewise.
1160 2010-06-04 Eric Botcazou <ebotcazou@adacore.com>
1162 * gnatlink.adb (gnatlink): Remove support for -fsjlj switch.
1163 * gcc-interface/lang-specs.h: Likewise.
1165 2010-06-03 H.J. Lu <hongjiu.lu@intel.com>
1168 * gcc-interface/decl.c (MAX_FIXED_MODE_SIZE): Removed.
1170 2010-06-01 Arnaud Charlet <charlet@adacore.com>
1172 * gnat_ugn.texi: Improve doc on -fdump-ada-spec, mention limitations.
1174 2010-05-30 Eric Botcazou <ebotcazou@adacore.com>
1176 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Task_Type>: Reuse the
1177 TYPE_DECL of the equivalent type instead of building a new one.
1179 2010-05-30 Eric Botcazou <ebotcazou@adacore.com>
1181 * gcc-interface/decl.c (gnat_to_gnu_entity): Adjust warning message.
1182 Fix nits in comments.
1183 * gcc-interface/misc.c (gnat_init_gcc_eh): Likewise.
1184 * gcc-interface/trans.c (gigi): Likewise.
1185 (Attribute_to_gnu): Likewise.
1186 (Case_Statement_to_gnu): Likewise.
1187 (gnat_to_gnu): Adjust warning message.
1188 * gcc-interface/utils.c (create_var_decl_1): Fix nits in comments.
1189 (build_vms_descriptor32): Likewise.
1191 2010-05-27 Steven Bosscher <steven@gcc.gnu.org>
1193 * gcc-interface/decl.c: Pretend to be a backend file by undefining
1194 IN_GCC_FRONTEND (still need rtl.h here).
1196 2010-05-26 Steven Bosscher <steven@gcc.gnu.org>
1198 * gcc-interface/trans.c: Do not include rtl.h, insclude libfuncs.h.
1199 (gigi): Adjust call to set_stack_check_libfunc.
1201 2010-05-26 Steven Bosscher <steven@gcc.gnu.org>
1203 * gcc-interface/utils.c: Do not include rtl.h.
1205 2010-05-25 Steven Bosscher <steven@gcc.gnu.org>
1207 * gcc-interface/utils.c: Do not include function.h, pointer-set.h,
1208 and gimple.h. Explain why rtl.h has to be included.
1209 (handle_vector_size_attribute): Call reconstruct_complex_type directly.
1210 * gcc-interface/targtyps.c: Do not include tm_p.h
1211 * gcc-interface/utils2.c: Do not include flags.h.
1212 * gcc-interface/trans.c: Do not include expr.h. Include rtl.h instead,
1213 and explain why it has to be included.
1214 * gcc-interface/misc.c: Do not include expr.h, libfuncs.h, cgraph.h,
1216 Include function.h and explain why. Explain why except.h is included.
1217 (enumerate_modes): Remove unused function.
1218 * gcc-interface/gigi.h (enumerate_modes): Remove prototype.
1219 * gcc-interface/Make-lang.in: Update dependencies.
1221 2010-05-25 Joseph Myers <joseph@codesourcery.com>
1223 * gcc-interface/misc.c (internal_error_function): Add context
1224 parameter. Use it to access show_column flag and instead of using
1225 global_dc. Call warn_if_plugins.
1226 * gcc-interface/Make-lang.in (ada/misc.o): Update dependencies.
1228 2010-05-19 Eric Botcazou <ebotcazou@adacore.com>
1230 * gcc-interface/misc.c (LANG_HOOKS_DEEP_UNSHARING): Redefine.
1231 * gcc-interface/trans.c (unshare_save_expr): Delete.
1232 (gigi): Do not unshare trees under SAVE_EXPRs here.
1234 2010-05-18 Nathan Froyd <froydnj@codesourcery.com>
1236 * gcc-interface/trans.c (call_to_gnu): Use build_call_vec instead of
1238 * gcc-interface/utils.c (build_function_stub): Likewise.
1240 2010-05-16 Manuel López-Ibáñez <manu@gcc.gnu.org>
1242 * gcc-interface/misc.c (gnat_handle_option): Remove special logic
1243 for Wuninitialized without -O.
1245 2010-05-16 Eric Botcazou <ebotcazou@adacore.com>
1247 * gcc-interface/gigi.h (enum standard_datatypes): Add new value
1248 ADT_exception_data_name_id.
1249 (exception_data_name_id): New define.
1250 * gcc-interface/trans.c (gigi): Initialize it.
1251 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Use the standard
1252 exception type for standard exception definitions. Do not make them
1254 <E_Record_Type>: Equate fields of types associated with an exception
1255 definition to those of the standard exception type.
1257 2010-05-13 Andreas Schwab <schwab@linux-m68k.org>
1259 * tracebak.c (__gnat_backtrace): Mark top_stack with ATTRIBUTE_UNUSED.
1261 2010-05-12 Eric Botcazou <ebotcazou@adacore.com>
1263 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Tidy up
1264 code, improve comments and fix formatting nits.
1266 2010-05-12 Eric Botcazou <ebotcazou@adacore.com>
1268 * gcc-interface/utils.c (update_pointer_to): Return early if the old
1269 pointer already points to the new type. Chain the old pointer and its
1270 variants at the end of new pointer's chain after updating them.
1272 2010-05-10 Eric Botcazou <ebotcazou@adacore.com>
1274 * exp_disp.adb (Make_Tags): Mark the imported view of dispatch tables
1275 built for interfaces.
1276 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Use
1277 imported_p instead of Is_Imported when considering constants.
1278 Do not promote alignment of exported objects.
1279 <E_Record_Subtype>: Strip all suffixes for dispatch table entities.
1281 2010-05-08 Eric Botcazou <ebotcazou@adacore.com>
1283 * exp_disp.adb (Make_Tags): Mark the imported view of dispatch tables.
1284 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Make imported
1285 constants really constant.
1286 <E_Record_Subtype>: Strip the suffix for dispatch table entities.
1288 2010-05-08 Eric Botcazou <ebotcazou@adacore.com>
1290 * gcc-interface/decl.c (make_aligning_type): Declare the type.
1292 2010-05-08 Eric Botcazou <ebotcazou@adacore.com>
1294 * gcc-interface/decl.c (gnat_to_gnu_entity): Create variables for size
1295 expressions of variant part of record types declared at library level.
1297 2010-05-08 Eric Botcazou <ebotcazou@adacore.com>
1299 * gcc-interface/gigi.h (create_field_decl): Move PACKED parameter.
1300 * gcc-interface/utils.c (create_field_decl): Move PACKED parameter.
1301 (rest_of_record_type_compilation): Adjust call to create_field_decl.
1302 (make_descriptor_field): Likewise and pass correctly typed constants.
1303 (build_unc_object_type): Likewise.
1304 (unchecked_convert): Likewise.
1305 * gcc-interface/decl.c (elaborate_expression_2): New static function.
1306 (gnat_to_gnu_entity): Use it to make alignment factors explicit.
1307 Adjust call to create_field_decl.
1308 (make_aligning_type): Likewise.
1309 (make_packable_type): Likewise.
1310 (maybe_pad_type): Likewise.
1311 (gnat_to_gnu_field): Likewise.
1312 (components_to_record): Likewise.
1313 (create_field_decl_from): Likewise.
1314 (create_variant_part_from): Remove superfluous test.
1315 * gcc-interface/trans.c (gigi): Adjust call to create_field_decl.
1317 2010-05-08 Eric Botcazou <ebotcazou@adacore.com>
1319 * gcc-interface/gigi.h (build_unc_object_type): Add DEBUG_INFO_P param.
1320 (build_unc_object_type_from_ptr): Likewise.
1321 * gcc-interface/utils.c (build_unc_object_type): Add DEBUG_INFO_P param
1322 and pass it to create_type_decl. Declare the type. Simplify.
1323 (build_unc_object_type_from_ptr): Add DEBUG_INFO_P parameter and pass
1324 it to build_unc_object_type.
1325 * gcc-interface/decl.c (gnat_to_gnu_entity): Adjust to above change.
1326 * gcc-interface/trans.c (Attribute_to_gnu): Likewise.
1327 (gnat_to_gnu): Likewise.
1328 * gcc-interface/utils2.c (build_allocator): Likewise.
1330 2010-05-07 Eric Botcazou <ebotcazou@adacore.com>
1333 * gcc-interface/misc.c (gnat_handle_option): Fix long line.
1335 2010-05-06 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
1337 * gcc-interface/Makefile.in: Removed mips-sgi-irix5* support.
1339 2010-05-06 Manuel López-Ibáñez <manu@gcc.gnu.org>
1342 * gcc-interface/misc.c (gnat_handle_option): Add argument kind.
1344 2010-05-02 Giuseppe Scrivano <gscrivano@gnu.org>
1346 * gnathtml.pl: Use 755 as mask for new directories.
1348 2010-04-28 Eric Botcazou <ebotcazou@adacore.com>
1350 * gcc-interface/trans.c (gnat_gimplify_expr) <ADDR_EXPR>: Uniquize
1351 constant constructors before taking their address.
1353 2010-04-25 Eric Botcazou <ebotcazou@adacore.com>
1355 * exp_dbug.ads: Fix outdated description. Mention link between XVS
1357 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Set
1358 XVZ variable as unit size of XVS type.
1359 (maybe_pad_type): Likewise.
1361 2010-04-25 Eric Botcazou <ebotcazou@adacore.com>
1363 * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Do not
1364 use memmove if the array type is bit-packed.
1366 2010-04-18 Eric Botcazou <ebotcazou@adacore.com>
1368 * gcc-interface/misc.c (gnat_init): Remove second argument in call to
1369 build_common_tree_nodes.
1371 2010-04-18 Ozkan Sezer <sezeroz@gmail.com>
1373 * gsocket.h: Make sure that winsock2.h is included before windows.h.
1375 2010-04-17 Eric Botcazou <ebotcazou@adacore.com>
1377 * gcc-interface/utils2.c (build_unary_op) <ATTR_ADDR_EXPR>: Do not
1380 2010-04-17 Eric Botcazou <ebotcazou@adacore.com>
1382 * uintp.h (UI_Lt): Declare.
1383 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Do the size
1384 computation in sizetype.
1385 <E_Array_Subtype>: Use unified handling for all index types. Do not
1386 generate MAX_EXPR-based expressions, only COND_EXPR-based ones. Add
1388 (annotate_value): Change test for negative values.
1389 (validate_size): Apply test for negative values on GNAT nodes.
1390 (set_rm_size): Likewise.
1391 * gcc-interface/misc.c (gnat_init): Set unsigned types for sizetypes.
1392 * gcc-interface/utils.c (rest_of_record_type_compilation): Change test
1393 for negative values.
1394 (max_size) <MINUS_EXPR>: Do not reassociate a COND_EXPR on the LHS.
1395 (builtin_type_for_size): Adjust definition of signed_size_type_node.
1396 * gcc-interface/utils2.c (compare_arrays): Optimize comparison of
1397 lengths against zero.
1399 2010-04-17 Eric Botcazou <ebotcazou@adacore.com>
1401 * back-end.adb (Call_Back_End): Pass Standard_Character to gigi.
1402 * gcc-interface/gigi.h (gigi): Add standard_character parameter.
1403 (CHAR_TYPE_SIZE, SHORT_TYPE_SIZE, INT_TYPE_SIZE, LONG_TYPE_SIZE,
1404 LONG_LONG_TYPE_SIZE, FLOAT_TYPE_SIZE, DOUBLE_TYPE_SIZE,
1405 LONG_DOUBLE_TYPE_SIZE, SIZE_TYPE): Delete.
1406 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Call
1408 * gcc-interface/misc.c (gnat_init): Set signedness of char as per
1409 flag_signed_char. Tag sizetype with "size_type" moniker.
1410 * gcc-interface/trans.c (gigi): Add standard_character parameter.
1411 Remove useless built-in types. Equate unsigned_char_type_node to
1412 Standard.Character. Use it instead of char_type_node throughout.
1413 (Attribute_to_gnu): Likewise.
1414 (gnat_to_gnu): Likewise.
1415 * gcc-interface/utils2.c (build_call_raise): Likewise.
1417 2010-04-17 Eric Botcazou <ebotcazou@adacore.com>
1419 * gcc-interface/gigi.h (enum standard_datatypes): Add new values
1420 ADT_sbitsize_one_node and ADT_sbitsize_unit_node.
1421 (sbitsize_one_node): New macro.
1422 (sbitsize_unit_node): Likewise.
1423 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Fix
1424 latent bug in the computation of subrange_p. Fold wider_p predicate.
1425 (cannot_be_superflat_p): Use an explicitly signed 64-bit type to do
1426 the final comparison.
1427 (make_aligning_type): Build real negation and use sizetype throughout
1428 the offset computation.
1429 (maybe_pad_type): Do not issue the warning when the new size expression
1431 (annotate_value) <INTEGER_CST>: Simplify code handling negative values.
1432 * gcc-interface/misc.c (gnat_init): Initialize sbitsize_one_node and
1434 * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Pool_Address>: Fold
1436 (gnat_to_gnu) <N_Free_Statement>: Likewise.
1437 * gcc-interface/utils.c (convert): Use sbitsize_unit_node.
1438 * gcc-interface/utils2.c (compare_arrays): Compute real lengths and use
1439 constants in sizetype. Remove dead code and tweak comments. Generate
1440 equality instead of inequality comparisons for zero length tests.
1442 2010-04-16 Eric Botcazou <ebotcazou@adacore.com>
1444 * gcc-interface/gigi.h (gnat_init_decl_processing): Delete.
1445 * gcc-interface/decl.c (gnat_to_gnu_entity): Constify a few variables.
1446 <object>: Do not create the fake PARM_DECL if no debug info is needed.
1447 Do not create the corresponding VAR_DECL of a CONST_DECL for debugging
1448 purposes if no debug info is needed.
1449 Fix formatting. Reorder and add comments.
1450 * gcc-interface/trans.c (gnat_to_gnu) <N_Attribute_Reference>: Constify
1451 variable and remove obsolete comment.
1452 * gcc-interface/utils.c (convert_vms_descriptor64): Tweak comment.
1453 (convert_vms_descriptor32): Likewise.
1454 (convert): Remove dead code.
1455 <UNCONSTRAINED_ARRAY_REF>: Pass the field instead of its name to build
1456 the reference to the P_ARRAY pointer.
1457 <POINTER_TYPE>: Likewise.
1458 (maybe_unconstrained_array) <UNCONSTRAINED_ARRAY_TYPE>: Likewise.
1459 (gnat_init_decl_processing): Delete, move contents to...
1460 * gcc-interface/misc.c (gnat_init): ...here.
1462 2010-04-16 Eric Botcazou <ebotcazou@adacore.com>
1464 * gcc-interface/trans.c (unchecked_conversion_nop): Handle function
1465 calls. Return true for conversion from a record subtype to its type.
1467 2010-04-16 Eric Botcazou <ebotcazou@adacore.com>
1469 * gcc-interface/decl.c (gnat_to_gnu_entity): Use boolean_type_node in
1470 lieu of integer_type_node for boolean operations.
1471 (choices_to_gnu): Likewise.
1472 * gcc-interface/trans.c (Attribute_to_gnu): Likewise.
1473 (Loop_Statement_to_gnu): Likewise.
1474 (establish_gnat_vms_condition_handler): Likewise.
1475 (Exception_Handler_to_gnu_sjlj): Likewise.
1476 (gnat_to_gnu): Likewise.
1477 (build_unary_op_trapv): Likewise.
1478 (build_binary_op_trapv): Likewise.
1479 (emit_range_check): Likewise.
1480 (emit_index_check): Likewise.
1481 (convert_with_check): Likewise.
1482 * gcc-interface/utils.c (convert_vms_descriptor64): Likewise.
1483 (convert_vms_descriptor32): Likewise.
1484 (convert_vms_descriptor): Likewise.
1485 * gcc-interface/utils2.c (nonbinary_modular_operation): Likewise.
1486 (compare_arrays): Use boolean instead of integer constants.
1487 (build_binary_op) <TRUTH_ANDIF_EXPR, TRUTH_ORIF_EXPR, TRUTH_AND_EXPR,
1488 TRUTH_OR_EXPR, TRUTH_XOR_EXPR>: New case. Check that the result type
1490 <GE_EXPR, LE_EXPR, GT_EXPR, LT_EXPR>: Remove obsolete assertion.
1491 <EQ_EXPR, NE_EXPR>: Check that the result type is a boolean type.
1492 <PREINC/PREDECREMENT_EXPR, POSTINC/POSTDECREMENT_EXPR>: Delete.
1493 <TRUTH_NOT_EXPR>: Check that the result type is a boolean type.
1494 (build_unary_op): Use boolean_type_node in lieu of integer_type_node
1495 for boolean operations.
1496 (fill_vms_descriptor): Likewise. Fix formatting nits.
1498 2010-04-16 Eric Botcazou <ebotcazou@adacore.com>
1500 * gcc-interface/ada-tree.def (LOOP_STMT): Change to 4-operand nodes.
1501 * gcc-interface/ada-tree.h (LOOP_STMT_TOP_COND, LOOP_STMT_BOT_COND):
1503 (LOOP_STMT_COND): ...this.
1504 (LOOP_STMT_BOTTOM_COND_P): New flag.
1505 (LOOP_STMT_TOP_UPDATE_P): Likewise.
1506 * gcc-interface/trans.c (can_equal_min_or_max_val_p): New function.
1507 (can_equal_min_val_p): New static inline function.
1508 (can_equal_max_val_p): Likewise.
1509 (Loop_Statement_to_gnu): Use build4 in lieu of build5 and adjust to
1510 new LOOP_STMT semantics. Use two different strategies depending on
1511 whether optimization is enabled to translate the loop.
1512 (gnat_gimplify_stmt) <LOOP_STMT>: Adjust to new LOOP_STMT semantics.
1514 2010-04-16 Eric Botcazou <ebotcazou@adacore.com>
1516 * uintp.adb (UI_From_Dint): Remove useless code.
1517 (UI_From_Int): Likewise.
1518 * uintp.h: Reorder declarations.
1519 (UI_From_gnu): Declare.
1520 (UI_Base): Likewise.
1521 (Vector_Template): Likewise.
1522 (Vector_To_Uint): Likewise.
1525 * gcc-interface/gigi.h: Tweak comments.
1526 * gcc-interface/cuintp.c (UI_From_gnu): New global function.
1527 * gcc-interface/decl.c (maybe_pad_type): Do not warn if either size
1529 (annotate_value) <INTEGER_CST>: Call UI_From_gnu.
1530 * gcc-interface/trans.c (post_error_ne_num): Call post_error_ne.
1531 (post_error_ne_tree): Call UI_From_gnu and post_error_ne.
1532 * gcc-interface/utils.c (max_size) <tcc_binary>: Do not special-case
1535 2010-04-16 Eric Botcazou <ebotcazou@adacore.com>
1537 * gcc-interface/decl.c (make_type_from_size) <INTEGER_TYPE>: Just copy
1539 * gcc-interface/trans.c (smaller_packable_type_p): Rename into...
1540 (smaller_form_type_p): ...this. Change parameter and variable names.
1541 (call_to_gnu): Use the nominal type of the parameter to create the
1542 temporary if it's a smaller form of the actual type.
1543 (addressable_p): Return false if the actual type is integral and its
1544 size is greater than that of the expected type.
1546 2010-04-15 Eric Botcazou <ebotcazou@adacore.com>
1548 * gcc-interface/cuintp.c (UI_To_gnu): Fix long line.
1549 * gcc-interface/gigi.h (MARK_VISITED): Skip objects of constant class.
1550 (process_attributes): Delete.
1551 (post_error_ne_num): Change parameter name.
1552 * gcc-interface/decl.c (gnat_to_gnu_entity): Do not force debug info
1553 with -g3. Remove a couple of obsolete lines. Minor tweaks.
1554 If type annotating mode, operate on trees to compute the adjustment to
1555 the sizes of tagged types. Fix long line.
1556 (cannot_be_superflat_p): Tweak head comment.
1557 (annotate_value): Fold local constant.
1558 (set_rm_size): Fix long line.
1559 * gcc-interface/trans.c (Identifier_to_gnu): Rework comments.
1560 (Attribute_to_gnu): Fix long line.
1561 <Attr_Size>: Remove useless assertion.
1562 Reorder statements. Use size_binop routine.
1563 (Loop_Statement_to_gnu): Use build5 in lieu of build_nt.
1564 Create local variables for the label and the test. Tweak comments.
1565 (Subprogram_Body_to_gnu): Reset cfun to NULL.
1566 (Compilation_Unit_to_gnu): Use the Sloc of the Unit node.
1567 (process_inlined_subprograms): Integrate into...
1568 (Compilation_Unit_to_gnu): ...this.
1569 (gnat_to_gnu): Fix long line.
1570 (post_error_ne_num): Change parameter name.
1571 * gcc-interface/utils.c (process_attributes): Static-ify.
1572 <ATTR_MACHINE_ATTRIBUTE>: Set input_location before proceeding.
1573 (create_type_decl): Add comment.
1574 (create_var_decl_1): Process the attributes after adding the VAR_DECL
1575 to the current binding level.
1576 (create_subprog_decl): Likewise for the FUNCTION_DECL.
1577 (end_subprog_body): Do not reset cfun to NULL.
1578 (build_vms_descriptor32): Fix long line.
1579 (build_vms_descriptor): Likewise.
1580 (handle_nonnull_attribute): Likewise.
1581 (convert_vms_descriptor64): Likewise.
1582 * gcc-interface/utils2.c (fill_vms_descriptor): Fix long line.
1583 (gnat_protect_expr): Fix thinko.
1585 2010-04-15 Eric Botcazou <ebotcazou@adacore.com>
1587 * gcc-interface/trans.c (gigi): Set DECL_IGNORED_P on EH functions.
1588 (gnat_to_gnu) <N_Op_Eq>: Restore the value of input_location
1589 before translating the top-level node.
1590 (lvalue_required_p) <N_Function_Call>: Return 1 if !constant.
1591 <N_Object_Declaration>: Likewise.
1592 <N_Assignment_Statement>: Likewise.
1593 <N_Unchecked_Type_Conversion>: Likewise.
1594 (call_to_gnu): Remove kludge.
1595 (gnat_to_gnu) <N_Return_Statement>: When not optimizing, force labels
1596 associated with user returns to be preserved.
1597 (gnat_to_gnu): Add special code to deal with boolean rvalues.
1598 * gcc-interface/utils2.c (compare_arrays): Set input_location on all
1600 (build_unary_op) <ADDR_EXPR>: Call build_fold_addr_expr.
1601 <INDIRECT_REF>: Call build_fold_indirect_ref.
1603 2010-04-15 Joel Sherrill <joel.sherrill@oarcorp.com>
1605 * g-socket.adb: A target can have multiple missing errno's. This
1606 will result in multiple errno's being defined as -1. Because of this
1607 we can not use a case but must use a series of if's to avoid
1608 a duplicate case error in GNAT.Sockets.Resolve_Error.
1610 2010-04-15 Eric Botcazou <ebotcazou@adacore.com>
1612 * gcc-interface/trans.c (call_to_gnu): Open a nesting level if this is
1613 a statement. Otherwise, if at top-level, push the processing of the
1614 elaboration routine. In the misaligned case, issue the error messages
1615 again on entry and create the temporary explicitly. Do not issue them
1617 For a function call, emit the range check if necessary.
1618 In the copy-in copy-out case, create the temporary for the return
1620 Do not unnecessarily convert by-ref parameters to the formal's type.
1621 Remove obsolete guards in conditions.
1622 (gnat_to_gnu) <N_Assignment_Statement>: For a function call, pass the
1623 target to call_to_gnu in all cases.
1624 (gnat_gimplify_expr) <ADDR_EXPR>: Remove handling of SAVE_EXPR.
1625 (addressable_p) <CONSTRUCTOR>: Return false if not static.
1626 <COMPOUND_EXPR>: New case.
1627 * gcc-interface/utils2.c (build_unary_op) <ADDR_EXPR>: Fold a compound
1628 expression if it has unconstrained array type.
1629 (gnat_mark_addressable) <COMPOUND_EXPR>: New case.
1630 (gnat_stabilize_reference) <COMPOUND_EXPR>: Stabilize operands on an
1633 2010-04-15 Eric Botcazou <ebotcazou@adacore.com>
1635 * gcc-interface/trans.c (gigi): Do not start statement group.
1636 (Compilation_Unit_to_gnu): Set current_function_decl to NULL.
1637 Start statement group and push binding level here...
1638 (gnat_to_gnu) <N_Compilation_Unit>: ...and not here.
1639 Do not push fake contexts at top level. Remove redundant code.
1640 (call_to_gnu): Rename a local variable and constify another.
1641 * gcc-interface/utils.c (gnat_pushlevel): Fix formatting nits.
1642 (set_current_block_context): Set it as the group's block.
1643 (gnat_init_decl_processing): Delete unrelated init code.
1644 (end_subprog_body): Use NULL_TREE.
1646 2010-04-15 Eric Botcazou <ebotcazou@adacore.com>
1648 * gcc-interface/trans.c (call_to_gnu): Do not unnecessarily force
1649 side-effects of actual parameters before the call.
1651 2010-04-15 Eric Botcazou <ebotcazou@adacore.com>
1653 * gcc-interface/decl.c (validate_size): Reorder, remove obsolete test
1655 (set_rm_size): Reorder and remove obsolete test.
1657 2010-04-14 Eric Botcazou <ebotcazou@adacore.com>
1659 * gcc-interface/gigi.h: Reorder declarations and tweak comments.
1660 (gigi): Adjust ATTRIBUTE_UNUSED markers.
1661 * gcc-interface/gadaint.h: New file.
1662 * gcc-interface/trans.c: Include it in lieu of adaint.h. Reorder.
1663 (__gnat_to_canonical_file_spec): Remove declaration.
1664 (number_names): Delete.
1665 (number_files): Likewise.
1667 * gcc-interface/Make-lang.in (ada/trans.o): Adjust dependencies to
1670 2010-04-14 Eric Botcazou <ebotcazou@adacore.com>
1672 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Class_Wide_Type>: Fix
1674 * gcc-interface/trans.c (process_freeze_entity): Use local copy of
1675 Ekind. Return early for class-wide types. Do not compute initializer
1676 unless necessary. Reuse the tree for an associated class-wide type
1677 only if processing its root type.
1679 2010-04-13 Joel Sherrill <joel.sherrill@oarcorp.com>
1681 * gsocket.h: Run-time can no longer be built without network
1682 OS headers available. Changing RTEMS GNAT build procedure to
1683 reflect this and letting run-time build use network .h files.
1685 2010-04-13 Duncan Sands <baldrick@free.fr>
1687 * gcc-interface/misc.c (gnat_eh_type_covers): Remove.
1688 * gcc-interface/trans.c (Exception_Handler_to_gnu_zcx): Update comment.
1690 2010-04-13 Eric Botcazou <ebotcazou@adacore.com>
1692 * gcc-interface/gigi.h (standard_datatypes): Add ADT_parent_name_id.
1693 (parent_name_id): New macro.
1694 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Use it.
1695 * gcc-interface/trans.c (gigi): Initialize it.
1696 (lvalue_required_p) <N_Type_Conversion>: New case.
1697 <N_Qualified_Expression>: Likewise.
1698 <N_Allocator>: Likewise.
1699 * gcc-interface/utils.c (convert): Try to properly upcast tagged types.
1701 2010-04-13 Eric Botcazou <ebotcazou@adacore.com>
1703 * gcc-interface/ada-tree.h (TYPE_BY_REFERENCE_P): Delete.
1704 (DECL_CONST_ADDRESS_P): New macro.
1705 (SET_DECL_ORIGINAL_FIELD_TO_FIELD): Likewise.
1706 (SAME_FIELD_P): Likewise.
1707 * gcc-interface/decl.c (constructor_address_p): New static function.
1708 (gnat_to_gnu_entity) <object>: Set DECL_CONST_ADDRESS_P according to
1709 the return value of above function.
1710 (gnat_to_gnu_entity) <E_Record_Type>: Force BLKmode for all types
1711 passed by reference.
1712 <E_Record_Subtype>: Likewise.
1713 Set TREE_ADDRESSABLE on the type if it passed by reference.
1714 (make_packable_type): Use SET_DECL_ORIGINAL_FIELD_TO_FIELD.
1715 (create_field_decl_from): Likewise.
1716 (substitute_in_type): Likewise.
1717 (purpose_member_field): Use SAME_FIELD_P.
1718 * gcc-interface/misc.c (must_pass_by_ref): Test TREE_ADDRESSABLE.
1719 * gcc-interface/trans.c (lvalue_required_p): Add ADDRESS_OF_CONSTANT
1720 parameter and adjust recursive calls.
1721 <N_Explicit_Dereference>: New case.
1722 <N_Object_Declaration>: Return 1 if the object is of a class-wide type.
1723 Adjust calls to lvalue_required_p. Do not return the initializer of a
1724 DECL_CONST_ADDRESS_P constant if an lvalue is required for it.
1725 (call_to_gnu): Delay issuing error message for a misaligned actual and
1726 avoid the associated back-end assertion. Test TREE_ADDRESSABLE.
1727 (gnat_gimplify_expr) <ADDR_EXPR>: Handle non-static constructors.
1728 * gcc-interface/utils.c (make_dummy_type): Set TREE_ADDRESSABLE if the
1729 type is passed by reference.
1730 (convert) <CONSTRUCTOR>: Convert in-place in more cases.
1731 * gcc-interface/utils2.c (build_cond_expr): Drop TYPE_BY_REFERENCE_P.
1732 (build_simple_component_ref): Use SAME_FIELD_P.
1734 2010-04-12 Eric Botcazou <ebotcazou@adacore.com>
1736 * gcc-interface/trans.c (Identifier_to_gnu): Use boolean variable.
1737 (call_to_gnu): Test gigi's flag TYPE_BY_REFERENCE_P instead of calling
1738 front-end's predicate Is_By_Reference_Type. Use consistent order and
1739 remove ??? comment. Use original conversion in all cases, if any.
1740 * gcc-interface/utils.c (make_dummy_type): Minor tweak.
1741 (convert): Use local copy in more cases.
1742 <INDIRECT_REF>: Remove deactivated code.
1743 (unchecked_convert): Use a couple of local copies.
1745 2010-04-11 Eric Botcazou <ebotcazou@adacore.com>
1747 * gcc-interface/trans.c (lvalue_required_for_attribute_p): New static
1749 (lvalue_required_p) <N_Attribute_Reference>: Call it.
1750 (gnat_to_gnu) <N_Selected_Component>: Prevent build_component_ref from
1751 folding the result only if lvalue_required_for_attribute_p is true.
1752 * gcc-interface/utils.c (maybe_unconstrained_array): Pass correctly
1753 typed constant to build_component_ref.
1754 (unchecked_convert): Likewise.
1755 * gcc-interface/utils2.c (maybe_wrap_malloc): Likewise.
1756 (build_allocator): Likewise.
1758 2010-04-11 Eric Botcazou <ebotcazou@adacore.com>
1760 * gcc-interface/utils2.c (build_cond_expr): Take the address and
1761 dereference if the result type is passed by reference.
1763 2010-04-11 Eric Botcazou <ebotcazou@adacore.com>
1765 * gcc-interface/trans.c (Case_Statement_to_gnu): Bool-ify variable.
1766 (gnat_to_gnu) <N_Null_Statement>: When not optimizing, generate a
1767 goto to the next statement.
1769 2010-04-09 Eric Botcazou <ebotcazou@adacore.com>
1771 * gcc-interface/gigi.h (maybe_variable): Delete.
1772 (protect_multiple_eval): Likewise.
1773 (maybe_stabilize_reference): Likewise.
1774 (gnat_save_expr): Declare.
1775 (gnat_protect_expr): Likewise.
1776 (gnat_stabilize_reference): Likewise.
1777 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Use
1778 gnat_stabilize_reference.
1779 (maybe_variable): Delete.
1780 (elaborate_expression_1): Use gnat_save_expr.
1781 * gcc-interface/trans.c (Attribute_to_gnu): Use gnat_protect_expr.
1782 (call_to_gnu): Pass NULL to gnat_stabilize_reference.
1783 (gnat_to_gnu) <N_Object_Declaration>: Use gnat_save_expr.
1784 <N_Slice>: Use gnat_protect_exp.
1785 <N_Selected_Component>: Pass NULL to gnat_stabilize_reference.
1786 <N_In>: Use gnat_protect_expr.
1787 Pass NULL to gnat_stabilize_reference.
1788 (build_unary_op_trapv): Use gnat_protect_expr.
1789 (build_binary_op_trapv): Likewise.
1790 (emit_range_check): Likewise.
1791 (emit_index_check): Likewise.
1792 (convert_with_check): Likewise.
1793 (protect_multiple_eval): Move to utils2.c file.
1794 (maybe_stabilize_reference): Merge into...
1795 (gnat_stabilize_reference): ...this. Move to utils2.c file.
1796 (gnat_stabilize_reference_1): Likewise.
1797 * gcc-interface/utils.c (convert_to_fat_pointer): Use gnat_protect_expr
1798 instead of protect_multiple_eval.
1799 * gcc-interface/utils2.c (compare_arrays): Likewise.
1800 (nonbinary_modular_operation): Likewise.
1801 (maybe_wrap_malloc): Likewise.
1802 (build_allocator): Likewise.
1803 (gnat_save_expr): New function.
1804 (gnat_protect_expr): Rename from protect_multiple_eval. Early return
1805 in common cases. Propagate TREE_READONLY onto dereferences.
1806 (gnat_stabilize_reference_1): Move from trans.c file.
1807 (gnat_stabilize_reference): Likewise.
1809 2010-04-09 Eric Botcazou <ebotcazou@adacore.com>
1811 * gcc-interface/gigi.h (gnat_mark_addressable): Rename parameter.
1812 * gcc-interface/decl.c (maybe_variable): Do not set TREE_STATIC on _REF
1813 node. Use the type of the operand to set TREE_READONLY.
1814 * gcc-interface/trans.c (Identifier_to_gnu): Do not set TREE_STATIC on
1815 _REF node. Do not overwrite TREE_READONLY.
1816 (call_to_gnu): Rename local variable and fix various nits. In the
1817 copy-in/copy-out case, build the SAVE_EXPR manually.
1818 (convert_with_check): Call protect_multiple_eval in lieu of save_expr
1819 and fold the computations.
1820 (protect_multiple_eval): Always save entire fat pointers.
1821 (maybe_stabilize_reference): Minor tweaks.
1822 (gnat_stabilize_reference_1): Likewise. Do not deal with tcc_constant,
1823 tcc_type and tcc_statement.
1824 * gcc-interface/utils.c (convert_to_fat_pointer): Call
1825 protect_multiple_eval in lieu of save_expr.
1826 (convert): Minor tweaks.
1827 (maybe_unconstrained_array): Do not set TREE_STATIC on _REF node.
1828 (builtin_type_for_size): Call gnat_type_for_size directly.
1829 * gcc-interface/utils2.c (contains_save_expr_p): Delete.
1830 (contains_null_expr): Likewise
1831 (gnat_build_constructor): Do not call it.
1832 (compare_arrays): Deal with all side-effects, use protect_multiple_eval
1833 instead of gnat_stabilize_reference to protect the operands.
1834 (nonbinary_modular_operation): Call protect_multiple_eval in lieu of
1836 (maybe_wrap_malloc): Likewise.
1837 (build_allocator): Likewise.
1838 (build_unary_op) <INDIRECT_REF>: Do not set TREE_STATIC on _REF node.
1839 (gnat_mark_addressable): Rename parameter.
1841 2010-04-08 Eric Botcazou <ebotcazou@adacore.com>
1843 * gcc-interface/ada-tree.h (TYPE_RETURNS_UNCONSTRAINED_P): Rename into.
1844 (TYPE_RETURN_UNCONSTRAINED_P): ...this.
1845 (TYPE_RETURNS_BY_REF_P): Rename into.
1846 (TYPE_RETURN_BY_DIRECT_REF_P): ...this.
1847 (TYPE_RETURNS_BY_TARGET_PTR_P): Delete.
1848 * gcc-interface/gigi.h (create_subprog_type): Adjust parameter names.
1849 (build_return_expr): Likewise.
1850 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Subprogram_Type>:
1851 Rename local variables. If the return Mechanism is By_Reference, pass
1852 return_by_invisible_ref_p to create_subprog_type instead of toggling
1853 TREE_ADDRESSABLE. Test return_by_invisible_ref_p in order to annotate
1854 the mechanism. Use regular return for contrained types with non-static
1855 size and return by invisible reference for unconstrained return types
1856 with default discriminants. Update comment.
1857 * gcc-interface/trans.c (Subprogram_Body_to_gnu): If the function
1858 returns by invisible reference, turn the RESULT_DECL into a pointer.
1859 Do not handle DECL_BY_REF_P in the CICO case here.
1860 (call_to_gnu): Remove code handling return by target pointer. For a
1861 function call, if the return type has non-constant size, generate the
1862 assignment with an INIT_EXPR.
1863 (gnat_to_gnu) <N_Return_Statement>: Remove dead code in the CICO case.
1864 If the function returns by invisible reference, build the copy return
1866 (add_decl_expr): Initialize the variable with an INIT_EXPR.
1867 * gcc-interface/utils.c (create_subprog_type): Adjust parameter names.
1868 Adjust for renaming of macros. Copy the node only when necessary.
1869 (create_subprog_decl): Do not toggle TREE_ADDRESSABLE on the return
1870 type, only change DECL_BY_REFERENCE on the RETURN_DECL.
1871 (convert_from_reference): Delete.
1872 (is_byref_result): Likewise.
1873 (gnat_genericize_r): Likewise.
1874 (gnat_genericize): Likewise.
1875 (end_subprog_body): Do not call gnat_genericize.
1876 * gcc-interface/utils2.c (build_binary_op) <INIT_EXPR>: New case.
1877 (build_return_expr): Adjust parameter names, logic and comment.
1879 2010-04-07 Eric Botcazou <ebotcazou@adacore.com>
1881 * exp_pakd.adb (Create_Packed_Array_Type): Always use a modular type
1882 if the size is small enough. Propagate the alignment if there is an
1883 alignment clause on the original array type.
1884 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Modular_Integer_Subtype>
1885 Deal with under-aligned packed array types. Copy the size onto the
1886 justified modular type and don't lay it out again. Likewise for the
1887 padding type built for other under-aligned subtypes.
1888 * gcc-interface/utils.c (finish_record_type): Do not set a default mode
1891 2010-04-07 Eric Botcazou <ebotcazou@adacore.com>
1893 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Set default
1894 alignment on the RETURN type built for the Copy-In Copy-Out mechanism.
1896 2010-04-07 Eric Botcazou <ebotcazou@adacore.com>
1898 * gcc-interface/trans.c (call_to_gnu): In the return-by-target-ptr case
1899 do not set the result type if there is a specified target and do not
1900 convert the result in any cases.
1901 (protect_multiple_eval): Make direct SAVE_EXPR for CALL_EXPR.
1902 (maybe_stabilize_reference) <COMPOUND_EXPR>: Merge with CALL_EXPR.
1904 2010-03-10 Eric Botcazou <ebotcazou@adacore.com>
1906 * gcc-interface/Makefile.in (SPARC/Solaris): Use sparcv8plus.
1908 2010-02-27 Eric Botcazou <ebotcazou@adacore.com>
1911 * gcc-interface/utils2.c (build_binary_op) <EQ_EXPR>: Assert that fat
1912 pointer base types are variant of each other. Apply special treatment
1913 for null to fat pointer types in all cases.
1915 2010-01-28 Pascal Obry <obry@adacore.com>
1917 * s-win32.ads: Add some missing constants.
1919 2010-01-28 Vincent Celier <celier@adacore.com>
1921 * prj-attr-pm.adb (Add_Attribute): Do nothing if To_Package is
1924 2010-01-28 Robert Dewar <dewar@adacore.com>
1926 * gnat_rm.texi: Minor correction
1928 2010-01-27 Pascal Obry <obry@adacore.com>
1930 * g-awk.adb: ensure that an AWK session is reusable.
1932 2010-01-27 Vasiliy Fofanov <fofanov@adacore.com>
1934 * g-regist.adb (For_Every_Key): Fix previous change.
1937 2010-01-27 Thomas Quinot <quinot@adacore.com>
1939 * lib-writ.ads: Current version of spec for new N (note) ALI lines
1941 2010-01-27 Yannick Moy <moy@adacore.com>
1943 * a-cdlili.adb (Insert): Correct exception message when cursor
1944 designates wrong list.
1946 2010-01-27 Vincent Celier <celier@adacore.com>
1948 * gnatcmd.adb: When there is only one main specified, the package
1949 support Switches (<main>) and attribute Switches is specified for the
1950 main, use these switches, instead of Default_Switches ("Ada").
1952 2010-01-27 Robert Dewar <dewar@adacore.com>
1954 * sem_prag.adb, par-prag.adb, snames.ads-tmpl: pragma Dimension initial
1956 * exp_disp.adb: Minor reformatting
1958 2010-01-27 Tristan Gingold <gingold@adacore.com>
1960 * seh_init.c: Use __ImageBase instead of _ImageBase.
1962 2010-01-27 Javier Miranda <miranda@adacore.com>
1964 * exp_disp.ads, exp_disp.adb (Expand_Interface_Thunk): Modify the
1965 profile of interface thunks. The type of the controlling formal is now
1966 the covered interface type (instead of the target tagged type).
1968 2010-01-27 Sergey Rybin <rybin@adacore.com>
1970 * gnat_rm.texi, gnat_ugn.texi: Update gnatcheck doc.
1972 2010-01-27 Robert Dewar <dewar@adacore.com>
1974 * sinput.ads, sinput.adb (Sloc_Range): Applies to all nodes, formal
1975 changed from Expr to N.
1977 2010-01-26 Thomas Quinot <quinot@adacore.com>
1979 * gnat_ugn.texi: Adjust documentation of -gnatz switches.
1980 * usage.adb: Replace line for -gnatz with two lines for -gnatzc and
1983 2010-01-26 Vincent Celier <celier@adacore.com>
1985 * prj-attr.adb: Add new attribute Library_Install_Name_Option
1986 Replace attribute Run_Path_Origin_Supported with Run_Path_Origin
1987 * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process
1988 attributes Run_Path_Option and Library_Install_Name_Option.
1989 * prj.ads (Project_Configuration): Replace component
1990 Run_Path_Origin_Supported with component Run_Path_Origin. Add new
1991 component Library_Install_Name_Option.
1992 * snames.ads-tmpl: Add new standard name Library_Install_Name_Option
1993 Replace Run_Path_Origin_Supported with Run_Path_Origin
1995 2010-01-26 Ed Schonberg <schonberg@adacore.com>
1997 * sem_ch8.adb (Use_One_Package): Within an instance, an actual package
1998 is not hidden by a homograph declared in another actual package.
2000 2010-01-26 Robert Dewar <dewar@adacore.com>
2002 * par_sco.adb (Traverse_Declarations_Or_Statements): Only generate
2003 decisions for pragmas Assert, Check, Precondition, Postcondition if
2005 * scos.ads: Update comments.
2006 * get_scos.adb, put_scos.adb: Minor fix to code reading statement SCOs.
2007 Also remove obsolete code for CT (exit point) SCOs.
2009 2010-01-26 Thomas Quinot <quinot@adacore.com>
2011 * switch-c.adb: Fix handling of -gnatz*
2013 2010-01-26 Robert Dewar <dewar@adacore.com>
2015 * par_sco.adb (Traverse_Declarations_Or_Statements): Separate F/W
2016 qualifiers for FOR/WHILE loops
2017 * scos.ads: Use separate type letters F/W for for/while loops
2019 2010-01-26 Robert Dewar <dewar@adacore.com>
2021 * get_scos.adb (Get_SCOs): Implement new form of CS entries (multiple
2022 entries per line, one for each statement in the sequence).
2023 * par_sco.adb (Traverse_Declarations_Or_Statements): Increase array
2024 size from 100 to 10_000 for SC_Array to avoid any real possibility of
2025 overflow. Output decisions in for loops.
2026 Exclude labels from CS lines.
2027 * scos.ads: Clarify that label is not included in the entry point
2029 2010-01-26 Robert Dewar <dewar@adacore.com>
2031 * par_sco.adb (Traverse_Declarations_Or_Statments): Implement new
2032 format of statement sequence SCO entries (one location/statement).
2033 * put_scos.adb (Put_SCOs): Implement new format of CS lines
2034 * scos.ads: Update comments.
2035 * sem_eval.adb: Minor reformatting.
2037 2010-01-26 Robert Dewar <dewar@adacore.com>
2039 * par_sco.ads, par_sco.adb (Set_Statement_Entry): New handling of exits
2040 (Extend_Statement_Sequence): New procedures
2041 (Traverse_Declarations_Or_Statements): New handling for exits.
2043 2010-01-26 Robert Dewar <dewar@adacore.com>
2045 * par_sco.adb (Traverse_Declarations_Or_Statements): Add processing for
2048 2010-01-26 Robert Dewar <dewar@adacore.com>
2050 * par_sco.adb (Is_Logical_Operator): Exclude AND/OR/XOR
2051 * scos.ads: Clarify handling of logical operators
2053 2010-01-26 Arnaud Charlet <charlet@adacore.com>
2055 * s-tpoben.adb: Update comments.
2057 2010-01-26 Robert Dewar <dewar@adacore.com>
2059 * freeze.adb (Set_Small_Size): Don't set size if alignment clause
2062 2010-01-26 Robert Dewar <dewar@adacore.com>
2064 * scos.ads: Clean up documentation, remove obsolete XOR references
2065 2010-01-26 Vincent Celier <celier@adacore.com>
2067 * gnat_ugn.texi: Complete documentation on the restrictions for
2068 combined options in -gnatxxx switches.
2071 2010-01-26 Arnaud Charlet <charlet@adacore.com>
2073 * s-tpoben.adb (Initialize_Protection_Entries): If a PO is created from
2074 a controlled operation, abort is already deferred at this point, so we
2075 need to use Defer_Abort_Nestable.
2077 2010-01-26 Vincent Celier <celier@adacore.com>
2079 * prj-conf.adb (Get_Config_Switches): Check for a default language for
2080 a project extending a project with no languages.
2082 2010-01-26 Vincent Celier <celier@adacore.com>
2084 * switch-c.adb (Scan_Front_End_Switches): Take into account options
2085 that follow -gnatef.
2086 Allow -gnateG to be followed by other options.
2088 2010-01-26 Robert Dewar <dewar@adacore.com>
2090 * s-commun.ads, s-osprim-mingw.adb, s-stchop-vxworks.adb, sem_aggr.adb,
2091 s-vxwext.adb, sem_ch10.adb, sem_eval.adb, sem_prag.adb: Minor
2094 2010-01-26 Vasiliy Fofanov <fofanov@adacore.com>
2096 * g-regist.adb, g-regist.ads (For_Every_Key): New generic procedure
2097 that allows to iterate over all subkeys of a key.
2099 2010-01-26 Ed Falis <falis@adacore.com>
2101 * sysdep.c: enable NFS for VxWorks MILS
2102 * env.c: enable __gnat_environ for VxWorks MILS
2103 * gcc-interface/Makefile.in: Add VxWorks MILS target pairs.
2105 2010-01-25 Bob Duff <duff@adacore.com>
2107 * sem_aggr.adb (Resolve_Array_Aggregate): Check for the case where this
2108 is an internally-generated positional aggregate, and the bounds are
2109 already correctly set. We don't want to overwrite those bounds with
2110 bounds determined by context.
2112 2010-01-25 Robert Dewar <dewar@adacore.com>
2114 * g-sercom.ads, gnatcmd.adb, gnatlink.adb, a-ststio.adb, exp_ch6.adb,
2115 exp_ch9.adb, g-sechas.ads: Minor reformatting.
2117 2010-01-25 Thomas Quinot <quinot@adacore.com>
2119 * s-commun.adb (Last_Index): Count must be converted to SEO (a signed
2120 integer type) before subtracting 1, otherwise the computation may wrap
2121 (because size_t is modular) and cause the conversion to fail.
2123 2010-01-25 Ed Falis <falis@adacore.com>
2125 * sysdep.c, init.c: Adapt to support full run-time on VxWorks MILS.
2127 2010-01-25 Vincent Celier <celier@adacore.com>
2129 * prj-attr.adb: New attribute Run_Path_Origin_Required
2130 * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process new
2131 attribute Run_Path_Origin_Required.
2132 * prj.ads (Project_Configuration): New component
2133 Run_Path_Origin_Supported.
2134 * snames.ads-tmpl: New standard name Run_Path_Origin_Required
2136 2010-01-25 Ed Schonberg <schonberg@adacore.com>
2138 * sem_aggr.adb (Resolve_Array_Aggregate): If the bounds in a choice
2139 have errors, do not continue resolution of the aggregate.
2140 * sem_eval.adb (Eval_Indexed_Component): Do not attempt to evaluate if
2141 the array type indicates an error.
2143 2010-01-25 Bob Duff <duff@adacore.com>
2145 * sinfo.ads: Minor comment fixes.
2147 2010-01-25 Bob Duff <duff@adacore.com>
2149 * exp_ch4.adb, exp_aggr.adb: Minor comment fixes and code clean up.
2151 2010-01-25 Arnaud Charlet <charlet@adacore.com>
2153 * gnatvsn.ads (Current_Year): Update.
2155 2010-01-25 Florian Villoing <villoing@adacore.com>
2157 * gnat_ugn.texi: Fix typo.
2159 2010-01-25 Thomas Quinot <quinot@adacore.com>
2161 * scos.ads: Update specification.
2163 2010-01-25 Ed Schonberg <schonberg@adacore.com>
2165 * sem_ch6.adb (Process_PPCs): If a postcondition is present and the
2166 enclosing subprogram has no previous spec, attach postcondition
2167 procedure to the defining entity for the body.
2169 2010-01-25 Ed Schonberg <schonberg@adacore.com>
2171 * exp_aggr.adb (Build_Record_Aggr_Code); Do not generate call to
2172 initialization procedure of the ancestor part of an extension aggregate
2173 if it is an interface type.
2175 2010-01-25 Vincent Celier <celier@adacore.com>
2177 * gnatlink.adb (Process_Binder_File): The directory for the shared
2178 version of libgcc in the run path options is found in the subdirectory
2179 indicated by __gnat_default_libgcc_subdir.
2180 * link.c: Declare new const char * __gnat_default_libgcc_subdir for
2183 2010-01-25 Ed Schonberg <schonberg@adacore.com>
2185 * sem_prag.adb: More flexible pragma Annotate.
2187 2010-01-22 Eric Botcazou <ebotcazou@adacore.com>
2189 * system-linux-armel.ads (Stack_Check_Probes): Set to True.
2190 * system-linux-armeb.ads (Stack_Check_Probes): Likewise.
2192 2010-01-18 Eric Botcazou <ebotcazou@adacore.com>
2194 * gcc-interface/utils.c (create_var_decl_1): Fix formatting nits.
2196 2010-01-18 Jan Hubicka <jh@suse.cz>
2199 * gcc-interface/utils.c (create_var_decl_1): Do not set COMMON flag for
2200 unit local variables.
2202 2010-01-17 Laurent GUERBY <laurent@guerby.net>
2204 * gcc-interface/Makefile.in: Fix typo in arm*-*-linux-gnueabi.
2206 2010-01-11 Mikael Pettersson <mikpe@it.uu.se>
2208 * gcc-interface/Makefile.in: Add arm*-*-linux-gnueabi.
2209 * system-linux-armeb.ads, system-linux-armel.ads: New files.
2211 2010-01-09 Simon Wright <simon@pushface.org>
2214 * gcc-interface/Makefile.in (gnatlib-shared-darwin): Add missing
2219 Copyright (C) 2010 Free Software Foundation, Inc.
2221 Copying and distribution of this file, with or without modification,
2222 are permitted in any medium without royalty provided the copyright
2223 notice and this notice are preserved.