OSDN Git Service

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