OSDN Git Service

a5ff222c8993e072ee6c33c1ab0d36925d712301
[pf3gnuchains/gcc-fork.git] / gcc / ada / ChangeLog
1 2010-04-15  Eric Botcazou  <ebotcazou@adacore.com>
2
3         * gcc-interface/trans.c (call_to_gnu): Open a nesting level if this is
4         a statement.  Otherwise, if at top-level, push the processing of the
5         elaboration routine.  In the misaligned case, issue the error messages
6         again on entry and create the temporary explicitly.  Do not issue them
7         for CONSTRUCTORs.
8         For a function call, emit the range check if necessary.
9         In the copy-in copy-out case, create the temporary for the return
10         value explicitly.
11         Do not unnecessarily convert by-ref parameters to the formal's type.
12         Remove obsolete guards in conditions.
13         (gnat_to_gnu) <N_Assignment_Statement>: For a function call, pass the
14         target to call_to_gnu in all cases.
15         (gnat_gimplify_expr) <ADDR_EXPR>: Remove handling of SAVE_EXPR.
16         (addressable_p) <CONSTRUCTOR>: Return false if not static.
17         <COMPOUND_EXPR>: New case.
18         * gcc-interface/utils2.c (build_unary_op) <ADDR_EXPR>: Fold a compound
19         expression if it has unconstrained array type.
20         (gnat_mark_addressable) <COMPOUND_EXPR>: New case.
21         (gnat_stabilize_reference) <COMPOUND_EXPR>: Stabilize operands on an
22         individual basis.
23
24 2010-04-15  Eric Botcazou  <ebotcazou@adacore.com>
25
26         * gcc-interface/trans.c (gigi): Do not start statement group.
27         (Compilation_Unit_to_gnu): Set current_function_decl to NULL.
28         Start statement group and push binding level here...
29         (gnat_to_gnu) <N_Compilation_Unit>: ...and not here.
30         Do not push fake contexts at top level.  Remove redundant code.
31         (call_to_gnu): Rename a local variable and constify another.
32         * gcc-interface/utils.c (gnat_pushlevel): Fix formatting nits.
33         (set_current_block_context): Set it as the group's block.
34         (gnat_init_decl_processing): Delete unrelated init code.
35         (end_subprog_body): Use NULL_TREE.
36
37 2010-04-15  Eric Botcazou  <ebotcazou@adacore.com>
38
39         * gcc-interface/trans.c (call_to_gnu): Do not unnecessarily force
40         side-effects of actual parameters before the call.
41
42 2010-04-15  Eric Botcazou  <ebotcazou@adacore.com>
43
44         * gcc-interface/decl.c (validate_size): Reorder, remove obsolete test
45         and warning.
46         (set_rm_size): Reorder and remove obsolete test.
47
48 2010-04-14  Eric Botcazou  <ebotcazou@adacore.com>
49
50         * gcc-interface/gigi.h: Reorder declarations and tweak comments.
51         (gigi): Adjust ATTRIBUTE_UNUSED markers.
52         * gcc-interface/gadaint.h: New file.
53         * gcc-interface/trans.c: Include it in lieu of adaint.h.  Reorder.
54         (__gnat_to_canonical_file_spec): Remove declaration.
55         (number_names): Delete.
56         (number_files): Likewise.
57         (gigi): Adjust.
58         * gcc-interface/Make-lang.in (ada/trans.o): Adjust dependencies to
59         above change.
60
61 2010-04-14  Eric Botcazou  <ebotcazou@adacore.com>
62
63         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Class_Wide_Type>: Fix
64         comment.
65         * gcc-interface/trans.c (process_freeze_entity): Use local copy of
66         Ekind.  Return early for class-wide types.  Do not compute initializer
67         unless necessary.  Reuse the tree for an associated class-wide type
68         only if processing its root type.
69
70 2010-04-13  Joel Sherrill <joel.sherrill@oarcorp.com>
71
72         * gsocket.h: Run-time can no longer be built without network
73         OS headers available.  Changing RTEMS GNAT build procedure to
74         reflect this and letting run-time build use network .h files.
75
76 2010-04-13  Duncan Sands  <baldrick@free.fr>
77
78         * gcc-interface/misc.c (gnat_eh_type_covers): Remove.
79         * gcc-interface/trans.c (Exception_Handler_to_gnu_zcx): Update comment.
80
81 2010-04-13  Eric Botcazou  <ebotcazou@adacore.com>
82
83         * gcc-interface/gigi.h (standard_datatypes): Add ADT_parent_name_id.
84         (parent_name_id): New macro.
85         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Use it.
86         * gcc-interface/trans.c (gigi): Initialize it.
87         (lvalue_required_p) <N_Type_Conversion>: New case.
88         <N_Qualified_Expression>: Likewise.
89         <N_Allocator>: Likewise.
90         * gcc-interface/utils.c (convert): Try to properly upcast tagged types.
91
92 2010-04-13  Eric Botcazou  <ebotcazou@adacore.com>
93
94         * gcc-interface/ada-tree.h (TYPE_BY_REFERENCE_P): Delete.
95         (DECL_CONST_ADDRESS_P): New macro.
96         (SET_DECL_ORIGINAL_FIELD_TO_FIELD): Likewise.
97         (SAME_FIELD_P): Likewise.
98         * gcc-interface/decl.c (constructor_address_p): New static function.
99         (gnat_to_gnu_entity) <object>: Set DECL_CONST_ADDRESS_P according to
100         the return value of above function.
101         (gnat_to_gnu_entity) <E_Record_Type>: Force BLKmode for all types
102         passed by reference.
103         <E_Record_Subtype>: Likewise.
104         Set TREE_ADDRESSABLE on the type if it passed by reference.
105         (make_packable_type): Use SET_DECL_ORIGINAL_FIELD_TO_FIELD.
106         (create_field_decl_from): Likewise.
107         (substitute_in_type): Likewise.
108         (purpose_member_field): Use SAME_FIELD_P.
109         * gcc-interface/misc.c (must_pass_by_ref): Test TREE_ADDRESSABLE.
110         * gcc-interface/trans.c (lvalue_required_p): Add ADDRESS_OF_CONSTANT
111         parameter and adjust recursive calls.
112         <N_Explicit_Dereference>: New case.
113         <N_Object_Declaration>: Return 1 if the object is of a class-wide type.
114         Adjust calls to lvalue_required_p.  Do not return the initializer of a
115         DECL_CONST_ADDRESS_P constant if an lvalue is required for it.
116         (call_to_gnu): Delay issuing error message for a misaligned actual and
117         avoid the associated back-end assertion.  Test TREE_ADDRESSABLE.
118         (gnat_gimplify_expr) <ADDR_EXPR>: Handle non-static constructors.
119         * gcc-interface/utils.c (make_dummy_type): Set TREE_ADDRESSABLE if the
120         type is passed by reference.
121         (convert) <CONSTRUCTOR>: Convert in-place in more cases.
122         * gcc-interface/utils2.c (build_cond_expr): Drop TYPE_BY_REFERENCE_P.
123         (build_simple_component_ref): Use SAME_FIELD_P.
124
125 2010-04-12  Eric Botcazou  <ebotcazou@adacore.com>
126
127         * gcc-interface/trans.c (Identifier_to_gnu): Use boolean variable.
128         (call_to_gnu): Test gigi's flag TYPE_BY_REFERENCE_P instead of calling
129         front-end's predicate Is_By_Reference_Type.  Use consistent order and
130         remove ??? comment.  Use original conversion in all cases, if any.
131         * gcc-interface/utils.c (make_dummy_type): Minor tweak.
132         (convert): Use local copy in more cases.
133         <INDIRECT_REF>: Remove deactivated code.
134         (unchecked_convert): Use a couple of local copies.
135
136 2010-04-11  Eric Botcazou  <ebotcazou@adacore.com>
137
138         * gcc-interface/trans.c (lvalue_required_for_attribute_p): New static
139         function.
140         (lvalue_required_p) <N_Attribute_Reference>: Call it.
141         (gnat_to_gnu) <N_Selected_Component>: Prevent build_component_ref from
142         folding the result only if lvalue_required_for_attribute_p is true.
143         * gcc-interface/utils.c (maybe_unconstrained_array): Pass correctly
144         typed constant to build_component_ref.
145         (unchecked_convert): Likewise.
146         * gcc-interface/utils2.c (maybe_wrap_malloc): Likewise.
147         (build_allocator): Likewise.
148
149 2010-04-11  Eric Botcazou  <ebotcazou@adacore.com>
150
151         * gcc-interface/utils2.c (build_cond_expr): Take the address and
152         dereference if the result type is passed by reference.
153
154 2010-04-11  Eric Botcazou  <ebotcazou@adacore.com>
155
156         * gcc-interface/trans.c (Case_Statement_to_gnu): Bool-ify variable.
157         (gnat_to_gnu) <N_Null_Statement>: When not optimizing, generate a
158         goto to the next statement.
159
160 2010-04-09  Eric Botcazou  <ebotcazou@adacore.com>
161
162         * gcc-interface/gigi.h (maybe_variable): Delete.
163         (protect_multiple_eval): Likewise.
164         (maybe_stabilize_reference): Likewise.
165         (gnat_save_expr): Declare.
166         (gnat_protect_expr): Likewise.
167         (gnat_stabilize_reference): Likewise.
168         * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Use
169         gnat_stabilize_reference.
170         (maybe_variable): Delete.
171         (elaborate_expression_1): Use gnat_save_expr.
172         * gcc-interface/trans.c (Attribute_to_gnu): Use gnat_protect_expr.
173         (call_to_gnu): Pass NULL to gnat_stabilize_reference.
174         (gnat_to_gnu) <N_Object_Declaration>: Use gnat_save_expr.
175         <N_Slice>: Use gnat_protect_exp.
176         <N_Selected_Component>: Pass NULL to gnat_stabilize_reference.
177         <N_In>: Use gnat_protect_expr.
178         Pass NULL to gnat_stabilize_reference.
179         (build_unary_op_trapv): Use gnat_protect_expr.
180         (build_binary_op_trapv): Likewise.
181         (emit_range_check): Likewise.
182         (emit_index_check): Likewise.
183         (convert_with_check): Likewise.
184         (protect_multiple_eval): Move to utils2.c file.
185         (maybe_stabilize_reference): Merge into...
186         (gnat_stabilize_reference): ...this.  Move to utils2.c file.
187         (gnat_stabilize_reference_1): Likewise.
188         * gcc-interface/utils.c (convert_to_fat_pointer): Use gnat_protect_expr
189         instead of protect_multiple_eval.
190         * gcc-interface/utils2.c (compare_arrays): Likewise.
191         (nonbinary_modular_operation): Likewise.
192         (maybe_wrap_malloc): Likewise.
193         (build_allocator): Likewise.
194         (gnat_save_expr): New function.
195         (gnat_protect_expr): Rename from protect_multiple_eval.  Early return
196         in common cases.  Propagate TREE_READONLY onto dereferences.
197         (gnat_stabilize_reference_1): Move from trans.c file.
198         (gnat_stabilize_reference): Likewise.
199
200 2010-04-09  Eric Botcazou  <ebotcazou@adacore.com>
201
202         * gcc-interface/gigi.h (gnat_mark_addressable): Rename parameter.
203         * gcc-interface/decl.c (maybe_variable): Do not set TREE_STATIC on _REF
204         node.  Use the type of the operand to set TREE_READONLY.
205         * gcc-interface/trans.c (Identifier_to_gnu): Do not set TREE_STATIC on
206         _REF node.  Do not overwrite TREE_READONLY.
207         (call_to_gnu): Rename local variable and fix various nits.  In the
208         copy-in/copy-out case, build the SAVE_EXPR manually.
209         (convert_with_check): Call protect_multiple_eval in lieu of save_expr
210         and fold the computations.
211         (protect_multiple_eval): Always save entire fat pointers.
212         (maybe_stabilize_reference): Minor tweaks.
213         (gnat_stabilize_reference_1): Likewise.  Do not deal with tcc_constant,
214         tcc_type and tcc_statement.
215         * gcc-interface/utils.c (convert_to_fat_pointer): Call
216         protect_multiple_eval in lieu of save_expr.
217         (convert): Minor tweaks.
218         (maybe_unconstrained_array): Do not set TREE_STATIC on _REF node.
219         (builtin_type_for_size): Call gnat_type_for_size directly.
220         * gcc-interface/utils2.c (contains_save_expr_p): Delete.
221         (contains_null_expr): Likewise
222         (gnat_build_constructor): Do not call it.
223         (compare_arrays): Deal with all side-effects, use protect_multiple_eval
224         instead of gnat_stabilize_reference to protect the operands.
225         (nonbinary_modular_operation): Call protect_multiple_eval in lieu of
226         save_expr.
227         (maybe_wrap_malloc): Likewise.
228         (build_allocator): Likewise.
229         (build_unary_op) <INDIRECT_REF>: Do not set TREE_STATIC on _REF node.
230         (gnat_mark_addressable): Rename parameter.
231
232 2010-04-08  Eric Botcazou  <ebotcazou@adacore.com>
233
234         * gcc-interface/ada-tree.h (TYPE_RETURNS_UNCONSTRAINED_P): Rename into.
235         (TYPE_RETURN_UNCONSTRAINED_P): ...this.
236         (TYPE_RETURNS_BY_REF_P): Rename into.
237         (TYPE_RETURN_BY_DIRECT_REF_P): ...this.
238         (TYPE_RETURNS_BY_TARGET_PTR_P): Delete.
239         * gcc-interface/gigi.h (create_subprog_type): Adjust parameter names.
240         (build_return_expr): Likewise.
241         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Subprogram_Type>:
242         Rename local variables.  If the return Mechanism is By_Reference, pass
243         return_by_invisible_ref_p to create_subprog_type instead of toggling
244         TREE_ADDRESSABLE.  Test return_by_invisible_ref_p in order to annotate
245         the mechanism.  Use regular return for contrained types with non-static
246         size and return by invisible reference for unconstrained return types
247         with default discriminants.  Update comment.
248         * gcc-interface/trans.c (Subprogram_Body_to_gnu): If the function
249         returns by invisible reference, turn the RESULT_DECL into a pointer.
250         Do not handle DECL_BY_REF_P in the CICO case here.
251         (call_to_gnu): Remove code handling return by target pointer.  For a
252         function call, if the return type has non-constant size, generate the
253         assignment with an INIT_EXPR.
254         (gnat_to_gnu) <N_Return_Statement>: Remove dead code in the CICO case.
255         If the function returns by invisible reference, build the copy return
256         operation manually.
257         (add_decl_expr): Initialize the variable with an INIT_EXPR.
258         * gcc-interface/utils.c (create_subprog_type): Adjust parameter names.
259         Adjust for renaming of macros.  Copy the node only when necessary.
260         (create_subprog_decl): Do not toggle TREE_ADDRESSABLE on the return
261         type, only change DECL_BY_REFERENCE on the RETURN_DECL.
262         (convert_from_reference): Delete.
263         (is_byref_result): Likewise.
264         (gnat_genericize_r): Likewise.
265         (gnat_genericize): Likewise.
266         (end_subprog_body): Do not call gnat_genericize.
267         * gcc-interface/utils2.c (build_binary_op) <INIT_EXPR>: New case.
268         (build_return_expr): Adjust parameter names, logic and comment.
269
270 2010-04-07  Eric Botcazou  <ebotcazou@adacore.com>
271
272         * exp_pakd.adb (Create_Packed_Array_Type): Always use a modular type
273         if the size is small enough.  Propagate the alignment if there is an
274         alignment clause on the original array type.
275         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Modular_Integer_Subtype>
276         Deal with under-aligned packed array types.  Copy the size onto the
277         justified modular type and don't lay it out again.  Likewise for the
278         padding type built for other under-aligned subtypes.
279         * gcc-interface/utils.c (finish_record_type): Do not set a default mode
280         on the type.
281
282 2010-04-07  Eric Botcazou  <ebotcazou@adacore.com>
283
284         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Set default
285         alignment on the RETURN type built for the Copy-In Copy-Out mechanism.
286
287 2010-04-07  Eric Botcazou  <ebotcazou@adacore.com>
288
289         * gcc-interface/trans.c (call_to_gnu): In the return-by-target-ptr case
290         do not set the result type if there is a specified target and do not
291         convert the result in any cases.
292         (protect_multiple_eval): Make direct SAVE_EXPR for CALL_EXPR.
293         (maybe_stabilize_reference) <COMPOUND_EXPR>: Merge with CALL_EXPR.
294
295 2010-03-10  Eric Botcazou  <ebotcazou@adacore.com>
296
297         * gcc-interface/Makefile.in (SPARC/Solaris): Use sparcv8plus.
298
299 2010-02-27  Eric Botcazou  <ebotcazou@adacore.com>
300
301         PR ada/42253
302         * gcc-interface/utils2.c (build_binary_op) <EQ_EXPR>: Assert that fat
303         pointer base types are variant of each other.  Apply special treatment
304         for null to fat pointer types in all cases.
305
306 2010-01-28  Pascal Obry  <obry@adacore.com>
307
308         * s-win32.ads: Add some missing constants.
309
310 2010-01-28  Vincent Celier  <celier@adacore.com>
311
312         * prj-attr-pm.adb (Add_Attribute): Do nothing if To_Package is
313         Unknown_Package.
314
315 2010-01-28  Robert Dewar  <dewar@adacore.com>
316
317         * gnat_rm.texi: Minor correction
318
319 2010-01-27  Pascal Obry  <obry@adacore.com>
320
321         * g-awk.adb: ensure that an AWK session is reusable.
322
323 2010-01-27  Vasiliy Fofanov  <fofanov@adacore.com>
324
325         * g-regist.adb (For_Every_Key): Fix previous change.
326         Minor reformatting.
327
328 2010-01-27  Thomas Quinot  <quinot@adacore.com>
329
330         * lib-writ.ads: Current version of spec for new N (note) ALI lines
331
332 2010-01-27  Yannick Moy  <moy@adacore.com>
333
334         * a-cdlili.adb (Insert): Correct exception message when cursor
335         designates wrong list.
336
337 2010-01-27  Vincent Celier  <celier@adacore.com>
338
339         * gnatcmd.adb: When there is only one main specified, the package
340         support Switches (<main>) and attribute Switches is specified for the
341         main, use these switches, instead of Default_Switches ("Ada").
342
343 2010-01-27  Robert Dewar  <dewar@adacore.com>
344
345         * sem_prag.adb, par-prag.adb, snames.ads-tmpl: pragma Dimension initial
346         implementation.
347         * exp_disp.adb: Minor reformatting
348
349 2010-01-27  Tristan Gingold  <gingold@adacore.com>
350
351         * seh_init.c: Use __ImageBase instead of _ImageBase.
352
353 2010-01-27  Javier Miranda  <miranda@adacore.com>
354
355         * exp_disp.ads, exp_disp.adb (Expand_Interface_Thunk): Modify the
356         profile of interface thunks. The type of the controlling formal is now
357         the covered interface type (instead of the target tagged type).
358
359 2010-01-27  Sergey Rybin  <rybin@adacore.com>
360
361         * gnat_rm.texi, gnat_ugn.texi: Update gnatcheck doc.
362
363 2010-01-27  Robert Dewar  <dewar@adacore.com>
364
365         * sinput.ads, sinput.adb (Sloc_Range): Applies to all nodes, formal
366         changed from Expr to N.
367
368 2010-01-26  Thomas Quinot  <quinot@adacore.com>
369
370         * gnat_ugn.texi: Adjust documentation of -gnatz switches.
371         * usage.adb: Replace line for -gnatz with two lines for -gnatzc and
372         -gnatzr.
373
374 2010-01-26  Vincent Celier  <celier@adacore.com>
375
376         * prj-attr.adb: Add new attribute Library_Install_Name_Option
377         Replace attribute Run_Path_Origin_Supported with Run_Path_Origin
378         * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process
379         attributes Run_Path_Option and Library_Install_Name_Option.
380         * prj.ads (Project_Configuration): Replace component
381         Run_Path_Origin_Supported with component Run_Path_Origin. Add new
382         component Library_Install_Name_Option.
383         * snames.ads-tmpl: Add new standard name Library_Install_Name_Option
384         Replace Run_Path_Origin_Supported with Run_Path_Origin
385
386 2010-01-26  Ed Schonberg  <schonberg@adacore.com>
387
388         * sem_ch8.adb (Use_One_Package): Within an instance, an actual package
389         is not hidden by a homograph declared in another actual package.
390
391 2010-01-26  Robert Dewar  <dewar@adacore.com>
392
393         * par_sco.adb (Traverse_Declarations_Or_Statements): Only generate
394         decisions for pragmas Assert, Check, Precondition, Postcondition if
395         -gnata set.
396         * scos.ads: Update comments.
397         * get_scos.adb, put_scos.adb: Minor fix to code reading statement SCOs.
398         Also remove obsolete code for CT (exit point) SCOs.
399
400 2010-01-26  Thomas Quinot  <quinot@adacore.com>
401
402         * switch-c.adb: Fix handling of -gnatz*
403
404 2010-01-26  Robert Dewar  <dewar@adacore.com>
405
406         * par_sco.adb (Traverse_Declarations_Or_Statements): Separate F/W
407         qualifiers for FOR/WHILE loops
408         * scos.ads: Use separate type letters F/W for for/while loops
409
410 2010-01-26  Robert Dewar  <dewar@adacore.com>
411
412         * get_scos.adb (Get_SCOs): Implement new form of CS entries (multiple
413         entries per line, one for each statement in the sequence).
414         * par_sco.adb (Traverse_Declarations_Or_Statements): Increase array
415         size from 100 to 10_000 for SC_Array to avoid any real possibility of
416         overflow. Output decisions in for loops.
417         Exclude labels from CS lines.
418         * scos.ads: Clarify that label is not included in the entry point
419
420 2010-01-26  Robert Dewar  <dewar@adacore.com>
421
422         * par_sco.adb (Traverse_Declarations_Or_Statments): Implement new
423         format of statement sequence SCO entries (one location/statement).
424         * put_scos.adb (Put_SCOs): Implement new format of CS lines
425         * scos.ads: Update comments.
426         * sem_eval.adb: Minor reformatting.
427
428 2010-01-26  Robert Dewar  <dewar@adacore.com>
429
430         * par_sco.ads, par_sco.adb (Set_Statement_Entry): New handling of exits
431         (Extend_Statement_Sequence): New procedures
432         (Traverse_Declarations_Or_Statements): New handling for exits.
433
434 2010-01-26  Robert Dewar  <dewar@adacore.com>
435
436         * par_sco.adb (Traverse_Declarations_Or_Statements): Add processing for
437         Case.
438
439 2010-01-26  Robert Dewar  <dewar@adacore.com>
440
441         * par_sco.adb (Is_Logical_Operator): Exclude AND/OR/XOR
442         * scos.ads: Clarify handling of logical operators
443
444 2010-01-26  Arnaud Charlet  <charlet@adacore.com>
445
446         * s-tpoben.adb: Update comments.
447
448 2010-01-26  Robert Dewar  <dewar@adacore.com>
449
450         * freeze.adb (Set_Small_Size): Don't set size if alignment clause
451         present.
452
453 2010-01-26  Robert Dewar  <dewar@adacore.com>
454
455         * scos.ads: Clean up documentation, remove obsolete XOR references
456 2010-01-26  Vincent Celier  <celier@adacore.com>
457
458         * gnat_ugn.texi: Complete documentation on the restrictions for
459         combined options in -gnatxxx switches.
460         Fix typo.
461
462 2010-01-26  Arnaud Charlet  <charlet@adacore.com>
463
464         * s-tpoben.adb (Initialize_Protection_Entries): If a PO is created from
465         a controlled operation, abort is already deferred at this point, so we
466         need to use Defer_Abort_Nestable.
467
468 2010-01-26  Vincent Celier  <celier@adacore.com>
469
470         * prj-conf.adb (Get_Config_Switches): Check for a default language for
471         a project extending a project with no languages.
472
473 2010-01-26  Vincent Celier  <celier@adacore.com>
474
475         * switch-c.adb (Scan_Front_End_Switches): Take into account options
476         that follow -gnatef.
477         Allow -gnateG to be followed by other options.
478
479 2010-01-26  Robert Dewar  <dewar@adacore.com>
480
481         * s-commun.ads, s-osprim-mingw.adb, s-stchop-vxworks.adb, sem_aggr.adb,
482         s-vxwext.adb, sem_ch10.adb, sem_eval.adb, sem_prag.adb: Minor
483         reformatting.
484
485 2010-01-26  Vasiliy Fofanov  <fofanov@adacore.com>
486
487         * g-regist.adb, g-regist.ads (For_Every_Key): New generic procedure
488         that allows to iterate over all subkeys of a key.
489
490 2010-01-26  Ed Falis  <falis@adacore.com>
491
492         * sysdep.c: enable NFS for VxWorks MILS
493         * env.c: enable __gnat_environ for VxWorks MILS
494         * gcc-interface/Makefile.in: Add VxWorks MILS target pairs.
495
496 2010-01-25  Bob Duff  <duff@adacore.com>
497
498         * sem_aggr.adb (Resolve_Array_Aggregate): Check for the case where this
499         is an internally-generated positional aggregate, and the bounds are
500         already correctly set. We don't want to overwrite those bounds with
501         bounds determined by context.
502
503 2010-01-25  Robert Dewar  <dewar@adacore.com>
504
505         * g-sercom.ads, gnatcmd.adb, gnatlink.adb, a-ststio.adb, exp_ch6.adb,
506         exp_ch9.adb, g-sechas.ads: Minor reformatting.
507
508 2010-01-25  Thomas Quinot  <quinot@adacore.com>
509
510         * s-commun.adb (Last_Index): Count must be converted to SEO (a signed
511         integer type) before subtracting 1, otherwise the computation may wrap
512         (because size_t is modular) and cause the conversion to fail.
513
514 2010-01-25  Ed Falis  <falis@adacore.com>
515
516         * sysdep.c, init.c: Adapt to support full run-time on VxWorks MILS.
517
518 2010-01-25  Vincent Celier  <celier@adacore.com>
519
520         * prj-attr.adb: New attribute Run_Path_Origin_Required
521         * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process new
522         attribute Run_Path_Origin_Required.
523         * prj.ads (Project_Configuration): New component
524         Run_Path_Origin_Supported.
525         * snames.ads-tmpl: New standard name Run_Path_Origin_Required
526
527 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
528
529         * sem_aggr.adb (Resolve_Array_Aggregate): If the bounds in a choice
530         have errors, do not continue resolution of the aggregate.
531         * sem_eval.adb (Eval_Indexed_Component): Do not attempt to evaluate if
532         the array type indicates an error.
533
534 2010-01-25  Bob Duff  <duff@adacore.com>
535
536         * sinfo.ads: Minor comment fixes.
537
538 2010-01-25  Bob Duff  <duff@adacore.com>
539
540         * exp_ch4.adb, exp_aggr.adb: Minor comment fixes and code clean up.
541
542 2010-01-25  Arnaud Charlet  <charlet@adacore.com>
543
544         * gnatvsn.ads (Current_Year): Update.
545
546 2010-01-25  Florian Villoing  <villoing@adacore.com>
547
548         * gnat_ugn.texi: Fix typo.
549
550 2010-01-25  Thomas Quinot  <quinot@adacore.com>
551
552         * scos.ads: Update specification.
553
554 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
555
556         * sem_ch6.adb (Process_PPCs): If a postcondition is present and the
557         enclosing subprogram has no previous spec, attach postcondition
558         procedure to the defining entity for the body.
559
560 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
561
562         * exp_aggr.adb (Build_Record_Aggr_Code); Do not generate call to
563         initialization procedure of the ancestor part of an extension aggregate
564         if it is an interface type.
565
566 2010-01-25  Vincent Celier  <celier@adacore.com>
567
568         * gnatlink.adb (Process_Binder_File): The directory for the shared
569         version of libgcc in the run path options is found in the subdirectory
570         indicated by __gnat_default_libgcc_subdir.
571         * link.c: Declare new const char * __gnat_default_libgcc_subdir for
572         each platform.
573
574 2010-01-25  Ed Schonberg  <schonberg@adacore.com>
575
576         * sem_prag.adb: More flexible pragma Annotate.
577
578 2010-01-22  Eric Botcazou  <ebotcazou@adacore.com>
579
580         * system-linux-armel.ads (Stack_Check_Probes): Set to True.
581         * system-linux-armeb.ads (Stack_Check_Probes): Likewise.
582
583 2010-01-18  Eric Botcazou  <ebotcazou@adacore.com>
584
585         * gcc-interface/utils.c (create_var_decl_1): Fix formatting nits.
586
587 2010-01-18  Jan Hubicka  <jh@suse.cz>
588
589         PR middle-end/42068
590         * gcc-interface/utils.c (create_var_decl_1): Do not set COMMON flag for
591         unit local variables.
592
593 2010-01-17  Laurent GUERBY  <laurent@guerby.net>
594
595         * gcc-interface/Makefile.in: Fix typo in arm*-*-linux-gnueabi.
596
597 2010-01-11  Mikael Pettersson  <mikpe@it.uu.se>
598
599         * gcc-interface/Makefile.in: Add arm*-*-linux-gnueabi.
600         * system-linux-armeb.ads, system-linux-armel.ads: New files.
601
602 2010-01-09  Simon Wright  <simon@pushface.org>
603
604         PR ada/42626
605         * gcc-interface/Makefile.in (gnatlib-shared-darwin): Add missing
606         end-quote.
607
608
609 \f
610 Copyright (C) 2010 Free Software Foundation, Inc.
611
612 Copying and distribution of this file, with or without modification,
613 are permitted in any medium without royalty provided the copyright
614 notice and this notice are preserved.