1 2002-08-08 Nathan Sidwell <nathan@codesourcery.com>
3 * ada/Make-lang.in (ada.mostlyclean): Remove coverage files.
5 2002-07-29 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
7 * adadecode.c (ada_demangle): Use xstrdup in lieu of
9 * misc.c (gnat_decode_option): Likewise.
11 2002-07-15 Florian Weimer <fw@deneb.enyo.de>
13 * make.adb (Add_Switch): Make Generic_Position a procedure. The
14 function approach did not work well because of a side effect (the
15 function call could reallocate the table which was being indexed
16 using its result). Fixes ada/4851. [RESURRECTED]
18 2002-07-01 Roger Sayle <roger@eyesopen.com>
20 * ada/utils.c (builtin_function): Accept an additional parameter.
22 2002-06-28 Andreas Jaeger <aj@suse.de>
25 * Makefile.in: Fix typo in comment, patch by Adrian Knoth
28 2002-06-24 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
30 * Makefile.in (SHELL): Set to @SHELL@.
32 2002-06-20 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
34 * utils.c (init_gigi_decls): Use ARRAY_SIZE in lieu of explicit
35 array size calculation.
37 2002-06-04 Andreas Jaeger <aj@suse.de>
39 * Make-lang.in (gnatbind): Readd rule that has been lost in last
42 2002-06-03 Geoffrey Keating <geoffk@redhat.com>
44 Merge from pch-branch:
46 * config-lang.in (gtfiles): Add ada-tree.h.
47 * ada-tree.h (SET_TYPE_CI_CO_LIST): New.
48 (SET_TYPE_MODULUS): New.
49 (SET_TYPE_INDEX): New.
50 (SET_TYPE_DIGITS_VALUE): New.
51 (SET_TYPE_RM_SIZE): New.
52 (SET_TYPE_UNCONSTRAINED_ARRAY): New.
53 (SET_TYPE_ADA_SIZE): New.
54 (SET_TYPE_ACTUAL_BOUNDS): New.
55 (SET_DECL_CONST_CORRESPONDING_VAR): New.
56 (SET_DECL_ORIGINAL_FIELD): New.
57 (TREE_LOOP_ID): Correct typo.
58 * decl.c: Use new macros.
59 * utils.c: Include debug.h, use new macros.
60 * utils2.c: Use new macros.
62 * ada-tree.h: Update all macros for new tree description.
63 (struct tree_loop_id): New.
64 (union lang_tree_node): New.
65 (struct lang_decl): New.
66 (struct lang_type): New.
67 * misc.c (gnat_mark_tree): Delete.
68 (LANG_HOOKS_MARK_TREE): Delete.
69 * trans.c (tree_transform): No longer any need to cast
72 * utils.c (struct language_function): New dummy structure.
74 * Makefile.in (decl.o): gt-ada-<filename.h> is in objdir, not srcdir.
76 (utils.o): Likewise; also gtype-ada.h.
77 * Make-lang.in (gnat1): Add dependency on s-gtype.
78 (gnatbind): Add dependency on $(CONFIG_H).
79 * utils.c: Correct last #include.
80 (stuct e_stack): Remove unnecessary 'static'.
81 (mark_e_stack): Remove unused prototype.
83 * scn-nlit.adb: Remove whitespace after version number to
84 keep lines under 80 chars.
85 * snames.adb: Likewise.
86 * treepr.ads: Likewise.
88 * Makefile.in (decl.o): Include gt-ada-<filename>.h.
90 (utils.o): Include gt-ada-<filename>.h and gtype-ada.h.
91 * config-lang.in (gtfiles): New.
92 * decl.c: Use gengtype for roots.
93 * gigi.h: Use gengtype for roots.
94 * trans.c: Use gengtype for roots.
95 * utils.c: Use gengtype for roots, marking. Include gtype-ada.h.
97 2002-06-02 Gabriel Dos Reis <gdr@codesourcery.com>
99 * misc.c (gnat_init): Adjust setting of internal_error_function.
101 2002-06-01 Joseph S. Myers <jsm28@cam.ac.uk>
103 * gnat_ug.texi: Use @ifnottex instead of @ifinfo.
104 * gnat_ug_unx.texi, gnat_ug_vms.texi, gnat_ug_vxw.texi,
105 gnat_ug_wnt.texi: Regenerate.
107 2002-05-31 Florian Weimer <fw@deneb.enyo.de>
109 * 5ntaprop.adb (with System.OS_Primitives): Remove.
111 * cstreams.c (max_path_len): Move from here ...
112 * adaint.c (__gnat_max_path_len): ... to here.
113 * adaint.c (__gnat_max_path_len): Declare.
114 * g-dirope.adb (Max_Path): Adjust.
115 * g-os_lib.adb (Normalize_Pathname.Max_Path): Adjust.
116 * i-cstrea.ads (max_path_len): Adjust.
117 * osint.adb (Get_RTS_Search_Dir.Max_Path): Adjust.
118 * xr_tabls.adb (Dir_Name.Max_Path: Adjust.
120 * Makefile.in, Make-lang.in: Documentation is now built in
121 Make-lang.in. Store Info and generated Texinfo files in the
123 * gnat_ug.texi: Remove CVS keywords, correct version number.
124 Set file name correctly.
126 * gnat_ug_*.texi: Add.
127 * .cvsignore: Ignore generated Texinfo files.
129 2002-05-30 Zack Weinberg <zack@codesourcery.com>
131 * ada.h: Add MI guard macro.
132 (SUBTYPE): Define constants with an anonymous enum, not static
134 (IN): Cast constants to appropriate type before use.
136 2002-05-26 Joseph S. Myers <jsm28@cam.ac.uk>
138 * gnatvsn.ads (Gnat_Version_String): Change to "3.2 20020526
141 2002-05-23 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>
143 * Make-lang.in (CP, ECHO): Copy from Makefile.in.
144 (X_ADA_CFLAGS, T_ADA_CFLAGS, X_ADAFLAGS, T_ADAFLAGS): Likewise.
145 (ALL_ADAFLAGS, FORCE_DEBUG_ADAFLAGS, ADA_CFLAGS): Likewise.
146 (ALL_ADA_CFLAGS): Likewise.
147 (ADA_INCLUDES): Likewise.
148 Adapt for new working dir.
149 (GNATBIND): Use Makefile.in version.
150 (.SUFFIXES): Copy from Makefile.in.
152 (.adb.o, .ads.o): Copy from Makefile.in.
153 Added $(OUTPUT_OPTION).
154 (GNAT1_C_OBJS): Moved from Makefile.in.
155 Prefix with ada subdir.
156 (GNAT_ADA_OBJS, GNAT1_ADA_OBJS, GNAT1_OBJS, GNATBIND_OBJS): Likewise.
157 (EXTRA_GNAT1_OBJS): Moved from Makefile.in.
158 Adapt for new working dir.
159 (EXTRA_GNATBIND_OBJS): Likewise.
160 (ADA_BACKEND): Moved from Makefile.in.
161 Renamed to avoid conflict with global BACKEND.
163 (TARGET_ADA_SRCS): Moved from Makefile.in.
164 (gnat1$(exeext)): Replaced recursive rule with Makefile.in version.
166 (gnatbind$(exeext)): Replaced recursive rule with Makefile.in version.
167 (ada_extra_files): Moved from Makefile.in.
168 Prefix with ada subdir.
169 (ada/b_gnat1.c, ada/b_gnat1.o, ada/b_gnatb.c, ada/b_gnatb.o): Likewise.
170 (ada/treeprs.ads, ada/einfo.h, ada/sinfo.h, ada/nmake.adb): Likewise.
171 (ada/nmake.ads): Likewise.
172 (update-sources): Moved from Makefile.in.
173 Prefix with ada subdir.
174 (ada/sdefault.adb, ada/stamp-sdefault, ada/sdefault.o): Likewise.
175 (ADA_TREE_H): Likewise.
176 (ada/a-except.o, ada/s-assert.o, ada/s-memory.o): Likewise.
177 (ada/memtrack.o): Likewise.
178 (ada/adadecode.o): Likewise.
181 (ada/argv.o): Moved from Makefile.in.
182 Prefix with ada subdir.
184 (ada/cstreams.o, ada/exit.o, ada/final.o, ada/link.o): Likewise.
185 (ada/cio.o, ada/init.o, ada/raise.o, ada/tracebak.o): Likewise.
186 (ada/cuintp.o, ada/decl.o, ada/misc.o): Moved from Makefile.in.
187 Prefix with ada subdir.
188 (ada/targtyps.o, ada/trans.o, ada/utils.o, ada/utils2.o): Likewise.
189 (GNAT DEPENDENCIES): Regenerate.
190 * Makefile.in (MACHMODE_H, RTL_H, TREE_H): Removed, provided by
191 toplevel Makefile.in.
192 (EXTRA_GNAT1_OBJS, EXTRA_GNATBIND_OBJS): Removed.
193 (TARGET_ADA_SRCS): Removed.
194 (GNAT1_C_OBJS, GNAT_ADA_OBJS, GNAT1_ADA_OBJS, GNAT1_OBJS): Likewise.
195 (GNATBIND_OBJS): Likewise.
196 (ADA_INCLUDE_DIR, ADA_RTL_OBJ_DIR): Moved here.
198 (../gnat1$(exeext), ../gnatbind$(exeext)): Likewise.
200 (ada_extra_files): Likewise.
201 (b_gnat1.c, b_gnat1.o, b_gnatb.c, b_gnatb.o): Likewise.
202 (treeprs.ads, einfo.h, sinfo.h, nmake.adb, nmake.ads): Likewise.
203 (update-sources): Likewise.
204 (sdefault.adb, stamp-sdefault, sdefault.o): Likewise
205 (ADA_TREE_H): Likewise.
206 (adadecoce.o): Likewise.
207 (cuintp.o, decl.o, misc.o, trans.o, utils.o, utils2.o): Likewise.
208 (GNAT DEPENDENCIES): Likewise.
210 2002-05-16 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>
212 * Makefile.adalib: Allow for PWDCMD to override hardcoded pwd.
213 * Makefile.in: Likewise.
215 2002-05-14 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>
217 * Make-lang.in (gnat1$(exeext), gnatbind$(exeext), gnattools):
218 Restore $(CONFIG_H) and prefix.o dependencies.
219 (ada.stage[1-4]): Depend on stage?-start.
221 * Makefile.in (b_gnatb.c): Depend on interfac.o.
223 2002-05-02 Jim Wilson <wilson@redhat.com>
225 * utils.c (finish_record_type): Change record_size to record_type.
227 2001-05-02 John David Anglin <dave@hiauly1.hia.nrc.ca>
229 * ada/Makefile.in (X_ADA_CFLAGS, T_ADA_CFLAGS): New fragment overrides.
230 (ALL_ADA_CFLAGS): Define. Replace ADA_CFLAGS with ALL_ADA_CFLAGS in
231 ALL_ADAFLAGS, MOST_ADAFLAGS, and all compilations using CC.
233 2002-04-25 Neil Booth <neil@daikokuya.demon.co.uk>
235 * misc.c (gnat_parse_file): Update.
237 2002-04-24 Neil Booth <neil@daikokuya.demon.co.uk>
239 * misc.c (gnat_init): Don't set lang_attribute_common.
241 2002-04-21 Joseph S. Myers <jsm28@cam.ac.uk>
243 * gnat_rm.texi: Use @ifnottex instead of @ifinfo.
245 2002-04-21 Florian Weimer <fw@deneb.enyo.de>
247 * gnat_ug.texi: New file.
249 * gnat_rm.texi: Do not include texiplus.texi. Include fdl.texi
252 * xgnatug.adb, ug_words: New files.
254 * Makefile.in (doc, dvi): New targets. Build gnat_ug_*,
255 gnat_rm and gnat-style manuals.
257 2002-04-18 Neil Booth <neil@daikokuya.demon.co.uk>
259 * gigi.h (incomplete_type_error): Remove.
260 * utils.c (incomplete_type_error): Remove.
262 2002-04-16 Mark Mitchell <mark@codesourcery.com>
264 * trans.c (tree_transform): Add has_scope argument to
265 expand_start_stmt_expr.
267 2002-04-04 Neil Booth <neil@daikokuya.demon.co.uk>
269 * gigi.h (truthvalue_conversion): Rename.
270 * misc.c (LANG_HOOKS_TRUTHVALUE_CONVERSION): Redefine.
271 * trans.c (tree_transform): Update.
272 * utils2.c (truthvalue_conversion): Rename, update.
273 (build_binary_op, build_unary_op): Update.
275 2002-04-04 Laurent Guerby <guerby@acm.org>
277 * make.adb: Implement -margs, remove restriction about file name placement.
278 * makeusg.adb: Documentation update.
279 * Makefile.in (TOOLS_FLAGS_TO_PASS): Add VPATH=$(fsrcdir).
280 * Makefile.in (gnattools3): Comment out, gnatmem does not build without libaddr2line.
282 2002-04-04 Neil Booth <neil@daikokuya.demon.co.uk>
284 * utils.c (create_subprog_decl): Use SET_DECL_ASSEMBLER_NAME.
285 (builtin_function): Similarly.
287 2002-04-01 Neil Booth <neil@daikokuya.demon.co.uk>
289 * decl.c (gnat_to_gnu_entity): Update.
290 * gigi.h (mark_addressable): Rename.
291 * misc.c (LANG_HOOKS_MARK_ADDRESSABLE): Redefine.
292 * trans.c (tree_transform): Update.
293 * utils.c (create_var_decl): Update.
294 * util2.c (build_binary_op, build_unary_op,
295 fill_vms_descriptor): Update.
296 (mark_addressable): Rename, update.
298 2002-04-01 Neil Booth <neil@daikokuya.demon.co.uk>
300 * gigi.h (unsigned_type, signed_type, signed_or_unsigned_type):
302 * misc.c (LANG_HOOKS_SIGNED_TYPE, LANG_HOOKS_UNSIGNED_TYPE,
303 LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): New.
304 * trans.c (tree_transform, convert_with_check): Update.
305 * utils.c (unsigned_type, signed_type, signed_or_unsigned_type):
308 2002-03-31 Neil Booth <neil@daikokuya.demon.co.uk>
310 * gigi.h (finish_incomplete_decl): Rename.
311 * misc.c (LANG_HOOKS_FINISH_INCOMPLETE_DECL): Redefine.
312 * utils.c (gnat_init_decl_processing): Don't set hook.
313 (finish_incomplete_decl): Rename.
315 2002-03-29 Andreas Schwab <schwab@suse.de>
317 * Makefile.in: Pass VPATH=$(fsrcdir) when calling make in rts
320 2001-03-28 Robert Dewar <dewar@gnat.com>
323 (Remove_Checks): New procedure
326 (Remove_Checks): New procedure
329 Use new Duplicate_Subexpr functions
330 (Duplicate_Subexpr_No_Checks): New procedure
331 (Duplicate_Subexpr_No_Checks_Orig): New procedure
332 (Duplicate_Subexpr): Restore original form (checks duplicated)
333 (Duplicate_Subexpr): Call Remove_Checks
336 (Duplicate_Subexpr_No_Checks): New procedure
337 (Duplicate_Subexpr_No_Checks_Orig): New procedure
338 Add 2002 to copyright notice
340 * sem_util.adb: Use new Duplicate_Subexpr functions
343 (Eval_Indexed_Component): This is the place to call
344 Constant_Array_Ref and to replace the value. We simply merge
345 the code of this function in here, since it is now no longer
346 used elsewhere. This fixes the problem of the back end not
347 realizing we were clever enough to see that this was
349 (Expr_Val): Remove call to Constant_Array_Ref
350 (Expr_Rep_Val): Remove call to Constant_Array_Ref
352 (Constant_Array_Ref): Deal with string literals (patch
353 suggested by Zack Weinberg on the gcc list)
355 2001-03-28 Ed Schonberg <schonber@gnat.com>
357 * exp_util.adb: Duplicate_Subexpr_No_Checks_Orig =>
358 Duplicate_Subexpr_Move_Checks.
360 * exp_util.ads: Duplicate_Subexpr_No_Checks_Orig =>
361 Duplicate_Subexpr_Move_Checks.
363 * sem_eval.adb: (Constant_Array_Ref): Verify that constant
364 value of array exists before retrieving it (it may a private
365 protected component in a function).
367 2002-03-28 Geert Bosch <bosch@gnat.com>
369 * prj-pp.adb : New file.
371 * prj-pp.ads : New file.
373 2002-03-28 Andreas Jaeger <aj@suse.de>
375 * Makefile.in (stamp-sdefault): Fix path for Makefile.
377 2002-03-28 Neil Booth <neil@daikokuya.demon.co.uk>
379 * misc.c (gnat_expand_expr): Move prototype.
381 2002-03-27 Neil Booth <neil@daikokuya.demon.co.uk>
383 * misc.c (insert_default_attributes): Remove.
385 2002-03-27 Neil Booth <neil@daikokuya.demon.co.uk>
387 * misc.c (LANG_HOOKS_EXPAND_EXPR): Redefine.
388 (gnat_init): Don't set hook.
389 (gnat_expand_expr): Fix prototype.
391 2002-03-27 Neil Booth <neil@daikokuya.demon.co.uk>
393 * misc.c (ggc_p): Remove.
395 2002-03-27 Geert Bosch <bosch@gnat.com>
397 * prj-makr.ads, prj-makr.adb : New files.
399 2002-03-26 Neil Booth <neil@daikokuya.demon.co.uk>
401 * misc.c (LANG_HOOKS_MARK_TREE): Redefine.
402 (lang_mark_tree): Make static, rename.
404 2002-03-25 Neil Booth <neil@daikokuya.demon.co.uk>
406 * misc.c (maybe_build_cleanup): Remove.
408 2002-03-24 Neil Booth <neil@daikokuya.demon.co.uk>
410 * gigi.h (yyparse): Remove.
412 2002-03-23 Florian Weimer <fw@deneb.enyo.de>
414 * gnat_rm.texi: Sync with ACT version.
415 (From Ben Brosgol <brosgol@gnat.com>)
417 2002-03-20 Neil Booth <neil@daikokuya.demon.co.uk>
419 * misc.c (LANG_HOOKS_DECL_PRINTABLE_NAME): Redefine.
420 (gnat_init): Remove old hook.
422 2002-03-17 Neil Booth <neil@daikokuya.demon.co.uk>
424 * misc.c (LANG_HOOKS_PARSE_FILE): Redefine.
425 (yyparse): Rename gnat_parse_file.
427 2002-03-14 Geoffrey Keating <geoffk@redhat.com>
429 Delete all lines containing "$Revision:".
430 * xeinfo.adb: Don't look for revision numbers.
431 * xnmake.adb: Likewise.
432 * xsinfo.adb: Likewise.
433 * xsnames.adb: Likewise.
434 * xtreeprs.adb: Likewise.
436 2002-03-12 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
438 * misc.c (gnat_tree_code_type, gnat_tree_code_length,
439 gnat_tree_code_name): Delete.
440 (tree_code_type, tree_code_length, tree_code_name): Define.
441 (gnat_init): Don't try to copy into the various tree_code
444 2002-03-11 Richard Henderson <rth@redhat.com>
446 * Makefile.in (.NOTPARALLEL): Add fake tag.
448 2002-03-07 Geert Bosch <bosch@gnat.com>
450 * adadecode.c, adadecode.h, aux-io.c, s-traces.adb, s-traces.ads,
451 s-tratas.adb, s-tratas.ads, sinput-d.adb, sinput-d.ads,
452 switch-b.adb, switch-b.ads, switch-c.adb, switch-c.ads,
453 switch-m.adb, switch-m.ads : New files.
455 2002-03-07 Geert Bosch <bosch@gnat.com>
457 * 41intnam.ads, 42intnam.ads, 4aintnam.ads, 4cintnam.ads,
458 4dintnam.ads, 4gintnam.ads, 4hintnam.ads, 4lintnam.ads,
459 4mintnam.ads, 4pintnam.ads, 4rintnam.ads, 4sintnam.ads,
460 4uintnam.ads, 4vcalend.adb, 4zintnam.ads, 52system.ads,
461 5amastop.adb, 5asystem.ads, 5ataprop.adb, 5atpopsp.adb,
462 5avxwork.ads, 5bosinte.adb, 5bsystem.ads, 5esystem.ads,
463 5fsystem.ads, 5ftaprop.adb, 5ginterr.adb, 5gmastop.adb,
464 5gsystem.ads, 5gtaprop.adb, 5gtasinf.adb, 5gtasinf.ads,
465 5hparame.ads, 5hsystem.ads, 5htaprop.adb, 5htraceb.adb,
466 5itaprop.adb, 5ksystem.ads, 5kvxwork.ads, 5lintman.adb,
467 5lsystem.ads, 5mvxwork.ads, 5ninmaop.adb, 5nosinte.ads,
468 5ntaprop.adb, 5ointerr.adb, 5omastop.adb, 5oosinte.adb,
469 5osystem.ads, 5otaprop.adb, 5otaspri.ads, 5pvxwork.ads,
470 5qtaprop.adb, 5sintman.adb, 5ssystem.ads, 5staprop.adb,
471 5stpopse.adb, 5svxwork.ads, 5tosinte.ads, 5uintman.adb,
472 5vasthan.adb, 5vinmaop.adb, 5vinterr.adb, 5vintman.adb,
473 5vmastop.adb, 5vparame.ads, 5vsystem.ads, 5vtaprop.adb,
474 5vtpopde.adb, 5wmemory.adb, 5wsystem.ads, 5wtaprop.adb,
475 5ysystem.ads, 5zinterr.adb, 5zintman.adb, 5zosinte.adb,
476 5zosinte.ads, 5zsystem.ads, 5ztaprop.adb, 6vcpp.adb, 6vcstrea.adb,
477 7sintman.adb, 7staprop.adb, 7stpopsp.adb, 9drpc.adb,
478 Make-lang.in, Makefile.in, a-caldel.adb, a-comlin.ads,
479 a-dynpri.adb, a-except.adb, a-except.ads, a-finali.adb,
480 a-ncelfu.ads, a-reatim.adb, a-retide.adb, a-stream.ads,
481 a-ststio.adb, a-ststio.ads, a-stwifi.adb, a-tags.adb, a-tasatt.adb,
482 a-textio.adb, a-tideau.adb, a-tiflau.adb, a-tigeau.adb,
483 a-tigeau.ads, a-tiinau.adb, a-timoau.adb, a-witeio.adb,
484 a-wtdeau.adb, a-wtenau.adb, a-wtflau.adb, a-wtgeau.adb,
485 a-wtgeau.ads, a-wtinau.adb, a-wtmoau.adb, ada-tree.def, ada-tree.h,
486 adaint.c, adaint.h, ali-util.adb, ali.adb, ali.ads, atree.adb,
487 atree.ads, atree.h, back_end.adb, bcheck.adb, bindgen.adb,
488 bindusg.adb, checks.adb, comperr.adb, config-lang.in, csets.adb,
489 csets.ads, cstand.adb, cstreams.c, debug.adb, debug.ads, decl.c,
490 einfo.adb, einfo.ads, einfo.h, elists.h, errout.adb, errout.ads,
491 eval_fat.adb, exp_aggr.adb, exp_attr.adb, exp_ch11.adb,
492 exp_ch12.adb, exp_ch13.adb, exp_ch2.adb, exp_ch3.adb, exp_ch3.ads,
493 exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch7.adb, exp_ch7.ads,
494 exp_ch9.adb, exp_ch9.ads, exp_dbug.adb, exp_dbug.ads, exp_disp.ads,
495 exp_dist.adb, exp_fixd.adb, exp_intr.adb, exp_pakd.adb,
496 exp_prag.adb, exp_strm.adb, exp_util.adb, exp_util.ads,
497 expander.adb, expect.c, fe.h, fmap.adb, fmap.ads, fname-uf.adb,
498 freeze.adb, frontend.adb, g-awk.adb, g-cgideb.adb, g-comlin.adb,
499 g-comlin.ads, g-debpoo.adb, g-dirope.adb, g-dirope.ads,
500 g-dyntab.adb, g-expect.adb, g-expect.ads, g-io.ads, g-io_aux.adb,
501 g-io_aux.ads, g-locfil.adb, g-locfil.ads, g-os_lib.adb,
502 g-os_lib.ads, g-regexp.adb, g-regpat.adb, g-socket.adb,
503 g-socket.ads, g-spipat.adb, g-table.adb, g-trasym.adb,
504 g-trasym.ads, gigi.h, gmem.c, gnat1drv.adb, gnatbind.adb, gnatbl.c,
505 gnatchop.adb, gnatcmd.adb, gnatdll.adb, gnatfind.adb, gnatlbr.adb,
506 gnatlink.adb, gnatls.adb, gnatmem.adb, gnatprep.adb, gnatvsn.ads,
507 gnatxref.adb, hlo.adb, hostparm.ads, i-cobol.adb, i-cpp.adb,
508 i-cstrea.ads, i-cstrin.adb, i-pacdec.adb, i-vxwork.ads,
509 impunit.adb, init.c, inline.adb, io-aux.c, layout.adb, lib-load.adb,
510 lib-util.adb, lib-writ.adb, lib-writ.ads, lib-xref.adb,
511 lib-xref.ads, lib.adb, lib.ads, make.adb, makeusg.adb, mdll.adb,
512 memroot.adb, misc.c, mlib-tgt.adb, mlib-utl.adb, mlib-utl.ads,
513 mlib.adb, namet.adb, namet.ads, namet.h, nlists.h, nmake.adb,
514 nmake.ads, nmake.adt, opt.adb, opt.ads, osint.adb, osint.ads,
515 output.adb, output.ads, par-ch2.adb, par-ch3.adb, par-ch5.adb,
516 par-prag.adb, par-tchk.adb, par-util.adb, par.adb, prj-attr.adb,
517 prj-dect.adb, prj-env.adb, prj-env.ads, prj-nmsc.adb, prj-part.adb,
518 prj-proc.adb, prj-strt.adb, prj-tree.adb, prj-tree.ads, prj.adb,
519 prj.ads, raise.c, raise.h, repinfo.adb, restrict.adb, restrict.ads,
520 rident.ads, rtsfind.adb, rtsfind.ads, s-arit64.adb, s-asthan.adb,
521 s-atacco.adb, s-atacco.ads, s-auxdec.adb, s-crc32.adb, s-crc32.ads,
522 s-direio.adb, s-fatgen.adb, s-fileio.adb, s-finimp.adb,
523 s-gloloc.adb, s-gloloc.ads, s-interr.adb, s-mastop.adb,
524 s-mastop.ads, s-memory.adb, s-parame.ads, s-parint.adb,
525 s-pooglo.adb, s-pooloc.adb, s-rpc.adb, s-secsta.adb, s-sequio.adb,
526 s-shasto.adb, s-soflin.adb, s-soflin.ads, s-stache.adb,
527 s-taasde.adb, s-taasde.ads, s-tadeca.adb, s-tadeca.ads,
528 s-tadert.adb, s-tadert.ads, s-taenca.adb, s-taenca.ads,
529 s-taprob.adb, s-taprop.ads, s-tarest.adb, s-tasdeb.adb,
530 s-tasini.adb, s-tasini.ads, s-taskin.adb, s-taskin.ads,
531 s-tasque.adb, s-tasque.ads, s-tasren.adb, s-tasren.ads,
532 s-tassta.adb, s-tasuti.adb, s-tasuti.ads, s-tataat.adb,
533 s-tataat.ads, s-tpoben.adb, s-tpoben.ads, s-tpobop.adb,
534 s-tposen.adb, s-tposen.ads, s-traceb.adb, s-traceb.ads,
535 s-unstyp.ads, s-widenu.adb, scn-nlit.adb, scn.adb, sem.adb,
536 sem_aggr.adb, sem_attr.adb, sem_attr.ads, sem_case.adb,
537 sem_ch10.adb, sem_ch11.adb, sem_ch11.ads, sem_ch12.adb,
538 sem_ch13.adb, sem_ch13.ads, sem_ch2.adb, sem_ch3.adb, sem_ch3.ads,
539 sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_ch6.ads, sem_ch7.adb,
540 sem_ch8.adb, sem_ch8.ads, sem_ch9.adb, sem_disp.adb, sem_dist.adb,
541 sem_elab.adb, sem_elim.adb, sem_elim.ads, sem_eval.adb,
542 sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb,
543 sem_type.adb, sem_util.adb, sem_util.ads, sem_vfpt.adb,
544 sem_warn.adb, sinfo.adb, sinfo.ads, sinfo.h, sinput-l.adb,
545 sinput-l.ads, sinput.adb, sinput.ads, snames.adb, snames.ads,
546 snames.h, sprint.adb, sprint.ads, stringt.adb, stringt.ads,
547 stringt.h, style.adb, switch.adb, switch.ads, sysdep.c, system.ads,
548 table.adb, targparm.adb, targparm.ads, targtyps.c, tbuild.adb,
549 tbuild.ads, tracebak.c, trans.c, tree_gen.adb, tree_io.adb,
550 treepr.adb, treepr.ads, treeprs.ads, treeprs.adt, ttypes.ads,
551 types.adb, types.ads, types.h, uintp.ads, urealp.ads, usage.adb,
552 utils.c, utils2.c, validsw.adb, xnmake.adb, xr_tabls.adb,
553 xr_tabls.ads, xref_lib.adb, xref_lib.ads : Merge in ACT changes.
555 * 1ssecsta.adb, 1ssecsta.ads, a-chlat9.ads, a-cwila9.ads,
556 g-enblsp.adb, g-md5.adb, g-md5.ads, gnatname.adb, gnatname.ads,
557 mkdir.c, osint-b.adb, osint-b.ads, osint-c.adb, osint-c.ads,
558 osint-l.adb, osint-l.ads, osint-m.adb, osint-m.ads : New files
560 * 3lsoccon.ads, 5qparame.ads, 5qvxwork.ads, 5smastop.adb,
561 5zparame.ads, gnatmain.adb, gnatmain.ads, gnatpsys.adb : Removed
563 * mdllfile.adb, mdllfile.ads, mdlltool.adb, mdlltool.ads : Renamed
564 to mdll-fil.ad[bs] and mdll-util.ad[bs]
566 * mdll-fil.adb, mdll-fil.ads, mdll-utl.adb, mdll-utl.ads : Renamed
567 from mdllfile.ad[bs] and mdlltool.ad[bs]
569 2002-03-03 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
571 * utils.c (init_gnat_to_gnu, init_gigi_decls): Use ARRAY_SIZE in
572 lieu of explicit sizeof/sizeof.
574 2002-02-28 Neil Booth <neil@daikokuya.demon.co.uk>
576 * misc.c (copy_lang_decl): Remove.
578 2002-02-27 Zack Weinberg <zack@codesourcery.com>
580 * misc.c: Delete traditional-mode-related code copied from the
581 C front end but not used, or used only to permit the compiler
584 2002-02-07 Richard Henderson <rth@redhat.com>
586 * adaint.c (__gnat_to_gm_time): First arg is int, not time_t.
587 * adaint.h (__gnat_to_gm_time): Update prototype.
589 2002-01-30 Richard Henderson <rth@redhat.com>
591 * trans.c (tree_transform) [N_Loop_Statement]: Use
592 expand_exit_loop_top_cond.
594 2001-12-23 Richard Henderson <rth@redhat.com>
596 * utils.c (end_subprog_body): Push GC context around
597 rest_of_compilation for nested functions.
599 2001-12-23 Richard Henderson <rth@redhat.com>
601 * 5nosinte.ads: Get definition of "int" from Interfaces.C.
603 2001-12-23 Florian Weimer <fw@deneb.enyo.de>
605 * gnat-style.texi (Declarations and Types): Remove ancient style
606 rule which was mandated by code generation issues.
608 * gnat-style.texi (header): Add @dircategory, @direntry.
609 (title page): Remove date.
610 (general) Add @./@: where approriate, and two spaces after the
611 full stop at the end of a sentence. Use @samp markup when
612 referring concrete lexical entities (keywords, attribute names
613 etc.), and @syntax for ARM grammar elements. Use @r for English
614 text in comments. Use @emph for emphasis. Change "if-statements"
615 etc. to "if statements" (without @samp). Break long lines. Make
616 casing of section names consistent.
617 (Identifiers): Use @samp markup for variable names.
618 (Comments): Use @samp markup for comment characters. Line-end
619 comments may follow any Ada code, not just statements. Fix
620 misspelling of "Integer" as "integer".
621 (Loop statements): Do not use variable name "I", use "J".
622 (Subprogram Declarations): Document alignment.
623 (Subprogram Bodies, Block statements): Document empty line before
626 2001-12-22 Florian Weimer <fw@deneb.enyo.de>
628 * make.adb (Add_Switch): Make Generic_Position a procedure. The
629 function approach did not work well because of a side effect (the
630 function call could reallocate the table which was being indexed
631 using its result). Fixes ada/4851.
633 2001-12-19 Robert Dewar <dewar@gnat.com>
635 * bindgen.adb: Minor reformatting
637 * cstand.adb: Minor reformatting
639 * fmap.adb: Minor reformatting
640 Change name from Add for Add_To_File_Map (Add is much too generic)
641 Change Path_Name_Of to Mapped_Path_Name
642 Change File_Name_Of to Mapped_File_Name
643 Fix copyright dates in header
646 Change name from Add for Add_To_File_Map (Add is much too generic)
647 Change Path_Name_Of to Mapped_Path_Name
648 Change File_Name_Of to Mapped_File_Name
649 Fix copyright dates in header
651 * fname-uf.adb: Minor reformatting. New names of stuff in Fmap.
652 Add use clause for Fmap.
654 * make.adb: Minor reformatting
656 * osint.adb: Minor reformatting. Change of names in Fmap.
657 Add use clause for Fmap.
659 * prj-env.adb: Minor reformatting
661 * prj-env.ads: Minor reformatting
663 * switch.adb: Minor reformatting. Do proper raise of Bad_Switch if
664 error found (there were odd exceptions to this general rule in
665 -gnatec/-gnatem processing)
667 2001-12-19 Olivier Hainque <hainque@gnat.com>
669 * raise.c (__gnat_eh_personality): Exception handling personality
670 routine for Ada. Still in rough state, inspired from the C++ version
671 and still containing a bunch of debugging artifacts.
672 (parse_lsda_header, get_ttype_entry): Local (static) helpers, also
673 inspired from the C++ library.
675 * raise.c (eh_personality): Add comments. Part of work for the GCC 3
676 exception handling integration.
678 2001-12-19 Arnaud Charlet <charlet@gnat.com>
680 * Makefile.in: Remove use of 5smastop.adb which is obsolete.
681 (HIE_SOURCES): Add s-secsta.ad{s,b}.
682 (HIE_OBJS): Add s-fat*.o
683 (RAVEN_SOURCES): Remove files that are no longer required. Add
684 interrupt handling files.
685 (RAVEN_MOD): Removed, no longer needed.
687 2001-12-19 Robert Dewar <dewar@gnat.com>
689 * a-ngelfu.adb: Remove ??? comment for inappropriate Inline_Always
690 Add 2001 to copyright date
692 * g-regpat.adb: Change pragma Inline_Always to Inline. There is no
693 need to force universal inlining for these cases.
695 2001-12-19 Arnaud Charlet <charlet@gnat.com>
697 * s-taprob.adb: Minor clean ups so that this unit can be used in
700 * exp_ch7.adb: Allow use of secondary stack in HI mode.
701 Disallow it when pragma Restrictions (No_Secondary_Stack) is specified.
703 2001-12-19 Vincent Celier <celier@gnat.com>
705 * prj-tree.ads (Project_Node_Record): Add comments for components
706 Pkg_Id and Case_Insensitive.
708 2001-12-19 Pascal Obry <obry@gnat.com>
710 * g-socket.adb: Minor reformatting. Found while reading code.
712 2001-12-19 Robert Dewar <dewar@gnat.com>
714 * prj-tree.ads: Minor reformatting
716 2001-12-20 Joseph S. Myers <jsm28@cam.ac.uk>
718 * config-lang.in (diff_excludes): Remove.
720 2001-12-17 Ed Schonberg <schonber@gnat.com>
722 * sem_res.adb (Resolve_Selected_Component): do not generate a
723 discriminant check if the selected component is a component of
724 the argument of an initialization procedure.
726 * trans.c (tree_transform, case of arithmetic operators): If result
727 type is private, the gnu_type is the base type of the full view,
728 given that the full view itself may be a subtype.
730 2001-12-17 Robert Dewar <dewar@gnat.com>
732 * sem_res.adb: Minor reformatting
734 * trans.c (tree_transform, case N_Real_Literal): Add missing third
735 parameter in call to Machine (unknown horrible effects from this
738 * urealp.h: Add definition of Round_Even for call to Machine
739 Add third parameter for Machine
741 2001-12-17 Ed Schonberg <schonber@gnat.com>
743 * sem_warn.adb (Check_One_Unit): Suppress warnings completely on
744 predefined units in No_Run_Time mode.
746 2001-12-17 Richard Kenner <kenner@gnat.com>
748 * misc.c (insn-codes.h): Now include.
750 2001-12-17 Olivier Hainque <hainque@gnat.com>
752 * a-except.adb: Preparation work for future integration of the GCC 3
753 exception handling mechanism
754 (Notify_Handled_Exception, Notify_Unhandled_Exception): New routines
755 to factorize previous code sequences and make them externally callable,
756 e.g. for the Ada personality routine when the GCC 3 mechanism is used.
757 (Propagate_Exception, Raise_Current_Excep, Raise_From_Signal_Handler):
758 Use the new notification routines.
760 2001-12-17 Emmanuel Briot <briot@gnat.com>
762 * prj-tree.ads (First_Choice_Of): Document the when others case
764 2001-12-17 Arnaud Charlet <charlet@gnat.com>
766 * bindgen.adb (Gen_Ada_Init_*): Set priority of environment task in
767 HI-E mode, in order to support Ravenscar profile properly.
769 * cstand.adb (Create_Standard): Duration is a 32 bit type in HI-E
770 mode on 32 bits targets.
772 2001-12-17 Vincent Celier <celier@gnat.com>
774 * fmap.adb: Initial version.
776 * fmap.ads: Initial version.
778 * fname-uf.adb (Get_File_Name): Use mapping if unit name mapped.
779 If search is successfully done, add to mapping.
781 * frontend.adb: Initialize the mapping if a -gnatem switch was used.
784 (Gnatmake): Add new local variable Mapping_File_Name.
785 Create mapping file when using project file(s).
786 Delete mapping file before exiting.
788 * opt.ads (Mapping_File_Name): New variable
790 * osint.adb (Find_File): Use path name found in mapping, if any.
792 * prj-env.adb (Create_Mapping_File): New procedure
794 * prj-env.ads (Create_Mapping_File): New procedure.
796 * switch.adb (Scan_Front_End_Switches): Add processing for -gnatem
799 * usage.adb: Add entry for new switch -gnatem.
801 * Makefile.in: Add dependencies for fmap.o.
803 2001-12-17 Ed Schonberg <schonber@gnat.com>
805 * sem_ch10.adb (Analyze_With_Clause): Retrieve proper entity when unit
806 is a package instantiation rewritten as a package body.
807 (Install_Withed_Unit): Undo previous change, now redundant.
809 2001-12-17 Gary Dismukes <dismukes@gnat.com>
812 (Compute_Length): Move conversion to Unsigned to callers.
813 (Get_Max_Size): Convert Len expression to Unsigned after calls to
814 Compute_Length and Determine_Range.
815 (Layout_Array_Type): Convert Len expression to Unsigned after calls to
816 Compute_Length and Determine_Range.
817 Above changes fix problem with length computation for supernull arrays
818 where Max (Len, 0) wasn't getting applied due to the Unsigned
819 conversion used by Compute_Length.
821 2001-12-17 Arnaud Charlet <charlet@gnat.com>
824 (OK_To_Use_In_No_Run_Time_Mode): Allow Ada.Exceptions and
825 System.Secondary_Stack.
826 (OK_To_Use_In_Ravenscar_Mode): New table needed to implement Ravenscar
828 Remove unused entity RE_Exception_Data.
830 * rtsfind.adb (RTE): Allow Ravenscar Profile in HI mode.
832 * rident.ads (No_Secondary_Stack): New restriction.
834 2001-12-17 Joel Brobecker <brobecke@gnat.com>
836 * gnat_rm.texi: Fix minor typos. Found while reading the section
837 regarding "Bit_Order Clauses" that was sent to a customer.
838 Very interesting documentation!
840 2001-12-17 Robert Dewar <dewar@gnat.com>
842 * sem_case.adb (Choice_Image): Avoid creating improper character
843 literal names by using the routine Set_Character_Literal_Name. This
844 fixes bombs in certain error message cases.
846 2001-12-17 Arnaud Charlet <charlet@gnat.com>
848 * a-reatim.adb: Minor reformatting.
850 2001-12-17 Ed Schonberg <schonber@gnat.com>
852 * sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly the
853 case where the formal is an extension of another formal in the current
854 unit or in a parent generic unit.
856 2001-12-17 Arnaud Charlet <charlet@gnat.com>
858 * s-tposen.adb: Update comments. Minor reformatting.
861 * s-tarest.adb: Update comments. Minor code reorganization.
863 2001-12-17 Gary Dismukes <dismukes@gnat.com>
865 * exp_attr.adb (Attribute_Tag): Suppress expansion of <type_name>'Tag
868 2001-12-17 Robert Dewar <dewar@gnat.com>
870 * exp_attr.adb: Minor reformatting
872 2001-12-17 Ed Schonberg <schonber@gnat.com>
874 * sem_ch3.adb (Build_Derived_Private_Type): Refine check to handle
875 derivations nested within a child unit: verify that the parent
876 type is declared in an outer scope.
878 2001-12-17 Robert Dewar <dewar@gnat.com>
880 * sem_ch12.adb: Minor reformatting
882 2001-12-17 Ed Schonberg <schonber@gnat.com>
884 * sem_warn.adb (Check_One_Unit): In No_Run_Time mode, do not post
885 warning if current unit is a predefined one, from which bodies may
888 2001-12-17 Robert Dewar <dewar@gnat.com>
890 * eval_fat.ads: Add comment that Round_Even is referenced in Ada code
891 Fix header format. Add 2001 to copyright date.
893 * exp_dbug.adb (Get_Encoded_Name): Fix out of bounds reference,
894 which caused CE during compilation if checks were enabled.
896 2001-12-17 Vincent Celier <celier@gnat.com>
899 (Switches_Of): New function
900 (Test_If_Relative_Path): New procedure
901 (Add_Switches): Use new function Switches_Of
902 (Collect_Arguments_And_Compile): Use new function Switches_Of.
903 When using a project file, test if there are any relative
904 search path. Fail if there are any.
905 (Gnatmake): Only add switches for the primary directory when not using
906 a project file. When using a project file, change directory to the
907 object directory of the main project file. When using a project file,
908 test if there are any relative search path. Fail if there are any.
909 When using a project file, fail if specified executable is relative
910 path with directory information, and prepend executable, if not
911 specified as an absolute path, with the exec directory. Make sure
912 that only one -o switch is transmitted to the linker.
914 * prj-attr.adb (Initialization_Data): Add project attribute Exec_Dir
917 (Ada_Check): Get Spec_Suffix_Loc and Impl_Suffix_Loc,
918 when using a non standard naming scheme.
919 (Check_Ada_Naming_Scheme): Make sure that error messages
920 do not raise exceptions.
921 (Is_Illegal_Append): Return True if there is no dot in the suffix.
922 (Language_Independent_Check): Check the exec directory.
924 * prj.adb (Project_Empty): Add new component Exec_Directory
927 (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Add defaults.
928 (Project_Data): Add component Exec_Directory
930 * snames.adb: Updated to match snames.ads revision 1.215
932 * snames.ads: Added Exec_Dir
934 2001-12-17 Robert Dewar <dewar@gnat.com>
936 * make.adb: Minor reformatting
938 * prj-nmsc.adb: Minor reformatting
940 * snames.adb: Updated to match snames.ads
942 * snames.ads: Alphebetize entries for project file
944 2001-12-17 Ed Schonberg <schonber@gnat.com>
946 * trans.c (process_freeze_entity): Do nothing if the entity is a
947 subprogram that was already elaborated.
949 2001-12-17 Richard Kenner <kenner@gnat.com>
951 * decl.c (gnat_to_gnu_entity, object): Do not back-annotate Alignment
952 and Esize if object is referenced via pointer.
954 2001-12-17 Ed Schonberg <schonber@gnat.com>
956 * sem_ch3.adb (Analyze_Variant_Part): check that type of discriminant
957 is discrete before analyzing choices.
959 2001-12-17 Joel Brobecker <brobecke@gnat.com>
961 * bindgen.adb (Gen_Output_File_Ada): Generate a new C-like string
962 containing the name of the Ada Main Program. This string is mainly
963 intended for the debugger.
964 (Gen_Output_File_C): Do the equivalent change when generating a C file.
966 2001-12-17 Robert Dewar <dewar@gnat.com>
968 * ali.adb: Set new Dummy_Entry field in dependency entry
970 * ali.ads: Add Dummy_Entry field to source dependency table
972 * bcheck.adb (Check_Consistency): Ignore dummy D lines
974 * lib-writ.adb (Writ_ALI): Write dummy D lines for missing source files
976 * lib-writ.ads: Document dummy D lines for missing files.
978 * types.ads: (Dummy_Time_Stamp): New value for non-existant files
980 2001-12-17 Robert Dewar <dewar@gnat.com>
982 * ali.adb: Type reference does not reset current file.
984 * ali.adb: Recognize and scan renaming reference
986 * ali.ads: Add spec for storing renaming references.
988 * lib-xref.ads: Add documentation for handling of renaming references
990 * lib-xref.adb: Implement output of renaming reference.
993 (Determine_Range): Document local variables
994 (Determine_Range): Make sure Hbound is initialized. It looks as though
995 there could be a real problem here with an uninitialized reference
996 to Hbound, but no actual example of failure has been found.
998 2001-12-17 Laurent Pautet <pautet@gnat.com>
1001 Fix comment of Shutdown_Socket and Close_Socket. These functions
1002 should not fail silently because if they are called twice, this
1003 probably means that there is a race condition in the user program.
1004 Anyway, this behaviour is consistent with the rest of this unit.
1005 When an error occurs, an exception is raised with the error message
1006 as exception message.
1008 2001-12-17 Robert Dewar <dewar@gnat.com>
1010 * frontend.adb: Move call to Check_Unused_Withs from Frontend, so
1011 that it happens before modification of Sloc values for -gnatD.
1013 * gnat1drv.adb: Move call to Check_Unused_Withs to Frontend,
1014 so that it happens before modification of Sloc values for -gnatD.
1016 * switch.adb: Minor reformatting
1018 2001-12-15 Richard Henderson <rth@redhat.com>
1020 * sem_ch7.adb: Wrap comment.
1022 2001-12-16 Joseph S. Myers <jsm28@cam.ac.uk>
1024 * 5ataprop.adb, 5atpopsp.adb, 5ftaprop.adb, 5gmastop.adb,
1025 5gtaprop.adb, 5htaprop.adb, 5itaprop.adb, 5lintman.adb,
1026 5omastop.adb, 5oosinte.adb, 5otaprop.adb, 5staprop.adb,
1027 5vinterr.adb, 5vtaprop.adb, 5vtpopde.adb, 5wintman.adb,
1028 5wtaprop.adb, 5zinterr.adb, 5ztaprop.adb, 6vcstrea.adb,
1029 7sintman.adb, 7staprop.adb, 9drpc.adb, ChangeLog, Makefile.in,
1030 a-except.adb, a-tags.ads, a-tasatt.adb, a-teioed.adb,
1031 a-textio.ads, a-witeio.ads, a-wtedit.adb, ali.ads, comperr.adb,
1032 cstand.adb, einfo.ads, errout.adb, exp_ch11.adb, exp_ch2.adb,
1033 exp_ch3.adb, exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch9.adb,
1034 exp_util.adb, exp_util.ads, fname-uf.adb, g-cgi.ads, g-exctra.ads,
1035 g-expect.ads, g-regist.adb, g-spipat.adb, gnatchop.adb,
1036 gnatlink.adb, gnatls.adb, gnatmain.adb, gnatmem.adb, init.c,
1037 make.adb, make.ads, mdlltool.adb, nlists.ads, osint.ads,
1038 par-ch3.adb, par-ch4.adb, par-ch5.adb, par-ch6.adb, par.adb,
1039 repinfo.adb, s-fatflt.ads, s-fatlfl.ads, s-fatllf.ads,
1040 s-fatsfl.ads, s-finimp.adb, s-finimp.ads, s-interr.adb,
1041 s-secsta.ads, s-shasto.ads, s-stalib.adb, s-stalib.ads,
1042 s-tarest.ads, s-tasdeb.adb, s-tassta.adb, s-tassta.ads,
1043 s-vaflop.ads, scans.ads, scn.adb, sem.ads, sem_aggr.adb,
1044 sem_attr.adb, sem_case.ads, sem_ch10.adb, sem_ch12.adb,
1045 sem_ch13.adb, sem_ch3.adb, sem_ch3.ads, sem_ch5.adb, sem_ch7.adb,
1046 sem_ch8.adb, sem_ch8.ads, sem_type.adb, sem_util.ads, sinfo.ads,
1047 sprint.adb, tbuild.ads, types.ads, utils.c, xeinfo.adb: Fix
1050 2001-12-14 Vincent Celier <celier@gnat.com>
1052 * osint.adb(Create_Debug_File): When an object file is specified,
1053 put the .dg file in the same directory as the object file.
1055 2001-12-14 Robert Dewar <dewar@gnat.com>
1057 * osint.adb: Minor reformatting
1059 * lib-xref.adb (Output_Instantiation): New procedure to generate
1060 instantiation references.
1062 * lib-xref.ads: Add documentation of handling of generic references.
1064 * ali.adb (Read_Instantiation_Ref): New procedure to read
1065 instantiation references
1067 * ali.ads: Add spec for storing instantiation references
1069 * bindusg.adb: Minor reformatting
1071 * switch.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
1073 * usage.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
1075 * gnatcmd.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
1077 * csets.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
1081 Add 2001 to copyright date
1082 Add entry for Latin-5 (Cyrillic ISO-8859-5)
1084 2001-12-14 Matt Gingell <gingell@gnat.com>
1086 * adaint.c: mktemp is a macro on Lynx and can not be used as an
1089 2001-12-14 Richard Kenner <kenner@gnat.com>
1091 * misc.c (gnat_expand_constant): Do not strip UNCHECKED_CONVERT_EXPR
1092 if operand is CONSTRUCTOR.
1094 2001-12-14 Ed Schonberg <schonber@gnat.com>
1096 * trans.c (tree_transform, case N_Assignment_Statement): Set lineno
1097 before emiting check on right-hand side, so that exception information
1100 2001-12-14 Richard Kenner <kenner@gnat.com>
1102 * utils.c (create_var_decl): Throw away initializing expression
1103 if just annotating types and non-constant.
1105 2001-12-14 Vincent Celier <celier@gnat.com>
1107 * prj-nmsc.adb: (Ada_Check): Migrate drom Ada_Default_... to
1110 * prj.adb: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
1112 (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move to spec.
1114 * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
1116 (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move from body.
1118 2001-12-16 Joseph S. Myers <jsm28@cam.ac.uk>
1120 * ChangeLog: Remove piece of diff output.
1122 2001-12-14 Geert Bosch <bosch@gnat.com>
1124 * config-lang.in: Update copyright notice
1126 * layout.adb: Remove commented out code.
1128 * mdllfile.ads: Update copyright notice. Fix header format.
1130 * sem_case.ads: Likewise.
1132 * sem_ch3.adb: Minor reformatting.
1134 2001-12-12 Geert Bosch <bosch@gnat.com>
1136 * freeze.ads: Update copyright date.
1138 * g-comlin.ads: Minor reformatting.
1140 * gnat-style.texi: Fix typo.
1142 2001-12-12 Geert Bosch <bosch@gnat.com>
1144 * einfo.h: Regenerate.
1146 2001-12-12 Ed Schonberg <schonber@gnat.com>
1148 * sem_ch12.adb (Save_Entity_Descendant): Use syntactic field names
1149 on known node types, rather than untyped fields. Further cleanups.
1151 2001-12-12 Robert Dewar <dewar@gnat.com>
1154 (Save_Entity_Descendant): Minor comment update.
1155 (Copy_Generic_Node): Deal with incorrect reference to Associated_Node
1156 of an N_Attribute_Reference node. As per note below, this does not
1157 eliminate need for Associated_Node in attribute ref nodes.
1158 (Associated_Node): Documentation explicitly mentions attribute
1159 reference nodes, since this field is used in such nodes.
1161 * sem_ch12.adb (Associated_Node): Minor documentation cleanup.
1163 2001-12-12 Robert Dewar <dewar@gnat.com>
1165 * s-stalib.adb: Add more comments on with statements being needed
1167 * par-ch12.adb: Minor reformatting
1169 * prj-dect.ads: Fix copyright header
1171 * s-arit64.adb (Multiply_With_Ovflo_Check): Fix case where both
1172 inputs fit in 32 bits, but the result still overflows.
1174 * s-fatgen.ads: Minor comment improvement
1176 2001-12-12 Ed Schonberg <schonber@gnat.com>
1178 * sem_ch4.adb (Analyze_Selected_Component): If the prefix is of a
1179 formal derived type, look for an inherited component from the full
1180 view of the parent, if any.
1182 2001-12-12 Robert Dewar <dewar@gnat.com>
1184 * checks.ads (Apply_Alignment_Check): New procedure.
1186 * exp_ch13.adb (Expand_N_Freeze_Entity): Generate dynamic check to
1187 ensure that the alignment of objects with address clauses is
1188 appropriate, and raise PE if not.
1190 * exp_util.ads (Must_Be_Aligned): Removed, replaced by
1191 Exp_Pakd.Known_Aligned_Enough
1193 * mdllfile.ads: Minor reformatting
1195 * mlib-fil.ads: Minor reformatting
1197 2001-12-12 Ed Schonberg <schonber@gnat.com>
1199 * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Extend previous
1200 fix to any component reference if enclosing record has non-standard
1203 2001-12-12 Vincent Celier <celier@gnat.com>
1205 * g-dirope.ads (Find, Wildcard_Iterator): Moved to child package
1208 2001-12-12 Ed Schonberg <schonber@gnat.com>
1210 * freeze.ads: Make Freeze_Fixed_Point_Type visible, for use in
1213 2001-12-12 Robert Dewar <dewar@gnat.com>
1215 * impunit.adb: Add entry for GNAT.Directory_Operations.Iteration
1217 2001-12-12 Emmanuel Briot <briot@gnat.com>
1219 * g-regexp.adb: Remove all debug code, since it isn't required anymore,
1220 and it adds dependencies to system.io.
1222 2001-12-12 Pascal Obry <obry@gnat.com>
1224 * g-dirope.adb (Expand_Path.Var): Correctly detect end of
1227 2001-12-11 Ed Schonberg <schonber@gnat.com>
1229 * sem_ch10.adb (Install_Withed_Unit): If the unit is a generic instance
1230 that is the parent of other generics, the instance body replaces the
1231 instance node. Retrieve the instance of the spec, which is the one
1232 that is visible in clients and within the body.
1234 2001-12-11 Vincent Celier <celier@gnat.com>
1236 * gnatmain.adb: Initial version.
1238 * gnatmain.ads: Initial version.
1240 * prj-attr.adb (Initialisation_Data): Add package Gnatstub.
1242 * snames.adb: Updated to match snames.ads.
1244 * snames.ads: Added Gnatstub.
1246 2001-12-11 Vincent Celier <celier@gnat.com>
1248 * prj-attr.adb (Initialization_Data): Change name from
1249 Initialisation_Data.
1251 2001-12-11 Emmanuel Briot <briot@gnat.com>
1253 * g-regpat.adb (Parse_Literal): Properly handle simple operators ?,
1254 + and * applied to backslashed expressions like \r.
1256 2001-12-11 Vasiliy Fofanov <fofanov@gnat.com>
1258 * g-os_lib.ads: String_List type added, Argument_List type is now
1259 subtype of String_List.
1261 2001-12-11 Robert Dewar <dewar@gnat.com>
1263 * g-os_lib.ads: Change copyright to FSF
1264 Add comments for String_List type
1266 2001-12-11 Vincent Celier <celier@gnat.com>
1268 * g-dirope.adb (Expand_Path): Fix bug. (wrong length when adding a
1269 string to the buffer).
1271 2001-12-11 Ed Schonberg <schonber@gnat.com>
1273 * freeze.adb: Make Freeze_Fixed_Point_Type visible, for use in
1276 * sem_attr.adb: Simplify previous fix for Address.
1277 (Set_Bounds): If prefix is a non-frozen fixed-point type, freeze now,
1278 to avoid anomalies where the bound of the type appears to raise
1281 2001-12-11 Robert Dewar <dewar@gnat.com>
1283 * lib-xref.adb (Output_Refs): Make sure pointers are always properly
1286 2001-12-11 Ed Schonberg <schonber@gnat.com>
1288 * sem_ch12.adb (Analyze_Subprogram_Instantiation): Check for a
1289 renamed unit before checking for recursive instantiations.
1291 2001-12-11 Emmanuel Briot <briot@gnat.com>
1293 * prj.ads: Add comments for some of the fields.
1295 2001-12-11 Robert Dewar <dewar@gnat.com>
1297 * lib-xref.adb (Output_Refs): Don't output type references outside
1298 the main unit if they are not otherwise referenced.
1300 2001-12-11 Ed Schonberg <schonber@gnat.com>
1302 * sem_attr.adb (Analyze_attribute, case Address and Size): Simplify
1303 code and diagnose additional illegal uses
1305 * sem_util.adb (Is_Object_Reference): An indexed component is an
1306 object only if the prefix is.
1308 2001-12-11 Vincent Celier <celier@gnat.com>
1310 * g-diopit.adb: Initial version.
1312 * g-diopit.ads: Initial version.
1315 (Expand_Path): Avoid use of Unbounded_String
1316 (Find, Wildcard_Iterator): Moved to child package Iteration
1318 * Makefile.in: Added g-diopit.o to GNATRTL_NONTASKING_OBJS
1320 2001-12-11 Robert Dewar <dewar@gnat.com>
1322 * sem_attr.adb: Minor reformatting
1324 2001-12-11 Ed Schonberg <schonber@gnat.com>
1326 * sem_ch3.adb: Clarify some ???.
1328 2001-12-11 Robert Dewar <dewar@gnat.com>
1330 * exp_util.adb (Must_Be_Aligned): Removed, replaced by
1331 Exp_Pakd.Known_Aligned_Enough
1333 * sem_ch13.adb (Check_Address_Alignment): Removed, extended
1334 version is moved to Exp_Ch13.
1336 2001-12-11 Robert Dewar <dewar@gnat.com>
1338 * einfo.ads: Minor reformatting
1340 * exp_ch5.adb: Add comment for previous.change
1342 * ali.adb: New interface for extended typeref stuff.
1344 * ali.ads: New interface for typeref stuff.
1346 * checks.adb (Apply_Alignment_Check): New procedure.
1348 * debug.adb: Add -gnatdM for modified ALI output
1350 * exp_pakd.adb (Known_Aligned_Enough): Replaces Known_Aligned_Enough.
1352 * lib-xref.adb: Extend generation of <..> notation to cover
1353 subtype/object types. Note that this is a complete rewrite,
1354 getting rid of the very nasty quadratic algorithm previously
1355 used for derived type output.
1357 * lib-xref.ads: Extend description of <..> notation to cover
1358 subtype/object types. Uses {..} for these other cases.
1359 Also use (..) for pointer types.
1361 * sem_util.adb (Check_Potentially_Blocking_Operation): Slight cleanup.
1363 * exp_pakd.adb: Minor reformatting. Note that prevous RH should say:
1364 (Known_Aligned_Enough): Replaces Must_Be_Aligned.
1366 2001-12-11 Vincent Celier <celier@gnat.com>
1369 Changed /COMPILE_ONLY to /ACTIONS=COMPILE
1370 Changed /BIND_ONLY to /ACTIONS=BIND
1371 Changed /LINK_ONLY to /ACTIONS=LINK
1373 2001-12-11 Ed Schonberg <schonber@gnat.com>
1375 * sem_ch8.adb (Find_Selected_Component): improved search for a
1376 candidate package in case of error.
1378 * sem_ch12.adb (Inline_Instance_Body): place head of use_clause
1379 chain back on scope stack before reinstalling use clauses.
1381 * exp_ch5.adb (Expand_N_If_Statement): if Constant_Condition_Warnings
1382 is enabled, do not kill the code for the condition, to preserve
1385 2001-12-11 Robert Dewar <dewar@gnat.com>
1387 * checks.adb (Insert_Valid_Check): Apply validity check to expression
1388 of conversion, not to result of conversion.
1390 2001-12-11 Ed Schonberg <schonber@gnat.com>
1392 * sem_ch3.adb (Build_Derived_Record_Type): set Controlled flag
1393 before freezing parent. If the declarations are mutually recursive,
1394 an access to the current record type may be frozen before the
1395 derivation is complete.
1397 2001-12-05 Vincent Celier <celier@gnat.com>
1399 * gnatcmd.adb: (MAKE): Add new translations: -b /BIND_ONLY,
1400 -c /COMPILE_ONLY, -l /LINK_ONLY
1403 (Bind_Only): New Flag
1404 (Link_Only): New flag
1406 * switch.adb (Scan_Make_Switches): Add processing for -b (Bind_Only)
1409 * makeusg.adb: Add new switches -b and -l. Update Copyright notice.
1412 (Do_Compile_Step, Do_Bind_Step, Do_Link_Step): New flags.
1413 (Gnatmake): Set the step flags. Only perform a step if the
1414 corresponding step flag is True.
1415 (Scan_Make_Arg): Reset the bind and link step flags when -u
1416 or -gnatc has been specified.
1418 2001-12-05 Ed Schonberg <schonber@gnat.com>
1420 * sem_eval.adb (Eval_Concatenation): If left operand is a null string,
1421 get bounds from right operand.
1423 * sem_eval.adb: Minor reformatting
1425 * exp_util.adb (Make_Literal_Range): use bound of literal rather
1426 than Index'First, its lower bound may be different from 1.
1428 * exp_util.adb: Undo earlier change, fixes ACVC regressions C48009B
1431 2001-12-05 Vincent Celier <celier@gnat.com>
1433 * prj-nmsc.adb Minor reformatting
1435 * prj-nmsc.adb (Language_Independent_Check): Reset Library flag if
1436 set and libraries are not supported.
1438 2001-12-05 Ed Schonberg <schonber@gnat.com>
1440 * sem_ch3.adb (Build_Derived_Private_Type): set Public status of
1441 private view explicitly, so the back-end can treat as a global
1444 2001-12-05 Ed Schonberg <schonber@gnat.com>
1446 * sem_ch12.adb (Instantiate_Package_Body): if instance is a compilation
1447 unit, always replace instance node with new body, for ASIS use.
1449 2001-12-05 Vincent Celier <celier@gnat.com>
1451 * prj-nmsc.adb (Language_Independent_Check): Issue a warning if
1452 libraries are not supported and both attributes Library_Name and
1453 Library_Dir are specified.
1455 * prj-proc.adb (Expression): Set location of Result to location of
1458 * Makefile.in: Add mlib.o, mlib-fil.o, mlib-tgt and mlib-utl to GNATLS.
1459 (prj-nmsc is now importing MLib.Tgt)
1461 * prj-proc.adb: Put the change indicated above that was forgotten.
1463 2001-12-05 Robert Dewar <dewar@gnat.com>
1465 * Makefile.in: Add dependencies for System.IO for GNAT.Regexp
1467 2001-12-05 Ed Schonberg <schonber@gnat.com>
1469 * sem_ch3.adb (Build_Derived_Concurrent_Type): If derivation imposes a
1470 constraint, introduce explicit subtype declaration and derive from it.
1472 * sem_ch3.adb: Minor reformatting
1474 2001-12-05 Robert Dewar <dewar@gnat.com>
1476 * checks.adb (Determine_Range): Increase cache size for checks.
1479 * exp_ch6.adb: Minor reformatting
1480 (Expand_N_Subprogram_Body): Reset Is_Pure for any subprogram that has
1481 a parameter whose root type is System.Address, since treating such
1482 subprograms as pure in the code generator is almost surely a mistake
1483 that will lead to unexpected results.
1485 * exp_util.adb (Remove_Side_Effects): Clean up old ??? comment and
1486 change handling of conversions.
1488 * g-regexp.adb: Use System.IO instead of Ada.Text_IO.
1490 2001-12-05 Ed Schonberg <schonber@gnat.com>
1492 * sem_ch3.adb (Analyze_Object_Declaration): If expression is an
1493 aggregate with static wrong size, attach generated Raise node to
1496 2001-12-05 Robert Dewar <dewar@gnat.com>
1498 * sem_attr.adb (Analyze_Attribute): Defend against bad Val attribute.
1499 Fixes compilation abandoned bomb in B24009B.
1501 2001-12-05 Ed Schonberg <schonber@gnat.com>
1504 Document use of Associated_Node on Selected_Components.
1505 (Save_Global_Operand_Descendants): Change to Save_Entity_Descendants,
1506 to clarify use of untyped descendant fields.
1508 2001-12-05 Robert Dewar <dewar@gnat.com>
1510 * prj-dect.ads: Add ??? comment
1511 Add 2001 to copyright notice (was not done in after all)
1513 * prj-part.adb: Minor reformatting. Reword one awkward error message.
1515 * prj.ads: Minor reformatting throughout, and add some ??? comments
1517 * snames.ads: Minor reformatting
1519 2001-12-05 Geert Bosch <bosch@gnat.com>
1521 * snames.adb: Autoupdate
1523 2001-12-05 Vincent Celier <celier@gnat.com>
1525 * prj-dect.adb (Parse): Rename parameter Modifying to Extends.
1527 * prj-dect.ads (Parse): Rename parameter Modifying to Extends.
1529 * prj-env.adb: Minor comment changes (modifying -> extends).
1531 * prj-nmsc.adb: Minor comment changes (modifying -> extends).
1533 * prj-part.adb (Parse_Single_Project): Change Tok_Modifying to
1536 * prj.adb (Initialize): Change Modifying to Extends.
1538 * scans.ads (Token_Type): Change Tok_Modifying to Tok_Extends.
1540 * prj.ads: Minor comment change (Modifying -> extending).
1542 * snames.ads: Change modifying to extends.
1544 2001-12-05 Robert Dewar <dewar@gnat.com>
1546 * sem_warn.adb: Remove stuff for conditionals, we are not going to
1549 * sem_warn.ads: Remove stuff for conditionals, we are not going to
1550 do this after all. Add 2001 to copyright notice
1552 2001-12-04 Geert Bosch <bosch@gnat.com>
1554 * einfo.h, sinfo.h, treeprs.ads: Regenerate.
1556 2001-12-04 Robert Dewar <dewar@gnat.com>
1558 * errout.adb (Error_Msg): Ignore attempt to put error msg at junk
1559 location if we already have errors. Stops some cases of cascaded
1562 * errout.adb: Improve comment.
1564 2001-12-04 Robert Dewar <dewar@gnat.com>
1567 (Analyze_Formal_Type_Definition): Defend against Error.
1568 (Analyze_Formal_Subprogram): Defend against Error.
1570 * par-ch12.adb (F_Formal_Type_Declaration): In case of error,
1571 remove following semicolon if present. Removes cascaded error.
1573 2001-12-04 Douglas B. Rupp <rupp@gnat.com>
1576 (Gen_Exception_Table_Ada): Write "begin" and then return if Num
1577 exceptions equals 0.
1578 (Gen_Exception_Table_C): Return if Num exceptions equals 0.
1579 Fixes PIWG E tests (which have to be run with -gnatL).
1581 2001-12-04 Robert Dewar <dewar@gnat.com>
1583 * einfo.ads: Minor reformatting
1585 2001-12-04 Ed Schonberg <schonber@gnat.com>
1587 * einfo.ads: Block_Node points to the identifier of the block, not to
1588 the block node itself, to preserve the link when the block is
1589 rewritten, e.g. within an if-statement with a static condition.
1591 * inline.adb (Cleanup_Scopes): recover block statement from block
1592 entity using new meaning of Block_Node.
1594 * sem_ch5.adb (Analyze_Block_Statement): set Block_Node to point to
1595 identifier of block node, rather than to node itself.
1597 2001-12-04 Gary Dismukes <dismukes@gnat.com>
1600 (Get_Max_Size): Fix "start of processing" comment to say Get_Max_Size.
1601 (Discrimify): Go back to setting the Etypes of the selected component
1602 because the Vname component does not exist at this point and will
1603 fail name resolution. Also set Analyzed.
1604 Remove with and use of Sem_Res.
1606 2001-12-04 Arnaud Charlet <charlet@gnat.com>
1608 * Makefile.in: (HIE_SOURCES): add s-fat*.
1610 2001-12-04 Robert Dewar <dewar@gnat.com>
1613 (Compile_Time_Known_Attribute): New procedure.
1614 (Eval_Attribute, case Size): Use Compile_Time_Known_Attribute to ensure
1617 2001-12-04 Ed Schonberg <schonber@gnat.com>
1619 * sem_ch7.adb (New_Private_Type): Set Is_Tagged_Type flag before
1620 processing discriminants to diagnose illegal default values.
1622 2001-12-04 Ed Schonberg <schonber@gnat.com>
1624 * sem_attr.adb (Resolve_Attribute): Handle properly an non-classwide
1625 access discriminant within a type extension that constrains its
1626 parent discriminants.
1628 2001-12-04 Ed Schonberg <schonber@gnat.com>
1630 * sem_ch3.adb (Find_Type_Of_Subtype_Indic): If subtype indication
1631 is malformed, use instance of Any_Id to allow analysis to proceed.
1633 * par-ch12.adb (P_Formal_Type_Declaration): Propagate Error if
1634 type definition is illegal.
1635 (P_Formal_Derived_Type_Definition): Better recovery when TAGGED is
1638 2001-12-04 Ed Schonberg <schonber@gnat.com>
1640 * sem_warn.adb (Output_Unreferenced_Messages): Extend previous fix to
1643 2001-12-04 Robert Dewar <dewar@gnat.com>
1645 * errout.adb: Minor reformatting
1647 2001-12-04 Robert Dewar <dewar@gnat.com>
1649 * exp_util.adb: Minor reformatting from last change
1651 * errout.adb (Check_For_Warning): For a Raised_Constraint_Error node
1652 which is a rewriting of an expression, traverse the original
1653 expression to remove warnings that may have been posted on it.
1655 2001-12-04 Ed Schonberg <schonber@gnat.com>
1657 * exp_util.adb (Must_Be_Aligned): Return false for a component of a
1658 record that has other packed components.
1660 2001-12-04 Douglass B. Rupp <rupp@gnat.com>
1662 * adaint.c: Minor cleanups.
1664 2001-12-04 Douglass B. Rupp <rupp@gnat.com>
1666 * adaint.c: Do not use utime.h on vxworks.
1668 2001-12-04 Arnaud Charlet <charlet@gnat.com>
1670 * Makefile.adalib: Clarify step 3 (use of gnat.adc) as it causes
1671 more confusion than it solves.
1673 2001-12-04 Geert bosch <bosch@gnat.com>
1675 * einfo.h, nmake.adb, nmake.ads, sinfo.h treeprs.ads: Regenerate.
1677 2001-12-04 Geert Bosch <bosch@gnat.com>
1679 * Makefile.in (update-sources): New target.
1680 For use by gcc_release script.
1682 2001-12-04 Ed Schonberg <schonber@gnat.com>
1684 * sem_prag.adb (Analyze_Pragma, case Validity_Checks): do not treat as
1685 a configuration pragma, it is now legal wherever a pragma can appear.
1687 2001-12-04 Zack Weinberg <zack@codesourcery.com>
1689 * Makefile.in: Don't set ALL. Delete @cross_defines@,
1690 @cross_overrides@, @build_overrides@ stanzas. INTERNAL_CFLAGS
1691 is now @CROSS@ -DIN_GCC; update comment.
1693 2001-12-04 Robert Dewar <dewar@gnat.com>
1695 * einfo.adb (Has_Pragma_Pure_Function): New flag.
1696 Fix problem that stopped ceinfo from working
1698 * einfo.ads (Has_Pragma_Pure_Function): New flag.
1700 * sem_prag.adb (Pure_Function): Set new flag Has_Pragma_Pure_Function.
1702 2001-12-04 Douglas B. Rupp <rupp@gnat.com>
1705 (File_Time_Stamp): New procedure.
1706 (Preserve_Mode): New boolean.
1707 (Write_Unit): Pass time stamp.
1708 Implement -p switch (preserve time stamps).
1710 * gnatcmd.adb (CHOP): Add translation for -p (/PRESERVE).
1712 * gnatchop.adb: Do usage info for -p switch
1714 * adaint.h (__gnat_set_file_time_name): New function
1716 * adaint.c (__gnat_set_file_time_name): Implement
1718 * adaint.h: Fix typo
1720 2001-12-03 Robert Dewar <dewar@gnat.com>
1722 * sinfo.ads: Minor reformatting. N_Freeze_Entity node does not
1723 have Associated_Node.
1725 2001-12-03 Robert Dewar <dewar@gnat.com>
1727 * prj-proc.adb: Minor reformatting
1729 * make.adb: Minor reformatting
1731 2001-12-03 Geert Bosch <bosch@gnat.com>
1733 * make.adb: Minor reformatting.
1735 2001-12-03 Robert Dewar <dewar@gnat.com>
1737 * sem_ch12.adb: Minor reformatting
1739 2001-12-03 Ed Schonberg <schonber@gnat.com>
1741 * sem_ch12.adb (Inline_Instance_Body): Use Save_Scope_Stack and
1742 push Standard on the stack before analyzing the instance body,
1743 in order to have a clean visibility environment.
1745 * sem_ch12.adb (Inline_Instance_Body): Remove redundant code.
1747 2001-12-03 Ed Schonberg <schonber@gnat.com>
1749 * sem_ch12.adb (Instantiate_Package_Body): Protect against double
1750 instantiation of a body that contains an inlined body.
1752 2001-12-03 Ed Schonberg <schonber@gnat.com>
1755 (Analyze_generic_subprogram_Declaration): Set outer_generic_scope,
1756 to prevent freezing within formal packages.
1757 (Freeze_Subprogram_Body): If body comes from another instance that
1758 appeared before its own body, place freeze node at end of current
1759 declarative part, to prevent a back-end crash.
1760 (Inline_Instance_Body): Handle properly a package instance within
1761 a subprogram instance that is a child unit.
1763 2001-12-01 Graham Stott <grahams@redhat.com>
1765 * Makefile.in (misc.o): Add missing $(srcdir) prefix
1766 and add optabs.h dependency.
1768 * misc.c: Include optabs.h
1769 (gnat_tree_code_type): Make static and const.
1770 (gnat_tree_code_length): Likewise.
1771 (gnat_tree_code_name): Likewise.
1772 (update_setjmp_buf): Obtain operands mode from insn_data.
1774 2001-11-29 Richard Henderson <rth@redhat.com>
1776 * init.c: Remove obsolete dwarf2 frame.h section.
1778 2001-11-29 Joseph S. Myers <jsm28@cam.ac.uk>
1780 * Make-lang.in (ada.generated-manpages): New dummy target.
1782 2001-11-29 Ed Schonberg <schonber@gnat.com>
1784 * g-os_lib.adb (Add_To_Command): use explicit loop to move string
1785 into Command, an array conversion is illegal here. Uncovered by
1788 2001/11/28 Geert Bosch <bosch@gnat.com>
1790 * init.c: Minor whitespace changes.
1792 2001-11-28 Doug Rupp <rupp@gnat.com>
1794 * init.c: (__gnat_install_handler,VMS): Increase size of alternate
1797 2001-11-28 Zack Weinberg <zack@codesourcery.com>
1799 * misc.c (gnat_expand_constant): Move declaration above
1800 definition of lang_hooks.
1801 (LANG_HOOKS_EXPAND_CONSTANT): Set to gnat_expand_constant.
1802 (gnat_init): lang_expand_constant no longer exists.
1804 (internal_error_function): Remove #ifdef HAVE_VPRINTF. We
1805 always have vprintf.
1806 (gnat_init): Always call set_internal_error_function.
1808 2001-11-27 Andreas Jaeger <aj@suse.de>
1810 * Makefile.in (stamp-tool_src_dir): Use symbolic link.
1812 2001-11-27 Laurent Guerby <guerby@acm.org>
1814 * Makefile.in: Regenerate Ada dependencies.
1816 2001-11-26 Richard Henderson <rth@redhat.com>
1818 * Make-lang.in (gnatbind, gnatmake, gnatbl, gnatchop, gnatcmd,
1819 gnatlink, gnatkr, gnatls, gnatmem, gnatprep, gnatpsta, gnatpsys,
1820 gnatxref, gnatfind, gnatlbr): Depend on CONFIG_H and prefix.o.
1822 2001-11-25 Laurent Guerby <guerby@acm.org>
1824 * sysdep.c (rts_get_*): Fix style.
1826 2001-11-19 Laurent Guerby <guerby@acm.org>
1828 * Makefile.in (INCLUDES_FOR_SUBDIR): Remove redundant system include
1829 since it is of no apparent use and cause warnings.
1831 2001-11-18 Neil Booth <neil@daikokuya.demon.co.uk>
1833 * misc.c (gnat_decode_option, gnat_init_options): Make definitions
1835 (gnat_init): Don't return NULL.
1836 (finish_parse): Remove.
1838 2001-11-17 Laurent Guerby <guerby@acm.org>
1840 * Make-lang.in (GNATLIBFLAGS): Add -W -Wall.
1841 * gigi.h (init_decl_processing): Rename to gnat_init_decl_processing.
1842 * io-aux.c: Provide K&R prototypes to all functions, reformat code.
1843 * lang-spec.h: Add missing struct field to silence warnings.
1844 * sysdep.c (rts_get_*): Provide K&R prototype.
1845 * sysdep.c (Unlock_Task, Lock_Task): Move to K&R prototype.
1846 * traceback.c (Unlock_Task, Lock_Task): Likewise.
1847 * tracebak.c (__gnat_backtrace): Remove unused variable.
1848 * utils.c (end_subprog_body): Move to K&R style.
1850 Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1852 * trans.c, utils2.c: Remove PALIGN parameter to get_inner_reference.
1854 2001-11-15 Neil Booth <neil@daikokuya.demon.co.uk>
1856 * misc.c (gnat_init): Change prototype. Include the
1857 functionality of the old init_parse and init_decl_processing.
1858 (gnat_init_decl_processing): New prototype.
1859 (init_parse): Remove.
1860 * utils.c (init_decl_processing): Rename gnat_init_decl_processing.
1862 2001-11-09 Neil Booth <neil@daikokuya.demon.co.uk>
1864 * misc.c (gnat_print_decl, gnat_print_type): Renamed.
1865 (LANG_HOOKS_PRINT_DECL, LANG_HOOKS_PRINT_TYPE): Override.
1866 (print_lang_statistics, lang_print_xnode, print_lang_identifier,
1867 set_yydebug): Remove.
1869 2001-11-09 Neil Booth <neil@daikokuya.demon.co.uk>
1871 * misc.c (LANG_HOOKS_NAME, LANG_HOOKS_IDENTIFIER_SIZE): Override.
1872 (struct lang_hooks): Constify.
1873 (language_string, lang_identify): Remove.
1874 * utils.c (init_decl_processing): Update.
1876 2001-11-06 Neil Booth <neil@cat.daikokuya.demon.co.uk>
1878 * misc.c: Include langhooks-def.h.
1879 * Makefile.in: Update.
1881 2001-10-30 Robert Dewar <dewar@gnat.com>
1884 (Check_Identifier): Rewrite circuit to be compatible with use of letters
1885 in the upper half of ASCII.
1886 (Check_Identifier): Minor reformatting
1888 2001-10-30 Geert Bosch <bosch@gnat.com>
1890 * (Associated_Node, Set_Associated_Node): Do not check for
1893 2001-10-30 Robert Dewar <dewar@gnat.com>
1895 * a-reatim.ads: Minor reformatting
1897 2001-10-30 Robert Dewar <dewar@gnat.com>
1899 * gnatdll.adb: Minor reformatting throughout. Many ??? added for
1900 undocumented declarations.
1902 2001-10-30 Pascal Obry <obry@gnat.com>
1904 * gnatdll.adb (Parse_Command_Line): handle -g option to be passed
1905 to the binder and linker.
1908 * mdll.ads: Fix layout. Update copyright notice.
1910 * mdll.adb: Fix layout. Update copyright notice.
1912 2001-10-30 Robert Dewar <dewar@gnat.com>
1914 * usage.adb: Minor fix to output for -gnaty.
1916 2001-10-30 Ed Schonberg <schonber@gnat.com>
1918 * a-reatim.ads: Makes Seconds_Count into a 64-bit integer,
1919 to accommodate all its possible values.
1921 * a-reatim.adb (Split): Special-case handling of Time_Span_First
1922 and of small absolute values of T.
1924 2001-10-30 Richard Kenner <kenner@gnat.com>
1926 * misc.c (gnat_expand_expr, case NULL_EXPR): Remove call to
1927 set_mem_attributes since not needed and wrong if RESULT if a REG;
1928 fixes ACATS failures.
1930 2001-10-30 Geert Bosch <bosch@gnat.com>
1932 * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, fname-sf.ads, g-traceb.ads,
1933 s-tasdeb.ads, sem_maps.ads: Add 2001 to copyright notice.
1935 2001-10-30 Robert Dewar <dewar@gnat.com>
1937 * bindusg.adb: Undocument -f switch.
1939 * gnatcmd.adb: Remove /FULL_ELABORATION.
1941 * opt.ads (Force_RM_Elaboration_Order): Document that this is
1944 * gnatbind.adb: Output new warning for use of obsolescent -f switch.
1946 * gnatbind.adb: Minor update of warning msg.
1948 2001-10-30 Vincent Celier <celier@gnat.com>
1950 * gnatcmd.adb (MAKE, BIND, LINK, LIST, FIND, XREF): Add translations
1951 for project file switches (-P (/PROJECT_FILE=),
1952 -X (/EXTERNAL_REFERENCE=) and -vPx (/PROJECT_FILE_VERBOSITY=DEFAULT
1955 2001-10-30 Geert Bosch <bosch@gnat.com>
1957 * decl.c: Minor whitespace fixes.
1959 2001-10-30 Richard Kenner <kenner@gnat.com>
1961 * utils2.c (build_allocator): Test for SIZE overflow in array case too
1963 2001-10-30 Geert Bosch <bosch@gnat.com>
1965 * ali-util.adb (Initialize_Checksum): Use out-mode instead of in out.
1966 Found due to GCC 3.0 warning of using uninitialized value.
1969 (Get_Max_Size): Use variant record for tracking value/expression.
1970 Makes logic clearer and prevents warnings for uninitialized variables.
1971 (Layout_Array_Type): Use variant record for tracking value/expression.
1972 Makes logic clearer and prevents warnings for uninitialized variables.
1974 2001-10-30 Robert Dewar <dewar@gnat.com>
1976 * lib.adb: Minor reformatting
1978 * s-taprop.ads: Minor reformatting
1980 2001-10-29 Laurent Guerby <guerby@acm.org>
1983 (Raise_From_Signal_Handler, Propagate_Signal_Exception): Make arg
1985 (_gnat_error_handler): Make MSG const.
1987 2001-10-29 Richard Kenner <kenner@gnat.com>
1989 * sysdep.c: Fix localtime_r problem on LynxOS.
1990 Also remove #elif to avoid warnings.
1992 * misc.c (yyparse): Don't set up and register jmpbuf; remove decls
1995 * decl.c (annotate_value): Make SIZE unsigned to avoid warning.
1997 2001-10-28 Joseph S. Myers <jsm28@cam.ac.uk>
1999 * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, decl.c, exp_ch6.adb,
2000 exp_ch9.adb, exp_util.adb, fname-sf.ads, freeze.ads, g-awk.adb,
2001 g-comlin.ads, g-dirope.adb, g-dyntab.ads, g-socket.ads,
2002 g-table.ads, g-traceb.ads, gnat-style.texi, gnatchop.adb, init.c,
2003 layout.adb, layout.ads, mdllfile.ads, mlib-fil.ads, osint.ads,
2004 s-fatgen.adb, s-imgrea.adb, s-taprop.ads, s-tasdeb.ads,
2005 sem_aggr.adb, sem_attr.adb, sem_case.ads, sem_ch13.adb,
2006 sem_ch3.adb, sem_elab.adb, sem_maps.ads, sem_res.adb,
2007 sem_util.ads, sinfo.ads, sinput.ads, table.adb, table.ads,
2008 types.ads, urealp.adb: Fix spelling errors.
2010 2001-10-27 Laurent Guerby <guerby@acm.org>
2012 * trans.c (gigi): Fix non determinism leading to bootstrap
2013 comparison failures for debugging information.
2015 2001-10-26 Florian Weimer <fw@deneb.enyo.de>
2017 * gnat_rm.texi: Use @./@: where appropriate.
2019 2001-10-26 Robert Dewar <dewar@gnat.com>
2021 * sinfo.adb: Define Associated_Node to overlap Entity field. Cleanup.
2023 2001-10-26 Richard Kenner <kenner@gnat.com>
2025 * gmem.c (__gnat_gmem_read_next): Properly check for EOF
2027 2001-10-26 Richard Kenner <kenner@gnat.com>
2029 * decl.c (validate_size): Modify message for bad size to avoid
2030 implication that compiler is modifying the size.
2032 2001-10-26 Robert Dewar <dewar@gnat.com>
2034 * prj-util.adb: Minor reformatting. Fix bad header format.
2036 2001-10-26 Robert Dewar <dewar@gnat.com>
2038 * sinfo.ads: Define Associated_Node to overlap Entity field. Cleanup.
2040 * sinfo.ads: Clarify use of Associated_Node (documentation only).
2042 * sem_ch12.adb: Change Node4 to Associated_Node. Change
2043 Associated_Node to Get_Associated_Node. Put use of Unchecked_Access
2044 much more narrowly in places where needed. These are cleanups.
2046 2001-10-26 Joel Brobecker <brobecke@gnat.com>
2048 * 5zosinte.ads (null_pthread): new constant.
2051 (Initialize_TCB): Initialize thread ID to null, to be able to verify
2052 later that this field has been set.
2053 (Finalize_TCB): ditto.
2054 (Suspend_Task): Verify that the thread ID is not null before using it.
2055 (Resume_Task): ditto.
2058 (Resume_All_Tasks): Lock the tasks list before using it.
2059 (Suspend_All_Tasks): ditto.
2061 2001-10-26 Richard Kenner <kenner@gnat.com>
2063 * decl.c (gnat_to_gnu_entity, case E_General_Access_Type):
2064 Make constant variant of designated type for Is_Access_Constant.
2065 Call update_pointer_to with main variant.
2067 * trans.c (process_freeze_entity, process_type):
2068 Call update_pointer_to on main variant.
2070 * utils.c (update_pointer_to): Make corresponding variant for NEW_TYPE.
2071 If main variant, update all other variants.
2073 * utils2.c (build_unary_op, case INDIRECT_REF): No longer set
2076 2001-10-26 Robert Dewar <dewar@gnat.com>
2078 * prj-util.adb: Minor reformatting
2080 2001-10-26 Robert Dewar <dewar@gnat.com>
2082 * prj-util.adb: Minor reformatting
2084 2001-10-26 Robert Dewar <dewar@gnat.com>
2086 * prj-attr.adb: Minor reformatting throughout
2088 2001-10-26 Robert Dewar <dewar@gnat.com>
2090 * prj-attr.ads: Minor reformatting
2091 Add ??? comment (this whole spec has almost no comments)
2093 2001-10-26 Vincent Celier <celier@gnat.com>
2095 * g-os_lib.adb (Normalize_Pathname): Preserve the double slash
2096 ("//") that precede the drive letter on Interix.
2098 2001-10-26 Geert Bosch <bosch@gnat.com>
2100 * gnat_rm.texi: Add GNAT Reference Manual.
2102 2001-10-25 Robert Dewar <dewar@gnat.com>
2104 * sem_ch8.adb (Analyze_Package_Renaming): Skip analysis if Name
2105 is Error. Similar change for other renaming cases.
2107 2001-10-25 Robert Dewar <dewar@gnat.com>
2109 * s-atacco.ads: Add pragma Inline_Always for functions.
2110 Fix header format. Add copyright 2001
2112 2001-10-25 Ed Schonberg <schonber@gnat.com>
2114 * par-ch3.adb (P_Subtype_Mark_Resync): for an anonymous array
2115 return Error rather than Empty so that analysis can proceed.
2117 2001-10-25 Ed Schonberg <schonber@gnat.com>
2119 * sem_util.adb (Enter_Name): better handling of cascaded error
2120 messages when a unit appears in its own context.
2122 2001-10-25 Ed Schonberg <schonber@gnat.com>
2124 * sem_util.adb (Defining_Entity): in case of error, attach created
2125 entity to specification, so that semantic analysis can proceed.
2127 2001-10-25 Robert Dewar <dewar@gnat.com>
2130 (Defining_Entity): Deal with Error.
2131 (Process_End_Label): Deal with bad end label for.
2133 2001-10-25 Ed Schonberg <schonber@gnat.com>
2135 * sem_elab.adb (Check_A_Call): refine message when call is in an
2136 instance but callee is not declared in the generic unit.
2138 2001-10-25 Ed Schonberg <schonber@gnat.com>
2140 * sem_elab.adb (Check_A_Call): check for renaming before finding the
2141 enclosing unit, which may already be different from the calling unit.
2143 2001-10-25 Geert Bosch <bosch@gnat.com>
2145 * 4gintnam.ads: fix header format.
2147 2001-10-25 Ed Schonberg <schonber@gnat.com>
2149 * sem_res.adb (Resolve_Call): if the call is actually an indexing
2150 operation on the result of a parameterless call, perform elaboration
2151 check after the node has been properly rewritten.
2153 * sem_ch12.adb (Copy_Generic_Node): after the proper body has been
2154 inlined within the generic tree, the defining identifier is not a
2157 2001-10-25 Ed Schonberg <schonber@gnat.com>
2159 * sem_res.adb (Resolve): special-case resolution of Null in an
2160 instance or an inlined body to avoid view conflicts.
2162 * sem_ch12.adb (Copy_Generic_Node): for allocators, check for view
2163 compatibility by retrieving the access type of the generic copy.
2165 2001-10-25 Robert Dewar <dewar@gnat.com>
2168 (Analyze_Number_Declaration): Handle error expression.
2169 (Signed_Integer_Type_Declaration): Handle error bound.
2170 (Analyze_Subtype_Indication): Handle error range.
2172 * sem_util.adb (Get_Index_Bounds): Check for Error.
2174 2001-10-25 Robert Dewar <dewar@gnat.com>
2176 * restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
2177 in no run time mode.
2179 2001-10-25 Pascal Obry <obry@gnat.com>
2181 * gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet
2182 mode case for ALLOC case.
2184 * gnatmem.adb (Read_Next): correctly fix parsing in Quiet mode on
2185 all platforms. Improvement of last change.
2187 2001-10-25 Robert Dewar <dewar@gnat.com>
2189 * exp_ch4.adb (Expand_N_Allocator): Minor reformatting.
2191 2001-10-25 Geert Bosch <bosch@gnat.com>
2193 * osint.adb (Is_Relative): Remove duplicate.
2195 2001-10-25 Pascal Obry <obry@gnat.com>
2197 * osint.adb (Read_Default_Search_Dirs): correctly detect relative
2198 pathnames in UNIX and DOS style with drive letter.
2199 (Is_Relative): new routine.
2201 * osint.adb: Minor reformatting
2203 * osint.adb (Is_Relative): implementation using
2204 GNAT.OS_Lib.Is_Absolute_Path. Better fix.
2206 2001-10-25 Pascal Obry <obry@gnat.com>
2208 * g-dirope.adb (Basename): correctly compute offset between the
2209 original Path and the translated one.
2211 * g-dirope.adb: (Base_Name): add some comments.
2213 2001-10-25 Robert Dewar <dewar@gnat.com>
2215 * exp_imgv.adb (Expand_Image_Attribute): Defend against bad use
2216 in HIE mode, avoids compilation abandoned message
2218 * exp_imgv.adb: Correct typo in previous change
2220 * exp_imgv.adb: Correct typo in previous change (not my day!)
2222 2001-10-25 Robert Dewar <dewar@gnat.com>
2224 * s-tpinop.ads: Add 2001 to copyright notice. Fix header format.
2226 2001-10-25 Pascal Obry <obry@gnat.com>
2228 * g-awk.ads: Move all pragma inlines next to the routine
2229 declarations. This is more uniform with other GNAT spec.
2231 2001-10-22 Geert Bosch <bosch@gnat.com>
2233 * Make-lang.in (gnattools, cross-gnattools): Remove gnatmem.
2235 2001-10-19 Geert Bosch <bosch@gnat.com>
2237 * Makefile.in (tools, gnattools): Remove gnatmem.
2239 2001-10-17 Richard Henderson <rth@redhat.com>
2241 * Makefile.in (misc.o): Depend on langhooks.h.
2242 * misc.c: Include it.
2243 (LANG_HOOKS_INIT, LANG_HOOKS_INIT_OPTIONS): New.
2244 (LANG_HOOKS_DECODE_OPTION): New.
2245 (lang_hooks): Use LANG_HOOKS_INITIALIZER.
2247 2001-10-16 Florian Weimer <fw@deneb.enyo.de>
2249 * trans.c (tree_transform): Adjust to recent change in
2250 expand_asm_operands to implement named asm operands.
2252 2001-10-11 Ed Schonberg <schonber@gnat.com>
2254 * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Bugfix in
2255 renaming of discriminant for mutable record type.
2257 2001-10-11 Robert Dewar <dewar@gnat.com>
2259 * validsw.adb: Properly save -gnatVn status.
2261 2001-10-11 Robert Dewar <dewar@gnat.com>
2263 * usage.adb: Add lines for V switch.
2265 * gnatcmd.adb (COMPILE): Revise translations for -gnatV
2266 (/VALIDITY_CHECKING).
2268 2001-10-11 Ed Schonberg <schonber@gnat.com>
2270 * sem_type.adb (Add_One_Interp): an operator for a type declared in
2271 an extension of System is known to be visible.
2273 2001-10-11 Ed Schonberg <schonber@gnat.com>
2275 * sem_eval.adb (Compare_Fixup): get the bounds of a String_Literal
2276 properly. Fixes regression on ACATS C34005G.
2278 2001-10-11 Robert Dewar <dewar@gnat.com>
2280 * sem_ch5.adb (Analyze_Iteration_Scheme): Suppress warning on null
2281 loop in generic instance, since this is likely not very useful.
2283 2001-10-11 Robert Dewar <dewar@gnat.com>
2285 * restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize
2286 the error message for high integrity mode.
2288 * rtsfind.adb (RTE): Give message if we try to find an entity that
2289 is not available in high integrity mode.
2292 (OK_To_Use_In_HIE_Mode): New array.
2293 (RTE): May return Empty in high integrity mode.
2295 * rtsfind.ads (OK_To_Use_In_No_Run_Time_Mode): New name for
2296 OK_To_Use_In_HIE_Mode, now includes System_FAT_xxx.
2298 * sem_ch6.adb (Analyze_Subprogram_Body): Kill body in predefined
2299 unit if not inlined always and in no runtime mode. Fixes problem
2300 caused by new Rtsfind changes.
2302 * sem_ch6.adb (Analyze_Subrogram_Body): Do not Check_References if
2305 * rtsfind.adb (RTE): Make sure we do not try to load unit after
2306 giving message for entity not available in high integrity mode.
2308 2001-10-11 Pascal Obry <obry@gnat.com>
2310 * impunit.adb: Add GNAT.CRC32.
2312 2001-10-11 Ed Schonberg <schonber@gnat.com>
2314 * exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Fixed): handle
2315 properly the case where one universal operand in a non-static
2316 exponentiation of a real literal.
2318 2001-10-11 Ed Schonberg <schonber@gnat.com>
2320 * exp_ch7.adb (Find_Final_List): for a type appearing in a with_type
2321 clause, return the gobal finalization list, for lack of anthing else.
2323 2001-10-11 Ed Schonberg <schonber@gnat.com>
2325 * exp_ch7.adb (Make_Transient_Block): if statement is within
2326 exception handler, always use new transient scope to place Clean
2329 2001-10-11 Pascal Obry <obry@gnat.com>
2332 (GNAT_ADA_OBJS): add g-crc32.o, a-tags.o, a-stream.o
2333 (GNATBIND_OBJS): add g-crc32.o, a-tags.o, a-stream.o
2334 (GNATLS_RTL_OBJS): add g-crc32.o
2335 (GNATMAKE_RTL_OBJS): add g-crc32.o
2338 (CRC_Match): new function.
2339 (Get_File_Checksum): renamed Get_File_CRC. Use the GNAT.CRC32 unit
2340 instead of the previous simple checksum algorithm.
2341 (Time_Stamp_Mismatch): use CRC_Match for comparison.
2342 (Set_Source_Table): idem.
2345 (Get_File_Checksum): renamed Get_File_CRC as now we compute CRC
2346 instead of simple checksum.
2347 (CRC_Match): new function.
2348 (CRC_Error): new constant.
2350 * ali.adb (Scan_ALI): rename variable Chk to CRC as we are handling
2351 a CRC now and not a simple checksum. A CRC uses lower-case hex
2352 letters, fixes ambiguity in parsing.
2354 * ali.ads (Sdep_Record.Checksum): renamed Sdep_Record.CRC as this
2355 is what this variable will store.
2357 * bcheck.adb: Change reference to chechsum in comments by CRC.
2358 (Check_Consistency): Rename Get_File_Checksum to Get_File_CRC.
2359 rename All_Checksum_Match to All_CRC_Match. Change due to API
2360 renaming since now GNAT does not use a simple checksum but a
2361 CRC using GNAT.CRC32.
2363 * gnatls.adb: Rename Checksum to CRC in many places, we use a CRC
2364 now and not anymore a simple checksum.
2366 * lib-load.adb: Use Source_CRC instead of Source_Checksum in many
2369 * lib-writ.adb (Write_ALI): Use Source_CRC instead of Source_Checksum.
2372 (Restore_Scan_State): rename Checksum to CRC.
2373 (Save_Scan_State): idem.
2377 (Checksum): rename to CRC.
2378 (Saved_Scan_State): Save_Checksum field renamed to Save_CRC
2380 * scn-nlit.adb: Rename many Accumulate_Checksum to Update (from
2381 GNAT.CRC32). Update copyright notice.
2383 * scn-slit.adb: Rename many Accumulate_Checksum to Update (from
2384 GNAT.CRC32). Update copyright notice.
2387 (Accumulate_Checksum): removed.
2388 (Update): new procedure. Add a wide-character into the CRC.
2391 (Complete_Source_File_Entry): use CRC32 instead of simple checksum.
2392 (Load_File): fix initialization of S (change Source_Checksum to
2395 * sinput-p.adb (Load_Project_File): rename Source_Checksum to
2396 Source_CRC in S initialization.
2398 * sinput.adb (Source_Checksum): renamed to Source_CRC.
2400 * sinput.ads (Source_Checksum): renamed to Source_CRC.
2401 Update comments for the CRC.
2403 * types.adb (Hex): Use lowercase for the letter part.
2405 * types.ads (Get_Hex_String): Returns the hexadecimal representation
2406 for a word. This is currently used only for CRC. In previous version,
2407 the checksum was using a representation with all letter being
2408 upper-case. With the new implementation (using CRC) we do not remove
2409 the 32th bit of the CRC, so we can have an upper-case starting letter
2410 in the CRC. This is not possible to parse in Scan_ALI (ali.adb).
2411 It is ambigous since the CRC was optional and could be followed by
2412 options like EB, EE. So now this routines uses lower-case letter for
2413 the hexadecimal representation. Strange enough only lower case letters
2414 where checked in Scan_ALI (even if this was not a possible case).
2416 * gnatvsn.ads (Library_Version): changed to 3.15a.
2418 * s-crc32.ads: Initial version from GNAT.CRC32. This is the version
2421 * s-crc32.adb: Initial version from GNAT.CRC32. This is the version
2424 * ali-util.adb: Redo previous change to avoid using word CRC everywhere
2425 Add 2001 to copyright notice
2426 (Accumulate_Checksum): Modify to use System.CRC32.
2428 * ali-util.ads: Redo changes of previous revision to continue to use
2429 the word Checksum. Add 2001 to copyright notice.
2431 * ali.adb: Undo some of previous changes, not needed.
2432 Keep the change for lower case letters in the checksum.
2434 * ali.ads: Undo previous change not needed.
2436 * bcheck.adb: Undo most of previous change, not needed.
2437 But do use Checksums_Match for checksum comparison.
2439 * gnatls.adb: Undo most of previous change, not needed.
2440 But do use Checksums_Match for comparing checksums.
2442 * lib-load.adb: Undo previous change, not needed.
2444 * lib-writ.adb: Undo previous change, not needed.
2446 * lib-writ.ads: Document that checksums use lower case,
2447 not upper case letters.
2449 * scans.adb: Undo previous change, not needed
2451 * scans.ads: Undo previous change, not needed.
2453 * scn-nlit.adb: Undo previous changes, not needed.
2455 * scn-slit.adb: Undo previous change, not needed. Fix header format.
2458 (Accumulate_Checksum): Use System.CRC32.
2459 (Initialize_Checksum): New procedure.
2460 Remove other changes of previous revision.
2462 * sinput-p.adb: Undo previous change, not needed.
2464 * sinput.adb: Undo previous change, not needed.
2466 * sinput-l.adb: Undo previous change, not needed.
2468 * sinput.ads: Undo previous change, not needed. Keep only comment
2469 on new checksum algorithm
2471 * Makefile.in: Add s-crc32 as needed, remove g-crc32.
2472 Also remove a-tags and a-stream from GNAT sources.
2474 * ali.adb (Scan_ALI): fix typo introduce in latest check-in.
2476 * Makefile.in (GNATRTL_NONTASKING_OBJS): Add g-crc32.o.
2478 2001-10-11 Geert Bosch <bosch@gnat.com>
2480 * einfo.h: Regenerate.
2482 * nmake.ads: Regenerate.
2484 * nmake.adb: Regenerate.
2486 * sinfo.h: Regenerate.
2488 * treeprs.adb: Regenerate.
2490 2001-10-10 Geert Bosch <bosch@gnat.com>
2492 * gnat-style.texi: New file describing coding guidelines for Ada.
2494 2001-10-10 Ed Schonberg <schonber@gnat.com>
2496 * einfo.adb (Write_Entity_Flags): Elaboration_Entity_Required
2499 2001-10-10 Geert Bosch <bosch@gnat.com>
2501 * snames.ads: Add new names for project facility.
2503 * snames.adb: Update to reflect snames.ads changes.
2505 * snames.h: Update to reflect snames.ads changes.
2507 2001-10-10 Vincent Celier <celier@gnat.com>
2510 (Add_Switches): reflect the changes for the switches attributes
2511 Default_Switches indexed by the programming language,
2512 Switches indexed by the file name.
2513 (Collect_Arguments_And_Compile): Idem.
2514 Reflect the attribute name changes.
2517 (Initialisation_Data): Change the names of some packages and
2519 (Initialize): process case insensitive associative arrays.
2522 (Attribute_Kind): Remove Both, add Case_Insensitive_Associative_Array.
2525 (Parse_Attribute_Declaration): For case insensitive associative
2526 arrays, set the index string to lower case.
2529 Reflect the changes of the project attributes.
2532 Replace Check_Naming_Scheme by Ada_Check and
2533 Language_Independent_Check.
2536 Replaced Check_Naming_Scheme by 2 procedures:
2537 Ada_Check and Language_Independent_Check.
2540 (Process_Declarative_Items): For case-insensitive associative
2541 arrays, set the index string to lower case.
2542 (Recursive_Check): Call Prj.Nmsc.Ada_Check, instead of
2543 Prj.Nmsc.Check_Naming_Scheme.
2546 (Case_Insensitive): New function
2547 (Set_Case_Insensitive): New procedure
2550 (Case_Insensitive): New function
2551 (Set_Case_Insensitive): New procedure
2552 (Project_Node_Record): New flag Case_Insensitive.
2555 (Value_Of): new function to get the string value of a single
2556 string variable or attribute.
2559 (Value_Of): new function to get the string value of a single
2560 string variable or attribute.
2563 (Ada_Default_Spec_Suffix): New function
2564 (Ada_Default_Impl_Suffix): New function
2565 Change definitions of several constants to reflect
2566 new components of record types.
2569 (Naming_Data): Change several components to reflect new
2570 elements of naming schemes.
2571 (Project_Data): New flags Sources_Present and
2572 Language_Independent_Checked.
2573 (Ada_Default_Spec_Suffix): New function.
2574 (Ada_Default_Impl_Suffix): New function.
2577 Modification of predefined names for project manager: added
2578 Implementation, Specification_Exceptions, Implementation_Exceptions,
2579 Specification_Suffix, Implementation_Suffix, Separate_Suffix,
2580 Default_Switches, _Languages, Builder, Cross_Reference,
2581 Finder. Removed Body_Part, Specification_Append, Body_Append,
2582 Separate_Append, Gnatmake, Gnatxref, Gnatfind, Gnatbind,
2585 * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
2588 * prj-nmsc.adb (Ada_Check): Test that Separate_Suffix is defaulted,
2589 not that it is Nil_Variable_Value.
2591 * prj.ads: Add ??? for uncommented declarations
2593 2001-10-10 Ed Schonberg <schonber@gnat.com>
2595 * sem_prag.adb: (Analyze_Pragma, case External): If entity is a
2596 constant, do not indicate possible modification, so that gigi can
2597 treat it as a bona fide constant.
2599 2001-10-10 Robert Dewar <dewar@gnat.com>
2601 * sem_prag.adb: Add processing for pragma External.
2603 * snames.ads: Add entry for pragma External.
2605 * par-prag.adb: Add pragma External.
2607 * snames.adb: Updated to match snames.ads.
2609 2001-10-10 Ed Schonberg <schonber@gnat.com>
2611 * exp_ch4.adb (Expand_N_Allocator): Generate meaningful names for
2612 a dynamic task if the allocator appears in an indexed assignment
2613 or selected component assignment.
2615 * exp_util.adb (Build_Task_Array_Image, Build_Task_Record_Image):
2616 For a dynamic task in an assignment statement, use target of
2617 assignment to generate meaningful name.
2619 2001-10-10 Ed Schonberg <schonber@gnat.com>
2621 * einfo.adb (Write_Field19_Name): Body_Entity is also defined for
2624 * einfo.ads: Body_Entity is also defined for generic package.
2625 Documentation change only
2627 * exp_aggr.adb (Build_Array_Aggr_Code): When expanding an
2628 others_choice for a discriminated component initialization,
2629 convert discriminant references into the corresponding discriminals.
2631 * exp_ch3.adb (Get_Simple_Init_Val): Add qualification to aggregate
2632 only if original type is private and expression has to be wrapped
2636 (Apply_Constraint_Check): Do not perform length check
2637 if expression is an aggregate with only an others_choice.
2638 (Length_N_Cond): two references to the same in_parameter
2639 (typically the discriminal in an init_proc) denote the same value.
2640 Two useful optimization uncovered by bugfixes above.
2642 2001-10-10 Robert Dewar <dewar@gnat.com>
2644 * xeinfo.adb: Change int to char in translation of enumeration types.
2645 This fixes a problem in the C representation of component alignment.
2646 Add 2001 to copyright notice
2648 2001-10-10 Richard Kenner <kenner@gnat.com>
2650 * decl.c: (validate_size): Do check size of object of integral type
2651 if it is a packed array type.
2653 2001-10-10 Richard Kenner <kenner@gnat.com>
2655 * decl.c: (gnat_to_gnu_entity, case object): Also materialize
2656 VAR_DECL for constant if not Is_Public but -O0.
2658 2001-10-10 Richard Kenner <kenner@gnat.com>
2660 * misc.c (struct lang_hooks): Add new initializer to match GCC change.
2662 2001-10-10 Geert Bosch <bosch@gnat.com>
2664 * xnmake.adb (XNmake): Fix handling of -s/-b options. No longer
2665 use '/' as switch character, allowing for absolute file names.
2667 2001-10-09 Joseph S. Myers <jsm28@cam.ac.uk>
2669 * 4gintnam.ads, Make-lang.in, Makefile.in, config-lang.in: Update
2672 2001-10-08 Geert Bosch <bosch@gnat.com>
2674 * Makefile.in (treeprs.ads, einfo.h, sinfo.h, nmake.adb, nmake.ads):
2675 Automatically build utilities when files need to be regenerated.
2677 2001-10-08 Geert Bosch <bosch@gnat.com>
2679 * xsnames.adb: New utility for updating snames.ads and snames.adb
2681 2001-10-08 Zack Weinberg <zack@codesourcery.com>
2683 * Make-lang.in (ADAFLAGS): Add -W -Wall.
2684 (ADA_FLAGS_TO_PASS): Set ADA_CFLAGS=$(CFLAGS) also.
2685 (gnat1): Also depend on attribs.o.
2686 (gnatlib, gnatlib-shared): Set CC and ADAC in recursive make.
2687 * Makefile.in (X_ADAFLAGS, T_ADAFLAGS): New.
2688 (ADAC): Set to @ADAC@ in stage1, $(CC) later.
2689 (ADAFLAGS): Add -W -Wall.
2690 (ALL_ADAFLAGS, MOST_ADAFLAGS): Add X_ADAFLAGS and T_ADAFLAGS;
2693 (.adb.o, .ads.o, a-numaux.o, a-teioed.o, s-interr.o,
2694 s-taskin.o, sdefault.o, s-tasdeb.o, s-vaflop.o, a-except.o,
2695 s-assert.o, s-stalib.o, s-memory.o, memtrack.o, mlib-tgt.o):
2696 Use $(ADAC), not $(CC), as compilation command.
2698 (gnattools): Depend directly on tools to build, don't use
2700 (gnatlib): Set ADA_CFLAGS=$(GNATLIBCFLAGS) in recursive make.
2702 * einfo.h, sinfo.h: New files (autogenerated).
2704 2001-10-08 Richard Henderson <rth@redhat.com>
2706 * comperr.adb (Abort_In_Progress): New.
2707 (Compiler_Abort): Use it to prevent recursion.
2709 2001-10-08 Robert Dewar <dewar@gnat.com>
2711 * atree.adb: Set Error_Posted in Error node, helps error recovery.
2713 * par-endh.adb (Output_End_Expected): We should also not test
2714 Error_Posted on the Error node, since now it is always set.
2716 * cstand.adb (Create_Standard): Set Etype of Error to Any_Type
2717 to help error recovery. Part of general work on 9407-004.
2719 * par.adb: Add ??? for misuse of error
2722 (Resolve): Defend against Error, fixes 9407-003.
2723 (Resolve_Discrete_Subtype_Indication): Defend against Error.
2725 * sinfo.ads (N_Error): Now has Etype field (which will be set
2726 to Any_Type to help error recovery).
2728 2001-10-08 Richard Kenner (kenner@gnat.com)
2730 * misc.c (gnat_expand_expr, case UNCHECKED_CONVERT_EXPR):
2731 Consistently set MEM attributes from expression; fixes
2732 bootstrap failure on x86.
2734 2001-10-08 Geert Bosch (bosch@gnat.com)
2736 * 5oosinte.adb: Add 2001 to copyright notice.
2738 2001-10-08 Geert Bosch (bosch@gnat.com)
2740 * ceinfo.adb: Add utility for consistency checking of einfo.ad[bs].
2742 * csinfo.adb: Add utility for consistency checking of sinfo.ad[bs].
2744 2001-10-07 Joseph S. Myers <jsm28@cam.ac.uk>
2746 * 5oosinte.adb: Fix spelling error of "separate" as "seperate".
2748 2001-10-05 Geert Bosch (bosch@gnat.com)
2750 * adaint.h: Small formatting fix.
2752 2001-10-04 Geert Bosch <bosch@gnat.com>
2754 * sysdep.c (__gnat_set_binary_mode, __gnat_set_text_mode):
2755 Arg is int, not FILE *, in dummy version of functions.
2757 * adaint.h (__gnat_set_binary_mode, __gnat_set_text_mode):
2758 Arg is int, not FILE *.
2760 2001-10-04 Geert Bosch <bosch@gnat.com>
2762 * 3lsoccon.ads: Added file, missed with initial check ins.
2764 * 4lintnam.ads: Fix header format.
2765 Change Linux to GNU/Linux.
2767 * 5iosinte.adb: Change Linux to GNU/Linux.
2769 * 5iosinte.ads: Change Linux to GNU/Linux.
2771 * 5itaprop.adb: Change Linux to GNU/Linux.
2773 * 5itaspri.ads: Change Linux to GNU/Linux.
2774 Update copyright notice.
2776 * 5lintman.adb: Change Linux to GNU/Linux.
2778 * 5lml-tgt.adb: Change Linux to GNU/Linux.
2780 * 5losinte.ads: Change Linux to GNU/Linux.
2782 * 5lsystem.ads: Change Linux to GNU/Linux.
2784 * 5qosinte.adb: Change Linux to GNU/Linux.
2786 * 5qosinte.ads: Change Linux to GNU/Linux.
2788 * 5qparame.ads: Change Linux to GNU/Linux.
2790 * 5qtaprop.adb: Change Linux to GNU/Linux.
2792 * 5qtaspri.ads: Change Linux to GNU/Linux.
2793 Add 2001 to copyright notice.
2795 * 5vintman.ads: Change Linux to GNU/Linux.
2796 Fix header format. Add 2001 to copyright notice.
2798 * g-soccon.ads: Change Linux to GNU/Linux.
2800 * g-trasym.ads: Change Linux to GNU/Linux.
2801 Add 2001 to copyright notice.
2803 * memtrack.adb: Change Linux to GNU/Linux.
2805 * s-intman.ads: Change Linux to GNU/Linux.
2806 Add 2001 to copyright notice. Fix header format.
2808 * s-stache.adb: Change Linux to GNU/Linux.
2810 * adaint.c: Change Linux to GNU/Linux.
2812 * cio.c: Change Linux to GNU/Linux.
2814 * cstreams.c: Change Linux to GNU/Linux.
2816 * init.c: Change Linux to GNU/Linux.
2818 * gmem.c: Change Linux to GNU/Linux.
2820 * tracebak.c: Change Linux to GNU/Linux.
2823 2001-10-02 Geert Bosch <bosch@gnat.com>
2825 * misc.c (insert_default_attributes): Add dummy version.