]> gcc.gnu.org Git - gcc.git/blame - gcc/ada/ChangeLog
git://gcc.gnu.org / gcc.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
[multiple changes]
[gcc.git] / gcc / ada / ChangeLog
CommitLineData
0c020dde
AC		 12009-05-06 Robert Dewar <dewar@adacore.com>
2
3 * sem_warn.adb: Minor reformatting
4
52009-05-06 Javier Miranda <miranda@adacore.com>
6
7 * sem_prag.adb (Process_Import_Or_Interface): Imported CPP types must
8 not have discriminants or components with default expressions.
9 (Analyze_Pragma): For pragma CPP_Class check that imported types
10 have no discriminants and components have no default expression.
11
12 * sem_aggr.adb (Resolve_Aggr_Expr): Add missing check on wrong use of
13 class-wide types in the expression of a record component association.
14
152009-05-06 Sergey Rybin <rybin@adacore.com>
16
17 * vms_data.ads: Add qualifier for gnatmetric extra exit points metric
18
19 * gnat_ugn.texi: Add description for the new extra exit points metric
20 (gnatmetric section).
21
deef4289
AC		 222009-05-06 Robert Dewar <dewar@adacore.com>
23
24 * s-fileio.adb: Minor comment update
25
26 * sem_ch8.adb: Minor reformatting
27
28 * exp_ch3.adb: Update comments.
29
302009-05-06 Tristan Gingold <gingold@adacore.com>
31
32 * init.c, s-osinte-darwin.ads: Reduce alternate stack size
33
89522556
AC		 342009-05-06 Arnaud Charlet <charlet@adacore.com>
35
36 * gcc-interface/Makefile.in: Update LIBGNAT_TARGET_PAIRS for Xenomai.
37 Fix missing unit for rtp-smp runtime on both ppc and x86 vxworks
38
39 * gcc-interface/Make-lang.in: Update dependencies
40
a693f55e
AC		 412009-05-06 Ed Schonberg <schonberg@adacore.com>
42
43 * sem_ch12.adb (Build_Instance_Compilation_Unit_Nodes): Revert previous
44 change. The context clause of a generic instance declaration must be
45 preserved until the end of the compilation, because it may have to be
46 installed/removed repeatedly.
47 The latest change to sem.adb ensures that the context of both spec and
48 body of an instance is traversed before the instance itself, making
49 this patch redundant.
50
e264efcc
AC		 512009-05-06 Gary Dismukes <dismukes@adacore.com>
52
53 * sem_aggr.adb: Fix typo.
54
552009-05-06 Thomas Quinot <quinot@adacore.com>
56
57 * exp_ch3.adb (Expand_N_Object_Declaration): For a controlled object
58 declaration, do not adjust if the declaration is to be rewritten into
59 a renaming.
60
612009-05-06 Ed Schonberg <schonberg@adacore.com>
62
63 * sem_ch8.adb (Find_Type): Reject the use of a task type in its own
64 discriminant part.
65
662009-05-06 Bob Duff <duff@adacore.com>
67
68 * s-fileio.adb (File_IO_Clean_Up_Type): Make this type limited, since
69 otherwise the compiler would be allowed to optimize away the cleanup
70 code.
71
69a0c174
AC		 722009-05-06 Gary Dismukes <dismukes@adacore.com>
73
74 * gnat_ugn.texi: Fix typo.
75
762009-05-06 Thomas Quinot <quinot@adacore.com>
77
78 * g-debuti.adb: Minor reformatting
79
80 * exp_attr.adb: Minor reformatting
81
822009-05-06 Robert Dewar <dewar@adacore.com>
83
84 * sem_aggr.adb: Minor reformatting.
85
86 * g-socthi-vms.adb: Minor reformatting
87
882009-05-06 Bob Duff <duff@adacore.com>
89
90 * g-table.ads, g-table.adb, g-dyntab.ads, g-dyntab.adb:
91 (Append_All): Add Append_All to g-table and g-dyntab, similar to table.
92
4e0d20ca
BD		 932009-05-06 Bob Duff <duff@adacore.com>
94
95 * gnat_ugn.texi, gnat_rm.texi: Add missing documentation for warnings
96 flags.
97
11795185
JM		 982009-05-06 Javier Miranda <miranda@adacore.com>
99
100 * sem_aggr.adb (Valid_Ancestor_Type): Add support for C++ constructors.
101 (Resolve_Extension_Aggregate): Do not reject C++ constructors in
102 extension aggregates.
103 (Resolve_Record_Aggregate): Add support for C++ constructors in
104 extension aggregates.
105
106 * exp_aggr.adb (Build_Record_Aggr_Code): Add support for C++
107 constructors in extension aggregates.
108
426d2717
AC		 1092009-05-06 Robert Dewar <dewar@adacore.com>
110
111 * freeze.adb (Freeze_Record_Type): Improve error msg for bad size
112 clause.
113
1142009-05-06 Thomas Quinot <quinot@adacore.com>
115
116 * g-socthi-vms.adb (C_Recvmsg, C_Sendmsg): Convert Msg to appropriate
117 packed type, since on OpenVMS, struct msghdr is packed.
118
1192009-05-06 Ed Schonberg <schonberg@adacore.com>
120
121 * sem_ch8.adb (Analyze_Object_Renaming): If the object is a function
122 call returning an unconstrained composite value, create the proper
123 subtype for it, as is done for object dclarations with unconstrained
124 nominal subtypes. Perform this transformation regarless of whether
125 call comes from source.
126
8dc10d38
AC		 1272009-05-06 Robert Dewar <dewar@adacore.com>
128
129 * freeze.adb (Freeze_Record_Type): Implement Implicit_Packing for
130 records
131
132 * gnat_rm.texi:
133 Add documentation for pragma Implicit_Packing applied to record
134 types.
135
1362009-05-06 Ed Schonberg <schonberg@adacore.com>
137
138 * sem.adb (Walk_Library_Items): Place all with_clauses of an
139 instantiation on the spec, because late instance bodies may generate
140 with_clauses for the instance body but are inserted in the instance
141 spec.
142
3249690d
AC		 1432009-05-06 Emmanuel Briot <briot@adacore.com>
144
145 * prj-nmsc.adb (Locate_Directory): Remove unused parameters, and add
146 support for returning the directory even if it doesn't exist. This is
147 used for the object directory, since we are always setting it to a
148 non-null value, and we should set it to an absolute name rather than a
149 relative name for the sake of external tools that might depend on it.
150 (Check_Library_Attributes): When Project.Library_Dir is known, check
151 that the directory exists.
152
1532009-05-06 Ed Schonberg <schonberg@adacore.com>
154
155 * sem_attr.adb (Check_Dereference): If the prefix of an attribute
156 reference is an implicit dereference, do not freeze the designated type
157 if within a default expression or when preanalyzing a pre/postcondtion.
158
fd366a46
AC		 1592009-05-06 Ed Schonberg <schonberg@adacore.com>
160
161 * sem_ch8.adb (Analyze_Object_Renaming): If the object is a function
162 call returning an unconstrained composite value, create the proper
163 subtype for it, as is done for object dclarations with unconstrained
164 nominal subtypes
165
1662009-05-06 Robert Dewar <dewar@adacore.com>
167
168 * sem_ch13.adb (Check_Constant_Address_Clause): Minor error message
169 improvements
170
171 * freeze.adb: Minor reformatting
172
7dd1ab84
AC		 1732009-05-06 Thomas Quinot <quinot@adacore.com>
174
175 * sem_ch3.adb (Access_Type_Declaration): An access type whose
176 designated type is a limited view from a limited with clause (flagged
177 From_With_Type) is not itself such a limited view.
178
1792009-05-06 Emmanuel Briot <briot@adacore.com>
180
181 * prj-nmsc.adb: Remove unused variable.
182
183 * clean.adb, gnatcmd.adb, makeutl.ads, prj-pars.adb, prj-pars.ads,
184 prj-proc.ads, prj.ads, switch-m.adb (Subdirs_Option): Moved to
185 makeutl.ads, since not all users of prj.ads need this.
186
28541488
JM		 1872009-05-06 Javier Miranda <miranda@adacore.com>
188
189 * exp_aggr.adb (Build_Record_Aggr_Code): Add implicit call to the C++
190 constructor in case of aggregates whose type is a CPP_Class type.
191
55c078ac
AC		 1922009-05-06 Robert Dewar <dewar@adacore.com>
193
194 * sem_ch13.adb: Minor comment additions
195
196 * osint.adb: Minor reformatting
197
1982009-05-06 Pascal Obry <obry@adacore.com>
199
200 * initialize.c: On Windows, keep full pathname to expanded command
201 line patterns.
202
6bde3eb5
AC		 2032009-05-06 Ed Schonberg <schonberg@adacore.com>
204
205 * sem_aggr.adb (Resolve_Record_Aggregate): If a defaulted component of
206 an aggregate with box default is of a discriminated private type, do
207 not build a subaggregate for it.
208 A proper call to the initialization procedure is generated for it.
209
2102009-05-06 Thomas Quinot <quinot@adacore.com>
211
212 * rtsfind.adb, rtsfind.ads, exp_dist.adb, exp_dist.ads
213 (Exp_Dist.Build_TC_Call, Build_From_Any_Call, Build_To_Any_Call):
214 Use PolyORB strings to represent Ada.Strings.Unbounded_String value;
215 use standard array code for Standard.String.
216 (Exp_Dist): Bump PolyORB s-parint API version to 3.
217 (Rtsfind): New entities TA_Std_String, Unbounded_String.
218
2192009-05-06 Robert Dewar <dewar@adacore.com>
220
221 * g-comlin.ads: Minor reformatting
222
223 * xoscons.adb: Minor reformatting
224
3743d5bd
AC		 2252009-05-06 Gary Dismukes <dismukes@adacore.com>
226
227 * sem_aggr.adb (Resolve_Record_Aggregate): In step 5, get the
228 Underlying_Type before retrieving the type definition for gathering
229 components, to account for the case where the type is private.
230
2312009-05-06 Tristan Gingold <gingold@adacore.com>
232
233 * g-comlin.ads: Fix minor typos (Getopt instead of Get_Opt).
234
2352009-05-06 Thomas Quinot <quinot@adacore.com>
236
237 * g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
238 g-socthi-vxworks.ads, g-socthi-mingw.adb g-socthi-mingw.ads,
239 g-socthi.adb, g-stsifd-sockets.adb, g-socthi.ads, g-socket.adb
240 (GNAT.Sockets.Thin.C_Sendmsg, GNAT.Sockets.Thin.C_Recvmsg,
241 Windows versions): Fix incorrect base
242 address of Iovec (it's Msg_Iov, not Msg_Iov'Address).
243 (GNAT.Sockets.Thin.C_Sendto, GNAT.Sockets.Thin.C_Recvfrom): Use a
244 System.Address for the To parameter instead of a Sockaddr_In_Access, to
245 achieve independance from AF_INET family, and also to allow this
246 parameter to be retrieved from a Msghdr for the Windows case where
247 these routines are used to implement C_Sendmsg and C_Recvmsg.
248
2492009-05-06 Bob Duff <duff@adacore.com>
250
251 * g-expect.adb, g-expect.ads: Minor reformatting
252
253 * sdefault.ads: Minor comment fix
254
255 * g-expect-vms.adb: Minor reformatting
256
257 * table.ads, table.adb (Append_All): New convenience procedure for
258 appending a whole array.
259
260 * comperr.adb (Compiler_Abort): Mention the -gnatd.n switch in the bug
261 box message. Call Osint.Dump_Source_File_Names to print out the file
262 list, instead of rummaging around in various data structures.
263
264 * debug.adb: New switch -gnatd.n, to print source file names as they
265 are read.
266
267 * alloc.ads: Add parameters for Osint.File_Name_Chars.
268
269 * osint.ads, osint.adb (Dump_Source_File_Names): New procedure to print
270 out source file names during a "bug box".
271 (Include_Dir_Default_Prefix): Use memo-izing to avoid repeated new/free.
272 (Read_Source_File): Print out the file name, if requested via -gnatd.n.
273 If it's not part of the runtimes, store it for later printing by
274 Dump_Source_File_Names.
275
2762009-05-06 Javier Miranda <miranda@adacore.com>
277
278 * gnat_rm.texi (CPP_Constructor): Avoid duplication of the
279 documentation and add reference to the GNAT user guide for further
280 details.
281
2822009-05-06 Javier Miranda <miranda@adacore.com>
283
284 * gnat_ugn.texi: Complete documentation for CPP_Constructor and remove
285 also wrong examples that use extension aggregates.
286
2872009-05-06 Albert Lee <lee@adacore.com>
288
289 * s-oscons-tmplt.c (System.OS_Constants): Do not use special definition
290 of Msg_Iovlen_T for VMS.
291
ffef1219
LG		 2922009-05-04 Laurent GUERBY <laurent@guerby.net>
293
294 PR ada/38874
295 * make.adb (Scan_Make_Arg): Pass --param= to compiler and linker.
296
70b70ce8
AC		 2972009-04-29 Ed Schonberg <schonberg@adacore.com>
298
299 * sem_ch8.adb (Analyze_Subprogram_Renaming): Improve error message on
300 box-defaulted operator in an instantiation, when the type of the
301 operands is not directly visible.
302
3032009-04-29 Gary Dismukes <dismukes@adacore.com>
304
305 * sem_aggr.adb (Valid_Limited_Ancestor): Undo previous change.
306 (Resolve_Extension_Aggregate): Call Check_Parameterless_Call after the
307 analysis of the ancestor part. Remove prohibition against limited
308 interpretations of the ancestor expression in the case of Ada 2005.
309 Revise error message in overloaded case, adding a message to cover
310 the Ada 2005 case.
311
3122009-04-29 Thomas Quinot <quinot@adacore.com>
313
314 * xoscons.adb: Minor reformatting
315
3162009-04-29 Bob Duff <duff@adacore.com>
317
318 * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Do not ignore
319 attribute_definition_clauses for the following attributes when the
320 -gnatI switch is used: External_Tag, Input, Output, Read, Storage_Pool,
321 Storage_Size, Write. Otherwise, we get spurious errors (for example,
322 missing Read attribute on remote types).
323
324 * gnat_ugn.texi: Document the change, and add a stern warning.
325
3262009-04-29 Ed Schonberg <schonberg@adacore.com>
327
328 * sem_attr.adb (Check_Local_Access): Indicate that value tracing is
329 disabled not just for the current scope, but for the innermost dynamic
330 scope as well.
331
4cc51f5e
AC		 3322009-04-29 Arnaud Charlet <charlet@adacore.com>
333
334 * gcc-interface/Make-lang.in: Update dependencies
335
107b023c
AC		 3362009-04-29 Vincent Celier <celier@adacore.com>
337
338 * prj-part.adb: Minor comment update
339
3402009-04-29 Ed Schonberg <schonberg@adacore.com>
341
342 * sem_aggr.adb (Resolve_Record_Aggregate): handle properly
343 box-initialized records with discriminated subcomponents that are
344 constrained by discriminants of enclosing components. New subsidiary
345 procedures Add_Discriminant_Values, Propagate_Discriminants.
346
3472009-04-29 Arnaud Charlet <charlet@adacore.com>
348
349 * g-socket.adb: Code clean up.
350
1933c497
AC		 3512009-04-29 Gary Dismukes <dismukes@adacore.com>
352
353 * sem_aggr.adb (Valid_Limited_Ancestor): Add test for the name of a
354 function entity, to cover the case of a parameterless function call
355 that has not been resolved.
356
3572009-04-29 Robert Dewar <dewar@adacore.com>
358
359 * err_vars.ads, prj-part.adb, scans.ads, exp_tss.adb: Minor
360 reformatting and comment updates.
361
51ec70b8
AC		 3622009-04-29 Arnaud Charlet <charlet@adacore.com>
363
364 * gnat_ugn.texi: Update some documentation about interfacing with C++
365 Mention -fkeep-inline-functions.
366
367 * gnat_ugn.texi: Minor edits
368
3692009-04-29 Ed Schonberg <schonberg@adacore.com>
370
371 * sem_aggr.adb (Resolve_Record_Aggregate): When building an aggregate
372 for a defaulted component of an enclosing aggregate, inherit the type
373 from the component declaration of the enclosing type.
374
3752009-04-29 Albert Lee <lee@adacore.com>
376
377 * g-socthi-vms.ads, g-socthi-vxworks.ads, s-oscons-tmplt.c,
378 g-socthi-mingw.ads, g-socthi.ads, g-socket.adb, g-sothco.ads
379 (System.OS_Constants): New type Msg_Iovlen_T which follows whether the
380 msg_iovlen field in struct msghdr is 32 or 64 bits wide.
381 Relocate the Msghdr record type from GNAT.Sockets.Thin to
382 GNAT.Sockets.Common, and use System.OS_Constants.Msg_Iovlen_T as the
383 type for the Msg_Iovlen field.
384
9e895ab5
AC		 3852009-04-29 Vincent Celier <celier@adacore.com>
386
387 * sinput-l.adb (Load_File): When preprocessing, set temporarily the
388 Source_File_Index_Table entries for the source, to avoid crash when
389 reporting an error.
390
391 * gnatcmd.adb (Test_If_Relative_Path): Use
392 Makeutl.Test_If_Relative_Path.
393
394 * makeutl.adb:(Test_If_Relative_Path): Process switches --RTS= only if
395 Including_RTS is True.
396
397 * makeutl.ads (Test_If_Relative_Path): New Boolean parameter
398 Including_RTS defaulted to False.
399
400 * sinput.ads, scans.ads, err_vars.ads: Initialize some variables with
401 a default value.
402
4032009-04-29 Javier Miranda <miranda@adacore.com>
404
405 * gnat_ugn.texi: Adding documentation for non-default C++ constructors.
406
236fecbf
JM		 4072009-04-29 Javier Miranda <miranda@adacore.com>
408
409 * sem_ch3.adb (Analyze_Object_Declaration): Disable error message
410 associated with dyamically tagged expressions if the expression
411 initializing a tagged type corresponds with a non default CPP
412 constructor.
413 (OK_For_Limited_Init): CPP constructor calls are OK for initialization
414 of limited type objects.
415
416 * sem_ch5.adb (Analyze_Assignment): Improve the error message reported
417 when a CPP constructor is called in an assignment. Disable also the
418 error message associated with dyamically tagged expressions if the
419 exporession initializing a tagged type corresponds with a non default
420 CPP constructor.
421
422 * sem_prag.adb (Analyze_Pragma): Remove code disabling the use of
423 non-default C++ constructors.
424
425 * sem_util.ads, sem_util.adb (Is_CPP_Constructor_Call): New subprogram.
426
427 * exp_tss.ads, exp_tss.adb (Base_Init_Proc): Add support for
428 non-default constructors.
429 (Init_Proc): Add support for non-default constructors.
430
431 * exp_disp.adb (Set_Default_Constructor): Removed.
432 (Set_CPP_Constructors): Code based in removed Set_Default_Constructor
433 but extending its functionality to handle non-default constructors.
434
435 * exp_aggr.adb (Build_Record_Aggr_Code): Add support for non-default
436 constructors. Minor code cleanup removing unrequired label and goto
437 statement.
438
439 * exp_ch3.adb (Build_Initialization_Call): Add support for non-default
440 constructors.
441 (Build_Init_Statements): Add support for non-default constructors.
442 (Expand_N_Object_Declaration): Add support for non-default constructors.
443 (Freeze_Record_Type): Replace call to Set_Default_Constructor by call
444 to Set_CPP_Constructors.
445
446 * exp_ch5.adb (Expand_N_Assignment_Statement): Add support for
447 non-default constructors.
448 Required to handle its use in build-in-place statements.
449
450 * gnat_rm.texi (CPP_Constructor): Document new extended use of this
451 pragma for non-default C++ constructors and the new compiler support
452 that allows the use of these constructors in record components, limited
453 aggregates, and extended return statements.
454
0ec21a5b
AC		 4552009-04-29 Vincent Celier <celier@adacore.com>
456
457 * prj-part.adb (Parse_Single_Project): Do not attempt to find a
458 project extending an abstract project.
459
4602009-04-29 Eric Botcazou <ebotcazou@adacore.com>
461
462 * targparm.ads: Fix oversight.
463
96b20738
ES		 4642009-04-29 Ed Schonberg <schonberg@adacore.com>
465
466 * lib-xref.adb (Output_Overridden_Op): Follow several levels of
467 derivation when necessary, to find the user-subprogram that is actally
468 being overridden.
469
3b4ebfc3
RD		 4702009-04-29 Robert Dewar <dewar@adacore.com>
471
472 * sem_util.adb (May_Be_Lvalue): Fix cases involving indexed/selected
473 components
474
eb9cb0fc
ES		 4752009-04-29 Ed Schonberg <schonberg@adacore.com>
476
477 * exp_ch9.ads, exp_ch9.adb (Build_Wrapper_Spec): Use source line of
478 primitive operation, rather than source line of synchronized type, when
479 building the wrapper for a primitive operation that overrides an
480 operation inherited from a progenitor, to improve the error message on
481 duplicate declarations.
482
483 * sem_ch3.adb (Process_Full_View): Use new signature of
484 Build_Wrapper_Spec.
485
7f7d37cb
AC		 4862009-04-29 Robert Dewar <dewar@adacore.com>
487
488 * prj-nmsc.ads: Minor reformatting
489
4902009-04-29 Eric Botcazou <ebotcazou@adacore.com>
491
492 * exp_ch4.adb (Expand_N_Conditional_Expression): Set the SLOC of the
493 expression on the existing parent If statement.
494
3c638456
RD		 4952009-04-29 Robert Dewar <dewar@adacore.com>
496
497 * prj-proc.adb, prj.ads: Minor reformatting
498
fb1949a0
EB		 4992009-04-29 Eric Botcazou <ebotcazou@adacore.com>
500
501 * exp_ch4.adb (Expand_N_Conditional_Expression): Set the SLOC of an
502 existing parent If statement on the newly created one.
503
bd0a4cab
EB		 5042009-04-29 Emmanuel Briot <briot@adacore.com>
505
506 * gnatcmd.adb, prj-proc.adb, prj-proc.ads, make.adb, prj-part.adb,
507 prj-part.ads, prj.adb, prj.ads, clean.adb, prj-dect.adb, prj-dect.ads,
508 prj-nmsc.adb, prj-nmsc.ads, prj-pars.adb, prj-pars.ads, prj-makr.adb
509 (Set_In_Configuration, In_Configuration): Removed.
510 Replaced by an extra parameter Is_Config_File in several parameter to
511 avoid global variables to store the state of the parser.
512
9af094a1
ES		 5132009-04-29 Ed Schonberg <schonberg@adacore.com>
514
515 * sinfo.ads, sinfo.adb: New attribute Next_Implicit_With, to chain
516 with_clauses generated for the same unit through rtsfind, and that
517 appear in the context of different units.
518
519 * rtsfind.adb: New attribute First_Implicit_With, component of the
520 Unit_Record that stores information about a unit loaded through rtsfind.
521
ac72c9c5
AC		 5222009-04-29 Gary Dismukes <dismukes@adacore.com>
523
524 * exp_ch3.adb (Stream_Operation_OK): Return True for limited interfaces
525 (other conditions permitting), so that abstract stream subprograms will
526 be declared for them.
527
5282009-04-29 Bob Duff <duff@adacore.com>
529
530 * g-expect.adb (Expect_Internal): Fix check for overfull buffer.
531
532 * g-expect.ads: Minor comment fixes.
533
5342009-04-29 Ed Schonberg <schonberg@adacore.com>
535
536 * freeze.adb, lib-xref.adb (Check_Dispatching_Operation): if the
537 dispatching operation is a body without previous spec, update the list
538 of primitive operations to ensure that cross-reference information is
539 up-to-date.
540
5412009-04-29 Albert Lee <lee@adacore.com>
542
543 * g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
544 g-socthi-vxworks.ads, g-socthi-mingw.adb, g-socthi-mingw.ads,
545 g-socthi.adb, g-socthi.ads, g-socket.adb, g-socket.ads
546 (GNAT.Sockets.Thin.C_Readv,
547 GNAT.Sockets.Thin.C_Writev): Remove unused subprograms.
548 (GNAT.Sockets.Thin.C_Recvmsg,
549 GNAT.Sockets.Thin.C_Sendmsg): New bindings to call recvmsg(2) and
550 sendmsg(2).
551 (GNAT.Sockets.Receive_Vector, GNAT.Sockets.Send_Vector): Use
552 C_Recvmsg/C_Sendmsg rather than Readv/C_Writev.
553
4fc26524
AC		 5542009-04-29 Ed Schonberg <schonberg@adacore.com>
555
556 * sem_disp.adb (Check_Dispatching_Operation): if the dispatching
557 operation is a body without previous spec, update the list of
558 primitive operations to ensure that cross-reference information is
559 up-to-date.
560
561 * sem_ch12.adb (Build_Instance_Compilation_Unit_Nodes): When creating a
562 new compilation unit node for the instance declaration, keep the
563 context items of the original unit on it, so that the context of the
564 instance body only holds the context inherited from the generic body.
565
5662009-04-29 Bob Duff <duff@adacore.com>
567
568 * sem_res.adb: Minor comment fix.
569
7f4c1903
AC		 5702009-04-29 Thomas Quinot <quinot@adacore.com>
571
572 * sem_elim.adb: Minor reformatting
573
5742009-04-29 Ed Schonberg <schonberg@adacore.com>
575
576 * exp_aggr.adb (Convert_To_Positional): if the current unit is a
577 predefined unit, allow arbitrary number of components in static
578 aggregate, to ensure that the same level of constant folding applies
579 for Ada 95 and Ada 05 versions of the file.
580
33374829
AC		 5812009-04-29 Ed Schonberg <schonberg@adacore.com>
582
583 * sem_elim.adb (Check_Eliminated): Handle new improved eliminate
584 information: no need for full scope check.
585 (Eliminate_Error): Do not emit error in a generic context.
586
5872009-04-29 Ed Falis <falis@adacore.com>
588
589 * adaint.c (__gnat_rmdir): return error code if VTHREADS is defined.
590 VxWorks 653 POS does not support rmdir.
591
5922009-04-29 Matteo Bordin <bordin@adacore.com>
593
594 * s-stausa.adb, s-stausa.ads: Get_Usage_Range: changing the way
595 results are printed.
596
91c2cbdb
AC		 5972009-04-29 Arnaud Charlet <charlet@adacore.com>
598
599 * s-taskin.adb (Initialize): Remove pragma Warnings Off and remove
600 unused assignment.
601
6022009-04-29 Thomas Quinot <quinot@adacore.com>
603
604 * make.adb: Minor reformatting.
605 Minor code reorganization throughout.
606
6072009-04-29 Matteo Bordin <bordin@adacore.com>
608
609 * s-stausa.ads: Changed visibility of type Task_Result: moved to
610 public part to give application visibility over it.
611 This is for future improvement and to build a public API on top of it.
612 Changed record components name of type Task_Result to reflect the new
613 way of reporting.
614
615 * s-stausa.adb: Actual_Size_Str changed to reflect the new way of
616 reporting Stack usage.
617
618 * gnat_ugn.texi: Update doc of stack usage report.
619
620 * g-tastus.ads, s-stusta.ads, s-stusta.adb: New files.
621
622 * Makefile.rtl: Add new run-time files.
623
6d47b1e3
PO		 6242009-04-29 Pascal Obry <obry@adacore.com>
625
626 * initialize.c: Do not expand quoted arguments.
627
d45871da
EB		 6282009-04-29 Emmanuel Briot <briot@adacore.com>
629
630 * prj-ext.adb, prj.adb, prj.ads: Fix memory leaks.
631
632 * clean.adb (Ultimate_Extension_Of): removed, since duplicate of
633 Prj.Ultimate_Extending_Project_Of
634
4f87ded3
ES		 6352009-04-29 Ed Schonberg <schonberg@adacore.com>
636
637 * exp_ch7.adb (Build_Final_List): If the designated type is a Taft
638 Amendment type, add the with_clause for Finalization.List_Controller
639 only if the current context is a package body.
640
349ff68f
AC		 6412009-04-29 Thomas Quinot <quinot@adacore.com>
642
643 * sem_ch12.adb: Minor reformatting
644
645 * sem_aggr.adb: Minor reformatting
646
647 * sem_ch6.adb, sem_cat.ads: Minor reformatting
648
649 * sem_ch10.adb, gnat1drv.adb, prj-nmsc.adb: Minor reformatting
650
6512009-04-29 Quentin Ochem <ochem@adacore.com>
652
653 * prj.ads (Source_Id): Now general pointer type.
654
d81b4bfe
TQ		 6552009-04-29 Thomas Quinot <quinot@adacore.com>
656
657 * exp_ch7.adb, rtsfind.adb: Minor reformatting
658
659 * sem_res.adb: Minor reformatting
660
4342eda9
TQ		 6612009-04-29 Thomas Quinot <quinot@adacore.com>
662
663 * sem_res.adb (Static_Concatenation): An N_Op_Concat with static
664 operands is static only if it is a predefined concatenation operator.
665
666 * sem_util.adb: Minor reformatting
667
668 * sem_ch12.adb (Save_References): When propagating semantic information
669 from generic copy back to generic template, for the case of an
670 identifier that has been rewritten to an explicit dereference whose
671 prefix is either an object name or a parameterless funcion call
672 denoting a global object or function, properly capture the denoted
673 global entity: perform the corresponding rewriting in the template,
674 and point the rewritten identifier to the correct global entity (not
675 to the associated identifier in the generic copy).
676
0b8074ed
AC		 6772009-04-29 Robert Dewar <dewar@adacore.com>
678
679 * rtsfind.adb, prj-env.adb: Minor reformatting
680 Minor code reorganization
681
6822009-04-29 Emmanuel Briot <briot@adacore.com>
683
684 * make.adb: Fix comment
685
686 * prj.adb (Ultimate_Extending_Project_Of): Fix handling when no project
687 is given as argument, as might happen in gnatmake.
688
8f983e64
ES		 6892009-04-29 Ed Schonberg <schonberg@adacore.com>
690
691 * sem_ch3.adb (Check_Abstract_Overriding): Improve error message when
692 an abstract operation of a progenitor is not properly overridden by an
693 operation of a derived synchronized type.
694
132410cb
RD		 6952009-04-29 Robert Dewar <dewar@adacore.com>
696
697 * mlib-prj.adb, mlib-tgt.adb, mlib-tgt.ads, prj-nmsc.adb,
698 prj-proc.adb: Minor reformatting
699 Minor code reorganization
700
66713d62
AC		 7012009-04-29 Bob Duff <duff@adacore.com>
702
703 * exp_ch7.adb (Build_Final_List): For an access type that designates a
704 Taft Amendment type, if the access type needs finalization, make sure
705 the implicit with clause for List_Controller occurs on the package spec.
706
707 * rtsfind.adb (Text_IO_Kludge): Fine tune the creation of implicit
708 with's created for the pseudo-children of Text_IO and friends. In
709 particular, avoid cycles, such as Ada.Wide_Text_IO.Integer_IO and
710 Ada.Text_IO.Integer_IO both with-ing each other.
711
712 * sem.adb (Walk_Library_Items): Suppress assertion failure in certain
713 oddball cases when pragma Extend_System is used.
714
715 * sem_ch12.adb (Get_Associated_Node): Prevent direct 'with' cycles in
716 the case where a package spec instantiates a generic whose body with's
717 this package, so Walk_Library_Items won't complain about cyclic with's.
718
7192009-04-29 Emmanuel Briot <briot@adacore.com>
720
721 * gnatcmd.adb, prj-proc.adb, make.adb, mlib-prj.adb, prj.adb, prj.ads,
722 prj-pp.adb, prj-pp.ads, makeutl.adb, clean.adb, prj-nmsc.adb,
723 mlib-tgt.adb, mlib-tgt.ads, prj-util.adb, prj-env.adb, prj-env.ads
724 (Project_Id): now a real pointer to Project_Data, instead of an index
725 into the Projects_Table. This simplifies the API significantly, avoiding
726 extra lookups in this table and the need to pass the Project_Tree_Ref
727 parameter in several cases
728
059caa3e
NS		 7292009-04-29 Nicolas Setton <setton@adacore.com>
730
731 * gcc-interface/Makefile.in: Produce .dSYM files for shared libs on
732 darwin.
733
19440588
EB		 7342009-04-25 Eric Botcazou <ebotcazou@adacore.com>
735
736 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Put
737 back kludge.
738
b178461a
RD		 7392009-04-24 Robert Dewar <dewar@adacore.com>
740
741 * mlib-prj.adb, prj-env.adb, prj-nmsc.adb, prj-proc.adb, make.adb,
742 clean.adb: Minor reformatting.
743 Minor code reorganization and message improvement.
744
e1c9f239
EB		 7452009-04-24 Emmanuel Briot <briot@adacore.com>
746
747 * prj-proc.adb, prj.adb, prj.ads, prj-nmsc.adb, prj-nmsc.ads
748 (Alternate_Languages): now implemented as a malloc-ed list rather
749 than through a table.
750
c72a85f2
TQ		 7512009-04-24 Thomas Quinot <quinot@adacore.com>
752
753 * sem_res.adb (Static_Concatenation): Simplify predicate to make it
754 accurately handle cases such as "lit" & "lit" and
755 "lit" & static_string_constant
756
3563739b
AC		 7572009-04-24 Emmanuel Briot <briot@adacore.com>
758
759 * prj-proc.adb, make.adb, mlib-prj.adb, prj.adb, prj.ads, clean.adb,
760 prj-nmsc.adb, prj-env.adb (Project_List_Table, Project_Element):
761 removed. Lists of projects are now implemented via standard malloc
762 rather than through the table.
763
7642009-04-24 Thomas Quinot <quinot@adacore.com>
765
766 * sem_ch12.adb: Minor reformatting
767
768 * g-trasym.adb: Minor reformatting
769
770 * exp_ch6.adb: Minor reformatting
771
7722009-04-24 Robert Dewar <dewar@adacore.com>
773
774 * layout.adb (Layout_Type): For packed array type, copy unset
775 size/alignment fields from the referenced Packed_Array_Type.
776
7772009-04-24 Bob Duff <duff@adacore.com>
778
779 * lib-load.adb (Make_Instance_Unit): Revert previous change, no
780 longer needed after sem_ch12 changes.
781
782 * sem.adb (Walk_Library_Items): Include with's in some debugging
783 printouts.
784
757240b3
AC		 7852009-04-24 Emmanuel Briot <briot@adacore.com>
786
787 * prj.ads, prj-nmsc.adb (Unit_Project): removed, since in fact we were
788 only ever using the Project field.
789
7902009-04-24 Ed Schonberg <schonberg@adacore.com>
791
792 * sem_ch12.adb (Build_Instance_Compilation_Unit_Nodes): Do not set
793 Body_Required on the generated compilation node. The new node is linked
794 to its body, but both share the same file, so we do not set this flag
795 on the new unit so as not to create a spurious dependency on a
796 non-existent body in the ali file for the instance.
797
7982009-04-24 Robert Dewar <dewar@adacore.com>
799
800 * make.adb: Minor reformatting
801
aca53298
AC		 8022009-04-24 Emmanuel Briot <briot@adacore.com>
803
804 * prj.adb, prj.ads, prj-nmsc.adb (Check_File, Record_Ada_Source,
805 Add_Source): merge some code between those. In particular change where
806 file normalization is done to avoid a few extra calls to
807 Canonicalize_File_Name. This also removes the need for passing
808 Current_Dir in a number of subprograms.
809
8102009-04-24 Bob Duff <duff@adacore.com>
811
812 * lib-load.adb (Make_Instance_Unit): In the case where In_Main is
813 False, assign the correct unit to the Cunit field of the new table
814 entry. We want the spec unit, not the body unit.
815
816 * rtsfind.adb (Make_Unit_Name, Maybe_Add_With): Simplify calling
817 interface for these.
818 (Maybe_Add_With): Check whether we're trying to a with on the current
819 unit, and avoid creating such directly self-referential with clauses.
820 (Text_IO_Kludge): Add implicit with's for the generic pseudo-children of
821 [[Wide_]Wide_]Text_IO. These are needed for Walk_Library_Items,
822 and matches existing comments in the spec.
823
824 * sem.adb (Walk_Library_Items): Add various special cases to make the
825 assertions pass.
826
827 * sem_ch12.adb (Build_Instance_Compilation_Unit_Nodes): Use Body_Cunit
828 instead of Parent (N), for uniformity.
829
6db828c3
AC		 8302009-04-24 Robert Dewar <dewar@adacore.com>
831
832 * errout.ads: Minor reformatting
833
8342009-04-24 Emmanuel Briot <briot@adacore.com>
835
836 * gnat_ugn.texi (Library Projects): add documentation on gnatmake's
837 behavior when the project includes sources from multiple languages
838
8392009-04-24 Vincent Celier <celier@adacore.com>
840
841 * prj.adb (Has_Foreign_Sources): Returns True in Ada_Only mode if there
842 is a language other than Ada declared.
843
844 * makeutl.adb (Linker_Options_Switches): Call For_All_Projects with
845 Imported_First set to True.
846
a7a3cf5c
AC		 8472009-04-24 Ed Schonberg <schonberg@adacore.com>
848
849 * sem_res.adb: additional optimization to inhibit creation of
850 redundant transient scopes.
851
8522009-04-24 Bob Duff <duff@adacore.com>
853
854 * rtsfind.ads: Minor comment fix
855
8562009-04-24 Emmanuel Briot <briot@adacore.com>
857
858 * prj-proc.adb, prj-nmsc.adb (Find_Ada_Sources,
859 Get_Path_Name_And_Record_Ada_Sources): merged, since these were
860 basically doing the same work (for explicit or implicit sources).
861 (Find_Explicit_Sources): renamed to Find_Sources to better reflect its
862 role. Rewritten to share some code (testing that all explicit sources
863 have been found) between ada_only and multi_language modes.
864
8652009-04-24 Jerome Lambourg <lambourg@adacore.com>
866
867 * sem_prag.adb (Check_Form_Of_Interface_Name): Allow space in Ext_Name
868 for CLI imported types.
869 (Analyze_Pragma): Allow CIL or Java imported functions returning
870 access-to-subprogram types.
871
2324b3fd
EB		 8722009-04-24 Emmanuel Briot <briot@adacore.com>
873
874 * make.adb, prj.adb, prj.ads, makeutl.adb, makeutl.ads:
875 (Project_Data.Dir_Path): field removed, since it can be computed
876 directly from .Directory, and is needed only once when processing the
877 project is buildgpr.adb or make.adb
878
8eaf1723
RD		 8792009-04-24 Robert Dewar <dewar@adacore.com>
880
881 * prj-env.adb, prj-proc.adb, prj.adb, prj.ads,
882 rtsfind.adb: Minor reformatting.
883 Minor code reorganization
884
04f33e7b
AC		 8852009-04-24 Arnaud Charlet <charlet@adacore.com>
886
887 * mlib-prj.adb: Use friendlier english identifier.
888
889 * gnatcmd.adb, make.adb: Use better english identifiers.
890
8912009-04-24 Robert Dewar <dewar@adacore.com>
892
893 * clean.adb: Minor reformatting
894
d1f453b7
RD		 8952009-04-24 Robert Dewar <dewar@adacore.com>
896
897 * einfo.adb (OK_To_Rename): New flag
898
899 * einfo.ads (OK_To_Rename): New flag
900
901 * exp_ch3.adb (Expand_N_Object_Declaration): Rewrite as renames if
902 OK_To_Rename set.
903
904 * exp_ch4.adb (Expand_Concatenate): Mark temp variable OK_To_Rename
905
906 * sem_ch7.adb (Uninstall_Declarations): Allow for renames from
907 OK_To_Rename.
908
8b9890fa
EB		 9092009-04-24 Emmanuel Briot <briot@adacore.com>
910
911 * prj-proc.adb, make.adb, mlib-prj.adb, prj.adb, prj.ads, makeutl.adb,
912 clean.adb, prj-nmsc.adb, prj-env.adb, prj-env.ads (Project_Data.Seen):
913 field removed. This is not a property of the
914 project, just a boolean used to traverse the project tree, and storing
915 it in the structure prevents doing multiple traversal in parallel.
916 (Project_Data.Checked): also removed, since it was playing the same role
917 as Seen when we had two nested loops, and this is no longer necessary
918 (For_All_Imported_Projects): removed, since in fact there was already
919 the equivalent in For_Every_Project_Imported. The latter was rewritten
920 to use a local hash table instead of Project_Data.Seen
921 Various loops were rewritten to use For_Every_Project_Imported, thus
922 removing the need for Project_Data.Seen. This avoids a lot of code
923 duplication
924
76e776e5
AC		 9252009-04-24 Ed Schonberg <schonberg@adacore.com>
926
927 * sem_res.adb (Resolve_Actuals): Do not create blocks around code
928 statements, even though the actual of the call is a concatenation,
929 because the argument is static, and we want to preserve warning
930 messages about sequences of code statements that are not marked
931 volatile.
932
933 * sem_warn.adb: remove obsolete comment about warning being obsolete
934
935 * s-tasren.adb (Task_Do_Or_Queue): If a timed entry call is being
936 requeued and the delay has expired while within the accept statement
937 that executes the requeue, do not perform the requeue and indicate that
938 the timed call has been aborted.
939
9402009-04-24 Emmanuel Briot <briot@adacore.com>
941
942 * mlib-prj.adb, prj.adb, prj.ads, prj-nmsc.adb, prj-env.adb
943 (Has_Ada_Sources, Has_Foreign_Sources): new subprograms
944 (Project_Data.Ada_Sources_Present, Foreign_Sources_Present): removed,
945 since they can be computed from the above.
946
481f29eb
VC		 9472009-04-24 Vincent Celier <celier@adacore.com>
948
949 * gnatcmd.adb: Call Prj.Env.Initialize with the Project_Tree
950
951 * prj-env.adb: Move all global variables to the private part of the
952 project tree data.
953 Access these new components instead of the global variables no longer
954 in existence.
955 (Add_To_Path): New Project_Tree_Ref parameter, to access the new
956 components that were previously global variables.
957
958 * prj-env.ads (Initialize): New Project_Tree_Ref parameter
959 (Set_Mapping_File_Initial_State_To_Empty): New Project_Tree_Ref
960 parameter.
961
962 * prj-nmsc.adb (Compute_Unit_Name): New Project_Tree_Ref parameter to
963 be able to call Set_Mapping_File_Initial_State_To_Empty with it.
964
965 * prj.adb (Initialize): Do not call Prj.Env.Initialize
966 (Reset): Do not call Prj.Env.Initialize. Instead, initialize the new
967 components in the private part of the project tree data.
968
969 * prj.ads (Private_Project_Tree_Data): new components moved from
970 Prj.Env: Current_Source_Path_File, Current_Object_Path_File,
971 Ada_Path_Buffer, Ada_Path_Length, Ada_Prj_Include_File_Set,
972 Ada_Prj_Objects_File_Set, Fill_Mapping_File.
973
c54ab0b5
AC		 9742009-04-24 Vincent Celier <celier@adacore.com>
975
976 * opt.ads (Unchecked_Shared_Lib_Imports): New Boolean flag.
977
978 * prj-nmsc.adb (Check_Library): No error for imports by shared library
979 projects, when --unchecked-shared-lib-imports is used.
980
9812009-04-24 Robert Dewar <dewar@adacore.com>
982
983 * sem_ch7.adb: Minor reformatting
984
b3520ca0
AC		 9852009-04-24 Tristan Gingold <gingold@adacore.com>
986
987 * s-osinte-darwin.adb, s-osinte-darwin.ads: lwp_self now returns the
988 mach thread id.
989
9902009-04-24 Emmanuel Briot <briot@adacore.com>
991
992 * prj-env.adb, prj-env.ads (Body_Path_Name_Of, Spec_Path_Name_Of,
993 Path_Name_Of_Library_Unit_Body): rEmove unused subprograms.
994 (For_All_Imported_Projects): new procedure
995 (For_All_Source_Dirs, For_All_Object_Dirs): Rewritten based on the
996 above rather than duplicating code.
997
5d07d0cf
EB		 9982009-04-24 Emmanuel Briot <briot@adacore.com>
999
1000 * prj-proc.adb, prj.adb, prj.ads, prj-nmsc.adb, prj-env.adb
1001 (Source_Id, Source_Data): use a real list to store sources rather than
1002 using an external table to store the elements. This makes code more
1003 efficient and more readable.
1004
5eed512d
EB		 10052009-04-24 Emmanuel Briot <briot@adacore.com>
1006
1007 * prj-proc.adb, prj.adb, prj.ads, prj-nmsc.adb, prj-env.adb
1008 (Source_Iterator): new type.
1009 This removes the need for having the sources on three different
1010 lists at the project tree, project and language level. They are now
1011 on a single list.
1012
5876578b
EB		 10132009-04-24 Emmanuel Briot <briot@adacore.com>
1014
1015 * gnatcmd.adb, prj.adb, prj.ads: Remove unused entities
1016
a9d17e32
ES		 10172009-04-24 Ed Schonberg <schonberg@adacore.com>
1018
1019 * sem_warn.adb: Add comment on obsolete warning
1020
144c034d
AC		 10212009-04-24 Arnaud Charlet <charlet@adacore.com>
1022
1023 * s-tassta.adb (Create_Task): Fix violation of locking rule.
1024
e0697153
EB		 10252009-04-24 Emmanuel Briot <briot@adacore.com>
1026
1027 * prj.adb, prj.ads, prj-nmsc.adb, prj-env.adb (Language_Index): renamed
1028 to Language_Ptr to better reflect its new implementation.
1029 (Project_Data.First_Languages_Processing): renamed to Languages now
1030 that the field with that name is no longer used
1031 (Project_Data.Languages): removed, no longer used, and duplicates
1032 information already available through First_Language_Processing.
1033 (Prj.Language_Index): now an actual pointer, instead of an index into
1034 a table. This makes the list somewhat more obvious, but more importantly
1035 removes the need to pass a pointer to the project_tree_data in a few
1036 places, and makes accessing the attributes of a languages more
1037 efficient.
1038
18e6d56a
RK		 10392009-04-24 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1040 Thomas Quinot <quinot@adacore.com>
1041
1042 * fe.h (Set_Identifier_Casing): Add const to second parameter.
c91f9cd4 1043 * gcc-interface/misc.c (internal_error_function): Make copy of return
18e6d56a
RK		 1044 from pp_formatted_text before assigning BUFFER to it.
1045 (gnat_init): Likewise for main_input_filename and gnat_argv.
1046 (gnat_printable_name): Remove cast from call to Set_Identifier_Casing.
1047
caa9d12a
EB		 10482009-04-24 Eric Botcazou <ebotcazou@adacore.com>
1049
1050 * ttypes.ads (Target_Double_Float_Alignment): New variable.
1051 (Target_Double_Scalar_Alignment): Likewise.
1052 * get_targ.ads (Get_Strict_Alignment): Adjust external name.
1053 (Get_Double_Float_Alignment): New imported function.
1054 (Get_Double_Scalar_Alignment): Likewise.
1055 * layout.adb (Set_Elem_Alignment): Take into account specific caps for
1056 the alignment of "double" floating-point types and "double" or larger
1057 scalar types, as parameterized by Target_Double_Float_Alignment and
1058 Target_Double_Scalar_Alignment respectively.
1059 * gcc-interface/gigi.h (double_float_alignment): Declare.
1060 (double_scalar_alignment): Likewise.
1061 (is_double_float_or_array): Likewise.
1062 (is_double_scalar_or_array): Likewise.
1063 (get_target_double_float_alignment): Likewise.
1064 (get_target_double_scalar_alignment): Likewise.
1065 * gcc-interface/targtyps.c (get_strict_alignment): Rename into...
1066 (get_target_strict_alignment): ...this.
1067 (get_target_double_float_alignment): New function.
1068 (get_target_double_scalar_alignment): Likewise.
1069 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Signed_Integer_Subtype>:
1070 Test the presence of an alignment clause for under-aligned integer
1071 types. Take into account specific caps for the alignment of "double"
1072 floating-point types and "double" or larger scalar types, as
1073 parameterized by Target_Double_Float_Alignment and
1074 Target_Double_Scalar_Alignment respectively.
1075 (validate_alignment): Likewise.
1076 * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Alignment>: Likewise.
1077 (gigi): Initialize double_float_alignment and double_scalar_alignment.
1078 * gcc-interface/utils.c (double_float_alignment): New global variable.
1079 (double_scalar_alignment): Likewise.
1080 (is_double_float_or_array): New predicate.
1081 (is_double_scalar_or_array): Likewise.
1082
1275de7d
EB		 10832009-04-24 Eric Botcazou <ebotcazou@adacore.com>
1084
1085 * gcc-interface/utils2.c (build_cond_expr): Move SAVE_EXPR ahead of
1086 the conditional expression only if it is common to both arms.
1087
6f61bd41
EB		 10882009-04-24 Eric Botcazou <ebotcazou@adacore.com>
1089
1090 * gcc-interface/gigi.h (build_call_alloc_dealloc): Update comment.
1091 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Pass correct
1092 arguments to build_allocator.
1093 * gcc-interface/utils2.c (build_call_alloc_dealloc): Update comment.
1094 Remove code handling special allocator and assert its uselessness.
1095
0d858698
EB		 10962009-04-24 Eric Botcazou <ebotcazou@adacore.com>
1097
1098 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: If an
1099 alignment is specified, do not promote that of the component type
1100 beyond it.
1101 <E_Array_Subtype>: Likewise.
1102
bbaba73f
EB		 11032009-04-23 Eric Botcazou <ebotcazou@adacore.com>
1104
1105 * einfo.ads (Is_True_Constant): Lift restriction on atomic objects.
1106 * sinfo.ads (Object Declaration): Likewise.
1107 (Assignment Statement): Likewise.
1108 * freeze.adb (Expand_Atomic_Aggregate): Remove useless test.
1109 Do not force Is_True_Constant to false on the temporary.
1110 (Freeze_Entity): Do not force Is_True_Constant to false on names on
1111 the RHS of object declarations.
1112 * gcc-interface/trans.c (lvalue_required_p) <N_Object_Declaration>:
1113 New case. Return 1 if the object is atomic.
1114 <N_Assignment_Statement>: Likewise.
1115
4fd78fe6
EB		 11162009-04-23 Eric Botcazou <ebotcazou@adacore.com>
1117
1118 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Modular_Integer_Subtype>
1119 For packed array types, make the original array type a parallel type
1120 for the modular type and its JM wrapper if the type is bit-packed.
1121 <E_Array_Subtype>: Likewise. Do not generate the special XA parallel
1122 record type for packed array types. Remove kludge.
1123
c1abd261
EB		 11242009-04-23 Eric Botcazou <ebotcazou@adacore.com>
1125
1126 * gcc-interface/gigi.h (create_index_type): Adjust head comment.
1127 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Signed_Integer_Subtype>:
1128 Use front-end predicates to compute signedness and precision.
1129 <E_String_Literal_Subtype>: Fold range type.
1130 Make sure to set longest_float_type_node to a scalar type.
1131 (elaborate_entity): Use consistent Constraint_Error spelling.
1132 (substitute_in_type) <INTEGER_TYPE>: Always copy the type.
1133 * gcc-interface/misc.c (gnat_print_type) <INTEGER_TYPE>: Use brief
1134 output for the modulus, if any.
1135 <ENUMERAL_TYPE>: Likewise for the RM size.
1136 * gcc-interface/trans.c (gnat_to_gnu): Use consistent Constraint_Error
1137 spelling.
1138 * gcc-interface/utils.c (finish_record_type): Really test the alignment
1139 of BLKmode bit-fields to compute their addressability.
1140 (create_index_type): Adjust comments.
1141 (create_param_decl): Create the biased subtype manually.
1142 * gcc-interface/utils2.c (build_component_ref): Use consistent
1143 Constraint_Error spelling.
1144
8713b7e4
EB		 11452009-04-23 Eric Botcazou <ebotcazou@adacore.com>
1146
1147 * gcc-interface/cuintp.c: Clean up include directives.
1148 * gcc-interface/targtyps.c: Likewise.
1149 * gcc-interface/decl.c: Likewise.
1150 * gcc-interface/misc.c: Likewise.
1151 * gcc-interface/trans.c: Likewise.
1152 * gcc-interface/utils.c: Likewise.
1153 * gcc-interface/utils2.c: Likewise.
1154 * gcc-interface/Make-lang.in: Adjust dependencies accordingly.
1155
26383c64
EB		 11562009-04-23 Eric Botcazou <ebotcazou@adacore.com>
1157
1158 * gcc-interface/ada-tree.h (union lang_tree_node): Use standard idiom.
1159 (SET_TYPE_LANG_SPECIFIC): Likewise. Fix formatting.
1160 (SET_DECL_LANG_SPECIFIC): Likewise.
1161 Reorder macros.
1162 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Signed_Integer_Subtype>:
1163 Update comment about use of build_range_type.
1164 <E_Array_Type, E_Array_Subtype>: Use consistent naming convention.
1165 <E_Array_Subtype>: Rework comments about TYPE_ACTUAL_BOUNDS and add
1166 check for other cases of overloading.
1167 * gcc-interface/trans.c (gigi): Use size_int in lieu of build_int_cst.
1168 * gcc-interface/utils2.c (build_call_raise): Fix off-by-one error.
1169 Use size_int in lieu of build_int_cst.
1170 (build_call_alloc_dealloc): Use build_index_2_type in lieu of
1171 build_range_type.
1172
b7babd5d
EB		 11732009-04-22 Eric Botcazou <ebotcazou@adacore.com>
1174
1175 * gcc-interface/utils2.c (build_binary_op) <PLUS_EXPR>: If operation's
1176 type is an enumeral or a boolean type, change it to an integer type
1177 with the same mode and signedness.
1178
5225a138
EB		 11792009-04-22 Eric Botcazou <ebotcazou@adacore.com>
1180
1181 * gcc-interface/utils.c (create_var_decl_1): Do not emit debug info
1182 for an external constant whose initializer is not absolute.
1183
11842009-04-22 Taras Glek <tglek@mozilla.com>
d1b38208
TG		 1185
1186 * gcc-interface/ada-tree.h: Update GTY annotations to new syntax.
1187 * gcc-interface/trans.c: Likewise.
1188 * gcc-interface/utils.c: Likewise.
1189
a52fefe6
AC		 11902009-04-22 Ed Schonberg <schonberg@adacore.com>
1191
1192 * sem_res.adb: Create block around procedure call when actual is a
1193 concatenation.
1194
11952009-04-22 Thomas Quinot <quinot@adacore.com>
1196
1197 * s-soflin.ads: Fix typos
1198
11992009-04-22 Vincent Celier <celier@adacore.com>
1200
1201 * prj-env.adb: Minor comment change
1202
1203 * prj-nmsc.adb (Check_Common): Add guard to avoid calling
1204 Get_Name_String with No_File.
1205
1206 * tempdir.adb (Create_Temp_File): Output diagnostic when temp file
1207 cannot be created even when not in verbose mode.
1208
2f1e0b61
EB		 12092009-04-22 Emmanuel Briot <briot@adacore.com>
1210
1211 * make.adb, prj-env.adb, prj-env.ads, prj-nmsc.adb, prj.adb,
1212 prj.ads (Create_Mapping_File): merge the two versions for Ada_Only and
1213 Multi_Language modes, to avoid code duplication.
1214 (Project_Data.Include_Language): Removed.
1215
35afb012
AC		 12162009-04-22 Vincent Celier <celier@adacore.com>
1217
1218 * tempdir.adb (Create_Temp_File): Add a diagnostic in verbose mode when
1219 the temporary file cannot be created, indicating the directory when the
1220 creation was attempted.
1221
12222009-04-22 Emmanuel Briot <briot@adacore.com>
1223
1224 * prj-env.adb, prj-env.ads (Create_Mapping_File): we need to compare
1225 the language names, not their indices.
1226
10d2a6f7
EB		 12272009-04-22 Emmanuel Briot <briot@adacore.com>
1228
1229 * prj.ads, prj-nmsc.adb, prj-env.adb, prj-env.ads
1230 (Source_Data.Language_Name): Field removed.
1231
39d4e04a
EB		 12322009-04-22 Emmanuel Briot <briot@adacore.com>
1233
1234 * prj.adb, prj.ads, prj-nmsc.adb (Project_Data.Unit_Based_Language_*):
1235 Two fields removed.
1236
f1eea135
EB		 12372009-04-22 Emmanuel Briot <briot@adacore.com>
1238
1239 * prj-nmsc.adb (Check_Naming_Ada_Only): Properly initialize the
1240 separate_suffix to the same value as the body_suffix.
1241
d9c0e057
AC		 12422009-04-22 Robert Dewar <dewar@adacore.com>
1243
1244 * prj.adb: Minor code reorganization
1245 Code clean up.
1246
1247 * prj-proc.adb: Minor code reorganization, clean up.
1248
1249 * prj-nmsc.adb: Minor reformatting
1250 Minor code reorganization
1251
1252 * gnat_ugn.texi: Add to doc on strict aliasing
1253
12542009-04-22 Pascal Obry <obry@adacore.com>
1255
1256 * s-osinte-mingw.ads: Rename Reserved field in CRITICAL_SECTION to
1257 SpinCount.
1258
1259 * s-tasini.adb: Minor reformatting.
1260
1261 * s-tassta.adb: Minor reformatting.
1262
ce30eccb
EB		 12632009-04-22 Emmanuel Briot <briot@adacore.com>
1264
1265 * prj-proc.adb, prj-nmsc.adb (Check_Naming_Schemes): split into several
1266 smaller subprograms.
1267 Renamed to Check_File_Naming_Schemes to avoid confusion with the
1268 other Check_Naming_Schemes functions that plays a totally different
1269 role.
1270 (Check_Unit_Based_Lang, Check_File_Based_Lang): new subprograms,
1271 extracted from the above. These were partially rewritten to avoid
1272 unnecessary code and temporary variables.
1273 (Compute_Unit_Name): new subprogram, merge of Check_Unit_Based_Lang
1274 and Get_Unit (which for now still exist since they contain mode-specific
1275 code)
1276
347ab254
EB		 12772009-04-22 Emmanuel Briot <briot@adacore.com>
1278
1279 * prj.ads, prj.adb, prj-nmsc.adb, prj-proc.adb (Recursive_Process):
1280 Remove duplicated code.
1281 (Canonical_Case_File_Name): new subprogram
1282 (Check_And_Normalize_Unit_Names): new subprogram
1283 (Write_Attr): new subprogram
1284 Better sharing of code
1285 (Check_Naming_Ada_Only, Check_Naming_Multi_Lang): new subprogram, to
1286 split Check_Naming and help find duplicated code
1287 (Check_Common): new subprogram, sharing code between ada_only and
1288 multi_language mode.
1289 (Naming_Data.Dot_Repl_Loc): field removed
1290
aa903780
EB		 12912009-04-22 Emmanuel Briot <briot@adacore.com>
1292
1293 * prj-proc.adb, prj-nmsc.adb (Load_Naming_Exceptions): New subprogram.
1294 Minor refactoring to reduce the size of
1295 Process_Sources_In_Multi_Language_Mode.
1296 Avoid extra copied of Source_Data, which we found in the past could be
1297 quite slow.
1298 (Mark_Excluded_Sources): new subprogram.
1299 (Remove_Locally_Removed_Files_From_Units): merged into the above
1300 Refactors Process_Sources_In_Multi_Language_Mode to reduce its size,
1301 and allow better sharing of code between multi_lang and ada_only modes
1302 (Project_Extends): removed, since exact duplicate of Prj.Is_Extending
1303
95c05c62
EB		 13042009-04-22 Emmanuel Briot <briot@adacore.com>
1305
1306 * prj-proc.adb, prj.adb, prj.ads (Project_Data.First_Referred_By):
1307 Removed, since unused.
1308
c9a1acdc
AC		 13092009-04-22 Vincent Celier <celier@adacore.com>
1310
1311 * prj-attr.adb: New single project level attribute
1312 Separate_Run_Path_Options.
1313
1314 * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process
1315 attribute Seperate_Run_Path_Options.
1316
1317 * prj.ads: (Project_Configuration): New Boolean component
1318 Separate_Run_Path_Options, defaulted to False.
1319
1320 * snames.ads-tmpl: New standard name Seperate_Run_Path_Options
1321
6d2a1120
RD		 13222009-04-22 Robert Dewar <dewar@adacore.com>
1323
c9a1acdc
AC		 1324 * sem_type.adb: Minor reformatting
1325
6d2a1120
RD		 1326 * mlib.adb: Minor reformatting
1327
1328 * sem_aggr.adb: Minor reformatting. Defend against junk aggregate from
1329 syntax error.
1330
3b81743f
NS		 13312009-04-22 Nicolas Setton <setton@adacore.com>
1332
1333 * link.c: Add flag __gnat_separate_run_path_options.
1334
1335 * mlib.adb (Separate_Run_Path_Options): New subprogram.
1336
1337 * mlib.ads (Separate_Run_Path_Options): Declare.
1338
1339 * gnatcmd.adb (Process_Link): Add support for emitting one "rpath"
1340 switch per directory, rather than one "rpath" switch listing all
1341 directories.
1342
1343 * gnatlink.adb (Process_Binder_File): Likewise.
1344
1345 * make.adb (Gnatmake): Likewise.
1346
3a69b5ff
AC		 13472009-04-22 Hristian Kirtchev <kirtchev@adacore.com>
1348
1349 * exp_ch6.adb (Make_Build_In_Place_Call_In_Assignment): Code cleanup.
1350 Add a call to Move_Final_List when the target of the assignment is a
1351 return object that needs finalization and the expression is a
1352 controlled build-in-place function.
1353
13542009-04-22 Vincent Celier <celier@adacore.com>
1355
1356 * make.adb (Gnatmake, Bind_Step): call Set_Ada_Paths with
1357 Including_Libraries set to True.
1358
f3a67cfc
ES		 13592009-04-22 Ed Schonberg <schonberg@adacore.com>
1360
1361 * lib-load.ads, lib-load.adb (Make_Child_Decl_Unit): New subprogram, to
1362 create a unit table entry for the subprogram declaration created for a
1363 child suprogram body that has no separate specification.
1364
1365 * sem_ch10.adb (Analyze_Compilation_Unit): For a child unit that is a
1366 subprogram body, call Make_Child_Decl_Unit.
1367
1368 * lib.adb (Get_Cunit_Unit_Number): Verify that an entry not yet in the
1369 table can only be the created specification of a child subprogram body
1370 that is the main unit, which has not been entered in the table yet.
1371
1372 * errout.adb (Output_Messages): Ignore created specification of a
1373 child subprogram body to prevent repeated listing of error messages.
1374
1375 * gnat1drv.adb (gnat1drv): The generated specification for a child
1376 subprogram body does not generate code.
1377
1ef4d0a8
AC		 13782009-04-22 Arnaud Charlet <charlet@adacore.com>
1379
1380 * s-bitops.adb, s-bitops.ads (Raise_Error): Do not use Ada 05 syntax,
1381 since this unit is now part of bootstrap units, so must use Ada 95
1382 syntax only.
1383
13842009-04-22 Thomas Quinot <quinot@adacore.com>
1385
1386 * a-tasatt.adb: Minor reformatting
1387
13882009-04-22 Bob Duff <duff@adacore.com>
1389
1390 * s-stalib.ads: Remove "with System;" since we're inside System, so
1391 it's unnecessary.
1392
13932009-04-22 Vincent Celier <celier@adacore.com>
1394
1395 * prj-nmsc.adb (Add_Source): Always put the dependency file name in
1396 the source record, as there may be a dependency file even if no object
1397 file is created.
1398
1cb46af0
RD		 13992009-04-22 Robert Dewar <dewar@adacore.com>
1400
1ef4d0a8 1401 * lib-load.adb: Minor reformatting
1cb46af0
RD		 1402
1403 * lib-load.ads: Minor reformatting
1404
1405 * sinfo.ads: Minor reformatting
1406
218e53ff
BD		 14072009-04-22 Bob Duff <duff@adacore.com>
1408
1409 * exp_pakd.adb: Minor comment fixes.
1410
1411 * sinfo.ads, par-load.adb, sem_ch10.adb, lib-load.ads, lib-load.adb
1412 sem_ch12.adb: Change the meaning of the Library_Unit attribute to
1413 include units containing instantiations, as well as units that are
1414 generic instantiations.
1415
1416 * sem.adb: Include dependents and corresponding specs/bodies in the
1417 unit walk.
1418
1419 * gcc-interface/Make-lang.in:
1420 sem now depends on s-bitops, because of the packed array of Booleans.
1421
feec4372
EB		 14222009-04-22 Eric Botcazou <ebotcazou@adacore.com>
1423
1424 * gcc-interface/ada-tree.def: Fix formatting nits.
1425 (REGION_STMT): Delete.
1426 (HANDLER_STMT): Likewise.
1427 * gcc-interface/ada-tree.h: Fix formatting nits.
1428 (IS_STMT): Delete.
1429 (REGION_STMT_BODY): Likewise.
1430 (REGION_STMT_HANDLE): Likewise.
1431 (REGION_STMT_BLOCK): Likewise.
1432 (HANDLER_STMT_ARG): Likewise.
1433 (HANDLER_STMT_LIST): Likewise.
1434 (HANDLER_STMT_BLOCK): Likewise.
1435 * gcc-interface/gigi.h (fp_prec_to_size): Update comment.
1436 (fp_size_to_prec): Likewise.
1437 (largest_move_alignment): Delete.
1438 (gnat_compute_largest_alignment): Likewise.
1439 Fix minor nits.
1440 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Signed_Integer_Subtype>:
1441 Remove redundant code.
1442 <E_Array_Type>: Remove redundant assert.
1443 <E_Array_Subtype>: Exit early from index computation in pathological
1444 cases.
1445 Rewrite conditional assignment.
1446 (make_type_from_size): Likewise.
1447 * gcc-interface/misc.c (largest_move_alignment): Delete.
1448 (gnat_finish_incomplete_decl): Likewise.
1449 (LANG_HOOKS_FINISH_INCOMPLETE_DECL): Likewise.
1450 (asm_out_file): Likewise
1451 (gnat_print_type) <INTEGER_TYPE>: Fall through to ENUMERAL_TYPE case.
1452 (gnat_dwarf_name): Move around.
1453 * gcc-interface/trans.c (Attribute_to_gnu): Fix minor nits.
1454 (gigi): Remove call to gnat_compute_largest_alignment.
1455 * utils.c (create_field_decl): Rewrite conditional assignment.
1456 Fix minor nits.
1457
a8e05f92
EB		 14582009-04-22 Eric Botcazou <ebotcazou@adacore.com>
1459
1460 * gcc-interface/decl.c (gnat_to_gnu_entity): Compute is_type predicate
1461 on entry. Defer common processing for types. Reorder and clean up.
1462 Compute the equivalent GNAT node and the default size for types only.
1463 <E_Modular_Integer_Type>: Directly use Esize for the type's precision.
1464 <E_Access_Type>: For an unconstrained designated type, do not pretend
1465 that a dummy type is always made.
1466 <all> Fix nits in comments.
1467 (validate_size): Fix formatting nits and comments.
1468 (set_rm_size): Likewise.
1469 * gcc-interface/utils.c (create_param_decl): Replace bogus argument
1470 passed to TARGET_PROMOTE_PROTOTYPES hook.
1471
0fb2335d
EB		 14722009-04-22 Eric Botcazou <ebotcazou@adacore.com>
1473
1474 * fe.h (Get_External_Name): Declare.
1475 * gcc-interface/gigi.h (concat_id_with_name): Rename to...
1476 (concat_name): ...this.
1477 * gcc-interface/decl.c (gnat_to_gnu_entity): Rename gnu_entity_id to
1478 gnu_entity_name and adjust for above renaming.
1479 <E_Access_Type>: Use create_concat_name to get the name of the various
1480 types associated with unconstrained array types.
1481 (make_aligning_type): Adjust for above renaming.
1482 (maybe_pad_type): Likewise.
a8e05f92 1483 (components_to_record): Likewise. Use get_identifier_with_length for
0fb2335d
EB		 1484 the encoding of the variant.
1485 (get_entity_name): Use get_identifier_with_length.
a8e05f92 1486 (create_concat_name): Likewise. Use Get_External_Name if no suffix.
0fb2335d
EB		 1487 Do not fiddle with Name_Buffer.
1488 (concat_id_with_name): Rename to...
a8e05f92 1489 (concat_name): ...this. Use get_identifier_with_length. Do not fiddle
0fb2335d
EB		 1490 with Name_Buffer.
1491 * gcc-interface/utils.c (rest_of_record_type_compilation): Adjust for
1492 above renaming.
1493
ad41bd84
JM		 14942009-04-21 Joseph Myers <joseph@codesourcery.com>
1495
1496 * ChangeLog, ChangeLog.ptr, ChangeLog.tree-ssa: Add copyright and
1497 license notices.
1498
ca80e52b
EB		 14992009-04-21 Eric Botcazou <ebotcazou@adacore.com>
1500
1501 * gcc-interface/trans.c (gnat_to_gnu): Do not overwrite location info.
1502
b4680ca1
EB		 15032009-04-21 Eric Botcazou <ebotcazou@adacore.com>
1504
71b495a2 1505 * gcc-interface/ada-tree.h (TYPE_RM_SIZE_NUM): Delete.
b4680ca1 1506 (TYPE_RM_SIZE): Access TYPE_LANG_SLOT_1 directly for integral types.
71b495a2
EB		 1507 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Modular_Integer_Type>:
1508 Remove useless support code for packed array types and assert its
1509 uselessness.
b4680ca1
EB		 1510 <E_Signed_Integer_Subtype>: Reuse entity identifier in more places and
1511 adjust for TYPE_RM_SIZE change.
1512 <all> Fix nits in comments. Use Original_Array_Type accessor instead
1513 of Associated_Node_For_Itype accessor for packed array types.
1514 (make_packable_type): Likewise.
1515 (maybe_pad_type): Likewise.
1516 (set_rm_size): Likewise. Rework conditional statement. Adjust for
1517 TYPE_RM_SIZE change.
1518 (make_type_from_size): Adjust for TYPE_RM_SIZE change.
1519 (rm_size): Fix nits in comments. Rework conditional statements.
71b495a2
EB		 1520 * gcc-interface/misc.c (gnat_print_type): Adjust for TYPE_RM_SIZE
1521 change.
1522 * gcc-interface/trans.c (Attribute_to_gnu): Fix nits in comments.
1523 * gcc-interface/utils.c (gnat_init_decl_processing): Use more
1524 appropriate function to initialize the size_type_node. Adjust for
1525 TYPE_RM_SIZE change.
b4680ca1 1526
a962b0a1
EB		 15272009-04-21 Eric Botcazou <ebotcazou@adacore.com>
1528
1529 * gcc-interface/decl.c (gnat_to_gnu_entity): Do not set force_global
1530 for imported subprograms.
1531
2f283818
EB		 15322009-04-21 Eric Botcazou <ebotcazou@adacore.com>
1533
1534 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Do not make
1535 constant objects covered by 13.3(19) volatile.
1536
ac53d5f2
EB		 15372009-04-21 Eric Botcazou <ebotcazou@adacore.com>
1538
1539 * gcc-interface/utils.c (create_type_decl): Do not pass declarations
1540 of dummy fat pointer types to the debug back-end.
1541
6e0f0975
EB		 15422009-04-20 Eric Botcazou <ebotcazou@adacore.com>
1543
1544 * gcc-interface/decl.c (gnat_to_gnu_entity): Rewrite Esize calculation.
1545 <E_Signed_Integer_Subtype>: Set the RM size on the integer type
1546 before wrapping it up in the record type. Do not overwrite the
1547 Ada size of the record type with the Esize.
1548
c2efda0d
EB		 15492009-04-20 Eric Botcazou <ebotcazou@adacore.com>
1550
1551 * gcc-interface/trans.c (unchecked_conversion_lhs_nop): New predicate.
1552 (gnat_to_gnu) <N_Unchecked_Type_Conversion>: Return the expression
1553 if the conversion is on the LHS of an assignment and a no-op.
1554 <all> Do not convert the result to the result type if the Parent
1555 node is such a conversion.
1556
77022fa8
EB		 15572009-04-20 Eric Botcazou <ebotcazou@adacore.com>
1558
1559 * gcc-interface/ada-tree.h (DECL_HAS_REP_P): Delete.
1560 * gcc-interface/decl.c (gnat_to_gnu_entity): Add support for extension
1561 of types with unknown discriminants.
1562 (substitute_in_type): Rewrite and restrict to formal substitutions.
1563 * gcc-interface/utils.c (create_field_decl): Do not set DECL_HAS_REP_P.
1564 (update_pointer_to): Update comment.
1565
e69614ad
AC		 15662009-04-20 Ed Schonberg <schonberg@adacore.com>
1567
1568 * sem_ch8.adb (Use_One_Package): In an instance, if two
1569 potentially_use_visible and non-overloadable homonyms are available
1570 from the actuals of distinct formal packages, retain the current one,
1571 which was visible in the generic, to prevent spurious visibility
1572 errors.
1573 (End_Use_Package): Restore use_visibility when needed.
1574
15752009-04-20 Sergey Rybin <rybin@adacore.com>
1576
1577 * gnat_ugn.texi, vms_data.ads: Update doc.
1578
32838704
AC		 15792009-04-20 Arnaud Charlet <charlet@adacore.com>
1580
1581 * gcc-interface/Make-lang.in: Update dependencies
1582
1583 * gcc-interface/Makefile.in: Link run-time against winsock2 lib under
1584 Windows.
1585
37951d8e
AC		 15862009-04-20 Robert Dewar <dewar@adacore.com>
1587
1588 * checks.ads: Fix documentation of range check handling
1589
15902009-04-20 Ed Schonberg <schonberg@adacore.com>
1591
1592 * sem_ch8.adb (Use_One_Type): Use proper entity on warning message for
1593 a redundant use_type clause.
1594
5d5832bc
AC		 15952009-04-20 Robert Dewar <dewar@adacore.com>
1596
1597 * sem_attr.adb (Eval_Attribute, case Length): Catch more cases where
1598 this attribute can be evaluated at compile time.
1599 (Eval_Attribute, case Range_Length): Same improvement
1600
1601 * sem_eval.ads, sem_eval.adb (Compile_Time_Compare): New procedure
1602
16032009-04-20 Ed Schonberg <schonberg@adacore.com>
1604
1605 * sem_ch6.adb (Analye_Subprogram_Declaration): Code reorganization,
1606 for better handling of null procedures.
1607 (Check_Overriding_Indicator): Do not emit a warning on a missing
1608 overriding indicator on an operator when the type of which the operator
1609 is a primitive is private.
1610
97a8fb16
AC		 16112009-04-20 Bob Duff <duff@adacore.com>
1612
1613 * sem.adb, gnat1drv.adb, debug.adb: Use the -gnatd.W switch to control
1614 debugging output.
1615
16162009-04-20 Robert Dewar <dewar@adacore.com>
1617
1618 * sem_attr.adb: Minor reformatting
1619
1620 * gnatcmd.adb: Minor reformatting
1621
7340e432
AC		 16222009-04-20 Ed Schonberg <schonberg@adacore.com>
1623
1624 * sem_ch4.adb (Analyze_User_Defined_Binary_Op): If left operand is
1625 overloaded and one interpretation matches the context, label the
1626 operand with the type of first formal.
1627
16282009-04-20 Bob Duff <duff@adacore.com>
1629
1630 * debug.ads: Minor comment fix.
1631
1632 * debug.adb: Minor comment fixes.
1633
16342009-04-20 Javier Miranda <miranda@adacore.com>
1635
1636 * rtsfind.ads (RE_Null_Id): New entity of package Ada.Exceptions
1637
1638 * exp_ch6.adb (Expand_Inlined_Call): Undo previous patch.
1639
1640 * exp_ch11.adb (Expand_N_Raise_Statement): When the raise stmt
1641 is expanded into a call to Raise_Exception, avoid passing the
1642 exception-name'identity in runtimes in which this argument
1643 is not used.
1644
bf06d37f
AC		 16452009-04-20 Jerome Lambourg <lambourg@adacore.com>
1646
1647 * impunit.adb: Add i-cil and i-cilobj packages, now needed by the
1648 generated bindings for cil.
1649
16502009-04-20 Ed Schonberg <schonberg@adacore.com>
1651
1652 * sem_aggr.adb (Resolve_Record_Aggregate): If the type has unknown
1653 discriminants, collect components from the Underlying_Record_View,
1654 which will be used in the expansion of the aggregate into assignments.
1655
1656 * sem_ch3.adb: Do not label derived type with unknown discriminants as
1657 having a private declaration.
1658
58a9d876
AC		 16592009-04-20 Ed Schonberg <schonberg@adacore.com>
1660
1661 * exp_util.adb (Expand_Subtype_From_Expr): use the
1662 underlying_record_view when available, to create the proper constrained
1663 subtype for an object of a derived type with unknown discriminants.
1664
16652009-04-20 Javier Miranda <miranda@adacore.com>
1666
1667 * exp_ch6.adb (Expand_Inlined_Call): Avoid generation of temporaries for
1668 formals that have pragma unreferenced.
1669
e34ca162
AC		 16702009-04-20 Pascal Obry <obry@adacore.com>
1671
1672 * a-direct.adb (To_Lower_If_Case_Insensitive): Removed.
1673 Remove all calls to To_Lower_If_Case_Insensitive to preserve
1674 the pathname original casing.
1675
16762009-04-20 Robert Dewar <dewar@adacore.com>
1677
1678 * g-trasym.adb: Minor reformatting
1679
1680 * s-os_lib.adb: Minor reformatting
1681
1682 * sem.adb: Minor reformatting
1683 Minor code reorganization
1684
1685 * sem_ch3.adb: Minor reformatting
1686
1687 * sem_ch4.adb: Minor reformatting
1688
1689 * sem_ch8.adb: Minor reformatting
1690
1691 * sem_type.adb: Minor reformatting
1692
ee9aa7b6
AC		 16932009-04-20 Javier Miranda <miranda@adacore.com>
1694
1695 * sem_disp.adb (Find_Dispatching_Type): For subprograms internally
1696 generated by derivations of tagged types use the aliased subprogram a
1697 reference to locate their controlling type.
1698
16992009-04-20 Tristan Gingold <gingold@adacore.com>
1700
1701 * g-trasym.adb: Set size of result buffer before calling
1702 convert_address.
1703
17042009-04-20 Ed Schonberg <schonberg@adacore.com>
1705
1706 * sem_ch4.adb (Valid_Candidate): When checking whether a prefixed call
1707 to a function returning an array can be interpreted as a call with
1708 defaulted parameters whose result is indexed, take into account the
1709 types of all the indices of the array result type.
1710
17112009-04-20 Pascal Obry <obry@adacore.com>
1712
1713 * a-direct.adb, s-os_lib.adb: Minor reformatting.
1714
bddd6058
AC		 17152009-04-20 Ed Schonberg <schonberg@adacore.com>
1716
1717 * sem_ch8.adb (Analyze_Object_Renaming): Proper checks on incorrect
1718 null exclusion qualifiers for object renaming declarations.
1719
17202009-04-20 Nicolas Roche <roche@adacore.com>
1721
1722 * sysdep.c (__gnat_localtime_tzoff): on Windows, manipulated times are
1723 unsigned long long. So compare local_time and utc_time before computing
1724 the difference.
1725
17262009-04-20 Eric Botcazou <ebotcazou@adacore.com>
1727
1728 * sem_ch3.adb (Build_Derived_Private_Type): Insert the declaration
1729 of the Underlying_Record_View before that of the derived type.
1730
1731 * exp_ch3.adb (Expand_Record_Extension): Do not special-case types
1732 with unknown discriminants with regard to the parent subtype.
1733
4f18d860
BD		 17342009-04-20 Bob Duff <duff@adacore.com>
1735
1736 * sem.adb (Semantics, Walk_Library_Items): Include dependents of bodies
1737 that are not included. This is necessary if the main unit is a generic
1738 instantiation.
1739
1740 * gnat1drv.adb (Gnat1drv): Comment out the call to Check_Library_Items,
1741 because it doesn't work if -gnatn is used.
1742
5987e59c
AC		 17432009-04-20 Ed Schonberg <schonberg@adacore.com>
1744
1745 * rtsfind.adb (RTE, RTE_Record_Component): In
1746 Configurable_Run_Time_Mode, do not enable front-end inlining.
1747
17482009-04-20 Thomas Quinot <quinot@adacore.com>
1749
1750 * g-socthi-vms.adb: Remove now unnecessary WITH clause on
1751 System.Address_To_Access_Conversions.
1752
17532009-04-20 Ed Schonberg <schonberg@adacore.com>
1754
1755 * sem.adb: Guard against ill-formed subunits.
1756
17572009-04-20 Bob Duff <duff@adacore.com>
1758
1759 * output.adb (Flush_Buffer): Do not indent blank lines.
1760 (Ignore_Output): New procedure for output suppression.
1761
17622009-04-20 Hristian Kirtchev <kirtchev@adacore.com>
1763
1764 * a-calfor.adb (Image): Subtract 0.5 from the sub second component only
1765 when it is positive. This avoids a potential constraint error raised
1766 by the conversion to Natural.
1767
17682009-04-20 Gary Dismukes <dismukes@adacore.com>
1769
1770 * exp_ch5.adb (Expand_Assign_Array): For the case where the assignment
1771 involves a target that has a specified address, don't set Forward_OK
1772 and Backward_OK to False if the rhs is an aggregate, since overlap
1773 can't occur.
1774
17752009-04-20 Ed Schonberg <schonberg@adacore.com>
1776
451800a0 1777 * sem_ch8.adb (Analyze_Object_Renaming): Reject ambiguous expressions
5987e59c
AC		 1778 in an object renaming declaration when the expected type is an
1779 anonymous access type.
1780
1781 * sem_type.adb (Disambiguate): Use anonymousness to resolve a potential
1782 ambiguity when one interpretation is an anonymous access type and the
1783 other is a named access type, and the context itself is anonymous
1784
17852009-04-20 Thomas Quinot <quinot@adacore.com>
1786
1787 * einfo.ads: Minor comment rewording
1788
1789 * sem_aggr.adb: Minor comment rewording
1790
1791 * sem_ch3.adb, sem_ch6.adb: Minor reformatting
1792
17932009-04-20 Pascal Obry <obry@adacore.com>
1794
1795 * adaint.c (__gnat_is_readable_file): Check for file existence
1796 when not using ACL (always the case on remote drives).
1797
8737a29a
AC		 17982009-04-20 Robert Dewar <dewar@adacore.com>
1799
1800 * sinfo.ads: Minor comment fixes
1801
1802 * exp_disp.adb: Minor reformatting
1803
1804 * gnat1drv.adb: Minor reformatting
1805
1806 * output.adb: Minor reformatting
1807
1808 * s-vxwext-kernel.ads: Minor reformatting
1809
1810 * sem.ads: Minor reformatting
1811
1812 * sem.adb: Minor reformatting
1813
1814 * sem_elim.adb: Minor reformatting
1815
1816 * uname.ads: Minor reformatting
1817
18182009-04-20 Eric Botcazou <ebotcazou@adacore.com>
1819
1820 * init.c (__gnat_adjust_context_for_raise): On x86{-64}/Linux, add
1821 a small dope of 4 words to the adjustment to the stack pointer.
1822
18232009-04-20 Thomas Quinot <quinot@adacore.com>
1824
1825 * xoscons.adb: generate C header s-oscons.h in
1826 addition to s-oscons.ads.
1827
1828 * socket.c: On VMS, use s-oscons.h.
1829
1830 * sem_ch3.adb: Minor reformatting
1831
1832 * exp_ch9.adb: Minor reformatting
1833
85087bcb
EB		 18342009-04-20 Eric Botcazou <ebotcazou@adacore.com>
1835
1836 * gcc-interface/trans.c (check_for_eliminated_entity): Remove.
1837 (Attribute_to_gnu): Do not call check_for_eliminated_entity.
1838 (call_to_gnu): Likewise.
1839
ecc3905a
EB		 18402009-04-20 Eric Botcazou <ebotcazou@adacore.com>
1841
1842 * gcc-interface/trans.c (gigi): Declare the name of the compilation
1843 unit as the first global name at the very beginning.
1844
2907036d
TQ		 18452009-04-20 Thomas Quinot <quinot@adacore.com>
1846
1847 * socket.c, g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.ads,
1848 s-oscons-tmplt.c, gsocket.h, g-socthi-mingw.ads, g-socthi.ads,
1849 g-sothco.ads (__gnat_inet_pton): Needs to be enabled for HP-UX as well,
1850 since HP-UX supports neither inet_aton nor inet_pton (altough the
1851 latter is part of the Single UNIX Specification!).
1852 So reorganize code, and share C implementation based on inet_addr(3)
1853 with VMS (instead of having a VMS specific Ada implementation in
1854 g-socthi-vms.adb).
1855
d5063351
AC		 18562009-04-20 Gary Dismukes <dismukes@adacore.com>
1857
1858 * osint-c.ads, osint-c.adb (Get_Object_Output_File_Name): New function
1859 to return the object file name saved by Set_Object_Output_File_Name.
1860
18612009-04-20 Emmanuel Briot <briot@adacore.com>
1862
1863 * g-comlin.adb (Initialize_Option_Scan): Fix initialization of parsers
1864 for the standard command line, when argc has been modified since the
1865 start of the application.
1866
18672009-04-20 Thomas Quinot <quinot@adacore.com>
1868
1869 * socket.c (__gnat_inet_pton, Windows case): Adjust return value.
1870 WSAStringToAddress returns 0 for success and SOCKET_ERROR for failure.
1871
3edf2f76
AC		 18722009-04-20 Bob Duff <duff@adacore.com>
1873
1874 * gnat1drv.adb (Gnat1drv): Put call to Check_Library_Items inside
1875 pragma Debug.
1876
18772009-04-20 Ed Schonberg <schonberg@adacore.com>
1878
1879 * exp_ch9.adb (Build_Protected_Sub_Specification): Mark generated
1880 subprogram as Eliminated when source operation is.
1881 (Expand_N_Protected_Type_Declaration): Generate protected and
1882 unprotected specs for the internal operations, even if the source
1883 operation is eliminated.
1884
18852009-04-20 Hristian Kirtchev <kirtchev@adacore.com>
1886
1887 * exp_ch3.adb (Make_Predefined_Primitive_Specs,
1888 Predefined_Primitive_Bodies): Do not create the declarations and bodies
1889 of the primitive subprograms associated with dispatching select
1890 statements when the runtime is in configurable mode.
1891
18922009-04-20 Ed Falis <falis@adacore.com>
1893
1894 * s-vxwext-kernel.ads (tickGet): Use tick64Get.
1895
4fd1e8b0
AC		 18962009-04-20 Thomas Quinot <quinot@adacore.com>
1897
1898 * s-oscons-tmplt.c: Add support for generating a dummy version of
1899 s-oscons.ads providing all possible constants.
1900
1901 * g-socthi-mingw.ads: Fix calling convention for __gnat_inet_pton.
1902
1903 * socket.c (__gnat_inet_pton): On Windows make sure we always use the
1904 ANSI version (not the UNICODE version) of WSAStringToAddress.
1905
19062009-04-20 Pascal Obry <obry@adacore.com>
1907
1908 * adaint.c (__gnat_set_OWNER_ACL): properly free memory
1909 allocated for the security descriptor and make sure all
1910 handles are closed before leaving this procedure.
1911
9013065b
AC		 19122009-04-20 Javier Miranda <miranda@adacore.com>
1913
1914 * einfo.ads, einfo.adb (Is_Underlying_Record_View): New subprogram
1915 (Set_Is_Underlying_Record_View): New subprogram
1916
1917 * sem_aggr.adb (Discr_Present, Resolve_Record_Aggregate): In case of
1918 private types with unknown discriminants use the underlying record view
1919 if available.
1920
1921 * sem_ch3.adb (Build_Derived_Private_Type): Enable construction of the
1922 underlying record view in the full view of private types whose parent
1923 has unknown discriminants.
1924 (Build_Derived_Record_Type): Avoid generating the class-wide entity
1925 associated with an underlying record view.
1926 (Derived_Type_Declaration): Avoid deriving parent primitives in
1927 underlying record views.
1928
1929 * sem_ch6.adb (Check_Return_Subtype_Indication): Add support for
1930 records with unknown discriminants.
1931
1932 * sem_type.adb (Covers): Handle underlying record views.
1933 (Is_Ancestor): Add support for underlying record views.
1934
1935 * exp_attr.adb (Expand_Attribute): Expand attribute 'size into a
1936 dispatching call if the type of the target object is tagged and has
1937 unknown discriminants.
1938
1939 * exp_aggr.adb (Resolve_Record_Aggregate): Add support for records with
1940 unknown discriminants.
1941
1942 * exp_disp.adb (Build_Dispatch_Tables): Avoid generating dispatch
1943 tables for internally built underlying record views.
1944
1945 * sprint.adb (sprint_node_actual): Improve output of aggregates with an
1946 empty list of component associations.
1947
19482009-04-20 Thomas Quinot <quinot@adacore.com>
1949
1950 * sem_ch10.adb: Minor reformatting
1951
1952 * socket.c, g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.ads,
1953 g-socthi-mingw.ads, g-socthi.ads, g-socket.adb
1954 (GNAT.Sockets.Inet_Addr): Do not use non-portable inet_aton, instead use
1955 standard inet_pton API (and emulate it on platforms that do not
1956 support it).
1957 (GNAT.Sockets.Thin.Inet_Pton, VMS case): Implement in terms of
1958 DECC$INET_ADDR, imported in Ada.
1959 (GNAT.Sockets.Thin.Inet_Pton, VxWorks and Windows cases): Use C
1960 implementation provided by GNAT runtime.
1961 (__gnat_inet_pton): C implementation of inet_pton(3) for VxWorks and
1962 Windows.
1963
7289b80c
AC		 19642009-04-20 Eric Botcazou <ebotcazou@adacore.com>
1965
1966 * gnat_ugn.texi: Add documentation for -fno-ivopts.
1967
19682009-04-20 Ed Schonberg <schonberg@adacore.com>
1969
1970 * sem_ch10.adb (Analyze_Context): Do not analyze a unit in a
1971 with_clause if it is the main unit.
1972
c09a557e
AC		 19732009-04-20 Thomas Quinot <quinot@adacore.com>
1974
1975 * sem_type.adb, ali.adb, erroutc.adb: Minor code reorganization
1976 (no behaviour change): Use Append instead of Increment_Last followed
1977 by assignment.
1978
19792009-04-20 Hristian Kirtchev <kirtchev@adacore.com>
1980
1981 * exp_ch3.adb (Make_Predefined_Primitive_Specs): Do not generate the
1982 declarations of all primitives associated with dispatching asynchronous,
1983 conditional and timed selects when dispaching calls are forbidden and
1984 select statements are not allowed (such as in Ravenscar).
1985 (Predefined_Primitive_Bodies): Ditto for bodies.
1986
1987 * exp_disp.ad (Make_DT): Do not create and populate the
1988 Select_Specific_Data of the dispatch table when dispatching calls are
1989 forbidden and select statements are not allowed (such as in Ravenscar).
1990
19912009-04-20 Robert Dewar <dewar@adacore.com>
1992
1993 * a-tifiio.adb: Minor reformatting
1994
19952009-04-20 Thomas Quinot <quinot@adacore.com>
1996
1997 * g-socthi-vms.adb, g-socket.adb, g-socket.ads: inet_aton(3), unlike
1998 other C library functions, report *failure* with a zero status, and
1999 success with a non-zero status.
2000
20012009-04-20 Bob Duff <duff@adacore.com>
2002
2003 * sem.ads, sem.adb (Walk_Library_Items): New generic procedure.
2004 (Semantics): After analyzing each unit, Append it to the
2005 Comp_Unit_List, if appropriate.
2006
2007 * gnat1drv.adb (Check_Library_Items): New procedure for debugging
2008 purposes.
2009 (Gnat1drv): Correct comment regarding Back_End_Mode.
2010
20112009-04-20 Eric Botcazou <ebotcazou@adacore.com>
2012
2013 * gnat_ugn.texi: Add documentation for -fno-inline-small-functions.
2014
7e728b0f
TQ		 20152009-04-20 Thomas Quinot <quinot@adacore.com>
2016
2017 * s-taprop-irix.adb, s-taprop-tru64.adb, s-taprop-vms.adb,
2018 output.adb, output.ads, s-taprop-hpux-dce.adb,
2019 s-taprop-linux.adb, s-taprop-solaris.adb, s-taprop-posix.adb: Minor
2020 reformatting.
2021
5e39baa6
TQ		 20222009-04-20 Thomas Quinot <quinot@adacore.com>
2023
2024 * g-socket.adb, g-socket.ads, g-socthi-mingw.ads, g-socthi-vms.adb,
2025 g-socthi-vms.ads, g-socthi-vxworks.ads, g-socthi.ads
2026 (GNAT.Sockets.Thin.C_Inet_Addr): Remove.
2027 (GNAT.Sockets.Thin.Inet_Aton): New function, imported from C library
2028 except for VMS where it is reimplemented in Ada using DECC$INET_ADDR.
2029 (GNAT.Sockets.Inet_Addr): Use inet_aton(3) instead of inet_addr(3).
2030
2031 * debug.adb: Fix typo
2032
2033 * gnat_rm.texi: Minor doc fix.
2034
2035 * sem_ch7.adb, freeze.adb: Minor reformatting
2036
3568b271
AC		 20372009-04-20 Thomas Quinot <quinot@adacore.com>
2038
2039 * g-socket.ads: Add new constants:
2040 Loopback_Inet_Addr
2041 Unspecified_Group_Inet_Addr
2042 All_Hosts_Group_Inet_Addr
2043 All_Routers_Group_Inet_Addr
2044
2045 * s-oscons-tmplt.c, g-sttsne-vxworks.adb (System.OS_Constants): Add
2046 ERANGE (Result too large).
2047 (GNAT.Sockets.Thin.Task_Safe_NetDB, VxWorks version): Add missing
2048 propagation of errno to caller.
2049
20502009-04-20 Hristian Kirtchev <kirtchev@adacore.com>
2051
2052 * a-calend.adb, a-calend-vms.adb: Increase the number of leap seconds
2053 to 24. Increment Leap_Seconds_Count and add an entry to aggregate
2054 Leap_Second_Times.
2055
20562009-04-20 Gary Dismukes <dismukes@adacore.com>
2057
2058 * sem_elim.ads (Check_For_Eliminated_Subprogram): New procedure for
2059 checking for references to eliminated subprograms that should be
2060 flagged.
2061 (Eliminate_Error_Message): Update comment to say "references" rather
2062 than "calls" (since attribute cases are handled here as well).
2063
2064 * sem_elim.adb (Check_For_Eliminated_Subprogram): New procedure for
2065 checking for references to eliminated subprograms that should be
2066 flagged. Add with and use of Sem and Sem_Util.
2067
2068 * sem_res.adb (Resolve_Call): Reject calls to eliminated subprograms.
2069 Add with and use of Sem_Elim.
2070
2071 * sem_attr.adb (Analyze_Access_Attribute): Reject access attributes
2072 applied to eliminated subprograms.
2073 (Analyze_Attribute): Reject 'Address and 'Code_Address applied to
2074 eliminated subprograms.
2075 Add with and use of Sem_Elim.
2076
2077 * sem_disp.adb (Check_Dispatching_Call): Remove error check for calls
2078 to eliminated subprograms, now handled during Resolve_Call.
2079 Remove with and use of Sem_Elim.
2080
2081 * exp_disp.adb (Make_DT): Get Ultimate_Alias of primitive before
2082 testing Is_Eliminated, for proper handling of primitive derived from
2083 eliminated subprograms.
2084
20852009-04-20 Vincent Celier <celier@adacore.com>
2086
2087 * mlib-prj.adb (Build_Library): Use the shared library linker, if one
2088 has been declared (Library_GCC or Linker'Driver), for the driver name.
2089
2090 * prj-nmsc.adb (Process_Linker): If Library_GCC is not declared and
2091 Linker'Driver is, use Linker'Driver as the shared library linker.
2092 (Process_Project_Level_Simple_Attributes): Issue a warning if attribute
2093 Library_GCC is declared.
2094 (Check_Library_Attributes): Set up the shared linker driver: either
2095 Library_GCC or Linker'Driver. Issue a warning if Library_GCC is
2096 declared.
2097
6e55ac7a
TQ		 20982009-04-20 Thomas Quinot <quinot@adacore.com>
2099
2100 * g-socket.ads (Send_Socket): Fix misleading comment.
2101
68218f7c
AC		 21022009-04-20 Arnaud Charlet <charlet@adacore.com>
2103
2104 * switch-c.adb (Scan_Front_End_Switches): Disable inspector mode in
2105 ASIS mode.
2106
21072009-04-20 Geert Bosch <bosch@adacore.com>
2108
2109 * a-tifiio.adb (Put): Avoid generating too many digits for certain
2110 fixed types with smalls that are neither integer or the reciprocal
2111 of an integer.
2112
21132009-04-20 Bob Duff <duff@adacore.com>
2114
2115 * uname.ads: Minor comment fix.
2116
2117 * types.ads: Minor comment fix.
2118
262991d8
PO		 21192009-04-20 Pascal Obry <obry@adacore.com>
2120
2121 * adaint.c (__gnat_get_libraries_from_registry): Fix code to
2122 avoid warning. At the same time fix a memory leak.
2123
2124 * osint.adb (Get_Libraries_From_Registry): Properly free memory
2125 returned by the above routine.
2126
d0f8d157
AC		 21272009-04-20 Robert Dewar <dewar@adacore.com>
2128
2129 * s-conca5.adb, s-conca5.ads, s-conca7.adb, s-conca7.ads, s-conca9.adb,
2130 s-conca9.ads, rtsfind.ads, s-conca2.adb, s-conca2.ads, s-conca4.adb,
2131 s-conca4.ads, s-conca6.adb, s-conca6.ads, s-conca8.adb, s-conca8.ads,
2132 s-conca3.adb, s-conca3.ads (Str_Concat_Bounds_x): New functions.
2133
2134 * exp_ch4.adb (Expand_Concatenate): Minor code reorganization
2135
21362009-04-20 Pascal Obry <obry@adacore.com>
2137
2138 * initialize.c (__gnat_initialize): Add braces to kill warning.
2139
262991d8 2140 * adaint.c: Minor reformatting, remove trailing spaces.
d0f8d157 2141
34c25b32
AC		 21422009-04-17 Arnaud Charlet <charlet@adacore.com>
2143
2144 * gcc-interface/Make-lang.in: Update dependencies.
2145
9549767b
AC		 21462009-04-20 Eric Botcazou <ebotcazou@adacore.com>
2147
2148 * adaint.h (__gnat_lwp_self): Declare on Linux.
2149
2150 * adaint.c (__gnat_os_filename): Add ATTRIBUTE_UNUSED on 'filename'.
2151
21522009-04-20 Robert Dewar <dewar@adacore.com>
2153
2154 * exp_ch5.adb, usage.adb, back_end.adb, opt.ads: Implement
2155 front-end part of -fpreserve-control-flow switch.
2156
d7f94401
AC		 21572009-04-20 Bob Duff <duff@adacore.com>
2158
2159 * rtsfind.adb: Minor comment fix
2160
21612009-04-20 Robert Dewar <dewar@adacore.com>
2162
2163 * exp_aggr.adb: Minor reformatting
2164 Minor code reorganization (use Nkind_In)
2165
2166 * g-socket.adb: Minor reformatting
2167
2168 * g-socket.ads: Minor comment fix
2169
2170 * s-auxdec.ads: Minor comment and organization update.
2171
2172 * s-auxdec-vms_64.ads: Minor comment and organization update.
2173
2174 * sem_ch10.adb: Minor addition of ??? comment
2175
2176 * sem_disp.adb: Minor reformatting
2177
f8b86c2d
AC		 21782009-04-20 Ed Schonberg <schonberg@adacore.com>
2179
2180 * inline.adb (Add_Inlined_Subprogram): Do not place on the back-end
2181 list a caller of an inlined subprogram, if the caller itself is not
2182 called.
2183
21842009-04-20 Pascal Obry <obry@adacore.com>
2185
2186 * adaint.c: Disable use of ACL on network drives.
2187
21882009-04-20 Arnaud Charlet <charlet@adacore.com>
2189
2190 * gnat_ugn.texi: Add examples.
2191
efec4f2a
TQ		 21922009-04-20 Thomas Quinot <quinot@adacore.com>
2193
2194 * g-socket.ads (Abort_Selector): Clarify documentation.
2195
ff2e7c1e
AC		 21962009-04-20 Arnaud Charlet <charlet@adacore.com>
2197
2198 * opt.ads (Inspector_Mode): Update documentation of this flag.
2199
22002009-04-20 Thomas Quinot <quinot@adacore.com>
2201
2202 * g-socket.ads: Minor reformatting
2203
2204 * socket.c, gsocket.h (__gnat_get_h_errno, VxWorks case): No need to
2205 consider S_resolvLib error codes since we only use the hostLib wrappers.
2206
22072009-04-20 Eric Botcazou <ebotcazou@adacore.com>
2208
2209 * sem_ch3.adb (Build_Derived_Private_Type): Insert the declaration
2210 of the Underlying_Record_View after that of the derived type.
2211
26a43556
AC		 22122009-04-20 Arnaud Charlet <charlet@adacore.com>
2213
2214 * switch-c.adb (Scan_Front_End_Switches): Disable front-end inlining
2215 in inspector mode.
2216
22172009-04-20 Javier Miranda <miranda@adacore.com>
2218
2219 * sem_ch6.adb (New_Overloaded_Entity): Minor reformating.
2220
2221 * sem_ch6.ads (Subtype_Conformant, Type_Conformant): Add missing
2222 documentation.
2223
2224 * exp_aggr.adb (Build_Record_Aggr_Code): Code cleanup.
2225
2226 * sem_disp.adb
2227 (Check_Dispatching_Operation): Set attribute Is_Dispatching_Operation
2228 in internally built overriding subprograms.
2229
22302009-04-20 Doug Rupp <rupp@adacore.com>
2231
2232 * s-auxdec-vms_64.ads (Integer_{8,16,32,64}_Array): New array types.
2233
2234 * s-auxdec.ads: Likewise
2235
22362009-04-20 Ed Schonberg <schonberg@adacore.com>
2237
2238 * sem_ch3.adb (Find_Type_Name): Reject the completion of a private
2239 type by an interface.
2240
2241 * exp_ch6.adb (Expand_Call): Inline To_Address unconditionally, to
2242 minimze difference in expanded tree when compiled as spec of the main
2243 unit, or as a spec in the context of another unit.
2244
3f25c54d
AC		 22452009-04-20 Hristian Kirtchev <kirtchev@adacore.com>
2246
2247 * a-calend.adb: Remove types char_Pointer, int, tm and tm_Pointer.
2248 (localtime_tzoff): This routine no longer accepts an actual of type
2249 tm_Pointer.
2250 (UTC_Time_Offset): Remove local variable Secs_TM.
2251
2252 * sysdep.c (__gnat_localtime_tzoff): This routine no longer accepts an
2253 actual of type struct tm*. Add local variable of type struct tm for all
2254 targets that provide localtime_r and need to invoke it.
2255
22562009-04-20 Thomas Quinot <quinot@adacore.com>
2257
2258 * s-oscons-tmplt.c, g-socket.adb, g-socket.ads
2259 (GNAT.Sockets.Resolve_Error): Add case of EPIPE
2260 Add case of EAGAIN for platforms where it is not equal to EWOULDBLOCK
2261
8dbf3473
AC		 22622009-04-20 Robert Dewar <dewar@adacore.com>
2263
2264 * sem_ch3.adb: Minor reformatting
2265
2266 * lib-load.adb: Minor reformatting
2267
2268 * sem_ch4.adb: Minor reformatting
2269
22702009-04-20 Robert Dewar <dewar@adacore.com>
2271
2272 * namet-sp.ads, namet-sp.adb (Is_Bad_Spelling_Of): Implement new spec
2273 (equal values => False).
2274
22752009-04-20 Ed Schonberg <schonberg@adacore.com>
2276
2277 * exp_ch6.adb (Is_Null_Procedure): predicate is global, so that calls
2278 to null procedures can be inlined unconditionally.
2279
56fe7b05
EB		 22802009-04-20 Eric Botcazou <ebotcazou@adacore.com>
2281
2282 * gcc-interface/trans.c (call_to_gnu): When creating the copy for a
2283 non-addressable parameter passed by reference, do not convert the
2284 actual if its type is already the nominal type, unless it is of
2285 self-referential size.
2286
9fcf2a0b
AC		 22872009-04-20 Arnaud Charlet <charlet@adacore.com>
2288
2289 * gnat_ugn.texi: Fix typos.
2290
22912009-04-20 Robert Dewar <dewar@adacore.com>
2292
2293 * debug.adb, gnat1drv.adb, sem_ch13.adb: Add circuitry to
2294 Validate_Unchecked_Warnings to suppress warnings about size or
2295 alignment or extra bits if either type involved has pragma Warnings
2296 (Off) set for the type entity.
2297
f7ebc6a8
EB		 22982009-04-19 Eric Botcazou <ebotcazou@adacore.com>
2299
2300 * gcc-interface/trans.c (gigi): Make the special IA-64 descriptor type
2301 a builtin type and give it a name.
2302
105ab5db
DN		 23032009-04-17 Diego Novillo <dnovillo@google.com>
2304
2305 * gcc-interface/misc.c (gnat_expand_expr): Remove.
2306 (LANG_HOOKS_EXPAND_EXPR): Remove.
2307
03b64787
AC		 23082009-04-17 Robert Dewar <dewar@adacore.com>
2309
2310 * sem_ch3.adb: Minor reformatting
2311
23122009-04-17 Pascal Obry <obry@adacore.com>
2313
2314 * adaint.c: Add __gnat_use_acl global variable to control use of ACL.
2315
054275e4
ES		 23162009-04-17 Ed Schonberg <schonberg@adacore.com>
2317
2318 * sem_ch3.adb (Build_Derived_Enumeration_Type): Diagnose properly
2319 illegal constraints on type derived from formal discrete types.
2320
aed6fda8
TQ		 23212009-04-17 Thomas Quinot <quinot@adacore.com>
2322
2323 PR ada/35953
2324
2325 * g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
2326 g-socthi-vxworks.ads, g-socthi-mingw.adb, g-socthi-mingw.ads,
2327 g-socthi.adb, g-stsifd-sockets.adb, g-socthi.ads, g-socket.adb,
2328 g-socket.ads (GNAT.Sockets.Thin.C_Send,
2329 GNAT.Sockets.Thin.Syscall_Send): Remove unused subprograms.
2330 Replace calls to send(2) with equivalent sendto(2) calls.
2331 (GNAT.Sockets.Send_Socket): Factor common code in inlined subprogram.
2332 (GNAT.Sockets.Write): Account for the case of hyper-empty arrays, do not
2333 report an error in that case. Factor code common to the two versions
2334 (datagram and stream) in common routine Stream_Write.
2335
c5d91669
AC		 23362009-04-17 Robert Dewar <dewar@adacore.com>
2337
2338 * exp_disp.adb: Minor reformatting
2339 Minor code reorganization (use Nkind_In)
2340
2341 * prepcomp.adb: Minor reformatting
2342
2343 * sem_ch3.adb: Minor reformatting
2344
2345 * sem_res.adb: Minor comment addition
2346
2347 * exp_ch5.adb (Expand_Assign_Array): Use Has_Address_Clause to test
2348 for address clause
2349
2350 * lib-xref.adb (Generate_Reference): Exclude recursive calls from
2351 setting Is_Referenced
2352
2353 * types.ads: Minor reformatting
2354
23552009-04-17 Arnaud Charlet <charlet@adacore.com>
2356
2357 * gnat_ugn.texi: Initial documentation on binding generator.
2358
39f346aa
ES		 23592009-04-17 Ed Schonberg <schonberg@adacore.com>
2360
2361 * einfo.ads, einfo.adb: New attribute Underlying_Record_View, to handle
2362 type extensions whose parent is a type with unknown discriminants.
2363
2364 * exp_aggr.adb (Expand_Record_Aggregate): If the type of an extension
2365 aggregate has unknown discriminants, use the Underlying_Record_View to
2366 obtain the discriminants of the ancestor part.
2367
2368 * exp_disp.adb (Build_Dispatch_Tables): Types that are
2369 Underlying_Record_Views share the dispatching information of the
2370 original record extension.
2371
2372 * exp_ch3.adb (Expand_Record_Extension): If the type inherits unknown
2373 discriminants, propagate dispach table information to the
2374 Underlying_Record_View.
2375
2376 * sem_ch3.adb (Build_Derived_Private_Type): If parent type has unknown
2377 discriminants and declaration is not a completion, generate
2378 Underlying_Record_View to provide proper discriminant information to
2379 the front-end and to gigi.
2380
8c64de1e
RD		 23812009-04-17 Robert Dewar <dewar@adacore.com>
2382
2383 * s-conca5.adb, g-sercom.adb, s-conca5.ads, s-conca7.adb, exp_imgv.adb,
2384 s-conca7.ads, s-crc32.adb, s-crc32.ads, s-conca9.adb, s-conca9.ads,
2385 s-addope.adb, i-cstrin.ads, s-addope.ads, s-carun8.adb, s-carun8.ads,
2386 g-htable.ads, g-hesora.adb, g-hesora.ads, s-htable.adb, s-htable.ads,
2387 s-conca2.adb, s-conca2.ads, a-except.adb, s-conca4.adb, a-except.ads,
2388 s-conca4.ads, s-except.adb, s-except.ads, s-conca6.adb, s-conca6.ads,
2389 g-spchge.adb, g-spchge.ads, g-u3spch.adb, g-u3spch.ads, s-conca8.adb,
2390 s-conca8.ads, g-byorma.adb, g-byorma.ads, s-memory.adb, s-memory.ads,
2391 g-speche.adb, g-speche.ads, g-stsifd-sockets.adb, exp_dist.adb,
2392 s-imgenu.adb, s-imgenu.ads, s-mastop.adb, s-mastop.ads, s-exctab.adb,
2393 s-exctab.ads, s-imenne.adb, s-imenne.ads, s-casuti.adb, osint.adb,
2394 s-assert.adb, s-casuti.ads, s-assert.ads, s-os_lib.adb, s-conca3.adb,
2395 s-conca3.ads: Remove unneeded pragma Warnings
2396
74e63df1
RD		 23972009-04-17 Robert Dewar <dewar@adacore.com>
2398
2399 * g-moreex.adb: Add comments.
2400
2401 * s-auxdec.ads: Add ??? comment for uncommented pragma Warnings (Off)
2402
2403 * s-auxdec-vms_64.ads: Add ??? comment for uncommented pragma
2404 Warnings (Off)
2405
2406 * prepcomp.adb: Add ??? comment
2407
2408 * a-tasatt.adb: Minor reformatting
2409
2410 * g-trasym-vms-alpha.adb: Add ??? comment
2411
2412 * g-trasym-vms-ia64.adb: Add ??? comment
2413
2414 * xoscons.adb: Minor reformatting
2415
2416 * s-tassta.adb: Minor reformatting
2417
2418 * s-scaval.adb: Add ??? comment
2419
2420 * stand.ads: Minor code clean up (remove junk with of Namet)
2421
2422 * s-strcom.adb, s-strcom.ads, s-string.adb, s-string.ads, s-sopco3.adb,
2423 s-sopco3.ads, s-strops.adb, s-strops.ads, s-sopco5.adb, s-sopco5.ads,
2424 s-wchcnv.adb, s-wchcnv.ads, s-ststop.adb, s-ststop.ads, s-soflin.adb,
2425 s-soflin.ads, s-traceb.adb, s-traceb.ads, s-traent.adb, s-traent.ads,
2426 s-secsta.adb, s-secsta.ads, s-utf_32.adb, s-utf_32.ads, s-wchcon.adb,
2427 s-wchjis.adb, s-wchcon.ads, s-wchjis.ads, s-sopco4.adb, s-sopco4.ads,
2428 s-stache.adb, s-stache.ads, s-stoele.adb, s-stoele.ads, s-stalib.adb,
2429 s-stalib.ads, s-os_lib.ads, s-purexc.ads: Remove no longer needed
2430 Warnings off pragmas.
2431
df416fb0
AC		 24322009-04-17 Pascal Obry <obry@adacore.com>
2433
2434 * initialize.c: Fix test for reallocating the arguments array.
2435
24362009-04-17 Geert Bosch <bosch@adacore.com>
2437
2438 * exp_fixd.adb (Expand_Convert_Float_To_Fixed): Have float to fixed
2439 conversion truncate only for decimal fixed point types.
2440
24412009-04-17 Jerome Lambourg <lambourg@adacore.com>
2442
2443 * g-comlin.adb (Initialize_Scan_Option): Make sure the sections are
2444 reinitialized.
2445
01cd0938
AC		 24462009-04-17 Robert Dewar <dewar@adacore.com>
2447
2448 * exp_ch5.adb (Expand_Assign_Array): Do not set Forwards_OK and
2449 Backwards_OK if either operand has an address clause.
2450
24512009-04-17 Pascal Obry <obry@adacore.com>
2452
2453 * initialize.c: Code clean up, use realloc.
2454
46e26fe3
PO		 24552009-04-17 Pascal Obry <obry@adacore.com>
2456
2457 * initialize.c: Do not get Unicode command line if Unicode support not
2458 activated.
2459 Add support for wildcard expansion for Unicode parameters on Win32.
2460
2461 * mingw32.h: Add missing macros when Unicode support not activated.
2462
b20de9b9
AC		 24632009-04-17 Javier Miranda <miranda@adacore.com>
2464
2465 * sem_ch6.adb (Check_Anonymous_Return): Add missing checks to
2466 avoid generating code that references the Current_Master
2467 when compiling without tasks.
2468
24692009-04-17 Vincent Celier <celier@adacore.com>
2470
2471 * prj-attr.adb: New project level attribute Target
2472
2473 * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process
2474 attribute Target
2475
2476 * prj.ads (Project_Configuration): New component Target
2477
a8f59a33
AC		 24782009-04-17 Thomas Quinot <quinot@adacore.com>
2479
2480 * exp_ch7.adb (Expand_Ctrl_Function_Call): Remove incorrect special
2481 case for the case of an aggregate component, the attach call for the
2482 result is actually needed.
2483
2484 * exp_aggr.adb (Backend_Processing_Possible): Backend processing for
2485 an array aggregate must be disabled if the component type requires
2486 controlled actions.
2487
2488 * exp_ch3.adb: Minor reformatting
2489
24902009-04-17 Bob Duff <duff@adacore.com>
2491
2492 * output.ads (Indent,Outdent): New procedures for indenting the output.
2493 (Write_Char): Correct comment -- LF _is_ allowed.
2494
2495 * output.adb (Indent,Outdent): New procedures for indenting the output.
2496 Keep track of the indentation level, and make sure it doesn't get too
2497 high.
2498 (Flush_Buffer): Insert spaces at the beginning of each line, if
2499 indentation level is nonzero.
2500 (Save_Output_Buffer,Restore_Output_Buffer): Save and restore the current
2501 indentation level.
2502 (Set_Standard_Error,Set_Standard_Output): Remove superfluous
2503 "Next_Col := 1;". Flush_Buffer does that.
2504
2505 * sem_ch6.adb, sem_ch7.adb (Debug_Flag_C): Reorganize the output
2506 controlled by the -gnatdc switch. It now occurs on entry/exit to the
2507 relevant analysis routines, and calls Indent/Outdent to make the
2508 indentation reflect the nesting level. Add "helper" routines, since
2509 otherwise lots of "return;" statements would skip the debugging output.
2510
25112009-04-17 Arnaud Charlet <charlet@adacore.com>
2512
2513 * s-taprop-tru64.adb, s-taprop-vms.adb, s-taprop-linux.adb,
2514 s-taprop-solaris.adb, s-taprop-irix.adb, s-taprop-hpux-dce.adb,
2515 s-taprop-posix.adb (Suspend_Until_True): Protect against early wakeup.
2516
32beb1f3
AC		 25172009-04-17 Thomas Quinot <quinot@adacore.com>
2518
2519 * exp_aggr.adb: Minor code reorganization, no behaviour change.
2520
25212009-04-17 Ed Schonberg <schonberg@adacore.com>
2522
2523 * sem_ch8.adb (Use_One_Type): Handle properly a redundant use type
2524 clause in a unit that is a package body or a subunit, when the previous
2525 clause appears in a spec or a parent.
2526
36c73552
AC		 25272009-04-17 Thomas Quinot <quinot@adacore.com>
2528
2529 * sinfo.ads, exp_aggr.adb, exp_aggr.ads: Minor reformatting
2530
2531 * exp_ch7.adb: Minor reformatting
2532
25332009-04-17 Bob Duff <duff@adacore.com>
2534
2535 * exp_ch4.adb (Expand_Allocator_Expression): In an initialized
2536 allocator, check that the expression of the qualified expression obeys
2537 the constraints of the subtype of the qualified expression.
2538
25392009-04-17 Thomas Quinot <quinot@adacore.com>
2540
2541 * sprint.adb (Write_Itype): Add handling of enumeration subtypes.
2542
cac5a801
AC		 25432009-04-17 Ed Schonberg <schonberg@adacore.com>
2544
2545 * exp_ch4.adb (Expand_Allocator_Expression): Apply constraint check to
2546 aggregate, using context imposed by subtype mark in allocator.
2547
25482009-04-17 Pascal Obry <obry@adacore.com>
2549
2550 * gnat_rm.texi: Document GNAT_CODE_PAGE environment variable
2551
03f050b6
AC		 25522009-04-17 Nicolas Roche <roche@adacore.com>
2553
2554 * initialize.c (__gnat_initialize): remove MAX_PATH limitation on each
2555 argument length.
2556
25572009-04-17 Gary Dismukes <dismukes@adacore.com>
2558
2559 * sem_elim.adb (Eliminate_Error_Msg): Minor change to error message to
2560 cover both calls and attribute references ("call" => "reference").
2561
25622009-04-17 Ed Schonberg <schonberg@adacore.com>
2563
2564 * sem_ch3.adb (Analyze_Subtype_Declaration): A subtype of an access
2565 type for which Storage_Size is set to 0 is legal in a pure unit.
2566
bf327c92
AC		 25672009-04-17 Thomas Quinot <quinot@adacore.com>
2568
2569 * exp_ch7.adb: Minor reformatting
2570
25712009-04-17 Robert Dewar <dewar@adacore.com>
2572
2573 * restrict.adb (Check_Restriction_No_Dependence): Don't check
2574 restriction if outside main extended source unit.
2575
2576 * sem_ch10.adb (Analyze_With_Clause): Check No_Dependence restriction
2577 for parents of child units as well as the child unit itself.
2578
25792009-04-17 Bob Duff <duff@adacore.com>
2580
2581 * checks.ads: Minor comment fix
2582
2583 * exp_aggr.ads: Minor comment fix
2584
25852009-04-17 Nicolas Roche <roche@adacore.com>
2586
2587 * adaint.c: Improve cross compiler detection and handling.
2588
ffec8e81
AC		 25892009-04-17 Eric Botcazou <ebotcazou@adacore.com>
2590
2591 * exp_ch4.adb (Expand_Concatenation): Do not use calls at -Os.
2592
25932009-04-17 Pascal Obry <obry@adacore.com>
2594
2595 * mingw32.h: Add S2WSC and WS2SC macros to convert to/from
2596 CurrentCodePage.
2597
2598 * adaint.h: Encoding_Unspecified is now defined. Corresponds to the
2599 value when no encoding form paramter is set on Text_IO services.
2600
2601 * adaint.c: CurrentCodePage new variable on Windows.
2602 Use new macros S2WSC and WS2SC instead of the UTF-8 oriented
2603 ones.
2604
2605 * mkdir.c: Use new macros S2WSC and WS2SC instead of the UTF-8 oriented
2606 ones.
2607
2608 * initialize.c: Initialize CurrentCodePage depending on GNAT_CODE_PAGE
2609 environment variable value. Default is UTF-8.
2610
2611 * s-crtl.ads: Filename_Encoding add Unspecified in the enumeration type.
2612 fopen and freopen encoding parameter is now set to Unspecified.
2613 The default value is in this case UTF-8 (as it was before) but
2614 use the new macros that convert to/from the code page set
2615 at runtime (CurrentCodePage).
2616
2617 * s-fileio.adb: When no encoding specified use Unspecified value.
2618
26192009-04-17 Ed Schonberg <schonberg@adacore.com>
2620
2621 * atree.adb, atree.ads: Remove dead code.
2622
432e3422
AC		 26232009-04-17 Arnaud Charlet <charlet@adacore.com>
2624
2625 * gcc-interface/Make-lang.in: Update dependencies.
2626
f3b01cd9
AC		 26272009-04-17 Ed Schonberg <schonberg@adacore.com>
2628
2629 * sem_ch3.adb (Access_Subprogram_Definition): Additional checks on
2630 illegal uses of incomplete types in formal parts and return types.
2631
2632 * sem_ch6.adb (Process_Formals): Taft-amendment types are legal in
2633 access to subprograms.
2634
2635 * sem_ch7.adb (Uninstall_Declarations): diagnose attempts to use
2636 Taft-amendment types as the return type of an access_to_function type.
2637
2638 * freeze.adb (Freeze_Entity): Remove tests on formals of an incomplete
2639 type for access_to_subprograms. The check is performed on package exit.
2640
26412009-04-17 Ed Schonberg <schonberg@adacore.com>
2642
2643 * atree.ads, atree.adb: Move New_Copy_Tree.to sem_util.
2644
2645 * nlists.ads, nlists.adb: Move New_Copy_List to sem_util.
2646
2647 * lib-load.adb: Use Copy_Separate_Tree rather than New_Copy_Tree
2648
2649 * sem_util.ads, sem_util.adb: New_Copy_Tree and New_Copy_List belong in
2650 semantic units, because the handling of itypes in the copied tree
2651 requires semantic information that does not belong in atree.
2652
26532009-04-17 Robert Dewar <dewar@adacore.com>
2654
2655 * par-ch6.adb: Minor reformatting
2656
2657 * prj.adb: Minor reformatting
2658
618fb570
AC		 26592009-04-17 Gary Dismukes <dismukes@adacore.com>
2660
2661 * par-ch6.adb (P_Subprogram): Overriding indicators should be allowed
2662 on protected subprogram bodies, so exclude the case where Pf_Flags is
2663 Pf_Decl_Pbod from the error check.
2664
2665 * par-ch9.adb (P_Protected_Operation_Items): Permit overriding
2666 indicators on subprograms in protected bodies, and proceed with parsing
2667 the subprogram.
2668
2669 * sem_ch6.adb (Verify_Overriding_Indicator): Exclude protected
2670 subprograms from the check for primitiveness on subprograms with
2671 overriding indicators.
2672 (Check_Overriding_Indicator): Include protected subprograms in the
2673 style check for missing overriding indicators.
2674
26752009-04-17 Tristan Gingold <gingold@adacore.com>
2676
2677 * init.c: Fix stack checking for x86 Darwin.
2678
26792009-04-17 Vincent Celier <celier@adacore.com>
2680
2681 * prj-attr.adb: New project level attribute Object_File_Suffix
2682 (<language>).
2683
2684 * prj-nmsc.adb (Add_Source): Use the object file suffix to get the
2685 object file name
2686 (Process_Compiler): Process attribute Object_File_Suffix
2687
2688 * prj.adb (Object_Name): Use suffix Object_File_Suffix instead of
2689 platform suffix, when specified.
2690
2691 * prj.ads (Language_Config): New component Object_File_Suffix,
2692 defaulted to No_Name.
2693 (Object_Name): New parameter Object_File_Suffix, defaulted to No_Name
2694
2695 * snames.ads-tmpl: New standard name Object_File_Suffix
2696
93bcda23
AC		 26972009-04-17 Robert Dewar <dewar@adacore.com>
2698
2699 * gnat_rm.texi: Add documentation about No_Streams restriction
2700
2701 * sem_attr.adb (Check_Stream_Attribute): Exclude implicit stream
2702 attributes when checking No_Streams restriction.
2703
27042009-04-17 Thomas Quinot <quinot@adacore.com>
2705
2706 * rtsfind.ads (RE_Request_Destroy): New PolyORB s-parint entity.
2707
2708 * exp_dist.adb (PolyORB_Support.Build_General_Calling_Stubs): Add
2709 missing calls to RE_Request_Destroy to deallocate request objects after
2710 use.
2711
27122009-04-17 Nicolas Setton <setton@adacore.com>
2713
2714 * link.c: Fix support for passing a response file under Darwin.
2715
27162009-04-17 Emmanuel Briot <briot@adacore.com>
2717
2718 * prj.adb (Free): new subprogram.
2719
27202009-04-17 Ed Schonberg <schonberg@adacore.com>
2721
2722 * sem_ch3.adb: additional initialization on incomplete subtypes.
2723
2724 * sem_ch6.adb (Process_Formals): if the subprogram is in the private
2725 part and one of the formals is an incomplete tagged type, attach to
2726 list of private dependends of the type for later validation.
2727
2728 * sem_ch7.adb (Uninstall_Declarations): diagnose attempts to declare
2729 primitive operations of a Taft-amendmment type.
2730
2731 * freeze.adb (Freeze_Entity): Remove tests on formals of an incomplete
2732 type. The check is performed on package exit, possibly after the
2733 subprogram is frozen.
2734
27352009-04-17 Vincent Celier <celier@adacore.com>
2736
2737 * prj-nmsc.adb (Get_Directories): Get the object and exec directory
2738 before looking for source directories, but make sure that there are nil
2739 if they are not explicitely declared and there is explicitely no
2740 sources in the project.
2741
ba4a2f78 27422009-04-17 Pascal Obry <obry@adacore.com>
78246a6e 2743
ba4a2f78 2744 * initialize.c: Set gnat_argv with UTF-8 encoded strings on Windows.
78246a6e 2745
ba4a2f78 2746 * init.c: Fix minor typo and style fix.
ee00428a 2747
ba4a2f78 27482009-04-17 Robert Dewar <dewar@adacore.com>
ee00428a 2749
ba4a2f78 2750 * a-except.adb, a-except-2005.adb: Add PE_Address_Of_Intrinsic
ee00428a 2751
ba4a2f78
AC		 2752 * sem_attr.adb (Analyze_Attribute, case Address): Use
2753 PE_Address_Of_Intrinsic.
2754
2755 * types.ads: Add PE_Address_Of_Intrinsic
2756
2757 * types.h: Add PE_Address_Of_Intrinsic
2758
27592009-04-17 Nicolas Setton <setton@adacore.com>
2760
2761 * gcc-interface/Makefile.in: Under darwin, build shared libraries
2762 with install_name starting with "@rpath/".
ee00428a
AC		 2763
27642009-04-17 Nicolas Setton <setton@adacore.com>
2765
2766 * link.c: Add darwin section
2767
9fbb3ae6
AC		 27682009-04-16 Robert Dewar <dewar@adacore.com>
2769
2770 * g-pehage.adb: Minor reformatting
2771
2772 * sem_ch12.adb: Minor reformatting
2773
2774 * exp_dist.adb: Minor reformatting
2775
2776 * bindgen.adb: Minor style fixes.
2777
27782009-04-16 Ed Schonberg <schonberg@adacore.com>
2779
2780 * sem_eval.adb (Eval_Indexed_Component): Extend constant-folding of
2781 indexed components to the case where the prefix is a static string
2782 literal.
2783
27842009-04-16 Javier Miranda <miranda@adacore.com>
2785
2786 * exp_ch3.adb (Expand_N_Object_Declaration): In case of build-in-place
2787 objects avoid any further expansion of the expression initializing the
2788 object.
2789
c1c5e0fa
AC		 27902009-04-16 Ed Schonberg <schonberg@adacore.com>
2791
2792 * sem_ch12.adb (Preanalyze_Actuals): If the instance is a child unit
2793 that hides an outer homograph, make that homograph invisible when
2794 analyzing the actuals, to to prevent illegal direct visibility on it.
2795
27962009-04-16 Eric Botcazou <ebotcazou@adacore.com>
2797
2798 * g-pehage.adb (Initialize): Fix off-by-one error.
2799
d15d61c6
AC		 28002009-04-16 Tristan Gingold <gingold@adacore.com>
2801
2802 * init.c: Detect real stack overflow on Darwin.
2803
2804 * system-darwin-x86.ads: Use stack probing on darwin x86.
2805
28062009-04-16 Ed Schonberg <schonberg@adacore.com>
2807
2808 * sem_attr.adb (Analyze_Attribute, case 'Address): It is illegal to
2809 take the address of an intrinsic subprogram.
2810
0a0a18c3
AC		 28112009-04-16 Arnaud Charlet <charlet@adacore.com>
2812
2813 * gcc-interface/Makefile.in: Change g-trasym to g-trasym-unimplemented
2814 for the targets where GNAT.Traceback.Symbolic is not supported.
2815
d15d61c6
AC		 28162009-04-16 Vincent Celier <celier@adacore.com>
2817
2818 * g-trasym-unimplemented.ads, g-trasym-unimplemented.adb: New file.
2819
2820 * g-trasym.ads: Update comments.
2821
28222009-04-16 Vasiliy Fofanov <fofanov@adacore.com>
2823
2824 * tracebak.c (STOP_FRAME): Verify validity of the current address
2825 before dereferencing.
2826
b61ebe4f
AC		 28272009-04-16 Ed Schonberg <schonberg@adacore.com>
2828
2829 * sprint.adb (Write_Itype): If the itype is an array subtype, preserve
2830 the original location of the index expressions and the index subtypes,
2831 to prevent spurious out-of-scope references in gigi.
2832
28332009-04-16 Tristan Gingold <gingold@adacore.com>
2834
2835 * init.c, s-osinte-darwin.ads, system-darwin-x86_64.ads:
2836 Add support for stack checking on darwin.
2837
28382009-04-16 Vincent Celier <celier@adacore.com>
2839
2840 * prj-attr.adb: New attribute Runtime_Source_Dir
2841
2842 * prj-nmsc.adb (Process_Project_Level_Array_Attributes): Process
2843 attribute Runtime_Source_Dir.
2844 (Check_Naming_Schemes): Give default values to out parameters to avoid
2845 invalid data.
2846
2847 * prj.ads (Language_Config): New component Runtime_Source_Dir
2848
2849 * snames.ads-tmpl: New standard name Runtime_Source_Dir
2850
468ee337
PO		 28512009-04-16 Pascal Obry <obry@adacore.com>
2852
2853 * adaint.h, adaint.c (__gnat_rmdir): New routine.
2854 Simple wrapper routines used to convert to proper encoding on
2855 Windows.
2856
2857 * s-crtl.ads: Use __gnat_rmdir instead of direct call to the C library.
2858
2859 * g-dirope.adb (Remove_Dir): Fix a bug, the root directory was removed
2860 twice.
2861
bca17d51
PO		 28622009-04-16 Pascal Obry <obry@adacore.com>
2863
2864 * s-crtl.ads, s-os_lib.adb: Minor code clean-up.
2865
4e0079cc
AC		 28662009-04-16 Thomas Quinot <quinot@adacore.com>
2867
2868 * snames.ads-tmpl (Name_Defined): New predefined name for use by the
2869 integrated preprocessor.
2870
2871 * prep.ads, prep.adb (Setup_Hooks): New subprogram.
2872 (Initialize): Split into two subprograms, Initialize (to be called
2873 prior to compiler command line processing) and Setup_Hooks (to be called
2874 later on when the first source file is loaded).
2875
2876 * gprep.adb: Change call to Prep.Initialize to call to Prep.Setup_Hooks.
2877 Add call to Prep.Initialize.
2878
2879 * sinput-l.adb, prepcomp.adb: Change call to Prep.Initialize to call
2880 to Prep.Setup_Hooks.
2881
28822009-04-16 Pascal Obry <obry@adacore.com>
2883
2884 * adaint.h, adaint.c (__gnat_chdir): New routine.
2885 Simple wrapper routines used to convert to proper encoding on
2886 Windows.
2887
2888 * s-crtl.ads: Use __gnat_chdir instead of direct call to the C library.
2889
2890 * a-direct.adb, g-dirope.adb: Use chdir from System.CRTL.
2891
cbbdee52
AC		 28922009-04-16 Quentin Ochem <ochem@adacore.com>
2893
2894 * sinput-p.adb (Clear_Source_File_Table): Use Sinput.Initialize instead
2895 of Source.Init.
2896
28972009-04-16 Eric Botcazou <ebotcazou@adacore.com>
2898
2899 * a-convec.ads (Is_Empty): Mark inline.
2900
29012009-04-16 Nicolas Roche <roche@adacore.com>
2902
2903 * init.c (__gnat_init_float): Initialize FPU on x86_64 windows
2904
29052009-04-16 Thomas Quinot <quinot@adacore.com>
2906
2907 * prepcomp.adb: Minor reformatting
2908
7e8ed0a6
AC		 29092009-04-16 Jerome Lambourg <lambourg@adacore.com>
2910
2911 * sem_prag.adb (Process_Import_Or_Interface): With .NET,
2912 Access_Subprogram types can also be imported.
2913 (Check_Form_Of_Interface_Name): Accept '/' character in entity CIL
2914 names.
2915
29162009-04-16 Ed Schonberg <schonberg@adacore.com>
2917
2918 * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration):
2919 preserve homonym chain when the declaration is rewritten into a
2920 renaming declaration, in order to preserve visibility structure.
2921
540b5d9c
AC		 29222009-04-16 Jerome Lambourg <lambourg@adacore.com>
2923
2924 * sem_prag.adb (Analyze_Pragma): Make sure that pragma pack is not
2925 taken into account for VM targets.
2926
29272009-04-16 Hristian Kirtchev <kirtchev@adacore.com>
2928
2929 * g-calend.ads, g-calend.adb (Week_In_Year): Now calls
2930 Year_Week_In_Year.
2931 (Year_Week_In_Year): New routine which contains the original code from
2932 Week_In_Year. Add the missing special case for January 1st falling on
2933 a Monday.
2934
dae4faf2
TQ		 29352009-04-16 Thomas Quinot <quinot@adacore.com>
2936
2937 * exp_dist.adb (Build_From_Any_Call): For a subtype that is a generic
2938 actual type, use the base type to build the To_Any function.
2939 (Build_From_Any_Function): Remove junk, useless subtype conversion.
2940
29412009-04-16 Thomas Quinot <quinot@adacore.com>
2942
2943 * exp_ch9.adb, exp_code.adb, tbuild.adb, sem_case.adb,
2944 restrict.adb: Minor code reorganization (use
2945 Add_{Char,Str}_To_Name_Buffer instead of inlining it by hand).
2946
2794f022
AC		 29472009-04-16 Bob Duff <duff@adacore.com>
2948
2949 * exp_ch6.ads, exp_ch6.adb (Is_Build_In_Place_Function_Return): Remove,
2950 unused.
2951
29522009-04-16 Thomas Quinot <quinot@adacore.com>
2953
2954 * sem_ch4.adb: Minor reformatting
2955
2956 * adaint.c: Remove junk duplicated code.
2957
2958 * sem_ch3.adb: Minor reformatting
2959
2960 * exp_dist.adb: Minor comment rewording
2961
a8e65aa5
AC		 29622009-04-16 Robert Dewar <dewar@adacore.com>
2963
2964 * gnat_rm.texi: Document effect of Assume_No_Invalid_Values and -gnatVa
2965 used together.
2966
29672009-04-16 Ed Schonberg <schonberg@adacore.com>
2968
2969 * sem_ch4.adb (Find_Equality_Types): Filter out types that are not
2970 usable before calling Add_One_Interp, to resolve spurious ambiguities.
2971
bded454f
RD		 29722009-04-16 Robert Dewar <dewar@adacore.com>
2973
b0fbf3c0
RD		 2974 * Make-lang.in: Add entries for s-conca?.o
2975
bded454f
RD		 2976 * Makefile.rtl: Add entries for s-conca?
2977
2978 * debug.adb: Add debug flags -gnatd.c and -gnatd.C to control behavior
2979 of concatenation expansion
2980
2981 * exp_ch4.adb (Expand_Concatenation): Generate calls for certain
2982 string cases instead of expanding assignments inline.
2983
2984 * opt.ads (Optimize_Size): New flag
2985
2986 * s-conca2.ads, s-conca2.adb, s-conca3.adb, s-conca3.ads,
2987 s-conca4.adb, s-conca4.ads, s-conca5.adb, s-conca5.ads, s-conca6.adb,
2988 s-conca6.ads, s-conca7.ads, s-conca7.adb, s-conca8.adb, s-conca8.ads,
2989 s-conca9.adb, s-conca9.ads: New file.
2990
4a3b249c
RD		 29912009-04-16 Robert Dewar <dewar@adacore.com>
2992
2993 * exp_ch6.adb: Add comments
2994
2995 * rtsfind.ads: Add entries for s-conca? routines
2996
e8e028cb 29972009-04-16 Arnaud Charlet <charlet@adacore.com>
14814170
AC		 2998
2999 * gcc-interface/Make-lang.in: Update dependencies.
3000
3001 * gcc-interface/Makefile.in: Update translation for vms.
3002
3204b9cd
AC		 30032009-04-16 Ed Schonberg <schonberg@adacore.com>
3004
3005 * sem_ch12.adb (Map_Formal_Package_Entities): renamed from Map_Entities
3006 and made global, to be used when installing parents of a child
3007 instance, to provide mappings for entities declared in formal packages
3008 of ancestor units. Now called from Install_Formal_Packages.
3009
30102009-04-16 Doug Rupp <rupp@adacore.com>
3011
3012 * s-taskin.adb (Initialize_ATCB): Initialize Debug_Events with others
3013 notation for clarity.
3014
3015 * s-taprop-vxworks.adb, s-taprop-tru64.adb, s-taprop-vms.adb,
3016 s-taprop-mingw.adb, s-taprop-linux.adb, s-taprop-solaris.adb,
3017 s-taprop-irix.adb, s-taprop-hpux-dce.adb, s-taprop-posix.adb
3018 (Initialize): Initialize Known_Tasks with Environment task.
3019
3020 * s-taskin.ads (Task_States): Move new states to end for the sake of
3021 GDB compatibility.
3022
3023 * s-tassta.adb (Task_Wrapper): Fix comment about Enter_Task.
3024
f17f3601
ES		 30252009-04-16 Ed Schonberg <schonberg@adacore.com>
3026
3027 * exp_ch9.adb (Expand_N_Protected_Type_Declaration): If a protected
3028 operation has an inline pragma, propagate the flag to the internal
3029 unprotected subprogram.
3030
5e44c5ea
DR		 30312009-04-16 Doug Rupp <rupp@adacore.com>
3032
3033 * s-taprop-vxworks.adb, s-taprop-tru64.adb, s-taprop-mingw.adb,
3034 s-taprop-linux.adb, s-taprop-solaris.adb, s-taprop-irix.adb,
3035 s-taprop-hpux-dce.adb, s-taprop-posix.adb
3036 (Enter_Task): Move Known_Tasks initialization to s-tassta.adb
3037
3038 * s-taprop-vms.adb (Enter_Task): Likewise.
3039 (Initialize): Import DBEXT, Debug_Register. Register DBGEXT callback.
3040
3041 * s-tassta.adb (Activate_Tasks): After task creation set state to
3042 Activating, vice Runnable. Initialize Known_Tasks, moved here from
3043 s-taprop.adb (Enter_Task). Set Debug_Event_Activating for debugger.
3044 Set state to Runnable after above.
3045 (Task_Wrapper): Set Debug_Event_Run. In exception block set
3046 Debug_Event_Terminated.
3047
3048 * s-taskin.ads (Task_States): Add new states Activiting and
3049 Activator_Delay_Sleep.
3050 (Bit_Array, Debug_Event_Array): New types.
3051 (Global_Task_Debug_Event_Set: New flag.
3052 (Common_ATCB): New field Debug_Events.
3053
3054 * s-taskin.adb (Initialize_ATCB): Initialize Debug_Events.
3055
3056 * s-tasren.adb (Timed_Selective_Wait): Set Activator_Delay_Sleep vice
3057 Activator_Sleep.
3058
3059 * s-tasini.adb (Locked_Abort_To_Level): Add case alternatives for when
3060 Activating and when Acceptor_Delay_Sleep.
3061
3062 * s-tasdeb.ads: Add constants for Debug_Events.
3063 (Debug_Event_Kind_Type): New subtype.
3064 (Signal_Debug_Event): New subprogram.
3065
3066 * s-tasdeb.adb (Signal_Debug_Event): New null subprogram.
3067
205c14b0
TQ		 30682009-04-16 Thomas Quinot <quinot@adacore.com>
3069
3070 * sem_elim.adb: Minor reformatting
3071
3072 * freeze.adb: Minor reformatting
3073
3074 * exp_ch4.adb: Minor reformatting
3075
b4763f5c
AC		 30762009-04-16 Emmanuel Briot <briot@adacore.com>
3077
3078 * prj-nmsc.adb (Path_Name_Of): fix memory leak
3079
30802009-04-16 Robert Dewar <dewar@adacore.com>
3081
3082 * sinfo.ads (Backwards_OK, Forwards_OK): Clarify documentation
3083
30842009-04-16 Vincent Celier <celier@adacore.com>
3085
3086 * fmap.adb (Initialize): Show the current line when the mapping file
3087 is detected as "incorrectly formatted".
3088
30892009-04-16 Robert Dewar <dewar@adacore.com>
3090
3091 * sem_ch12.adb: Minor reformatting
3092
3093 * sem_ch5.adb: Minor comment addition
3094
3095 * sem_util.adb: Minor reformatting
3096
3097 * sinput-p.adb: Minor reformatting
3098 Add missing pragma Warnings (On)
3099
0c72247e
AC		 31002009-04-16 Ed Falis <falis@adacore.com>
3101
3102 * s-vxwext-kernel.adb: (ERROR): deleted unused constant
3103
31042009-04-16 Vincent Celier <celier@adacore.com>
3105
3106 * ali-util.adb: Minor comment spelling error fix
3107
014caddb
EB		 31082009-04-16 Eric Botcazou <ebotcazou@adacore.com>
3109
3110 * exp_ch5.adb (Expand_Assign_Array): For the GCC back-end, do not
3111 generate an assignment loop in case of overlap.
3112
b2ed7a03
AC		 31132009-04-16 Olivier Hainque <hainque@adacore.com>
3114
3115 * gnat_ugn.texi (gnatmem description): Make it explicit that
3116 gnatmem is designed to work in association with static runtime
3117 library only.
3118
31192009-04-16 Thomas Quinot <quinot@adacore.com>
3120
3121 * sem_type.adb: Minor reformatting
3122
31232009-04-16 Hristian Kirtchev <kirtchev@adacore.com>
3124
3125 * s-osprim-darwin.adb, s-osprim-posix.adb (Clock): Add comment
3126 concerning return codes of gettimeofday and return value check.
3127
31282009-04-16 Ed Falis <falis@adacore.com>
3129
3130 * s-vxwext-kernel.ads (Int_Lock, Int_Unlock): set to convention C so
3131 body can be renaming of imported routines.
3132
31332009-04-16 Vasiliy Fofanov <fofanov@adacore.com>
3134
3135 * s-asthan-vms-alpha.adb: Disable warnings on alignment in a more
3136 targeted fashion.
3137
8a912a6e
AC		 31382009-04-15 Hristian Kirtchev <kirtchev@adacore.com>
3139
3140 * exp_ch9.adb: Comment improvements.
3141 (Build_Entry_Family_Name): Add parentheses around the index of a entry
3142 family member.
3143
31442009-04-15 Bob Duff <duff@adacore.com>
3145
3146 * sem_warn.adb (Check_Infinite_Loop_Warning): Catch cases like
3147 "while X /= null loop" where X is unchanged inside the loop. We were
3148 not warning in this case, because of the pointers -- we feared that the
3149 loop variable could be updated via a pointer, if there are any pointers
3150 around the place. But that is impossible in this case.
3151
3152 * sem_util.adb (May_Be_Lvalue): This routine was overly pessimistic in
3153 the case of dereferences. In X.all, X cannot be an l-value. We now
3154 catch that case (and implicit dereferences, too).
3155
31562009-04-15 Vincent Celier <celier@adacore.com>
3157
3158 * sinput-p.ads, sinput-p.adb (Clear_Source_File_Table): New procedure
3159
31602009-04-15 Ed Schonberg <schonberg@adacore.com>
3161
3162 * sem_ch12.adb (Is_Actual_Of_Previous_Formal): Make fully recursive.
3163 From code reading.
3164 (Analyze_Package_Instantiation): If generic unit in child instance is
3165 the same as generic unit in parent instance, look for an outer homonym
3166 to locate the desired generic.
3167
4a13695c
AC		 31682009-04-15 Bob Duff <duff@adacore.com>
3169
3170 * sem_ch5.adb (Analyze_Loop_Statement): Don't check for infinite loop
3171 warnings unless the loop comes from source, because checking generated
3172 loops is a waste of time, and makes it harder to debug
3173 Check_Infinite_Loop_Warning.
3174
3175 * sem_warn.adb (Check_Infinite_Loop_Warning): If the local variable
3176 tested in the while loop is a renaming, do not warn. Otherwise, we get
3177 false alarms, because it's usually renaming something that we can't
3178 deal with (an indexed component, a global variable, ...).
3179
3180 * gnat_rm.texi: Fix typo
3181
31822009-04-15 Thomas Quinot <quinot@adacore.com>
3183
3184 * sem_ch6.adb: Minor reformatting
3185
c3b36d48
AC		 31862009-04-15 Hristian Kirtchev <kirtchev@adacore.com>
3187
3188 * exp_ch7.adb (Expand_Ctrl_Function_Call): Check for the case where the
3189 immediate parent of the controlled function call is a component
3190 association.
3191
31922009-04-15 Ed Schonberg <schonberg@adacore.com>
3193
3194 * sem_ch8.adb (Use_One_Type): If the type is tagged, indicate that the
3195 corresponding class-wide type is also in use.
3196
31972009-04-15 Thomas Quinot <quinot@adacore.com>
3198
3199 * frontend.adb: Minor comment fix
3200
1f07382d
AC		 32012009-04-15 Robert Dewar <dewar@adacore.com>
3202
3203 * gnatchop.adb (BOM_Length): New global variable
3204 (Write_Unit): Add new parameter Write_BOM
3205 (Write_Chopped_Files): Check for BOM and set Write_BOM for call
3206 to Write_Unit
3207
3208 * gnat_ugn.texi: Add note on propagation of BOM by gnatchop
3209
32102009-04-15 Geert Bosch <bosch@adacore.com>
3211
3212 * system-mingw-x86_64.ads, system-darwin-x86_64.ads
3213 (Backend_Overflow_Checks): Set to True.
3214
32152009-04-15 Gary Dismukes <dismukes@adacore.com>
3216
3217 * par-ch3.adb (P_Type_Declaration): Issue an error if the synchronized
3218 keyword is given in a record extension.
3219
32202009-04-15 Hristian Kirtchev <kirtchev@adacore.com>
3221
3222 * exp_ch7.adb (Expand_Ctrl_Function_Call): Procede with the expansion
3223 of a controlled function call in the context of a record aggregate.
3224 This does not apply to array aggregates since the call will be expanded
3225 into assignments.
3226
32272009-04-15 Ed Falis <falis@adacore.com>
3228
3229 * s-osinte-vxworks-kernel.adb, s-osinte-vxworks.adb,
3230 s-osinte-vxworks.ads s-vxwext.ads, s-vxwext-kernel.adb,
3405870d
EF		 3231 s-vxwext-kernel.ads, s-vxwext-rtp.ads, s-vxwext-rtp.adb: Reorganize
3232 s-osinte-vxworks* and s-vxwext*.
1f07382d 3233
6cc60200
AC		 32342009-04-15 Arnaud Charlet <charlet@adacore.com>
3235
3236 * gcc-interface/Make-lang.in: Update dependencies.
3237
3238 * gcc-interface/Makefile.in: Reorganization of s-osinte-vxworks*
3239 and s-vxwext*.
3240
f66d46ec
AC		 32412009-04-15 Robert Dewar <dewar@adacore.com>
3242
3243 * sem_ch13.adb (Unchecked_Conversions): Store source location instead
3244 of node for location for warning messages.
3245
3246 * gnatchop.adb: Minor reformatting
3247
32482009-04-15 Ed Schonberg <schonberg@adacore.com>
3249
3250 * exp_ch6.adb: additional guard for renaming declarations for in
3251 parameters of an array type.
3252
bafc9e1d
AC		 32532009-04-15 Robert Dewar <dewar@adacore.com>
3254
3255 * sem_eval.adb (Get_Static_Length): Go to origin node for array bounds
3256 in case they were rewritten by expander (Force_Evaluation).
3257
3258 * targparm.adb (Get_Target_Parameters): Correct check for
3259 Suppress_Exception_Locations.
3260
32612009-04-15 Ed Schonberg <schonberg@adacore.com>
3262
3263 * exp_ch6.adb (Expand_Inlined_Call): If an in-parameter in a call to be
3264 inlined is of an array type that is not bit-packed, use a renaming
3265 declaration to capture its value, rather than a constant declaration.
3266
443614e3
AC		 32672009-04-15 Robert Dewar <dewar@adacore.com>
3268
3269 * rtsfind.adb: Minor reformatting.
3270
32712009-04-15 Emmanuel Briot <briot@adacore.com>
3272
3273 * prj-part.adb, prj-tree.adb, prj-tree.ads (Restore_And_Free): renames
3274 Restore, and free the saved context.
3275
32762009-04-15 Gary Dismukes <dismukes@adacore.com>
3277
3278 * sem_ch3.adb (Analyze_Private_Extension_Declaration): Move error check
3279 for illegal private extension from a synchronized interface parent in
3280 front of check for illegal limited extension so that limited extension
3281 from a synchronized interface will be rejected.
3282 (Check_Ifaces): Check that a private extension that has a synchronized
3283 interface as a progenitor must be explicitly declared synchronized.
3284 Also check that a record extension cannot derive from a synchronized
3285 interface.
3286
991395ab
AC		 32872009-04-15 Pascal Obry <obry@adacore.com>
3288
3289 * adaint.h (__gnat_unlink): Add spec.
3290 (__gnat_rename): Likewise.
3291
32922009-04-15 Vincent Celier <celier@adacore.com>
3293
3294 * prj-nmsc.adb: Minor spelling error corrections in error messages
3295
32962009-04-15 Robert Dewar <dewar@adacore.com>
3297
3298 * sinfo.ads: Minor comment update
3299
3300 * opt.ads: Minor comment updates
3301
3302 * checks.adb (Enable_Overflow_Check): Do not set Do_Overflow_Check for
3303 modular type.
3304
33052009-04-15 Ed Schonberg <schonberg@adacore.com>
3306
3307 * exp_disp.ads, exp_disp.adb (Register_Primitive): Is now a function
3308 that generates the code needed to update a dispatch table when a
3309 primitive operation is declared with a subprogram body without previous
3310 spec. Insertion of the generated code is responsibility of the caller.
3311 (Make_DT): When building static tables, append the code created by
3312 Register_Primitive to update a secondary table after it has been
3313 constructed.
3314
3315 * exp_ch3.adb, exp_ch6.adb: use new version of Register_Primitive.
3316
3317 * sem_disp.adb (Check_Dispatching_Operation): Call Register_Primitive
3318 on an overriding operation that implements an interface operation only
3319 if not building static dispatch tables.
3320
33212009-04-15 Hristian Kirtchev <kirtchev@adacore.com>
3322
3323 * a-caldel-vms.adb (To_Duration): Declare a "safe" end of time which
3324 does not cause overflow when converted to Duration. Use the safe value
3325 as the maximum allowable time delay..
3326
33272009-04-15 Jerome Lambourg <lambourg@adacore.com>
3328
3329 * g-comlin.adb (Set_Command_Line): When adding a switch with attached
3330 parameter, specify that the delimiter is NUL, otherwise "-j2" will be
3331 translated to "-j 2".
3332
33332009-04-15 Bob Duff <duff@adacore.com>
3334
3335 * rtsfind.adb (Maybe_Add_With): Split out procedure to add implicit
3336 with_clauses, to avoid code duplication. Change this processing so we
3337 always add a with_clause on the main unit if needed.
3338
55cc1a05
AC		 33392009-04-15 Pascal Obry <obry@adacore.com>
3340
3341 Add support for Win32 native encoding for delete/rename routines.
3342
3343 * adaint.c (__gnat_unlink): New routine.
3344 (__gnat_rename): New routine.
3345 Simple wrapper routines used to convert to proper encoding on
3346 Windows.
3347
3348 * s-os_lib.adb: Use __gnat_unlink and __gnat_rename instead of direct
3349 call to the C library.
3350
3351 * g-sercom-mingw.adb, s-win32.ads: Update Win32 binding.
3352
33532009-04-15 Robert Dewar <dewar@adacore.com>
3354
3355 * s-tassta.adb: Minor reformatting
3356
1f6821b4
AC		 33572009-04-15 Robert Dewar <dewar@adacore.com>
3358
3359 * frontend.adb (Frontend): Set proper default for
3360 Warn_On_Non_Local_Exception.
3361
3362 * opt.ads (Exception_Handler_Encountered): New flag
3363 (No_Warn_On_Non_Local_Exception): New flag
3364
3365 * par-ch11.adb (P_Exception_Handler): Set Exception_Handler_Encountered
3366
3367 * sem_warn.adb (Set_Warning_Switch): Set No_Warn_On_Non_Local_Exception
3368 (Set_Dot_Warning_Switch): Set No_Warn_On_Non_Local_Exception
3369
33702009-04-15 Cyrille Comar <comar@adacore.com>
3371
3372 * s-tassta.adb, a-exextr.adb, a-elchha.adb
3373 (Ada.Exception.Last_Chance_Handler): Do not print unhandled exception
3374 message when exception traces are active since it would generate
3375 redundant information.
3376 (Exception_Traces.Notify_Exception): put message output by a critical
3377 section to avoid unsynchronized output.
3378 (Trace_Unhandled_Exception_In_Task): put message output by a critical
3379 section to avoid unsynchronized output.
3380
33812009-04-15 Emmanuel Briot <briot@adacore.com>
3382
3383 * g-comlin.adb, prj-tree.adb, prj-tree.ads, prj.adb, prj.ads
3384 (Free): New subprogram.
3385
8aec446b
AC		 33862009-04-15 Hristian Kirtchev <kirtchev@adacore.com>
3387
3388 * a-calend.adb: Add new constant Nanos_In_Four_Years.
3389 (Formatting_Operations.Time_Of): Change the way four year chunks of
3390 nanoseconds are added to the intermediate result.
3391
33922009-04-15 Nicolas Setton <setton@adacore.com>
3393
3394 * sysdep.c: Add __APPLE__ in the list of systems where get_immediate
3395 does not need to wait for a carriage return.
3396
33972009-04-15 Tristan Gingold <gingold@adacore.com>
3398
3399 * bindgen.adb: Do not generate adafinal if No_Finalization restriction
3400 is set.
3401
34022009-04-15 Ed Schonberg <schonberg@adacore.com>
3403
3404 * freeze.adb (Freeze_Entity): improve error message for improper use of
3405 incomplete types.
3406 Diagnose additional illegal uses of incomplete types in formal parts.
3407 appearing in formal parts.
3408
3409 * sem_ch6.adb (Process_Formals, Analyze_Return_Type): ditto.
3410
34112009-04-15 Robert Dewar <dewar@adacore.com>
3412
3413 * exp_ch4.adb (Expand_N_Allocator): Install test for object too large.
3414
442dd5fb
NR		 34152009-04-15 Nicolas Roche <roche@adacore.com>
3416
3417 * adaint.c: Add function __gnat_lwp_self that retrieves the LWP of the
3418 current thread.
3419
3420 * s-osinte-linux.ads: Import the __gnat_lwp_self function as lwp_self
3421
3422 * s-taprop-linux.adb (Enter_Task): Store the LWP in the TCB
3423
61bee0e3
AC		 34242009-04-15 Ed Schonberg <schonberg@adacore.com>
3425
3426 * sem_ch4.adb: improve error message on exponentiation.
3427
34282009-04-15 Hristian Kirtchev <kirtchev@adacore.com>
3429
3430 * a-calend.adb: Move constant Epoch_Offset from package
3431 Conversion_Operations to top level.
3432 (Delay_Operations.To_Duration): Define a constant which represents
3433 "end of time" and use it as a guard against very distant delay dates.
3434 Protect the code against overflow when performing the origin shift to
3435 Unix time.
3436
361effb1
AC		 34372009-04-15 Robert Dewar <dewar@adacore.com>
3438
3439 * sem_prag.adb: Minor reformatting.
3440
3441 * sem_type.adb: Minor reformatting
3442
34432009-04-15 Javier Miranda <miranda@adacore.com>
3444
3445 * sem_ch6.adb (Analyze_Abstract_Subprogram_Declaration): Add missing
3446 support to check eliminated subprograms.
3447
3448 * sem_elim.ads (Eliminate_Error_Msg): Update documentation.
3449
3450 * sem_elim.adb (Set_Eliminated): Add support for elimination of
3451 dispatching subprograms.
3452
3453 * exp_disp.adb (Make_DT): Minor code cleanup when freezing primitive
3454 operations. Initialize with "null" the slots of eliminated dispaching
3455 primitives.
3456 (Write_DT): Add output for eliminated primitives.
3457
3458 * sem_disp.adb (Check_Dispatching_Call): Check eliminated primitives.
3459
f7ca1d04
AC		 34602009-04-15 Ed Schonberg <schonberg@adacore.com>
3461
3462 * sem_ch8.adb (Use_One_Type): If both clauses appear on the same unit,
3463 the second is redundant, regardless of scopes.
3464
34652009-04-15 Vincent Celier <celier@adacore.com>
3466
3467 * prj-nmsc.adb (Get_Directories): Check for sources before checking
3468 the object directory as when there are no sources, they may not be any
3469 object directory.
3470
3471 * make.adb (Gnatmake): Do not attempt to get the path name of the exec
3472 directory, when there are no exec directory.
3473
34742009-04-15 Ed Schonberg <schonberg@adacore.com>
3475
3476 * sem_type.adb (Remove_Conversions): In order to resolve spurious
3477 ambiguities, refine removal of universal interpretations from complex
3478 expressions with literal arguments, when some numeric operators have
3479 been declared abstract.
3480
34812009-04-15 Ed Falis <falis@adacore.com>
3482
3483 * init.c: Map SIGSEGV to Storage_Error for all targets for uniformity
3484 and backward compatibility for targets using probing for stack overflow
3485
34862009-04-15 Ed Schonberg <schonberg@adacore.com>
3487
3488 * sem_prag.adb (Analyze_Pragma, case 'Obsolescent): Pragma is legal
3489 after any declaration, including renaming declarations.
3490
4bffd4e0
AC		 34912009-04-15 Arnaud Charlet <charlet@adacore.com>
3492
3493 * gcc-interface/Make-lang.in: Update dependencies.
3494
3495 * gcc-interface/Makefile.in: Fix VxWorks target pairs.
cbd8be94 3496 Update xenomai target pairs.
4bffd4e0 3497
a523b302
JM		 34982009-04-15 Javier Miranda <miranda@adacore.com>
3499
3500 * exp_ch4.adb (Expand_N_Allocator): Code cleanup.
3501
3502 * sem_ch6.adb (Check_Anonymous_Return): Add missing support for
3503 functions returning anonymous access to class-wide limited types. Mark
3504 also the containing scope as a task master.
3505
3506 * sem_ch8.adb (Restore_Scope_Stack): Add missing management for
3507 limited-withed packages. Required to restore their visibility after
3508 processing packages associated with implicit with-clauses.
3509
3510 * exp_ch3.adb (Build_Class_Wide_Master): Avoid marking masters
3511 associated with return statements because this work is now done by
3512 Check_Anonymous_Return.
3513 (Build_Master): Code cleanup.
3514
e358346d
AC		 35152009-04-15 Thomas Quinot <quinot@adacore.com>
3516
3517 * sem_warn.ads: Minor reformatting
3518
35192009-04-15 Ed Schonberg <schonberg@adacore.com>
3520
3521 * sem_ch3.adb: better error message for illegal interfaces
3522
3523 * sem_ch6.adb (Possible_Freeze): Delay freezing a subprogram if a
3524 formal is an incomplete type from a limited_with clause.
3525
a9872a59
VC		 35262009-04-15 Vincent Celier <celier@adacore.com>
3527
3528 * prj-nmsc.adb (Locate_Directory): New Boolean parameter
3529 Externally_Built indicating if the project is externally built. If it
3530 is, and --subdirs is specified, but the subdir does not exist, look
3531 for the specified directory, without the subdir.
3532
b8aadf01
AC		 35332009-04-15 Gary Dismukes <dismukes@adacore.com>
3534
3535 * a-tasatt.adb: Fix typo, plus minor reformatting
3536
3537 * sem_ch3.ads: Add missing hyphen ("class wide" => "class-wide").
3538
3539 * sem_ch10.adb: Add missing hyphen ("use visible" => "use-visible").
3540
35412009-04-15 Ed Schonberg <schonberg@adacore.com>
3542
3543 * sem_ch3.adb (Analyze_Private_Extension_Declaration): Verify that a
3544 private extension whose parent is a synchronized interface carries an
3545 explicit synchronized keyword.
3546
a808ba1b
TQ		 35472009-04-15 Thomas Quinot <quinot@adacore.com>
3548
3549 * exp_smem.adb (Make_Shared_Var_Procs): For a protected type,
3550 instantiate generic shared object package with the corresponding
3551 record type.
3552
e0568eec
AC		 35532009-04-15 Arnaud Charlet <charlet@adacore.com>
3554
3555 * system-linux-sparc.ads: Remove obsolete entries.
3556
35572009-04-15 Thomas Quinot <quinot@adacore.com>
3558
3559 * s-tasuti.ads: Add ??? comment
3560
28450a75
ES		 35612009-04-15 Ed Schonberg <schonberg@adacore.com>
3562
3563 * sem_ch3.adb (Analyze_Type_Declaration): Create freeze node for access
3564 type even if the designated type comes from a limited_with clause, to
3565 ensure that the symbol for the finalization list of the access type is
3566 created.
3567
b0d3b11d
AC		 35682009-04-10 Robert Dewar <dewar@adacore.com>
3569
3570 * sem_warn.ads, sem_warn.adb (Check_Low_Bound_Tested): Catch more cases
3571 for warning suppression.
3572
35732009-04-10 Ed Schonberg <schonberg@adacore.com>
3574
3575 * sem_ch8.adb (Use_One_Type): If the two use_type clauses are
3576 identical, there is no redudancy to check.
3577
35782009-04-10 Gary Dismukes <dismukes@adacore.com>
3579
3580 * exp_ch5.adb (Expand_N_Extended_Return_Statement): Delete redundant
3581 calls initializing SS_Allocator (which is initialized in following
3582 code).
3583 (Expand_Simple_Function_Return): Add comment about False value for
3584 Comes_From_Source on secondary-stack allocator.
3585
3586 * exp_ch9.adb (Build_Entry_Family_Name): Add comment.
3587 (Build_Entry_Name): Add comment.
3588
fad0600d
AC		 35892009-04-10 Robert Dewar <dewar@adacore.com>
3590
3591 * einfo.ads, einfo.adb (Low_Bound_Tested): New name for Low_Bound_Known
3592
3593 * sem_prag.adb (Analyze_Pragma, case Check): Remove check for lower
3594 bound tested, since this is now done more generally in Sem_Res.
3595
3596 * sem_res.adb (Resolve_Comparison_Op): Add call to
3597 Check_Lower_Bound_Tested.
3598 (Resolve_Equality_Op): Add call to Check_Lower_Bound_Tested
3599
3600 * sem_warn.ads, sem_warn.adb (Check_Low_Bound_Tested): New procedure
3601 (Low_Bound_Tested): New name for Low_Bound_Known flag
3602
3603 * exp_ch5.adb: Minor reformatting
3604
3605 * exp_ch4.adb:
3606 Add comments on copying the Comes_From_Source flag for allocators
3607
3608 * sinfo.ads:
3609 Add comments on copying the Comes_From_Source flag for allocators
3610
3611 * exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Copy
3612 Comes_From_Source flag from old allocator to new one.
3613
36142009-04-10 Ed Schonberg <schonberg@adacore.com>
3615
3616 * sem_ch6.ads: Address missing documentation query
3617
36182009-04-10 Vincent Celier <celier@adacore.com>
3619
3620 * prj-attr.adb:
3621 Add new Linker attributes Max_Command_Line_Length, Response_File_Format
3622 and Response_File_Switches.
3623
3624 * prj-nmsc.adb (Process_Linker): Process new attributes
3625 Max_Command_Line_Length, Response_File_Format and
3626 Response_File_Switches.
3627
3628 * prj.ads (Response_File_Format): New enumeration type
3629 (Project_Configuration): New componants Max_Command_Line_Length,
3630 Resp_File_Format and Resp_File_Options.
3631
3632 * snames.ads-tmpl: Add new standard names for linking response files
3633 for gprbuild: GNU, None, Object_List, Option_List,
3634 Max_Command_Line_Length, Response_File_Format and
3635 Response_File_Switches.
3636
36372009-04-10 Geert Bosch <bosch@adacore.com>
3638
3639 * system-aix.ads, system-darwin-ppc.ads, system-darwin-x86.ads,
3640 system-freebsd-x86.ads, system-hpux.ads, system-hpux-ia64.ads,
3641 system-irix-n32.ads, system-irix-o32.ads, system-linux-alpha.ads,
3642 system-linux-hppa.ads, system-linux-ia64.ads, system-linux-ppc.ads,
3643 system-linux-s390.ads, system-linux-s390x.ads, system-linux-sh4.ads,
3644 system-linux-sparc.ads, system-linux-x86_64.ads, system-linux-x86.ads,
3645 system-mingw.ads, system-solaris-sparc.ads, system-solaris-sparcv9.ads,
3646 system-solaris-x86.ads, system-tru64.ads, system-vms_64.ads,
3647 system-vms.ads, system-vms-ia64.ads, system-vms-zcx.ads,
3648 system-vxworks-arm.ads, system-vxworks-m68k.ads,
3649 system-vxworks-mips.ads, system-vxworks-ppc.ads,
3650 system-vxworks-sparcv9.ads, system-vxworks-x86.ads
3651 (Backend_Overflow_Checks): Set to True.
3652
934a3a25
AC		 36532009-04-10 Thomas Quinot <quinot@adacore.com>
3654
3655 * exp_attr.adb: Minor reformatting
3656
36572009-04-10 Ed Schonberg <schonberg@adacore.com>
3658
3659 * sem_prag.adb (Check_Precondition_Postcondition): Within a generic,
3660 analyze the expression for a postcondition, even if the compiler mode
3661 is Generate_Code.
3662
ab8e1b35
RD		 36632009-04-10 Robert Dewar <dewar@adacore.com>
3664
3665 * sem_aux.adb: Minor reformatting
3666
2c880bdf
EF		 36672009-04-10 Ed Falis <falis@adacore.com>
3668
3669 * init.c: Change VxWorks 6 stack overflow checking for kernel apps.
3670
3671 * system-vxworks-ppc.ads, system-vxworks-x86.ads: Update header.
3672
d8221f45
TQ		 36732009-04-10 Thomas Quinot <quinot@adacore.com>
3674
3675 * sem_ch6.ads (Check_Subtype_Conformant): Add ??? comment for
3676 undocumented formal.
3677 Minor reformatting
3678
3679 * a-direio.ads: Fix typo in comment
3680
3681 * sem_ch3.adb, g-dirope.adb, sem_type.adb, sem_ch12.adb, sem_case.adb,
3682 errout.adb, sem_ch4.adb, sem_ch11.adb, exp_dist.adb, sem_ch13.adb:
3683 Use uniform phrasing for comment at start of subprogram body.
3684
3685 * xsnamest.adb: Add note to explain why we use specific names for the
3686 newly generated files instead of generating snames.{ads,adb,h} directly
3687
f559e62f
AC		 36882009-04-10 Sergey Rybin <rybin@adacore.com>
3689
3690 * vms_data.ads:
3691 Add qualifier for new gnatstub option '--no-exception'
3692
3693 * gnat_ugn.texi:
3694 Add the description of the new gnatstub option '--no-exception'
3695
36962009-04-10 Robert Dewar <dewar@adacore.com>
3697
3698 * rtsfind.adb: Minor reformatting
3699
37002009-04-10 Thomas Quinot <quinot@adacore.com>
3701
3702 * sem_disp.adb: Minor reformatting.
3703 Add comment pointing to RM clause for the case of warning against a
3704 (failed) attempt at declaring a primitive operation elsewhere than in a
3705 package spec.
3706
37072009-04-10 Ed Schonberg <schonberg@adacore.com>
3708
3709 * sem_ch12.adb (Denotes_Formal_Package): Check whether the package is
3710 an actual for a previous formal package of the current instance.
3711
e50e1c5e
AC		 37122009-04-10 Bob Duff <duff@adacore.com>
3713
3714 * rtsfind.adb (RTE): Put implicit with_clauses on whatever unit needs
3715 them first, rather than on the extended main unit.
3716
37172009-04-10 Ed Schonberg <schonberg@adacore.com>
3718
3719 * sem_ch6.adb (Check_Discriminant_Conformance): If discriminant
3720 specification of full view carries a null exclusion indicator, create
3721 an itype for it, to check for conformance with partial view.
3722
cb736868
AC		 37232009-04-10 Bob Duff <duff@adacore.com>
3724
3725 * rtsfind.ads: Minor code change: make RE_Unit_Table constant.
3726
3727 * rtsfind.adb: Minor comment changes, and remove useless code.
3728
3729 * sinfo.ads: Add ??? comment.
3730
37312009-04-10 Vincent Celier <celier@adacore.com>
3732
3733 * vms_data.ads: Add missing GNAT SYNC VMS qualifiers -main= and -U
3734
8a78c50d
AC		 37352009-04-10 Ed Schonberg <schonberg@adacore.com>
3736
3737 * exp_attr.adb (Expand_N_Attribute_Reference, case 'Tag): If the tagged
3738 type is a synchronized type, retrieve tag information from the
3739 corresponding record, which has the dispatch table link.
3740
37412009-04-10 Jerome Lambourg <lambourg@adacore.com>
3742
3743 * g-comlin.adb (Group_Analysis): Take care of switches that might be
3744 decomposed afterwards, but are present as-is in the command line
3745 configuration, and thus should be kept as-is.
3746
b66c3ff4
AC		 37472009-04-10 Robert Dewar <dewar@adacore.com>
3748
3749 * gnat_rm.texi: Document that postconditions are tested on implicit
3750 returns.
3751
3752 * sem_aux.adb: Minor reformatting
3753
37542009-04-10 Gary Dismukes <dismukes@adacore.com>
3755
3756 * itypes.adb (Create_Null_Excluding_Itype): Apply Base_Type when
3757 setting Etype.
3758
3759 * par-ch3.adb (P_Access_Type_Definition): Set new attribute
3760 Null_Exclusion_In_Return_Present when an access-to-function type has a
3761 result type with an explicit not null.
3762
3763 * sem_ch3.adb (Access_Subprogram_Definition): If a null exclusion is
3764 given on the result type, then create a null-excluding itype for the
3765 function.
3766
3767 * sem_ch6.adb (Analyze_Return_Type): Create a null-excluding itype in
3768 the case where a null exclusion is imposed on a named access type.
3769 (Analyze_Subprogram_Specification): Push and pop the scope of the
3770 function around the call to Analyze_Return_Type in the case of no
3771 formals, for consistency with handling when formals are present
3772 (Process_Formals does this). Ensures that any itype created for the
3773 return type will be associated with the proper scope.
3774
3775 * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): If a null
3776 exclusion is given on a generic function's result type, then create a
3777 null-excluding itype for the generic function.
3778 (Instantiate_Object): Set Null_Exclusion_Present of a constant created
3779 for an actual for a formal in object according to the setting on the
3780 formal. Ensures null exclusion checks are done when the association is
3781 elaborated.
3782
3783 * sinfo.ads: Add new flag Null_Exclusion_In_Return_Present on
3784 N_Access_Function_Definition.
3785
3786 * sinfo.adb: Add Get_ and Set_ operations for
3787 Null_Exclusion_In_Return_Present.
3788
5334d18f
BD		 37892009-04-10 Bob Duff <duff@adacore.com>
3790
3791 * exp_ch5.adb, exp_ch6.adb, sem_ch6.adb: Move the code that creates a
3792 call to the _Postconditions procedure in the case of implicit returns
3793 from analysis to expansion. This eliminates some duplicated code. Use
3794 the Postcondition_Proc to find the identity of this procedure during
3795 expansion.
3796
701b7fbb
RD		 37972009-04-10 Robert Dewar <dewar@adacore.com>
3798
3799 * sem_ch6.adb: Minor code clean up.
3800
3801 * einfo.ads, sem_attr.adb: Minor comment fixes.
3802
38032009-04-10 Robert Dewar <dewar@adacore.com>
3804
3805 * sem_ch8.adb: Minor reformatting
3806
7ca78bba
RD		 38072009-04-10 Robert Dewar <dewar@adacore.com>
3808
3809 * einfo.ads, einfo.adb (Postcondition_Proc): New attribute for
3810 procedures.
3811
3812 * sem_ch6.adb: Minor code clean up.
3813
043ce308
AC		 38142009-04-10 Robert Dewar <dewar@adacore.com>
3815
3816 * mlib-tgt-specific-xi.adb: Minor reformatting
3817
38182009-04-10 Bob Duff <duff@adacore.com>
3819
3820 * einfo.ads: Minor comment fixes
3821
38222009-04-10 Vincent Celier <celier@adacore.com>
3823
3824 * snames.ads-tmpl: Remove names that are no longer used in the
3825 Project Manager.
3826 Mark specifically those that are used only in gprbuild
3827
38282009-04-10 Eric Botcazou <ebotcazou@adacore.com>
3829
3830 * init.c: Adjust EH support code on Alpha/Tru64.
3831
38322009-04-10 Bob Duff <duff@adacore.com>
3833
3834 * sem_ch6.adb (Process_PPCs): Add a call to the _Postconditions
3835 procedure on every path that could return implicitly (not via a return
3836 statement) from a procedure.
3837
38382009-04-10 Ed Schonberg <schonberg@adacore.com>
3839
3840 * exp_ch9.adb (Build_Master_Entity): An extended return statement is a
3841 valid scope for a task declarations and therefore for a master id.
3842
38432009-04-10 Robert Dewar <dewar@adacore.com>
3844
3845 * sem_aux.adb: Minor reformatting
3846
38472009-04-10 Vincent Celier <celier@adacore.com>
3848
3849 * scn.adb (Obsolescent_Check_Flag): New Boolean flag, initialized to
3850 True.
3851 (Obsolescent_Check): Do nothing if Obsolescent_Check_Flag is False
3852 (Set_Obsolescent_Check): New procedure to change the value of
3853 Obsolescent_Check_Flag.
3854
3855 * scn.ads (Set_Obsolescent_Check): New procedure to control
3856 Obsolescent_Check.
3857
3858 * sinput-l.adb (Load_File): Do not check for pragma Restrictions on
3859 obsolescent features while preprocessing.
3860
550f4135
AC		 38612009-04-10 Thomas Quinot <quinot@adacore.com>
3862
3863 * xsnamest.adb: Use XUtil to have uniform line endings (UNIX style) in
3864 generated files on all platforms.
3865
38662009-04-10 Robert Dewar <dewar@adacore.com>
3867
3868 * sem_aux.adb: Minor reformatting
3869
38702009-04-10 Ed Schonberg <schonberg@adacore.com>
3871
3872 * sem_ch3.adb (Access_Definition): Handle properly the case of a
3873 protected function with formals that returns an anonymous access type.
3874
38752009-04-10 Thomas Quinot <quinot@adacore.com>
3876
3877 * sem_disp.adb: Minor reformatting
3878
38792009-04-10 Vasiliy Fofanov <fofanov@adacore.com>
3880
3881 * seh_init.c: Do not use the 32-bit specific implementation of
3882 __gnat_install_SEH_handler on 64-bit Windows target (64-bit specific
3883 version TBD).
3884
38852009-04-10 Jose Ruiz <ruiz@adacore.com>
3886
3887 * mlib-tgt-specific-xi.adb (Get_Target_Prefix): Target_Name may contain
3888 a '/' at the end so we better use the complete target name to determine
3889 whether it is a PowerPC 55xx target.
3890
3996951a
TQ		 38912009-04-10 Thomas Quinot <quinot@adacore.com>
3892
3893 * sem_eval.adb: Minor reformatting
3894
b62a90f2
AC		 38952009-04-10 Thomas Quinot <quinot@adacore.com>
3896
3897 * snames.h, snames.ads, snames.adb: Remove files, now generated from
3898 templates.
3899
3900 * snames.h-tmpl, snames.ads-tmpl, snames.adb-tmpl: Templates for the
3901 above.
3902
3903 * xsnamest.adb: New file.
3904
3905 * gcc-interface/Make-lang.in: New target for automated generation of
3906 snames.ads, snames.adb and snames.h
3907
62298c61
TG		 39082009-04-10 Tristan Gingold <gingold@adacore.com>
3909
3910 * gcc-interface/Makefile.in, gcc-interface/utils.c: Include "rtl.h" to
3911 avoid compile time warnings.
3912 Do not add gcc/config in include search list while compiling the RTS.
3913 Pragma Thread_Local_Storage is available on any target.
3914
3764bb00
BD		 39152009-04-10 Bob Duff <duff@adacore.com>
3916
3917 * sem.ads, par.adb, sem_ch6.adb, sem_ch8.adb: Minor comment fixes.
3918
b3b9865d
AC		 39192009-04-10 Tristan Gingold <gingold@adacore.com>
3920
3921 * init.c: Install signal handler on Darwin.
3922
39232009-04-10 Robert Dewar <dewar@adacore.com>
3924
3925 * sem_prag.adb: Minor reformatting
3926
3927 * exp_util.adb (Make_Non_Empty_Check): New function
3928 (Silly_Boolean_Array_Not_Test): Add call to Make_Non_Empty_Check
3929 (Silly_Boolean_Array_Xor_Test): Use Make_Non_Empty_Check
3930
39312009-04-10 Arnaud Charlet <charlet@adacore.com>
3932
3933 * make.adb, gnatlink.adb: Rename JGNAT toolchain.
3934
39352009-04-10 Jose Ruiz <ruiz@adacore.com>
3936
3937 * mlib-tgt-specific-xi.adb (Get_Target_Prefix): Insert the appropriate
3938 tool prefix for AVR and PowerPC 55xx targets.
3939
39402009-04-10 Robert Dewar <dewar@adacore.com>
3941
3942 * sem_warn.adb (Within_Postcondition): New function
3943 (Check_Unset_Reference): Use Within_Postcondition to stop bad warning
3944
c5288c90
AC		 39452009-04-10 Robert Dewar <dewar@adacore.com>
3946
3947 * sem_warn.adb: Minor reformatting
3948
3949 * make.adb: Minor reformatting.
3950
39512009-04-10 Gary Dismukes <dismukes@adacore.com>
3952
3953 * exp_ch7.adb (Find_Final_List): When creating a finalization-chain
3954 entity and the scope is a subprogram, retrieve the Sloc of the
3955 subprogram's body rather than using the sloc of the spec, for better
3956 line-stepping behavior in gdb.
3957 (Wrap_Transient_Declaration): For the Sloc of nodes created with a list
3958 controller, use the Sloc of the first declaration of the containing list
3959 rather than that of the node that triggered creation of the list
3960 controller.
3961
2844b330
AC		 39622009-04-10 Vincent Celier <celier@adacore.com>
3963
3964 * prj-nmsc.adb (Check_Naming_Schemes): Initialize local variable Casing
3965 to avoid gcc warning.
3966
39672009-04-10 Robert Dewar <dewar@adacore.com>
3968
3969 * g-comlin.adb: Add ??? comment
3970
39712009-04-10 Ed Schonberg <schonberg@adacore.com>
3972
3973 * sem_warn.adb (Check_Unused_Withs): Do not emit message about
3974 unreferenced entities for a package with no visible declarations.
3975
39762009-04-10 Robert Dewar <dewar@adacore.com>
3977
3978 * exp_ch9.adb: Minor reformatting
3979
be21e9d8
AC		 39802009-04-10 Thomas Quinot <quinot@adacore.com>
3981
3982 * sem_prag.adb: Minor reformatting
3983
39842009-04-10 Vincent Celier <celier@adacore.com>
3985
3986 * prj-nmsc.adb:
3987 (Check_Library_Attributes): For a project qualified as a library project
3988 that is not a library project, indicate in the error message which
3989 attributes are missing (Library_Dir and/or Library_Name).
3990
4a7dedcb
BD		 39912009-04-10 Bob Duff <duff@adacore.com>
3992
3993 * exp_ch5.adb, exp_ch9.adb: Avoid use of No_Position in Sloc of
3994 generated nodes, because it might confuse various circuits in the FE.
3995
4017021b
AC		 39962009-04-10 Ed Schonberg <schonberg@adacore.com>
3997
3998 * sem_prag.adb (Analyze_Pragma, case Task_Name): Do not expand argument
3999 of pragma. It will be recopied and analyzed when used in call to
4000 Create_Task.
4001
4002 * sem_res.adb (Resolve_Call): Clarify use of secondary stack within
4003 initialization operations and recognize use of it in procedure calls
4004 within init_procs.
4005
4006 * exp_ch9.adb (Make_Task_Create_Call): Copy full tree of Task_Name
4007 argument, because it may have side-effects.
4008
4009 * exp_ch2.adb: Remove obsolete comments on default functions
4010
40112009-04-10 Jose Ruiz <ruiz@adacore.com>
4012
4013 * adaint.c (RTX section): Do for RTX the same thing as we do for
4014 Windows (include ctype.h and define a fallback ISALPHA if IN_RTS).
4015
24357840
RD		 40162009-04-10 Robert Dewar <dewar@adacore.com>
4017
4018 * sem_aux.ads, sem_aux.adb (Nearest_Current_Scope): New function.
4019
4020 * sem_res.adb (Resolve_Call): Fix test for
4021 Suppress_Value_Tracking_On_Call (was wrong for the case of a call from
4022 a non-dynamic scope).
4023
4f64abad
AC		 40242009-04-10 Robert Dewar <dewar@adacore.com>
4025
4026 * make.adb: Add comment.
4027 Minor reformatting
4028
40292009-04-10 Nicolas Setton <setton@adacore.com>
4030
4031 * s-osprim-darwin.adb: New file.
4032
4033 * s-osinte-darwin.adb, s-osinte-darwin.ads: Fix binding to timespec.
4034
40352009-04-10 Thomas Quinot <quinot@adacore.com>
4036
4037 * g-socket.ads: Add comment clarifying alignment requirement for Fd_Set
4038
748086b7
JJ		 40392009-04-09 Nick Clifton <nickc@redhat.com>
4040
4041 * adadecode.h: Change copyright header to refer to version
4042 3 of the GNU General Public License with version 3.1 of the
4043 GCC Runtime Library Exception and to point readers at the
4044 COPYING3 and COPYING3.RUNTIME files and the FSF's license web
4045 page.
4046 * 9drpc.adb: Likewise.
4047 * a-assert.adb: Likewise.
4048 * a-astaco.adb: Likewise.
4049 * a-calari.adb: Likewise.
4050 * a-calcon.adb: Likewise.
4051 * a-calcon.ads: Likewise.
4052 * a-caldel.ads: Likewise.
4053 * a-calend-vms.adb: Likewise.
4054 * a-calend-vms.ads: Likewise.
4055 * a-calend.adb: Likewise.
4056 * a-calend.ads: Likewise.
4057 * a-calfor.adb: Likewise.
4058 * a-catizo.adb: Likewise.
4059 * a-cdlili.adb: Likewise.
4060 * a-cdlili.ads: Likewise.
4061 * a-cgaaso.adb: Likewise.
4062 * a-cgaaso.ads: Likewise.
4063 * a-cgarso.adb: Likewise.
4064 * a-cgcaso.adb: Likewise.
4065 * a-chacon.adb: Likewise.
4066 * a-chacon.ads: Likewise.
4067 * a-chahan.adb: Likewise.
4068 * a-chahan.ads: Likewise.
4069 * a-chlat9.ads: Likewise.
4070 * a-chtgke.adb: Likewise.
4071 * a-chtgke.ads: Likewise.
4072 * a-chtgop.adb: Likewise.
4073 * a-chtgop.ads: Likewise.
4074 * a-chzla1.ads: Likewise.
4075 * a-chzla9.ads: Likewise.
4076 * a-cidlli.adb: Likewise.
4077 * a-cidlli.ads: Likewise.
4078 * a-cihama.adb: Likewise.
4079 * a-cihama.ads: Likewise.
4080 * a-cihase.adb: Likewise.
4081 * a-cihase.ads: Likewise.
4082 * a-ciorma.adb: Likewise.
4083 * a-ciorma.ads: Likewise.
4084 * a-ciormu.adb: Likewise.
4085 * a-ciormu.ads: Likewise.
4086 * a-ciorse.adb: Likewise.
4087 * a-ciorse.ads: Likewise.
4088 * a-clrefi.adb: Likewise.
4089 * a-clrefi.ads: Likewise.
4090 * a-cohama.adb: Likewise.
4091 * a-cohama.ads: Likewise.
4092 * a-cohase.adb: Likewise.
4093 * a-cohase.ads: Likewise.
4094 * a-cohata.ads: Likewise.
4095 * a-coinve.adb: Likewise.
4096 * a-coinve.ads: Likewise.
4097 * a-colien.adb: Likewise.
4098 * a-colien.ads: Likewise.
4099 * a-colire.adb: Likewise.
4100 * a-colire.ads: Likewise.
4101 * a-comlin.adb: Likewise.
4102 * a-comlin.ads: Likewise.
4103 * a-convec.adb: Likewise.
4104 * a-convec.ads: Likewise.
4105 * a-coorma.adb: Likewise.
4106 * a-coorma.ads: Likewise.
4107 * a-coormu.adb: Likewise.
4108 * a-coormu.ads: Likewise.
4109 * a-coorse.adb: Likewise.
4110 * a-coorse.ads: Likewise.
4111 * a-coprnu.adb: Likewise.
4112 * a-coprnu.ads: Likewise.
4113 * a-crbltr.ads: Likewise.
4114 * a-crbtgk.adb: Likewise.
4115 * a-crbtgk.ads: Likewise.
4116 * a-crbtgo.adb: Likewise.
4117 * a-crbtgo.ads: Likewise.
4118 * a-crdlli.adb: Likewise.
4119 * a-crdlli.ads: Likewise.
4120 * a-cwila1.ads: Likewise.
4121 * a-cwila9.ads: Likewise.
4122 * a-decima.adb: Likewise.
4123 * a-decima.ads: Likewise.
4124 * a-diocst.adb: Likewise.
4125 * a-diocst.ads: Likewise.
4126 * a-direct.adb: Likewise.
4127 * a-direct.ads: Likewise.
4128 * a-direio.adb: Likewise.
4129 * a-direio.ads: Likewise.
4130 * a-dirval-mingw.adb: Likewise.
4131 * a-dirval-vms.adb: Likewise.
4132 * a-dirval.adb: Likewise.
4133 * a-dirval.ads: Likewise.
4134 * a-dynpri.adb: Likewise.
4135 * a-einuoc.adb: Likewise.
4136 * a-einuoc.ads: Likewise.
4137 * a-elchha.adb: Likewise.
4138 * a-elchha.ads: Likewise.
4139 * a-envvar.adb: Likewise.
4140 * a-excach.adb: Likewise.
4141 * a-except-2005.adb: Likewise.
4142 * a-except-2005.ads: Likewise.
4143 * a-except.adb: Likewise.
4144 * a-except.ads: Likewise.
4145 * a-excpol-abort.adb: Likewise.
4146 * a-excpol.adb: Likewise.
4147 * a-exctra.adb: Likewise.
4148 * a-exctra.ads: Likewise.
4149 * a-exetim-mingw.adb: Likewise.
4150 * a-exetim-mingw.ads: Likewise.
4151 * a-exexda.adb: Likewise.
4152 * a-exexpr-gcc.adb: Likewise.
4153 * a-exexpr.adb: Likewise.
4154 * a-exextr.adb: Likewise.
4155 * a-exstat.adb: Likewise.
4156 * a-filico.adb: Likewise.
4157 * a-filico.ads: Likewise.
4158 * a-finali.adb: Likewise.
4159 * a-finali.ads: Likewise.
4160 * a-interr.ads: Likewise.
4161 * a-intnam-aix.ads: Likewise.
4162 * a-intnam-darwin.ads: Likewise.
4163 * a-intnam-dummy.ads: Likewise.
4164 * a-intnam-freebsd.ads: Likewise.
4165 * a-intnam-hpux.ads: Likewise.
4166 * a-intnam-irix.ads: Likewise.
4167 * a-intnam-linux.ads: Likewise.
4168 * a-intnam-lynxos.ads: Likewise.
4169 * a-intnam-mingw.ads: Likewise.
4170 * a-intnam-rtems.ads: Likewise.
4171 * a-intnam-solaris.ads: Likewise.
4172 * a-intnam-tru64.ads: Likewise.
4173 * a-intnam-vms.ads: Likewise.
4174 * a-intnam-vxworks.ads: Likewise.
4175 * a-intsig.adb: Likewise.
4176 * a-intsig.ads: Likewise.
4177 * a-ngcefu.adb: Likewise.
4178 * a-ngcoar.adb: Likewise.
4179 * a-ngcoty.adb: Likewise.
4180 * a-ngcoty.ads: Likewise.
4181 * a-ngelfu.adb: Likewise.
4182 * a-ngrear.adb: Likewise.
4183 * a-ngrear.ads: Likewise.
4184 * a-nudira.adb: Likewise.
4185 * a-nudira.ads: Likewise.
4186 * a-nuflra.adb: Likewise.
4187 * a-nuflra.ads: Likewise.
4188 * a-numaux-darwin.adb: Likewise.
4189 * a-numaux-darwin.ads: Likewise.
4190 * a-numaux-libc-x86.ads: Likewise.
4191 * a-numaux-vxworks.ads: Likewise.
4192 * a-numaux-x86.adb: Likewise.
4193 * a-numaux-x86.ads: Likewise.
4194 * a-numaux.ads: Likewise.
4195 * a-rbtgso.adb: Likewise.
4196 * a-rbtgso.ads: Likewise.
4197 * a-reatim.ads: Likewise.
4198 * a-retide.adb: Likewise.
4199 * a-retide.ads: Likewise.
4200 * a-rttiev.adb: Likewise.
4201 * a-rttiev.ads: Likewise.
4202 * a-secain.adb: Likewise.
4203 * a-secain.ads: Likewise.
4204 * a-sequio.adb: Likewise.
4205 * a-sequio.ads: Likewise.
4206 * a-shcain.adb: Likewise.
4207 * a-shcain.ads: Likewise.
4208 * a-siocst.adb: Likewise.
4209 * a-siocst.ads: Likewise.
4210 * a-slcain.adb: Likewise.
4211 * a-slcain.ads: Likewise.
4212 * a-ssicst.adb: Likewise.
4213 * a-ssicst.ads: Likewise.
4214 * a-stboha.adb: Likewise.
4215 * a-stmaco.ads: Likewise.
4216 * a-storio.adb: Likewise.
4217 * a-strbou.adb: Likewise.
4218 * a-strbou.ads: Likewise.
4219 * a-stream.ads: Likewise.
4220 * a-strfix.adb: Likewise.
4221 * a-strhas.adb: Likewise.
4222 * a-strmap.adb: Likewise.
4223 * a-strmap.ads: Likewise.
4224 * a-strsea.adb: Likewise.
4225 * a-strsea.ads: Likewise.
4226 * a-strsup.adb: Likewise.
4227 * a-strsup.ads: Likewise.
4228 * a-strunb.adb: Likewise.
4229 * a-strunb.ads: Likewise.
4230 * a-ststio.adb: Likewise.
4231 * a-ststio.ads: Likewise.
4232 * a-stunau.adb: Likewise.
4233 * a-stunau.ads: Likewise.
4234 * a-stunha.adb: Likewise.
4235 * a-stwibo.adb: Likewise.
4236 * a-stwibo.ads: Likewise.
4237 * a-stwifi.adb: Likewise.
4238 * a-stwiha.adb: Likewise.
4239 * a-stwima.adb: Likewise.
4240 * a-stwima.ads: Likewise.
4241 * a-stwise.adb: Likewise.
4242 * a-stwise.ads: Likewise.
4243 * a-stwisu.adb: Likewise.
4244 * a-stwisu.ads: Likewise.
4245 * a-stwiun.adb: Likewise.
4246 * a-stwiun.ads: Likewise.
4247 * a-stzbou.adb: Likewise.
4248 * a-stzbou.ads: Likewise.
4249 * a-stzfix.adb: Likewise.
4250 * a-stzhas.adb: Likewise.
4251 * a-stzmap.adb: Likewise.
4252 * a-stzmap.ads: Likewise.
4253 * a-stzsea.adb: Likewise.
4254 * a-stzsea.ads: Likewise.
4255 * a-stzsup.adb: Likewise.
4256 * a-stzsup.ads: Likewise.
4257 * a-stzunb.adb: Likewise.
4258 * a-stzunb.ads: Likewise.
4259 * a-suteio.adb: Likewise.
4260 * a-suteio.ads: Likewise.
4261 * a-swbwha.adb: Likewise.
4262 * a-swmwco.ads: Likewise.
4263 * a-swunau.adb: Likewise.
4264 * a-swunau.ads: Likewise.
4265 * a-swuwha.adb: Likewise.
4266 * a-swuwti.adb: Likewise.
4267 * a-swuwti.ads: Likewise.
4268 * a-sytaco.adb: Likewise.
4269 * a-sytaco.ads: Likewise.
4270 * a-szbzha.adb: Likewise.
4271 * a-szmzco.ads: Likewise.
4272 * a-szunau.adb: Likewise.
4273 * a-szunau.ads: Likewise.
4274 * a-szuzha.adb: Likewise.
4275 * a-szuzti.adb: Likewise.
4276 * a-szuzti.ads: Likewise.
4277 * a-tags.adb: Likewise.
4278 * a-tags.ads: Likewise.
4279 * a-tasatt.ads: Likewise.
4280 * a-taside.adb: Likewise.
4281 * a-taside.ads: Likewise.
4282 * a-taster.adb: Likewise.
4283 * a-teioed.adb: Likewise.
4284 * a-teioed.ads: Likewise.
4285 * a-textio.adb: Likewise.
4286 * a-textio.ads: Likewise.
4287 * a-tiboio.adb: Likewise.
4288 * a-ticoau.adb: Likewise.
4289 * a-ticoau.ads: Likewise.
4290 * a-ticoio.adb: Likewise.
4291 * a-ticoio.ads: Likewise.
4292 * a-tideau.adb: Likewise.
4293 * a-tideau.ads: Likewise.
4294 * a-tideio.adb: Likewise.
4295 * a-tideio.ads: Likewise.
4296 * a-tienau.adb: Likewise.
4297 * a-tienau.ads: Likewise.
4298 * a-tienio.adb: Likewise.
4299 * a-tienio.ads: Likewise.
4300 * a-tifiio.adb: Likewise.
4301 * a-tifiio.ads: Likewise.
4302 * a-tiflau.adb: Likewise.
4303 * a-tiflau.ads: Likewise.
4304 * a-tiflio.adb: Likewise.
4305 * a-tiflio.ads: Likewise.
4306 * a-tigeau.adb: Likewise.
4307 * a-tigeau.ads: Likewise.
4308 * a-tiinau.adb: Likewise.
4309 * a-tiinau.ads: Likewise.
4310 * a-tiinio.adb: Likewise.
4311 * a-tiinio.ads: Likewise.
4312 * a-timoau.adb: Likewise.
4313 * a-timoau.ads: Likewise.
4314 * a-timoio.adb: Likewise.
4315 * a-timoio.ads: Likewise.
4316 * a-tiocst.adb: Likewise.
4317 * a-tiocst.ads: Likewise.
4318 * a-titest.adb: Likewise.
4319 * a-wichun.adb: Likewise.
4320 * a-wichun.ads: Likewise.
4321 * a-witeio.adb: Likewise.
4322 * a-witeio.ads: Likewise.
4323 * a-wtcoau.adb: Likewise.
4324 * a-wtcoau.ads: Likewise.
4325 * a-wtcoio.adb: Likewise.
4326 * a-wtcstr.adb: Likewise.
4327 * a-wtcstr.ads: Likewise.
4328 * a-wtdeau.adb: Likewise.
4329 * a-wtdeau.ads: Likewise.
4330 * a-wtdeio.adb: Likewise.
4331 * a-wtdeio.ads: Likewise.
4332 * a-wtedit.adb: Likewise.
4333 * a-wtedit.ads: Likewise.
4334 * a-wtenau.adb: Likewise.
4335 * a-wtenau.ads: Likewise.
4336 * a-wtenio.adb: Likewise.
4337 * a-wtenio.ads: Likewise.
4338 * a-wtfiio.adb: Likewise.
4339 * a-wtfiio.ads: Likewise.
4340 * a-wtflau.adb: Likewise.
4341 * a-wtflau.ads: Likewise.
4342 * a-wtflio.adb: Likewise.
4343 * a-wtflio.ads: Likewise.
4344 * a-wtgeau.adb: Likewise.
4345 * a-wtgeau.ads: Likewise.
4346 * a-wtinau.adb: Likewise.
4347 * a-wtinau.ads: Likewise.
4348 * a-wtinio.adb: Likewise.
4349 * a-wtmoau.adb: Likewise.
4350 * a-wtmoau.ads: Likewise.
4351 * a-wtmoio.adb: Likewise.
4352 * a-wtmoio.ads: Likewise.
4353 * a-wttest.adb: Likewise.
4354 * a-wwboio.adb: Likewise.
4355 * a-zchuni.adb: Likewise.
4356 * a-zchuni.ads: Likewise.
4357 * a-ztcoau.adb: Likewise.
4358 * a-ztcoau.ads: Likewise.
4359 * a-ztcoio.adb: Likewise.
4360 * a-ztcstr.adb: Likewise.
4361 * a-ztcstr.ads: Likewise.
4362 * a-ztdeau.adb: Likewise.
4363 * a-ztdeau.ads: Likewise.
4364 * a-ztdeio.adb: Likewise.
4365 * a-ztdeio.ads: Likewise.
4366 * a-ztedit.adb: Likewise.
4367 * a-ztedit.ads: Likewise.
4368 * a-ztenau.adb: Likewise.
4369 * a-ztenau.ads: Likewise.
4370 * a-ztenio.adb: Likewise.
4371 * a-ztenio.ads: Likewise.
4372 * a-ztexio.adb: Likewise.
4373 * a-ztexio.ads: Likewise.
4374 * a-ztfiio.adb: Likewise.
4375 * a-ztfiio.ads: Likewise.
4376 * a-ztflau.adb: Likewise.
4377 * a-ztflau.ads: Likewise.
4378 * a-ztflio.adb: Likewise.
4379 * a-ztflio.ads: Likewise.
4380 * a-ztgeau.adb: Likewise.
4381 * a-ztgeau.ads: Likewise.
4382 * a-ztinau.adb: Likewise.
4383 * a-ztinau.ads: Likewise.
4384 * a-ztinio.adb: Likewise.
4385 * a-ztmoau.adb: Likewise.
4386 * a-ztmoau.ads: Likewise.
4387 * a-ztmoio.adb: Likewise.
4388 * a-ztmoio.ads: Likewise.
4389 * a-zttest.adb: Likewise.
4390 * a-zzboio.adb: Likewise.
4391 * adadecode.c: Likewise.
4392 * adaint.c: Likewise.
4393 * adaint.h: Likewise.
4394 * alloc.ads: Likewise.
4395 * argv.c: Likewise.
4396 * arit64.c: Likewise.
4397 * atree.adb: Likewise.
4398 * atree.ads: Likewise.
4399 * aux-io.c: Likewise.
4400 * cal.c: Likewise.
4401 * casing.adb: Likewise.
4402 * casing.ads: Likewise.
4403 * cio.c: Likewise.
4404 * csets.adb: Likewise.
4405 * csets.ads: Likewise.
4406 * cstreams.c: Likewise.
4407 * ctrl_c.c: Likewise.
4408 * debug.adb: Likewise.
4409 * debug.ads: Likewise.
4410 * dec.ads: Likewise.
4411 * einfo.adb: Likewise.
4412 * einfo.ads: Likewise.
4413 * elists.adb: Likewise.
4414 * elists.ads: Likewise.
4415 * env.c: Likewise.
4416 * env.h: Likewise.
4417 * errno.c: Likewise.
4418 * exit.c: Likewise.
4419 * fe.h: Likewise.
4420 * final.c: Likewise.
4421 * fname.adb: Likewise.
4422 * fname.ads: Likewise.
4423 * g-allein.ads: Likewise.
4424 * g-alleve.adb: Likewise.
4425 * g-alleve.ads: Likewise.
4426 * g-altcon.adb: Likewise.
4427 * g-altcon.ads: Likewise.
4428 * g-altive.ads: Likewise.
4429 * g-alveop.adb: Likewise.
4430 * g-alveop.ads: Likewise.
4431 * g-alvety.ads: Likewise.
4432 * g-alvevi.ads: Likewise.
4433 * g-arrspl.adb: Likewise.
4434 * g-arrspl.ads: Likewise.
4435 * g-calend.ads: Likewise.
4436 * g-comlin.adb: Likewise.
4437 * g-debpoo.adb: Likewise.
4438 * g-debpoo.ads: Likewise.
4439 * g-eacodu-vms.adb: Likewise.
4440 * g-eacodu.adb: Likewise.
4441 * g-excact.adb: Likewise.
4442 * g-excact.ads: Likewise.
4443 * g-locfil.adb: Likewise.
4444 * g-os_lib.ads: Likewise.
4445 * g-rannum.adb: Likewise.
4446 * g-rannum.ads: Likewise.
4447 * g-regist.adb: Likewise.
4448 * g-regist.ads: Likewise.
4449 * g-signal.adb: Likewise.
4450 * g-signal.ads: Likewise.
4451 * g-soccon.ads: Likewise.
4452 * g-string.adb: Likewise.
4453 * g-string.ads: Likewise.
4454 * g-strspl.ads: Likewise.
4455 * g-timsta.adb: Likewise.
4456 * g-timsta.ads: Likewise.
4457 * g-trasym-vms-alpha.adb: Likewise.
4458 * g-trasym-vms-ia64.adb: Likewise.
4459 * g-utf_32.adb: Likewise.
4460 * g-utf_32.ads: Likewise.
4461 * g-wistsp.ads: Likewise.
4462 * g-zstspl.ads: Likewise.
4463 * gmem.c: Likewise.
4464 * gnatvsn.adb: Likewise.
4465 * gnatvsn.ads: Likewise.
4466 * gsocket.h: Likewise.
4467 * hostparm.ads: Likewise.
4468 * i-c.adb: Likewise.
4469 * i-cexten.ads: Likewise.
4470 * i-cobol.adb: Likewise.
4471 * i-cobol.ads: Likewise.
4472 * i-cpoint.adb: Likewise.
4473 * i-cpoint.ads: Likewise.
4474 * i-cpp.adb: Likewise.
4475 * i-cpp.ads: Likewise.
4476 * i-cstrea-vms.adb: Likewise.
4477 * i-cstrea.adb: Likewise.
4478 * i-cstrea.ads: Likewise.
4479 * i-cstrin.adb: Likewise.
4480 * i-cstrin.ads: Likewise.
4481 * i-forbla-darwin.adb: Likewise.
4482 * i-forbla-unimplemented.ads: Likewise.
4483 * i-forbla.adb: Likewise.
4484 * i-forbla.ads: Likewise.
4485 * i-forlap.ads: Likewise.
4486 * i-fortra.adb: Likewise.
4487 * i-pacdec.adb: Likewise.
4488 * i-pacdec.ads: Likewise.
4489 * i-vxwoio.adb: Likewise.
4490 * i-vxwoio.ads: Likewise.
4491 * indepsw-aix.adb: Likewise.
4492 * indepsw-gnu.adb: Likewise.
4493 * indepsw-mingw.adb: Likewise.
4494 * indepsw.adb: Likewise.
4495 * indepsw.ads: Likewise.
4496 * init.c: Likewise.
4497 * initialize.c: Likewise.
4498 * interfac.ads: Likewise.
4499 * krunch.adb: Likewise.
4500 * krunch.ads: Likewise.
4501 * lib-list.adb: Likewise.
4502 * lib-sort.adb: Likewise.
4503 * lib.adb: Likewise.
4504 * lib.ads: Likewise.
4505 * link.c: Likewise.
4506 * math_lib.adb: Likewise.
4507 * memtrack.adb: Likewise.
4508 * mingw32.h: Likewise.
4509 * mkdir.c: Likewise.
4510 * namet-sp.adb: Likewise.
4511 * namet-sp.ads: Likewise.
4512 * namet.adb: Likewise.
4513 * namet.ads: Likewise.
4514 * nlists.adb: Likewise.
4515 * nlists.ads: Likewise.
4516 * opt.adb: Likewise.
4517 * opt.ads: Likewise.
4518 * output.adb: Likewise.
4519 * output.ads: Likewise.
4520 * raise-gcc.c: Likewise.
4521 * raise.c: Likewise.
4522 * raise.h: Likewise.
4523 * repinfo.adb: Likewise.
4524 * repinfo.ads: Likewise.
4525 * repinfo.h: Likewise.
4526 * rident.ads: Likewise.
4527 * s-addima.adb: Likewise.
4528 * s-addima.ads: Likewise.
4529 * s-addope.adb: Likewise.
4530 * s-addope.ads: Likewise.
4531 * s-arit64.adb: Likewise.
4532 * s-arit64.ads: Likewise.
4533 * s-assert.adb: Likewise.
4534 * s-assert.ads: Likewise.
4535 * s-asthan-vms-alpha.adb: Likewise.
4536 * s-asthan.adb: Likewise.
4537 * s-asthan.ads: Likewise.
4538 * s-atacco.adb: Likewise.
4539 * s-atacco.ads: Likewise.
4540 * s-auxdec-empty.adb: Likewise.
4541 * s-auxdec-empty.ads: Likewise.
4542 * s-auxdec-vms_64.ads: Likewise.
4543 * s-auxdec.adb: Likewise.
4544 * s-auxdec.ads: Likewise.
4545 * s-bitops.adb: Likewise.
4546 * s-bitops.ads: Likewise.
4547 * s-boarop.ads: Likewise.
4548 * s-carsi8.adb: Likewise.
4549 * s-carsi8.ads: Likewise.
4550 * s-carun8.adb: Likewise.
4551 * s-carun8.ads: Likewise.
4552 * s-casi16.adb: Likewise.
4553 * s-casi16.ads: Likewise.
4554 * s-casi32.adb: Likewise.
4555 * s-casi32.ads: Likewise.
4556 * s-casi64.adb: Likewise.
4557 * s-casi64.ads: Likewise.
4558 * s-casuti.ads: Likewise.
4559 * s-caun16.adb: Likewise.
4560 * s-caun16.ads: Likewise.
4561 * s-caun32.adb: Likewise.
4562 * s-caun32.ads: Likewise.
4563 * s-caun64.adb: Likewise.
4564 * s-caun64.ads: Likewise.
4565 * s-chepoo.ads: Likewise.
4566 * s-crc32.adb: Likewise.
4567 * s-crc32.ads: Likewise.
4568 * s-crtl.ads: Likewise.
4569 * s-direio.adb: Likewise.
4570 * s-direio.ads: Likewise.
4571 * s-dsaser.ads: Likewise.
4572 * s-except.adb: Likewise.
4573 * s-except.ads: Likewise.
4574 * s-exctab.adb: Likewise.
4575 * s-exctab.ads: Likewise.
4576 * s-exnint.adb: Likewise.
4577 * s-exnint.ads: Likewise.
4578 * s-exnllf.adb: Likewise.
4579 * s-exnllf.ads: Likewise.
4580 * s-exnlli.adb: Likewise.
4581 * s-exnlli.ads: Likewise.
4582 * s-expint.adb: Likewise.
4583 * s-expint.ads: Likewise.
4584 * s-explli.adb: Likewise.
4585 * s-explli.ads: Likewise.
4586 * s-expllu.adb: Likewise.
4587 * s-expllu.ads: Likewise.
4588 * s-expmod.adb: Likewise.
4589 * s-expmod.ads: Likewise.
4590 * s-expuns.adb: Likewise.
4591 * s-expuns.ads: Likewise.
4592 * s-fatflt.ads: Likewise.
4593 * s-fatgen.adb: Likewise.
4594 * s-fatgen.ads: Likewise.
4595 * s-fatlfl.ads: Likewise.
4596 * s-fatllf.ads: Likewise.
4597 * s-fatsfl.ads: Likewise.
4598 * s-ficobl.ads: Likewise.
4599 * s-fileio.adb: Likewise.
4600 * s-fileio.ads: Likewise.
4601 * s-filofl.ads: Likewise.
4602 * s-finimp.adb: Likewise.
4603 * s-finimp.ads: Likewise.
4604 * s-finroo.adb: Likewise.
4605 * s-finroo.ads: Likewise.
4606 * s-fishfl.ads: Likewise.
4607 * s-fore.adb: Likewise.
4608 * s-fore.ads: Likewise.
4609 * s-fvadfl.ads: Likewise.
4610 * s-fvaffl.ads: Likewise.
4611 * s-fvagfl.ads: Likewise.
4612 * s-gearop.adb: Likewise.
4613 * s-gearop.ads: Likewise.
4614 * s-gecobl.adb: Likewise.
4615 * s-gecobl.ads: Likewise.
4616 * s-gecola.adb: Likewise.
4617 * s-gecola.ads: Likewise.
4618 * s-gerebl.adb: Likewise.
4619 * s-gerebl.ads: Likewise.
4620 * s-gerela.adb: Likewise.
4621 * s-gerela.ads: Likewise.
4622 * s-geveop.adb: Likewise.
4623 * s-geveop.ads: Likewise.
4624 * s-gloloc.adb: Likewise.
4625 * s-gloloc.ads: Likewise.
4626 * s-hibaen.ads: Likewise.
4627 * s-imenne.adb: Likewise.
4628 * s-imenne.ads: Likewise.
4629 * s-imgbiu.adb: Likewise.
4630 * s-imgbiu.ads: Likewise.
4631 * s-imgboo.adb: Likewise.
4632 * s-imgboo.ads: Likewise.
4633 * s-imgcha.adb: Likewise.
4634 * s-imgcha.ads: Likewise.
4635 * s-imgdec.adb: Likewise.
4636 * s-imgdec.ads: Likewise.
4637 * s-imgenu.adb: Likewise.
4638 * s-imgenu.ads: Likewise.
4639 * s-imgint.adb: Likewise.
4640 * s-imgint.ads: Likewise.
4641 * s-imgllb.adb: Likewise.
4642 * s-imgllb.ads: Likewise.
4643 * s-imglld.adb: Likewise.
4644 * s-imglld.ads: Likewise.
4645 * s-imglli.adb: Likewise.
4646 * s-imglli.ads: Likewise.
4647 * s-imgllu.adb: Likewise.
4648 * s-imgllu.ads: Likewise.
4649 * s-imgllw.adb: Likewise.
4650 * s-imgllw.ads: Likewise.
4651 * s-imgrea.adb: Likewise.
4652 * s-imgrea.ads: Likewise.
4653 * s-imguns.adb: Likewise.
4654 * s-imguns.ads: Likewise.
4655 * s-imgwch.adb: Likewise.
4656 * s-imgwch.ads: Likewise.
4657 * s-imgwiu.adb: Likewise.
4658 * s-imgwiu.ads: Likewise.
4659 * s-inmaop-dummy.adb: Likewise.
4660 * s-inmaop-vms.adb: Likewise.
4661 * s-inmaop.ads: Likewise.
4662 * s-interr-hwint.adb: Likewise.
4663 * s-interr-sigaction.adb: Likewise.
4664 * s-interr-vms.adb: Likewise.
4665 * s-interr.adb: Likewise.
4666 * s-interr.ads: Likewise.
4667 * s-intman-dummy.adb: Likewise.
4668 * s-intman-mingw.adb: Likewise.
4669 * s-intman-posix.adb: Likewise.
4670 * s-intman-solaris.adb: Likewise.
4671 * s-intman-vms.adb: Likewise.
4672 * s-intman-vms.ads: Likewise.
4673 * s-intman-vxworks.adb: Likewise.
4674 * s-intman-vxworks.ads: Likewise.
4675 * s-intman.ads: Likewise.
4676 * s-io.adb: Likewise.
4677 * s-io.ads: Likewise.
4678 * s-linux-alpha.ads: Likewise.
4679 * s-linux-hppa.ads: Likewise.
4680 * s-linux.ads: Likewise.
4681 * s-maccod.ads: Likewise.
4682 * s-mantis.adb: Likewise.
4683 * s-mantis.ads: Likewise.
4684 * s-mastop-irix.adb: Likewise.
4685 * s-mastop.adb: Likewise.
4686 * s-mastop.ads: Likewise.
4687 * s-memcop.ads: Likewise.
4688 * s-memory-mingw.adb: Likewise.
4689 * s-memory.adb: Likewise.
4690 * s-memory.ads: Likewise.
4691 * s-os_lib.ads: Likewise.
4692 * s-oscons-tmplt.c: Likewise.
4693 * s-osinte-aix.adb: Likewise.
4694 * s-osinte-darwin.adb: Likewise.
4695 * s-osinte-freebsd.adb: Likewise.
4696 * s-osinte-irix.adb: Likewise.
4697 * s-osinte-lynxos-3.adb: Likewise.
4698 * s-osinte-rtems.ads: Likewise.
4699 * s-osinte-tru64.adb: Likewise.
4700 * s-osinte-vxworks-kernel.adb: Likewise.
4701 * s-osinte-vxworks.adb: Likewise.
4702 * s-osprim-mingw.adb: Likewise.
4703 * s-osprim-posix.adb: Likewise.
4704 * s-osprim-solaris.adb: Likewise.
4705 * s-osprim-unix.adb: Likewise.
4706 * s-osprim-vms.adb: Likewise.
4707 * s-osprim-vms.ads: Likewise.
4708 * s-osprim-vxworks.adb: Likewise.
4709 * s-osprim.ads: Likewise.
4710 * s-pack03.adb: Likewise.
4711 * s-pack03.ads: Likewise.
4712 * s-pack05.adb: Likewise.
4713 * s-pack05.ads: Likewise.
4714 * s-pack06.adb: Likewise.
4715 * s-pack06.ads: Likewise.
4716 * s-pack07.adb: Likewise.
4717 * s-pack07.ads: Likewise.
4718 * s-pack09.adb: Likewise.
4719 * s-pack09.ads: Likewise.
4720 * s-pack10.adb: Likewise.
4721 * s-pack10.ads: Likewise.
4722 * s-pack11.adb: Likewise.
4723 * s-pack11.ads: Likewise.
4724 * s-pack12.adb: Likewise.
4725 * s-pack12.ads: Likewise.
4726 * s-pack13.adb: Likewise.
4727 * s-pack13.ads: Likewise.
4728 * s-pack14.adb: Likewise.
4729 * s-pack14.ads: Likewise.
4730 * s-pack15.adb: Likewise.
4731 * s-pack15.ads: Likewise.
4732 * s-pack17.adb: Likewise.
4733 * s-pack17.ads: Likewise.
4734 * s-pack18.adb: Likewise.
4735 * s-pack18.ads: Likewise.
4736 * s-pack19.adb: Likewise.
4737 * s-pack19.ads: Likewise.
4738 * s-pack20.adb: Likewise.
4739 * s-pack20.ads: Likewise.
4740 * s-pack21.adb: Likewise.
4741 * s-pack21.ads: Likewise.
4742 * s-pack22.adb: Likewise.
4743 * s-pack22.ads: Likewise.
4744 * s-pack23.adb: Likewise.
4745 * s-pack23.ads: Likewise.
4746 * s-pack24.adb: Likewise.
4747 * s-pack24.ads: Likewise.
4748 * s-pack25.adb: Likewise.
4749 * s-pack25.ads: Likewise.
4750 * s-pack26.adb: Likewise.
4751 * s-pack26.ads: Likewise.
4752 * s-pack27.adb: Likewise.
4753 * s-pack27.ads: Likewise.
4754 * s-pack28.adb: Likewise.
4755 * s-pack28.ads: Likewise.
4756 * s-pack29.adb: Likewise.
4757 * s-pack29.ads: Likewise.
4758 * s-pack30.adb: Likewise.
4759 * s-pack30.ads: Likewise.
4760 * s-pack31.adb: Likewise.
4761 * s-pack31.ads: Likewise.
4762 * s-pack33.adb: Likewise.
4763 * s-pack33.ads: Likewise.
4764 * s-pack34.adb: Likewise.
4765 * s-pack34.ads: Likewise.
4766 * s-pack35.adb: Likewise.
4767 * s-pack35.ads: Likewise.
4768 * s-pack36.adb: Likewise.
4769 * s-pack36.ads: Likewise.
4770 * s-pack37.adb: Likewise.
4771 * s-pack37.ads: Likewise.
4772 * s-pack38.adb: Likewise.
4773 * s-pack38.ads: Likewise.
4774 * s-pack39.adb: Likewise.
4775 * s-pack39.ads: Likewise.
4776 * s-pack40.adb: Likewise.
4777 * s-pack40.ads: Likewise.
4778 * s-pack41.adb: Likewise.
4779 * s-pack41.ads: Likewise.
4780 * s-pack42.adb: Likewise.
4781 * s-pack42.ads: Likewise.
4782 * s-pack43.adb: Likewise.
4783 * s-pack43.ads: Likewise.
4784 * s-pack44.adb: Likewise.
4785 * s-pack44.ads: Likewise.
4786 * s-pack45.adb: Likewise.
4787 * s-pack45.ads: Likewise.
4788 * s-pack46.adb: Likewise.
4789 * s-pack46.ads: Likewise.
4790 * s-pack47.adb: Likewise.
4791 * s-pack47.ads: Likewise.
4792 * s-pack48.adb: Likewise.
4793 * s-pack48.ads: Likewise.
4794 * s-pack49.adb: Likewise.
4795 * s-pack49.ads: Likewise.
4796 * s-pack50.adb: Likewise.
4797 * s-pack50.ads: Likewise.
4798 * s-pack51.adb: Likewise.
4799 * s-pack51.ads: Likewise.
4800 * s-pack52.adb: Likewise.
4801 * s-pack52.ads: Likewise.
4802 * s-pack53.adb: Likewise.
4803 * s-pack53.ads: Likewise.
4804 * s-pack54.adb: Likewise.
4805 * s-pack54.ads: Likewise.
4806 * s-pack55.adb: Likewise.
4807 * s-pack55.ads: Likewise.
4808 * s-pack56.adb: Likewise.
4809 * s-pack56.ads: Likewise.
4810 * s-pack57.adb: Likewise.
4811 * s-pack57.ads: Likewise.
4812 * s-pack58.adb: Likewise.
4813 * s-pack58.ads: Likewise.
4814 * s-pack59.adb: Likewise.
4815 * s-pack59.ads: Likewise.
4816 * s-pack60.adb: Likewise.
4817 * s-pack60.ads: Likewise.
4818 * s-pack61.adb: Likewise.
4819 * s-pack61.ads: Likewise.
4820 * s-pack62.adb: Likewise.
4821 * s-pack62.ads: Likewise.
4822 * s-pack63.adb: Likewise.
4823 * s-pack63.ads: Likewise.
4824 * s-parame-ae653.ads: Likewise.
4825 * s-parame-hpux.ads: Likewise.
4826 * s-parame-rtems.adb: Likewise.
4827 * s-parame-vms-alpha.ads: Likewise.
4828 * s-parame-vms-ia64.ads: Likewise.
4829 * s-parame-vms-restrict.ads: Likewise.
4830 * s-parame-vxworks.adb: Likewise.
4831 * s-parame-vxworks.ads: Likewise.
4832 * s-parame.adb: Likewise.
4833 * s-parame.ads: Likewise.
4834 * s-parint.adb: Likewise.
4835 * s-parint.ads: Likewise.
4836 * s-pooglo.adb: Likewise.
4837 * s-pooglo.ads: Likewise.
4838 * s-pooloc.adb: Likewise.
4839 * s-pooloc.ads: Likewise.
4840 * s-poosiz.adb: Likewise.
4841 * s-poosiz.ads: Likewise.
4842 * s-powtab.ads: Likewise.
4843 * s-proinf-irix-athread.adb: Likewise.
4844 * s-proinf-irix-athread.ads: Likewise.
4845 * s-proinf.adb: Likewise.
4846 * s-proinf.ads: Likewise.
4847 * s-purexc.ads: Likewise.
4848 * s-rannum.adb: Likewise.
4849 * s-rannum.ads: Likewise.
4850 * s-restri.adb: Likewise.
4851 * s-restri.ads: Likewise.
4852 * s-rident.ads: Likewise.
4853 * s-rpc.adb: Likewise.
4854 * s-rpc.ads: Likewise.
4855 * s-scaval.adb: Likewise.
4856 * s-scaval.ads: Likewise.
4857 * s-secsta.adb: Likewise.
4858 * s-secsta.ads: Likewise.
4859 * s-sequio.adb: Likewise.
4860 * s-sequio.ads: Likewise.
4861 * s-shasto.adb: Likewise.
4862 * s-shasto.ads: Likewise.
4863 * s-soflin.adb: Likewise.
4864 * s-soflin.ads: Likewise.
4865 * s-solita.adb: Likewise.
4866 * s-solita.ads: Likewise.
4867 * s-sopco3.adb: Likewise.
4868 * s-sopco3.ads: Likewise.
4869 * s-sopco4.adb: Likewise.
4870 * s-sopco4.ads: Likewise.
4871 * s-sopco5.adb: Likewise.
4872 * s-sopco5.ads: Likewise.
4873 * s-stache.adb: Likewise.
4874 * s-stache.ads: Likewise.
4875 * s-stalib.adb: Likewise.
4876 * s-stalib.ads: Likewise.
4877 * s-stausa.adb: Likewise.
4878 * s-stausa.ads: Likewise.
4879 * s-stchop-limit.ads: Likewise.
4880 * s-stchop-rtems.adb: Likewise.
4881 * s-stchop-vxworks.adb: Likewise.
4882 * s-stchop.adb: Likewise.
4883 * s-stchop.ads: Likewise.
4884 * s-stoele.adb: Likewise.
4885 * s-stoele.ads: Likewise.
4886 * s-stopoo.adb: Likewise.
4887 * s-stopoo.ads: Likewise.
4888 * s-stratt.adb: Likewise.
4889 * s-stratt.ads: Likewise.
4890 * s-strcom.adb: Likewise.
4891 * s-strcom.ads: Likewise.
4892 * s-string.adb: Likewise.
4893 * s-string.ads: Likewise.
4894 * s-strops.adb: Likewise.
4895 * s-strops.ads: Likewise.
4896 * s-strxdr.adb: Likewise.
4897 * s-ststop.adb: Likewise.
4898 * s-ststop.ads: Likewise.
4899 * s-taasde.adb: Likewise.
4900 * s-taasde.ads: Likewise.
4901 * s-tadeca.adb: Likewise.
4902 * s-tadeca.ads: Likewise.
4903 * s-tadert.adb: Likewise.
4904 * s-tadert.ads: Likewise.
4905 * s-taenca.adb: Likewise.
4906 * s-taenca.ads: Likewise.
4907 * s-taprob.ads: Likewise.
4908 * s-taprop-dummy.adb: Likewise.
4909 * s-taprop-hpux-dce.adb: Likewise.
4910 * s-taprop-irix.adb: Likewise.
4911 * s-taprop-linux.adb: Likewise.
4912 * s-taprop-lynxos.adb: Likewise.
4913 * s-taprop-mingw.adb: Likewise.
4914 * s-taprop-posix.adb: Likewise.
4915 * s-taprop-solaris.adb: Likewise.
4916 * s-taprop-tru64.adb: Likewise.
4917 * s-taprop-vms.adb: Likewise.
4918 * s-taprop-vxworks.adb: Likewise.
4919 * s-taprop.ads: Likewise.
4920 * s-tarest.adb: Likewise.
4921 * s-tarest.ads: Likewise.
4922 * s-tasdeb.adb: Likewise.
4923 * s-tasdeb.ads: Likewise.
4924 * s-tasinf-irix.ads: Likewise.
4925 * s-tasinf-linux.adb: Likewise.
4926 * s-tasinf-linux.ads: Likewise.
4927 * s-tasinf-mingw.adb: Likewise.
4928 * s-tasinf-mingw.ads: Likewise.
4929 * s-tasinf-solaris.adb: Likewise.
4930 * s-tasinf-solaris.ads: Likewise.
4931 * s-tasinf-tru64.ads: Likewise.
4932 * s-tasinf.adb: Likewise.
4933 * s-tasinf.ads: Likewise.
4934 * s-tasini.adb: Likewise.
4935 * s-tasini.ads: Likewise.
4936 * s-taskin.adb: Likewise.
4937 * s-taskin.ads: Likewise.
4938 * s-taspri-dummy.ads: Likewise.
4939 * s-taspri-hpux-dce.ads: Likewise.
4940 * s-taspri-mingw.ads: Likewise.
4941 * s-taspri-solaris.ads: Likewise.
4942 * s-taspri-tru64.ads: Likewise.
4943 * s-taspri-vms.ads: Likewise.
4944 * s-taspri-vxworks.ads: Likewise.
4945 * s-tasque.adb: Likewise.
4946 * s-tasque.ads: Likewise.
4947 * s-tasren.adb: Likewise.
4948 * s-tasren.ads: Likewise.
4949 * s-tasres.ads: Likewise.
4950 * s-tassta.adb: Likewise.
4951 * s-tassta.ads: Likewise.
4952 * s-tasuti.adb: Likewise.
4953 * s-tasuti.ads: Likewise.
4954 * s-tfsetr-default.adb: Likewise.
4955 * s-tfsetr-vxworks.adb: Likewise.
4956 * s-tpinop.adb: Likewise.
4957 * s-tpinop.ads: Likewise.
4958 * s-tpoben.adb: Likewise.
4959 * s-tpoben.ads: Likewise.
4960 * s-tpobop.adb: Likewise.
4961 * s-tpobop.ads: Likewise.
4962 * s-tpopde-vms.adb: Likewise.
4963 * s-tpopde-vms.ads: Likewise.
4964 * s-tpopsp-lynxos.adb: Likewise.
4965 * s-tpopsp-posix-foreign.adb: Likewise.
4966 * s-tpopsp-posix.adb: Likewise.
4967 * s-tpopsp-solaris.adb: Likewise.
4968 * s-tpopsp-vxworks.adb: Likewise.
4969 * s-tporft.adb: Likewise.
4970 * s-tposen.adb: Likewise.
4971 * s-tposen.ads: Likewise.
4972 * s-traceb.adb: Likewise.
4973 * s-traceb.ads: Likewise.
4974 * s-traces-default.adb: Likewise.
4975 * s-traces.adb: Likewise.
4976 * s-traces.ads: Likewise.
4977 * s-traent-vms.adb: Likewise.
4978 * s-traent-vms.ads: Likewise.
4979 * s-traent.adb: Likewise.
4980 * s-traent.ads: Likewise.
4981 * s-trafor-default.adb: Likewise.
4982 * s-trafor-default.ads: Likewise.
4983 * s-tratas-default.adb: Likewise.
4984 * s-tratas.adb: Likewise.
4985 * s-tratas.ads: Likewise.
4986 * s-unstyp.ads: Likewise.
4987 * s-utf_32.adb: Likewise.
4988 * s-utf_32.ads: Likewise.
4989 * s-vaflop-vms-alpha.adb: Likewise.
4990 * s-vaflop.adb: Likewise.
4991 * s-vaflop.ads: Likewise.
4992 * s-valboo.adb: Likewise.
4993 * s-valboo.ads: Likewise.
4994 * s-valcha.adb: Likewise.
4995 * s-valcha.ads: Likewise.
4996 * s-valdec.adb: Likewise.
4997 * s-valdec.ads: Likewise.
4998 * s-valenu.adb: Likewise.
4999 * s-valenu.ads: Likewise.
5000 * s-valint.adb: Likewise.
5001 * s-valint.ads: Likewise.
5002 * s-vallld.adb: Likewise.
5003 * s-vallld.ads: Likewise.
5004 * s-vallli.adb: Likewise.
5005 * s-vallli.ads: Likewise.
5006 * s-valllu.adb: Likewise.
5007 * s-valllu.ads: Likewise.
5008 * s-valrea.adb: Likewise.
5009 * s-valrea.ads: Likewise.
5010 * s-valuns.adb: Likewise.
5011 * s-valuns.ads: Likewise.
5012 * s-valuti.adb: Likewise.
5013 * s-valuti.ads: Likewise.
5014 * s-valwch.adb: Likewise.
5015 * s-valwch.ads: Likewise.
5016 * s-veboop.adb: Likewise.
5017 * s-veboop.ads: Likewise.
5018 * s-vector.ads: Likewise.
5019 * s-vercon.adb: Likewise.
5020 * s-vercon.ads: Likewise.
5021 * s-vmexta.adb: Likewise.
5022 * s-vmexta.ads: Likewise.
5023 * s-vxwext-kernel.ads: Likewise.
5024 * s-vxwext-rtp.adb: Likewise.
5025 * s-vxwext-rtp.ads: Likewise.
5026 * s-vxwext.ads: Likewise.
5027 * s-vxwork-arm.ads: Likewise.
5028 * s-vxwork-m68k.ads: Likewise.
5029 * s-vxwork-mips.ads: Likewise.
5030 * s-vxwork-ppc.ads: Likewise.
5031 * s-vxwork-sparcv9.ads: Likewise.
5032 * s-vxwork-x86.ads: Likewise.
5033 * s-wchcnv.adb: Likewise.
5034 * s-wchcnv.ads: Likewise.
5035 * s-wchcon.adb: Likewise.
5036 * s-wchcon.ads: Likewise.
5037 * s-wchjis.adb: Likewise.
5038 * s-wchjis.ads: Likewise.
5039 * s-wchstw.adb: Likewise.
5040 * s-wchstw.ads: Likewise.
5041 * s-wchwts.adb: Likewise.
5042 * s-wchwts.ads: Likewise.
5043 * s-widboo.adb: Likewise.
5044 * s-widboo.ads: Likewise.
5045 * s-widcha.adb: Likewise.
5046 * s-widcha.ads: Likewise.
5047 * s-widenu.adb: Likewise.
5048 * s-widenu.ads: Likewise.
5049 * s-widlli.adb: Likewise.
5050 * s-widlli.ads: Likewise.
5051 * s-widllu.adb: Likewise.
5052 * s-widllu.ads: Likewise.
5053 * s-widwch.adb: Likewise.
5054 * s-widwch.ads: Likewise.
5055 * s-win32.ads: Likewise.
5056 * s-winext.ads: Likewise.
5057 * s-wwdcha.adb: Likewise.
5058 * s-wwdcha.ads: Likewise.
5059 * s-wwdenu.adb: Likewise.
5060 * s-wwdenu.ads: Likewise.
5061 * s-wwdwch.adb: Likewise.
5062 * s-wwdwch.ads: Likewise.
5063 * scans.adb: Likewise.
5064 * scans.ads: Likewise.
5065 * seh_init.c: Likewise.
5066 * sfn_scan.adb: Likewise.
5067 * sinfo.adb: Likewise.
5068 * sinfo.ads: Likewise.
5069 * sinput.adb: Likewise.
5070 * sinput.ads: Likewise.
5071 * snames.adb: Likewise.
5072 * snames.ads: Likewise.
5073 * socket.c: Likewise.
5074 * stand.adb: Likewise.
5075 * stand.ads: Likewise.
5076 * stringt.adb: Likewise.
5077 * stringt.ads: Likewise.
5078 * sysdep.c: Likewise.
5079 * system-aix.ads: Likewise.
5080 * system-darwin-ppc.ads: Likewise.
5081 * system-darwin-x86.ads: Likewise.
5082 * system-darwin-x86_64.ads: Likewise.
5083 * system-freebsd-x86.ads: Likewise.
5084 * system-hpux-ia64.ads: Likewise.
5085 * system-hpux.ads: Likewise.
5086 * system-irix-n32.ads: Likewise.
5087 * system-irix-n64.ads: Likewise.
5088 * system-irix-o32.ads: Likewise.
5089 * system-linux-alpha.ads: Likewise.
5090 * system-linux-hppa.ads: Likewise.
5091 * system-linux-ia64.ads: Likewise.
5092 * system-linux-mips.ads: Likewise.
5093 * system-linux-mipsel.ads: Likewise.
5094 * system-linux-ppc.ads: Likewise.
5095 * system-linux-ppc64.ads: Likewise.
5096 * system-linux-s390.ads: Likewise.
5097 * system-linux-s390x.ads: Likewise.
5098 * system-linux-sh4.ads: Likewise.
5099 * system-linux-sparc.ads: Likewise.
5100 * system-linux-sparcv9.ads: Likewise.
5101 * system-linux-x86.ads: Likewise.
5102 * system-linux-x86_64.ads: Likewise.
5103 * system-lynxos-ppc.ads: Likewise.
5104 * system-lynxos-x86.ads: Likewise.
5105 * system-mingw-x86_64.ads: Likewise.
5106 * system-mingw.ads: Likewise.
5107 * system-rtems.ads: Likewise.
5108 * system-solaris-sparc.ads: Likewise.
5109 * system-solaris-sparcv9.ads: Likewise.
5110 * system-solaris-x86.ads: Likewise.
5111 * system-solaris-x86_64.ads: Likewise.
5112 * system-tru64.ads: Likewise.
5113 * system-vms-ia64.ads: Likewise.
5114 * system-vms-zcx.ads: Likewise.
5115 * system-vms.ads: Likewise.
5116 * system-vms_64.ads: Likewise.
5117 * system-vxworks-arm.ads: Likewise.
5118 * system-vxworks-m68k.ads: Likewise.
5119 * system-vxworks-mips.ads: Likewise.
5120 * system-vxworks-ppc.ads: Likewise.
5121 * system-vxworks-sparcv9.ads: Likewise.
5122 * system-vxworks-x86.ads: Likewise.
5123 * system.ads: Likewise.
5124 * table.adb: Likewise.
5125 * table.ads: Likewise.
5126 * targext.c: Likewise.
5127 * targparm.ads: Likewise.
5128 * tree_in.adb: Likewise.
5129 * tree_in.ads: Likewise.
5130 * tree_io.adb: Likewise.
5131 * tree_io.ads: Likewise.
5132 * types.adb: Likewise.
5133 * types.ads: Likewise.
5134 * uintp.adb: Likewise.
5135 * uintp.ads: Likewise.
5136 * uname.adb: Likewise.
5137 * uname.ads: Likewise.
5138 * urealp.adb: Likewise.
5139 * urealp.ads: Likewise.
5140 * vx_stack_info.c: Likewise.
5141 * widechar.adb: Likewise.
5142 * widechar.ads: Likewise.
5143 * exp_attr.adb: Change copyright header to refer to version
5144 3 of the GNU General Public License and to point readers at the
5145 COPYING3 file and the FSF's license web page.
5146 * sem.adb: Likewise.
5147 * sem_attr.ads: Likewise.
5148 * freeze.adb: Likewise.
5149 * freeze.ads: Likewise.
5150 * errout.ads: Likewise.
5151 * erroutc.adb: Likewise.
5152 * exp_ch11.ads: Likewise.
5153
51542009-04-09 Jakub Jelinek <jakub@redhat.com>
5155
5156 * config-lang.in: Change copyright header to refer to version
5157 3 of the GNU General Public License and to point readers at the
5158 COPYING3 file and the FSF's license web page.
5159 * gcc-interface/trans.c: Likewise.
5160 * gnathtml.pl: Likewise.
5161 * gcc-interface/ada.h: Likewise. Remove runtime exception.
5162 * gcc-interface/gigi.h: Likewise.
5163 * gcc-interface/misc.c: Likewise.
5164 * gcc-interface/targtyps.c: Likewise.
5165
dd8cfe3a
AC		 51662009-04-09 Nicolas Setton <setton@adacore.com>
5167
5168 * s-osinte-darwin.ads: Fix wrong binding to struc timeval.
5169
5170 * s-osinte-darwin.adb (To_Timeval): Adapt to fixed implementation of
5171 struct_timeval.
5172
51732009-04-09 Bob Duff <duff@adacore.com>
5174
5175 * exp_ch5.adb, exp_ch9.adb: Correct miscellaneous Slocs in
5176 internally-generated nodes related to select statements to avoid
5177 confusing the debugger.
5178
51792009-04-09 Pascal Obry <obry@adacore.com>
5180
5181 * make.adb: Ensure that all linker arguments are duplicated.
5182
59f3dd0a
AC		 51832009-04-09 Robert Dewar <dewar@adacore.com>
5184
5185 * sem_ch5.adb: Minor reformatting
5186
51872009-04-09 Vincent Celier <celier@adacore.com>
5188
5189 * vms_data.ads:
5190 Change GNAT CHECK qualifier /DIAGNOSIS_LIMIT to /DIAGNOSTIC_LIMIT
5191 New qualifier /LEXPAND_SOURCE=nnn for -gnatGnnn
5192 New qualifier /LXDEBUG=nnn for -gnatDnnn
5193 For H820-010
5194
5195 * gnat_ugn.texi:
5196 Update documentation for VMS qualifiers equivalent to -gnatGnn and
5197 -gnatDnn
5198
51992009-04-09 Nicolas Setton <setton@adacore.com>
5200
5201 * s-osinte-darwin.ads: (Pad_Type): Make this an array of unsigned_long,
5202 to match layout of siginfo_t in sys/signal.h.
5203
5204 * gcc-interface/Makefile.in: Add section for x86_64 darwin.
5205
52062009-04-09 Thomas Quinot <quinot@adacore.com>
5207
5208 * g-socket.ads: (Fd_Set): Use Interfaces.C.long alignment.
5209
52102009-04-09 Nicolas Setton <setton@adacore.com>
5211
5212 * s-oscons-tmplt.c: Allow long lines in the generated spec.
5213 Add generation of Darwin-specific constants needed when binding to the
5214 pthread library.
5215
52162009-04-09 Robert Dewar <dewar@adacore.com>
5217
5218 * checks.adb:
5219 (Insert_Valid_Check): Avoid unnecessary generation of junk declaration
5220 when no invalid values exist, Avoid duplicate read of atomic variable.
5221
5222 * cstand.adb (Build_Signed_Integer_Type): Set Is_Known_Valid
5223 (Standard_Unsigned): Set Is_Known_Valid
5224
5225 * sem_ch3.adb (Analyze_Subtype_Declaration): Copy Is_Known_Valid on
5226 subtype declaration if no constraint.
5227 (Set_Modular_Size): Set Is_Known_Valid if appropriate
5228 (Build_Derived_Numeric_Type): Copy Is_Known_Valid if no constraint
5229
f7d7bb51
AC		 52302009-04-09 Robert Dewar <dewar@adacore.com>
5231
5232 * switch-c.adb, gnat_ugn.texi, vms_data.ads, switch.adb,
5233 switch.ads: for numeric switches, an optional equal sign is always
5234 allowed.
5235
52362009-04-09 Vincent Celier <celier@adacore.com>
5237
5238 * prj-nmsc.adb (Get_Unit): Do not consider Casing on platform where
5239 the case of file names is not significant.
5240
c75c4293
AC		 52412009-04-09 Vincent Celier <celier@adacore.com>
5242
5243 * errout.adb: Remove dependency on package Style
5244
5245 * style.ads, styleg.adb, styleg.ads (RM_Column_Check): Remove function,
5246 moved to Stylesw.
5247
5248 * stylesw.ads, stylesw.adb (RM_Column_Check): New function, moved from
5249 Styleg.
5250
5251 * errutil.adb, par.adb: Import Stylesw
5252
52532009-04-09 Arnaud Charlet <charlet@adacore.com>
5254
5255 * opt.ads: Fix typos.
5256
52572009-04-09 Robert Dewar <dewar@adacore.com>
5258
5259 * einfo.adb: Minor reformatting
5260
e7aea0fa
RD		 52612009-04-09 Robert Dewar <dewar@adacore.com>
5262
5263 * gcc-interface/Make-lang.in, style.ads, style.adb: Reorganize style
5264 units.
5265
5266 * styleg-c.ads, styleg-c.adb: Removed, no longer used.
5267
1c383b4c
AC		 52682009-04-09 Robert Dewar <dewar@adacore.com>
5269
5270 * g-comver.adb: Minor reformatting.
5271
52722009-04-09 Thomas Quinot <quinot@adacore.com>
5273
5274 * lib-load.ads (Load_Unit): Update documentation.
5275
52762009-04-09 Ed Schonberg <schonberg@adacore.com>
5277
5278 * lib-load.adb (Load_Unit): When loading the parent of a child unit
5279 named in a with_clause, retain the with_clause to preserve a
5280 limited_with indication.
5281
d7ba4df4
RD		 52822009-04-09 Robert Dewar <dewar@adacore.com>
5283
5284 * sem_ch7.adb, sem_ch10.adb, sem_prag.adb, sem_ch12.adb, sem_util.adb,
5285 exp_ch13.adb, sem_ch6.adb, exp_disp.adb, sem_ch8.adb, sem_warn.adb,
5286 sem_cat.adb: Code clean up: use Is_Package_Or_Generic_Package where
5287 possible to replace an OR of two separate tests.
5288
923e6ff3
RD		 52892009-04-09 Robert Dewar <dewar@adacore.com>
5290
5291 * binderr.adb, errout.adb, errutil.adb: New circuitry for handling
5292 Maximum_Messages.
5293
5294 * erroutc.adb, erroutc.ads (Warnings_Suppressed): Now tests global
5295 warning status as well.
5296
5297 * opt.ads (Maximum_Messages): New name for Maximum_Errors.
5298
5299 * switch-b.adb, switch-c.adb: Change name Maximum_Errors to
5300 Maximum_Messages.
5301
5302 * bindusg.adb, usage.adb: Update line for -gnatm switch
5303
5304 * gnat_ugn.texi: Update documentation for -gnatmnn compiler switch and
5305 -mnn binder switch.
5306
53072009-04-09 Robert Dewar <dewar@adacore.com>
5308
5309 * sem_ch10.adb: Minor reformatting.
5310
beb50807
AC		 53112009-04-09 Bob Duff <duff@adacore.com>
5312
5313 * exp_ch11.adb (Expand_Exception_Handlers, Prepend_Call_To_Handler):
5314 Set Sloc of generated nodes for calls to Undefer_Aborts and
5315 Save_Occurrence to No_Location, so the debugger ignores them and
5316 therefore does not jump back and forth when single stepping.
5317
53182009-04-09 Robert Dewar <dewar@adacore.com>
5319
5320 * switch-b.adb: Minor reformatting.
5321
a4100e55
RD		 53222009-04-09 Robert Dewar <dewar@adacore.com>
5323
5324 * sem_aggr.adb, exp_ch5.adb, sem_ch3.adb, exp_atag.adb, layout.adb,
5325 sem_dist.adb, exp_ch7.adb, sem_ch5.adb, sem_type.adb, exp_imgv.adb,
5326 exp_util.adb, sem_aux.adb, sem_aux.ads, exp_attr.adb, exp_ch9.adb,
5327 sem_ch7.adb, inline.adb, fe.h, sem_ch9.adb, exp_code.adb, einfo.adb,
5328 einfo.ads, exp_pakd.adb, checks.adb, sem_ch12.adb, exp_smem.adb,
5329 tbuild.adb, freeze.adb, sem_util.adb, sem_res.adb, sem_attr.adb,
5330 exp_dbug.adb, sem_case.adb, exp_tss.adb, exp_ch4.adb, exp_ch6.adb,
5331 sem_smem.adb, sem_ch4.adb, sem_mech.adb, sem_ch6.adb, exp_disp.adb,
5332 sem_ch8.adb, exp_aggr.adb, sem_eval.adb, sem_cat.adb, exp_dist.adb,
5333 sem_ch13.adb, exp_strm.adb, lib-xref.adb, sem_disp.adb, exp_ch3.adb:
5334 Reorganize einfo/sem_aux, moving routines from einfo to sem_aux
5335
f17889b3
RD		 53362009-04-09 Robert Dewar <dewar@adacore.com>
5337
5338 * exp_util.adb (Silly_Boolean_Array_Xor_Test): Simplify existing code.
5339
5340 * atree.h: Add Elist26
5341
5342 * gnat_ugn.texi: Complete documentation deprecating -gnatN for non-gcc
5343 backends.
5344
b16d9747
JM		 53452009-04-09 Javier Miranda <miranda@adacore.com>
5346
5347 * exp_disp.adb (Export_DT): Addition of a new argument (Index); used to
5348 retrieve from the Dispatch_Table_Wrappers list the external name.
5349 Addition of documentation.
5350 (Make_Secondary_DT): Addition of a new argument (Suffix_Index) that is
5351 used to export secondary dispatch tables (in the previous version of
5352 the frontend only primary dispatch tables were exported). Addition of
5353 documentation.
5354 (Import_DT): New subprogram (internal of Make_Tags). Used to import a
5355 dispatch table of a given tagged type.
5356 (Make_Tags): Modified to import secondary dispatch tables.
5357
5358 * sem_ch3.adb (Analyze_Object_Declaration): Code cleanup.
5359 (Constant_Redeclaration): Code cleanup.
5360
5361 * einfo.ads (Dispatch_Table_Wrapper): Renamed to
5362 Dispatch_Table_Wrappers. Update documentation.
5363
5364 * einfo.adb (Dispatch_Table_Wrapper, Set_Dispatch_Table_Wrapper):
5365 Renamed to Dispatch_Table_Wrappers.
5366
5367 * sem_util.adb (Collect_Interface_Components): Improve handling of
5368 private types.
5369
5370 * atree.ads (Elist26, Set_Elist26): New subprograms
5371
5372 * atree.adb (Elist26, Set_Elist26): New subprograms
5373
59262ebb
AC		 53742009-04-09 Javier Miranda <miranda@adacore.com>
5375
5376 * sem_ch3.adb (Build_Derived_Record_Type): Fix typo.
5377 (Derive_Progenitor_Subprograms): Handle interfaces in subtypes of
5378 tagged types.
5379
53802009-04-09 Robert Dewar <dewar@adacore.com>
5381
5382 * s-direio.adb: Minor reformatting
5383
5384 * exp_ch4.adb (Expand_Concatenate): Avoid overflow checks for String
5385
fa969310
AC		 53862009-04-09 Robert Dewar <dewar@adacore.com>
5387
5388 * exp_ch4.adb (Expand_Concatenate): Improve handling of overflow cases
5389
53902009-04-09 Pascal Obry <obry@adacore.com>
5391
5392 * a-cihama.adb, a-cihama.ads, a-coinve.adb, a-coinve.ads,
5393 s-tpoben.adb, s-tpoben.ads, s-finimp.adb, s-finimp.ads,
5394 a-convec.adb, a-convec.ads, a-finali.adb, a-finali.ads,
5395 a-filico.ads: Add some missing overriding keywords.
5396
3c25856a
AC		 53972009-04-09 Pascal Obry <obry@adacore.com>
5398
5399 * a-cihama.adb, a-cihama.ads, a-coinve.adb, a-coorma.ads, a-cihase.adb,
5400 a-cihase.ads, a-cohama.adb, a-cohama.ads, a-coorse.adb, a-coorse.ads,
5401 a-coormu.adb, a-coormu.ads, a-cohase.adb, a-cohase.ads: Minor
5402 reformatting.
5403
54042009-04-09 Ed Schonberg <schonberg@adacore.com>
5405
5406 * sem_ch6.adb (Check_Overriding_Indicator): Do not generate warning on
5407 missing overriding indicator if the new declaration is not seen as
5408 primitive.
5409
76c597a1
AC		 54102009-04-09 Thomas Quinot <quinot@adacore.com>
5411
5412 * exp_ch4.adb (Expand_Concatenate): Add circuitry to properly handle
5413 overflows in computation of bounds.
5414
54152009-04-09 Pascal Obry <obry@adacore.com>
5416
5417 * a-cihama.adb, a-cgcaso.adb, a-cihase.adb, a-cohase.adb: Fix some
5418 typos in comment.
5419
95b89f1b
AC		 54202009-04-09 Robert Dewar <dewar@adacore.com>
5421
5422 * sem_attr.adb (Check_Stream_Attribute): Check violation of
5423 restriction No_Streams
5424
5425 * gnat_rm.texi: Clarify No_Streams restriction
5426
5427 * g-socket.adb: Minor reformatting.
5428
54292009-04-09 Thomas Quinot <quinot@adacore.com>
5430
5431 * g-socket.ads: Mark Initialize and Finalize as obsolesent interfaces.
5432
54332009-04-09 Geert Bosch <bosch@adacore.com>
5434
5435 * exp_fixd.adb (Build_Conversion): Accept new optional Trunc argument.
5436 (Set_Result): Likewise.
5437 (Expand_Convert_Float_To_Fixed): Have Set_Result truncate the
5438 conversion, as required by RM 4.6(31).
5439
3d5952be
AC		 54402009-04-08 Robert Dewar <dewar@adacore.com>
5441
5442 * checks.adb (Enable_Overflow_Check): Do not enable if overflow checks
5443 suppressed.
5444
5445 * exp_ch4.adb (Expand_Concatenate): Make sure checks are off for all
5446 resolution steps.
5447
54482009-04-08 Robert Dewar <dewar@adacore.com>
5449
5450 * sem_ch12.adb (Analyze_Package_Instantiation): Remove test for
5451 No_Local_Allocators restriction preventing local instantiation.
5452
54532009-04-08 Thomas Quinot <quinot@adacore.com>
5454
5455 * sem_eval.adb: Minor comment fix
5456
54572009-04-08 Thomas Quinot <quinot@adacore.com>
5458
5459 * g-socket.adb, g-socket.ads (GNAT.Sockets.Sockets_Library_Controller):
5460 New limited controlled type used to automate the initialization and
5461 finalization of the sockets implementation.
5462 (GNAT.Sockets.Initialize, Finalize): Make these no-ops
5463
54642009-04-08 Vincent Celier <celier@adacore.com>
5465
5466 * prj-attr.adb: New read-only project-level attribute Project_Dir
5467
5468 * prj-proc.adb (Add_Attributes): New parameter Project_Dir, value of
5469 read-only attribute of the same name.
5470 (Process_Declarative_Items): Call Add_Attributes with Project_Dir
5471 (Recursive_Process): Ditto
5472
5473 * snames.adb: Add new standard name Project_Dir
5474
5475 * snames.ads: Add new standard name Project_Dir
5476
b568955d
AC		 54772009-04-08 Thomas Quinot <quinot@adacore.com>
5478
5479 * checks.adb: Minor reformatting
5480
54812009-04-08 Vincent Celier <celier@adacore.com>
5482
5483 * vms_data.ads: Add documentation for new style keyword
5484 OVERRIDING_INDICATORS
5485
54862009-04-08 Robert Dewar <dewar@adacore.com>
5487
5488 * sem_ch3.adb (Check_Completion.Post_Error): Post error on spec if the
5489 spec is in the current unit.
5490
ed57136d
AC		 54912009-04-08 Ed Schonberg <schonberg@adacore.com>
5492
5493 * sem_util.adb (Is_Protected_Self_Reference): Add guard to check for
5494 presence of entity.
5495
5496 * usage.adb, gnat_ugn.texi: add info on -gnatyO: overriding indicators
5497
54982009-04-08 Vincent Celier <celier@adacore.com>
5499
5500 * vms_data.ads: Add VMS equivalent for -gnatyO (OVERRIDING_INDICATORS)
5501
55022009-04-08 Thomas Quinot <quinot@adacore.com>
5503
5504 * checks.ads: Minor reformatting
5505
55062009-04-08 Robert Dewar <dewar@adacore.com>
5507
5508 * gnat_rm.texi: Update documentation of pragma Obsolescent
5509
5510 * sem_prag.adb (Analyze_Pragma, case Obsolescent): Allow identifiers to
5511 be omitted, and allow Entity parameter to be omitted.
5512
ef7c5692
AC		 55132009-04-08 Thomas Quinot <quinot@adacore.com>
5514
5515 * exp_util.adb: Minor comment fix
5516
55172009-04-08 Robert Dewar <dewar@adacore.com>
5518
5519 * g-socket.ads: Fix bad syntax in pragma Obsolescent
5520
5521 * par-ch2.adb (Scan_Pragma_Argument_Association): Check for error of
5522 argument with no identifier following one that has an identifier. Was
5523 missed in some cases.
5524
5525 * sem_prag.adb (Analyze_Pragma, case Check_Policy): Allow Policy
5526 identifier.
5527 (Analyze_Pragma, case Obsolescent): Allow Message, Version identifiers
5528
5529 * snames.adb: Add Name_Policy
5530
5531 * snames.ads: Add Name_Policy
5532
0c7f5241
RD		 55332009-04-08 Robert Dewar <dewar@adacore.com>
5534
5535 * gnat_rm.texi: Minor reformatting
5536
5537 * par-ch2.adb: Minor reformatting
5538
ae8c7d87
RD		 55392009-04-08 Robert Dewar <dewar@adacore.com>
5540
5541 * exp_attr.adb, sem_attr.adb, sem_util.adb: Code clean up.
5542
ff69f95a
RD		 55432009-04-08 Robert Dewar <dewar@adacore.com>
5544
5545 * sem_cat.adb (Check_Categorization_Dependencies): Handle Preelaborate
5546 properly in the presence of Remote_Types or Remote_Call_Interface.
5547
5548 * sem_util.adb: Add comment.
5549
2db15b1d
AC		 55502009-04-08 Robert Dewar <dewar@adacore.com>
5551
5552 * ug_words: Add /ASSUME_VALID for -gnatB
5553
5554 * vms_data.ads: Add /ASSUME_VALID for -gnatB
5555
5556 * sem_cat.adb: Add clarifying commment
5557
5558 * a-direio.ads (Bytes): Make sure value is non-zero
5559
55602009-04-08 Ed Schonberg <schonberg@adacore.com>
5561
5562 * sem_util.adb (Is_Variable): If the prefix is an explicit dereference
5563 that does not come from source, check for a rewritten function call in
5564 prefixed notation before other forms of rewriting.
5565
55662009-04-08 Robert Dewar <dewar@adacore.com>
5567
5568 * Makefile.rtl: Remove s-strops and s-sopco? from the run time, since
5569 these are now obsolescent units used only for bootrapping with an
5570 older compiler.
5571
94fd3dc6
AC		 55722009-04-08 Robert Dewar <dewar@adacore.com>
5573
5574 * gnat_rm.texi: Add documentation for pragma Thread_Local_Storage
5575
5576 * sem_ch3.adb: Minor comment updates
5577
55782009-04-08 Ed Schonberg <schonberg@adacore.com>
5579
5580 * inline.adb (Back_End_Cannot_Inline): restrict warning to subprograms
5581 that come from source.
5582
40a14772
TG		 55832009-04-08 Tristan Gingold <gingold@adacore.com>
5584
cac9d8d6
EB		 5585 * gcc-interface/gigi.h (enum attr_type): Add ATTR_THREAD_LOCAL_STORAGE.
5586 * gcc-interface/decl.c (prepend_attributes): New case
5587 Pragma_Thread_Local_Storage.
5588 * gcc-interface/utils.c (process_attributes): New case
5589 ATTR_THREAD_LOCAL_STORAGE.
5590
46ff89f3
AC		 55912009-04-08 Ed Schonberg <schonberg@adacore.com>
5592
5593 * inline.adb (Back_End_Cannot_Inline): Do not mark a body as inlineable
5594 by the back-end if it contains a call to a subprogram without a
5595 previous spec that is declared in the same unit.
5596
5597 * errout.ads: Update comments on uses of dirs
5598
55992009-04-08 Robert Dewar <dewar@adacore.com>
5600
5601 * exp_ch4.adb (Expand_Concatenate): Make sure nodes are properly typed
5602
812f574f
AC		 56032009-04-08 Tristan Gingold <gingold@adacore.com>
5604
5605 * sem_prag.adb: Restrict pragma Thread_Local_Storage to library level
5606 variables.
5607 Set Has_Gigi_Rep_Item flag to TLS variables (to ease gigi work).
5608
56092009-04-08 Vincent Celier <celier@adacore.com>
5610
5611 * prj-nmsc.adb:
5612 (Add_Source): Add the mapping of the unit name to source file name in
5613 the Unit_Sources_HT hash table, if the unit name is not null.
5614
5615 * prj.adb (Reset): Reset hash table Tree.Unit_Sources_HT
5616
5617 * prj.ads (Unit_Sources_Htable): New hash table instantiation
5618 (Project_Tree_Data): New component Unit_Sources_HT
5619
4c8a5bb8
AC		 56202009-04-08 Thomas Quinot <quinot@adacore.com>
5621
5622 * sem_ch8.adb: Minor reformatting.
5623 Minor code reorganization.
5624
56252009-04-08 Robert Dewar <dewar@adacore.com>
5626
5627 * snames.h, einfo.adb, einfo.ads, sem_prag.adb, snames.adb,
5628 snames.ads, freeze.adb, par-prag.adb: Add implementation of
5629 pragma Thread_Local_Storage, setting new flag
5630 Has_Pragma_Thread_Local_Storage in corresponding entities.
5631
ecc4ddde
AC		 56322009-04-08 Emmanuel Briot <briot@adacore.com>
5633
5634 * prj.ads: Update comment on switches file
5635
5636 * prj-nmsc.adb: Code clean up. Use renaming clauses.
5637
56382009-04-08 Robert Dewar <dewar@adacore.com>
5639
5640 * exp_ch4.adb (Expand_Concatenate): Further fixes to bounds handling
5641
56422009-04-08 Thomas Quinot <quinot@adacore.com>
5643
5644 * ali-util.adb: Minor comment fix
5645
56462009-04-08 Ed Schonberg <schonberg@adacore.com>
5647
5648 * sem_ch8.adb (Analyze_Use_Type): Improve error message when clause
5649 appears in a context clause, and the enclosing package is mentioned in
5650 a limited_with_clause.
5651 (Use_One_Type): Reject clause if type is still incomplete.
5652
a29262fd
AC		 56532009-04-08 Emmanuel Briot <briot@adacore.com>
5654
5655 * prj-nmsc.adb (Check_File, Process_Sources_In_Multi_Language_Mode):
5656 avoid copies of Source_Data variables when possible, since these
5657 involve calls to memcpy() which are done too many times.
5658
56592009-04-08 Robert Dewar <dewar@adacore.com>
5660
5661 * exp_ch4.adb (Expand_Concatenate): Clean up code
5662
a2dc5812
AC		 56632009-04-07 Thomas Quinot <quinot@adacore.com>
5664
5665 * exp_ch4.adb (Expand_Concatenate): Add missing conversion to index
5666 type for the case of concatenating a constrained array indexed by an
5667 enumeration type.
5668
56692009-04-07 Ed Schonberg <schonberg@adacore.com>
5670
5671 * sem_ch6.adb (Check_Conformance): when checking conformance of an
5672 operation that overrides an abstract operation inherited from an
5673 interface, return False if only one of the controlling formals is an
5674 access parameter.
5675
56762009-04-07 Ed Schonberg <schonberg@adacore.com>
5677
5678 * sem_ch8.adb (Analyze_Object_Renaming): additional error messages
5679 mandated by AI05-105.
5680
56812009-04-07 Vincent Celier <celier@adacore.com>
5682
5683 * prj-nmsc.adb (Get_Mains): Warn if a main is an empty string
5684
56852009-04-07 Thomas Quinot <quinot@adacore.com>
5686
5687 * usage.adb: Minor fix in usage message.
5688
5689 * sem_ch10.adb (Remove_Homonyms): Fix subtype of formal in body to
5690 match declaration; the correct subtype is Node_Id, not Entity_Id,
5691 because the expected node kind is an identifier, not a defining
5692 identifier.
5693
5694 * switch-c.adb: Minor reformatting.
5695
5696 * uintp.adb: Minor reformatting.
5697
56982009-04-07 Robert Dewar <dewar@adacore.com>
5699
5700 * exp_ch13.adb: Minor reformatting
5701
0ac73189
AC		 57022009-04-07 Robert Dewar <dewar@adacore.com>
5703
5704 * sem_warn.adb (Check_Infinite_Loop_Warning.Test_Ref): Add defence
5705 against missing parent.
5706
57072009-04-07 Thomas Quinot <quinot@adacore.com>
5708
5709 * xoscons.adb: Minor reformatting
5710
57112009-04-07 Robert Dewar <dewar@adacore.com>
5712
5713 * rtsfind.ads: Remove obsolete string concatenation entries
5714
57152009-04-07 Robert Dewar <dewar@adacore.com>
5716
5717 * exp_ch4.adb (Expand_Concatenate): Redo handling of bounds
5718
57192009-04-07 Ed Schonberg <schonberg@adacore.com>
5720
5721 * sem_ch10.adb (Check_Body_Required): Handle properly imported
5722 subprograms.
5723
57242009-04-07 Gary Dismukes <dismukes@adacore.com>
5725
5726 * exp_ch13.adb (Expand_N_Attribute_Definition_Clause, case
5727 Attribute_Address): When Init_Or_Norm_Scalars is True and the object
5728 is of a scalar or string type then suppress the setting of the
5729 expression to Empty.
5730
5731 * freeze.adb (Warn_Overlay): Also emit the warnings about default
5732 initialization for the cases of scalar and string objects when
5733 Init_Or_Norm_Scalars is True.
5734
1732c156
AC		 57352009-04-07 Bob Duff <duff@adacore.com>
5736
5737 * s-secsta.ads, g-pehage.ads, s-fileio.ads: Minor comment fixes
5738
57392009-04-07 Bob Duff <duff@adacore.com>
5740
5741 * gnat_rm.texi, s-fileio.adb (System.File_IO.Open): New feature: A
5742 Form parameter of Text_Translation=No allows binary mode for Text_IO
5743 files.
5744
5745 * gnat_rm.texi: Document Form parameter Text_Translation=xxx.
5746
57472009-04-07 Javier Miranda <miranda@adacore.com>
5748
5749 * exp_ch5.adb (Expand_Assign_Array): Add implicit conversion when
5750 processing the bounds for bit packed arrays or VM target machines.
5751
f16d05d9
AC		 57522009-04-07 Thomas Quinot <quinot@adacore.com>
5753
5754 * g-sothco.ads (Int_Access): Remove extraneous access type (use
5755 anonymous access instead).
5756 (Get_Socket_From_Set): Fix incorrectly reverted formals
5757 Last and Socket to match the underlying C routine.
5758
ad1536a1 5759 * g-socket.adb, g-socket.ads
f16d05d9
AC		 5760 (Get): Use named parameter associations instead of positional ones in
5761 call go Get_Socket_From_Set, since this routine has two formals of the
5762 same type.
ad1536a1 5763 (Image): New procedure.
f16d05d9
AC		 5764
5765 * g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
5766 g-socthi-vxworks.ads, g-socthi-mingw.ads, g-socthi.adb, g-socthi.ads:
5767 (C_Ioctl, Syscall_Ioctl): use "access C.int" instead of "Int_Access"
5768 for type of Arg formal.
5769
5770 * sem_warn.adb: Minor reformatting
5771
57722009-04-07 Ed Schonberg <schonberg@adacore.com>
5773
5774 * sem_util.adb (Has_Tagged_Component): Fix typo in loop that iterates
5775 over record components.
5776
57772009-04-07 Nicolas Roche <roche@adacore.com>
5778
5779 * gsocket.h:
5780 Don't include resolvLib.h on VxWorks 6 (kernel and rtp). This library
5781 has disappeared between VxWorks 6.4 and VxWorks 6.5
5782 In RTP mode use time.h instead of times.h
5783
57842009-04-07 Robert Dewar <dewar@adacore.com>
5785
5786 * exp_ch4.adb (Expand_N_Op_Concat): Improve lower bound handling
5787
57882009-04-07 Kevin Pouget <pouget@adacore.com>
5789
5790 * exp_dist.adb: Modify Build_From_Any_Fonction procedure to correct
5791 expanded code for constrained types.
5792
57932009-04-07 Ed Schonberg <schonberg@adacore.com>
5794
5795 * sem_ch4.adb (Analyze_Overloaded_Selected_Component): implement
5796 AI05-105: in an object renaming declaration, anonymousness is a name
5797 resolution rule.
5798
5799 * sem_ch8.adb (Analyze_Object_Renaming): Ditto.
5800
58012009-04-07 Arnaud Charlet <charlet@adacore.com>
5802
5803 * g-comlin.adb (Expansion): Fix old regression: also return directory
5804 names when matching.
5805
2fc05e3d
AC		 58062009-04-07 Robert Dewar <dewar@adacore.com>
5807
5808 * exp_ch4.adb:
5809 (Expand_N_Op_Concat): Call Expand_Concatenate for all cases
5810 (Expand_Concatenate): New name for Expand_Concatenate_String which has
5811 been rewritten to handle all types.
5812 (Expand_Concatenate_Other): Remove
5813
58142009-04-07 Ed Schonberg <schonberg@adacore.com>
5815
5816 * lib-xref.adb (Generate_Reference): A default subprogram in an
5817 instance appears within the tree for the instance, but generates an
5818 implicit reference in the ALI.
5819
fdac1f80
AC		 58202009-04-07 Javier Miranda <miranda@adacore.com>
5821
5822 * sem_ch3.adb (Build_Derived_Record_Type): When processing a tagged
5823 derived type that has discriminants, propagate the list of interfaces
5824 to the corresponding new base type. In addition, propagate also
5825 attribute Limited_Present (found working in this patch).
5826
58272009-04-07 Robert Dewar <dewar@adacore.com>
5828
5829 * exp_ch4.adb: Rewrite concatenation expansion.
5830
8dbd1460
AC		 58312009-04-07 Ed Schonberg <schonberg@adacore.com>
5832
5833 * sem_ch8.adb (Restore_Scope_Stack): First_Private_Entity is only
5834 relevant to packages.
5835
58362009-04-07 Robert Dewar <dewar@adacore.com>
5837
5838 * sem_attr.adb: Minor reformatting
5839
5840 * sem_ch6.adb: Minor reformatting
5841
2ddc2000
AC		 58422009-04-07 Tristan Gingold <gingold@adacore.com>
5843
5844 * socket.c: Add more protections against S_resolvLib_ macros.
5845
58462009-04-07 Thomas Quinot <quinot@adacore.com>
5847
5848 * sem_attr.adb: Minor reformatting
5849
58502009-04-07 Ed Schonberg <schonberg@adacore.com>
5851
5852 * sem_ch6.adb (New_Overloaded_Entity): New predicate
5853 Is_Overriding_Alias to handle properly types that inherit two homonym
5854 operations that have distinct dispatch table entries.
5855
06a16f58
AC		 58562009-04-07 Emmanuel Briot <briot@adacore.com>
5857
5858 * s-regexp.adb (Create_Mapping): Ignore excaped open parenthesis when
5859 looking for the end of a parenthesis group
5860
58612009-04-07 Tristan Gingold <gingold@adacore.com>
5862
5863 * gsocket.h Don't #include resolvLib.h if __RTP__ is defined.
5864
5865 * socket.c Don't use resolvLib_ macros if not defined.
5866
df46b832
AC		 58672009-04-07 Robert Dewar <dewar@adacore.com>
5868
5869 * g-socket.adb: Minor reformatting.
5870
5871 * g-socthi-mingw.adb: Minor reformatting
5872
5873 * g-sothco.ads: Minor reformatting
5874
5875 * exp_ch4.adb:
5876 (Expand_Concatenate_String): Complete rewrite to generate efficient code
5877 inline instead of relying on external library routines.
5878
5879 * s-strops.ads, s-sopco5.ads, s-sopco5.adb, s-sopco4.ads, s-sopco4.adb,
5880 s-sopco3.ads, s-sopco3.adb, s-strops.adb: Note that this unit is now
5881 obsolescent
5882
58832009-04-07 Ed Schonberg <schonberg@adacore.com>
5884
5885 * sem_attr.adb:
5886 (Eval_Attribute): for attributes of array objects that are not strings,
5887 attributes are not static if nominal subtype of object is unconstrained.
5888
58892009-04-07 Ed Schonberg <schonberg@adacore.com>
5890
5891 * sem_ch6.adb (New_Overloaded_Entity): If two implicit homonym
5892 operations for a type T in an instance do not override each other,
5893 when T is derived from a formal private type, the corresponding
5894 operations inherited by a type derived from T outside
5895 of the instance do not override each other either.
5896
3dd9959c
AC		 58972009-04-07 Robert Dewar <dewar@adacore.com>
5898
5899 (Osint.Fail): Change calling sequence to have one string arg
5900 (Make.Make_Failed): Same change
5901 All callers are adjusted to use concatenation
5902
59032009-04-07 Robert Dewar <dewar@adacore.com>
5904
5905 * exp_ch4.adb: Fix documentation typo
5906
59072009-04-07 Robert Dewar <dewar@adacore.com>
5908
5909 * tbuild.ads: Minor reformatting
5910
59112009-04-07 Javier Miranda <miranda@adacore.com>
5912
5913 * exp_disp.adb (Make_DT): Avoid the generation of the OSD_Table
5914 when compiling under ZFP runtime.
5915
59162009-04-07 Robert Dewar <dewar@adacore.com>
5917
5918 * g-comlin.adb: Minor reformatting
5919
59202009-04-07 Thomas Quinot <quinot@adacore.com>
5921
5922 * socket.c, g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
5923 g-socthi-vxworks.ads, g-socthi-mingw.adb, g-socthi-mingw.ads,
5924 g-socthi.adb, g-socthi.ads, g-socket.adb, g-socket.ads, g-sothco.ads:
5925 Remove dynamic allocation of Fd_Set in Socket_Set_Type objects.
5926
dcd8728b
RD		 59272009-04-07 Robert Dewar <dewar@adacore.com>
5928
5929 * gnat_ugn.texi: Document -gnatDnn/-gnatGnn
5930
5931 * opt.ads (Sprint_Line_Limit): New parameter
5932
5933 * sprint.adb: Usa Sprint_Line_Limit instead of Line_Limit throughout
5934
5935 * switch-c.adb: Recognize -gnatDnnn and -gnatGnnn switches
5936
5937 * usage.adb: Output information for -gnatGnn -gnatDnn
5938
59392009-04-07 Robert Dewar <dewar@adacore.com>
5940
5941 * make.adb: Minor reformatting
5942
59432009-04-07 Robert Dewar <dewar@adacore.com>
5944
5945 * mlib-tgt-specific-vms-alpha.adb: Minor reformatting
5946
59472009-04-07 Robert Dewar <dewar@adacore.com>
5948
5949 * mlib-tgt-specific-vms-ia64.adb: Minor reformatting
5950
c27f2f15
RD		 59512009-04-07 Robert Dewar <dewar@adacore.com>
5952
5953 * checks.adb:
5954 Remove Assume_Valid parameter from In_Subrange_Of calls
5955
5956 * sem_eval.adb:
5957 (Is_Subrange_Of): Remove Assume_Valid parameter, not needed
5958 (Is_In_Range): Remove incorrect use of Assume_Valid
5959 (Is_Out_Of_Range): Remove incorrect use of Assume_Valid
5960
5961 * sem_eval.ads:
5962 (Is_Subrange_Of): Remove Assume_Valid parameter, not needed
5963 (Is_In_Range): Documentation cleanup
5964 (Is_Out_Of_Range): Documentation cleanup
5965
5966 * gnat_rm.texi:
5967 Add documentation for Assume_No_Invalid_Values pragma
5968
5969 * sem_ch12.adb: Minor reformatting
5970
5971 * sem_ch6.adb: (Check_Conformance): Avoid cascaded errors
5972
5973 * sem_prag.adb: Improve error message.
5974
5975 * gnatchop.adb, osint.ads, sinput.adb, sinput.ads, styleg.adb:
5976 LF/CR no longer recognized as line terminator
5977
5978 * switch.ads: Minor documentation improvement
5979
5980 * vms_data.ads: Minor reformatting
5981
c800f862
RD		 59822009-04-07 Robert Dewar <dewar@adacore.com>
5983
5984 * checks.adb (Determine_Range): Add Assume_Valid parameter
5985
5986 * checks.ads (Determine_Range): Add Assume_Valid parameter
5987
5988 * errout.adb (Error_Msg_NEL): Use Suppress_Loop_Warnings rather than
5989 Is_Null_Loop to suppress warnings in a loop body.
5990
5991 * exp_ch4.adb:
5992 (Rewrite_Comparison): Major rewrite to accomodate invalid values
5993
5994 * exp_ch5.adb:
5995 (Expand_N_Loop_Statement): Delete loop known not to execute
5996
5997 * opt.ads:
5998 (Assume_No_Invalid_Values): Now set to False, and as documented, this
5999 fully enables the proper handling of invalid values.
6000
6001 * sem_attr.adb:
6002 New calling sequence for Is_In_Range
6003
6004 * sem_ch5.adb:
6005 (Analyze_Iteration_Scheme): Accomodate possible invalid values
6006 in determining if a loop range is null.
6007
6008 * sem_eval.adb:
6009 (Is_In_Range): Add Assume_Valid parameter
6010 (Is_Out_Of_Range): Add Assume_Valid_Parameter
6011 (Compile_Time_Compare): Major rewrite to accomodate invalid values and
6012 also to do more accurate and complete range analysis, catching more
6013 cases.
6014
6015 * sem_eval.ads:
6016 (Is_In_Range): Add Assume_Valid parameter
6017 (Is_Out_Of_Range): Add Assume_Valid_Parameter
6018
6019 * sem_util.adb:
6020 New calling sequence for Is_In_Range
6021
6022 * sinfo.adb:
6023 (Suppress_Loop_Warnings): New flag
6024
6025 * sinfo.ads:
6026 (Is_Null_Loop): Update documentation
6027 (Suppress_Loop_Warnings): New flag
6028
6029 * gnat_ugn.texi: Document -gnatB switch
6030
9d00840d
AC		 60312009-04-07 Arnaud Charlet <charlet@adacore.com>
6032
6033 * gnatvsn.ads: Bump version number.
6034
5f143024
AC		 60352009-04-07 Thomas Quinot <quinot@adacore.com>
6036
6037 * exp_ch3.adb: Minor rewording (comments)
6038
60392009-04-07 Robert Dewar <dewar@adacore.com>
6040
6041 * exp_disp.adb: Minor reformatting
6042
d5859bf4
EB		 60432009-04-07 Eric Botcazou <ebotcazou@adacore.com>
6044
6045 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Test the
6046 underlying type.
6047 * gcc-interface/trans.c (lvalue_required_p): Likewise.
6048
c86f07f6
EB		 60492009-04-07 Eric Botcazou <ebotcazou@adacore.com>
6050
6051 * gcc-interface/trans.c (Attribute_to_gnu) <Max_Size_In_Storage_Elmts>:
6052 Do not convert the result. Remove obsolete comment.
6053
2d5be6c1
EB		 60542009-04-07 Eric Botcazou <ebotcazou@adacore.com>
6055
6056 * gcc-interface/trans.c (establish_gnat_vms_condition_handler): Clear
6057 DECL_CONTEXT.
6058 (Subprogram_Body_to_gnu): Fix pasto.
6059
10069d53
EB		 60602009-04-07 Eric Botcazou <ebotcazou@adacore.com>
6061
6062 * gcc-interface/gigi.h (standard_datatypes): Remove ADT_void_type_decl.
6063 (void_type_decl_node): Remove.
6064 (init_gigi_decls): Likewise.
6065 (gnat_install_builtins): Declare.
6066 (record_builtin_type): Likewise.
6067 (create_type_stub_decl): Likewise.
6068 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Void>: Use void_type.
6069 (gnat_to_gnu_entity) <E_Array_Type>: Make fat and thin pointer types
6070 artificial.
6071 <E_Array_Subtype>: Use the index types, not only their name, in the
6072 record giving the names of the bounds, if any.
6073 For a packed array type, make it artificial only if the base type
6074 was artificial as well. Remove redundant statement.
6075 (gnat_to_gnu_entity) <E_Incomplete_Type>: Do not create TYPE_DECL for
6076 dummy types.
6077 Use create_type_stub_decl to build the TYPE_STUB_DECL of types.
6078 (rest_of_type_decl_compilation_no_defer): Likewise.
6079 * gcc-interface/misc.c (gnat_printable_name): Add missing guard.
6080 * gcc-interface/utils.c (make_dummy_type): Always create TYPE_STUB_DECL
6081 and use create_type_stub_decl to build it.
6082 (gnat_pushdecl): Rewrite condition.
6083 (gnat_install_builtins): Remove bogus declaration.
6084 (record_builtin_type): New function.
6085 (finish_record_type): Use create_type_stub_decl to build TYPE_STUB_DECL
6086 of types.
6087 (create_type_stub_decl): New function.
6088 (create_type_decl): Assert that the type is not dummy. If the type
6089 hasn't been named yet, equate the TYPE_STUB_DECL to the created node.
6090 (build_vms_descriptor32): Do not create TYPE_DECL for the descriptor.
6091 (build_vms_descriptor): Likewise.
6092 (init_gigi_decls): Delete and move bulk of code to...
6093 * gcc-interface/trans.c (gigi): ...here. Use record_builtin_type.
6094 (emit_range_check): Add gnat_node parameter.
6095 (emit_index_check): Likewise.
6096 (emit_check): Likewise.
6097 (build_unary_op_trapv): Likewise.
6098 (build_binary_op_trapv): Likewise.
6099 (convert_with_check): Likewise.
6100 (Attribute_to_gnu): Adjust calls for above changes.
6101 (call_to_gnu): Likewise.
6102 (gnat_to_gnu): Likewise.
6103 (assoc_to_constructor): Likewise.
6104 (pos_to_constructor): Likewise.
6105 (Sloc_to_locus): Set BUILTINS_LOCATION for Standard_Location nodes.
6106 (process_type): Do not create TYPE_DECL for dummy types.
6107
229077b0
EB		 61082009-04-07 Eric Botcazou <ebotcazou@adacore.com>
6109
1e17ef87
EB		 6110 * gcc-interface/decl.c (gnat_to_gnu_entity): Reorder local variables.
6111 * gcc-interface/trans.c: Fix formatting throughout. Fix comments.
6112 * gcc-interface/utils.c: Fix comments.
6113
61142009-04-07 Eric Botcazou <ebotcazou@adacore.com>
6115
6116 * gcc-interface/decl.c (compile_time_known_address_p): Rewrite and
6117 move around.
229077b0
EB		 6118 (gnat_to_gnu_type): Move around.
6119 (get_unpadded_type): Likewise.
1e17ef87
EB		 6120 * gcc-interface/utils.c (update_pointer_to): Use synthetic macro.
6121 Tidy comments.
229077b0 6122
aa1aa786
EB		 61232009-04-07 Eric Botcazou <ebotcazou@adacore.com>
6124
6125 * gcc-interface/trans.c (check_for_eliminated_entity): New function.
6126 (Attribute_to_gnu): Invoke it for Access- and Address-like attributes.
6127 (call_to_gnu): Invoke it instead of manually checking.
6128
63787194
EB		 61292009-04-04 Eric Botcazou <ebotcazou@adacore.com>
6130
6131 * gcc-interface/utils.c (finish_record_type): Force structural equality
6132 checks if the record type is discriminated.
6133
d236ace7
EB		 61342009-03-31 Eric Botcazou <ebotcazou@adacore.com>
6135
6136 * system-linux-alpha.ads (Functions_Return_By_DSP): Remove.
6137 * system-linux-mips.ads (Functions_Return_By_DSP): Likewise.
6138 * system-linux-mipsel.ads (Functions_Return_By_DSP): Likewise.
6139 * system-linux-s390.ads (Functions_Return_By_DSP): Likewise.
6140 * system-linux-s390x.ads (Functions_Return_By_DSP): Likewise.
6141 * system-linux-sparc.ads (Functions_Return_By_DSP): Likewise.
6142 * system-linux-sparcv9.ads (Functions_Return_By_DSP): Likewise.
6143
bd9f68e0
PB		 61442009-03-30 Paolo Bonzini <bonzini@gnu.org>
6145
d7be99f1
EB		 6146 * gcc-interface/decl.c (maybe_pad_type): Use TREE_OVERFLOW instead
6147 of TREE_CONSTANT_OVERFLOW.
bd9f68e0 6148
8ce94e44
JM		 61492009-03-30 Joseph Myers <joseph@codesourcery.com>
6150
6151 PR rtl-optimization/323
6152 * gcc-interface/misc.c (gnat_post_options): Set
6153 flag_excess_precision_cmdline. Give an error for
6154 -fexcess-precision=standard for processors where the option is
6155 significant.
6156
d9223014
L		 61572009-03-27 H.J. Lu <hongjiu.lu@intel.com>
6158
6159 PR c/39323
6160 * gcc-interface/utils.c (create_field_decl): Use "unsigned int"
6161 on bit_align.
6162
76761bbd
OH		 61632009-03-11 Olivier Hainque <hainque@adacore.com>
6164
6165 * gcc-interface/trans.c (gnat_to_gnu) <case N_Slice>: In range
6166 checks processing, remove unintended TREE_TYPE walk on index type.
6167
39ae51e0
EB		 61682009-03-01 Eric Botcazou <ebotcazou@adacore.com>
6169
6170 PR ada/39264
6171 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Do no
6172 call make_packable_type on fat pointer types.
6173 <E_Array_Subtype>: Likewise.
6174 <E_Record_Subtype>: Call make_packable_type on all record types
6175 except for fat pointer types.
6176 (make_packable_type): Likewise.
6177 (gnat_to_gnu_field): Likewise.
6178
7d01864f
EB		 61792009-02-28 Eric Botcazou <ebotcazou@adacore.com>
6180
6181 * gcc-interface/Makefile.in (cygwin/mingw): Revert accidental
67901d32 6182 EH_MECHANISM change made on 2007-12-06.
7d01864f 6183
a760c977
AS		 61842009-02-26 Andreas Schwab <schwab@suse.de>
6185
4c354194 6186 PR ada/39172
a760c977 6187 * Makefile.in (srcdir): Set to @top_srcdir@ instead of @srcdir@.
a760c977
AS		 6188 * gcc-interface/Makefile.in: Change all uses of $(srcdir),
6189 $(fsrcdir) and $(fsrcpfx) to add ada subdir.
6190 (AWK): Substitute.
6191 (target_cpu_default): Substitute.
6192
054efbba
LG		 61932009-02-25 Laurent GUERBY <laurent@guerby.net>
6194
975a4fd6 6195 PR ada/39221
a760c977
AS		 6196 * a-teioed.adb (Expand): Fix Result overflow.
6197
2692d7f5
LG		 61982009-02-25 Laurent GUERBY <laurent@guerby.net>
6199
a760c977
AS		 6200 * gcc-interface/Makefile.in: Fix multilib handling for
6201 sparc64-linux.
6202
ea675ec3
RO		 62032009-02-23 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>
6204
6205 * s-oscons-tmplt.c [__osf__ && !_SS_MAXSIZE]: Undef AF_UNIX6.
6206
e98c0739
L		 62072009-02-18 H.J. Lu <hongjiu.lu@intel.com>
6208
6209 * gcc-interface/misc.c (gnat_post_options): Turn off warn_psabi.
6210
70f5fc7c
EB		 62112009-02-16 Eric Botcazou <ebotcazou@adacore.com>
6212
6213 * gcc-interface/deftarg.c: Remove.
6214
794511d2 62152009-02-10 Olivier Hainque <hainque@adacore.com>
e98c0739 6216 Eric Botcazou <ebotcazou@adacore.com>
794511d2
EB		 6217
6218 * gcc-interface/decl.c (enum alias_set_op): New enumeration.
6219 (copy_alias_set): Rename into...
6220 (relate_alias_sets): ...this. Add third parameter OP. Retrieve the
6221 underlying array of unconstrained arrays for the new type as well.
6222 If the old and new alias sets don't conflict, make one a subset of
6223 the other as per the OP parameter.
6224 (gnat_to_gnu_entity): Adjust calls to copy_alias_set.
6225 <E_Record_Type>: Do not copy the alias set for derived types.
6226 For all types, make the alias set of derived types a superset of
6227 that of their parent type.
6228 (make_aligning_type): Adjust calls to copy_alias_set.
6229 (make_packable_type): Likewise.
6230 * gcc-interface/trans.c (gnat_to_gnu)<N_Validate_Unchecked_Conversion>:
6231 Check for alias set conflict instead of strict equality to issue the
6232 warning.
6233
c3734896
EB		 62342009-02-09 Eric Botcazou <ebotcazou@adacore.com>
6235
6236 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_String_Literal_Subtype>:
6237 Set TYPE_NONALIASED_COMPONENT on the array type only if appropriate.
6238 (copy_alias_set): Assert that arrays have the same aliasing settings.
6239 (substitute_in_type) <ARRAY_TYPE>: Copy TYPE_NONALIASED_COMPONENT.
6240
9a58d4d2
EB		 62412009-02-08 Eric Botcazou <ebotcazou@adacore.com>
6242
6243 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_String_Literal_Subtype>:
6244 Set TYPE_NONALIASED_COMPONENT on the array type.
6245
d0ec4c99
LG		 62462009-01-31 Laurent GUERBY <laurent@guerby.net>
6247
6248 * gcc-interface/Makefile.in: Fix mipsel linux handling.
a760c977 6249
4dcb8fd1
JJ		 62502009-01-16 Jakub Jelinek <jakub@redhat.com>
6251
6252 * gcc-interface/Makefile.in: Fix multilib handling for
6253 powerpc64-linux.
6254
3b9c1abd
EB		 62552009-01-12 Eric Botcazou <ebotcazou@adacore.com>
6256
6257 * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Really strip
6258 only useless conversions around renamed objects.
6259
13318d2f
EB		 62602009-01-11 Eric Botcazou <ebotcazou@adacore.com>
6261
6262 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Subtype>: Put
6263 the _Tag field before any discriminants in the field list.
6264 (components_to_record): Remove obsolete comment.
6265
ad41bd84
JM		 6266
6267\f
8ff1dd83 6268Copyright (C) 2009 Free Software Foundation, Inc.
ad41bd84
JM		 6269
6270Copying and distribution of this file, with or without modification,
6271are permitted in any medium without royalty provided the copyright
6272notice and this notice are preserved.
GNU Compiler Collection
This page took 0.967849 seconds and 5 git commands to generate.