OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [ada/] [ChangeLog-2001] - Blame information for rev 750

Go to most recent revision | Details | Compare with Previous | View Log

Line No. Rev Author Line
1 706 jeremybenn
2001-12-23  Richard Henderson  
2
 
3
        * utils.c (end_subprog_body): Push GC context around
4
        rest_of_compilation for nested functions.
5
 
6
2001-12-23  Richard Henderson  
7
 
8
        * 5nosinte.ads: Get definition of "int" from Interfaces.C.
9
 
10
2001-12-23  Florian Weimer  
11
 
12
        * gnat-style.texi (Declarations and Types): Remove ancient style
13
        rule which was mandated by code generation issues.
14
 
15
        * gnat-style.texi (header): Add @dircategory, @direntry.
16
        (title page): Remove date.
17
        (general) Add @./@: where approriate, and two spaces after the
18
        full stop at the end of a sentence.  Use @samp markup when
19
        referring concrete lexical entities (keywords, attribute names
20
        etc.), and @syntax for ARM grammar elements. Use @r for English
21
        text in comments.  Use @emph for emphasis.  Change "if-statements"
22
        etc. to "if statements" (without @samp). Break long lines.  Make
23
        casing of section names consistent.
24
        (Identifiers): Use @samp markup for variable names.
25
        (Comments): Use @samp markup for comment characters. Line-end
26
        comments may follow any Ada code, not just statements.  Fix
27
        misspelling of "Integer" as "integer".
28
        (Loop statements): Do not use variable name "I", use "J".
29
        (Subprogram Declarations): Document alignment.
30
        (Subprogram Bodies, Block statements): Document empty line before
31
        "begin".
32
 
33
2001-12-22  Florian Weimer  
34
 
35
        * make.adb (Add_Switch): Make Generic_Position a procedure.  The
36
        function approach did not work well because of a side effect (the
37
        function call could reallocate the table which was being indexed
38
        using its result). Fixes ada/4851.
39
 
40
2001-12-19  Robert Dewar  
41
 
42
        * bindgen.adb: Minor reformatting
43
 
44
        * cstand.adb: Minor reformatting
45
 
46
        * fmap.adb: Minor reformatting
47
        Change name from Add for Add_To_File_Map (Add is much too generic)
48
        Change Path_Name_Of to Mapped_Path_Name
49
        Change File_Name_Of to Mapped_File_Name
50
        Fix copyright dates in header
51
 
52
        * fmap.ads:
53
        Change name from Add for Add_To_File_Map (Add is much too generic)
54
        Change Path_Name_Of to Mapped_Path_Name
55
        Change File_Name_Of to Mapped_File_Name
56
        Fix copyright dates in header
57
 
58
        * fname-uf.adb: Minor reformatting.  New names of stuff in Fmap.
59
        Add use clause for Fmap.
60
 
61
        * make.adb: Minor reformatting
62
 
63
        * osint.adb: Minor reformatting.  Change of names in Fmap.
64
        Add use clause for Fmap.
65
 
66
        * prj-env.adb: Minor reformatting
67
 
68
        * prj-env.ads: Minor reformatting
69
 
70
        * switch.adb: Minor reformatting.  Do proper raise of Bad_Switch if
71
        error found (there were odd exceptions to this general rule in
72
        -gnatec/-gnatem processing)
73
 
74
2001-12-19  Olivier Hainque  
75
 
76
        * raise.c (__gnat_eh_personality): Exception handling personality
77
        routine for Ada.  Still in rough state, inspired from the C++ version
78
        and still containing a bunch of debugging artifacts.
79
        (parse_lsda_header, get_ttype_entry): Local (static) helpers, also
80
        inspired from the C++ library.
81
 
82
        * raise.c (eh_personality): Add comments. Part of work for the GCC 3
83
        exception handling integration.
84
 
85
2001-12-19  Arnaud Charlet  
86
 
87
        * Makefile.in: Remove use of 5smastop.adb which is obsolete.
88
        (HIE_SOURCES): Add s-secsta.ad{s,b}.
89
        (HIE_OBJS): Add s-fat*.o
90
        (RAVEN_SOURCES): Remove files that are no longer required. Add
91
        interrupt handling files.
92
        (RAVEN_MOD): Removed, no longer needed.
93
 
94
2001-12-19  Robert Dewar  
95
 
96
        * a-ngelfu.adb: Remove ??? comment for inappropriate Inline_Always
97
        Add 2001 to copyright date
98
 
99
        * g-regpat.adb: Change pragma Inline_Always to Inline. There is no
100
        need to force universal inlining for these cases.
101
 
102
2001-12-19  Arnaud Charlet  
103
 
104
        * s-taprob.adb: Minor clean ups so that this unit can be used in
105
        Ravenscar HI.
106
 
107
        * exp_ch7.adb: Allow use of secondary stack in HI mode.
108
        Disallow it when pragma Restrictions (No_Secondary_Stack) is specified.
109
 
110
2001-12-19  Vincent Celier  
111
 
112
        * prj-tree.ads (Project_Node_Record): Add comments for components
113
        Pkg_Id and Case_Insensitive.
114
 
115
2001-12-19  Pascal Obry  
116
 
117
        * g-socket.adb: Minor reformatting. Found while reading code.
118
 
119
2001-12-19  Robert Dewar  
120
 
121
        * prj-tree.ads: Minor reformatting
122
 
123
2001-12-20  Joseph S. Myers  
124
 
125
        * config-lang.in (diff_excludes): Remove.
126
 
127
2001-12-17  Ed Schonberg  
128
 
129
        * sem_res.adb (Resolve_Selected_Component): do not generate a
130
        discriminant check if the selected component is a component of
131
        the argument of an initialization procedure.
132
 
133
        * trans.c (tree_transform, case of arithmetic operators): If result
134
        type is private, the gnu_type is the base type of the full view,
135
        given that the full view itself may be a subtype.
136
 
137
2001-12-17  Robert Dewar  
138
 
139
        * sem_res.adb: Minor reformatting
140
 
141
        * trans.c (tree_transform, case N_Real_Literal): Add missing third
142
        parameter in call to Machine (unknown horrible effects from this
143
        omission).
144
 
145
        * urealp.h: Add definition of Round_Even for call to Machine
146
        Add third parameter for Machine
147
 
148
2001-12-17  Ed Schonberg  
149
 
150
        * sem_warn.adb (Check_One_Unit): Suppress warnings completely on
151
        predefined units in No_Run_Time mode.
152
 
153
2001-12-17  Richard Kenner  
154
 
155
        * misc.c (insn-codes.h): Now include.
156
 
157
2001-12-17  Olivier Hainque  
158
 
159
        * a-except.adb: Preparation work for future integration of the GCC 3
160
        exception handling mechanism
161
        (Notify_Handled_Exception, Notify_Unhandled_Exception): New routines
162
        to factorize previous code sequences and make them externally callable,
163
        e.g. for the Ada personality routine when the GCC 3 mechanism is used.
164
        (Propagate_Exception, Raise_Current_Excep, Raise_From_Signal_Handler):
165
        Use the new notification routines.
166
 
167
2001-12-17  Emmanuel Briot  
168
 
169
        * prj-tree.ads (First_Choice_Of): Document the when others case
170
 
171
2001-12-17  Arnaud Charlet  
172
 
173
        * bindgen.adb (Gen_Ada_Init_*): Set priority of environment task in
174
        HI-E mode, in order to support Ravenscar profile properly.
175
 
176
        * cstand.adb (Create_Standard): Duration is a 32 bit type in HI-E
177
        mode on 32 bits targets.
178
 
179
2001-12-17  Vincent Celier  
180
 
181
        * fmap.adb: Initial version.
182
 
183
        * fmap.ads: Initial version.
184
 
185
        * fname-uf.adb (Get_File_Name): Use mapping if unit name mapped.
186
        If search is successfully done, add to mapping.
187
 
188
        * frontend.adb: Initialize the mapping if a -gnatem switch was used.
189
 
190
        * make.adb:
191
        (Gnatmake): Add new local variable Mapping_File_Name.
192
         Create mapping file when using project file(s).
193
         Delete mapping file before exiting.
194
 
195
        * opt.ads (Mapping_File_Name): New variable
196
 
197
        * osint.adb (Find_File): Use path name found in mapping, if any.
198
 
199
        * prj-env.adb (Create_Mapping_File): New procedure
200
 
201
        * prj-env.ads (Create_Mapping_File): New procedure.
202
 
203
        * switch.adb (Scan_Front_End_Switches): Add processing for -gnatem
204
        (Mapping_File)
205
 
206
        * usage.adb: Add entry for new switch -gnatem.
207
 
208
        * Makefile.in: Add dependencies for fmap.o.
209
 
210
2001-12-17  Ed Schonberg  
211
 
212
        * sem_ch10.adb (Analyze_With_Clause): Retrieve proper entity when unit
213
        is a package instantiation rewritten as a package body.
214
        (Install_Withed_Unit): Undo previous change, now redundant.
215
 
216
2001-12-17  Gary Dismuke  
217
 
218
        * layout.adb:
219
        (Compute_Length): Move conversion to Unsigned to callers.
220
        (Get_Max_Size): Convert Len expression to Unsigned after calls to
221
        Compute_Length and Determine_Range.
222
        (Layout_Array_Type): Convert Len expression to Unsigned after calls to
223
        Compute_Length and Determine_Range.
224
        Above changes fix problem with length computation for supernull arrays
225
        where Max (Len, 0) wasn't getting applied due to the Unsigned
226
        conversion used by Compute_Length.
227
 
228
2001-12-17  Arnaud Charlet  
229
 
230
        * rtsfind.ads:
231
        (OK_To_Use_In_No_Run_Time_Mode): Allow Ada.Exceptions and
232
         System.Secondary_Stack.
233
        (OK_To_Use_In_Ravenscar_Mode): New table needed to implement Ravenscar
234
         in HI-E mode.
235
        Remove unused entity RE_Exception_Data.
236
 
237
        * rtsfind.adb (RTE): Allow Ravenscar Profile in HI mode.
238
 
239
        * rident.ads (No_Secondary_Stack): New restriction.
240
 
241
2001-12-17  Joel Brobecker  
242
 
243
        * gnat_rm.texi: Fix minor typos. Found while reading the section
244
        regarding "Bit_Order Clauses" that was sent to a customer.
245
        Very interesting documentation!
246
 
247
2001-12-17  Robert Dewar  
248
 
249
        * sem_case.adb (Choice_Image): Avoid creating improper character
250
        literal names by using the routine Set_Character_Literal_Name. This
251
        fixes bombs in certain error message cases.
252
 
253
2001-12-17  Arnaud Charlet  
254
 
255
        * a-reatim.adb: Minor reformatting.
256
 
257
2001-12-17  Ed Schonberg  
258
 
259
        * sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly the
260
        case where the formal is an extension of another formal in the current
261
        unit or in a parent generic unit.
262
 
263
2001-12-17  Arnaud Charlet  
264
 
265
        * s-tposen.adb: Update comments.  Minor reformatting.
266
        Minor code clean up.
267
 
268
        * s-tarest.adb: Update comments.  Minor code reorganization.
269
 
270
2001-12-17  Gary Dismukes  
271
 
272
        * exp_attr.adb (Attribute_Tag): Suppress expansion of 'Tag
273
        when Java_VM.
274
 
275
2001-12-17  Robert Dewa  
276
 
277
        * exp_attr.adb: Minor reformatting
278
 
279
2001-12-17  Ed Schonberg  
280
 
281
        * sem_ch3.adb (Build_Derived_Private_Type): Refine check to handle
282
        derivations nested within a child unit: verify that the parent
283
        type is declared in an outer scope.
284
 
