gcc/ada/ChangeLog

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