OSDN Git Service

e58592403082c7b119c31aa65f26957ee292348e
[pf3gnuchains/gcc-fork.git] / gcc / ada / ChangeLog
1 2010-09-29  Eric Botcazou  <ebotcazou@adacore.com>
2
3         * gcc-interface/utils.c (handle_leaf_attribute): Fix long line.
4
5 2010-09-28  Richard Henderson  <rth@redhat.com>
6
7         * gcc-interface/misc.c (gnat_eh_personality): Use
8         targetm.except_unwind_info.
9
10 2010-09-28  Jan Hubicka  <jh@suse.cz>
11
12         * gcc-interface/utils.c (handle_leaf_attribute): New function.
13         (gnat_internal_attribute_tables): Add leaf.
14
15 2010-09-22  Joseph Myers  <joseph@codesourcery.com>
16
17         * gcc-interface/lang.opt (-all-warnings, -include-barrier,
18         -include-directory, -include-directory=, -no-standard-includes,
19         -no-standard-libraries): New.
20
21 2010-09-20  Eric Botcazou  <ebotcazou@adacore.com>
22
23         * gcc-interface/decl.c (gnat_to_gnu_entity): Replace calls to
24         build_array_type with calls to build_nonshared_array_type.
25         (substitute_in_type): Likewise.
26         * gcc-interface/misc.c (LANG_HOOKS_HASH_TYPES): Delete.
27         (LANG_HOOKS_TYPE_HASH_EQ): Define.
28         (gnat_post_options): Add 'static' keyword.
29         (gnat_type_hash_eq): New static function.
30         * gcc-interface/utils.c (fntype_same_flags_p): New function.
31         (create_subprog_type): Call it.
32         (create_index_type): Call build_nonshared_range_type and tidy up.
33         (create_range_type): Likewise.
34         * gcc-interface/gigi.h (fntype_same_flags_p): Declare.
35
36 2010-09-19  Eric Botcazou  <ebotcazou@adacore.com>
37
38         * gcc-interface/trans.c (gnat_pushdecl): Do not do anything special
39         for PARM_DECLs.
40         (end_subprog_body): If the body is a BIND_EXPR, make its associated
41         block the top-level one.
42         (build_function_stub): Build a statement group for the whole function.
43         * gcc-interface/utils.c (Subprogram_Body_to_gnu): If copy-in/copy-out
44         is used, create the enclosing block early and process first the OUT
45         parameters.
46
47 2010-09-19  Eric Botcazou  <ebotcazou@adacore.com>
48
49         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Enumeration_Type>: Do
50         not generate debug info for individual enumerators.
51
52 2010-09-19  Eric Botcazou  <ebotcazou@adacore.com>
53
54         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Use record
55         type instead of enumeral type as the dummy type built for the template
56         type of fat pointers.
57
58 2010-09-19  Eric Botcazou  <ebotcazou@adacore.com>
59
60         * gcc-interface/gigi.h (get_elaboration_procedure): Declare.
61         (gnat_zaplevel): Likewise.
62         * gcc-interface/decl.c (gnat_to_gnu_entity): Do not force global
63         binding level for an external constant.
64         <E_Constant>: Force the local context and create a fake scope before
65         translating the defining expression of an external constant.
66         <object>: Treat external constants at the global level explicitly for
67         renaming declarations.
68         (elaborate_expression_1): Force the variable to be static if the
69         expression is global.
70         * gcc-interface/trans.c (get_elaboration_procedure): New function.
71         (call_to_gnu): Use it.
72         (gnat_to_gnu): Likewise.
73         <N_Object_Declaration>: Do not test Is_Public to force the creation of
74         an initialization variable.
75         (add_decl_expr): Discard the statement if the declaration is external.
76         * gcc-interface/utils.c (gnat_pushdecl): Do not put the declaration in
77         the current block if it is external.
78         (create_var_decl_1): Do not test Is_Public to set TREE_STATIC.
79         (gnat_zaplevel): New global function.
80
81 2010-09-19  Eric Botcazou  <ebotcazou@adacore.com>
82
83         * gcc-interface/decl.c (gnat_to_gnu_entity): Explicitly test _LEVEL
84         variables against zero in all cases.
85         (rest_of_type_decl_compilation): Likewise.
86         * gcc-interface/trans.c (gigi): Pass properly typed constants to
87         create_var_decl.
88         (call_to_gnu): Fix formatting.
89         (Handled_Sequence_Of_Statements_to_gnu): Likewise.
90         (Exception_Handler_to_gnu_zcx): Likewise.
91         (gnat_to_gnu) <N_Object_Declaration>: Short-circuit handling of
92         constant
93         expressions in presence of a freeze node.
94
95 2010-09-19  Eric Botcazou  <ebotcazou@adacore.com>
96
97         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Look into
98         expressions for external constants that are aggregates.
99         * gcc-interface/utils2.c (build_simple_component_ref): If the field
100         is an inherited component in an extension, look through the extension.
101
102 2010-09-10  Vincent Celier  <celier@adacore.com>
103
104         * projects.texi: Add documentation for package extensions
105         Add some documentation for attributes Leading_Library_Options and
106         Linker'Leading_Switches.
107
108 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
109
110         * exp_util.adb (Expand_Subtype_From_Expression): When expansion is
111         disabled, compute subtype for all string types.
112
113 2010-09-10  Robert Dewar  <dewar@adacore.com>
114
115         * gnat_ugn.texi: Add documentation for -gnatw.s/S
116         * sem_ch13.adb (Analyze_Attribute_Definition_Clause, case
117         Component_Size): Implement warning on overriden size clause.
118         (Analyze_Record_Representation_Clause): Implement warning on overriden
119         size clause.
120         * sem_warn.ads, sem_warn.adb (Warn_On_Overridden_Size): New flag
121         (-gnatw.s/S).
122         * ug_words: Add entries for -gnatw.s/S.
123         * vms_data.ads, usage.adb: Add line for -gnatw.s/-gnatw.S.
124         * gcc-interface/Make-lang.in: Update dependencies.
125
126 2010-09-10  Vincent Celier  <celier@adacore.com>
127
128         * prj-dect.adb (Parse_Package_Declaration): Allow a package to extend
129         a package with the same name from an imported or extended project.
130         * prj-proc.adb (Process_Declarative_Items): Process package extensions
131
132 2010-09-10  Bob Duff  <duff@adacore.com>
133
134         * exp_ch6.adb (Expand_Call): Do not perform a null_exclusion check on
135         'out' parameters.
136
137 2010-09-10  Robert Dewar  <dewar@adacore.com>
138
139         * sem.adb: Minor reformatting.
140
141 2010-09-10  Bob Duff  <duff@adacore.com>
142
143         * s-os_lib.ads, g-expect.ads: Add comments.
144
145 2010-09-10  Robert Dewar  <dewar@adacore.com>
146
147         * exp_ch5.adb: Minor reformatting.
148
149 2010-09-10  Thomas Quinot  <quinot@adacore.com>
150
151         * scos.ads: Add comments.
152
153 2010-09-10  Vincent Celier  <celier@adacore.com>
154
155         * gnatcmd.adb (Get_Closure): Remove useless invocation of Close.
156
157 2010-09-10  Hristian Kirtchev  <kirtchev@adacore.com>
158
159         * exp_ch7.adb, exp_ch6.adb (Expand_Call): Establish a transient scope
160         for a controlled build-in-place function call which appears in an
161         anonymous context. The transient scope ensures that the intermediate
162         function result is cleaned up after the master is left.
163         (Make_Build_In_Place_Call_In_Anonymous_Context): Remove the creation
164         of the transient scope. This is now done in Exand_Call which covers
165         additional cases other than secondary stack release.
166
167 2010-09-10  Arnaud Charlet  <charlet@adacore.com>
168
169         * sem.adb (Do_Unit_And_Dependents): Add guard.
170
171 2010-09-10  Robert Dewar  <dewar@adacore.com>
172
173         * exp_ch5.adb: Update comments.
174         * exp_dist.adb: Minor reformatting.
175
176 2010-09-10  Robert Dewar  <dewar@adacore.com>
177
178         * sem_ch13.adb (Check_Record_Representation_Clause): Implement record
179         gap warnings.
180         * sem_warn.ads, sem_warn.adb (Warn_On_Record_Holes): New warning flag.
181         * usage.adb: Add lines for -gnatw.h/H
182         * gnat_ugn.texi: Add documentation for J519-010
183         Warn on record holes/gaps
184         * ug_words: Add entries for -gnatw.h/-gnatw.H
185         * vms_data.ads: Add entries for [NO]AVOIDGAPS
186
187 2010-09-10  Gary Dismukes  <dismukes@adacore.com>
188
189         * sem_ch6.adb: Update comment.
190
191 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
192
193         * sem_ch3.adb (Build_Derived_Private_Type): Mark generated declaration
194         of full view analyzed after analyzing the corresponding record
195         declaration, to prevent spurious name conflicts with original
196         declaration.
197
198 2010-09-10  Jerome Lambourg  <lambourg@adacore.com>
199
200         * sem_ch13.adb (Analyze_Attribute_Definition_Clause): In the VM case,
201         just issue a warning, but continue with the normal processing.
202
203 2010-09-10  Robert Dewar  <dewar@adacore.com>
204
205         * exp_attr.adb, prj-nmsc.adb, sem_ch4.adb, sem_res.adb: Minor
206         reformatting.
207
208 2010-09-10  Thomas Quinot  <quinot@adacore.com>
209
210         * exp_dist.adb (Build_From_Any_Call, Build_To_Any_Call,
211         Build_TypeCode_Call): For a subtype inserted for the expansion of a
212         generic actual type, go to the underlying type of the original actual
213         type.
214
215 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
216
217         * exp_ch5.adb (Expand_Assign_Array_Loop): In CodePeer mode, place a
218         guard around the increment statement, to prevent an off-by-one-value
219         on the last iteration.
220
221 2010-09-10  Vincent Celier  <celier@adacore.com>
222
223         * sem_aggr.adb, exp_prag.adb, sem_ch3.adb, exp_attr.adb,
224         sem_res.adb, sem_attr.adb, sem_elab.adb, sem_ch4.adb, exp_disp.adb,
225         exp_aggr.adb, exp_dist.adb: Change all mentions of "at run-time" to
226         "at run time" in comments and error/warning messages.
227
228 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
229
230         * exp_cg.adb: Handle properly bodies without specs.
231
232 2010-09-10  Emmanuel Briot  <briot@adacore.com>
233
234         * prj-nmsc.adb (Find_Source_Dirs): When a source directory is not
235         present, and the user requested to either ignore this or display a
236         warning (as opposed to an error), we still need to register the
237         directory.
238
239 2010-09-10  Robert Dewar  <dewar@adacore.com>
240
241         * errout.adb: Remove tests of Parsing_Main_Subunit, since this test is
242         now done in In_Extended_Main_Source_Unit.
243         * errout.ads (Compiler_State[_Type]): Moved from Errout to Lib
244         (Parsing_Main_Subunit): Moved from Errout to Lib and renamed
245         as Parsing_Main_Extended_Source.
246         * frontend.adb: Set Parsing_Main_Extended_Source True for parsing main
247         unit.
248         * lib-load.adb (Load_Unit): Add PMES parameter
249         Set PMES appropriately in all calls to Load_Unit
250         * lib-load.ads (Load_Unit): Add PMES parameter
251         * lib.adb (In_Extended_Main_Source_Unit): When called with
252         Compiler_State set to Parsing, test new flag
253         Compiling_Main_Extended_Source.
254         * lib.ads (Compiler_State[_Type]): Moved from Errout to Lib
255         (Parsing_Main_Subunit): Moved from Errout to Lib and renamed
256         as Parsing_Main_Extended_Source
257         * par-load.adb (Load): Set PMES properly in call to Load_Unit
258
259 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
260
261         * exp_cg.adb: Use proper entity to handle overloads.
262         * sem_res.adb (Check_Parameterless_Call): An operator node without
263         actuals cannot be a call, and must be treated as a string.
264
265 2010-09-10  Robert Dewar  <dewar@adacore.com>
266
267         * frontend.adb: Minor reformatting.
268
269 2010-09-10  Robert Dewar  <dewar@adacore.com>
270
271         * par-ch4.adb (P_Conditional_Expression): Use P_Condition for condition
272         * par-ch5.adb (P_Condition): Move from body to spec
273         * par.adb (Ch5.P_Condition): Move from body to spec
274
275 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
276
277         * exp_cg.adb (Write_Call_Info): If a type that has been registered in
278         the call table is private, use its full view to generate information
279         on its operations.
280
281 2010-09-10  Jose Ruiz  <ruiz@adacore.com>
282
283         * exp_cg.adb (Is_Predefined_Dispatching_Operation): When trying the
284         pattern matching to detect predefined primitive operations take into
285         account that there can be an extra suffix related to body-nested
286         package entities.
287
288 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
289
290         * s-pooglo.ads: Add overriding indicators.
291
292 2010-09-10  Vincent Celier  <celier@adacore.com>
293
294         * vms_data.ads: Add new GNAT BIND qualifiers /32_MALLOC (for -H32) and
295         /64_MALLOC (for -H64).
296
297 2010-09-10  Robert Dewar  <dewar@adacore.com>
298
299         * errout.adb (Error_Msg_Internal): Test Parsing_Main_Subunit flag
300         (Error_Msg_NW): Test Parsing_Main_Subunit flag
301         * errout.ads (Parsing_Main_Subunit): New flag
302         * lib-load.adb (Load_Unit): Set Parsing_Main_Subunit flag
303         * par-ch6.adb: Minor style fix (remove redandant parentheses)
304         * par-ch9.adb: Minor style fix (remove redundant parens)
305         * par-load.adb: (Load): Deal with setting Parsing_Main_Subunit
306
307 2010-09-10  Vincent Celier  <celier@adacore.com>
308
309         * make.adb (Create_Binder_Mapping_File): Remove procedure. Replaced by
310         function of the same name in Makeutl.
311         (Gnatmake): Call function Create_Binder_Mapping_File in Makeutl, instead
312         of removed procedure when creating a binder mapping file.
313         * makeutl.adb (Create_Binder_Mapping_File): New function. Was a
314         procedure in Make.
315         * makeutl.ads (Create_Binder_Mapping_File): New function
316
317 2010-09-10  Jose Ruiz  <ruiz@adacore.com>
318
319         * exp_cg.adb (Is_Predefined_Dispatching_Operation): Add the "__" scope
320         separator when trying the pattern matching to detect predefined
321         primitive operations.
322
323 2010-09-10  Robert Dewar  <dewar@adacore.com>
324
325         * bindgen.adb, atree.adb: Minor reformatting.
326
327 2010-09-10  Ben Brosgol  <brosgol@adacore.com>
328
329         * ug_words, gnat_ugn.texi: Revised "Transitioning to 64-Bit GNAT for
330         OpenVMS" section.
331
332 2010-09-10  Doug Rupp  <rupp@adacore.com>
333
334         * bindgen.adb: Minor comment fix for -H switch.
335
336 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
337
338         * exp_cg.adb (Register_CG_Node): Determine enclosing subprogram or
339         library unit now, by traversing tree before context is expanded.
340         (Write_Call_Info): Use enclosing unit name directly.
341         * exp_ch9.adb (Expand_N_Accept_Statement): Attach generated block to
342         tree earlier, to ensure that subsequent declarations are analyzed in a
343         connected structure.
344         * exp_intr.adb (Expand_Unc_Deallocation): Ditto for generated statement
345         list.
346
347 2010-09-10  Robert Dewar  <dewar@adacore.com>
348
349         * symbols-processing-vms-alpha.adb: Minor reformatting.
350
351 2010-09-10  Jerome Lambourg  <lambourg@adacore.com>
352
353         * bindgen.adb (Gen_Adainit_Ada): In .NET, don't call
354         __gnat_install_handler in case the binder is called with -n.
355
356 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
357
358         * exp_ch6.adb (Make_Build_In_Place_In_Object_Declaration): Use proper
359         sloc for renaming declaration and set Comes_From_Source properly to
360         ensure that references are properly generated for an object declaration
361         that is built in place.
362
363 2010-09-10  Tristan Gingold  <gingold@adacore.com>
364
365         * symbols-processing-vms-alpha.adb: Allow gnatsym to work as a cross
366         tool.
367         * gcc-interface/Make-lang.in: Install gnatsym when cross compiling.
368         * gcc-interface/Makefile.in: gnat.hlp is now generated by
369         Make-generated.in
370
371 2010-09-10  Bob Duff  <duff@adacore.com>
372
373         * exp_pakd.adb (Expand_Bit_Packed_Element_Set): For things like ""X(J)
374         := ...;", remove side effects from the right-hand side, because they
375         might affect the value of the left-hand side, but the left-hand side is
376         first READ (so we can do shifting and masking) and then written back,
377         which would cause the side effects to be incorrectly overwritten.
378
379 2010-09-10  Robert Dewar  <dewar@adacore.com>
380
381         * sem_ch4.adb: Minor reformatting.
382         * exp_ch6.adb: Add comment on testing limited on full type
383         * gnat_rm.texi: Add documentation on Pure_Function.
384
385 2010-09-10  Vincent Celier  <celier@adacore.com>
386
387         * prj-nmsc.adb (Add_Source): Allow an Ada source to have the same name
388         as a source of another project and of another language.
389
390 2010-09-10  Robert Dewar  <dewar@adacore.com>
391
392         * exp_ch3.adb (Expand_N_Object_Declaration): Defend against previous
393         errors.
394         * freeze.adb (Check_Unsigned_Type): Ditto.
395         * sem_aggr.adb (Resolve_Aggr_Expr): Ditto.
396         * sem_ch3.adb (Convert_Scalar_Bounds): Ditto.
397         (Set_Scalar_Range_For_Subtype): Ditto.
398         * sem_eval.adb (Subtypes_Statically_Match): Ditto.
399
400 2010-09-10  Robert Dewar  <dewar@adacore.com>
401
402         * repinfo.adb (List_Type_Info): List Small and Range for fixed-point
403         types.
404         * sprint.adb (Write_Ureal_With_Col_Check_Sloc): Use square brackets
405         rather than parens for fixed constants.
406         * sprint.ads: Use square brackets rather than parens for fixed constants
407         * urealp.adb (UR_Write): Use square brackets rather than parens
408         (UR_Write): Add Brackets argument
409         (UR_Write): Add many more special cases to output literals
410         * urealp.ads (UR_Write): Use square brackets rather than parens
411         (UR_Write): Add Brackets argument
412
413 2010-09-10  Robert Dewar  <dewar@adacore.com>
414
415         * sem_ch4.adb: Minor reformatting.
416
417 2010-09-10  Richard Guenther  <rguenther@suse.de>
418
419         * gcc-interface/utils.c (create_index_type): Use build_range_type.
420
421 2010-09-10  Arnaud Charlet  <charlet@adacore.com>
422
423         * vms_cmds.ads: New.
424
425 2010-09-10  Eric Botcazou  <ebotcazou@adacore.com>
426
427         * exp_dbug.ads: Mention enhanced encoding for array types.
428
429 2010-09-10  Jerome Lambourg  <lambourg@adacore.com>
430
431         * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Size clause are
432         unsupported in VM targets. Display a warning in this case.
433
434 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
435
436         * sprint.adb (Sprint_Node_Actual, case N_Derived_Type_Definition): Do
437         not reset Sloc when printing keyword "new".
438
439 2010-09-10  Vincent Celier  <celier@adacore.com>
440
441         * gnatcmd.adb (GNATCmd): Put the command line in environment variable
442         GNAT_DRIVER_COMMAND_LINE.
443
444 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
445
446         * sem.adb (Do_Unit_And_Dependents): if Withed_Body is set on a context
447         clause, process the body at once.
448
449 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
450
451         * sem_res.adb (Resolve_Type_Conversion): Do not warn on a redundant
452         conversion is the expression is a qualified expression used to
453         disambiguate a function call.
454
455 2010-09-10  Vincent Celier  <celier@adacore.com>
456
457         * prj-nmsc.adb (Add_Source): Allow an Ada source to have the same name
458         as a source of another project and of another language.
459
460 2010-09-10  Robert Dewar  <dewar@adacore.com>
461
462         * prj-util.adb: Minor reformatting.
463
464 2010-09-10  Eric Botcazou  <ebotcazou@adacore.com>
465
466         * exp_disp.adb: Minor reformatting.
467
468 2010-09-10  Arnaud Charlet  <charlet@adacore.com>
469
470         * sem_prag.adb (Analyze_Pragma): Ignore Inline_Always pragma in
471         CodePeer mode.
472
473 2010-09-10  Thomas Quinot  <quinot@adacore.com>
474
475         * sem_res.adb: Minor reformatting.
476         * exp_ch9.adb, rtsfind.ads, exp_ch4.adb, exp_ch3.adb: Do not hardcode
477         magic constants for task master levels (instead, reference
478         named numbers from System.Tasking).
479
480 2010-09-10  Eric Botcazou  <ebotcazou@adacore.com>
481
482         * gnatvsn.ads (Ver_Prefix): New constant string.
483         * bindgen.adb (Gen_Output_File_Ada): Use it in lieu of hardcoded value.
484         (Gen_Output_File_C): Likewise.
485         * g-comver.adb (Ver_Prefix): Add cross-reference to Gnatvsn.Ver_Prefix
486         in comment.
487         
488 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
489
490         * sem.adb (Walk_Library_Items): Do not traverse children of the main
491         unit, to prevent spurious circularities in the walk order.
492         (Depends_On_Main): Use elsewhere to prevent circularities when the body
493         of an ancestor of the main unit depends on a child of the main unit.
494
495 2010-09-10  Robert Dewar  <dewar@adacore.com>
496
497         * gnatlink.adb, prj-ext.adb, prj-util.adb, s-tporft.adb,
498         sem_ch3.adb: Minor reformatting.
499
500 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
501
502         * sem_ch3.adb (Derive_Subprograms): An interface primitive operation
503         that is a renaming must be derived like any other primitive operation,
504         the renamed operation is not relevant to the derivation.
505
506 2010-09-10  Robert Dewar  <dewar@adacore.com>
507
508         * sem_aux.ads: Add comment for Is_Inherently_Limited_Type.
509         * checks.adb: Minor reformatting.
510
511 2010-09-10  Robert Dewar  <dewar@adacore.com>
512
513         * gnat_ugn.texi: Add section on intent of style checking options.
514
515 2010-09-10  Arnaud Charlet  <charlet@adacore.com>
516
517         * xref_lib.adb (Get_Full_Type): Fix handling of 'a' char.
518
519 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
520
521         * sem_ch3.adb: Improve error message on derivation from class-wide type
522
523 2010-09-10  Steve Baird  <baird@adacore.com>
524
525         * gnat1drv.adb (Adjust_Global_Switches): Enable Expression_With_Actions
526         generation when Generate_SCIL is True.
527
528 2010-09-10  Geert Bosch  <bosch@adacore.com>
529
530         * gnatlink.adb (Check_ Existing_Executable): New procedure for checking
531         validity of executable name and removing any existing executable
532         (Gnatlink): Call Check_Existing_Executable.
533
534 2010-09-10  Arnaud Charlet  <charlet@adacore.com>
535
536         * s-tporft.adb, s-taskin.ads (Register_Foreign_Thread): Move
537         initialization of Task_Alternate_Stack here, cleaner since in case of
538         ranvescar, Restricted_Ada_Task_Control_Block is not initialized
539         implicitly.
540
541 2010-09-10  Thomas Quinot  <quinot@adacore.com>
542
543         * s-fileio.adb, a-dirval.adb: Minor reformatting.
544
545 2010-09-10  Emmanuel Briot  <briot@adacore.com>
546
547         * prj-util.adb (Executable_Of): Fix CE when the project does not
548         contain a Builder package.
549
550 2010-09-10  Vincent Celier  <celier@adacore.com>
551
552         * prj-ext.adb (Initialize_Project_Path): Add <prefix>/lib/gpr/<target>
553         to the project path, if Prefix and Target_Name are defined.
554         * prj-tree.ads (Project_Node_Tree_Data): New component Target_Name
555
556 2010-09-10  Ed Schonberg  <schonberg@adacore.com>
557
558         * checks.adb (Ensure_Valid): If the expression is a boolean expression
559         or short-circuit operation, do no emit a validity check: only the
560         elementary operands of the expression need checking.
561
562 2010-09-10  Ben Brosgol  <brosgol@adacore.com>
563
564         * gnat_rm.texi: Document Short_Descriptors.
565
566 2010-09-10  Arnaud Charlet  <charlet@adacore.com>
567
568         * s-taprop-linux.adb, s-taskin.ads (Task_Alternate_Stack): Default
569         initialize to Null_Address.
570         (Enter_Task): Do not set up an alternate stack for foreign threads.
571
572 2010-09-10  Robert Dewar  <dewar@adacore.com>
573
574         * opt.adb (Short_Descriptors): New flag
575         (Short_Descriptors_Config): New flag
576         * opt.ads (Short_Descriptors): New flag
577         (Short_Descriptors_Config): New flag
578         * par-prag.adb: Add dummy entry for Short_Descriptors pragma
579         * sem_prag.adb (Set_Mechanism_Value): Deal with Short_Descriptors pragma
580         (Analyze_Pragma): Implement Short_Descriptors pragma
581         * snames.ads-tmpl: Add entry for Short_Descriptors pragma
582
583 2010-09-10  Emmanuel Briot  <briot@adacore.com>
584
585         * prj-util.adb, prj-util.ads (Executable_Of): Take into account the
586         project's Executable_Suffix.
587
588 2010-09-10  Robert Dewar  <dewar@adacore.com>
589
590         * g-pehage.ads: Minor reformatting
591
592         * gnat_ugn.texi: Clarifying comment on -gnatyc
593         * exp_ch6.adb (Expand_N_Subprogram_Body): Reset Is_Pure if limited
594         arguments.
595
596 2010-09-10  Tristan Gingold  <gingold@adacore.com>
597
598         * Make-generated.in (gnat.hlp): New rule.
599
600 2010-09-10  Emmanuel Briot  <briot@adacore.com>
601
602         * prj-util.adb, prj-util.ads (Executable_Of): New parameter
603         Include_Suffix.
604
605 2010-09-10  Robert Dewar  <dewar@adacore.com>
606
607         * einfo.adb: Minor code cleanup: Add assertion to
608         Set_Corresponding_Protected_Entry.
609
610 2010-09-10  Bob Duff  <duff@adacore.com>
611
612         * g-pehage.ads, g-pehage.adb (Produce): Add a new flag to allow sending
613         the output to standard output.
614
615 2010-09-09  Vincent Celier  <celier@adacore.com>
616
617         * gnat_ugn.texi: Add documentation for new gnatmake switch
618         --create-map-file.
619         * make.adb (Map_File): New global variable to store the value of switch
620         --create-map-file.
621         (Gnatmake): Add switch -M to gnatlink if buider switch --create-map-file
622         has been specified.
623         (Scan_Make_Arg): Recognize switch --create-map-file
624         * makeutl.ads (Create_Map_File_Switch): New constant string for new
625         gnatmake and gprbuild switch --create-map-file.
626
627 2010-09-09  Robert Dewar  <dewar@adacore.com>
628
629         * sinput-p.ads: Minor comment update.
630
631 2010-09-09  Arnaud Charlet  <charlet@adacore.com>
632
633         * s-tpobop.adb, s-taenca.adb (Wait_For_Completion_With_Timeout): Reset
634         Entry_Call.State if needed so that the call is marked as cancelled by
635         Check_Pending_Actions_For_Entry_Call.
636         (Timed_Protected_Entry_Call): Adjust calls to Defer/Under_Abort, since
637         this procedure may be called from a controlled operation
638         (Initialize/Finalize).
639
640 2010-09-09  Vadim Godunko  <godunko@adacore.com>
641
642         * impunit.adb: Correct spelling of package's name in the comment.
643
644 2010-09-09  Robert Dewar  <dewar@adacore.com>
645
646         * gnatcmd.adb, gnatlink.adb, sem_ch12.adb, sem_eval.adb, sinput-p.adb:
647         Minor reformatting
648
649 2010-09-09  Robert Dewar  <dewar@adacore.com>
650
651         * impunit.adb: Add entry for a-izteio.
652         * checks.adb: Add comment.
653         * debug.adb, exp_disp.adb: Minor reformatting.
654         * exp_dbug.ads: Minor reformatting throughout (pack block comments).
655
656 2010-09-09  Ed Schonberg  <schonberg@adacore.com>
657
658         * sem_eval.adb (Is_Same_Value): Two occurrences of the same
659         discriminant cannot be assumed to be the same value because they may
660         refer to bounds of a component of two different instances of a
661         discriminated type.
662
663 2010-09-09  Gary Dismukes  <dismukes@adacore.com>
664
665         * checks.adb (Apply_Arithmetic_Overflow_Check): When converting the
666         operands of an operator to the type of an enclosing conversion, rewrite
667         the operator so the conversion can't be flagged as redundant.
668         Remove useless assignments to Typ and Rtyp.
669
670 2010-09-09  Eric Botcazou  <ebotcazou@adacore.com>
671
672         * gnat_ugn.texi: Fix another long line.
673
674 2010-09-09  Bob Duff  <duff@adacore.com>
675
676         * sem_warn.adb (Output_Reference_Error): Don't warn for renames read
677         but never assigned.
678
679 2010-09-09  Matthew Heaney  <heaney@adacore.com>
680
681         * a-convec.adb, a-coinve.adb (Clear, Delete, Delete_Last, Finalize,
682         Merge, Insert, Insert_Space, Move, Reserve_Capacity, Generic_Sorting,
683         Replace_Element, Reverse_Elements, Swap): Change exception message to
684         correctly indicate kind of tampering (cursor or element).
685         * a-cdlili.adb, a-cidlli.adb (Clear, Delete, Delete_First, Delete_Last,
686         Merge, Generic_Sorting, Insert, Move, Reverse_Elements, Splice,
687         Swap_Links, Replace_Element, Swap): Ditto.
688         * a-coorse.adb, a-ciorse.adb (Include, Replace, Replace_Element): Ditto
689         * a-coorma.adb, a-ciorma.adb (Include, Replace, Replace_Element): Ditto
690         * a-coormu.adb, a-ciormu.adb (Replace_Element): Ditto
691         * a-chtgke.adb (Delete_Key_Sans_Free, Generic_Conditional_Insert,
692         Generic_Replace_Element): Ditto
693         * a-chtgop.adb (Clear, Move, Reserve_Capacity): Ditto
694         * a-cohama.adb, a-cihama.adb (Delete, Include, Replace,
695         Replace_Element): Ditto.
696         * a-cohase.adb, a-cihase.adb (Delete, Difference, Intersection,
697         Symmetric_Difference, Union, Include, Replace): Ditto
698
699 2010-09-09  Ed Schonberg  <schonberg@adacore.com>
700
701         * sprint.adb (Write_Id): If the parent node is an expanded name, check
702         that its entity_or_associated_node is an entity before writing it out.
703         * exp_disp.adb (Make_Tags); if a type is declared in C++ and has no
704         constructors, there is no need for a dispatch table pointer because the
705         table is fully inherited from the C++ code.
706
707 2010-09-09  Thomas Quinot  <quinot@adacore.com>
708
709         * projects.texi: Fix wrong identifiers on package end lines in project
710         files examples.
711         * exp_ch6.adb: Minor reformatting.
712
713 2010-09-09  Tristan Gingold  <gingold@adacore.com>
714
715         * gnatcmd.adb, vms_conv.ads: Extract Command_Type.
716
717 2010-09-09  Eric Botcazou  <ebotcazou@adacore.com>
718
719         * gnat_ugn.texi: Fix description of -O3 optimization level.
720
721 2010-09-09  Yannick Moy  <moy@adacore.com>
722
723         * a-cihama.adb, a-cohama.adb: Fix comments.
724
725 2010-09-09  Arnaud Charlet  <charlet@adacore.com>
726
727         * i-cexten.ads: Add comments.
728         (Signed_128): New type, used by some C bindings.
729         * debug.adb: Update comment.
730
731 2010-09-09  Sergey Rybin  <rybin@adacore.com>
732
733         * gnat_ugn.texi: For ASIS tools (gnatpp, gnatcheck, gnatelim,
734         gnatmetric and gnatstub) add a note that '-gnat05' should be used if
735         the tool should process Ada 2005 sources.
736
737 2010-09-09  Ed Schonberg  <schonberg@adacore.com>
738
739         * sem_ch12.adb (Remove_Parent): If the scope containing the child
740         instance is a block, examine the enclosing scope to determine if it is
741         a parent instance.
742
743 2010-09-09  Doug Rupp  <rupp@adacore.com>
744
745         * sem_prag.adb (pragma Ident): Pass --identification= vice 
746         IDENTIFICATION=
747         * gnatlink.adb (Linker_Options): Look for --identification= vice 
748         IDENTIFICATION=
749
750 2010-09-09  Gary Dismukes  <dismukes@adacore.com>
751
752         * exp_attr.adb (Expand_N_Attribute_Reference, case Attribute_Old): When
753         inserting and analyzing the object declaration for the temporary object
754         created to hold a 'Old value, push the scope for the subprogram where
755         the object is inserted, so that its Scope (and that of related objects)
756         will be set properly.
757
758 2010-09-09  Vincent Celier  <celier@adacore.com>
759
760         * prj.adb (Get_Object_Directory): Return object directory display name
761         * adaint.c (__gnat_get_file_names_case_sensitive): When environment
762         variable GNAT_FILE_NAME_CASE_SENSITIVE has a value of "0" or "1",
763         return this value, otherwise return the default for the platform.
764
765 2010-09-09  Arnaud Charlet  <charlet@adacore.com>
766
767         * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Update
768         dependencies. Remove handling of gnatlbr.
769         Do not remove s-stratt-xdr for the run-time when installing.
770
771 2010-09-09  Robert Dewar  <dewar@adacore.com>
772
773         * sem_attr.adb: Minor reformatting.
774
775 2010-09-09  Thomas Quinot  <quinot@adacore.com>
776
777         * socket.c (__gnat_socket_ioctl): On Darwin, the req parameter is an
778         unsigned long, not an int.
779
780 2010-09-09  Vincent Celier  <celier@adacore.com>
781
782         * make.adb, mlib-prj.adb, prj.adb, prj-nmsc.adb, mlib-tgt.adb,
783         prj-conf.adb, prj-env.adb: Use Display_Name instead of Name whenever
784         we are not checking for equality of path or file names.
785
786 2010-09-09  Ed Schonberg  <schonberg@adacore.com>
787
788         * exp_util.adb (Remove_Side_Effects): If the expression is a packed
789         array reference, reset the Analyzed flag so that it is properly
790         expanded when the resulting object declaration is analyzed.
791
792 2010-09-09  Vincent Celier  <celier@adacore.com>
793
794         * sinput-p.adb (Source_File_Is_Subunit): Return False if X is
795         No_Source_File.
796
797 2010-09-09  Ramon Fernandez  <fernandez@adacore.com>
798
799         * sysdep.c: The wrSbc8548 BSP in MILS doesn't know anything about the
800         VX_SPE_TASK option, so disable it.
801
802 2010-09-09  Ed Schonberg  <schonberg@adacore.com>
803
804         * sem.adb (Walk_Library_Items): Traverse context of subunits of the
805         main unit.
806         (Is_Subunit_Of_Main): Handle null nodes properly.
807
808 2010-09-09  Robert Dewar  <dewar@adacore.com>
809
810         * par-ch2.adb: Update comments.
811
812 2010-09-09  Ben Brosgol  <brosgol@adacore.com>
813
814         * gnat_rm.texi: Minor wordsmithing of section on pragma Ordered.
815
816 2010-09-09  Arnaud Charlet  <charlet@adacore.com>
817
818         * par-ch2.adb (Scan_Pragma_Argument_Association): In CodePeer mode,
819         do not generate an error for compatibility with legacy code.
820         ignored when generating SCIL.
821         * sem_attr.adb (Resolve_Attribute): Ignore AI-229 in CodePeer mode.
822
823 2010-09-09  Thomas Quinot  <quinot@adacore.com>
824
825         * s-strxdr.adb, gnat_rm.texi, s-stratt-xdr.adb, s-stratt.ads: Rename
826         s-strxdr.adb to s-stratt-xdr.adb
827
828 2010-09-09  Robert Dewar  <dewar@adacore.com>
829
830         * ali-util.adb (Obsolescent_Check): Removed.
831         * gprep.adb (Obsolescent_Check): Removed.
832         Remove Obsolescent_Check parameter in Scng instantiation
833         * prj-err.adb (Obsolescent_Check): Removed.
834         * prj-err.ads (Obsolescent_Check): Removed.
835         Remove Obsolescent_Check parameter in Scng instantiation
836         * scans.ads (Based_Literal_Uses_Colon): New flag
837         * scn.adb (Obsolscent_Check_Flag): Removed
838         (Obsolscent_Check): Removed
839         (Set_Obsolescent_Check): Removed
840         (Post_Scan): Add handling for obsolescent features
841         * scn.ads (Obsolscent_Check): Removed
842         (Set_Obsolescent_Check): Removed
843         (Post_Scan): Can no longer be inlined
844         Remove Obsolescent_Check from instantiation of Scng
845         * scng.adb (Nlit): Set Based_Literal_Uses_Colon
846         (Nlit): Remove handling of obsolescent check
847         (Scan, case '%'): Remove handling of obsolescent check
848         (Scan, case '|'): Call Post_Scan
849         (Scan, case '!'): Remove handling of obsolescent check, call Post_Scan
850         * scng.ads Remove Obsolescent_Check argument from Scng generic
851         (Post_Scan): Now called for Tok_Vertical_Bar
852         * sinput-l.adb: Remove calls to Set_Obsolescent_Check
853
854 2010-09-09  Doug Rupp  <rupp@adacore.com>
855
856         * gnatlbr.adb: Removed.
857         * gnat_rm.texi, ug_words, gnat_ugn.texi: Remove mention of gnatlbr.
858
859 2010-09-09  Robert Dewar  <dewar@adacore.com>
860
861         * sem_res.adb (Resolve_Type_Conversion): Catch more cases of redundant
862         conversions.
863
864 2010-09-09  Vincent Celier  <celier@adacore.com>
865
866         * gnatlbr.adb: Remove redundant conversions.
867
868 2010-09-09  Vincent Celier  <celier@adacore.com>
869
870         * prj-proc.adb: Minor comment spelling error fix.
871         * osint.ads (Env_Vars_Case_Sensitive): Use function
872         Get_Env_Vars_Case_Sensitive, not Get_File_Names_Case_Sensitive to
873         compute value.
874
875 2010-09-09  Ed Schonberg  <schonberg@adacore.com>
876
877         * sem_res.adb (Resolve_Equality_Op): Implement Ada2012 rule for
878         resolution of conditional expressions whose dependent expressions are
879         anonymous access types.
880
881 2010-09-09  Robert Dewar  <dewar@adacore.com>
882
883         * a-ststio.adb: Minor code reorganization.
884         * s-direio.adb, prj.adb, prj-nmsc.adb, sem_type.adb: Remove redundant
885         conversion.
886         * types.ads: Minor reformatting.
887         * binde.adb, vms_conv.adb, gnatls.adb, s-strxdr.adb, uintp.adb: Remove
888         redundant conversions.
889         * output.adb: Minor reformatting.
890         * sem_ch8.adb (Find_Type): Test for redundant base applies to user
891         types.
892         * opt.ads: Add pragma Ordered for Verbosity_Level.
893         * prj.ads: Add pragma Ordered for type Verbosity.
894
895 2010-09-09  Vincent Celier  <celier@adacore.com>
896
897         * osint.adb (Canonical_Case_File_Name): Use procedure To_Lower in
898         System.Case_Util
899         (Canonical_Case_Env_Var_Name): Ditto
900
901 2010-09-09  Bob Duff  <duff@adacore.com>
902
903         * g-pehage.adb (Allocate): Initialize the allocated elements of IT.
904
905 2010-09-09  Robert Dewar  <dewar@adacore.com>
906
907         * cstand.adb: Mark Boolean and Character types as Ordered
908         * einfo.adb (Has_Pragma_Ordered): New flag
909         * einfo.ads (Has_Pragma_Ordered): New flag
910         * g-calend.ads: Mark Day_Name as Ordered
911         * opt.ads: Mark Ada_Version_Type as Ordered
912         (Warn_On_Unordered_Enumeration_Type): New flag
913         * par-prag.adb: Add procdessing for pragma Ordered
914         * s-ficobl.ads (Read_File_Mode): New subtype
915         * s-fileio.adb: Use Read_File_Mode instead of explicit ranges
916         * s-taskin.ads: Mark Entry_Call_State as ordered
917         * sem_ch3.adb (Build_Derived_Enumeration_Type): Inherit
918         Has_Pragma_Ordered.
919         * sem_ch6.ads: Mark Conformance_Type as Ordered
920         * sem_prag.adb: Implement pragma Ordered
921         * sem_res.adb (Bad_Unordered_Enumeration_Reference): New function
922         (Resolve_Comparison_Op): Diagnose unordered comparison
923         (Resolve_Range): Diagnose unordered range
924         * sem_warn.adb (Warn_On_Unordered_Enumeration_Type): New flag (from
925         -gnatw.u/U)
926         * snames.ads-tmpl: Add entry for pragma Ordered
927         * style.ads (Check_Enumeration_Subrange): Removed
928         * styleg.adb (Check_Enumeration_Subrange): Removed
929         * styleg.ads (Check_Enumeration_Subrange): Removed
930         * stylesw.adb: Remove handling of -gnatyE switch
931         * stylesw.ads: (Style_Check_Enumeration_Subranges): Removed
932         * vms_data.ads: Remove -gnatyE entries
933         Add -gnatw.u entries
934         * ug_words: Entries for -gnatw.u and -gnatw.U
935         * gnat_ugn.texi: Document -gnatw.u/-gnatw.U switches
936         * gnat_rm.texi: Document pragma Ordered.
937         * s-tasren.adb: Avoid unnecessary comparison on unordered enumeration.
938         * s-tpobop.adb: Remove comparison on unordered enumeration type.
939
940 2010-09-09  Vincent Celier  <celier@adacore.com>
941
942         * adaint.c: New function __gnat_get_env_vars_case_sensitive, returns 0
943         for VMS and Windows, and 1 for all other platforms.
944         * adaint.h: New function __gnat_get_env_vars_case_sensitive
945         * osint.ads, osint.adb (Canonical_Case_Env_Var_Name): New procedure.
946         * prj-ext.adb (Add): Call Canonical_Case_Env_Var_Name instead of
947         Canonical_Case_File_Name, as we are dealing with environment variables,
948         not files.
949
950 2010-09-09  Robert Dewar  <dewar@adacore.com>
951
952         * sem_util.adb: Minor reformatting
953
954 2010-09-09  Vincent Celier  <celier@adacore.com>
955
956         * vms_data.ads: Add documentation for S_Make_Single.
957
958 2010-09-09  Ed Schonberg  <schonberg@adacore.com>
959
960         * sem_util.adb (Same_Object): include formal parameters.
961
962 2010-09-09  Vincent Celier  <celier@adacore.com>
963
964         * make.adb (Queue): New package implementing a new impementation of the
965         queue, taking into account the new switch --single-compile-per-obj-dir.
966         * makeutl.ads (Single_Compile_Per_Obj_Dir_Switch): New constant String
967         for gnatmake and gprbuild new switch --single-compile-per-obj-dir.
968         * opt.ads (One_Compilation_Per_Obj_Dir): New Boolean flag, defauted to
969         False.
970         * switch-m.adb (Scan_Make_Switches): Take into account new gnatmake
971         switch --single-compile-per-obj-dir.
972         * vms_data.ads: Add qualifier SINGLE_COMPILE_PER_OBJ_DIR for gnatmake
973         switch --single-compile-per-obj-dir.
974         * gnat_ugn.texi: Add documentation for new gnatmake switch
975         --single-compile-per-obj-dir.
976
977 2010-09-09  Ed Schonberg  <schonberg@adacore.com>
978
979         * einfo.adb, einfo.ads: Clarify use of Corresponding_Protected_Entry.
980
981 2010-09-09  Javier Miranda  <miranda@adacore.com>
982
983         * sem_ch3.adb (Is_Progenitor): Relocated to sem_type.
984         (Replace_Type): Code cleanup.
985         * sem_type.ads, sem_type.adb (Is_Progenitor): Relocated from sem_ch3
986
987 2010-09-09  Thomas Quinot  <quinot@adacore.com>
988
989         * exp_ch8.adb: Minor reformatting.
990
991 2010-09-09  Ed Schonberg  <schonberg@adacore.com>
992
993         * exp_ch9.adb, einfo.adb, einfo.ads: New attribute
994         Corresponding_Protected_Entry.
995
996 2010-09-09  Ed Schonberg  <schonberg@adacore.com>
997
998         * exp_ch3.adb (Build_Untagged_Equality): Do not set alias of implicit
999         inequality, it is always rewritten as the negation of the corresponding
1000         equality operation.
1001         * exp_ch8.adb (Expand_N_Subprogram_Renaming): If the subprogram renames
1002         the predefined equality of an untagged record, create a body at the
1003         point of the renaming, to capture the current meaning of equality for
1004         the type.
1005
1006 2010-09-09  Robert Dewar  <dewar@adacore.com>
1007
1008         * sem.adb, sem_warn.adb: Minor reformatting.
1009
1010 2010-09-09  Ed Schonberg  <schonberg@adacore.com>
1011
1012         * sem_ch6.adb: Improve error message on untagged equality.
1013         * sem.adb (Semantics): Include subprogram bodies that act as spec.
1014
1015 2010-09-09  Javier Miranda  <miranda@adacore.com>
1016
1017         * sem_ch13.adb, exp_ch13.adb: Undo previous change, unneeded.
1018
1019 2010-09-09  Robert Dewar  <dewar@adacore.com>
1020
1021         * sem_ch13.adb, sem_ch6.adb, exp_ch3.adb: Minor reformatting.
1022
1023 2010-09-09  Robert Dewar  <dewar@adacore.com>
1024
1025         * einfo.adb (Is_Aggregate_Type): New function.
1026         * einfo.ads (Aggregate_Kind): New enumeration subtype
1027         (Is_Aggregate_Type): New function.
1028         * sem_type.adb (Is_Array_Class_Record_Type): Removed, replaced by
1029         Is_Aggregate_Typea.
1030
1031 2010-09-09  Robert Dewar  <dewar@adacore.com>
1032
1033         * exp_ch11.adb, frontend.adb, sem_attr.adb, sem_ch10.adb, sem_ch3.adb,
1034         sem_ch4.adb, sem_ch9.adb, sem_res.adb: Use Restriction_Check_Needed
1035         where appropriate.
1036         * restrict.ads, restrict.adb: Ditto.
1037         (Restriction_Check_Needed): New function
1038
1039 2010-09-09  Ed Schonberg  <schonberg@adacore.com>
1040
1041         * exp_ch9.ads (Find_Master_Scope): New function, extracted from
1042         Build_Master_Entity, to find the proper scope for the master entity of
1043         a type that may contain tasks, in the presence of transient scopes.
1044         * exp_ch9.adb (Build_Master_Entity) Use new function.
1045         * exp_ch3.adb (Build_Class_Wide_Master): ditto.
1046
1047 2010-09-09  Vincent Celier  <celier@adacore.com>
1048
1049         * prj-attr.adb: Add new attributes Leading_Library_Options and
1050         Linker'Leading_Switches.
1051         * snames.ads-tmpl: Add new standard names Leading_Library_Options and
1052         Leading_Switches.
1053
1054 2010-09-09  Javier Miranda  <miranda@adacore.com>
1055
1056         * sem_ch3.adb (Derive_Subprogram): The code that checks if a
1057         dispatching primitive covers some interface primitive is incomplete.
1058         Replace such code by the invocation of a new subprogram that provides
1059         this functionality.
1060         * sem_ch6.ads (Is_Interface_Conformant): Add missing documentation.
1061         * sem_ch6.adb (Check_Missing_Return): Minor reformating
1062         (Check_Convention): Complete if-statement conditition when reporting
1063         errors (to avoid assertion failure).
1064         * sem_ch13.adb (Make_Null_Procedure_Specs): This routine was previously
1065         located in exp_ch3. Relocated inside Analyze_Freeze_Entity.
1066         (Analyze_Freeze_Entity): Invoke routine that adds the spec of non
1067         overridden null interface primitives.
1068         * sem_type.adb (Is_Ancestor): If the parent of the partial view of a
1069         private type is an interface then use the parent of its full view to
1070         climb to its ancestor type.
1071         * sem_disp.ads, sem_disp.adb (Covers_Some_Interface): New subprogram.
1072         (Check_Dispatching_Operation): Extend assertion to handle wrappers of
1073         null interface primitives.
1074         (Is_Null_Interface_Primitive): New subprogram.
1075         * exp_ch3.adb (Make_Null_Procedure_Specs): Removed.
1076         (Expand_Freeze_Record_Type): Do not generate specs of null interface
1077         subprograms because they are now generated by Analyze_Freeze_Entity.
1078
1079 2010-09-09  Robert Dewar  <dewar@adacore.com>
1080
1081         * a-calfor.adb, sem_ch3.adb: Minor reformatting.
1082
1083 2010-09-09  Robert Dewar  <dewar@adacore.com>
1084
1085         * bindgen.adb (Gen_Restrictions_Ada): Avoid explicit enumeration ranges
1086         (Gen_Restrictions_C): Avoid explicit enumeration ranges
1087         (Set_String_Replace): New procedure
1088         * casing.ads (Known_Casing): New subtype declaration
1089         * prj-attr.ads (All_Case_Insensitive_Associative_Array): New subtype
1090         declaration
1091         * prj-dect.adb (Parse_Attribute_Declaration): Avoid enumeration range
1092         * prj-nmsc.adb (Check_Naming): Avoid unnecessary enumeration range
1093         * prj-strt.adb (Attribute_Reference): Avoid enumeration range test
1094         * prj.adb (Known_Casing): Moved to Casing spec (avoid enum range)
1095         * sem_ch13.adb (Adjust_Record_For_Reverse_Bit_Order): Avoid enumeration
1096         ranges
1097         * sem_res.adb (Resolve_Range): Check for enumeration subrange style rule
1098         * sem_type.adb (Is_Array_Class_Record_Type): New.
1099         * style.ads (Check_Enumeration_Subrange): New procedure
1100         * styleg.adb (Check_Enumeration_Subrange): New procedure
1101         * styleg.ads (Check_Enumeration_Subrange): New procedure
1102         * stylesw.adb Add handling for Style_Check_Enumeration_Subranges
1103         * stylesw.ads (Style_Check_Enumeration_Subranges): New flag
1104         * usage.adb: Add line for -gnatyE
1105         * vms_data.ads: Add entries for [NO]ENUMERATION_RANGES
1106         Add missing entry for NOBOOLEAN_OPERATORS
1107         * gnat_ugn.texi: Add documentation for -gnatyE
1108
1109 2010-09-09  Robert Dewar  <dewar@adacore.com>
1110
1111         * namet.adb (Initialize): Is now a dummy procedure
1112         (Reinitialize): New procedure
1113         Call Reinitialize from package initialization
1114         * namet.ads (Initialize): Is now a dummy procedure
1115         (Reinitialize): New procedure
1116         * clean.adb, gnat1drv.adb, gnatbind.adb, gnatcmd.adb, gnatlink.adb,
1117         gnatls.adb, gprep.adb, make.adb, prj-makr.adb: Remove obsolete call to
1118         Namet.Initialize.
1119
1120 2010-09-09  Bob Duff  <duff@adacore.com>
1121
1122         * sem_elab.adb, s-os_lib.ads: Minor comment fixes.
1123
1124 2010-09-09  Robert Dewar  <dewar@adacore.com>
1125
1126         * s-bitops.adb (Raise_Error): Add exception message
1127
1128 2010-09-09  Robert Dewar  <dewar@adacore.com>
1129
1130         * par-ch5.adb (Test_Statement_Required): Deal with Ada 2012 allowing no
1131         null statement after label.
1132         * sinfo.ads: Minor comment updates.
1133
1134 2010-09-09  Robert Dewar  <dewar@adacore.com>
1135
1136         * nlists.ads, nlists.adb (In_Same_List): New function.
1137         Use Node_Or_Entity_Id where appropriate.
1138         * par-labl.adb, sem_ch6.adb, sem_type.adb: Use In_Same_List.
1139
1140 2010-09-09  Robert Dewar  <dewar@adacore.com>
1141
1142         * restrict.ads, restrict.adb (Check_Wide_Character_Restriction): New
1143         procedure.
1144         * sem_ch3.adb: Use Check_Wide_Character_Restriction
1145         (Enumeration_Type_Declaration): Check violation of No_Wide_Characters
1146         * sem_ch8.adb (Find_Direct_Name): Check violation of No_Wide_Characters
1147         (Find_Expanded_Name): Check violation of No_Wide_Characters
1148
1149 2010-09-09  Robert Dewar  <dewar@adacore.com>
1150
1151         * par-ch5.adb: Minor reformatting.
1152
1153 2010-09-09  Robert Dewar  <dewar@adacore.com>
1154
1155         * prj-env.adb: Minor code reorganization.
1156         * par-ch3.adb: Minor reformatting.
1157         * gcc-interface/Make-lang.in: Update dependencies.
1158
1159 2010-09-09  Ed Schonberg  <schonberg@adacore.com>
1160
1161         * exp_ch9.adb (Build_Activation_Chain_Entity): The construct enclosing
1162         a task declaration can be an entry body.
1163
1164 2010-09-09  Javier Miranda  <miranda@adacore.com>
1165
1166         * exp_disp.adb (Make_DT): Decorate as "static" variables containing
1167         tags of library level tagged types.
1168         (Make_Tags): Disable backend optimizations about aliasing for
1169         declarations of access to dispatch tables.
1170
1171 2010-09-09  Ed Schonberg  <schonberg@adacore.com>
1172
1173         * sem_ch12.adb (Reset_Entity): If the entity is an itype created as a
1174         subtype for a null-excluding access type, recover the original
1175         subtype_mark to get the proper visibility on the original name.
1176
1177 2010-09-09  Ed Schonberg  <schonberg@adacore.com>
1178
1179         * exp_ch3.adb (Build_Untagged_Equality): For Ada2012, new procedure to
1180         create the primitive equality operation for an untagged record. The
1181         operation is the predefined equality if no record component has a
1182         user-defined equality, or if there is a user-defined equality for the
1183         type as a whole, or when the type is derived and it has an inherited
1184         equality. Otherwise the body of the operations is built as for tagged
1185         types.
1186         (Expand_Freeze_Record_Type): Call Build_Untagged_Equality when needed.
1187         (Make_Eq_Body): New function to create the expanded body of the equality
1188         operation for tagged and untagged records.  In both cases the operation
1189         composes, and the primitive operation of each record component is used
1190         to generate the equality function for the type.
1191         * exp_ch4.adb (Expand_Composite_Equality): In Ada2012, if a component
1192         has an abstract equality defined, replace its call with a
1193         Raise_Program_Error.
1194         * sem_ch6.adb (New_Overloaded_Entity): if Ada2012, verify that a
1195         user-defined equality operator for an untagged record type does not
1196         happen after type is frozen, and appears in the visible part if partial
1197         view of type is not limited.
1198
1199 2010-09-09  Tristan Gingold  <gingold@adacore.com>
1200
1201         * gnatlbr.adb: Make Create_Directory more portable: use __gnat_mkdir.
1202
1203 2010-09-09  Bob Duff  <duff@adacore.com>
1204
1205         * gnat_ugn.texi: Remove incorrect statement about -E being the default.
1206
1207 2010-09-09  Pascal Obry  <obry@adacore.com>
1208
1209         * gnat_ugn.texi: Update doc on windows related topics.
1210
1211 2010-09-09  Geert Bosch  <bosch@adacore.com>
1212
1213         * s-fatgen.adb: Update comments.
1214
1215 2010-09-09  Robert Dewar  <dewar@adacore.com>
1216
1217         * par-ch4.adb (Box_Error): New procedure.
1218
1219 2010-09-09  Thomas Quinot  <quinot@adacore.com>
1220
1221         * sem.adb: Minor reformatting.
1222
1223 2010-09-09  Pascal Obry  <obry@adacore.com>
1224
1225         * prj-env.adb: Style fix, use /and then/ and /or else/.
1226         * gnat_ugn.texi: Fix typos.
1227
1228 2010-09-03  Joseph Myers  <joseph@codesourcery.com>
1229
1230         PR ada/45499
1231         * gcc-interface/misc.c (gnat_init_options): Allow options with
1232         empty canonical form.  Generate a single save_argv element from -I
1233         options.
1234
1235 2010-08-30  Eric Botcazou  <ebotcazou@adacore.com>
1236
1237         * gcc-interface/utils.c (gnat_pushdecl): Remove test for PARM_DECLs.
1238         Attach fake PARM_DECLs to the topmost block of the function.
1239
1240 2010-08-30  Eric Botcazou  <ebotcazou@adacore.com>
1241
1242         * gcc-interface/trans.c (call_to_gnu): Also force the return slot opt
1243         for the call to a function whose return type was unconstrained.
1244
1245 2010-08-30  Olivier Hainque  <hainque@adacore.com>
1246
1247         * gcc-interface/decl.c (FOREIGN_FORCE_REALIGN_STACK): New macro,
1248         replacement for FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN.
1249         (gnat_to_gnu_entity) <case ..., E_Procedure>: Use it.
1250
1251 2010-08-21  Eric Botcazou  <ebotcazou@adacore.com>
1252
1253         * tracebak.c: Fix typo in comment.
1254
1255 2010-08-20  Nathan Froyd  <froydnj@codesourcery.com>
1256
1257         * gcc-interface/decl.c: Use FOR_EACH_VEC_ELT.
1258         * gcc-interface/trans.c: Likewise.
1259         * gcc-interface/utils.c: Likewise.
1260
1261 2010-08-18  Eric Botcazou  <ebotcazou@adacore.com>
1262
1263         * tracebak.c (i386): Use GCC unwinder on Linux with GCC > 4.5.
1264
1265 2010-08-10  Robert Dewar  <dewar@adacore.com>
1266
1267         * sem_ch8.adb, sem_ch8.ads: Change name Write_Scopes to ws.
1268         * sem_util.adb: Minor reformatting.
1269
1270 2010-08-10  Javier Miranda  <miranda@adacore.com>
1271
1272         * sem_aggr.adb (Resolve_Extension_Aggregate): Warn on the use of C++
1273         constructors that leave the object partially initialized.
1274         * exp_atag.ads, exp_atags.adb (Build_Inherit_CPP_Prims): New subprogram
1275         that copies from parent of Typ the dispatch table slots of inherited
1276         C++ primitives. It handles primary and secondary dispatch tables.
1277         * einfo.adb (Related_Type): Moved from Node26 to Node27. Required to
1278         use this attribute with E_Variable entities.
1279         (Set_Is_Tag): Relax assertion to allow its use with variables that
1280         store tags.
1281         (Set_Related_Type): Relax assertion to allow its use with variables
1282         that store the tag of a C++ class.
1283         (Write_26_Field_Name): Remove Related_Type.
1284         (Write_27_Field_Name): Add Related_Type.
1285         * einfo.ads (Related_Type): Moved from Node26 to Node27. Available also
1286         with E_Variable entities.
1287         * sem_prag.adb (CPP_Constructor): Warn on duplicated occurrence of this
1288         pragma.
1289         * sem_util.adb (Search_Tag): Add missing support for CPP types.
1290         (Enclosing_CPP_Parent): New subprogram.
1291         (Has_Suffix): New subprogram.
1292         * sem_util.ads (Enclosing_CPP_Parent): New subprogram that returns the
1293         closest ancestor of a type that is a C++ type.
1294         (Has_Suffix): New subprogram. Used in assertions to check the suffix of
1295         internal entities.
1296         * sem_attr.adb (Analyze_Access_Attribute): Check wrong use of current
1297         instance in derivations of C++ types.
1298         * exp_tss.adb (CPP_Init_Proc): New subprogram.
1299         (Is_CPP_Init_Proc): New subprogram.
1300         (Set_TSS): Handle new C++ init routines.
1301         * exp_tss.ads (TSS_CPP_Init): New TSS name. For initialization of C++
1302         dispatch tables.
1303         (CPP_Init_Proc): New subprogram.
1304         (Is_CPP_Init_Proc): New subprogram.
1305         * exp_disp.adb (CPP_Num_Prims): New subprogram.
1306         (Has_CPP_Constructors): New subprogram.
1307         (Make_Secondary_DT, Make_DT): For derivations of CPP types, do not
1308         initialize slots located in the C++ part of the dispatch table.
1309         (Make_Tags): For CPP types declare variables used by the IP routine to
1310         store the C++ tag values after the first invocation of the C++
1311         constructor.
1312         (Build_CPP_Init_DT): New subprogram.
1313         (Set_CPP_Constructors): New implementation that builds an IP for each
1314         CPP constructor. These IP are wrappers of the C++ constructors that,
1315         after the first invocation of the constructor, read the C++ tags from
1316         the object and save them locally. These copies of the C++ tags are used
1317         by the IC routines to initialize tables of Ada derivations of CPP types.
1318         (Write_DT): Indicate what primitives are imported from C++
1319         * exp_disp.ads (CPP_Num_Prims): New subprogram.
1320         (Has_CPP_Constructors): New subprogram.
1321         * exp_aggr.adb (Build_Record_Aggr_Code): For derivations of C++ types
1322         invoke the IC routine to inherit the slots of the parents.
1323         * sem_ch13.adb (Analyze_Freeze_Entity): Add new warnings on CPP types.
1324         * exp_ch3.adb (Is_Variable_Size_Array): New subprogram.
1325         (Is_Variable_Size_Record): Factorize code calling
1326         Is_Variable_Size_Array.
1327         (Build_CPP_Init_Procedure): New subprogram that builds the tree
1328         corresponding to the procedure that initializes the C++ part of the
1329         dispatch table of an Ada tagged type that is a derivation of a CPP type.
1330         (Build_Init_Procedure): Adding documentation plus code reorganization to
1331         leave more clear the construction of the IP with C++ types.
1332         (Expand_Freeze_Record_Type): Delay call to Set_CPP_Constructors because
1333         it cannot be called after Make_Tags has been invoked.
1334         (Inherit_CPP_Tag): Removed.
1335         (Init_Secondary_Tags): For derivations of CPP types, warn on tags
1336         located at variable offset.
1337         * freeze.ads: Minor reformating.
1338         * sem_ch8.adb (Write_Scopes): Add pragma export. Required to have it
1339         available in gdb.
1340         * gcc-interface/Make-lang.in: Update dependencies.
1341
1342 2010-08-10  Robert Dewar  <dewar@adacore.com>
1343
1344         * a-chahan.ads: Add comments on handling of obsolescent entries.
1345         * opt.ads: Add Ada_2005 and Ada_2012 renamings for versions.
1346         * restrict.adb (Check_Obsolescent_2005_Entity): New procedure.
1347         * restrict.ads (Check_Obsolescent_2005_Entity): New procedure.
1348         * sem_attr.adb (Analyze_Access_Attribute): Call
1349         Check_Obsolescent_2005_Entity to check for access to obsolescent
1350         Ada.Characters.Handling subprogram.
1351         (Analyze_Attribute, case Class): Applying Class to untagged incomplete
1352         type is obsolescent in Ada 2005.
1353         (Analyze_Attribute, case Constrained): Better placement of flag when
1354         flagged as obsolescent feature.
1355         (Analyze_Attribute, case Storage_Size): Use with tasks is obsolescent
1356         * sem_ch10.adb (Analyze_With_Clause): With of renamings such as Text_IO
1357         is an obsolescent feature.
1358         * sem_ch11.adb (Analyze_Raise_Statement): Numeric_Error is obsolescent
1359         feature.
1360         * sem_ch8.adb (Analyze_Subprogram_Renaming): Call
1361         Check_Obsolescent_2005_Entity to check for renaming obsolete
1362         Ada.Characters.Handling subprogram.
1363         * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings): Check
1364         for obsolescent restrictions in Ada 2005.
1365         (Analyze_Pragma, case Suppress): Entity arg is obsolescent in Ada 2005
1366         (Analyze_Pragma, case Interface): Interface is obsolescent in Ada 2005
1367         * sem_res.adb (Resolve_Call): Call Check_Obsolescent_2005_Entity to
1368         check for obsolescent references to Ada.Characters.Handling subprograms
1369
1370 2010-08-10  Robert Dewar  <dewar@adacore.com>
1371
1372         * einfo.adb, einfo.ads: Fix bad -gnatdt output for incomplete type.
1373
1374 2010-08-10  Robert Dewar  <dewar@adacore.com>
1375
1376         * errout.ads: Add VMS table entries for 2005, 12, 2012 switches
1377         * par-ch4.adb: Change wording of Ada 2012 messages
1378         * vms_data.ads: Add VMS entries for /2005, /12, /2012
1379
1380 2010-08-10  Robert Dewar  <dewar@adacore.com>
1381
1382         * a-suenco.adb (Convert): Fix bug in UTF-16 to UTF-8 conversion for
1383         codes in the range 16#80#..16#7FF#.
1384         * sem_ch10.adb: Minor reformatting.
1385
1386 2010-08-10  Arnaud Charlet  <charlet@adacore.com>
1387
1388         * gnat1drv.adb (Scan_Front_End_Switches): Always perform semantics and
1389         generate ali files in CodePeer mode, so that a gnatmake -c -k will
1390         proceed further when possible
1391         * freeze.adb (Freeze_Static_Object): Fix thinko. Do not generate error
1392         messages when ignoring representation clauses (-gnatI).
1393
1394 2010-08-10  Ed Schonberg  <schonberg@adacore.com>
1395
1396         * exp_ch4.adb (Expand_N_Selected_Component): Do not attempt to
1397         constant-fold discriminant reference if the constraint is an object
1398         with non-static expression. Expression may contain volatile references
1399         in the presence of renamings.
1400
1401 2010-08-10  Vincent Celier  <celier@adacore.com>
1402
1403         * prj-proc.adb (Get_Attribute_Index): If Index is All_Other_Names,
1404         returns Index.
1405         * prj-strt.adb (Attribute_Reference): Recognize 'others' as a valid
1406         index for an associative array where it is allowed.
1407
1408 2010-08-10  Thomas Quinot  <quinot@adacore.com>
1409
1410         * exp_attr.adb: Add comments.
1411
1412 2010-08-10  Jerome Lambourg  <lambourg@adacore.com>
1413
1414         * adaint.c (__gnat_get_file_names_case_sensitive): return 0 on darwin.
1415
1416 2010-08-09  Nathan Froyd  <froydnj@codesourcery.com>
1417
1418         * gcc-interface/utils.c (gnat_poplevel): Use blocks_nreverse.
1419
1420 2010-08-09  Eric Botcazou  <ebotcazou@adacore.com>
1421
1422         * gcc-interface/utils.c (build_vms_descriptor32): Fix formatting.
1423         (build_vms_descriptor): Likewise.
1424
1425 2010-08-08  Nathan Froyd  <froydnj@codesourcery.com>
1426
1427         * gcc-interface/utils.c (make_descriptor_field): Add tree parameter.
1428         (build_vms_descriptor32): Adjust calls to it for new parameter.
1429         (build_vms_descriptor): Likewise.
1430
1431 2010-08-08  Nathan Froyd  <froydnj@codesourcery.com>
1432
1433         * gcc-interface/decl.c (rec_variant):  Declare.  Declare a VEC of it.
1434         (build_variant_list): Take and return a VEC instead of a tree.
1435         (create_variant_part_from): Take a VEC instead of a tree for
1436         variant_list.  Adjust accordingly.
1437         (gnat_to_gnu_entity): Adjust for changes to previous functions.
1438
1439 2010-08-07  Nathan Froyd  <froydnj@codesourcery.com>
1440
1441         * gcc-interface/decl.c (gnat_to_gnu_entity): Use XALLOCAVEC instead
1442         of alloca.
1443         (components_to_record): Likewise.
1444         * gcc-interface/trans.c (gnat_to_gnu): Likewise.
1445         * gcc-interface/utils.c (max_size): Likewise.
1446         (build_vms_descriptor32): Likewise.
1447         (build_vms_descriptor): Likewise.
1448
1449 2010-08-07  Nathan Froyd  <froydnj@codesourcery.com>
1450
1451         * gcc-interface/decl.c (subst_pair): Declare.  Declare a VEC of it.
1452         (build_subst_list): Return a VEC instead of a tree.
1453         (build_variant_list): Take a VEC for subst_list.  Adjust
1454         accordingly.
1455         (create_field_decl_from): Likewise.
1456         (create_variant_part_from): Likewise.
1457         (copy_and_substitute_in_size): Likewise.
1458         (gnat_to_gnu_entity): Adjust for new interface to build_subst_list.
1459         Free the built vector.
1460
1461 2010-08-06  Eric Botcazou  <ebotcazou@adacore.com>
1462
1463         * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Do not build an
1464         allocator for large imported objects.
1465
1466 2010-08-05  Robert Dewar  <dewar@adacore.com>
1467
1468         * gnat1drv.adb: Minor reformatting.
1469
1470 2010-08-05  Ed Schonberg  <schonberg@adacore.com>
1471
1472         * sem.adb (Do_Unit_And_Dependents): If some parent unit is an
1473         instantiation, process its body before the spec of the main unit,
1474         because it may contain subprograms invoked in the spec of main.
1475         * einfo.ads: Add documention of delayed freeze.
1476
1477 2010-08-05  Vincent Celier  <celier@adacore.com>
1478
1479         * prj-nmsc.adb (Process_Linker): Take into account new values for
1480         attribute Response_File_Format.
1481         * prj.ads (Response_File_Format): New enumeration values GCC_GNU,
1482         GCC_Object_List and GCC_Option_List.
1483
1484 2010-08-05  Ed Schonberg  <schonberg@adacore.com>
1485
1486         * exp_ch4.adb (Expand_N_Selected_Component): Do not constant-fold a
1487         selected component that denotes a discriminant if it is the
1488         discriminant of a component of an unconstrained record type.
1489
1490 2010-08-05  Ed Schonberg  <schonberg@adacore.com>
1491
1492         * exp_util.adb (Insert_Actions): If the action appears within a
1493         conditional expression that is already analyzed, insert action further
1494         out.
1495
1496 2010-08-05  Robert Dewar  <dewar@adacore.com>
1497
1498         * exp_ch4.adb: Minor reformatting.
1499
1500 2010-08-05  Thomas Quinot  <quinot@adacore.com>
1501
1502         * exp_ch4.adb: Minor reformatting
1503         * gnat1drv.adb: Minor reformatting.
1504         Minor code reorganization (use Nkind_In).
1505
1506 2010-08-05  Ed Schonberg  <schonberg@adacore.com>
1507
1508         * exp_util.ads, exp_util.adb (Needs_Constant_Address): New predicate to
1509         determine whether the expression in an address clause for an
1510         initialized object must be constant. Code moved from freeze.adb.
1511         (Remove_Side_Effects): When the temporary is initialized with a
1512         reference, indicate that the temporary is a constant as done in all
1513         other cases.
1514         * freeze.adb (Check_Address_Clause): use Needs_Constant_Address.
1515         * exp_ch13.adb (Expand_N_Attribute_Definition_Clause, case 'Address):
1516         If object does not need a constant address, remove side effects from
1517         address expression, so it is elaborated at the point of the address
1518         clause and not at the freeze point of the object, so that elaboration
1519         order is respected.
1520
1521 2010-08-05  Vincent Celier  <celier@adacore.com>
1522
1523         * prj.adb (Is_Compilable): Return False for header files of non Ada
1524         languages.
1525
1526 2010-08-05  Emmanuel Briot  <briot@adacore.com>
1527
1528         * prj-nmsc.adb: The Missing_Source_Files flag also considers a missing
1529         exec directory as a warning rather than an error.
1530
1531 2010-08-05  Thomas Quinot  <quinot@adacore.com>
1532
1533         * sem_ch6.adb, gnat1drv.adb, exp_ch6.adb, sem_eval.adb: Minor
1534         reformatting.
1535
1536 2010-08-05  Steve Baird  <baird@adacore.com>
1537
1538         * exp_util.adb (Remove_Side_Effects): An access value which designates
1539         a volatile object of a nonvolatile type is prohibited.
1540         Do not call Make_Reference to construct a reference to such an object.
1541
1542 2010-08-05  Robert Dewar  <dewar@adacore.com>
1543
1544         * a-suezse.adb, a-suezse.ads, a-suezen.adb, a-suezen.ads: Removed.
1545         * a-suewse.adb, a-suewse.ads, a-suesen.adb, a-suesen.ads,
1546         a-suewen.adb, a-suewen.ads: New files.
1547         * Makefile.rtl, impunit.adb: Update implementation of Ada 2012 string
1548         encoding packages.
1549         * sem_elab.adb: Minor reformatting.
1550
1551 2010-08-05  Arnaud Charlet  <charlet@adacore.com>
1552
1553         * sem_ch8.adb (Use_One_Type): Protect against empty scopes.
1554         * exp_util.adb (Component_May_Be_Bit_Aligned): Prevent assert failure
1555         in case of null Comp.
1556
1557 2010-08-05  Robert Dewar  <dewar@adacore.com>
1558
1559         * errout.adb, a-suewen.adb, a-suezen.adb: Minor reformatting.
1560
1561 2010-08-05  Gary Dismukes  <dismukes@adacore.com>
1562
1563         * sem_ch4.adb (Analyze_Allocator): Flag errors on allocators of a
1564         nested access type whose designated type has tasks or is a protected
1565         object when the restrictions No_Task_Hierarchy or
1566         No_Local_Protected_Objects apply. Add ??? comment.
1567         * sem_ch9.adb (Analyze_Protected_Type): Give a warning when a protected
1568         type is not a library-level type and No_Local_Protected_Objects applies.
1569         (Analyze_Task_Type): Give a warning when a task type is not a
1570         library-level type and No_Task_Hierarchy applies.
1571
1572 2010-08-05  Arnaud Charlet  <charlet@adacore.com>
1573
1574         * sem.adb: Minor reformatting
1575         * sem_ch4.adb (Analyze_Reference): Disable error message in CodePeer
1576         mode, not useful.
1577
1578 2010-08-04  Eric Botcazou  <ebotcazou@adacore.com>
1579
1580         * gcc-interface/decl.c: Do not undefine IN_GCC_FRONTEND and do not
1581         include expr.h.
1582         (gnat_to_gnu_entity) <object>: Force address of -1 at the tree level
1583         for the debug-only entity.
1584         * gcc-interface/Make-lang.in (ada/decl.o): Adjust dependencies.
1585
1586 2010-08-03  Joseph Myers  <joseph@codesourcery.com>
1587
1588         * gcc-interface/lang-specs.h: Don't pass -a options.
1589
1590 2010-07-28  Joseph Myers  <joseph@codesourcery.com>
1591
1592         * gcc-interface/misc.c (gnat_init_options): Ignore erroneous
1593         options.  Check canonical_option_num_elements on options copied.
1594
1595 2010-07-27  Joseph Myers  <joseph@codesourcery.com>
1596
1597         * gcc-interface/misc.c (gnat_handle_option): Update prototype and
1598         return value type.  Don't check for missing arguments here.
1599
1600 2010-07-27  Joseph Myers  <joseph@codesourcery.com>
1601
1602         * gcc-interface/misc.c (gnat_option_lang_mask): New.
1603         (gnat_init_options): Update prototype.  Reconstruct argv array
1604         from decoded options.
1605
1606 2010-07-23  Eric Botcazou  <ebotcazou@adacore.com>
1607
1608         * gcc-interface/utils.c (update_pointer_to): In the unconstrained array
1609         case, merge the alias set of the old pointer type.
1610
1611 2010-07-23  Eric Botcazou  <ebotcazou@adacore.com>
1612
1613         * gcc-interface/utils.c (gnat_types_compatible_p): Revert latest change
1614         and recurse only for multidimensional array types instead.
1615
1616 2010-07-22  Eric Botcazou  <ebotcazou@adacore.com>
1617
1618         PR ada/44892
1619         * gcc-interface/utils.c (convert): Fix thinko in test.
1620         (unchecked_convert): When converting from a scalar type to a type with
1621         a different size, pad to have the same size on both sides.
1622
1623 2010-07-22  Eric Botcazou  <ebotcazou@adacore.com>
1624
1625         * gcc-interface/utils.c (gnat_types_compatible_p): Don't require strict
1626         equality for the component type of array types.
1627
1628 2010-07-15  Nathan Froyd  <froydnj@codesourcery.com>
1629
1630         * gcc-interface/decl.c: Carefully replace TREE_CHAIN with DECL_CHAIN.
1631         * gcc-interface/trans.c: Likewise.
1632         * gcc-interface/utils.c: Likewise.
1633         * gcc-interface/utils2.c: Likewise.
1634
1635 2010-07-13  Laurent GUERBY  <laurent@guerby.net>
1636
1637         PR bootstrap/44458
1638         * gcc-interface/targtyps.c: Include tm_p.h.
1639         * gcc-interface/Make-lang.in: Update dependencies.
1640
1641 2010-07-09  Eric Botcazou  <ebotcazou@adacore.com>
1642
1643         * gcc-interface/trans.c (gnat_gimplify_expr) <ADDR_EXPR>: Deal with
1644         CALL_EXPR.
1645
1646 2010-07-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1647
1648         * gcc-interface/utils.c: Include diagnostic-core.h in every file
1649         that includes toplev.h.
1650
1651 2010-07-03  Eric Botcazou  <ebotcazou@adacore.com>
1652
1653         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Enumeration_Type>:
1654         Branch to common code handling the alignment of discrete types.
1655         <E_Signed_Integer_Type>: Likewise.
1656         <E_Modular_Integer_Type>: Likewise.
1657
1658 2010-07-02  Eric Botcazou  <ebotcazou@adacore.com>
1659
1660         * gcc-interface/misc.c (gnat_handle_option): Do not populate gnat_argv.
1661         (gnat_handle_option): Allocate only one element for gnat_argv.
1662         (gnat_init): Do not populate gnat_argv.
1663
1664 2010-06-30  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1665
1666         * gcc-interface/trans.c: Do not include tree-flow.h.
1667         * gcc-interface/Make-lang.in: Adjust dependencies.
1668
1669 2010-06-29  Nathan Froyd  <froydnj@codesourcery.com>
1670
1671         * gcc-interface/gigi.h (gnat_build_constructor): Take a VEC instead
1672         of a TREE_LIST.  Update comment.
1673         * gcc-interface/trans.c (gigi): Build a VEC instead of a TREE_LIST.
1674         Adjust call to gnat_build_constructor.
1675         (Attribute_to_gnu): Likewise.
1676         (gnat_to_gnu): Likewise.
1677         (pos_to_constructor): Likewise.
1678         (extract_values): Likewise.
1679         * gcc-interface/utils.c (build_template): Likewise.
1680         (convert_vms_descriptor64): Likewise.
1681         (convert_vms_descriptor32): Likewise.
1682         (convert_to_fat_pointer): Likewise.
1683         (convert): Likewise.
1684         (unchecked_convert): Likewise.
1685         * gcc-interface/decl.c (gnat_to_gnu_entity): Likewise.
1686         * gcc-interface/utils2.c (build_allocator): Likewise.
1687         (fill_vms_descriptor): Likewise.
1688         (gnat_build_constructor): Take a VEC instead of a TREE_LIST.
1689         (compare_elmt_bitpos): Adjust for parameters being constructor_elts
1690         instead of TREE_LISTs.
1691
1692 2010-06-28  Steven Bosscher  <steven@gcc.gnu.org>
1693
1694         * gcc-interface/misc.c: Do not include except.h.
1695         * gcc-interface/Make-lang.in: Update dependencies.
1696
1697 2010-06-27  Eric Botcazou  <ebotcazou@adacore.com>
1698
1699         * gcc-interface/trans.c: Include tree-flow.h.
1700         (gnu_switch_label_stack): Delete.
1701         (Case_Statement_to_gnu): Do not emit the goto at the end of a case if
1702         its associated block cannot fall through.  Do not emit the final label
1703         if no cases branch to it.
1704         * gcc-interface/Make-lang.in (ada/trans.o): Add $(TREE_FLOW_H).
1705
1706 2010-06-23  Thomas Quinot  <quinot@adacore.com>
1707
1708         * exp_attr.adb (Expand_Access_To_Protected_Op): When rewriting a
1709         reference to a protected subprogram outside of the protected's scope,
1710         ensure the corresponding external subprogram is frozen before the
1711         reference.
1712
1713 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
1714
1715         * sem_prag.adb: Fix typo in error message.
1716         * sem.adb: Refine previous change.
1717
1718 2010-06-23  Robert Dewar  <dewar@adacore.com>
1719
1720         * impunit.adb, a-suewen.adb, a-suewen.ads, a-suenco.adb, a-suenco.ads,
1721         a-suezen.adb, a-suezen.ads, a-stuten.adb, a-stuten.ads, Makefile.rtl:
1722         Implement Ada 2012 string encoding packages.
1723
1724 2010-06-23  Arnaud Charlet  <charlet@adacore.com>
1725
1726         * a-stwiun-shared.adb, a-stwiun-shared.ads, a-stzunb-shared.adb,
1727         a-stzunb-shared.ads, a-swunau-shared.adb, a-swuwti-shared.adb,
1728         a-szunau-shared.adb, a-szuzti-shared.adb, a-strunb-shared.adb,
1729         a-strunb-shared.ads, a-stunau-shared.adb, a-suteio-shared.adb: New
1730         files.
1731         * gcc-interface/Makefile.in: Enable use of above files.
1732
1733 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
1734
1735         * sem_ch13.adb (Check_Constant_Address_Clauses): Do not check legality
1736         of address clauses if if Ignore_Rep_Clauses is active.
1737         * freeze.adb (Check_Address_Clause): If Ignore_Rep_Clauses is active,
1738         remove address clause from tree so that it does not reach the backend.
1739
1740 2010-06-23  Arnaud Charlet  <charlet@adacore.com>
1741
1742         * exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Valid]): Do not
1743         expand 'Valid from user code in CodePeer mode, will be handled by the
1744         back-end directly.
1745
1746 2010-06-23  Bob Duff  <duff@adacore.com>
1747
1748         * g-comlin.ads: Minor comment improvements.
1749
1750 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
1751
1752         * sem_res.adb (Uses_SS): The expression that initializes a controlled
1753         component of a record type may be a user-defined operator that is
1754         rewritten as a function call.
1755
1756 2010-06-23  Bob Duff  <duff@adacore.com>
1757
1758         * g-comlin.ads, sem_ch13.adb: Minor comment fix.
1759
1760 2010-06-23  Eric Botcazou  <ebotcazou@adacore.com>
1761
1762         * exp_ch11.adb (Expand_Local_Exception_Handlers): Propagate the end
1763         label to the new sequence of statements.  Set the sloc of the raise
1764         statement onto the new goto statements.
1765
1766 2010-06-23  Robert Dewar  <dewar@adacore.com>
1767
1768         * a-stuten.ads, a-stuten.adb: New files.
1769         * impunit.adb: Add engtry for Ada.Strings.UTF_Encoding (a-stuten.ads)
1770         * Makefile.rtl: Add entry for a-stuten (Ada.Strings.UTF_Encoding)
1771
1772 2010-06-23  Robert Dewar  <dewar@adacore.com>
1773
1774         * gnat_ugn.texi: Add documentation of -gnat12 switch
1775         Add documentation of -gnatX switch.
1776
1777 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
1778
1779         * inline.ads: Include the current Ada_Version in the info for pending
1780         instance bodies, so that declaration and body are compiled with the
1781         same Ada_Version.
1782         * inline.adb: Move with_clause for Opt to spec.
1783         * sem_ch12.adb (Analyze_Package_Instantiation,
1784         Analyze_Subprogram_Instantiation): Save current Ada_Version in
1785         Pending_Instantiation information.
1786         (Instantiate_Package_Body, Instantiate_Subprogram_Body,
1787         Inline_Package_Body): Use the Ada_Version present in the body
1788         information.
1789
1790 2010-06-23  Robert Dewar  <dewar@adacore.com>
1791
1792         * usage.adb: Add documentation for -gnat12 switch.
1793         * errout.ads: Add VMS alias entry for -gnat12 switch
1794         * gnat_rm.texi: Add documentation for pragma Ada_12 and Ada_2012
1795         Add documentation for pragma Extensions_Allowed.
1796         * opt.ads: Add entry for Ada 2012 mode.
1797         * sem_ch4.adb, par-ch3.adb, par-ch4.adb: Use new Ada 2012 mode for 2012
1798         features.
1799         * sem_prag.adb, par-prag.adb: Add processing for pragma Ada_12 and
1800         Ada_2012.
1801         * sem_ch13.adb: Add handling for Ada 2012 mode.
1802         * snames.ads-tmpl: Add entries for pragma Ada_2012 and Ada_12.
1803         * switch-c.adb: Add handling for -gnat12 switch.
1804         Implement -gnat2005 and -gnat2012.
1805         * usage.adb: Add documentation for -gnat12 switch.
1806         * vms_data.ads: Add /12 switch for Ada 2012 mode.
1807
1808 2010-06-23  Arnaud Charlet  <charlet@adacore.com>
1809
1810         * exp_ch4.adb (Expand_N_Allocator): Fix potential crash when using
1811         No_Task_Hierarchy restriction. Add comment.
1812         * exp_ch9.adb, exp_ch3.adb: Update comments.
1813
1814 2010-06-23  Robert Dewar  <dewar@adacore.com>
1815
1816         * sem_ch5.adb (Process_Bounds): Remove some junk initializations.
1817         * sem_res.adb: Add comments.
1818         * sem_util.adb: Minor reformatting. Add comments.
1819         Change increment on Actuals_In_Call table.
1820         * opt.ads: Minor: add 'constant'.
1821
1822 2010-06-23  Javier Miranda  <miranda@adacore.com>
1823
1824         * exp_disp.adb (Make_DT): Initialize the Size_Func component of the
1825         TSD to Null_Address if No_Dispatching_Calls is active.
1826
1827 2010-06-23  Vincent Celier  <celier@adacore.com>
1828
1829         * a-comlin.ads: Indicate that use of this package is not supported
1830         during the elaboration of an auto-initialized Stand-Alone Library.
1831
1832 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
1833
1834         * exp_util.adb (Is_Possibly_Misaligned_Object): Do not rely on an
1835         alignment clause on a record type to determine if a component may be
1836         misaligned. The decision must be taken in the back-end where target
1837         alignment information is known.
1838
1839 2010-06-23  Arnaud Charlet  <charlet@adacore.com>
1840
1841         * gnat1drv.adb (Adjust_Global_Switches): Enable some restrictions
1842         systematically in CodePeer mode to simplify generated code.
1843         * restrict.adb (Check_Restriction): Do nothing in CodePeer mode.
1844         * exp_ch4.adb (Expand_N_Allocator): Generate proper code when
1845         No_Task_Hierarchy is set instead of crasshing.
1846
1847 2010-06-23  Thomas Quinot  <quinot@adacore.com>
1848
1849         * sem_util.adb: Minor code cleanup: test for proper entity instead of
1850         testing just Chars attribute when checking whether a given scope is
1851         System.
1852         * exp_ch4.adb, einfo.adb: Minor reformatting.
1853
1854 2010-06-23  Vincent Celier  <celier@adacore.com>
1855
1856         PR ada/44633
1857         * switch-m.adb (Normalize_Compiler_Switches): Take into account
1858         switches -gnatB, -gnatD=nn, -gnatG (incuding -gnatG=nn), -gnatI,
1859         -gnatl=file, -gnatS, -gnatjnn, -gnateI=nn and -gnatWx.
1860
1861 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
1862
1863         * sem_res.adb (Resolve_Membership_Op): If left operand is a mixed mode
1864         operation with a universal real operand, and the right operand is a
1865         range with universal bounds, find unique fixed point that may be
1866         candidate, and warn appropriately.
1867
1868 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
1869
1870         * sem_res.adb (Resolve_Intrinsic_Operator): Add guards to handle
1871         properly the rare cases where VMS operators are visible through
1872         Extend_System, but the default System is being used and Address is a
1873         private type.
1874         * sem_util.adb: Widen predicate Is_VMS_Operator.
1875
1876 2010-06-23  Vincent Celier  <celier@adacore.com>
1877
1878         * switch-m.adb (Normalize_Compiler_Switches): Take into account -gnatC
1879         and -gnateS.
1880
1881 2010-06-23  Olivier Hainque  <hainque@adacore.com>
1882
1883         * einfo.adb (Has_Foreign_Convention): Consider Intrinsic with
1884         Interface_Name as foreign. These are GCC builtin imports for
1885         which Ada specific processing doesn't apply.
1886
1887 2010-06-23  Thomas Quinot  <quinot@adacore.com>
1888
1889         * sem_ch12.adb: Minor reformatting.
1890
1891 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
1892
1893         * sem_util.adb (Is_VMS_Operator): Use scope of system extension to
1894         determine whether an intrinsic subprogram is VMS specific.
1895
1896 2010-06-23  Hristian Kirtchev  <kirtchev@adacore.com>
1897
1898         * treepr.adb (Print_Entity_Info): Output the contents of Field28 if it
1899         is present in the entity.
1900
1901 2010-06-23  Arnaud Charlet  <charlet@adacore.com>
1902
1903         * xr_tabls.adb, xref_lib.adb: Update to latest lib-xref.ads
1904         Fix handling of parameters.
1905         Add protection against unexpected cases.
1906         * sem_ch6.adb (Create_Extra_Formals): Use suffix "L" instead of "A" for
1907         access level, since "A" suffix is already used elsewhere. Similarly,
1908         use suffix "O" instead of "C" for 'Constrained since "C" suffix is used
1909         for xxx'Class.
1910
1911 2010-06-23  Thomas Quinot  <quinot@adacore.com>
1912
1913         * sem_util.adb, sem_util.ads: Minor reformatting.
1914
1915 2010-06-23  Vincent Celier  <celier@adacore.com>
1916
1917         * prj.ads (Gprclean_Flags.Missing_Source_Files): Set to Error to keep
1918         the previous behavior of gprclean when there are missing files.
1919
1920 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
1921
1922         * sem_ch12.adb (Load_Body_Of_Generic): In CodePeer mode, a missing
1923         generic body is not a fatal error.
1924         (Mark_Context): Handle properly names of child units.
1925         * sem.adb (Walk_Library_Items.Do_Action): Remove assertion on
1926         instantiations.
1927
1928 2010-06-23  Vincent Celier  <celier@adacore.com>
1929
1930         * ali.adb (Scan_ALI): When ignoring R lines, do not skip the next
1931         non-empty line.
1932
1933 2010-06-23  Bob Duff  <duff@adacore.com>
1934
1935         * g-pehage.ads, g-pehage.adb: Switch default optimization mode to
1936         Memory_Space, because CPU_Time doesn't seem to provide any significant
1937         speed advantage in practice. Cleanup: Get rid of constant
1938         Default_Optimization; doesn't seem to add anything. Use case
1939         statements instead of if statements; seems cleaner.
1940
1941 2010-06-23  Olivier Hainque  <hainque@adacore.com>
1942
1943         * gcc-interface/decl.c (gnat_to_gnu_entity) <case E_Procedure>: Use
1944         Wshadow instead of Wextra to guard warning on absence of internal
1945         builtin decl for an import.  Fix use of quote in warning text.
1946         (intrin_arglists_compatible_p): Remove processing of integer trailing
1947         args on the Ada side.  Fix use of literal > in warning text.
1948         (intrin_return_compatible_p): Never warn on "function imported as
1949         procedure".  Defer the void/void case to the common type compatibility
1950         check.
1951         (gnat_to_gnu_param): Use void_ptr GCC type for System.Address argument
1952         of GCC builtin imports.
1953
1954 2010-06-23  Olivier Hainque  <hainque@adacore.com>
1955
1956         * gcc-interface/decl.c (intrin_types_incompatible_p): New function,
1957         helper for ...
1958         (intrin_arglists_compatible_p, intrin_return_compatible_p): New
1959         functions, helpers for ...
1960         (intrin_profiles_compatible_p): New function, replacement for ...
1961         (compatible_signatures_p): Removed.
1962         (gnat_to_gnu_entity) <case E_Procedure>: If -Wextra, warn on
1963         attempt to bind an unregistered builtin function.  When we have
1964         one, use it and warn on profile incompatibilities.
1965
1966 2010-06-23  Arnaud Charlet  <charlet@adacore.com>
1967
1968         * gcc-interface/Make-lang.in: Update dependencies.
1969
1970 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
1971
1972         * sem_util.adb (Mark_Coextensions): If the expression in the allocator
1973         for a coextension in an object declaration is a concatenation, treat
1974         coextension as dynamic.
1975
1976 2010-06-23  Javier Miranda  <miranda@adacore.com>
1977
1978         * sem_ch3.adb (Add_Internal_Interface_Entities): Ensure that the
1979         internal entities are added to the scope of the tagged type.
1980         (Derive_Subprograms): Do not stop derivation when we find the first
1981         internal entity that has attribute Interface_Alias. After the change
1982         done to Override_Dispatching_Operations it is no longer true that
1983         these primirives are always located at the end of the list of
1984         primitives.
1985         * einfo.ads (Primitive_Operations): Add documentation.
1986         * exp_disp.adb (Write_DT): Improve output adding to the name of the
1987         primitive a prefix indicating its corresponding tagged type.
1988         * sem_disp.adb (Override_Dispatching_Operations): If the overridden
1989         entity covers the primitive of an interface that is not an ancestor of
1990         this tagged type then the new primitive is added at the end of the list
1991         of primitives.  Required to fulfill the C++ ABI.
1992
1993 2010-06-23  Javier Miranda  <miranda@adacore.com>
1994
1995         * atree.ads (Set_Reporting_Proc): New subprogram.
1996         * atree.adb: Remove dependency on packages Opt and SCIL_LL.
1997         (Allocate_Initialize_Node, Replace, Rewrite): Replace direct calls
1998         to routines of package Scil_ll by indirect call to the registered
1999         subprogram.
2000         (Set_Reporting_Proc): New subprogram. Used to register a subprogram
2001         that is invoked when a node is allocated, replaced or rewritten.
2002         * scil_ll.adb (Copy_SCIL_Node): New routine that takes care of copying
2003         the SCIL node. Used as argument for Set_Reporting_Proc.
2004         (Initialize): Register Copy_SCIL_Node as the reporting routine that
2005         is invoked by atree.
2006
2007 2010-06-23  Thomas Quinot  <quinot@adacore.com>
2008
2009         * sem_ch3.ads: Minor reformatting.
2010
2011 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
2012
2013         * sem_ch12.adb (Analyze_Package_Instantiation): In CodePeer mode,
2014         always analyze the generic body and instance, because it may be needed
2015         downstream.
2016         (Mark_Context): Prepend the with clauses for needed generic units, so
2017         they appear in a better order for CodePeer.
2018         * sem_util.adb, sem_util.ads: Prototype code for AI05-0144.
2019
2020 2010-06-23  Emmanuel Briot  <briot@adacore.com>
2021
2022         * prj.ads, prj-nmsc.adb (Error_Or_Warning): New subprogram.
2023
2024 2010-06-23  Robert Dewar  <dewar@adacore.com>
2025
2026         * g-pehage.adb, exp_ch13.adb: Minor reformatting.
2027
2028 2010-06-23  Thomas Quinot  <quinot@adacore.com>
2029
2030         * a-tags.ads: Fix description of TSD structure.
2031
2032 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
2033
2034         * sem_ch12.adb (Mark_Context): When indicating that the body of a
2035         generic unit is needed prior to the unit containing an instantiation,
2036         search recursively the context of the generic to add other generic
2037         bodies that may be instantiated indirectly through the current instance.
2038
2039 2010-06-23  Robert Dewar  <dewar@adacore.com>
2040
2041         * freeze.adb: Minor reformatting.
2042
2043 2010-06-23  Bob Duff  <duff@adacore.com>
2044
2045         * g-pehage.adb (Trim_Trailing_Nuls): Fix the code to match the comment.
2046
2047 2010-06-23  Vincent Celier  <celier@adacore.com>
2048
2049         * make.adb (Compile_Sources): Complete previous change.
2050
2051 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
2052
2053         * sem_ch6.adb (Add_Extra_Formal): Use suffix "C" in the name of the
2054         Constrained extra formal.
2055
2056 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
2057
2058         * exp_ch13.adb (Expand_Freeze_Actions): If validity checks and
2059         Initialize_Scalars are enabled, compile the generated equality function
2060         for a composite type with full checks enabled, so that validity checks
2061         are performed on individual components.
2062
2063 2010-06-23  Emmanuel Briot  <briot@adacore.com>
2064
2065         * prj.adb, prj.ads, prj-nmsc.adb (Processing_Flags): New flag
2066         Missing_Source_Files.
2067
2068 2010-06-23  Robert Dewar  <dewar@adacore.com>
2069
2070         * exp_ch3.adb, exp_util.adb: Minor reformatting.
2071
2072 2010-06-23  Jose Ruiz  <ruiz@adacore.com>
2073
2074         * a-reatim.adb, a-retide.adb: Move the initialization of the tasking
2075         run time from Ada.Real_Time.Delays to Ada.Real_Time. This way, calls to
2076         Clock (without delays) use a run time which is properly initialized.
2077
2078 2010-06-23  Vincent Celier  <celier@adacore.com>
2079
2080         * make.adb: Do not set Check_Readonly_Files when setting Must_Compile,
2081         when -f -u and a main is specified on the command line. However,
2082         attempt to compile even when the ALI file is read-only when
2083         Must_Compile is True.
2084
2085 2010-06-23  Thomas Quinot  <quinot@adacore.com>
2086
2087         * checks.adb, g-pehage.adb, cstand.adb: Minor code factorization.
2088
2089 2010-06-23  Javier Miranda  <miranda@adacore.com>
2090
2091         * sem_ch3.adb (Add_Internal_Interface_Entities): Generate internal
2092         entities for parent types that are interfaces. Needed in generics to
2093         handle formals that implement interfaces.
2094         (Derive_Subprograms): Add assertion for derivation of tagged types that
2095         do not cover interfaces. For generics, complete code that handles
2096         derivation of type that covers interfaces because the previous
2097         condition was weak (it required only name consistency; arguments were
2098         not checked). Add new code to locate primitives covering interfaces
2099         defined in generic units or instantiatons.
2100         * sem_util.adb (Has_Interfaces): Add missing support for derived types.
2101         * sem_ch6.adb (Check_Overriding_Indicator): Minor code cleanups.
2102         * exp_disp.adb (Make_Select_Specific_Data_Table): Skip primitives of
2103         interfaces that are parents of the type because they share the primary
2104         dispatch table.
2105         (Register_Primitive): Do not register primitives of interfaces that
2106         are parents of the type.
2107         * sem_ch13.adb (Analyze_Freeze_Entity): Add documentation.
2108         * exp_cg.adb (Write_Type_Info): When displaying overriding of interface
2109         primitives skip primitives of interfaces that are parents of the type.
2110
2111 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
2112
2113         * sem_attr.adb (Eval_Attribute): If the prefix is an array, the
2114         attribute cannot be constant-folded if an index type is a formal type,
2115         or is derived from one.
2116         * checks.adb (Determine_Range): ditto.
2117
2118 2010-06-23  Arnaud Charlet  <charlet@adacore.com>
2119
2120         * gnat_ugn.texi, gnatxref.adb: Add support for --ext switch.
2121
2122 2010-06-23  Bob Duff  <duff@adacore.com>
2123
2124         * g-pehage.ads, g-pehage.adb (Put): Fix off-by-one bug.
2125         (Insert): Disallow nul characters.
2126         (misc output routines): Assert no nul characters.
2127
2128 2010-06-23  Ed Schonberg  <schonberg@adacore.com>
2129
2130         * exp_ch4.adb: Use predefined unsigned type in all cases.
2131
2132 2010-06-23  Bob Duff  <duff@adacore.com>
2133
2134         * s-rannum.adb (Reset): Avoid overflow in calculation of Initiator.
2135         * g-pehage.ads: Minor comment fixes.
2136         * g-pehage.adb: Minor: Add some additional debugging printouts under
2137         Verbose flag.
2138
2139 2010-06-23  Robert Dewar  <dewar@adacore.com>
2140
2141         * binde.adb (Better_Choice): Always prefer Pure/Preelab.
2142         (Worse_Choice): Always prefer Pure/Preelab.
2143
2144 2010-06-23  Vincent Celier  <celier@adacore.com>
2145
2146         * a-reatim.adb: Call System.OS_Primitives.Initialize during elaboration
2147
2148 2010-06-23  Robert Dewar  <dewar@adacore.com>
2149
2150         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Properly handle
2151         checking returns in generic case.
2152         (Check_Missing_Return): New procedure.
2153
2154 2010-06-23  Robert Dewar  <dewar@adacore.com>
2155
2156         * bindgen.adb, switch-b.adb: Minor reformatting.
2157
2158 2010-06-23  Javier Miranda  <miranda@adacore.com>
2159
2160         * frontend.adb (Frontend): Add call to initialize the new package
2161         SCIL_LL.
2162         * exp_ch7.adb (Wrap_Transient_Expression): Remove call to
2163         Adjust_SCIL_Node.
2164         (Wrap_Transient_Statement): Remove call to Adjust_SCIL_Node.
2165         * sem_ch5.adb (Analyze_Iteration_Scheme.Process_Bounds): Remove call to
2166         Adjust_SCIL_Node.
2167         * exp_util.adb (Insert_Actions): Remove code for
2168         N_SCIL_Dispatch_Table_Object_Init and N_SCIL_Tag_Init nodes.
2169         (Remove_Side_Effects): Remove calls to Adjust_SCIL_Node.
2170         * sinfo.adb (SCIL_Entity, SCIL_Tag_Value): Remove checks on
2171         N_SCIL_Tag_Init and N_SCIL_Dispatch_Table_Object_Init in the assertion.
2172         (SCIL_Related_Node, Set_SCIL_Related_Node): Removed.
2173         * sinfo.ads (SCIL_Related_Node): Field removed.
2174         (N_SCIL_Dispatch_Table_Object_Init): Node removed.
2175         (N_SCIL_Tag_Init): Node removed.
2176         * sem_scil.ads, sem_scil.adb (Adjust_SCIL_Node): Removed.
2177         (Check_SCIL_Node): New implementation.
2178         (Find_SCIL_Node): Removed.
2179         * sem.adb (Analyze): Remove management of
2180         N_SCIL_Dispatch_Table_Object_Init and N_SCIL_Tag_Init nodes.
2181         * sem_util.adb (Insert_Explicit_Dereference): Remove call to
2182         Adjust_SCIL_Node.
2183         * exp_ch4.adb (Expand_N_In): Code cleanup: remove call to
2184         Set_SCIL_Related_Node and avoid adding the SCIL node before the
2185         referenced node using Insert_Action because this is not longer required.
2186         (Expand_Short_Circuit_Operator): Remove call to SCIL node.
2187         * exp_ch6.adb (Expand_Call): Remove call to Adjust_SCIL_Node.
2188         * sem_ch4.adb (Analyze_Type_Conversion): Remove call to Adjust_SCIL_Node
2189         * exp_disp.adb (Expand_Dispatching_Call): Minor code reorganization
2190         because we no longer require to generate the SCIL node before the call.
2191         (Make_DT): Remove generation of SCI_Dispatch_Table_Object_Init node.
2192         Remove calls to Set_SCIL_Related_Node and avoid adding the SCIL
2193         nodes before the referenced node using Insert_Action because this
2194         is not longer required.
2195         * atree.adb (Allocate_Initialize_Node, Replace, Rewrite): Add call to
2196         update the SCIL_Node field.
2197         * sprint.adb (Sprint_Node_Actual): Remove code for
2198         N_SCIL_Dispatch_Table_Object_Init and N_SCIL_Tag_Init nodes.
2199         * treepr.adb (Print_Node): Print the SCIL node field (if available).
2200         * exp_ch3.adb (Build_Init_Procedure): Remove generation of
2201         SCIL_Tag_Init nodes.
2202         * scil_ll.ads, scil_ll.adb: New files.
2203         * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Update
2204         dependencies.
2205
2206 2010-06-23  Robert Dewar  <dewar@adacore.com>
2207
2208         * sem_ch6.adb: Minor reformatting.
2209
2210 2010-06-23  Doug Rupp  <rupp@adacore.com>
2211
2212         * bindusg.adb (Display): Write -Hnn line.
2213         * bindgen.adb (Gen_Adainit_Ada): Write Heap_Size to binder file as 
2214         necessary.
2215         * init.c (__gl_heap_size): Rename from __gl_no_malloc_64 and change
2216         valid values to 32 and 64.
2217         (GNAT$NO_MALLOC_64): Recognize TRUE, 1, FALSE, and 0 in addition to
2218         ENABLE, DISABLE as valid settings.
2219         * switch-b.adb (Scan_Binder_Switches): Process -Hnn switch.
2220         * opt.ads (Heap_Size): New global variable.
2221         * gcc-interface/utils2.c (maybe_wrap_malloc): Remove mostly redundant 
2222         TARGET_MALLOC64 check. Fix comment.
2223
2224 2010-06-23  Robert Dewar  <dewar@adacore.com>
2225
2226         * sem_ch6.adb, exp_ch4.adb, s-rannum.ads, sem.adb, sem_ch12.adb: Minor
2227         reformatting.  Add comments.
2228         * errout.adb (Finalize): Properly adjust warning count when deleting
2229         continuations.
2230
2231 2010-06-22  Robert Dewar  <dewar@adacore.com>
2232
2233         * errout.adb (Finalize): Set Prev pointers.
2234         (Finalize): Delete continuations for deletion by warnings off(str).
2235         * erroutc.ads: Add Prev pointer to error message structure.
2236
2237 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2238
2239         * sem.adb (Do_Unit_And_Dependents): If the spec of the main unit is a
2240         child unit, examine context of parent units to locate instantiated
2241         generics whose bodies may be needed. 
2242         * sem_ch12.adb: (Mark_Context): if the enclosing unit does not have a
2243         with_clause for the instantiated generic, examine the context of its
2244         parents, to set Withed_Body flag, so that it can be visited earlier.
2245         * exp_ch4.adb (Expand_N_Op_Not): If this is a VMS operator applied to
2246         an unsigned type, use a type of the proper size for the intermediate
2247         value, to prevent alignment problems on unchecked conversion.
2248
2249 2010-06-22  Geert Bosch  <bosch@adacore.com>
2250
2251         * s-rannum.ads Change Generator type to be self-referential to allow
2252         Random to update its argument. Use "in" mode for the generator in the
2253         Reset procedures to allow them to be called from the Ada.Numerics
2254         packages without tricks.
2255         * s-rannum.adb: Use the self-referencing argument to get write access
2256         to the internal state of the random generator.
2257         * a-nudira.ads: Make Generator a derived type of
2258         System.Random_Numbers.Generator.
2259         * a-nudira.adb: Remove use of 'Unrestricted_Access.
2260         Put subprograms in alpha order and add headers.
2261         * g-mbdira.ads: Change Generator type to be self-referential.
2262         * g-mbdira.adb: Remove use of 'Unrestricted_Access.
2263
2264 2010-06-22  Robert Dewar  <dewar@adacore.com>
2265
2266         * freeze.adb: Minor reformatting
2267         Minor code reorganization (use Nkind_In and Ekind_In).
2268
2269 2010-06-22  Bob Duff  <duff@adacore.com>
2270
2271         * gnat1drv.adb (Gnat1drv): Remove the messages that recommend using 
2272         -gnatc when a file is compiled that we cannot generate code for, not
2273         helpful and confusing.
2274
2275 2010-06-22  Vincent Celier  <celier@adacore.com>
2276
2277         * switch-m.adb (Normalize_Compiler_Switches): Process correctly
2278         switches -gnatknn.
2279
2280 2010-06-22  Paul Hilfinger  <hilfinger@adacore.com>
2281
2282         * s-rannum.adb: Replace constants with commented symbols.
2283         * s-rannum.ads: Explain significance of the initial value of the data
2284         structure.
2285
2286 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2287
2288         * a-ngcoty.adb: Clarify comment.
2289
2290 2010-06-22  Gary Dismukes  <dismukes@adacore.com>
2291
2292         * exp_pakd.adb (Expand_Bit_Packed_Element_Set): Return without
2293         expansion for indexing packed arrays with small power-of-2 component
2294         sizes when the target is AAMP.
2295         (Expand_Packed_Element_Reference): Return without expansion for
2296         indexing packed arrays with small power-of-2 component sizes when the
2297         target is AAMP.
2298
2299 2010-06-22  Geert Bosch  <bosch@adacore.com>
2300
2301         * exp_ch4.adb (Expand_N_In): Do not substitute a valid check for X in
2302         Float'Range.
2303
2304 2010-06-22  Robert Dewar  <dewar@adacore.com>
2305
2306         * g-mbdira.adb, g-mbflra.adb, a-nuflra.adb, a-nudira.adb: Minor comment
2307         updates.
2308
2309 2010-06-22  Doug Rupp  <rupp@adacore.com>
2310
2311         * system-vms.ads, system-vms-zcx.ads: Remove old unused VMS system
2312         packages.
2313         * system-vms_64.ads, system-vms-ia64.ads: Minor reformatting.
2314         (pragma Ident): Add a default ident string in the private part.
2315
2316 2010-06-22  Robert Dewar  <dewar@adacore.com>
2317
2318         * cstand.adb: Minor reformatting.
2319
2320 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2321
2322         * freeze.adb (Build_And_Analyze_Renamed_Body): For expansion purposes,
2323         recognize the Shift and Rotation intrinsics that are known to the
2324         compiler but have no interface name.
2325
2326 2010-06-22  Geert Bosch  <bosch@adacore.com>
2327
2328         * a-ngcoty.adb ("*"): Rewrite complex multiplication to use proper
2329         scaling in case of overflow or NaN results.
2330
2331 2010-06-22  Robert Dewar  <dewar@adacore.com>
2332
2333         * cstand.adb: Complete previous change.
2334         * g-dirope.ads: Add comment.
2335         * s-stchop.adb, sfn_scan.adb: Minor reformatting.
2336
2337 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2338
2339         * cstand.adb: Add tree nodes for pragma Pack on string types.
2340
2341 2010-06-22  Javier Miranda  <miranda@adacore.com>
2342
2343         * einfo.ads, einfo.adb (Last_Formal): New synthesized attribute.
2344         * exp_util.adb (Find_Prim_Op): Use new attribute to locate the last
2345         formal of a primitive.
2346         * exp_disp.adb (Is_Predefined_Dispatching_Operation,
2347          Is_Predefined_Dispatching_Alias): Use new attribute to locate the last
2348         formal of a primitive.
2349         * exp_cg.adb (Is_Predefined_Dispatching_Operation): Use new attribute
2350         to obtain the last formal of a primitive.
2351
2352 2010-06-22  Geert Bosch  <bosch@adacore.com>
2353
2354         * sysdep.c, init.c, adaint.c, cstreams.c: Remove conditional code
2355         depending on __EMX__ or MSDOS being defined.
2356         * i-cstrea.ads, gnat_rm.texi: Remove mentions of OS/2, DOS and Xenix.
2357         * a-excpol-abort.adb: Update comment indicating users of the file.
2358         * xref_lib.adb, sfn_scan.adb: Remove mention of OS/2, replace NT by
2359         Windows.
2360         * env.c: Remove empty conditional for MSDOS.
2361         * s-stchop.adb, g-dirope.ads, s-fileio.adb, osint.ads: Remove mention
2362         of OS/2 in comment.
2363
2364 2010-06-22  Robert Dewar  <dewar@adacore.com>
2365
2366         * s-rannum.adb: Minor reformatting.
2367
2368 2010-06-22  Javier Miranda  <miranda@adacore.com>
2369
2370         * sem_aux.adb, sem_aux.ads, sem_util.adb, sem_util.ads, sem_elim.adb,
2371         exp_cg.adb: Minor code reorganization: Move routine Ultimate_Alias from
2372         package Sem_Util to package Sem_Aux.
2373
2374 2010-06-22  Javier Miranda  <miranda@adacore.com>
2375
2376         * exp_disp.adb (Make_Secondary_DT, Make_DT): Minor code cleanup:
2377         remove useless restriction on imported routines when building the
2378         dispatch tables.
2379
2380 2010-06-22  Robert Dewar  <dewar@adacore.com>
2381
2382         * cstand.adb (Create_Standard): Set Has_Pragma_Pack for standard string
2383         types.
2384
2385 2010-06-22  Javier Miranda  <miranda@adacore.com>
2386
2387         * sem_ch4.adb (Collect_Generic_Type_Ops): Protect code that handles
2388         generic subprogram declarations to ensure proper context. Add missing
2389         support for generic actuals.
2390         (Try_Primitive_Operation): Add missing support for concurrent types that
2391         have no Corresponding_Record_Type. Required to diagnose errors compiling
2392         generics or when compiling with no code generation (-gnatc).
2393         * sem_ch9.adb (Analyze_Protected_Type, Analyze_Task_Type): Do not build
2394         the corresponding record type.
2395         * sem_disp.ads, sem_disp.adb (Check_Dispatching_Operation): Complete
2396         documentation. Do minimum decoration when processing a primitive of a
2397         concurrent tagged type that covers interfaces. Required to diagnose
2398         errors in the Object.Operation notation compiling generics or under
2399         -gnatc.
2400         * exp_ch9.ads, exp_ch9.adb (Build_Corresponding_Record): Add missing
2401         propagation of attribute Interface_List to the corresponding record.
2402         (Expand_N_Task_Type_Declaration): Code cleanup.
2403         (Expand_N_Protected_Type_Declaration): Code cleanup.
2404
2405 2010-06-22  Matthew Heaney  <heaney@adacore.com>
2406
2407         * a-convec.adb, a-coinve.adb: Removed 64-bit types Int and UInt.
2408
2409 2010-06-22  Paul Hilfinger  <hilfinger@adacore.com>
2410
2411         * s-rannum.adb (Random_Float_Template): Replace with unbiased version
2412         that is able to produce all representable floating-point numbers in the
2413         unit interval. Remove template parameter Shift_Right, no longer used.
2414         * gnat_rm.texi: Document the period of the pseudo-random number
2415         generator under the description of its algorithm.
2416         * gcc-interface/Make-lang.in: Update dependencies.
2417
2418 2010-06-22  Thomas Quinot  <quinot@adacore.com>
2419
2420         * exp_aggr.adb (Rewrite_Discriminant): Fix predicate used to identify
2421         reference to discriminant (can be an expanded name as well as an
2422         identifier).
2423
2424 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2425
2426         * exp_ch6.adb: Clarify comment.
2427
2428 2010-06-22  Geert Bosch  <bosch@adacore.com>
2429
2430         * exp_imgv.adb (Expand_Image_Attribute): Treat ordinary fixed point
2431         with decimal small as decimal types, avoiding floating-point arithmetic.
2432         (Has_Decimal_Small): New function.
2433         * einfo.ads, einfo.adb (Aft_Value): New synthesized attributed for
2434         fixed point types.
2435         * sem_attr.adb (Eval_Attribute): Remove Aft_Value function and update
2436         callers to call the new function in Einfo that takes the entity as
2437         parameter.
2438
2439 2010-06-22  Robert Dewar  <dewar@adacore.com>
2440
2441         * sem_ch3.adb, sem_ch8.adb: Minor reformatting.
2442
2443 2010-06-22  Thomas Quinot  <quinot@adacore.com>
2444
2445         * sem_elab.adb: Minor reformatting.
2446
2447 2010-06-22  Vincent Celier  <celier@adacore.com>
2448
2449         * gnatsym.adb: Put the object files in the table in increasing
2450         aphabetical order of base names.
2451
2452 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2453
2454         * sem_ch8.adb (Set_Entity_Or_Discriminal): New procedure used by
2455         Find_Direct_Name and Find_Expanded_Name, to replace a discriminant with
2456         the corresponding discriminal within a record declaration.
2457
2458 2010-06-22  Thomas Quinot  <quinot@adacore.com>
2459
2460         * exp_aggr.adb (Rewrite_Discriminant): Rewriting must occur only for an
2461         expression referring to a discriminal of the type of the aggregate (not
2462         a discriminal of some other unrelated type), and the prefix in the
2463         generated selected component must come from Lhs, not Obj.
2464
2465 2010-06-22  Thomas Quinot  <quinot@adacore.com>
2466
2467         * sem_ch3.adb (Build_Derived_Record_Type): Fix predicate determining
2468         when to freeze the parent type.
2469
2470 2010-06-22  Robert Dewar  <dewar@adacore.com>
2471
2472         * s-rannum.adb, a-nudira.adb, types.ads, freeze.adb, sem_aggr.adb,
2473         exp_aggr.adb: Minor reformatting.
2474         * gnat_rm.texi: Document GNAT.MBBS_Discrete_Random and
2475         GNAT.MBSS_Float_Random.
2476         * g-mbdira.adb, g-mbflra.adb, g-mbdira.ads, g-mbflra.ads: Fix header.
2477
2478 2010-06-22  Paul Hilfinger  <hilfinger@adacore.com>
2479
2480         * a-nudira.adb, a-nudira.ads, a-nuflra.adb, a-nuflra.ads,
2481         gnat_rm.texi, impunit.adb, Makefile.rtl, s-rannum.adb
2482         (Random_Float_Template, Random): New method of creating
2483         uniform floating-point variables that allow the creation of all machine
2484         values in [0 .. 1).  
2485
2486         * g-mbdira.adb, g-mbflra.adb, g-mbdira.ads, g-mbflra.ads: New file.
2487
2488 2010-06-22  Gary Dismukes  <dismukes@adacore.com>
2489
2490         * sem_ch5.adb (Analyze_Assignment): Revise test for illegal assignment
2491         to abstract targets to check that the type is tagged and comes from
2492         source, rather than only testing for targets of interface types. Remove
2493         premature return.
2494
2495 2010-06-22  Vincent Celier  <celier@adacore.com>
2496
2497         * vms_data.ads: Modify the declarations of qualifiers
2498         /UNCHECKED_SHARED_LIB_IMPORTS to allow the generation of gnat.hlp
2499         without error.
2500
2501 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2502
2503         * exp_ch6.adb (Is_Build_In_Place_Function): Predicate is false if
2504         expansion is disabled.
2505
2506 2010-06-22  Robert Dewar  <dewar@adacore.com>
2507
2508         * makeusg.adb: Minor reformatting.
2509
2510 2010-06-22  Robert Dewar  <dewar@adacore.com>
2511
2512         * types.ads: (Dint): Removed, no longer used anywhere.
2513         * uintp.adb (UI_From_CC): Use UI_From_Int, range is sufficient.
2514         (UI_Mul): Avoid use of UI_From_Dint.
2515         (UI_From_Dint): Removed, not used.
2516         * uintp.ads (UI_From_Dint): Removed, not used.
2517         (Uint_Min/Max_Simple_Mul): New constants.
2518
2519 2010-06-22  Vincent Celier  <celier@adacore.com>
2520
2521         * clean.adb (Parse_Cmd_Line): Recognize switch
2522         --unchecked-shared-lib-imports.
2523         (Usage): Add line for switch --unchecked-shared-lib-imports
2524         * makeusg.adb: Add line for switch --unchecked-shared-lib-imports
2525         * makeutl.ads: (Unchecked_Shared_Lib_Imports): New constant string
2526         moved from GPR_Util.
2527         * switch-m.adb (Scan_Make_Switches): Recognize switch
2528         --unchecked-shared-lib-imports.
2529         * vms_data.ads: Add VMS qualifiers /UNCHECKED_SHARED_LIB_IMPORTS.
2530         * gnat_ugn.texi: Add documentation for new switch
2531         --unchecked-shared-lib-imports.  Add also documentation for --subdirs.
2532
2533 2010-06-22  Javier Miranda  <miranda@adacore.com>
2534
2535         * sem_prag.adb, sem_util.adb, sem_util.ads, sem_attr.adb, exp_ch6.adb,
2536         exp_disp.adb, sem_eval.adb, exp_dist.adb lib-xref.adb: Code cleanup,
2537         this patch replaces duplication of code that traverses the chain of
2538         aliased primitives by a call to routine Ultimate_Alias that
2539         provides this functionality.
2540
2541 2010-06-22  Arnaud Charlet  <charlet@adacore.com>
2542
2543         * fmap.adb, opt.ads, osint.adb, osint.ads, output.ads, scng.adb,
2544         sinput-c.adb, switch-m.ads, tree_io.ads: Use simpler form of
2545         Warnings Off/On.
2546
2547 2010-06-22  Thomas Quinot  <quinot@adacore.com>
2548
2549         * einfo.ads: Minor reformatting.
2550
2551 2010-06-22  Javier Miranda  <miranda@adacore.com>
2552
2553         * exp_disp.adb (Expand_Interface_Thunk): Do not generate thunk of
2554         eliminated primitives.
2555         (Make_DT): Avoid referencing eliminated primitives.
2556         (Register_Primitive): Do not register eliminated primitives in the
2557         dispatch table. Required to add this functionality when the program is
2558         compiled without static dispatch tables (-gnatd.t)
2559
2560 2010-06-22  Emmanuel Briot  <briot@adacore.com>
2561
2562         * fmap.adb, scng.adb, switch-m.ads, sinput-c.adb, opt.ads, output.ads,
2563         tree_io.ads, osint.adb, osint.ads: Use configuration pragmas to prevent
2564         warnings on use of internal GNAT units.
2565
2566 2010-06-22  Jose Ruiz  <ruiz@adacore.com>
2567
2568         * s-taprop-vxworks.adb (Set_Priority): Update comments.
2569
2570 2010-06-22  Paul Hilfinger  <hilfinger@adacore.com>
2571
2572         * s-rannum.adb: Make stylistic change to remove mystery constant in
2573         Extract_Value.  Image_Numeral_Length: new symbolic constant.
2574
2575 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2576
2577         * einfo.ads, einfo.adb: Make Is_Protected_Interface,
2578         Is_Synchronized_Interface, Is_Task_Interface into computable
2579         predicates, to free three flags in entity nodes.
2580         * sem_ch3.adb: Remove setting of these flags.
2581
2582 2010-06-22  Robert Dewar  <dewar@adacore.com>
2583
2584         * uintp.adb, osint.adb, prj-conf.adb, prj-part.adb, prj.adb: Minor
2585         reformatting.
2586         * s-taprop-vxworks.adb: Add comment for Set_Priority.
2587         * impunit.adb (Map_Array): Add entries for s-htable.ads and s-crc32.ads
2588         * projects.texi: Move @cindex to the left margin, since otherwise we
2589         are missing entries in the index.
2590
2591 2010-06-22  Emmanuel Briot  <briot@adacore.com>
2592
2593         * prj-part.adb, prj.adb, tempdir.ads, makeutl.adb: Use
2594         packages from the GNAT hierarchy instead of System when possible.
2595         * gcc-interface/Make-lang.in: Update dependencies.
2596
2597 2010-06-22  Jose Ruiz  <ruiz@adacore.com>
2598
2599         * s-taprop-vxworks.adb (Set_Priority): Remove the code that was
2600         previously in place to reorder the ready queue when a task drops its
2601         priority due to the loss of inherited priority.
2602
2603 2010-06-22  Vincent Celier  <celier@adacore.com>
2604
2605         * projects.texi: Minor spelling error fixes.
2606         Minor reformatting.
2607
2608 2010-06-22  Emmanuel Briot  <briot@adacore.com>
2609
2610         * prj-part.adb, prj-ext.adb, prj.adb, makeutl.adb, prj-conf.adb: Remove
2611         warnings for some with clauses.
2612
2613 2010-06-22  Robert Dewar  <dewar@adacore.com>
2614
2615         * errout.adb (Unwind_Internal_Type): Improve handling of First_Subtype
2616         test to catch more cases where first subtype is the results we want.
2617         * sem_res.adb (Make_Call_Into_Operator): Don't go to First_Subtype in
2618         error case, since Errout will now handle this correctly.
2619         * gcc-interface/Make-lang.in: Add Sem_Aux to list of GNATBIND objects.
2620         Update dependencies.
2621
2622 2010-06-22  Arnaud Charlet  <charlet@adacore.com>
2623
2624         * exp_ch4.adb (Expand_Allocator_Expression): Set Related_Node properly
2625         when calling Make_Temporary.
2626
2627 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2628
2629         * sem_ch3.adb (Access_Subprogram_Declaration): An anonymous access to
2630         subprogram can be associated with an entry body.
2631
2632 2010-06-22  Robert Dewar  <dewar@adacore.com>
2633
2634         * scos.ads: Add note on membership test handling.
2635
2636 2010-06-22  Vincent Celier  <celier@adacore.com>
2637
2638         * projects.texi: Minor spelling fixes.
2639         Minor reformatting.
2640
2641 2010-06-22  Paul Hilfinger  <hilfinger@adacore.com>
2642
2643         * s-rannum.adb: Correct off-by-one error in Extract_Value.
2644
2645 2010-06-22  Vincent Celier  <celier@adacore.com>
2646
2647         * mlib-prj.adb (Display): In non verbose mode, truncate after fourth
2648         argument.
2649         * mlib-utl.adb (Gcc): In non verbose mode, truncate the display of the
2650         gcc command if it is too long.
2651
2652 2010-06-22  Robert Dewar  <dewar@adacore.com>
2653
2654         * errout.adb (Set_Msg_Node): Fix incorrect reference to node.
2655
2656 2010-06-22  Arnaud Charlet  <charlet@adacore.com>
2657
2658         * exp_ch6.adb (Expand_Actuals): Use Actual as the related node when
2659         calling Make_Temporary.
2660
2661 2010-06-22  Robert Dewar  <dewar@adacore.com>
2662
2663         * sem_res.adb, sem_aux.adb, errout.adb: Minor reformatting.
2664
2665 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2666
2667         * sem_res.adb: Additional special-case for VMS.
2668
2669 2010-06-22  Vincent Celier  <celier@adacore.com>
2670
2671         * gnatsym.adb: Minor comment fix.
2672
2673 2010-06-22  Vincent Celier  <celier@adacore.com>
2674
2675         * prj-nmsc.adb (Process_Naming_Scheme): Initialize table Lib_Data_Table.
2676
2677 2010-06-22  Robert Dewar  <dewar@adacore.com>
2678
2679         * par-ch4.adb (P_Name): Recognize 'Mod attribute in Ada 95 mode
2680         * sem_attr.adb (Attribute_05): Add Name_Mod so that 'Mod recognized in
2681         Ada 95 mode as an implementation defined attribute.
2682
2683 2010-06-22  Vincent Celier  <celier@adacore.com>
2684
2685         * bindusg.adb (Display): Update line for -R
2686         * switch-b.adb (Scan_Binder_Switches): Allow generation of the binder
2687         generated files when -R is used.
2688
2689 2010-06-22  Vincent Celier  <celier@adacore.com>
2690
2691         * prj-nmsc.adb (Lib_Data_Table): New table.
2692         (Check_Library_Attributes): Check if the same library name is used in
2693         two different projects that do not extend each other.
2694
2695 2010-06-22  Robert Dewar  <dewar@adacore.com>
2696
2697         * lib-writ.ads, errout.adb, einfo.adb, einfo.ads: Minor reformatting.
2698
2699 2010-06-22  Vincent Celier  <celier@adacore.com>
2700
2701         * adaint.c (__gnat_locate_regular_file): If a directory in the path is
2702         empty, make it the current working directory.
2703
2704 2010-06-22  Thomas Quinot  <quinot@adacore.com>
2705
2706         * sem_ch3.adb (Build_Derived_Record_Type): When deriving a tagged
2707         private type with discriminants, make sure the parent type is frozen.
2708
2709 2010-06-22  Eric Botcazou  <ebotcazou@adacore.com>
2710
2711         * exp_attr.adb (Expand_N_Attribute_Reference) <Attribute_Bit>: Deal
2712         with packed array references specially.
2713         * exp_ch4.adb (Expand_N_Indexed_Component): Do not convert a reference
2714         to a component of a bit packed array if it is the prefix of 'Bit.
2715         * exp_pakd.ads (Expand_Packed_Bit_Reference): Declare.
2716         * exp_pakd.adb (Expand_Packed_Bit_Reference): New procedure.  Expand a
2717         'Bit reference, where the prefix involves a packed array reference.
2718         (Get_Base_And_Bit_Offset): New helper, extracted from...
2719         (Expand_Packed_Address_Reference): ...here.  Call above procedure to
2720         get the outer object and offset expression.
2721
2722 2010-06-22  Thomas Quinot  <quinot@adacore.com>
2723
2724         * exp_attr.adb, lib-writ.ads, bindgen.adb: Minor reformatting.
2725         * einfo.adb (Related_Expression, Set_Related_Expression): Add
2726         assertions.
2727
2728 2010-06-22  Javier Miranda  <miranda@adacore.com>
2729
2730         * sem_ch3.adb (Add_Internal_Interface_Entities): Minor code
2731         reorganization to properly check if the operation has been inherited as
2732         an abstract operation.
2733
2734 2010-06-22  Ed Falis  <falis@adacore.com>
2735
2736         * s-osinte-vxworks.ads: Complete previous change.
2737
2738 2010-06-22  Thomas Quinot  <quinot@adacore.com>
2739
2740         * sem_res.adb: Add comment.
2741         * projects.texi, gnat_ugn.texi: Remove macro.
2742
2743 2010-06-22  Vincent Celier  <celier@adacore.com>
2744
2745         * prj-attr.adb: Remove project level attribute Main_Language.
2746
2747 2010-06-22  Robert Dewar  <dewar@adacore.com>
2748
2749         * switch-b.adb, osint-b.adb: Minor reformatting.
2750
2751 2010-06-22  Pascal Obry  <obry@adacore.com>
2752
2753         * g-socthi-mingw.adb (C_Sendmsg): Do not attempt to send data from a
2754         vector if previous send was not fully successful. If only part of
2755         the vector data was sent, we exit the loop.
2756
2757 2010-06-22  Thomas Quinot  <quinot@adacore.com>
2758
2759         * sem_res.adb (Make_Call_Into_Operator): Use First_Subtype for better
2760         error reporting with generic types.
2761
2762 2010-06-22  Thomas Quinot  <quinot@adacore.com>
2763
2764         * bindgen.adb, bindusg.adb, gnatbind.adb, gnat_ugn.texi, opt.ads,
2765         osint-b.adb, osint-b.ads, output.adb, output.ads, switch-b.adb,
2766         vms_data.ads: Add a new command line switch -A to gnatbind to output
2767         the list of all ALI files for the partition.
2768
2769 2010-06-22  Arnaud Charlet  <charlet@adacore.com>
2770
2771         * s-osinte-vxworks.ads: Fix casing.
2772         * s-vxwext-kernel.ads, s-vxwext-rtp.ads: Complete previous
2773         change: Interfaces.C does not provide a long_long type.
2774
2775 2010-06-22  Emmanuel Briot  <briot@adacore.com>
2776
2777         * gnat_ugn.texi, projects.texi: Preprocess projects.texi for VMS and
2778         native user's guide, since this document contains the two versions.
2779         * gcc-interface/Make-lang.in: Update doc dependencies.
2780
2781 2010-06-22  Robert Dewar  <dewar@adacore.com>
2782
2783         * sem_ch3.adb: Minor reformatting.  Minor code reorganization.
2784
2785 2010-06-22  Emmanuel Briot  <briot@adacore.com>
2786
2787         * gnat_ugn.texi, projects.texi: Remove toplevel menu, since we should
2788         not build this file on its own (only through gnat_ugn.texi).
2789         Remove macro definitions and insert simpler version in gnat_ugn.texi.
2790
2791 2010-06-22  Robert Dewar  <dewar@adacore.com>
2792
2793         * ali-util.ads: Minor comment update.
2794         * g-socthi-mingw.adb: Minor reformatting.
2795
2796 2010-06-22  Ed Falis  <falis@adacore.com>
2797
2798         * s-osinte-vxworks.ads: take sigset_t definition from System.VxWorks.Ext
2799         * s-vxwext.ads, s-vxwext-kernel.ads, s-vxwext-rtp.ads: Define sigset_t
2800         for specific versions of VxWorks.
2801
2802 2010-06-22  Emmanuel Briot  <briot@adacore.com>
2803
2804         * gnat_rm.texi, gnat_ugn.texi, projects.texi: Remove all project files
2805         related sections from user's guide and reference manual, since they
2806         have now been merged together into a separate document (projects.texi).
2807         This removes a lot of duplication where attributes where described
2808         in several places.
2809         The grammar for the project files is now in each of the sections
2810         (packages,expressions,...) instead of being duplicates in two other
2811         sections (one in the user's guide that contained the full grammar,
2812         and various sections in the rm that contained extracts of the same
2813         grammar).
2814         Added the full list of all supported attributes, since existing lists
2815         were incomplete
2816         Rename "associative array" into "indexed attribute"
2817         Remove sections that were duplicates ("External References in
2818         Project Files" and "External Values", and "Project Extensions"
2819         for instance). The list of valid packages in project files is now in
2820         a single place.
2821
2822 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2823
2824         * sem_ch3.adb (Add_Internal_Interface_Entities): If
2825         Find_Primitive_Covering_Interface does not find the operation, it may
2826         be because of a name conflict between the inherited operation and a
2827         local non-overloadable name. In that case look for the operation among
2828         the primitive operations of the type. This search must succeed
2829         regardless of visibility.
2830
2831 2010-06-22  Pascal Obry  <obry@adacore.com>
2832
2833         * g-socthi-mingw.adb: Properly honor MSG_WAITALL in recvmsg.
2834         (C_Recvmsg): Propely honor the MSG_WAITALL flag in Windows
2835         recvmsg emulation.
2836
2837 2010-06-22  Robert Dewar  <dewar@adacore.com>
2838
2839         * sem_ch4.adb (Analyze_Conditional_Expression): Defend against
2840         malformed tree.
2841         * sprint.adb (Sprint_Node_Actual, case N_Conditional_Expression): Ditto.
2842
2843 2010-06-22  Arnaud Charlet  <charlet@adacore.com>
2844
2845         * s-intman-vxworks.ads: Code clean up.
2846
2847 2010-06-22  Thomas Quinot  <quinot@adacore.com>
2848
2849         * sem_res.adb (Resolve_Slice): When the prefix is an explicit
2850         dereference, construct actual subtype of designated object to generate
2851         proper bounds checks.
2852
2853 2010-06-22  Thomas Quinot  <quinot@adacore.com>
2854
2855         * ali-util.adb, ali-util.ads, gnatbind.adb (Read_ALI): Rename to
2856         Read_Withed_ALIs, which is more descriptive.
2857
2858 2010-06-22  Pascal Obry  <obry@adacore.com>
2859
2860         * g-sothco.ads: Minor reformatting.
2861         * g-socthi-mingw.adb: Remove part of work on the C_Recvmsg and
2862         C_Sendmsg implementation.
2863         (C_Sendmsg): Do not use lock (not needed).
2864         (C_Recvmsg): Likewise and also do not wait for incoming data.
2865
2866 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2867
2868         * uintp.adb: Fix scope error in operator call.
2869
2870 2010-06-22  Vincent Celier  <celier@adacore.com>
2871
2872         * makeutl.adb (Executable_Prefix_Path): on VMS, return "/gnu/".
2873         * prj-conf.adb (Get_Or_Create_Configuration_File): On VMS, if
2874         autoconfiguration is needed, fail indicating that no config project
2875         file can be found, as there is no autoconfiguration on VMS.
2876
2877 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2878
2879         * sem_res.adb (Make_Call_Into_Operator): Diagnose an incorrect scope
2880         for an operator in a functional notation, when operands are universal.
2881
2882 2010-06-22  Arnaud Charlet  <charlet@adacore.com>
2883
2884         * gcc-interface/Make-lang.in: Update dependencies.
2885
2886 2010-06-22  Robert Dewar  <dewar@adacore.com>
2887
2888         * sem_aggr.adb (Resolve_Record_Aggregate): Do style check on component
2889         name.
2890         * sem_ch10.adb (Analyze_Subunit): Do style check on parent unit name.
2891         * sem_ch8.adb (Find_Direct_Name): For non-overloadable entities, do
2892         style check.
2893         * sem_res.adb (Resolve_Entity_Name): Do style check for enumeration
2894         literals.
2895
2896 2010-06-22  Vincent Celier  <celier@adacore.com>
2897
2898         * make.adb (Scan_Make_Arg): No longer pass -nostdlib to the compiler as
2899         it has no effect. Always pass -nostdlib to gnatlink, even on VMS.
2900
2901 2010-06-22  Pascal Obry  <obry@adacore.com>
2902
2903         * g-socthi-mingw.adb: Fix implementation of the vectored sockets on
2904         Windows.
2905         (C_Recvmsg): Make sure the routine is atomic. Also fully
2906         fill vectors in the proper order.
2907         (C_Sendmsg): Make sure the routine is atomic.
2908
2909 2010-06-22  Robert Dewar  <dewar@adacore.com>
2910
2911         * sem_ch8.adb: Update comment.
2912         * sem_res.adb: Minor code reorganization (use Ekind_In).
2913
2914 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2915
2916         * sem_ch8.adb (Add_Implicit_Operator): If the context of the expanded
2917         name is a call, use the number of actuals to determine whether this is
2918         a binary or unary operator, rather than relying on later information
2919         to resolve the overload.
2920
2921 2010-06-22  Robert Dewar  <dewar@adacore.com>
2922
2923         * sem_ch10.adb, sem_aggr.adb: Minor reformatting.
2924
2925 2010-06-22  Robert Dewar  <dewar@adacore.com>
2926
2927         * sem_ch3.adb, sem_disp.adb: Minor code fixes.
2928         * sem_eval.adb: Minor reformatting.
2929
2930 2010-06-22  Vincent Celier  <celier@adacore.com>
2931
2932         * make.adb (Scan_Make_Arg): When invoked with -nostdlib, pass -nostdlib
2933         to gnatlink, except on Open VMS.
2934         * osint.adb (Add_Default_Search_Dirs): Do not suppress the default
2935         object directories if -nostdlib is used.
2936
2937 2010-06-22  Robert Dewar  <dewar@adacore.com>
2938
2939         * sem_util.adb (Is_Delegate): Put in proper alpha order.
2940         * sem_eval.adb: Minor reformatting.
2941
2942 2010-06-22  Robert Dewar  <dewar@adacore.com>
2943
2944         * g-expect-vms.adb, sem_res.adb: Minor reformatting.
2945         * exp_aggr.adb: Minor comment changes and reformatting.
2946         * sem_eval.adb (Find_Universal_Operator_Type): Put in proper alpha order
2947         * sem_util.ads: Add some missing pragma Inline's (efficiency issue only)
2948
2949 2010-06-22  Thomas Quinot  <quinot@adacore.com>
2950
2951         * sem_util.adb (Build_Actual_Subtype): Record original expression in
2952         Related_Expression attribute of the constructed subtype.
2953         * einfo.adb, einfo.ads (Underlying_View): Move to Node28 to free up
2954         Node24 on types for...
2955         (Related_Expression): Make attribute available on types as well.
2956
2957 2010-06-22  Gary Dismukes  <dismukes@adacore.com>
2958
2959         * exp_util.adb (Find_Interface_ADT): Retrieve Designated_Type instead of
2960         Directly_Designated_Type when the type argument is an access type.
2961         (Find_Interface_Tag): Retrieve Designated_Type instead of
2962         Directly_Designated_Type when the type argument is an access type.
2963         (Has_Controlled_Coextensions): Retrieve Designated_Type instead of
2964         Directly_Designated_Type of each access discriminant.
2965         * sem_res.adb (Resolve_Type_Conversion): Retrieve Designated_Type
2966         instead of Directly_Designated_Type when the operand and target types
2967         are access types.
2968
2969 2010-06-22  Thomas Quinot  <quinot@adacore.com>
2970
2971         * exp_aggr.adb (Flatten): Return False if one choice is statically
2972         known to be out of bounds.
2973
2974 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2975
2976         * sem_res.adb (Resolve_Call): If the call is rewritten as an indexed of
2977         a parameterless function call, preserve parentheses of original
2978         expression, for proper handling by pretty printer.
2979         * sem_attr.adb (Analyze_Attribute, case 'Old): Add guard to Process
2980         procedure, to handle quietly identifiers that have no entity names.
2981         * exp_util.adb (Get_Current_Value_Condition): If the parent of an
2982         elsif_part is missing, it has been rewritten as a nested if, and there
2983         is no useful information on the current value of the variable.
2984
2985 2010-06-22  Gary Dismukes  <dismukes@adacore.com>
2986
2987         * sem_ch3.adb (Build_Discriminal): Set default scopes for newly created
2988         discriminals to the current scope.
2989         * sem_util.adb (Find_Body_Discriminal): Remove setting of discriminal's
2990         scope, which could overwrite a different already set value.
2991
2992 2010-06-22  Ed Schonberg  <schonberg@adacore.com>
2993
2994         * sem_res.adb (Valid_Conversion): If expression is a predefined
2995         operator, use sloc of type of interpretation to improve error message
2996         when operand is of some derived type.
2997         * sem_eval.adb (Is_Mixed_Mode_Operand): New function, use it.
2998
2999 2010-06-22  Emmanuel Briot  <briot@adacore.com>
3000
3001         * g-expect-vms.adb (Expect_Internal): No longer raises an exception, so
3002         that it can set out parameters as well. When a process has died, reset
3003         its Input_Fd to Invalid_Fd, so that when using multiple processes we
3004         can find out which process has died.
3005
3006 2010-06-22  Thomas Quinot  <quinot@adacore.com>
3007
3008         * sem_eval.adb (Find_Universal_Operator_Type): New
3009         subprogram to identify the operand type of an operator on universal
3010         operands, when an explicit scope indication is present. Diagnose the
3011         case where such a call is ambiguous.
3012         (Eval_Arithmetic_Op, Eval_Relational_Op, Eval_Unary_Op):
3013         Use the above to identify the operand type so it can be properly frozen.
3014         * sem_res.adb (Make_Call_Into_Operator): Remove bogus freeze of operand
3015         type, done in an arbitrary, possibly incorrect type (the presence of
3016         some numeric type in the scope is checked for legality, but when more
3017         than one such type is in the scope, we just pick a random one, not
3018         necessarily the expected one).
3019         * sem_utils.ads, sem_utils.adb (Is_Universal_Numeric_Type): New utility
3020         subprogram.
3021
3022 2010-06-22  Robert Dewar  <dewar@adacore.com>
3023
3024         * sem_eval.adb: Minor reformatting.
3025
3026 2010-06-22  Robert Dewar  <dewar@adacore.com>
3027
3028         * exp_ch4.adb (Expand_N_Conditional_Expression): Use
3029         Expression_With_Actions to clean up the code generated when folding
3030         constant expressions.
3031
3032 2010-06-22  Vincent Celier  <celier@adacore.com>
3033
3034         * g-expect-vms.adb: Add new subprograms Free, First_Dead_Process and
3035         Has_Process.
3036
3037 2010-06-22  Vincent Celier  <celier@adacore.com>
3038
3039         * prj-nmsc.adb (Find_Sources): When a source from a multi-unit file is
3040         found, check if it's path has aready been found, whatever its index.
3041
3042 2010-06-22  Robert Dewar  <dewar@adacore.com>
3043
3044         * atree.adb, gnatbind.adb: Minor reformatting.
3045         Minor code reorganization.
3046
3047 2010-06-21  Robert Dewar  <dewar@adacore.com>
3048
3049         * exp_ch4.adb (Expand_N_Conditional_Expression): Fold if condition
3050         known at compile time.
3051
3052 2010-06-21  Gary Dismukes  <dismukes@adacore.com>
3053
3054         * atree.adb: Fix comment typo.
3055
3056 2010-06-21  Ed Schonberg  <schonberg@adacore.com>
3057
3058         * sem_eval.adb (Test_Ambiguous_Operator): New procedure to check
3059         whether a universal arithmetic expression in a conversion, which is
3060         rewritten from a function call with an expanded name, is ambiguous.
3061
3062 2010-06-21  Vincent Celier  <celier@adacore.com>
3063
3064         * prj-nmsc.adb (Name_Location): New Boolean component Listed, to record
3065         source files in specified list of sources.
3066         (Check_Package_Naming): Remove out parameters Bodies and Specs, as they
3067         are never used.
3068         (Add_Source): Set the Location of the new source
3069         (Process_Exceptions_File_Based): Call Add_Source with the Location
3070         (Get_Sources_From_File): If an exception is found, set its Listed to
3071         True
3072         (Find_Sources): When Source_Files is specified, if an exception is
3073         found, set its Listed to True. Remove any exception that is not in a
3074         specified list of sources.
3075         * prj.ads (Source_Data): New component Location
3076
3077 2010-06-21  Vincent Celier  <celier@adacore.com>
3078
3079         * gnatbind.adb (Closure_Sources): Global table, moved from block.
3080
3081 2010-06-21  Thomas Quinot  <quinot@adacore.com>
3082
3083         * sem_res.adb: Minor reformatting.
3084         * atree.adb: New debugging hook "rr" for node rewrites.
3085
3086 2010-06-21  Robert Dewar  <dewar@adacore.com>
3087
3088         * g-expect.ads, g-expect.adb: Minor reformatting.
3089
3090 2010-06-21  Emmanuel Briot  <briot@adacore.com>
3091
3092         * s-regpat.adb (Next_Pointer_Bytes): New named constant. Code clean up.
3093
3094 2010-06-21  Arnaud Charlet  <charlet@adacore.com>
3095
3096         * gcc-interface/Make-lang.in: Update dependencies.
3097
3098 2010-06-21  Thomas Quinot  <quinot@adacore.com>
3099
3100         * bindgen.ads: Update comments.
3101
3102 2010-06-21  Vincent Celier  <celier@adacore.com>
3103
3104         * gnatbind.adb: Suppress dupicates when listing the sources in the
3105         closure (switch -R).
3106
3107 2010-06-21  Emmanuel Briot  <briot@adacore.com>
3108
3109         * s-regpat.adb (Link_Tail): Fix error when size of the pattern matcher
3110         is too small.
3111
3112 2010-06-21  Emmanuel Briot  <briot@adacore.com>
3113
3114         * g-expect.adb, g-expect.ads (First_Dead_Process, Free, Has_Process):
3115         New subprograms.
3116         (Expect_Internal): No longer raises an exception, so that it can set
3117         out parameters as well. When a process has died, reset its Input_Fd
3118         to Invalid_Fd, so that when using multiple processes we can find out
3119         which process has died.
3120
3121 2010-06-21  Robert Dewar  <dewar@adacore.com>
3122
3123         * s-regpat.adb, s-tpoben.adb, sem_attr.adb, sem_util.adb, sem_util.ads,
3124         checks.adb, sem_res.adb: Minor reformatting. Add comments.
3125
3126 2010-06-21  Ed Schonberg  <schonberg@adacore.com>
3127
3128         * sem_ch6.adb (New_Overloaded_Entity): If the new entity is a
3129         rederivation associated with a full declaration in a private part, and
3130         there is a partial view that derives the same parent subprogram, the
3131         new entity does not become visible. This check must be applied to
3132         interface operations as well.
3133
3134 2010-06-21  Thomas Quinot  <quinot@adacore.com>
3135
3136         * checks.adb: Add comments.
3137         * prj-nmsc.adb: Minor reformatting.
3138
3139 2010-06-21  Thomas Quinot  <quinot@adacore.com>
3140
3141         * sem_ch9.adb, checks.adb, sem_util.adb, sem_util.ads, sem_res.adb,
3142         sem_attr.adb (Get_E_First_Or_Last): Use attribute references on E to
3143         extract bounds, to ensure that we get the proper captured values,
3144         rather than an expression that may have changed value since the point
3145         where the subtype was elaborated.
3146         (Find_Body_Discriminal): New utility subprogram to share code between...
3147         (Eval_Attribute): For the case of a subtype bound that references a
3148         discriminant of the current concurrent type, insert appropriate
3149         discriminal reference.
3150         (Resolve_Entry.Actual_Index_Type.Actual_Discriminant_Ref): For a
3151         requeue to an entry in a family in the current task, use corresponding
3152         body discriminal. 
3153         (Analyze_Accept_Statement): Rely on expansion of attribute references
3154         to insert proper discriminal references in range check for entry in
3155         family.
3156
3157 2010-06-21  Emmanuel Briot  <briot@adacore.com>
3158
3159         * s-regpat.adb (Compile): Fix handling of big patterns.
3160
3161 2010-06-21  Robert Dewar  <dewar@adacore.com>
3162
3163         * a-tifiio.adb: Minor reformatting.
3164
3165 2010-06-21  Pascal Obry  <obry@adacore.com>
3166
3167         * prj-nmsc.adb (Search_Directories): Use the non-translated directory
3168         path to open it.
3169
3170 2010-06-21  Javier Miranda  <miranda@adacore.com>
3171
3172         * exp_cg.adb (Write_Call_Info): Fill the component sourcename using the
3173         external name.
3174
3175 2010-06-21  Ed Schonberg  <schonberg@adacore.com>
3176
3177         * exp_ch4.adb (Expand_Concatenate): If an object declaration is created
3178         to hold the result, indicate that the target of the declaration does
3179         not need an initialization, to prevent spurious errors when
3180         Initialize_Scalars is enabled.
3181
3182 2010-06-21  Ed Schonberg  <schonberg@adacore.com>
3183
3184         * a-tifiio.adb (Put): In the procedure that performs I/O on a String,
3185         Fore is not bound by line length. The Fore parameter of the internal
3186         procedure that performs the operation is an integer.
3187
3188 2010-06-21  Thomas Quinot  <quinot@adacore.com>
3189
3190         * sem_res.adb, checks.adb: Minor reformatting.
3191
3192 2010-06-21  Emmanuel Briot  <briot@adacore.com>
3193
3194         * s-regpat.adb (Next_Instruction, Get_Next_Offset): Removed, merged
3195         into Get_Next.
3196         (Insert_Operator_Before): New subprogram, avoids duplicated code
3197         (Compile): Avoid doing two compilations when the pattern matcher ends
3198         up being small.
3199
3200 2010-06-21  Emmanuel Briot  <briot@adacore.com>
3201
3202         * s-regpat.adb: Improve debug traces
3203         (Dump): Change output format to keep it smaller.
3204
3205 2010-06-21  Javier Miranda  <miranda@adacore.com>
3206
3207         * exp_cg.adb (Generate_CG_Output): Disable redirection of standard
3208         output to the output file when this routine completes its work.
3209
3210 2010-06-20  Eric Botcazou  <ebotcazou@adacore.com>
3211
3212         * gcc-interface/trans.c (Subprogram_Body_to_gnu): Use while instead of
3213         for loop.  Call build_constructor_from_list directly in the CICO case.
3214
3215 2010-06-18  Ed Schonberg  <schonberg@adacore.com>
3216
3217         * freeze.adb (Build_And_Analyze_Renamed_Body): If the renaming
3218         declaration appears in the same unit and ealier than the renamed
3219         entity, retain generated body to prevent order-of-elaboration issues in
3220         gigi.
3221
3222 2010-06-18  Arnaud Charlet  <charlet@adacore.com>
3223
3224         * s-tpoben.adb: Update comments.
3225
3226 2010-06-18  Robert Dewar  <dewar@adacore.com>
3227
3228         * debug.adb: Minor comment change.
3229
3230 2010-06-18  Javier Miranda  <miranda@adacore.com>
3231
3232         * exp_cg.adb: Code clean up.
3233         * debug.adb: Complete documentation of switch -gnatd.Z.
3234         * gcc-interface/misc.c (callgraph_info_file): Declare.
3235
3236 2010-06-18  Javier Miranda  <miranda@adacore.com>
3237
3238         * exp_cg.adb (Homonym_Suffix_Length): Minor code reorganization.
3239
3240 2010-06-18  Thomas Quinot  <quinot@adacore.com>
3241
3242         * sprint.ads: Minor reformatting.
3243         * output.ads: Update obsolete comment.
3244
3245 2010-06-18  Ed Schonberg  <schonberg@adacore.com>
3246
3247         * freeze.adb (Build_And_Analyze_Renamed_Body): if the renamed entity is
3248         an external intrinsic operation (e.g. a GCC numeric function) indicate
3249         that the renaming entity has the same characteristics, so a call to it
3250         is properly expanded.
3251
3252 2010-06-18  Javier Miranda  <miranda@adacore.com>
3253
3254         * exp_cg.adb, exp_cg.ads, exp_disp.adb, gnat1drv.adb: Add initial
3255         support for dispatch table/callgraph info generation.
3256         * gcc-interface/Make-lang.in: Update dependencies.
3257
3258 2010-06-18  Robert Dewar  <dewar@adacore.com>
3259
3260         * exp_ch6.adb: Minor reformatting.
3261         * gnatname.adb: Add comment.
3262
3263 2010-06-18  Vincent Celier  <celier@adacore.com>
3264
3265         * gnatname.adb (Scan_Args): When --and is used, make sure that the
3266         dynamic tables in the newly allocated Argument_Data are properly
3267         initialized.
3268
3269 2010-06-18  Eric Botcazou  <ebotcazou@adacore.com>
3270
3271         * gnat1drv.adb: Fix comment.
3272
3273 2010-06-18  Ed Schonberg  <schonberg@adacore.com>
3274
3275         * exp_ch6.adb (Expand_Inlined_Call): If the inlined subprogram is a
3276         renaming, re-expand the call with the renamed subprogram if that one
3277         is marked inlined as well.
3278
3279 2010-06-18  Gary Dismukes  <dismukes@adacore.com>
3280
3281         * gnat1drv.adb (Adjust_Global_Switches): Enable
3282         Use_Expression_With_Actions for AAMP and VM targets.
3283
3284 2010-06-18  Vincent Celier  <celier@adacore.com>
3285
3286         * prj-nmsc.adb (Process_Linker): Recognize response file format GCC.
3287
3288 2010-06-18  Thomas Quinot  <quinot@adacore.com>
3289
3290         * exp_ch4.adb: Minor reformatting.
3291
3292 2010-06-18  Javier Miranda  <miranda@adacore.com>
3293
3294         * debug.ads Add documentation on -gnatd.Z.
3295
3296 2010-06-18  Ed Schonberg  <schonberg@adacore.com>
3297
3298         * sem_elim.adb: Proper error message on improperly eliminated instances
3299
3300 2010-06-18  Vincent Celier  <celier@adacore.com>
3301
3302         * prj.ads (Response_File_Format): New value GCC.
3303
3304 2010-06-18  Thomas Quinot  <quinot@adacore.com>
3305
3306         * gnat1drv.adb: Minor reformatting.
3307
3308 2010-06-18  Robert Dewar  <dewar@adacore.com>
3309
3310         * make.adb, sem_cat.adb: Minor reformatting.
3311         * sem_eval.adb: Fix typos.
3312
3313 2010-06-18  Pascal Obry  <obry@adacore.com>
3314
3315         * prj-nmsc.adb: Fix source filenames casing in debug output.
3316
3317 2010-06-18  Robert Dewar  <dewar@adacore.com>
3318
3319         * gnatcmd.adb: Minor reformatting.
3320
3321 2010-06-18  Robert Dewar  <dewar@adacore.com>
3322
3323         * sem_eval.adb (Eval_Conditional_Expression): Result is static if
3324         condition and both sub-expressions are static (and result is selected
3325         expression).
3326
3327 2010-06-18  Robert Dewar  <dewar@adacore.com>
3328
3329         * g-pehage.adb: Minor reformatting
3330
3331 2010-06-18  Pascal Obry  <obry@adacore.com>
3332
3333         * prj-nmsc.adb (Search_Directories): Insert canonical filenames into
3334         source hash table.
3335
3336 2010-06-18  Arnaud Charlet  <charlet@adacore.com>
3337
3338         * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Update
3339         dependencies. Fix target pairs on darwin.
3340         (gnatlib-sjlj, gnatlib-zcx): Pass THREAD_KIND.
3341
3342 2010-06-18  Pascal Obry  <obry@adacore.com>
3343
3344         * make.adb, prj-nmsc.adb: Fix source filenames casing in debug output.
3345
3346 2010-06-18  Vincent Celier  <celier@adacore.com>
3347
3348         * gnatcmd.adb: For gnatcheck, add -gnatec= switch for a global
3349         configuration pragmas file and, if -U is not used, for a local one.
3350
3351 2010-06-18  Ed Schonberg  <schonberg@adacore.com>
3352
3353         * sem_elim.adb (Check_Eliminated): Use full information on entity name
3354         when it is given in the pragma by a selected component.
3355         (Check_For_Eliminated_Subprogram): Do no emit error if within a
3356         instance body that is itself within a generic unit.
3357         * sem_ch12.adb (Analyze_Subprogram_Instance): If the subprogram is
3358         eliminated, mark as well the anonymous subprogram that is its alias
3359         and appears within the wrapper package.
3360
3361 2010-06-18  Bob Duff  <duff@adacore.com>
3362
3363         * g-pehage.ads, g-pehage.adb (Produce): Clean up some of the code.
3364         Raise an exception if the output file cannot be opened. Add comments.
3365
3366 2010-06-18  Thomas Quinot  <quinot@adacore.com>
3367
3368         * sem_cat.adb (Validate_Object_Declaration): A variable declaration is
3369         not illegal per E.2.2(7) if it occurs in the private part of a
3370         Remote_Types unit.
3371
3372 2010-06-18  Arnaud Charlet  <charlet@adacore.com>
3373
3374         * par-ch9.adb, sem_aggr.adb, sem_ch3.adb, layout.adb, sem_ch4.adb,
3375         sem_ch5.adb, sem_mech.adb, exp_util.adb, par-ch10.adb, sem_ch6.adb,
3376         par-ch11.adb, sem_ch7.adb, par-prag.adb, exp_disp.adb, par-ch12.adb,
3377         sem_ch8.adb, style.adb, sem_ch9.adb, sem_ch10.adb, prep.adb,
3378         sem_warn.adb, par-util.adb, scng.adb, sem_eval.adb, checks.adb,
3379         sem_prag.adb, sem_ch12.adb, styleg.adb, sem_ch13.adb, par-ch3.adb,
3380         par-tchk.adb, freeze.adb, sfn_scan.adb, par-ch4.adb, sem_util.adb,
3381         sem_res.adb, par-ch5.adb, lib-xref.adb, sem_attr.adb, par-ch6.adb,
3382         sem_disp.adb, prepcomp.adb, par-ch7.adb, sem_elab.adb, exp_ch4.adb,
3383         errout.ads: Update comments. Minor reformatting.
3384
3385         * g-spipat.adb, a-swunau.adb, a-swunau.ads, g-spitbo.adb,
3386         a-szunau.adb, a-szunau.ads, a-stunau.adb, a-stunau.ads,
3387         a-strunb.adb (Big_String. Big_String_Access): New type.
3388
3389         * par-labl.adb, restrict.adb, s-osinte-hpux-dce.ads, sem_ch11.adb,
3390         exp_pakd.adb, s-filofl.ads, par-endh.adb, exp_intr.adb, sem_cat.adb,
3391         sem_case.adb, exp_ch11.adb, s-osinte-linux.ads: Fix copyright notices.
3392
3393 2010-06-18  Geert Bosch  <bosch@adacore.com>
3394
3395         * i-forbla-darwin.adb: Include -lgnala and -lm in linker options for
3396         Darwin.
3397
3398 2010-06-18  Robert Dewar  <dewar@adacore.com>
3399
3400         * gnat1drv.adb (Adjust_Global_Switches): Set Use_Expression_With_Actions
3401         true for gcc.
3402
3403 2010-06-18  Robert Dewar  <dewar@adacore.com>
3404
3405         * sprint.adb: Minor format change for N_Expression_With_Actions.
3406         * repinfo.adb: Minor reformatting.
3407
3408 2010-06-18  Ed Schonberg  <schonberg@adacore.com>
3409
3410         * sem_elim.adb (Check_Eliminated): If within a subunit, use
3411         Defining_Entity to obtain the name of the entity in the proper body, to
3412         properly handle both separate packages and subprograms.
3413
3414 2010-06-18  Emmanuel Briot  <briot@adacore.com>
3415
3416         * prj-nmsc.adb (Check_File): New parameter Display_Path.
3417
3418 2010-06-18  Thomas Quinot  <quinot@adacore.com>
3419
3420         * g-socket.adb, g-socket.ads (Null_Selector): New object.
3421
3422 2010-06-18  Pascal Obry  <obry@adacore.com>
3423
3424         * gnat_ugn.texi: Minor clarification.
3425
3426 2010-06-18  Emmanuel Briot  <briot@adacore.com>
3427
3428         * prj-nmsc.adb (Find_Source_Dirs): Minor refactoring to avoid duplicate
3429         code when using the project dir as the source dir.
3430         (Search_Directories): use the normalized name for the source directory,
3431         where symbolic names have potentially been resolved.
3432
3433 2010-06-18  Robert Dewar  <dewar@adacore.com>
3434
3435         * exp_ch4.adb (Expand_N_Conditional_Expression): Clear Actions field
3436         when we create N_Expression_With_Actions node.
3437         (Expand_Short_Circuit): Ditto.
3438
3439 2010-06-18  Robert Dewar  <dewar@adacore.com>
3440
3441         * exp_util.adb: Minor reformatting.
3442
3443 2010-06-18  Thomas Quinot  <quinot@adacore.com>
3444
3445         * types.ads: Clean up obsolete comments
3446         * tbuild.adb: Minor reformatting.
3447         * exp_ch5.adb, sem_intr.adb, sem_ch10.adb, rtsfind.adb, s-shasto.adb,
3448         exp_strm.adb, aa_drive.adb: Minor reformatting.
3449         * sem_res.adb (Is_Predefined_Operator): An operator that is an imported
3450         intrinsic with an Interface_Name denotes an imported back-end builtin,
3451         and must be rewritten into a call, not left in the tree as an operator,
3452         so return False in that case.
3453
3454 2010-06-18  Eric Botcazou  <ebotcazou@adacore.com>
3455
3456         * exp_util.adb (Remove_Side_Effects): Make a copy for an allocator.
3457         
3458 2010-06-18  Robert Dewar  <dewar@adacore.com>
3459
3460         * scos.ads: Add proposed output for case expression
3461
3462 2010-06-18  Jose Ruiz  <ruiz@adacore.com>
3463
3464         * gnat_ugn.texi: Document that, when using the RTX compiler to generate
3465         RTSS modules, we need to use the Microsoft linker.
3466
3467 2010-06-18  Robert Dewar  <dewar@adacore.com>
3468
3469         * checks.adb (Safe_To_Capture_In_Parameter_Value): Deal with case
3470         expression (cannot count on a particular branch being executed).
3471         * exp_ch4.adb (Expand_N_Case_Expression): New procedure.
3472         * exp_ch4.ads (Expand_N_Case_Expression): New procedure.
3473         * exp_util.adb (Insert_Actions): Deal with proper insertion of actions
3474         within case expression.
3475         * expander.adb (Expand): Add call to Expand_N_Case_Expression
3476         * par-ch4.adb Add calls to P_Case_Expression at appropriate points
3477         (P_Case_Expression): New procedure
3478         (P_Case_Expression_Alternative): New procedure
3479         * par.adb (P_Case_Expression): New procedure
3480         * par_sco.adb (Process_Decisions): Add dummy place holder entry for
3481         N_Case_Expression.
3482         * sem.adb (Analyze): Add call to Analyze_Case_Expression
3483         * sem_case.ads (Analyze_Choices): Also used for case expressions now,
3484         this is a documentation change only.
3485         * sem_ch4.ads, sem_ch4.adb (Analyze_Case_Expression): New procedure.
3486         * sem_ch6.adb (Fully_Conformant_Expressions): Add handling of case
3487         expressions.
3488         * sem_eval.ads, sem_eval.adb (Eval_Case_Expression): New procedure.
3489         * sem_res.adb (Resolve_Case_Expression): New procedure.
3490         * sem_scil.adb (Find_SCIL_Node): Add processing for
3491         N_Case_Expression_Alternative.
3492         * sinfo.ads, sinfo.adb (N_Case_Expression): New node.
3493         (N_Case_Expression_Alternative): New node.
3494         * sprint.adb (Sprint_Node_Actual): Add processing for new nodes
3495         N_Case_Expression and N_Case_Expression_Alternative.
3496
3497 2010-06-18  Robert Dewar  <dewar@adacore.com>
3498
3499         * par-ch7.adb, sem_warn.adb, types.ads, par-ch3.adb: Minor reformatting.
3500         * gnat1drv.adb: Fix typo.
3501
3502 2010-06-18  Robert Dewar  <dewar@adacore.com>
3503
3504         * par-prag.adb (Prag, case Style_Checks): All_Checks sets gnat style
3505         for -gnatg.
3506         * sem_prag.adb (Analyze_Pragma, case Style_Checks): All_Checks sets
3507         gnat style for -gnatg.
3508         * gnat_rm.texi: Add documentation for ALL_CHECKS in GNAT mode.
3509
3510 2010-06-18  Thomas Quinot  <quinot@adacore.com>
3511
3512         * sem_eval.adb (Test_In_Range): New subprogram, factoring duplicated
3513         code between...
3514         (Is_In_Range, Is_Out_Of_Range): Reimplement in terms of call to
3515         Test_In_Range.
3516
3517 2010-06-18  Robert Dewar  <dewar@adacore.com>
3518
3519         * sprint.adb: Minor change in output format for expression wi actions.
3520         * par-ch3.adb: Minor code reorganization.  Minor reformatting.
3521         * sem_ch5.adb: Minor comment fix.
3522
3523 2010-06-18  Robert Dewar  <dewar@adacore.com>
3524
3525         * debug.adb: New debug flag -gnatd.L to control
3526         Back_End_Handles_Limited_Types.
3527         * exp_ch4.adb (Expand_N_Conditional_Expression): Let back end handle
3528         limited case if Back_End_Handles_Limited_Types is True.
3529         (Expand_N_Conditional_Expression): Use N_Expression_With_Actions to
3530         simplify expansion if Use_Expression_With_Actions is True.
3531         * gnat1drv.adb (Adjust_Global_Switches): Set
3532         Back_End_Handles_Limited_Types.
3533         * opt.ads (Back_End_Handles_Limited_Types): New flag.
3534
3535 2010-06-18  Ed Schonberg  <schonberg@adacore.com>
3536
3537         * sem_res.adb (Rewrite_Operator_As_Call): Do not rewrite user-defined
3538         intrinsic operator if expansion is not enabled, because in an
3539         instantiation the original operator must be present to verify the
3540         legality of the operation.
3541
3542 2010-06-18  Robert Dewar  <dewar@adacore.com>
3543
3544         * exp_disp.adb, sem_ch12.adb: Minor reformatting
3545
3546 2010-06-18  Ed Schonberg  <schonberg@adacore.com>
3547
3548         * exp_util.adb (Make_Subtype_From_Expr): If the unconstrained type is
3549         the class-wide type for a private extension, and the completion is a
3550         subtype, set the type of the class-wide type to the base type of the
3551         full view.
3552
3553 2010-06-18  Robert Dewar  <dewar@adacore.com>
3554
3555         * g-socket.ads, sem_aggr.adb, einfo.ads, sem_elim.adb,
3556         sem_intr.adb, sem_eval.adb: Minor reformatting
3557
3558 2010-06-18  Ed Schonberg  <schonberg@adacore.com>
3559
3560         * sem_type.adb (Is_Ancestor): If either type is private, examine full
3561         view.
3562
3563 2010-06-18  Thomas Quinot  <quinot@adacore.com>
3564
3565         * g-socket.adb, g-socket.ads (Check_Selector): Make Selector an IN
3566         parameter rather than IN OUT.
3567
3568 2010-06-18  Ed Schonberg  <schonberg@adacore.com>
3569
3570         * exp_ch6.adb: Add extra guard.
3571
3572 2010-06-18  Gary Dismukes  <dismukes@adacore.com>
3573
3574         * sem_util.adb (Object_Access_Level): For Ada 2005, determine the
3575         accessibility level of a function call from the level of the innermost
3576         enclosing dynamic scope.
3577         (Innermost_Master_Scope_Depth): New function to find the depth of the
3578         nearest dynamic scope enclosing a node.
3579
3580 2010-06-18  Tristan Gingold  <gingold@adacore.com>
3581
3582         * adaint.c: Make ATTR_UNSET static as it is not used outside this file.
3583
3584 2010-06-18  Thomas Quinot  <quinot@adacore.com>
3585
3586         * g-socket.ads: Minor reformatting.
3587
3588 2010-06-18  Vincent Celier  <celier@adacore.com>
3589
3590         * make.adb (Must_Compile): New Boolean global variable
3591         (Main_On_Command_Line): New Boolean global variable
3592         (Collect_Arguments_And_Compile): Do compile if Must_Compile is True,
3593         even when the project is externally built.
3594         (Start_Compile_If_Possible): Compile in -aL directories if
3595         Check_Readonly_Files is True. Do compile if Must_Compile is True, even
3596         when the project is externally built.
3597         (Gnatmake): Set Must_Compile and Check_Readonly_Files to True when
3598         invoked with -f -u and one or several mains on the command line.
3599         (Scan_Make_Arg): Set Main_On_Command_Line to True when at least one main
3600         is specified on the command line.
3601
3602 2010-06-18  Ed Schonberg  <schonberg@adacore.com>
3603
3604         * sem_ch6.adb (Build_Body_For_Inline): Handle extended_return_statements
3605         * exp_ch6.adb (Expand_Inlined_Call): when possible, inline a body
3606         containing extented_return statements.
3607         * exp_util.adb (Make_CW_Equivalent_Type): If the root type is already
3608         constrained, do not build subtype declaration.
3609
3610 2010-06-18  Robert Dewar  <dewar@adacore.com>
3611
3612         * sem_res.adb (Analyze_Indexed_Component, Analyze_Selected_Component):
3613         Warn on assigning to packed atomic component.
3614
3615 2010-06-18  Robert Dewar  <dewar@adacore.com>
3616
3617         * sem_util.ads: Minor reformatting
3618         * einfo.ads, einfo.adb: Minor doc clarification (scope of decls in
3619         Expression_With_Actions).
3620         * snames.ads-tmpl: Minor comment fix
3621
3622 2010-06-18  Robert Dewar  <dewar@adacore.com>
3623
3624         * sem_prag.adb (Diagnose_Multiple_Pragmas): New procedure
3625         (Set_Imported): Use Import_Interface_Present to control message output
3626         * sinfo.ads, sinfo.adb (Import_Interface_Present): New flag
3627         * gnat_rm.texi: Document that we can have pragma Import and pragma
3628         Interface for the same subprogram.
3629
3630 2010-06-18  Robert Dewar  <dewar@adacore.com>
3631
3632         * lib-xref.adb (Generate_Reference): Fix bad reference to
3633         Has_Pragma_Unreferenced (clients should always use Has_Unreferenced).
3634
3635 2010-06-17  Eric Botcazou  <ebotcazou@adacore.com>
3636
3637         * gcc-interface/trans.c (set_gnu_expr_location_from_node): New static
3638         function.
3639         (gnat_to_gnu) <N_Expression_With_Actions>: New case.
3640         Use set_gnu_expr_location_from_node to set location information on the
3641         result.
3642
3643 2010-06-17  Arnaud Charlet  <charlet@adacore.com>
3644
3645         * gcc-interface/Make-lang.in: Update dependencies.
3646
3647 2010-06-17  Ed Schonberg  <schonberg@adacore.com>
3648
3649         * sem_util.adb (Is_Atomic_Object): Predicate does not apply to
3650         subprograms.
3651
3652 2010-06-17  Robert Dewar  <dewar@adacore.com>
3653
3654         * gnat_rm.texi, gnat_ugn.texi: Clean up documentation on warning and
3655         style check messages.
3656         * sem_res.adb (Resolve_Call): Don't call
3657         Check_For_Eliminated_Subprogram if we are analyzing within a spec
3658         expression.
3659
3660 2010-06-17  Robert Dewar  <dewar@adacore.com>
3661
3662         * debug.adb: Add documentation for debug flags .X and .Y
3663         * exp_ch4.adb (Expand_Short_Circuit_Operator): Use
3664         Use_Expression_With_Actions.
3665         * gnat1drv.adb (Adjust_Global_Switches): Set
3666         Use_Expression_With_Actions.
3667         * opt.ads (Use_Expression_With_Actions): New switch.
3668
3669 2010-06-17  Robert Dewar  <dewar@adacore.com>
3670
3671         * exp_intr.adb: Minor code reorganization (use UI_Max)
3672         * sem_intr.adb: use underlying type to check legality.
3673         * einfo.adb (Known_Static_Esize): False for generic types
3674         (Known_Static_RM_Size): False for generic types
3675         * einfo.ads (Known_Static_Esize): False for generic types
3676         (Known_Static_RM_Size): False for generic types
3677
3678 2010-06-17  Robert Dewar  <dewar@adacore.com>
3679
3680         * exp_ch4.ads: Minor code reorganization (specs in alpha order).
3681
3682 2010-06-17  Robert Dewar  <dewar@adacore.com>
3683
3684         * debug.adb: New debug flag -gnatd.X to use Expression_With_Actions
3685         node when expanding short circuit form with actions present for right
3686         opnd.
3687         * exp_ch4.adb: Minor reformatting
3688         (Expand_Short_Circuit_Operator): Use new Expression_With_Actions node if
3689         right opeand has actions present, and debug flag -gnatd.X is set.
3690         * exp_util.adb (Insert_Actions): Handle case of Expression_With_Actions
3691         node.
3692         * nlists.adb (Prepend_List): New procedure
3693         (Prepend_List_To): New procedure
3694         * nlists.ads (Prepend_List): New procedure
3695         (Prepend_List_To): New procedure
3696         * sem.adb: Add processing for Expression_With_Actions
3697         * sem_ch4.adb (Analyze_Expression_With_Actions): New procedure
3698         * sem_ch4.ads (Analyze_Expression_With_Actions): New procedure
3699         * sem_res.adb: Add processing for Expression_With_Actions.
3700         * sem_scil.adb: Add processing for Expression_With_Actions
3701         * sinfo.ads, sinfo.adb (N_Expression_With_Actions): New node.
3702         * sprint.ads, sprint.adb: Add processing for Expression_With_Actions
3703
3704 2010-06-17  Doug Rupp  <rupp@adacore.com>
3705
3706         * sem_intr.adb (Check_Intrinsic_Operator): Check that the types
3707         involved both have underlying integer types.
3708         * exp_intr.adb (Expand_Binary_Operator) New subprogram to expand a call
3709         to an intrinsic operator when the operand types or sizes are not
3710         identical.
3711         * s-auxdec-vms_64.ads: Revert "+" "-" ops back to Address now that
3712         64/32 Address/Integer works.
3713
3714 2010-06-17  Ed Schonberg  <schonberg@adacore.com>
3715
3716         * sem_ch12.adb (Mark_Context): Refine placement of Withed_Body flag, so
3717         that it marks a unit as needed by a spec only if the corresponding
3718         instantiation appears in that spec (and not in the corresponding body).
3719         * sem_elim.adb (Check_Eliminated): If we are within a subunit, the name
3720         in the pragma Eliminate has been parsed as a child unit, but the
3721         current compilation unit is in fact the parent in which the subunit is
3722         embedded.
3723
3724 2010-06-17  Vincent Celier  <celier@adacore.com>
3725
3726         * gnat_rm.texi: Fix typo
3727
3728 2010-06-17  Robert Dewar  <dewar@adacore.com>
3729
3730         * sem_util.adb: Minor reformatting
3731
3732 2010-06-17  Ed Schonberg  <schonberg@adacore.com>
3733
3734         * sem.adb (Do_Withed_Unit): if the unit in the with_clause is a generic
3735         instance, the clause now denotes the instance body. Traverse the
3736         corresponding spec because there may be no other dependence that will
3737         force the traversal of its own context.
3738
3739 2010-06-17  Ed Schonberg  <schonberg@adacore.com>
3740
3741         * sem_ch10.adb (Is_Ancestor_Unit): Subsidiary to
3742         Install_Limited_Context_Clauses, to determine whether a limited_with in
3743         some parent of the current unit designates some other parent, in which
3744         case the limited_with clause must not be installed.
3745         (In_Context): Refine test.
3746
3747 2010-06-17  Gary Dismukes  <dismukes@adacore.com>
3748
3749         * sem_util.adb (Collect_Primitive_Operations): In the of an untagged
3750         type with a dispatching equality operator that is overridden (for a
3751         tagged full type), don't include the overridden equality in the list of
3752         primitives. The overridden equality is detected by testing for an
3753         Aliased field that references the overriding equality.
3754
3755 2010-06-17  Robert Dewar  <dewar@adacore.com>
3756
3757         * freeze.adb: Minor reformatting.
3758
3759 2010-06-17  Joel Brobecker  <brobecker@adacore.com brobecker>
3760
3761         * gnat_ugn.texi: Add a section introducing gdbserver.
3762
3763 2010-06-17  Thomas Quinot  <quinot@adacore.com>
3764
3765         * sem_res.adb, sem_ch4.adb, s-stoele.adb, par-labl.adb: Minor
3766         reformatting.
3767
3768 2010-06-17  Ed Schonberg  <schonberg@adacore.com>
3769
3770         * sem_aggr.adb (Valid_Ancestor_Type): handle properly the case of a
3771         constrained discriminated parent that is a private type.
3772         (Analyze_Record_Aggregate): when collecting inherited discriminants,
3773         handle properly an ancestor type that is a constrained private type.
3774
3775 2010-06-17  Ed Schonberg  <schonberg@adacore.com>
3776
3777         * sem_util.adb (Enclosing_Subprogram): If the called subprogram is
3778         protected, use the protected_subprogram_body only if the original
3779         subprogram has not been eliminated.
3780
3781 2010-06-17  Ed Schonberg  <schonberg@adacore.com>
3782
3783         * freeze.adb (Freeze_Expression): The designated type of an
3784         access_to_suprogram type can only be frozen if all types in its profile
3785         are fully defined.
3786
3787 2010-06-17  Robert Dewar  <dewar@adacore.com>
3788
3789         * par.adb: Minor comment fix
3790         * sem_aggr.adb, sem_ch3.adb: Minor reformatting
3791
3792 2010-06-17  Doug Rupp  <rupp@adacore.com>
3793
3794         * s-auxdec-vms_64.ads: Revert Integer to Long_Integer change, instead
3795         change Address to Short_Address in functions where both must be the
3796         same size for intrinsics to work.
3797
3798 2010-06-17  Thomas Quinot  <quinot@adacore.com>
3799
3800         * sem_ch4.adb (Analyze_Selected_Component): A selected component may
3801         not denote a (private) component of a protected object.
3802
3803 2010-06-17  Bob Duff  <duff@adacore.com>
3804
3805         * par-labl.adb (Try_Loop): Test whether the label and the goto are in
3806         the same list.
3807
3808 2010-06-17  Joel Brobecker  <brobecker@adacore.com brobecker>
3809
3810         * gnat_ugn.texi: Update the documentation about GDB re: exception
3811         catchpoints.
3812
3813 2010-06-17  Arnaud Charlet  <charlet@adacore.com>
3814
3815         * gnatvsn.ads: Bump to 4.6 version.
3816
3817 2010-06-17  Ed Schonberg  <schonberg@adacore.com>
3818
3819         * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): The
3820         designated type of the generated pointer is the type of the original
3821         expression, not that of the function call itself, because the return
3822         type may be an untagged  derived type and the function may be an
3823         inherited operation.
3824
3825 2010-06-17  Robert Dewar  <dewar@adacore.com>
3826
3827         * exp_ch4.adb: Minor reformatting.
3828
3829 2010-06-17  Ed Schonberg  <schonberg@adacore.com>
3830
3831         * sinfo.ads, sinfo.adb (Inherited_Discriminant): New flag on
3832         N_Component_Association nodes, to indicate that a component association
3833         of an extension aggregate denotes the value of a discriminant of an
3834         ancestor type that has been constrained by the derivation.
3835         * sem_aggr.adb (Discr_Present): use Inherited_Discriminant to prevent a
3836         double expansion of the aggregate appearing in a context that delays
3837         expansion, to prevent double insertion of discriminant values when the
3838         aggregate is reanalyzed.
3839
3840 2010-06-17  Arnaud Charlet  <charlet@adacore.com>
3841
3842         * exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Do not use
3843         Allocator as the Related_Node of Return_Obj_Access in call to
3844         Make_Temporary below as this would create a sort of infinite
3845         "recursion".
3846
3847 2010-06-17  Ben Brosgol  <brosgol@adacore.com>
3848
3849         * gnat_ugn.texi: Update gnatcheck doc.
3850
3851 2010-06-17  Ed Schonberg  <schonberg@adacore.com>
3852
3853         * sem_ch3.adb (Build_Incomplete_Type_Declaration): If there is an
3854         incomplete view of the type that is not tagged, and the full type is a
3855         tagged extension, create class_wide type now, and warn that the
3856         incomplete view should be tagged as well.
3857
3858 2010-06-17  Vincent Celier  <celier@adacore.com>
3859
3860         * gnatcmd.adb (Non_VMS_Usage): Do not issue usage for gnat sync.
3861         Update the last line of the usage, indicating what commands do not
3862         accept project file switches.
3863         * vms_conv.adb: Do not issue usage line for GNAT SYNC
3864         * vms_data.ads: Fix errors in the qualifiers /LOGFILE and /MAIN of
3865         GNAT ELIM.
3866         * gnat_ugn.texi: Document the relaxed rules for library directories in
3867         externally built library projects.
3868
3869 2010-06-17  Doug Rupp  <rupp@adacore.com>
3870
3871         * s-auxdec-vms_64.ads: Make boolean and arithmetic operations intrinsic
3872         where possible.
3873         * s-auxdec-vms-alpha.adb: Remove kludges for aforemention.
3874         * gcc-interface/Makefile.in: Update VMS target pairs.
3875
3876 2010-06-17  Vasiliy Fofanov  <fofanov@adacore.com>
3877
3878         * adaint.c: Reorganized in order to avoid use of GetProcessId to stay
3879         compatible with Windows NT 4.0 which doesn't provide this function.
3880
3881 2010-06-17  Vincent Celier  <celier@adacore.com>
3882
3883         * ali-util.adb (Time_Stamp_Mismatch): In Verbose mode, if there is
3884         different timestamps but the checksum is the same, issue a short
3885         message saying so.
3886
3887 2010-06-17  Arnaud Charlet  <charlet@adacore.com>
3888
3889         * s-interr.adb (Finalize): If the Abort_Task signal is set to system,
3890         it means that we cannot reset interrupt handlers since this would
3891         require potentially sending the abort signal to the Server_Task.
3892
3893 2010-06-17  Ed Schonberg  <schonberg@adacore.com>
3894
3895         * exp_ch4.adb: expand NOT for VMS types.
3896         * sem_util.adb: Use OpenVMS_On_Target for IS_VMS_Operator.
3897
3898 2010-06-17  Sergey Rybin  <rybin@adacore.com>
3899
3900         * vms_data.ads: Add qualifier for '--no-elim-dispatch' gnatelim option.
3901         * gnat_ugn.texi (gnatelim): add description for --no-elim-dispatch
3902         option.
3903
3904 2010-06-17  Ed Schonberg  <schonberg@adacore.com>
3905
3906         * exp_ch6.adb (Expand_Call): Do not expand a call to an internal
3907         protected operation if the subprogram has been eliminated.
3908
3909 2010-06-17  Vincent Celier  <celier@adacore.com>
3910
3911         * prj-nmsc.adb (Check_Library_Attributes): Allow the different
3912         directories associated with a library to be any directory when the
3913         library project is externally built.
3914
3915 2010-06-17  Vincent Celier  <celier@adacore.com>
3916
3917         * make.adb (Check): If switch -m is used, deallocate the memory that
3918         may be allocated when computing the checksum.
3919
3920 2010-06-17  Eric Botcazou  <ebotcazou@adacore.com>
3921
3922         * g-socthi-mingw.adb (C_Recvmsg): Add 'use type' clause for C.size_t;
3923         (C_Sendmsg): Likewise.
3924
3925 2010-06-17  Thomas Quinot  <quinot@adacore.com>
3926
3927         * sem_res.adb: Update comments.
3928
3929 2010-06-17  Vincent Celier  <celier@adacore.com>
3930
3931         * back_end.adb (Scan_Compiler_Arguments): Process last argument
3932
3933 2010-06-17  Robert Dewar  <dewar@adacore.com>
3934
3935         * exp_ch3.adb, exp_ch6.adb, exp_smem.adb, exp_util.adb: Use Ekind_In.
3936         * layout.adb, freeze.adb: Use Make_Temporary.
3937
3938 2010-06-17  Jerome Lambourg  <lambourg@adacore.com>
3939
3940         * exp_ch11.adb (Expand_N_Raise_Statement): Expand raise statements in
3941         .NET/JVM normally as this is now perfectly supported by the backend.
3942
3943 2010-06-17  Pascal Obry  <obry@adacore.com>
3944
3945         * gnat_rm.texi: Fix minor typo, remove duplicate blank lines.
3946
3947 2010-06-17  Vincent Celier  <celier@adacore.com>
3948
3949         * make.adb (Collect_Arguments_And_Compile): Create include path file
3950         only when -x is specified.
3951         (Gnatmake): Ditto
3952         * opt.ads (Use_Include_Path_File): New Boolean flag, initialized to
3953         False.
3954         * prj-env.adb (Set_Ada_Paths): New Boolean parameters Include_Path and
3955         Objects_Path, defaulted to True. Only create include path file if
3956         Include_Path is True, only create objects path file if Objects_Path is
3957         True.
3958         * prj-env.ads (Set_Ada_Paths): New Boolean parameters Include_Path and
3959         Objects_Path, defaulted to True.
3960         * switch-m.adb (Scan_Make_Switches): Set Use_Include_Path_File to True
3961         when -x is used.
3962
3963 2010-06-17  Ed Schonberg  <schonberg@adacore.com>
3964
3965         * exp_disp.adb (Build_Interface_Thunk): Use base type of formal to
3966         determine whether it has the controlling type, when the formal is an
3967         access parameter.
3968
3969 2010-06-17  Eric Botcazou  <ebotcazou@adacore.com>
3970
3971         * s-crtl.ads (ssize_t): New type.
3972         (read): Fix signature.
3973         (write): Likewise.
3974         * g-socthi.ads: Add 'with System.CRTL' clause.  Remove ssize_t and
3975         'use type' directive for C.size_t, add one for System.CRTL.ssize_t.
3976         (C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t.
3977         (C_Sendmsg): Likewise.
3978         * g-socthi.adb (Syscall_Recvmsg): Likewise.
3979         (Syscall_Sendmsg): Likewise.
3980         (C_Recvmsg): Likewise.
3981         (C_Sendmsg): Likewise.
3982         * g-socthi-mingw.ads: Add 'with System.CRTL' clause.  Remove ssize_t
3983         and 'use type' directive for C.size_t, add one for System.CRTL.ssize_t.
3984         (C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t.
3985         (C_Sendmsg): Likewise.
3986         * g-socthi-mingw.adb (C_Recvmsg): Likewise.
3987         (C_Sendmsg): Likewise.
3988         * g-socthi-vms.ads: Add 'with System.CRTL' clause.  Remove ssize_t and
3989         'use type' directive for C.size_t, add one for System.CRTL.ssize_t.
3990         (C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t.
3991         (C_Sendmsg): Likewise.
3992         * g-socthi-vms.adb (C_Recvmsg): Likewise.
3993         (C_Sendmsg): Likewise.
3994         * g-socthi-vxworks.ads Add 'with System.CRTL' clause.  Remove ssize_t
3995         and 'use type' directive for C.size_t, add one for System.CRTL.ssize_t.
3996         (C_Recvmsg): Replace ssize_t with System.CRTL.ssize_t.
3997         (C_Sendmsg): Likewise.
3998         * g-socthi-vxworks.adb (C_Recvmsg): Likewise.
3999     &