285
2001-12-17  Robert Dewar  
286
 
287
        * sem_ch12.adb: Minor reformatting
288
 
289
2001-12-17  Ed Schonberg  
290
 
291
        * sem_warn.adb (Check_One_Unit): In No_Run_Time mode, do not post
292
        warning if current unit is a predefined one, from which bodies may
293
        have been deleted.
294
 
295
2001-12-17  Robert Dewar  
296
 
297
        * eval_fat.ads: Add comment that Round_Even is referenced in Ada code
298
        Fix header format. Add 2001 to copyright date.
299
 
300
        * exp_dbug.adb (Get_Encoded_Name): Fix out of bounds reference,
301
        which caused CE during compilation if checks were enabled.
302
 
303
2001-12-17  Vincent Celier  
304
 
305
        * make.adb:
306
        (Switches_Of): New function
307
        (Test_If_Relative_Path): New procedure
308
        (Add_Switches): Use new function Switches_Of
309
        (Collect_Arguments_And_Compile): Use new function Switches_Of.
310
        When using a project file, test if there are any relative
311
        search path. Fail if there are any.
312
        (Gnatmake): Only add switches for the primary directory when not using
313
        a project file. When using a project file, change directory to the
314
        object directory of the main project file. When using a project file,
315
        test if there are any relative search path. Fail if there are any.
316
        When using a project file, fail if specified executable is relative
317
        path with directory information, and prepend executable, if not
318
        specified as an absolute path, with the exec directory.  Make sure
319
        that only one -o switch is transmitted to the linker.
320
 
321
        * prj-attr.adb (Initialization_Data): Add project attribute Exec_Dir
322
 
323
        * prj-nmsc.adb:
324
        (Ada_Check): Get Spec_Suffix_Loc and Impl_Suffix_Loc,
325
        when using a non standard naming scheme.
326
        (Check_Ada_Naming_Scheme): Make sure that error messages
327
        do not raise exceptions.
328
        (Is_Illegal_Append): Return True if there is no dot in the suffix.
329
        (Language_Independent_Check): Check the exec directory.
330
 
331
        * prj.adb (Project_Empty): Add new component Exec_Directory
332
 
333
        * prj.ads:
334
        (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Add defaults.
335
        (Project_Data): Add component Exec_Directory
336
 
337
        * snames.adb: Updated to match snames.ads revision 1.215
338
 
339
        * snames.ads: Added Exec_Dir
340
 
341
2001-12-17  Robert Dewar  
342
 
343
        * make.adb: Minor reformatting
344
 
345
        * prj-nmsc.adb: Minor reformatting
346
 
347
        * snames.adb: Updated to match snames.ads
348
 
349
        * snames.ads: Alphebetize entries for project file
350
 
351
2001-12-17  Ed Schonberg  
352
 
353
        * trans.c (process_freeze_entity): Do nothing if the entity is a
354
        subprogram that was already elaborated.
355
 
356
2001-12-17  Richard Kenner  
357
 
358
        * decl.c (gnat_to_gnu_entity, object): Do not back-annotate Alignment
359
        and Esize if object is referenced via pointer.
360
 
361
2001-12-17  Ed Schonberg  
362
 
363
        * sem_ch3.adb (Analyze_Variant_Part): check that type of discriminant
364
        is discrete before analyzing choices.
365
 
366
2001-12-17  Joel Brobecker  
367
 
368
        * bindgen.adb (Gen_Output_File_Ada): Generate a new C-like string
369
        containing the name of the Ada Main Program. This string is mainly
370
        intended for the debugger.
371
        (Gen_Output_File_C): Do the equivalent change when generating a C file.
372
 
373
2001-12-17  Robert Dewar  
374
 
375
        * ali.adb: Set new Dummy_Entry field in dependency entry
376
 
377
        * ali.ads: Add Dummy_Entry field to source dependency table
378
 
379
        * bcheck.adb (Check_Consistency): Ignore dummy D lines
380
 
381
        * lib-writ.adb (Writ_ALI): Write dummy D lines for missing source files
382
 
383
        * lib-writ.ads: Document dummy D lines for missing files.
384
 
385
        * types.ads: (Dummy_Time_Stamp): New value for non-existant files
386
 
387
2001-12-17  Robert Dewar  
388
 
389
        * ali.adb: Type reference does not reset current file.
390
 
391
        * ali.adb: Recognize and scan renaming reference
392
 
393
        * ali.ads: Add spec for storing renaming references.
394
 
395
        * lib-xref.ads: Add documentation for handling of renaming references
396
 
397
        * lib-xref.adb: Implement output of renaming reference.
398
 
399
        * checks.adb:
400
        (Determine_Range): Document local variables
401
        (Determine_Range): Make sure Hbound is initialized. It looks as though
402
         there could be a real problem here with an uninitialized reference
403
         to Hbound, but no actual example of failure has been found.
404
 
405
2001-12-17  Laurent Pautet  
406
 
407
        * g-socket.ads:
408
        Fix comment of Shutdown_Socket and Close_Socket. These functions
409
        should not fail silently because if they are called twice, this
410
        probably means that there is a race condition in the user program.
411
        Anyway, this behaviour is consistent with the rest of this unit.
412
        When an error occurs, an exception is raised with the error message
413
        as exception message.
414
 
415
2001-12-17  Robert Dewar  
416
 
417
        * frontend.adb: Move call to Check_Unused_Withs from Frontend, so
418
        that it happens before modification of Sloc values for -gnatD.
419
 
420
        * gnat1drv.adb: Move call to Check_Unused_Withs to Frontend,
421
        so that it happens before modification of Sloc values for -gnatD.
422
 
423
        * switch.adb: Minor reformatting
424
 
425
2001-12-15  Richard Henderson  
426
 
427
        * sem_ch7.adb: Wrap comment.
428
 
429
2001-12-16  Joseph S. Myers  
430
 
431
        * 5ataprop.adb, 5atpopsp.adb, 5ftaprop.adb, 5gmastop.adb,
432
        5gtaprop.adb, 5htaprop.adb, 5itaprop.adb, 5lintman.adb,
433
        5omastop.adb, 5oosinte.adb, 5otaprop.adb, 5staprop.adb,
434
        5vinterr.adb, 5vtaprop.adb, 5vtpopde.adb, 5wintman.adb,
435
        5wtaprop.adb, 5zinterr.adb, 5ztaprop.adb, 6vcstrea.adb,
436
        7sintman.adb, 7staprop.adb, 9drpc.adb, ChangeLog, Makefile.in,
437
        a-except.adb, a-tags.ads, a-tasatt.adb, a-teioed.adb,
438
        a-textio.ads, a-witeio.ads, a-wtedit.adb, ali.ads, comperr.adb,
439
        cstand.adb, einfo.ads, errout.adb, exp_ch11.adb, exp_ch2.adb,
440
        exp_ch3.adb, exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch9.adb,
441
        exp_util.adb, exp_util.ads, fname-uf.adb, g-cgi.ads, g-exctra.ads,
442
        g-expect.ads, g-regist.adb, g-spipat.adb, gnatchop.adb,
443
        gnatlink.adb, gnatls.adb, gnatmain.adb, gnatmem.adb, init.c,
444
        make.adb, make.ads, mdlltool.adb, nlists.ads, osint.ads,
445
        par-ch3.adb, par-ch4.adb, par-ch5.adb, par-ch6.adb, par.adb,
446
        repinfo.adb, s-fatflt.ads, s-fatlfl.ads, s-fatllf.ads,
447
        s-fatsfl.ads, s-finimp.adb, s-finimp.ads, s-interr.adb,
448
        s-secsta.ads, s-shasto.ads, s-stalib.adb, s-stalib.ads,
449
        s-tarest.ads, s-tasdeb.adb, s-tassta.adb, s-tassta.ads,
450
        s-vaflop.ads, scans.ads, scn.adb, sem.ads, sem_aggr.adb,
451
        sem_attr.adb, sem_case.ads, sem_ch10.adb, sem_ch12.adb,
452
        sem_ch13.adb, sem_ch3.adb, sem_ch3.ads, sem_ch5.adb, sem_ch7.adb,
453
        sem_ch8.adb, sem_ch8.ads, sem_type.adb, sem_util.ads, sinfo.ads,
454
        sprint.adb, tbuild.ads, types.ads, utils.c, xeinfo.adb: Fix
455
        spelling errors.
456
 
457
2001-12-14  Vincent Celier  
458
 
459
        * osint.adb(Create_Debug_File): When an object file is specified,
460
        put the .dg file in the same directory as the object file.
461
 
462
2001-12-14  Robert Dewar  
463
 
464
        * osint.adb: Minor reformatting
465
 
466
        * lib-xref.adb (Output_Instantiation): New procedure to generate
467
        instantiation references.
468
 
469
        * lib-xref.ads: Add documentation of handling of generic references.
470
 
471
        * ali.adb (Read_Instantiation_Ref): New procedure to read
472
        instantiation references
473
 
474
        * ali.ads: Add spec for storing instantiation references
475
 
476
        * bindusg.adb: Minor reformatting
477
 
478
        * switch.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
479
 
480
        * usage.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
481
 
482
        * gnatcmd.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
483
 
484
        * csets.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
485
 
486
        * csets.ads:
487
        Fix header format
488
        Add 2001 to copyright date
489
        Add entry for Latin-5 (Cyrillic ISO-8859-5)
490
 
491
2001-12-14  Matt Gingell  
492
 
493
        * adaint.c: mktemp is a macro on Lynx and can not be used as an
494
        expression.
495
 
496
2001-12-14  Richard Kenner  
497
 
498
        * misc.c (gnat_expand_constant): Do not strip UNCHECKED_CONVERT_EXPR
499
        if operand is CONSTRUCTOR.
500
 
501
2001-12-14  Ed Schonberg  
502
 
503
        * trans.c (tree_transform, case N_Assignment_Statement): Set lineno
504
        before emiting check on right-hand side, so that exception information
505
        is correct.
506
 
507
2001-12-14  Richard Kenner  
508
 
509
        * utils.c (create_var_decl): Throw away initializing expression
510
        if just annotating types and non-constant.
511
 
512
2001-12-14  Vincent Celier  
513
 
514
        * prj-nmsc.adb: (Ada_Check): Migrate drom Ada_Default_... to
515
        Default_Ada_...
516
 
517
        * prj.adb: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
518
        Remove functions.
519
        (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move to spec.
520
 
521
        * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
522
        Remove functions.
523
        (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move from body.
524
 
525
2001-12-16  Joseph S. Myers  
526
 
527
        * ChangeLog: Remove piece of diff output.
528
 
529
2001-12-14  Geert Bosch  
530
 
531
        * config-lang.in: Update copyright notice
532
 
533
        * layout.adb: Remove commented out code.
534
 
535
        * mdllfile.ads: Update copyright notice. Fix header format.
536
 
537
        * sem_case.ads: Likewise.
538
 
539
        * sem_ch3.adb: Minor reformatting.
540
 
541
2001-12-12  Geert Bosch  
542
 
543
        * freeze.ads: Update copyright date.
544
 
545
        * g-comlin.ads: Minor reformatting.
546
 
547
        * gnat-style.texi: Fix typo.
548
 
549
2001-12-12  Geert Bosch  
550
 
551
        *  einfo.h: Regenerate.
552
 
553
2001-12-12  Ed Schonberg  
554
 
555
        * sem_ch12.adb (Save_Entity_Descendant): Use syntactic field names
556
        on known node types, rather than untyped fields. Further cleanups.
557
 
558
2001-12-12  Robert Dewar  
559
 
560
        * sem_ch12.adb:
561
        (Save_Entity_Descendant): Minor comment update.
562
        (Copy_Generic_Node): Deal with incorrect reference to Associated_Node
563
         of an N_Attribute_Reference node. As per note below, this does not
564
        eliminate need for Associated_Node in attribute ref nodes.
565
        (Associated_Node): Documentation explicitly mentions attribute
566
        reference nodes, since this field is used in such nodes.
567
 
568
        * sem_ch12.adb (Associated_Node): Minor documentation cleanup.
569
 
570
2001-12-12  Robert Dewar  
571
 
572
        * s-stalib.adb: Add more comments on with statements being needed
573
 
574
        * par-ch12.adb: Minor reformatting
575
 
576
        * prj-dect.ads: Fix copyright header
577
 
578
        * s-arit64.adb (Multiply_With_Ovflo_Check): Fix case where both
579
        inputs fit in 32 bits, but the result still overflows.
580
 
581
        * s-fatgen.ads: Minor comment improvement
582
 
583
2001-12-12  Ed Schonberg  
584
 
585
        * sem_ch4.adb (Analyze_Selected_Component): If the prefix is of a
586
        formal derived type, look for an inherited component from the full
587
        view of the parent, if any.
588
 
589
2001-12-12  Robert Dewar  
590
 
591
        * checks.ads (Apply_Alignment_Check): New procedure.
592
 
593
        * exp_ch13.adb (Expand_N_Freeze_Entity): Generate dynamic check to
594
        ensure that the alignment of objects with address clauses is
595
        appropriate, and raise PE if not.
596
 
597
        * exp_util.ads (Must_Be_Aligned): Removed, replaced by
598
        Exp_Pakd.Known_Aligned_Enough
599
 
600
        * mdllfile.ads: Minor reformatting
601
 
602
        * mlib-fil.ads: Minor reformatting
603
 
604
2001-12-12  Ed Schonberg  
605
 
606
        * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Extend previous
607
        fix to any component reference if enclosing record has non-standard
608
        representation.
609
 
610
2001-12-12  Vincent Celier  
611
 
612
        * g-dirope.ads (Find, Wildcard_Iterator): Moved to child package
613
        Iteration
614
 
615
2001-12-12  Ed Schonberg  
616
 
617
        * freeze.ads: Make Freeze_Fixed_Point_Type visible, for use in
618
        sem_attr.
619
 
620
2001-12-12  Robert Dewar  
621
 
622
        * impunit.adb: Add entry for GNAT.Directory_Operations.Iteration
623
 
624
2001-12-12  Emmanuel Briot  
625
 
626
        * g-regexp.adb: Remove all debug code, since it isn't required anymore,
627
        and it adds dependencies to system.io.
628
 
629
2001-12-12  Pascal Obry  
630
 
631
        * g-dirope.adb (Expand_Path.Var): Correctly detect end of
632
        variable name.
633
 
634
2001-12-11  Ed Schonberg  
635
 
636
        * sem_ch10.adb (Install_Withed_Unit): If the unit is a generic instance
637
        that is the parent of other generics, the instance body replaces the
638
        instance node.  Retrieve the instance of the spec, which is the one
639
        that is visible in clients and within the body.
640
 
641
2001-12-11  Vincent Celier  
642
 
643
        * gnatmain.adb: Initial version.
644
 
645
        * gnatmain.ads: Initial version.
646
 
647
        * prj-attr.adb (Initialisation_Data): Add package Gnatstub.
648
 
649
        * snames.adb: Updated to match snames.ads.
650
 
651
        * snames.ads: Added Gnatstub.
652
 
653
2001-12-11  Vincent Celier  
654
 
655
        * prj-attr.adb (Initialization_Data): Change name from
656
        Initialisation_Data.
657
 
658
2001-12-11  Emmanuel Briot  
659
 
660
        * g-regpat.adb (Parse_Literal): Properly handle simple operators ?,
661
        + and * applied to backslashed expressions like \r.
662
 
663
2001-12-11  Vasiliy Fofanov  
664
 
665
        * g-os_lib.ads: String_List type added, Argument_List type is now
666
        subtype of String_List.
667
 
668
2001-12-11  Robert Dewar  
669
 
670
        * g-os_lib.ads: Change copyright to FSF
671
        Add comments for String_List type
672
 
673
2001-12-11  Vincent Celier  
674
 
675
        * g-dirope.adb (Expand_Path): Fix bug. (wrong length when adding a
676
        string to the buffer).
677
 
678
2001-12-11  Ed Schonberg  
679
 
680
        * freeze.adb: Make Freeze_Fixed_Point_Type visible, for use in
681
        sem_attr.
682
 
683
        * sem_attr.adb: Simplify previous fix for Address.
684
        (Set_Bounds): If prefix is a non-frozen fixed-point type, freeze now,
685
        to avoid anomalies where the bound of the type appears to raise
686
        constraint error.
687
 
688
2001-12-11  Robert Dewar  
689
 
690
        * lib-xref.adb (Output_Refs): Make sure pointers are always properly
691
        handled.
692
 
693
2001-12-11  Ed Schonber   
694
 
695
        * sem_ch12.adb (Analyze_Subprogram_Instantiation): Check for a
696
        renamed unit before checking for recursive instantiations.
697
 
698
2001-12-11  Emmanuel Briot  
699
 
700
        * prj.ads: Add comments for some of the fields.
701
 
702
2001-12-11  Robert Dewar  
703
 
704
        * lib-xref.adb (Output_Refs): Don't output type references outside
705
        the main unit if they are not otherwise referenced.
706
 
707
2001-12-11  Ed Schonberg  
708
 
709
        * sem_attr.adb (Analyze_attribute, case Address and Size): Simplify
710
        code and diagnose additional illegal uses
711
 
712
        * sem_util.adb (Is_Object_Reference): An indexed component is an
713
        object only if the prefix is.
714
 
715
2001-12-11  Vincent Celier  
716
 
717
        * g-diopit.adb: Initial version.
718
 
719
        * g-diopit.ads: Initial version.
720
 
721
        * g-dirope.adb:
722
        (Expand_Path): Avoid use of Unbounded_String
723
        (Find, Wildcard_Iterator): Moved to child package Iteration
724
 
725
        * Makefile.in: Added g-diopit.o to GNATRTL_NONTASKING_OBJS
726
 
727
2001-12-11  Robert Dewar  
728
 
729
        * sem_attr.adb: Minor reformatting
730
 
731
2001-12-11  Ed Schonberg  
732
 
733
        * sem_ch3.adb: Clarify some ???.
734
 
735
2001-12-11  Robert Dewar  
736
 
737
        * exp_util.adb (Must_Be_Aligned): Removed, replaced by
738
        Exp_Pakd.Known_Aligned_Enough
739
 
740
        * sem_ch13.adb (Check_Address_Alignment): Removed, extended
741
        version is moved to Exp_Ch13.
742
 
743
2001-12-11  Robert Dewar  
744
 
745
        * einfo.ads: Minor reformatting
746
 
747
        * exp_ch5.adb: Add comment for previous.change
748
 
749
        * ali.adb: New interface for extended typeref stuff.
750
 
751
        * ali.ads: New interface for typeref stuff.
752
 
753
        * checks.adb (Apply_Alignment_Check): New procedure.
754
 
755
        * debug.adb: Add -gnatdM for modified ALI output
756
 
757
        * exp_pakd.adb (Known_Aligned_Enough): Replaces Known_Aligned_Enough.
758
 
759
        * lib-xref.adb: Extend generation of <..> notation to cover
760
        subtype/object types. Note that this is a complete rewrite,
761
        getting rid of the very nasty quadratic algorithm previously
762
        used for derived type output.
763
 
764
        * lib-xref.ads: Extend description of <..> notation to cover
765
        subtype/object types. Uses {..} for these other cases.
766
        Also use (..) for pointer types.
767
 
768
        * sem_util.adb (Check_Potentially_Blocking_Operation): Slight cleanup.
769
 
770
        * exp_pakd.adb: Minor reformatting.  Note that prevous RH should say:
771
        (Known_Aligned_Enough): Replaces Must_Be_Aligned.
772
 
773
2001-12-11  Vincent Celier  
774
 
775
        * gnatcmd.adb:
776
        Changed /COMPILE_ONLY to /ACTIONS=COMPILE
777
        Changed /BIND_ONLY to /ACTIONS=BIND
778
        Changed /LINK_ONLY to /ACTIONS=LINK
779
 
780
2001-12-11  Ed Schonberg  
781
 
782
        * sem_ch8.adb (Find_Selected_Component): improved search for a
783
        candidate package in case of error.
784
 
785
        * sem_ch12.adb (Inline_Instance_Body): place head of use_clause
786
        chain back on scope stack before reinstalling use clauses.
787
 
788
        * exp_ch5.adb (Expand_N_If_Statement): if Constant_Condition_Warnings
789
        is enabled, do not kill the code for the condition, to preserve
790
        warning.
791
 
792
2001-12-11  Robert Dewar  
793
 
794
        * checks.adb (Insert_Valid_Check): Apply validity check to expression
795
        of conversion, not to result of conversion.
796
 
797
2001-12-11  Ed Schonberg  
798
 
799
        * sem_ch3.adb (Build_Derived_Record_Type): set Controlled flag
800
        before freezing parent. If the declarations are mutually recursive,
801
        an access to the current record type may be frozen before the
802
        derivation is complete.
803
 
804
2001-12-05  Vincent Celier  
805
 
806
        * gnatcmd.adb: (MAKE): Add new translations: -b /BIND_ONLY,
807
        -c /COMPILE_ONLY, -l /LINK_ONLY
808
 
809
        * opt.ads:
810
        (Bind_Only): New Flag
811
        (Link_Only): New flag
812
 
813
        * switch.adb (Scan_Make_Switches): Add processing for -b (Bind_Only)
814
        and -l (Link_Only)
815
 
816
        * makeusg.adb: Add new switches -b and -l. Update Copyright notice.
817
 
818
        * make.adb:
819
        (Do_Compile_Step, Do_Bind_Step, Do_Link_Step): New flags.
820
        (Gnatmake): Set the step flags. Only perform a step if the
821
        corresponding step flag is True.
822
        (Scan_Make_Arg): Reset the bind and link step flags when -u
823
        or -gnatc has been specified.
824
 
825
2001-12-05  Ed Schonberg  
826
 
827
        * sem_eval.adb (Eval_Concatenation): If left operand is a null string,
828
        get bounds from right operand.
829
 
830
        * sem_eval.adb: Minor reformatting
831
 
832
        * exp_util.adb (Make_Literal_Range): use bound of literal rather
833
        than Index'First, its lower bound may be different from 1.
834
 
835
        * exp_util.adb: Undo earlier change, fixes ACVC regressions C48009B
836
        and C48009J
837
 
838
2001-12-05  Vincent Celier  
839
 
840
        * prj-nmsc.adb Minor reformatting
841
 
842
        * prj-nmsc.adb (Language_Independent_Check): Reset Library flag if
843
        set and libraries are not supported.
844
 
845
2001-12-05  Ed Schonberg  
846
 
847
        * sem_ch3.adb (Build_Derived_Private_Type): set Public status of
848
        private view explicitly, so the back-end can treat as a global
849
        when appropriate.
850
 
851
2001-12-05  Ed Schonberg  
852
 
853
        * sem_ch12.adb (Instantiate_Package_Body): if instance is a compilation
854
         unit, always replace instance node with new body, for ASIS use.
855
 
856
2001-12-05  Vincent Celier  
857
 
858
        * prj-nmsc.adb (Language_Independent_Check): Issue a warning if
859
        libraries are not supported and both attributes Library_Name and
860
        Library_Dir are specified.
861
 
862
        * prj-proc.adb (Expression): Set location of Result to location of
863
        first term.
864
 
865
        * Makefile.in: Add mlib.o, mlib-fil.o, mlib-tgt and mlib-utl to GNATLS.
866
        (prj-nmsc is now importing MLib.Tgt)
867
 
868
        * prj-proc.adb: Put the change indicated above that was forgotten.
869
 
870
2001-12-05  Robert Dewar  
871
 
872
        * Makefile.in: Add dependencies for System.IO for GNAT.Regexp
873
 
874
2001-12-05  Ed Schonberg  
875
 
876
        * sem_ch3.adb (Build_Derived_Concurrent_Type): If derivation imposes a
877
        constraint, introduce explicit subtype declaration and derive from it.
878
 
879
        * sem_ch3.adb: Minor reformatting
880
 
881
2001-12-05  Robert Dewar  
882
 
883
        * checks.adb (Determine_Range): Increase cache size for checks.
884
        Minor reformatting
885
 
886
        * exp_ch6.adb: Minor reformatting
887
        (Expand_N_Subprogram_Body): Reset Is_Pure for any subprogram that has
888
        a parameter whose root type is System.Address, since treating such
889
        subprograms as pure in the code generator is almost surely a mistake
890
        that will lead to unexpected results.
891
 
892
        * exp_util.adb (Remove_Side_Effects): Clean up old ??? comment and
893
        change handling of conversions.
894
 
895
        * g-regexp.adb: Use System.IO instead of Ada.Text_IO.
896
 
897
2001-12-05  Ed Schonberg  
898
 
899
        * sem_ch3.adb (Analyze_Object_Declaration): If expression is an
900
        aggregate with static wrong size, attach generated Raise node to
901
        declaration.
902
 
903
2001-12-05  Robert Dewar  
904
 
905
        * sem_attr.adb (Analyze_Attribute): Defend against bad Val attribute.
906
        Fixes compilation abandoned bomb in B24009B.
907
 
908
2001-12-05  Ed Schonberg  
909
 
910
        * sem_ch12.adb:
911
        Document use of Associated_Node on Selected_Components.
912
        (Save_Global_Operand_Descendants): Change to Save_Entity_Descendants,
913
        to clarify use of untyped descendant fields.
914
 
915
2001-12-05  Robert Dewar  
916
 
917
        * prj-dect.ads: Add ??? comment
918
        Add 2001 to copyright notice (was not done in after all)
919
 
920
        * prj-part.adb: Minor reformatting. Reword one awkward error message.
921
 
922
        * prj.ads: Minor reformatting throughout, and add some ??? comments
923
 
924
        * snames.ads: Minor reformatting
925
 
926
2001-12-05  Geert Bosch  
927
 
928
        * snames.adb: Autoupdate
929
 
930
2001-12-05  Vincent Celier  
931
 
932
        * prj-dect.adb (Parse): Rename parameter Modifying to Extends.
933
 
934
        * prj-dect.ads (Parse): Rename parameter Modifying to Extends.
935
 
936
        * prj-env.adb: Minor comment changes (modifying -> extends).
937
 
938
        * prj-nmsc.adb: Minor comment changes (modifying -> extends).
939
 
940
        * prj-part.adb (Parse_Single_Project): Change Tok_Modifying to
941
        Tok_Extends.
942
 
943
        * prj.adb (Initialize): Change Modifying to Extends.
944
 
945
        * scans.ads (Token_Type): Change Tok_Modifying to Tok_Extends.
946
 
947
        * prj.ads: Minor comment change (Modifying -> extending).
948
 
949
        * snames.ads: Change modifying to extends.
950
 
951
2001-12-05  Robert Dewar  
952
 
953
        * sem_warn.adb: Remove stuff for conditionals, we are not going to
954
        do this after all.
955
 
956
        * sem_warn.ads: Remove stuff for conditionals, we are not going to
957
        do this after all.  Add 2001 to copyright notice
958
 
959
2001-12-04  Geert Bosch  
960
 
961
        *  einfo.h, sinfo.h, treeprs.ads: Regenerate.
962
 
963
2001-12-04  Robert Dewar  
964
 
965
        * errout.adb (Error_Msg): Ignore attempt to put error msg at junk
966
        location if we already have errors. Stops some cases of cascaded
967
        errors.
968
 
969
        * errout.adb: Improve comment.
970
 
971
2001-12-04  Robert Dewar  
972
 
973
        * sem_ch12.adb:
974
        (Analyze_Formal_Type_Definition): Defend against Error.
975
        (Analyze_Formal_Subprogram): Defend against Error.
976
 
977
        * par-ch12.adb (F_Formal_Type_Declaration): In case of error,
978
        remove following semicolon if present. Removes cascaded error.
979
 
980
2001-12-04  Douglas B. Rupp  
981
 
982
        * bindgen.adb:
983
        (Gen_Exception_Table_Ada): Write "begin" and then return if Num
984
         exceptions equals 0.
985
        (Gen_Exception_Table_C): Return if Num exceptions equals 0.
986
        Fixes PIWG E tests (which have to be run with -gnatL).
987
 
988
2001-12-04  Robert Dewar  
989
 
990
        * einfo.ads: Minor reformatting
991
 
992
2001-12-04  Ed Schonberg  
993
 
994
        * einfo.ads: Block_Node points to the identifier of the block, not to
995
        the block node itself, to preserve the link when the block is
996
        rewritten, e.g. within an if-statement with a static condition.
997
 
998
        * inline.adb (Cleanup_Scopes): recover block statement from block
999
        entity using new meaning of Block_Node.
1000
 
1001
        * sem_ch5.adb (Analyze_Block_Statement): set Block_Node to point to
1002
        identifier of block node, rather than to node itself.
1003
 
1004
2001-12-04  Gary Dismukes  
1005
 
1006
        * layout.adb:
1007
        (Get_Max_Size): Fix "start of processing" comment to say Get_Max_Size.
1008
        (Discrimify): Go back to setting the Etypes of the selected component
1009
        because the Vname component does not exist at this point and will
1010
        fail name resolution. Also set Analyzed.
1011
        Remove with and use of Sem_Res.
1012
 
1013
2001-12-04  Arnaud Charlet  
1014
 
1015
        * Makefile.in: (HIE_SOURCES): add s-fat*.
1016
 
1017
2001-12-04  Robert Dewar  
1018
 
1019
        * sem_attr.adb:
1020
        (Compile_Time_Known_Attribute): New procedure.
1021
        (Eval_Attribute, case Size): Use Compile_Time_Known_Attribute to ensure
1022
         proper range check.
1023
 
1024
2001-12-04  Ed Schonberg  
1025
 
1026
        * sem_ch7.adb (New_Private_Type): Set Is_Tagged_Type flag before
1027
        processing discriminants to diagnose illegal default values.
1028
 
1029
2001-12-04  Ed Schonberg  
1030
 
1031
        * sem_attr.adb (Resolve_Attribute): Handle properly an non-classwide
1032
        access discriminant within a type extension that constrains its
1033
        parent discriminants.
1034
 
1035
2001-12-04  Ed Schonberg  
1036
 
1037
        * sem_ch3.adb (Find_Type_Of_Subtype_Indic): If subtype indication
1038
        is malformed, use instance of Any_Id to allow analysis to proceed.
1039
 
1040
        * par-ch12.adb (P_Formal_Type_Declaration): Propagate Error if
1041
        type definition is illegal.
1042
        (P_Formal_Derived_Type_Definition): Better recovery when TAGGED is
1043
        misplaced.
1044
 
1045
2001-12-04  Ed Schonberg  
1046
 
1047
        * sem_warn.adb (Output_Unreferenced_Messages): Extend previous fix to
1048
        constants.
1049
 
1050
2001-12-04  Robert Dewar  
1051
 
1052
        * errout.adb: Minor reformatting
1053
 
1054
2001-12-04  Robert Dewar  
1055
 
1056
        * exp_util.adb: Minor reformatting from last change
1057
 
1058
        * errout.adb (Check_For_Warning): For a Raised_Constraint_Error node
1059
        which is a rewriting of an expression, traverse the original
1060
        expression to remove warnings that may have been posted on it.
1061
 
1062
2001-12-04  Ed Schonberg  
1063
 
1064
        * exp_util.adb (Must_Be_Aligned): Return false for a component of a
1065
        record that has other packed components.
1066
 
1067
2001-12-04  Douglass B. Rupp  
1068
 
1069
        * adaint.c: Minor cleanups.
1070
 
1071
2001-12-04  Douglass B. Rupp  
1072
 
1073
        * adaint.c: Do not use utime.h on vxworks.
1074
 
1075
2001-12-04  Arnaud Charlet  
1076
 
1077
        * Makefile.adalib: Clarify step 3 (use of gnat.adc) as it causes
1078
        more confusion than it solves.
1079
 
1080
2001-12-04  Geert bosch  
1081
 
1082
        * einfo.h, nmake.adb, nmake.ads, sinfo.h treeprs.ads: Regenerate.
1083
 
1084
2001-12-04  Geert Bosch  
1085
 
1086
        * Makefile.in (update-sources): New target.
1087
        For use by gcc_release script.
1088
 
1089
2001-12-04  Ed Schonberg  
1090
 
1091
        * sem_prag.adb (Analyze_Pragma, case Validity_Checks): do not treat as
1092
        a configuration pragma, it is now legal wherever a pragma can appear.
1093
 
1094
2001-12-04  Zack Weinberg  
1095
 
1096
        * Makefile.in: Don't set ALL.  Delete @cross_defines@,
1097
        @cross_overrides@, @build_overrides@ stanzas.  INTERNAL_CFLAGS
1098
        is now @CROSS@ -DIN_GCC; update comment.
1099
 
1100
2001-12-04  Robert Dewar  
1101
 
1102
        * einfo.adb (Has_Pragma_Pure_Function): New flag.
1103
        Fix problem that stopped ceinfo from working
1104
 
1105
        * einfo.ads (Has_Pragma_Pure_Function): New flag.
1106
 
1107
        * sem_prag.adb (Pure_Function): Set new flag Has_Pragma_Pure_Function.
1108
 
1109
2001-12-04  Douglas B. Rupp  
1110
 
1111
        * gnatchop.adb:
1112
        (File_Time_Stamp): New procedure.
1113
        (Preserve_Mode): New boolean.
1114
        (Write_Unit): Pass time stamp.
1115
        Implement -p switch (preserve time stamps).
1116
 
1117
        * gnatcmd.adb (CHOP): Add translation for -p (/PRESERVE).
1118
 
1119
        * gnatchop.adb: Do usage info for -p switch
1120
 
1121
        * adaint.h (__gnat_set_file_time_name): New function
1122
 
1123
        * adaint.c (__gnat_set_file_time_name): Implement
1124
 
1125
        * adaint.h: Fix typo
1126
 
1127
2001-12-03  Robert Dewar  
1128
 
1129
        * sinfo.ads: Minor reformatting. N_Freeze_Entity node does not
1130
        have Associated_Node.
1131
 
1132
2001-12-03  Robert Dewar  
1133
 
1134
        * prj-proc.adb: Minor reformatting
1135
 
1136
        * make.adb: Minor reformatting
1137
 
1138
2001-12-03  Geert Bosch  
1139
 
1140
        * make.adb: Minor reformatting.
1141
 
1142
2001-12-03 Robert Dewar  
1143
 
1144
        * sem_ch12.adb: Minor reformatting
1145
 
1146
2001-12-03  Ed Schonberg  
1147
 
1148
        * sem_ch12.adb (Inline_Instance_Body): Use Save_Scope_Stack and
1149
        push Standard on the stack before analyzing the instance body,
1150
        in order to have a clean visibility environment.
1151
 
1152
        * sem_ch12.adb (Inline_Instance_Body): Remove redundant code.
1153
 
1154
2001-12-03  Ed Schonberg  
1155
 
1156
        * sem_ch12.adb (Instantiate_Package_Body): Protect against double
1157
        instantiation of a body that contains an inlined body.
1158
 
1159
2001-12-03  Ed Schonberg  
1160
 
1161
        * sem_ch12.adb:
1162
        (Analyze_generic_subprogram_Declaration): Set outer_generic_scope,
1163
        to prevent freezing within formal packages.
1164
        (Freeze_Subprogram_Body): If body comes from another instance that
1165
        appeared before its own body, place freeze node at end of current
1166
        declarative part, to prevent a back-end crash.
1167
        (Inline_Instance_Body): Handle properly a package instance within
1168
        a subprogram instance that is a child unit.
1169
 
1170
2001-12-01  Graham Stott  
1171
 
1172
        * Makefile.in (misc.o): Add missing $(srcdir) prefix
1173
        and add optabs.h dependency.
1174
 
1175
        * misc.c: Include optabs.h
1176
        (gnat_tree_code_type): Make static and const.
1177
        (gnat_tree_code_length): Likewise.
1178
        (gnat_tree_code_name): Likewise.
1179
        (update_setjmp_buf): Obtain operands mode from insn_data.
1180
 
1181
2001-11-29  Richard Henderson  
1182
 
1183
        * init.c: Remove obsolete dwarf2 frame.h section.
1184
 
1185
2001-11-29  Joseph S. Myers  
1186
 
1187
        * Make-lang.in (ada.generated-manpages): New dummy target.
1188
 
1189
2001-11-29  Ed Schonberg  
1190
 
1191
        * g-os_lib.adb (Add_To_Command): use explicit loop to move string
1192
        into Command, an array conversion is illegal here. Uncovered by
1193
        ACATS B460005.
1194
 
1195
2001-11-28  Geert Bosch  
1196
 
1197
        * init.c: Minor whitespace changes.
1198
 
1199
2001-11-28  Doug Rupp  
1200
 
1201
        * init.c: (__gnat_install_handler,VMS): Increase size of alternate
1202
        signal stack.
1203
 
1204
2001-11-28  Zack Weinberg  
1205
 
1206
        * misc.c (gnat_expand_constant): Move declaration above
1207
        definition of lang_hooks.
1208
        (LANG_HOOKS_EXPAND_CONSTANT): Set to gnat_expand_constant.
1209
        (gnat_init): lang_expand_constant no longer exists.
1210
 
1211
        (internal_error_function): Remove #ifdef HAVE_VPRINTF.  We
1212
        always have vprintf.
1213
        (gnat_init): Always call set_internal_error_function.
1214
 
1215
2001-11-27  Andreas Jaeger  
1216
 
1217
        * Makefile.in (stamp-tool_src_dir): Use symbolic link.
1218
 
1219
2001-11-27  Laurent Guerby  
1220
 
1221
        * Makefile.in: Regenerate Ada dependencies.
1222
 
1223
2001-11-26  Richard Henderson  
1224
 
1225
        * Make-lang.in (gnatbind, gnatmake, gnatbl, gnatchop, gnatcmd,
1226
        gnatlink, gnatkr, gnatls, gnatmem, gnatprep, gnatpsta, gnatpsys,
1227
        gnatxref, gnatfind, gnatlbr): Depend on CONFIG_H and prefix.o.
1228
 
1229
2001-11-25  Laurent Guerby  
1230
 
1231
        * sysdep.c (rts_get_*): Fix style.
1232
 
1233
2001-11-19  Laurent Guerby  
1234
 
1235
        * Makefile.in (INCLUDES_FOR_SUBDIR): Remove redundant system include
1236
        since it is of no apparent use and cause warnings.
1237
 
1238
2001-11-18  Neil Booth  
1239
 
1240
        * misc.c (gnat_decode_option, gnat_init_options): Make definitions
1241
        static too.
1242
        (gnat_init): Don't return NULL.
1243
        (finish_parse): Remove.
1244
 
1245
2001-11-17  Laurent Guerby  
1246
 
1247
        * Make-lang.in (GNATLIBFLAGS): Add -W -Wall.
1248
        * gigi.h (init_decl_processing): Rename to gnat_init_decl_processing.
1249
        * io-aux.c: Provide K&R prototypes to all functions, reformat code.
1250
        * lang-spec.h: Add missing struct field to silence warnings.
1251
        * sysdep.c (rts_get_*): Provide K&R prototype.
1252
        * sysdep.c (Unlock_Task, Lock_Task): Move to K&R prototype.
1253
        * traceback.c (Unlock_Task, Lock_Task): Likewise.
1254
        * tracebak.c (__gnat_backtrace): Remove unused variable.
1255
        * utils.c (end_subprog_body): Move to K&R style.
1256
 
1257
Thu Nov 15 18:16:17 2001  Richard Kenner  
1258
 
1259
        * trans.c, utils2.c: Remove PALIGN parameter to get_inner_reference.
1260
 
1261
2001-11-15  Neil Booth  
1262
 
1263
        * misc.c (gnat_init): Change prototype.  Include the
1264
        functionality of the old init_parse and init_decl_processing.
1265
        (gnat_init_decl_processing): New prototype.
1266
        (init_parse): Remove.
1267
        * utils.c (init_decl_processing): Rename gnat_init_decl_processing.
1268
 
1269
2001-11-09  Neil Booth  
1270
 
1271
        * misc.c (gnat_print_decl, gnat_print_type): Renamed.
1272
        (LANG_HOOKS_PRINT_DECL, LANG_HOOKS_PRINT_TYPE): Override.
1273
        (print_lang_statistics, lang_print_xnode, print_lang_identifier,
1274
        set_yydebug): Remove.
1275
 
1276
2001-11-09  Neil Booth  
1277
 
1278
        * misc.c (LANG_HOOKS_NAME, LANG_HOOKS_IDENTIFIER_SIZE): Override.
1279
        (struct lang_hooks): Constify.
1280
        (language_string, lang_identify): Remove.
1281
        * utils.c (init_decl_processing): Update.
1282
 
1283
2001-11-06  Neil Booth  
1284
 
1285
        * misc.c: Include langhooks-def.h.
1286
        * Makefile.in: Update.
1287
 
1288
2001-10-30  Robert Dewar  
1289
 
1290
        * style.adb:
1291
        (Check_Identifier): Rewrite circuit to be compatible with use of letters
1292
        in the upper half of ASCII.
1293
        (Check_Identifier): Minor reformatting
1294
 
1295
2001-10-30  Geert Bosch  
1296
 
1297
        * (Associated_Node, Set_Associated_Node): Do not check for
1298
        Freeze_Entity.
1299
 
1300
2001-10-30  Robert Dewar  
1301
 
1302
        * a-reatim.ads: Minor reformatting
1303
 
1304
2001-10-30  Robert Dewar  
1305
 
1306
        * gnatdll.adb: Minor reformatting throughout. Many ??? added for
1307
        undocumented declarations.
1308
 
1309
2001-10-30  Pascal Obry  
1310
 
1311
        * gnatdll.adb (Parse_Command_Line): handle -g option to be passed
1312
        to the binder and linker.
1313
        Minor style fix.
1314
 
1315
        * mdll.ads: Fix layout.  Update copyright notice.
1316
 
1317
        * mdll.adb: Fix layout.  Update copyright notice.
1318
 
1319
2001-10-30  Robert Dewar  
1320
 
1321
        * usage.adb: Minor fix to output for -gnaty.
1322
 
1323
2001-10-30  Ed Schonberg  
1324
 
1325
        * a-reatim.ads: Makes Seconds_Count into a 64-bit integer,
1326
        to accommodate all its possible values.
1327
 
1328
        * a-reatim.adb (Split): Special-case handling of Time_Span_First
1329
        and of small absolute values of T.
1330
 
1331
2001-10-30  Richard Kenner  
1332
 
1333
        * misc.c (gnat_expand_expr, case NULL_EXPR): Remove call to
1334
        set_mem_attributes since not needed and wrong if RESULT if a REG;
1335
        fixes ACATS failures.
1336
 
1337
2001-10-30  Geert Bosch  
1338
 
1339
        * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, fname-sf.ads, g-traceb.ads,
1340
        s-tasdeb.ads, sem_maps.ads: Add 2001 to copyright notice.
1341
 
1342
2001-10-30  Robert Dewar  
1343
 
1344
        * bindusg.adb: Undocument -f switch.
1345
 
1346
        * gnatcmd.adb: Remove /FULL_ELABORATION.
1347
 
1348
        * opt.ads (Force_RM_Elaboration_Order): Document that this is
1349
        obsolescent.
1350
 
1351
        * gnatbind.adb: Output new warning for use of obsolescent -f switch.
1352
 
1353
        * gnatbind.adb: Minor update of warning msg.
1354
 
1355
2001-10-30  Vincent Celier  
1356
 
1357
        * gnatcmd.adb (MAKE, BIND, LINK, LIST, FIND, XREF): Add translations
1358
        for project file switches (-P (/PROJECT_FILE=),
1359
         -X (/EXTERNAL_REFERENCE=) and -vPx (/PROJECT_FILE_VERBOSITY=DEFAULT
1360
        or MEDIUM or HIGH)
1361
 
1362
2001-10-30  Geert Bosch  
1363
 
1364
        * decl.c: Minor whitespace fixes.
1365
 
1366
2001-10-30  Richard Kenner  
1367
 
1368
        * utils2.c (build_allocator): Test for SIZE overflow in array case too
1369
 
1370
2001-10-30  Geert Bosch  
1371
 
1372
        * ali-util.adb (Initialize_Checksum): Use out-mode instead of in out.
1373
        Found due to GCC 3.0 warning of using uninitialized value.
1374
 
1375
        * layout.adb:
1376
        (Get_Max_Size): Use variant record for tracking value/expression.
1377
         Makes logic clearer and prevents warnings for uninitialized variables.
1378
        (Layout_Array_Type): Use variant record for tracking value/expression.
1379
         Makes logic clearer and prevents warnings for uninitialized variables.
1380
 
1381
2001-10-30  Robert Dewar  
1382
 
1383
        * lib.adb: Minor reformatting
1384
 
1385
        * s-taprop.ads: Minor reformatting
1386
 
1387
2001-10-29  Laurent Guerby  
1388
 
1389
        * init.c:
1390
        (Raise_From_Signal_Handler, Propagate_Signal_Exception): Make arg
1391
        const.
1392
        (_gnat_error_handler): Make MSG const.
1393
 
1394
2001-10-29  Richard Kenner  
1395
 
1396
        * sysdep.c: Fix localtime_r problem on LynxOS.
1397
        Also remove #elif to avoid warnings.
1398
 
1399
        * misc.c (yyparse): Don't set up and register jmpbuf; remove decls
1400
        used by this.
1401
 
1402
        * decl.c (annotate_value): Make SIZE unsigned to avoid warning.
1403
 
1404
2001-10-28  Joseph S. Myers  
1405
 
1406
        * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, decl.c, exp_ch6.adb,
1407
        exp_ch9.adb, exp_util.adb, fname-sf.ads, freeze.ads, g-awk.adb,
1408
        g-comlin.ads, g-dirope.adb, g-dyntab.ads, g-socket.ads,
1409
        g-table.ads, g-traceb.ads, gnat-style.texi, gnatchop.adb, init.c,
1410
        layout.adb, layout.ads, mdllfile.ads, mlib-fil.ads, osint.ads,
1411
        s-fatgen.adb, s-imgrea.adb, s-taprop.ads, s-tasdeb.ads,
1412
        sem_aggr.adb, sem_attr.adb, sem_case.ads, sem_ch13.adb,
1413
        sem_ch3.adb, sem_elab.adb, sem_maps.ads, sem_res.adb,
1414
        sem_util.ads, sinfo.ads, sinput.ads, table.adb, table.ads,
1415
        types.ads, urealp.adb: Fix spelling errors.
1416
 
1417
2001-10-27  Laurent Guerby  
1418
 
1419
        * trans.c (gigi): Fix non determinism leading to bootstrap
1420
        comparison failures for debugging information.
1421
 
1422
2001-10-26  Florian Weimer  
1423
 
1424
        * gnat_rm.texi: Use @./@: where appropriate.
1425
 
1426
2001-10-26  Robert Dewar  
1427
 
1428
        * sinfo.adb: Define Associated_Node to overlap Entity field. Cleanup.
1429
 
1430
2001-10-26  Richard Kenner  
1431
 
1432
        * gmem.c (__gnat_gmem_read_next): Properly check for EOF
1433
 
1434
2001-10-26  Richard Kenner  
1435
 
1436
        * decl.c (validate_size): Modify message for bad size to avoid
1437
        implication that compiler is modifying the size.
1438
 
1439
2001-10-26  Robert Dewar  
1440
 
1441
        * prj-util.adb: Minor reformatting. Fix bad header format.
1442
 
1443
2001-10-26  Robert Dewar  
1444
 
1445
        * sinfo.ads: Define Associated_Node to overlap Entity field. Cleanup.
1446
 
1447
        * sinfo.ads: Clarify use of Associated_Node (documentation only).
1448
 
1449
        * sem_ch12.adb: Change Node4 to Associated_Node. Change
1450
        Associated_Node to Get_Associated_Node. Put use of Unchecked_Access
1451
        much more narrowly in places where needed. These are cleanups.
1452
 
1453
2001-10-26  Joel Brobecker  
1454
 
1455
        * 5zosinte.ads (null_pthread): new constant.
1456
 
1457
        * 5ztaprop.adb:
1458
        (Initialize_TCB): Initialize thread ID to null, to be able to verify
1459
         later that this field has been set.
1460
        (Finalize_TCB): ditto.
1461
        (Suspend_Task): Verify that the thread ID is not null before using it.
1462
        (Resume_Task): ditto.
1463
 
1464
        * s-tasdeb.adb:
1465
        (Resume_All_Tasks): Lock the tasks list before using it.
1466
        (Suspend_All_Tasks): ditto.
1467
 
1468
2001-10-26  Richard Kenner  
1469
 
1470
        * decl.c (gnat_to_gnu_entity, case E_General_Access_Type):
1471
        Make constant variant of designated type for Is_Access_Constant.
1472
        Call update_pointer_to with main variant.
1473
 
1474
        * trans.c (process_freeze_entity, process_type):
1475
        Call update_pointer_to on main variant.
1476
 
1477
        * utils.c (update_pointer_to): Make corresponding variant for NEW_TYPE.
1478
        If main variant, update all other variants.
1479
 
1480
        * utils2.c (build_unary_op, case INDIRECT_REF): No longer set
1481
        TREE_STATIC.
1482
 
1483
2001-10-26  Robert Dewar  
1484
 
1485
        * prj-util.adb: Minor reformatting
1486
 
1487
2001-10-26  Robert Dewar  
1488
 
1489
        * prj-util.adb: Minor reformatting
1490
 
1491
2001-10-26  Robert Dewar  
1492
 
1493
        * prj-attr.adb: Minor reformatting throughout
1494
 
1495
2001-10-26  Robert Dewar  
1496
 
1497
        * prj-attr.ads: Minor reformatting
1498
        Add ??? comment (this whole spec has almost no comments)
1499
 
1500
2001-10-26  Vincent Celier  
1501
 
1502
        * g-os_lib.adb (Normalize_Pathname): Preserve the double slash
1503
        ("//") that precede the drive letter on Interix.
1504
 
1505
2001-10-26  Geert Bosch  
1506
 
1507
        * gnat_rm.texi: Add GNAT Reference Manual.
1508
 
1509
2001-10-25  Robert Dewar  
1510
 
1511
        * sem_ch8.adb (Analyze_Package_Renaming): Skip analysis if Name
1512
        is Error. Similar change for other renaming cases.
1513
 
1514
2001-10-25  Robert Dewar  
1515
 
1516
        * s-atacco.ads: Add pragma Inline_Always for functions.
1517
        Fix header format. Add copyright 2001
1518
 
1519
2001-10-25  Ed Schonberg  
1520
 
1521
        * par-ch3.adb (P_Subtype_Mark_Resync): for an anonymous array
1522
        return Error rather than Empty so that analysis can proceed.
1523
 
1524
2001-10-25  Ed Schonberg  
1525
 
1526
        * sem_util.adb (Enter_Name): better handling of cascaded error
1527
        messages when a unit appears in its own context.
1528
 
1529
2001-10-25  Ed Schonberg  
1530
 
1531
        * sem_util.adb (Defining_Entity): in case of error, attach created
1532
        entity to specification, so that semantic analysis can proceed.
1533
 
1534
2001-10-25  Robert Dewar  
1535
 
1536
        * sem_util.adb
1537
        (Defining_Entity): Deal with Error.
1538
        (Process_End_Label): Deal with bad end label for.
1539
 
1540
2001-10-25  Ed Schonberg  
1541
 
1542
        * sem_elab.adb (Check_A_Call): refine message when call is in an
1543
        instance but callee is not declared in the generic unit.
1544
 
1545
2001-10-25  Ed Schonberg  
1546
 
1547
        * sem_elab.adb (Check_A_Call): check for renaming before finding the
1548
        enclosing unit, which may already be different from the calling unit.
1549
 
1550
2001-10-25  Geert Bosch  
1551
 
1552
        * 4gintnam.ads: fix header format.
1553
 
1554
2001-10-25  Ed Schonberg  
1555
 
1556
        * sem_res.adb (Resolve_Call): if the call is actually an indexing
1557
        operation on the result of a parameterless call, perform elaboration
1558
        check after the node has been properly rewritten.
1559
 
1560
        * sem_ch12.adb (Copy_Generic_Node): after the proper body has been
1561
        inlined within the generic tree, the defining identifier is not a
1562
        compilation_unit.
1563
 
1564
2001-10-25  Ed Schonberg  
1565
 
1566
        * sem_res.adb (Resolve): special-case resolution of Null in an
1567
         instance or an inlined body to avoid view conflicts.
1568
 
1569
        * sem_ch12.adb (Copy_Generic_Node): for allocators, check for view
1570
         compatibility by retrieving the access type of the generic copy.
1571
 
1572
2001-10-25  Robert Dewar  
1573
 
1574
        * sem_ch3.adb:
1575
        (Analyze_Number_Declaration): Handle error expression.
1576
        (Signed_Integer_Type_Declaration): Handle error bound.
1577
        (Analyze_Subtype_Indication): Handle error range.
1578
 
1579
        * sem_util.adb (Get_Index_Bounds): Check for Error.
1580
 
1581
2001-10-25  Robert Dewar  
1582
 
1583
        * restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
1584
        in no run time mode.
1585
 
1586
2001-10-25  Pascal Obry  
1587
 
1588
        * gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet
1589
        mode case for ALLOC case.
1590
 
1591
        * gnatmem.adb (Read_Next): correctly fix parsing in Quiet mode on
1592
        all platforms. Improvement of last change.
1593
 
1594
2001-10-25  Robert Dewar  
1595
 
1596
        * exp_ch4.adb (Expand_N_Allocator): Minor reformatting.
1597
 
1598
2001-10-25  Geert Bosch  
1599
 
1600
        * osint.adb (Is_Relative): Remove duplicate.
1601
 
1602
2001-10-25  Pascal Obry  
1603
 
1604
        * osint.adb (Read_Default_Search_Dirs): correctly detect relative
1605
        pathnames in UNIX and DOS style with drive letter.
1606
        (Is_Relative): new routine.
1607
 
1608
        * osint.adb: Minor reformatting
1609
 
1610
        * osint.adb (Is_Relative): implementation using
1611
        GNAT.OS_Lib.Is_Absolute_Path. Better fix.
1612
 
1613
2001-10-25  Pascal Obry  
1614
 
1615
        * g-dirope.adb (Basename): correctly compute offset between the
1616
        original Path and the translated one.
1617
 
1618
        * g-dirope.adb: (Base_Name): add some comments.
1619
 
1620
2001-10-25  Robert Dewar  
1621
 
1622
        * exp_imgv.adb (Expand_Image_Attribute): Defend against bad use
1623
        in HIE mode, avoids compilation abandoned message
1624
 
1625
        * exp_imgv.adb: Correct typo in previous change
1626
 
1627
        * exp_imgv.adb: Correct typo in previous change (not my day!)
1628
 
1629
2001-10-25  Robert Dewar  
1630
 
1631
        * s-tpinop.ads: Add 2001 to copyright notice. Fix header format.
1632
 
1633
2001-10-25  Pascal Obry  
1634
 
1635
        * g-awk.ads: Move all pragma inlines next to the routine
1636
         declarations. This is more uniform with other GNAT spec.
1637
 
1638
2001-10-22  Geert Bosch  
1639
 
1640
        * Make-lang.in (gnattools, cross-gnattools): Remove gnatmem.
1641
 
1642
2001-10-19  Geert Bosch  
1643
 
1644
        * Makefile.in (tools, gnattools): Remove gnatmem.
1645
 
1646
2001-10-17  Richard Henderson  
1647
 
1648
        * Makefile.in (misc.o): Depend on langhooks.h.
1649
        * misc.c: Include it.
1650
        (LANG_HOOKS_INIT, LANG_HOOKS_INIT_OPTIONS): New.
1651
        (LANG_HOOKS_DECODE_OPTION): New.
1652
        (lang_hooks): Use LANG_HOOKS_INITIALIZER.
1653
 
1654
2001-10-16  Florian Weimer  
1655
 
1656
        * trans.c (tree_transform): Adjust to recent change in
1657
        expand_asm_operands to implement named asm operands.
1658
 
1659
2001-10-11  Ed Schonberg  
1660
 
1661
        * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Bugfix in
1662
        renaming of discriminant for mutable record type.
1663
 
1664
2001-10-11  Robert Dewar  
1665
 
1666
        * validsw.adb: Properly save -gnatVn status.
1667
 
1668
2001-10-11  Robert Dewar  
1669
 
1670
        * usage.adb: Add lines for V switch.
1671
 
1672
        * gnatcmd.adb (COMPILE): Revise translations for -gnatV
1673
        (/VALIDITY_CHECKING).
1674
 
1675
2001-10-11  Ed Schonberg  
1676
 
1677
        * sem_type.adb (Add_One_Interp): an operator for a type declared in
1678
        an extension of System is known to be visible.
1679
 
1680
2001-10-11  Ed Schonberg  
1681
 
1682
        * sem_eval.adb (Compare_Fixup): get the bounds of a String_Literal
1683
        properly. Fixes regression on ACATS C34005G.
1684
 
1685
2001-10-11  Robert Dewar  
1686
 
1687
        * sem_ch5.adb (Analyze_Iteration_Scheme): Suppress warning on null
1688
        loop in generic instance, since this is likely not very useful.
1689
 
1690
2001-10-11  Robert Dewar  
1691
 
1692
        * restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize
1693
        the error message for high integrity mode.
1694
 
1695
        * rtsfind.adb (RTE): Give message if we try to find an entity that
1696
        is not available in high integrity mode.
1697
 
1698
        * rtsfind.ads:
1699
        (OK_To_Use_In_HIE_Mode): New array.
1700
        (RTE): May return Empty in high integrity mode.
1701
 
1702
        * rtsfind.ads (OK_To_Use_In_No_Run_Time_Mode): New name for
1703
        OK_To_Use_In_HIE_Mode, now includes System_FAT_xxx.
1704
 
1705
        * sem_ch6.adb (Analyze_Subprogram_Body): Kill body in predefined
1706
        unit if not inlined always and in no runtime mode. Fixes problem
1707
        caused by new Rtsfind changes.
1708
 
1709
        * sem_ch6.adb (Analyze_Subrogram_Body): Do not Check_References if
1710
        body is deleted.
1711
 
1712
        * rtsfind.adb (RTE): Make sure we do not try to load unit after
1713
        giving message for entity not available in high integrity mode.
1714
 
1715
2001-10-11  Pascal Obry  
1716
 
1717
        * impunit.adb: Add GNAT.CRC32.
1718
 
1719
2001-10-11  Ed Schonberg  
1720
 
1721
        * exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Fixed): handle
1722
        properly the case where one universal operand in a non-static
1723
        exponentiation of a real literal.
1724
 
1725
2001-10-11  Ed Schonberg  
1726
 
1727
        * exp_ch7.adb (Find_Final_List): for a type appearing in a with_type
1728
        clause, return the gobal finalization list, for lack of anthing else.
1729
 
1730
2001-10-11  Ed Schonberg  
1731
 
1732
        * exp_ch7.adb (Make_Transient_Block): if statement is within
1733
        exception handler, always use new transient scope to place Clean
1734
        procedure.
1735
 
1736
2001-10-11  Pascal Obry  
1737
 
1738
        * Makefile.in:
1739
        (GNAT_ADA_OBJS): add g-crc32.o, a-tags.o, a-stream.o
1740
        (GNATBIND_OBJS): add g-crc32.o, a-tags.o, a-stream.o
1741
        (GNATLS_RTL_OBJS): add g-crc32.o
1742
        (GNATMAKE_RTL_OBJS): add g-crc32.o
1743
 
1744
        * ali-util.adb:
1745
        (CRC_Match): new function.
1746
        (Get_File_Checksum): renamed Get_File_CRC. Use the GNAT.CRC32 unit
1747
        instead of the previous simple checksum algorithm.
1748
        (Time_Stamp_Mismatch): use CRC_Match for comparison.
1749
        (Set_Source_Table): idem.
1750
 
1751
        * ali-util.ads:
1752
        (Get_File_Checksum): renamed Get_File_CRC as now we compute CRC
1753
        instead of simple checksum.
1754
        (CRC_Match): new function.
1755
        (CRC_Error): new constant.
1756
 
1757
        * ali.adb (Scan_ALI): rename variable Chk to CRC as we are handling
1758
        a CRC now and not a simple checksum. A CRC uses lower-case hex
1759
        letters, fixes ambiguity in parsing.
1760
 
1761
        * ali.ads (Sdep_Record.Checksum): renamed Sdep_Record.CRC as this
1762
        is what this variable will store.
1763
 
1764
        * bcheck.adb: Change reference to chechsum in comments by CRC.
1765
        (Check_Consistency): Rename Get_File_Checksum to Get_File_CRC.
1766
        rename All_Checksum_Match to All_CRC_Match. Change due to API
1767
        renaming since now GNAT does not use a simple checksum but a
1768
        CRC using GNAT.CRC32.
1769
 
1770
        * gnatls.adb: Rename Checksum to CRC in many places, we use a CRC
1771
        now and not anymore a simple checksum.
1772
 
1773
        * lib-load.adb: Use Source_CRC instead of Source_Checksum in many
1774
        places.
1775
 
1776
        * lib-writ.adb (Write_ALI): Use Source_CRC instead of Source_Checksum.
1777
 
1778
        * scans.adb:
1779
        (Restore_Scan_State): rename Checksum to CRC.
1780
        (Save_Scan_State): idem.
1781
 
1782
        * scans.ads:
1783
        With GNAT.CRC32.
1784
        (Checksum): rename to CRC.
1785
        (Saved_Scan_State): Save_Checksum field renamed to Save_CRC
1786
 
1787
        * scn-nlit.adb: Rename many Accumulate_Checksum to Update (from
1788
        GNAT.CRC32).  Update copyright notice.
1789
 
1790
        * scn-slit.adb: Rename many Accumulate_Checksum to Update (from
1791
        GNAT.CRC32).  Update copyright notice.
1792
 
1793
        * scn.adb:
1794
        (Accumulate_Checksum): removed.
1795
        (Update): new procedure. Add a wide-character into the CRC.
1796
 
1797
        * sinput-l.adb:
1798
        (Complete_Source_File_Entry): use CRC32 instead of simple checksum.
1799
        (Load_File): fix initialization of S (change Source_Checksum to
1800
        Source_CRC)
1801
 
1802
        * sinput-p.adb (Load_Project_File): rename Source_Checksum to
1803
        Source_CRC in S initialization.
1804
 
1805
        * sinput.adb (Source_Checksum): renamed to Source_CRC.
1806
 
1807
        * sinput.ads (Source_Checksum): renamed to Source_CRC.
1808
        Update comments for the CRC.
1809
 
1810
        * types.adb (Hex): Use lowercase for the letter part.
1811
 
1812
        * types.ads (Get_Hex_String): Returns the hexadecimal representation
1813
        for a word. This is currently used only for CRC. In previous version,
1814
        the checksum was using a representation with all letter being
1815
        upper-case. With the new implementation (using CRC) we do not remove
1816
        the 32th bit of the CRC, so we can have an upper-case starting letter
1817
        in the CRC. This is not possible to parse in Scan_ALI (ali.adb).
1818
        It is ambigous since the CRC was optional and could be followed by
1819
        options like EB, EE. So now this routines uses lower-case letter for
1820
        the hexadecimal representation. Strange enough only lower case letters
1821
        where checked in Scan_ALI (even if this was not a possible case).
1822
 
1823
        * gnatvsn.ads (Library_Version): changed to 3.15a.
1824
 
1825
        * s-crc32.ads: Initial version from GNAT.CRC32. This is the version
1826
        for the compiler.
1827
 
1828
        * s-crc32.adb: Initial version from GNAT.CRC32. This is the version
1829
        for the compiler.
1830
 
1831
        * ali-util.adb: Redo previous change to avoid using word CRC everywhere
1832
        Add 2001 to copyright notice
1833
        (Accumulate_Checksum): Modify to use System.CRC32.
1834
 
1835
        * ali-util.ads: Redo changes of previous revision to continue to use
1836
        the word Checksum. Add 2001 to copyright notice.
1837
 
1838
        * ali.adb: Undo some of previous changes, not needed.
1839
        Keep the change for lower case letters in the checksum.
1840
 
1841
        * ali.ads: Undo previous change not needed.
1842
 
1843
        * bcheck.adb: Undo most of previous change, not needed.
1844
        But do use Checksums_Match for checksum comparison.
1845
 
1846
        * gnatls.adb: Undo most of previous change, not needed.
1847
        But do use Checksums_Match for comparing checksums.
1848
 
1849
        * lib-load.adb: Undo previous change, not needed.
1850
 
1851
        * lib-writ.adb: Undo previous change, not needed.
1852
 
1853
        * lib-writ.ads: Document that checksums use lower case,
1854
        not upper case letters.
1855
 
1856
        * scans.adb: Undo previous change, not needed
1857
 
1858
        * scans.ads: Undo previous change, not needed.
1859
 
1860
        * scn-nlit.adb: Undo previous changes, not needed.
1861
 
1862
        * scn-slit.adb: Undo previous change, not needed.  Fix header format.
1863
 
1864
        * scn.adb:
1865
        (Accumulate_Checksum): Use System.CRC32.
1866
        (Initialize_Checksum): New procedure.
1867
        Remove other changes of previous revision.
1868
 
1869
        * sinput-p.adb: Undo previous change, not needed.
1870
 
1871
        * sinput.adb: Undo previous change, not needed.
1872
 
1873
        * sinput-l.adb: Undo previous change, not needed.
1874
 
1875
        * sinput.ads: Undo previous change, not needed.  Keep only comment
1876
        on new checksum algorithm
1877
 
1878
        * Makefile.in: Add s-crc32 as needed, remove g-crc32.
1879
        Also remove a-tags and a-stream from GNAT sources.
1880
 
1881
        * ali.adb (Scan_ALI): fix typo introduce in latest check-in.
1882
 
1883
        * Makefile.in (GNATRTL_NONTASKING_OBJS): Add g-crc32.o.
1884
 
1885
2001-10-11  Geert Bosch  
1886
 
1887
        * einfo.h: Regenerate.
1888
 
1889
        * nmake.ads: Regenerate.
1890
 
1891
        * nmake.adb: Regenerate.
1892
 
1893
        * sinfo.h: Regenerate.
1894
 
1895
        * treeprs.adb: Regenerate.
1896
 
1897
2001-10-10  Geert Bosch  
1898
 
1899
        * gnat-style.texi: New file describing coding guidelines for Ada.
1900
 
1901
2001-10-10  Ed Schonberg  
1902
 
1903
        * einfo.adb (Write_Entity_Flags): Elaboration_Entity_Required
1904
        is Flag174.
1905
 
1906
2001-10-10  Geert Bosch  
1907
 
1908
        * snames.ads: Add new names for project facility.
1909
 
1910
        * snames.adb: Update to reflect snames.ads changes.
1911
 
1912
        * snames.h: Update to reflect snames.ads changes.
1913
 
1914
2001-10-10  Vincent Celier  
1915
 
1916
        * make.adb:
1917
        (Add_Switches): reflect the changes for the switches attributes
1918
        Default_Switches indexed by the programming language,
1919
        Switches indexed by the file name.
1920
        (Collect_Arguments_And_Compile): Idem.
1921
        Reflect the attribute name changes.
1922
 
1923
        * prj-attr.adb:
1924
        (Initialisation_Data): Change the names of some packages and
1925
        attributes.
1926
        (Initialize): process case insensitive associative arrays.
1927
 
1928
        * prj-attr.ads:
1929
        (Attribute_Kind): Remove Both, add Case_Insensitive_Associative_Array.
1930
 
1931
        * prj-dect.adb:
1932
        (Parse_Attribute_Declaration): For case insensitive associative
1933
         arrays, set the index string to lower case.
1934
 
1935
        * prj-env.adb:
1936
        Reflect the changes of the project attributes.
1937
 
1938
        * prj-nmsc.adb:
1939
        Replace Check_Naming_Scheme by Ada_Check and
1940
        Language_Independent_Check.
1941
 
1942
        * prj-nmsc.ads:
1943
        Replaced Check_Naming_Scheme by 2 procedures:
1944
        Ada_Check and Language_Independent_Check.
1945
 
1946
        * prj-proc.adb:
1947
        (Process_Declarative_Items): For case-insensitive associative
1948
        arrays, set the index string to lower case.
1949
        (Recursive_Check): Call Prj.Nmsc.Ada_Check, instead of
1950
        Prj.Nmsc.Check_Naming_Scheme.
1951
 
1952
        * prj-tree.adb:
1953
        (Case_Insensitive): New function
1954
        (Set_Case_Insensitive): New procedure
1955
 
1956
        * prj-tree.ads:
1957
        (Case_Insensitive): New function
1958
        (Set_Case_Insensitive): New procedure
1959
        (Project_Node_Record): New flag Case_Insensitive.
1960
 
1961
        * prj-util.adb:
1962
        (Value_Of): new function to get the string value of a single
1963
        string variable or attribute.
1964
 
1965
        * prj-util.ads:
1966
        (Value_Of): new function to get the string value of a single
1967
        string variable or attribute.
1968
 
1969
        * prj.adb:
1970
        (Ada_Default_Spec_Suffix): New function
1971
        (Ada_Default_Impl_Suffix): New function
1972
        Change definitions of several constants to reflect
1973
        new components of record types.
1974
 
1975
        * prj.ads:
1976
        (Naming_Data): Change several components to reflect new
1977
        elements of naming schemes.
1978
        (Project_Data): New flags Sources_Present and
1979
        Language_Independent_Checked.
1980
        (Ada_Default_Spec_Suffix): New function.
1981
        (Ada_Default_Impl_Suffix): New function.
1982
 
1983
        * snames.ads:
1984
        Modification of predefined names for project manager: added
1985
        Implementation, Specification_Exceptions, Implementation_Exceptions,
1986
        Specification_Suffix, Implementation_Suffix, Separate_Suffix,
1987
        Default_Switches, _Languages, Builder, Cross_Reference,
1988
        Finder. Removed Body_Part, Specification_Append, Body_Append,
1989
        Separate_Append, Gnatmake, Gnatxref, Gnatfind, Gnatbind,
1990
        Gnatlink.
1991
 
1992
        * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
1993
        Add comments.
1994
 
1995
        * prj-nmsc.adb (Ada_Check): Test that Separate_Suffix is defaulted,
1996
        not that it is Nil_Variable_Value.
1997
 
1998
        * prj.ads: Add ??? for uncommented declarations
1999
 
2000
2001-10-10  Ed Schonberg  
2001
 
2002
        * sem_prag.adb: (Analyze_Pragma, case External): If entity is a
2003
        constant, do not indicate possible modification, so that gigi can
2004
        treat it as a bona fide constant.
2005
 
2006
2001-10-10  Robert Dewar  
2007
 
2008
        * sem_prag.adb: Add processing for pragma External.
2009
 
2010
        * snames.ads: Add entry for pragma External.
2011
 
2012
        * par-prag.adb: Add pragma External.
2013
 
2014
        * snames.adb: Updated to match snames.ads.
2015
 
2016
2001-10-10  Ed Schonberg  
2017
 
2018
        * exp_ch4.adb (Expand_N_Allocator): Generate meaningful names for
2019
        a dynamic task if the allocator appears in an indexed assignment
2020
        or selected component assignment.
2021
 
2022
        * exp_util.adb (Build_Task_Array_Image, Build_Task_Record_Image):
2023
        For a dynamic task in an assignment statement, use target of
2024
        assignment to generate meaningful name.
2025
 
2026
2001-10-10  Ed Schonberg  
2027
 
2028
        * einfo.adb (Write_Field19_Name): Body_Entity is also defined for
2029
        a generic package.
2030
 
2031
        * einfo.ads: Body_Entity is also defined for generic package.
2032
        Documentation change only
2033
 
2034
        * exp_aggr.adb (Build_Array_Aggr_Code): When expanding an
2035
        others_choice for a discriminated component initialization,
2036
        convert discriminant references into the corresponding discriminals.
2037
 
2038
        * exp_ch3.adb (Get_Simple_Init_Val): Add qualification to aggregate
2039
        only if original type is private and expression has to be wrapped
2040
        in a conversion.
2041
 
2042
        * checks.adb:
2043
        (Apply_Constraint_Check): Do not perform length check
2044
        if expression is an aggregate with only an others_choice.
2045
        (Length_N_Cond): two references to the same in_parameter
2046
        (typically the discriminal in an init_proc) denote the same value.
2047
        Two useful optimization uncovered by bugfixes above.
2048
 
2049
2001-10-10  Robert Dewar  
2050
 
2051
        * xeinfo.adb: Change int to char in translation of enumeration types.
2052
        This fixes a problem in the C representation of component alignment.
2053
        Add 2001 to copyright notice
2054
 
2055
2001-10-10  Richard Kenner  
2056
 
2057
        * decl.c: (validate_size): Do check size of object of integral type
2058
        if it is a packed array type.
2059
 
2060
2001-10-10  Richard Kenner  
2061
 
2062
        * decl.c: (gnat_to_gnu_entity, case object): Also materialize
2063
        VAR_DECL for constant if not Is_Public but -O0.
2064
 
2065
2001-10-10  Richard Kenner  
2066
 
2067
        * misc.c (struct lang_hooks): Add new initializer to match GCC change.
2068
 
2069
2001-10-10  Geert Bosch  
2070
 
2071
        * xnmake.adb (XNmake): Fix handling of -s/-b options.  No longer
2072
        use '/' as switch character, allowing for absolute file names.
2073
 
2074
2001-10-09  Joseph S. Myers  
2075
 
2076
        * 4gintnam.ads, Make-lang.in, Makefile.in, config-lang.in: Update
2077
        FSF address.
2078
 
2079
2001-10-08  Geert Bosch  
2080
 
2081
        * Makefile.in (treeprs.ads, einfo.h, sinfo.h, nmake.adb, nmake.ads):
2082
        Automatically build utilities when files need to be regenerated.
2083
 
2084
2001-10-08  Geert Bosch  
2085
 
2086
        * xsnames.adb: New utility for updating snames.ads and snames.adb
2087
 
2088
2001-10-08  Zack Weinberg  
2089
 
2090
        * Make-lang.in (ADAFLAGS): Add -W -Wall.
2091
        (ADA_FLAGS_TO_PASS): Set ADA_CFLAGS=$(CFLAGS) also.
2092
        (gnat1): Also depend on attribs.o.
2093
        (gnatlib, gnatlib-shared): Set CC and ADAC in recursive make.
2094
        * Makefile.in (X_ADAFLAGS, T_ADAFLAGS): New.
2095
        (ADAC): Set to @ADAC@ in stage1, $(CC) later.
2096
        (ADAFLAGS): Add -W -Wall.
2097
        (ALL_ADAFLAGS, MOST_ADAFLAGS): Add X_ADAFLAGS and T_ADAFLAGS;
2098
        take out CFLAGS.
2099
 
2100
        (.adb.o, .ads.o, a-numaux.o, a-teioed.o, s-interr.o,
2101
        s-taskin.o, sdefault.o, s-tasdeb.o, s-vaflop.o, a-except.o,
2102
        s-assert.o, s-stalib.o, s-memory.o, memtrack.o, mlib-tgt.o):
2103
        Use $(ADAC), not $(CC), as compilation command.
2104
 
2105
        (gnattools): Depend directly on tools to build, don't use
2106
        recursive make.
2107
        (gnatlib): Set ADA_CFLAGS=$(GNATLIBCFLAGS) in recursive make.
2108
 
2109
        * einfo.h, sinfo.h: New files (autogenerated).
2110
 
2111
2001-10-08  Richard Henderson  
2112
 
2113
        * comperr.adb (Abort_In_Progress): New.
2114
        (Compiler_Abort): Use it to prevent recursion.
2115
 
2116
2001-10-08  Robert Dewar  
2117
 
2118
        * atree.adb: Set Error_Posted in Error node, helps error recovery.
2119
 
2120
        * par-endh.adb (Output_End_Expected): We should also not test
2121
        Error_Posted on the Error node, since now it is always set.
2122
 
2123
        * cstand.adb (Create_Standard): Set Etype of Error to Any_Type
2124
        to help error recovery. Part of general work on 9407-004.
2125
 
2126
        * par.adb: Add ??? for misuse of error
2127
 
2128
        * sem_res.adb:
2129
        (Resolve): Defend against Error, fixes 9407-003.
2130
        (Resolve_Discrete_Subtype_Indication): Defend against Error.
2131
 
2132
        * sinfo.ads (N_Error): Now has Etype field (which will be set
2133
        to Any_Type to help error recovery).
2134
 
2135
2001-10-08  Richard Kenner  
2136
 
2137
        * misc.c (gnat_expand_expr, case UNCHECKED_CONVERT_EXPR):
2138
        Consistently set MEM attributes from expression; fixes
2139
        bootstrap failure on x86.
2140
 
2141
2001-10-08  Geert Bosch  
2142
 
2143
        * 5oosinte.adb: Add 2001 to copyright notice.
2144
 
2145
2001-10-08  Geert Bosch  
2146
 
2147
        * ceinfo.adb: Add utility for consistency checking of einfo.ad[bs].
2148
 
2149
        * csinfo.adb: Add utility for consistency checking of sinfo.ad[bs].
2150
 
2151
2001-10-07  Joseph S. Myers  
2152
 
2153
        * 5oosinte.adb: Fix spelling error of "separate" as "seperate".
2154
 
2155
2001-10-05  Geert Bosch  
2156
 
2157
        * adaint.h: Small formatting fix.
2158
 
2159
2001-10-04  Geert Bosch  
2160
 
2161
        * sysdep.c (__gnat_set_binary_mode, __gnat_set_text_mode):
2162
        Arg is int, not FILE *, in dummy version of functions.
2163
 
2164
        * adaint.h (__gnat_set_binary_mode, __gnat_set_text_mode):
2165
        Arg is int, not FILE *.
2166
 
2167
2001-10-04  Geert Bosch  
2168
 
2169
        * 3lsoccon.ads: Added file, missed with initial check ins.
2170
 
2171
        * 4lintnam.ads: Fix header format.
2172
        Change Linux to GNU/Linux.
2173
 
2174
        * 5iosinte.adb: Change Linux to GNU/Linux.
2175
 
2176
        * 5iosinte.ads: Change Linux to GNU/Linux.
2177
 
2178
        * 5itaprop.adb: Change Linux to GNU/Linux.
2179
 
2180
        * 5itaspri.ads: Change Linux to GNU/Linux.
2181
        Update copyright notice.
2182
 
2183
        * 5lintman.adb: Change Linux to GNU/Linux.
2184
 
2185
        * 5lml-tgt.adb: Change Linux to GNU/Linux.
2186
 
2187
        * 5losinte.ads: Change Linux to GNU/Linux.
2188
 
2189
        * 5lsystem.ads: Change Linux to GNU/Linux.
2190
 
2191
        * 5qosinte.adb: Change Linux to GNU/Linux.
2192
 
2193
        * 5qosinte.ads: Change Linux to GNU/Linux.
2194
 
2195
        * 5qparame.ads: Change Linux to GNU/Linux.
2196
 
2197
        * 5qtaprop.adb: Change Linux to GNU/Linux.
2198
 
2199
        * 5qtaspri.ads: Change Linux to GNU/Linux.
2200
        Add 2001 to copyright notice.
2201
 
2202
        * 5vintman.ads: Change Linux to GNU/Linux.
2203
        Fix header format.  Add 2001 to copyright notice.
2204
 
2205
        * g-soccon.ads: Change Linux to GNU/Linux.
2206
 
2207
        * g-trasym.ads: Change Linux to GNU/Linux.
2208
        Add 2001 to copyright notice.
2209
 
2210
        * memtrack.adb: Change Linux to GNU/Linux.
2211
 
2212
        * s-intman.ads: Change Linux to GNU/Linux.
2213
        Add 2001 to copyright notice.  Fix header format.
2214
 
2215
        * s-stache.adb: Change Linux to GNU/Linux.
2216
 
2217
        * adaint.c: Change Linux to GNU/Linux.
2218
 
2219
        * cio.c: Change Linux to GNU/Linux.
2220
 
2221
        * cstreams.c: Change Linux to GNU/Linux.
2222
 
2223
        * init.c: Change Linux to GNU/Linux.
2224
 
2225
        * gmem.c: Change Linux to GNU/Linux.
2226
 
2227
        * tracebak.c: Change Linux to GNU/Linux.
2228
 
2229
2001-10-02  Geert Bosch  
2230
 
2231
        * misc.c (insert_default_attributes): Add dummy version.
2232
 
2233
 
2234
 
2235
Copyright (C) 2001 Free Software Foundation, Inc.
2236
 
2237
Copying and distribution of this file, with or without modification,
2238
are permitted in any medium without royalty provided the copyright
2239
notice and this notice are preserved.

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.