]> gcc.gnu.org Git - gcc.git/blame - gcc/ada/ChangeLog
Removal of separate preprocessor cpp0.
[gcc.git] / gcc / ada / ChangeLog
CommitLineData
ad42149c
FW
12002-03-23 Florian Weimer <fw@deneb.enyo.de>
2
3 * gnat_rm.texi: Sync with ACT version.
4 (From Ben Brosgol <brosgol@gnat.com>)
5
7afff7cf
NB
62002-03-20 Neil Booth <neil@daikokuya.demon.co.uk>
7
8 * misc.c (LANG_HOOKS_DECL_PRINTABLE_NAME): Redefine.
9 (gnat_init): Remove old hook.
10
52dabb6c
NB
112002-03-17 Neil Booth <neil@daikokuya.demon.co.uk>
12
13 * misc.c (LANG_HOOKS_PARSE_FILE): Redefine.
14 (yyparse): Rename gnat_parse_file.
15
6cbcc541
GK
162002-03-14 Geoffrey Keating <geoffk@redhat.com>
17
18 Delete all lines containing "$Revision:".
19 * xeinfo.adb: Don't look for revision numbers.
20 * xnmake.adb: Likewise.
21 * xsinfo.adb: Likewise.
22 * xsnames.adb: Likewise.
23 * xtreeprs.adb: Likewise.
24
2f9834e8
KG
252002-03-12 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
26
27 * misc.c (gnat_tree_code_type, gnat_tree_code_length,
28 gnat_tree_code_name): Delete.
29 (tree_code_type, tree_code_length, tree_code_name): Define.
30 (gnat_init): Don't try to copy into the various tree_code
31 arrays.
32
63adb4ff
RH
332002-03-11 Richard Henderson <rth@redhat.com>
34
35 * Makefile.in (.NOTPARALLEL): Add fake tag.
36
43ff4547
GB
372002-03-07 Geert Bosch <bosch@gnat.com>
38
39 * adadecode.c, adadecode.h, aux-io.c, s-traces.adb, s-traces.ads,
40 s-tratas.adb, s-tratas.ads, sinput-d.adb, sinput-d.ads,
41 switch-b.adb, switch-b.ads, switch-c.adb, switch-c.ads,
42 switch-m.adb, switch-m.ads : New files.
43
07fc65c4
GB
442002-03-07 Geert Bosch <bosch@gnat.com>
45
46 * 41intnam.ads, 42intnam.ads, 4aintnam.ads, 4cintnam.ads,
47 4dintnam.ads, 4gintnam.ads, 4hintnam.ads, 4lintnam.ads,
48 4mintnam.ads, 4pintnam.ads, 4rintnam.ads, 4sintnam.ads,
49 4uintnam.ads, 4vcalend.adb, 4zintnam.ads, 52system.ads,
50 5amastop.adb, 5asystem.ads, 5ataprop.adb, 5atpopsp.adb,
51 5avxwork.ads, 5bosinte.adb, 5bsystem.ads, 5esystem.ads,
52 5fsystem.ads, 5ftaprop.adb, 5ginterr.adb, 5gmastop.adb,
53 5gsystem.ads, 5gtaprop.adb, 5gtasinf.adb, 5gtasinf.ads,
54 5hparame.ads, 5hsystem.ads, 5htaprop.adb, 5htraceb.adb,
55 5itaprop.adb, 5ksystem.ads, 5kvxwork.ads, 5lintman.adb,
56 5lsystem.ads, 5mvxwork.ads, 5ninmaop.adb, 5nosinte.ads,
57 5ntaprop.adb, 5ointerr.adb, 5omastop.adb, 5oosinte.adb,
58 5osystem.ads, 5otaprop.adb, 5otaspri.ads, 5pvxwork.ads,
59 5qtaprop.adb, 5sintman.adb, 5ssystem.ads, 5staprop.adb,
60 5stpopse.adb, 5svxwork.ads, 5tosinte.ads, 5uintman.adb,
61 5vasthan.adb, 5vinmaop.adb, 5vinterr.adb, 5vintman.adb,
62 5vmastop.adb, 5vparame.ads, 5vsystem.ads, 5vtaprop.adb,
63 5vtpopde.adb, 5wmemory.adb, 5wsystem.ads, 5wtaprop.adb,
64 5ysystem.ads, 5zinterr.adb, 5zintman.adb, 5zosinte.adb,
65 5zosinte.ads, 5zsystem.ads, 5ztaprop.adb, 6vcpp.adb, 6vcstrea.adb,
66 7sintman.adb, 7staprop.adb, 7stpopsp.adb, 9drpc.adb,
67 Make-lang.in, Makefile.in, a-caldel.adb, a-comlin.ads,
68 a-dynpri.adb, a-except.adb, a-except.ads, a-finali.adb,
69 a-ncelfu.ads, a-reatim.adb, a-retide.adb, a-stream.ads,
70 a-ststio.adb, a-ststio.ads, a-stwifi.adb, a-tags.adb, a-tasatt.adb,
71 a-textio.adb, a-tideau.adb, a-tiflau.adb, a-tigeau.adb,
72 a-tigeau.ads, a-tiinau.adb, a-timoau.adb, a-witeio.adb,
73 a-wtdeau.adb, a-wtenau.adb, a-wtflau.adb, a-wtgeau.adb,
74 a-wtgeau.ads, a-wtinau.adb, a-wtmoau.adb, ada-tree.def, ada-tree.h,
75 adaint.c, adaint.h, ali-util.adb, ali.adb, ali.ads, atree.adb,
76 atree.ads, atree.h, back_end.adb, bcheck.adb, bindgen.adb,
77 bindusg.adb, checks.adb, comperr.adb, config-lang.in, csets.adb,
78 csets.ads, cstand.adb, cstreams.c, debug.adb, debug.ads, decl.c,
79 einfo.adb, einfo.ads, einfo.h, elists.h, errout.adb, errout.ads,
80 eval_fat.adb, exp_aggr.adb, exp_attr.adb, exp_ch11.adb,
81 exp_ch12.adb, exp_ch13.adb, exp_ch2.adb, exp_ch3.adb, exp_ch3.ads,
82 exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch7.adb, exp_ch7.ads,
83 exp_ch9.adb, exp_ch9.ads, exp_dbug.adb, exp_dbug.ads, exp_disp.ads,
84 exp_dist.adb, exp_fixd.adb, exp_intr.adb, exp_pakd.adb,
85 exp_prag.adb, exp_strm.adb, exp_util.adb, exp_util.ads,
86 expander.adb, expect.c, fe.h, fmap.adb, fmap.ads, fname-uf.adb,
87 freeze.adb, frontend.adb, g-awk.adb, g-cgideb.adb, g-comlin.adb,
88 g-comlin.ads, g-debpoo.adb, g-dirope.adb, g-dirope.ads,
89 g-dyntab.adb, g-expect.adb, g-expect.ads, g-io.ads, g-io_aux.adb,
90 g-io_aux.ads, g-locfil.adb, g-locfil.ads, g-os_lib.adb,
91 g-os_lib.ads, g-regexp.adb, g-regpat.adb, g-socket.adb,
92 g-socket.ads, g-spipat.adb, g-table.adb, g-trasym.adb,
93 g-trasym.ads, gigi.h, gmem.c, gnat1drv.adb, gnatbind.adb, gnatbl.c,
94 gnatchop.adb, gnatcmd.adb, gnatdll.adb, gnatfind.adb, gnatlbr.adb,
95 gnatlink.adb, gnatls.adb, gnatmem.adb, gnatprep.adb, gnatvsn.ads,
96 gnatxref.adb, hlo.adb, hostparm.ads, i-cobol.adb, i-cpp.adb,
97 i-cstrea.ads, i-cstrin.adb, i-pacdec.adb, i-vxwork.ads,
98 impunit.adb, init.c, inline.adb, io-aux.c, layout.adb, lib-load.adb,
99 lib-util.adb, lib-writ.adb, lib-writ.ads, lib-xref.adb,
100 lib-xref.ads, lib.adb, lib.ads, make.adb, makeusg.adb, mdll.adb,
101 memroot.adb, misc.c, mlib-tgt.adb, mlib-utl.adb, mlib-utl.ads,
102 mlib.adb, namet.adb, namet.ads, namet.h, nlists.h, nmake.adb,
103 nmake.ads, nmake.adt, opt.adb, opt.ads, osint.adb, osint.ads,
104 output.adb, output.ads, par-ch2.adb, par-ch3.adb, par-ch5.adb,
105 par-prag.adb, par-tchk.adb, par-util.adb, par.adb, prj-attr.adb,
106 prj-dect.adb, prj-env.adb, prj-env.ads, prj-nmsc.adb, prj-part.adb,
107 prj-proc.adb, prj-strt.adb, prj-tree.adb, prj-tree.ads, prj.adb,
108 prj.ads, raise.c, raise.h, repinfo.adb, restrict.adb, restrict.ads,
109 rident.ads, rtsfind.adb, rtsfind.ads, s-arit64.adb, s-asthan.adb,
110 s-atacco.adb, s-atacco.ads, s-auxdec.adb, s-crc32.adb, s-crc32.ads,
111 s-direio.adb, s-fatgen.adb, s-fileio.adb, s-finimp.adb,
112 s-gloloc.adb, s-gloloc.ads, s-interr.adb, s-mastop.adb,
113 s-mastop.ads, s-memory.adb, s-parame.ads, s-parint.adb,
114 s-pooglo.adb, s-pooloc.adb, s-rpc.adb, s-secsta.adb, s-sequio.adb,
115 s-shasto.adb, s-soflin.adb, s-soflin.ads, s-stache.adb,
116 s-taasde.adb, s-taasde.ads, s-tadeca.adb, s-tadeca.ads,
117 s-tadert.adb, s-tadert.ads, s-taenca.adb, s-taenca.ads,
118 s-taprob.adb, s-taprop.ads, s-tarest.adb, s-tasdeb.adb,
119 s-tasini.adb, s-tasini.ads, s-taskin.adb, s-taskin.ads,
120 s-tasque.adb, s-tasque.ads, s-tasren.adb, s-tasren.ads,
121 s-tassta.adb, s-tasuti.adb, s-tasuti.ads, s-tataat.adb,
122 s-tataat.ads, s-tpoben.adb, s-tpoben.ads, s-tpobop.adb,
123 s-tposen.adb, s-tposen.ads, s-traceb.adb, s-traceb.ads,
124 s-unstyp.ads, s-widenu.adb, scn-nlit.adb, scn.adb, sem.adb,
125 sem_aggr.adb, sem_attr.adb, sem_attr.ads, sem_case.adb,
126 sem_ch10.adb, sem_ch11.adb, sem_ch11.ads, sem_ch12.adb,
127 sem_ch13.adb, sem_ch13.ads, sem_ch2.adb, sem_ch3.adb, sem_ch3.ads,
128 sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_ch6.ads, sem_ch7.adb,
129 sem_ch8.adb, sem_ch8.ads, sem_ch9.adb, sem_disp.adb, sem_dist.adb,
130 sem_elab.adb, sem_elim.adb, sem_elim.ads, sem_eval.adb,
131 sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb,
132 sem_type.adb, sem_util.adb, sem_util.ads, sem_vfpt.adb,
133 sem_warn.adb, sinfo.adb, sinfo.ads, sinfo.h, sinput-l.adb,
134 sinput-l.ads, sinput.adb, sinput.ads, snames.adb, snames.ads,
135 snames.h, sprint.adb, sprint.ads, stringt.adb, stringt.ads,
136 stringt.h, style.adb, switch.adb, switch.ads, sysdep.c, system.ads,
137 table.adb, targparm.adb, targparm.ads, targtyps.c, tbuild.adb,
138 tbuild.ads, tracebak.c, trans.c, tree_gen.adb, tree_io.adb,
139 treepr.adb, treepr.ads, treeprs.ads, treeprs.adt, ttypes.ads,
140 types.adb, types.ads, types.h, uintp.ads, urealp.ads, usage.adb,
141 utils.c, utils2.c, validsw.adb, xnmake.adb, xr_tabls.adb,
142 xr_tabls.ads, xref_lib.adb, xref_lib.ads : Merge in ACT changes.
143
144 * 1ssecsta.adb, 1ssecsta.ads, a-chlat9.ads, a-cwila9.ads,
145 g-enblsp.adb, g-md5.adb, g-md5.ads, gnatname.adb, gnatname.ads,
146 mkdir.c, osint-b.adb, osint-b.ads, osint-c.adb, osint-c.ads,
147 osint-l.adb, osint-l.ads, osint-m.adb, osint-m.ads : New files
148
149 * 3lsoccon.ads, 5qparame.ads, 5qvxwork.ads, 5smastop.adb,
150 5zparame.ads, gnatmain.adb, gnatmain.ads, gnatpsys.adb : Removed
151
152 * mdllfile.adb, mdllfile.ads, mdlltool.adb, mdlltool.ads : Renamed
153 to mdll-fil.ad[bs] and mdll-util.ad[bs]
154
155 * mdll-fil.adb, mdll-fil.ads, mdll-utl.adb, mdll-utl.ads : Renamed
156 from mdllfile.ad[bs] and mdlltool.ad[bs]
157
ca7558fc
KG
1582002-03-03 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
159
160 * utils.c (init_gnat_to_gnu, init_gigi_decls): Use ARRAY_SIZE in
161 lieu of explicit sizeof/sizeof.
162
63e1b1c4
NB
1632002-02-28 Neil Booth <neil@daikokuya.demon.co.uk>
164
165 * misc.c (copy_lang_decl): Remove.
166
f458d1d5
ZW
1672002-02-27 Zack Weinberg <zack@codesourcery.com>
168
169 * misc.c: Delete traditional-mode-related code copied from the
170 C front end but not used, or used only to permit the compiler
171 to link.
172
21e09952
RH
1732002-02-07 Richard Henderson <rth@redhat.com>
174
175 * adaint.c (__gnat_to_gm_time): First arg is int, not time_t.
176 * adaint.h (__gnat_to_gm_time): Update prototype.
177
ead39bdf 1782002-01-30 Richard Henderson <rth@redhat.com>
e803a64b
RH
179
180 * trans.c (tree_transform) [N_Loop_Statement]: Use
181 expand_exit_loop_top_cond.
182
72ac12bf
RH
1832001-12-23 Richard Henderson <rth@redhat.com>
184
185 * utils.c (end_subprog_body): Push GC context around
186 rest_of_compilation for nested functions.
187
14aacce7
RH
1882001-12-23 Richard Henderson <rth@redhat.com>
189
190 * 5nosinte.ads: Get definition of "int" from Interfaces.C.
191
b3d45d87
FW
1922001-12-23 Florian Weimer <fw@deneb.enyo.de>
193
ece2d1b8
FW
194 * gnat-style.texi (Declarations and Types): Remove ancient style
195 rule which was mandated by code generation issues.
196
b3d45d87
FW
197 * gnat-style.texi (header): Add @dircategory, @direntry.
198 (title page): Remove date.
199 (general) Add @./@: where approriate, and two spaces after the
200 full stop at the end of a sentence. Use @samp markup when
201 referring concrete lexical entities (keywords, attribute names
202 etc.), and @syntax for ARM grammar elements. Use @r for English
203 text in comments. Use @emph for emphasis. Change "if-statements"
204 etc. to "if statements" (without @samp). Break long lines. Make
205 casing of section names consistent.
206 (Identifiers): Use @samp markup for variable names.
207 (Comments): Use @samp markup for comment characters. Line-end
208 comments may follow any Ada code, not just statements. Fix
209 misspelling of "Integer" as "integer".
210 (Loop statements): Do not use variable name "I", use "J".
211 (Subprogram Declarations): Document alignment.
212 (Subprogram Bodies, Block statements): Document empty line before
213 "begin".
214
7a73ad55
FW
2152001-12-22 Florian Weimer <fw@deneb.enyo.de>
216
217 * make.adb (Add_Switch): Make Generic_Position a procedure. The
218 function approach did not work well because of a side effect (the
219 function call could reallocate the table which was being indexed
220 using its result). Fixes ada/4851.
221
17c5c8a5
GB
2222001-12-19 Robert Dewar <dewar@gnat.com>
223
224 * bindgen.adb: Minor reformatting
225
226 * cstand.adb: Minor reformatting
227
228 * fmap.adb: Minor reformatting
229 Change name from Add for Add_To_File_Map (Add is much too generic)
230 Change Path_Name_Of to Mapped_Path_Name
231 Change File_Name_Of to Mapped_File_Name
232 Fix copyright dates in header
233
234 * fmap.ads:
235 Change name from Add for Add_To_File_Map (Add is much too generic)
236 Change Path_Name_Of to Mapped_Path_Name
237 Change File_Name_Of to Mapped_File_Name
238 Fix copyright dates in header
239
240 * fname-uf.adb: Minor reformatting. New names of stuff in Fmap.
241 Add use clause for Fmap.
242
243 * make.adb: Minor reformatting
244
245 * osint.adb: Minor reformatting. Change of names in Fmap.
246 Add use clause for Fmap.
247
248 * prj-env.adb: Minor reformatting
249
250 * prj-env.ads: Minor reformatting
251
07fc65c4
GB
252 * switch.adb: Minor reformatting. Do proper raise of Bad_Switch if
253 error found (there were odd exceptions to this general rule in
17c5c8a5
GB
254 -gnatec/-gnatem processing)
255
2562001-12-19 Olivier Hainque <hainque@gnat.com>
257
07fc65c4
GB
258 * raise.c (__gnat_eh_personality): Exception handling personality
259 routine for Ada. Still in rough state, inspired from the C++ version
17c5c8a5 260 and still containing a bunch of debugging artifacts.
07fc65c4 261 (parse_lsda_header, get_ttype_entry): Local (static) helpers, also
17c5c8a5
GB
262 inspired from the C++ library.
263
07fc65c4 264 * raise.c (eh_personality): Add comments. Part of work for the GCC 3
17c5c8a5
GB
265 exception handling integration.
266
2672001-12-19 Arnaud Charlet <charlet@gnat.com>
268
269 * Makefile.in: Remove use of 5smastop.adb which is obsolete.
270 (HIE_SOURCES): Add s-secsta.ad{s,b}.
271 (HIE_OBJS): Add s-fat*.o
07fc65c4 272 (RAVEN_SOURCES): Remove files that are no longer required. Add
17c5c8a5
GB
273 interrupt handling files.
274 (RAVEN_MOD): Removed, no longer needed.
275
2762001-12-19 Robert Dewar <dewar@gnat.com>
277
278 * a-ngelfu.adb: Remove ??? comment for inappropriate Inline_Always
279 Add 2001 to copyright date
280
07fc65c4 281 * g-regpat.adb: Change pragma Inline_Always to Inline. There is no
17c5c8a5
GB
282 need to force universal inlining for these cases.
283
2842001-12-19 Arnaud Charlet <charlet@gnat.com>
285
07fc65c4 286 * s-taprob.adb: Minor clean ups so that this unit can be used in
17c5c8a5
GB
287 Ravenscar HI.
288
289 * exp_ch7.adb: Allow use of secondary stack in HI mode.
290 Disallow it when pragma Restrictions (No_Secondary_Stack) is specified.
291
2922001-12-19 Vincent Celier <celier@gnat.com>
293
07fc65c4 294 * prj-tree.ads (Project_Node_Record): Add comments for components
17c5c8a5
GB
295 Pkg_Id and Case_Insensitive.
296
2972001-12-19 Pascal Obry <obry@gnat.com>
298
299 * g-socket.adb: Minor reformatting. Found while reading code.
300
3012001-12-19 Robert Dewar <dewar@gnat.com>
302
303 * prj-tree.ads: Minor reformatting
304
38be19f6
JM
3052001-12-20 Joseph S. Myers <jsm28@cam.ac.uk>
306
307 * config-lang.in (diff_excludes): Remove.
308
6510f4c9
GB
3092001-12-17 Ed Schonberg <schonber@gnat.com>
310
07fc65c4
GB
311 * sem_res.adb (Resolve_Selected_Component): do not generate a
312 discriminant check if the selected component is a component of
6510f4c9
GB
313 the argument of an initialization procedure.
314
07fc65c4
GB
315 * trans.c (tree_transform, case of arithmetic operators): If result
316 type is private, the gnu_type is the base type of the full view,
6510f4c9
GB
317 given that the full view itself may be a subtype.
318
3192001-12-17 Robert Dewar <dewar@gnat.com>
320
321 * sem_res.adb: Minor reformatting
322
07fc65c4
GB
323 * trans.c (tree_transform, case N_Real_Literal): Add missing third
324 parameter in call to Machine (unknown horrible effects from this
6510f4c9
GB
325 omission).
326
327 * urealp.h: Add definition of Round_Even for call to Machine
328 Add third parameter for Machine
329
3302001-12-17 Ed Schonberg <schonber@gnat.com>
331
07fc65c4 332 * sem_warn.adb (Check_One_Unit): Suppress warnings completely on
6510f4c9
GB
333 predefined units in No_Run_Time mode.
334
3352001-12-17 Richard Kenner <kenner@gnat.com>
336
337 * misc.c (insn-codes.h): Now include.
338
3392001-12-17 Olivier Hainque <hainque@gnat.com>
340
07fc65c4 341 * a-except.adb: Preparation work for future integration of the GCC 3
6510f4c9
GB
342 exception handling mechanism
343 (Notify_Handled_Exception, Notify_Unhandled_Exception): New routines
344 to factorize previous code sequences and make them externally callable,
345 e.g. for the Ada personality routine when the GCC 3 mechanism is used.
346 (Propagate_Exception, Raise_Current_Excep, Raise_From_Signal_Handler):
347 Use the new notification routines.
348
3492001-12-17 Emmanuel Briot <briot@gnat.com>
350
351 * prj-tree.ads (First_Choice_Of): Document the when others case
352
3532001-12-17 Arnaud Charlet <charlet@gnat.com>
354
07fc65c4 355 * bindgen.adb (Gen_Ada_Init_*): Set priority of environment task in
6510f4c9
GB
356 HI-E mode, in order to support Ravenscar profile properly.
357
07fc65c4 358 * cstand.adb (Create_Standard): Duration is a 32 bit type in HI-E
6510f4c9
GB
359 mode on 32 bits targets.
360
3612001-12-17 Vincent Celier <celier@gnat.com>
362
363 * fmap.adb: Initial version.
364
365 * fmap.ads: Initial version.
366
367 * fname-uf.adb (Get_File_Name): Use mapping if unit name mapped.
368 If search is successfully done, add to mapping.
369
370 * frontend.adb: Initialize the mapping if a -gnatem switch was used.
371
372 * make.adb:
373 (Gnatmake): Add new local variable Mapping_File_Name.
374 Create mapping file when using project file(s).
375 Delete mapping file before exiting.
376
377 * opt.ads (Mapping_File_Name): New variable
378
379 * osint.adb (Find_File): Use path name found in mapping, if any.
380
381 * prj-env.adb (Create_Mapping_File): New procedure
382
383 * prj-env.ads (Create_Mapping_File): New procedure.
384
07fc65c4 385 * switch.adb (Scan_Front_End_Switches): Add processing for -gnatem
6510f4c9
GB
386 (Mapping_File)
387
388 * usage.adb: Add entry for new switch -gnatem.
389
390 * Makefile.in: Add dependencies for fmap.o.
391
3922001-12-17 Ed Schonberg <schonber@gnat.com>
393
07fc65c4 394 * sem_ch10.adb (Analyze_With_Clause): Retrieve proper entity when unit
6510f4c9
GB
395 is a package instantiation rewritten as a package body.
396 (Install_Withed_Unit): Undo previous change, now redundant.
397
3982001-12-17 Gary Dismukes <dismukes@gnat.com>
399
400 * layout.adb:
401 (Compute_Length): Move conversion to Unsigned to callers.
402 (Get_Max_Size): Convert Len expression to Unsigned after calls to
403 Compute_Length and Determine_Range.
404 (Layout_Array_Type): Convert Len expression to Unsigned after calls to
405 Compute_Length and Determine_Range.
406 Above changes fix problem with length computation for supernull arrays
07fc65c4 407 where Max (Len, 0) wasn't getting applied due to the Unsigned
6510f4c9
GB
408 conversion used by Compute_Length.
409
4102001-12-17 Arnaud Charlet <charlet@gnat.com>
411
412 * rtsfind.ads:
413 (OK_To_Use_In_No_Run_Time_Mode): Allow Ada.Exceptions and
414 System.Secondary_Stack.
415 (OK_To_Use_In_Ravenscar_Mode): New table needed to implement Ravenscar
416 in HI-E mode.
417 Remove unused entity RE_Exception_Data.
418
419 * rtsfind.adb (RTE): Allow Ravenscar Profile in HI mode.
420
421 * rident.ads (No_Secondary_Stack): New restriction.
422
3a77b68d
GB
4232001-12-17 Joel Brobecker <brobecke@gnat.com>
424
07fc65c4 425 * gnat_rm.texi: Fix minor typos. Found while reading the section
3a77b68d
GB
426 regarding "Bit_Order Clauses" that was sent to a customer.
427 Very interesting documentation!
428
4292001-12-17 Robert Dewar <dewar@gnat.com>
430
07fc65c4
GB
431 * sem_case.adb (Choice_Image): Avoid creating improper character
432 literal names by using the routine Set_Character_Literal_Name. This
3a77b68d
GB
433 fixes bombs in certain error message cases.
434
4352001-12-17 Arnaud Charlet <charlet@gnat.com>
436
437 * a-reatim.adb: Minor reformatting.
438
4392001-12-17 Ed Schonberg <schonber@gnat.com>
440
07fc65c4
GB
441 * sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly the
442 case where the formal is an extension of another formal in the current
3a77b68d
GB
443 unit or in a parent generic unit.
444
4452001-12-17 Arnaud Charlet <charlet@gnat.com>
446
07fc65c4 447 * s-tposen.adb: Update comments. Minor reformatting.
3a77b68d
GB
448 Minor code clean up.
449
450 * s-tarest.adb: Update comments. Minor code reorganization.
451
4522001-12-17 Gary Dismukes <dismukes@gnat.com>
453
07fc65c4 454 * exp_attr.adb (Attribute_Tag): Suppress expansion of <type_name>'Tag
3a77b68d
GB
455 when Java_VM.
456
4572001-12-17 Robert Dewar <dewar@gnat.com>
458
459 * exp_attr.adb: Minor reformatting
460
4612001-12-17 Ed Schonberg <schonber@gnat.com>
462
07fc65c4 463 * sem_ch3.adb (Build_Derived_Private_Type): Refine check to handle
3a77b68d
GB
464 derivations nested within a child unit: verify that the parent
465 type is declared in an outer scope.
466
4672001-12-17 Robert Dewar <dewar@gnat.com>
468
469 * sem_ch12.adb: Minor reformatting
470
4712001-12-17 Ed Schonberg <schonber@gnat.com>
472
07fc65c4
GB
473 * sem_warn.adb (Check_One_Unit): In No_Run_Time mode, do not post
474 warning if current unit is a predefined one, from which bodies may
3a77b68d
GB
475 have been deleted.
476
4772001-12-17 Robert Dewar <dewar@gnat.com>
478
479 * eval_fat.ads: Add comment that Round_Even is referenced in Ada code
480 Fix header format. Add 2001 to copyright date.
481
07fc65c4 482 * exp_dbug.adb (Get_Encoded_Name): Fix out of bounds reference,
3a77b68d
GB
483 which caused CE during compilation if checks were enabled.
484
79503fdd
GB
4852001-12-17 Vincent Celier <celier@gnat.com>
486
487 * make.adb:
488 (Switches_Of): New function
489 (Test_If_Relative_Path): New procedure
490 (Add_Switches): Use new function Switches_Of
491 (Collect_Arguments_And_Compile): Use new function Switches_Of.
492 When using a project file, test if there are any relative
493 search path. Fail if there are any.
07fc65c4
GB
494 (Gnatmake): Only add switches for the primary directory when not using
495 a project file. When using a project file, change directory to the
496 object directory of the main project file. When using a project file,
497 test if there are any relative search path. Fail if there are any.
498 When using a project file, fail if specified executable is relative
499 path with directory information, and prepend executable, if not
500 specified as an absolute path, with the exec directory. Make sure
79503fdd
GB
501 that only one -o switch is transmitted to the linker.
502
503 * prj-attr.adb (Initialization_Data): Add project attribute Exec_Dir
504
505 * prj-nmsc.adb:
506 (Ada_Check): Get Spec_Suffix_Loc and Impl_Suffix_Loc,
507 when using a non standard naming scheme.
508 (Check_Ada_Naming_Scheme): Make sure that error messages
509 do not raise exceptions.
510 (Is_Illegal_Append): Return True if there is no dot in the suffix.
511 (Language_Independent_Check): Check the exec directory.
512
513 * prj.adb (Project_Empty): Add new component Exec_Directory
514
515 * prj.ads:
516 (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Add defaults.
517 (Project_Data): Add component Exec_Directory
518
519 * snames.adb: Updated to match snames.ads revision 1.215
520
521 * snames.ads: Added Exec_Dir
522
5232001-12-17 Robert Dewar <dewar@gnat.com>
524
525 * make.adb: Minor reformatting
526
527 * prj-nmsc.adb: Minor reformatting
528
529 * snames.adb: Updated to match snames.ads
530
531 * snames.ads: Alphebetize entries for project file
532
5332001-12-17 Ed Schonberg <schonber@gnat.com>
534
07fc65c4 535 * trans.c (process_freeze_entity): Do nothing if the entity is a
79503fdd
GB
536 subprogram that was already elaborated.
537
5382001-12-17 Richard Kenner <kenner@gnat.com>
539
07fc65c4 540 * decl.c (gnat_to_gnu_entity, object): Do not back-annotate Alignment
79503fdd
GB
541 and Esize if object is referenced via pointer.
542
855ff2e1
GB
5432001-12-17 Ed Schonberg <schonber@gnat.com>
544
07fc65c4 545 * sem_ch3.adb (Analyze_Variant_Part): check that type of discriminant
855ff2e1
GB
546 is discrete before analyzing choices.
547
5482001-12-17 Joel Brobecker <brobecke@gnat.com>
549
07fc65c4
GB
550 * bindgen.adb (Gen_Output_File_Ada): Generate a new C-like string
551 containing the name of the Ada Main Program. This string is mainly
855ff2e1
GB
552 intended for the debugger.
553 (Gen_Output_File_C): Do the equivalent change when generating a C file.
554
5552001-12-17 Robert Dewar <dewar@gnat.com>
556
557 * ali.adb: Set new Dummy_Entry field in dependency entry
558
559 * ali.ads: Add Dummy_Entry field to source dependency table
560
561 * bcheck.adb (Check_Consistency): Ignore dummy D lines
562
563 * lib-writ.adb (Writ_ALI): Write dummy D lines for missing source files
564
565 * lib-writ.ads: Document dummy D lines for missing files.
566
567 * types.ads: (Dummy_Time_Stamp): New value for non-existant files
568
c1c22e7a
GB
5692001-12-17 Robert Dewar <dewar@gnat.com>
570
571 * ali.adb: Type reference does not reset current file.
572
573 * ali.adb: Recognize and scan renaming reference
574
575 * ali.ads: Add spec for storing renaming references.
576
577 * lib-xref.ads: Add documentation for handling of renaming references
578
579 * lib-xref.adb: Implement output of renaming reference.
580
581 * checks.adb:
582 (Determine_Range): Document local variables
583 (Determine_Range): Make sure Hbound is initialized. It looks as though
584 there could be a real problem here with an uninitialized reference
585 to Hbound, but no actual example of failure has been found.
586
5872001-12-17 Laurent Pautet <pautet@gnat.com>
588
589 * g-socket.ads:
590 Fix comment of Shutdown_Socket and Close_Socket. These functions
591 should not fail silently because if they are called twice, this
592 probably means that there is a race condition in the user program.
593 Anyway, this behaviour is consistent with the rest of this unit.
594 When an error occurs, an exception is raised with the error message
595 as exception message.
596
7eb7bb07
RD
5972001-12-17 Robert Dewar <dewar@gnat.com>
598
07fc65c4 599 * frontend.adb: Move call to Check_Unused_Withs from Frontend, so
7eb7bb07
RD
600 that it happens before modification of Sloc values for -gnatD.
601
07fc65c4 602 * gnat1drv.adb: Move call to Check_Unused_Withs to Frontend,
7eb7bb07
RD
603 so that it happens before modification of Sloc values for -gnatD.
604
605 * switch.adb: Minor reformatting
606
b6434700
RH
6072001-12-15 Richard Henderson <rth@redhat.com>
608
609 * sem_ch7.adb: Wrap comment.
610
44d6a706
JM
6112001-12-16 Joseph S. Myers <jsm28@cam.ac.uk>
612
613 * 5ataprop.adb, 5atpopsp.adb, 5ftaprop.adb, 5gmastop.adb,
614 5gtaprop.adb, 5htaprop.adb, 5itaprop.adb, 5lintman.adb,
615 5omastop.adb, 5oosinte.adb, 5otaprop.adb, 5staprop.adb,
616 5vinterr.adb, 5vtaprop.adb, 5vtpopde.adb, 5wintman.adb,
617 5wtaprop.adb, 5zinterr.adb, 5ztaprop.adb, 6vcstrea.adb,
618 7sintman.adb, 7staprop.adb, 9drpc.adb, ChangeLog, Makefile.in,
619 a-except.adb, a-tags.ads, a-tasatt.adb, a-teioed.adb,
620 a-textio.ads, a-witeio.ads, a-wtedit.adb, ali.ads, comperr.adb,
621 cstand.adb, einfo.ads, errout.adb, exp_ch11.adb, exp_ch2.adb,
622 exp_ch3.adb, exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch9.adb,
623 exp_util.adb, exp_util.ads, fname-uf.adb, g-cgi.ads, g-exctra.ads,
624 g-expect.ads, g-regist.adb, g-spipat.adb, gnatchop.adb,
625 gnatlink.adb, gnatls.adb, gnatmain.adb, gnatmem.adb, init.c,
626 make.adb, make.ads, mdlltool.adb, nlists.ads, osint.ads,
627 par-ch3.adb, par-ch4.adb, par-ch5.adb, par-ch6.adb, par.adb,
628 repinfo.adb, s-fatflt.ads, s-fatlfl.ads, s-fatllf.ads,
629 s-fatsfl.ads, s-finimp.adb, s-finimp.ads, s-interr.adb,
630 s-secsta.ads, s-shasto.ads, s-stalib.adb, s-stalib.ads,
631 s-tarest.ads, s-tasdeb.adb, s-tassta.adb, s-tassta.ads,
632 s-vaflop.ads, scans.ads, scn.adb, sem.ads, sem_aggr.adb,
633 sem_attr.adb, sem_case.ads, sem_ch10.adb, sem_ch12.adb,
634 sem_ch13.adb, sem_ch3.adb, sem_ch3.ads, sem_ch5.adb, sem_ch7.adb,
635 sem_ch8.adb, sem_ch8.ads, sem_type.adb, sem_util.ads, sinfo.ads,
636 sprint.adb, tbuild.ads, types.ads, utils.c, xeinfo.adb: Fix
637 spelling errors.
638
226ada7a
GB
6392001-12-14 Vincent Celier <celier@gnat.com>
640
07fc65c4 641 * osint.adb(Create_Debug_File): When an object file is specified,
226ada7a
GB
642 put the .dg file in the same directory as the object file.
643
6442001-12-14 Robert Dewar <dewar@gnat.com>
645
646 * osint.adb: Minor reformatting
647
07fc65c4 648 * lib-xref.adb (Output_Instantiation): New procedure to generate
226ada7a
GB
649 instantiation references.
650
651 * lib-xref.ads: Add documentation of handling of generic references.
652
07fc65c4 653 * ali.adb (Read_Instantiation_Ref): New procedure to read
226ada7a
GB
654 instantiation references
655
656 * ali.ads: Add spec for storing instantiation references
657
658 * bindusg.adb: Minor reformatting
659
660 * switch.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
661
662 * usage.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
663
664 * gnatcmd.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
665
666 * csets.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
667
668 * csets.ads:
669 Fix header format
670 Add 2001 to copyright date
671 Add entry for Latin-5 (Cyrillic ISO-8859-5)
672
6732001-12-14 Matt Gingell <gingell@gnat.com>
674
07fc65c4 675 * adaint.c: mktemp is a macro on Lynx and can not be used as an
226ada7a
GB
676 expression.
677
6782001-12-14 Richard Kenner <kenner@gnat.com>
679
07fc65c4 680 * misc.c (gnat_expand_constant): Do not strip UNCHECKED_CONVERT_EXPR
226ada7a
GB
681 if operand is CONSTRUCTOR.
682
6832001-12-14 Ed Schonberg <schonber@gnat.com>
684
07fc65c4
GB
685 * trans.c (tree_transform, case N_Assignment_Statement): Set lineno
686 before emiting check on right-hand side, so that exception information
226ada7a
GB
687 is correct.
688
6892001-12-14 Richard Kenner <kenner@gnat.com>
690
07fc65c4 691 * utils.c (create_var_decl): Throw away initializing expression
226ada7a
GB
692 if just annotating types and non-constant.
693
6942001-12-14 Vincent Celier <celier@gnat.com>
695
696 * prj-nmsc.adb: (Ada_Check): Migrate drom Ada_Default_... to
697 Default_Ada_...
698
07fc65c4 699 * prj.adb: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
226ada7a
GB
700 Remove functions.
701 (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move to spec.
702
07fc65c4 703 * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
226ada7a
GB
704 Remove functions.
705 (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move from body.
706
9b94bf9e
JM
7072001-12-16 Joseph S. Myers <jsm28@cam.ac.uk>
708
709 * ChangeLog: Remove piece of diff output.
710
449d2be3
GB
7112001-12-14 Geert Bosch <bosch@gnat.com>
712
713 * config-lang.in: Update copyright notice
714
715 * layout.adb: Remove commented out code.
716
717 * mdllfile.ads: Update copyright notice. Fix header format.
718
719 * sem_case.ads: Likewise.
720
721 * sem_ch3.adb: Minor reformatting.
722
e5bd5cb4
GB
7232001-12-12 Geert Bosch <bosch@gnat.com>
724
725 * freeze.ads: Update copyright date.
726
727 * g-comlin.ads: Minor reformatting.
728
729 * gnat-style.texi: Fix typo.
730
b468d8ec
GB
7312001-12-12 Geert Bosch <bosch@gnat.com>
732
733 * einfo.h: Regenerate.
734
ed7da216
GB
7352001-12-12 Ed Schonberg <schonber@gnat.com>
736
07fc65c4 737 * sem_ch12.adb (Save_Entity_Descendant): Use syntactic field names
ed7da216
GB
738 on known node types, rather than untyped fields. Further cleanups.
739
7402001-12-12 Robert Dewar <dewar@gnat.com>
741
742 * sem_ch12.adb:
743 (Save_Entity_Descendant): Minor comment update.
744 (Copy_Generic_Node): Deal with incorrect reference to Associated_Node
07fc65c4 745 of an N_Attribute_Reference node. As per note below, this does not
ed7da216 746 eliminate need for Associated_Node in attribute ref nodes.
07fc65c4 747 (Associated_Node): Documentation explicitly mentions attribute
ed7da216
GB
748 reference nodes, since this field is used in such nodes.
749
750 * sem_ch12.adb (Associated_Node): Minor documentation cleanup.
751
de76a39c
GB
7522001-12-12 Robert Dewar <dewar@gnat.com>
753
754 * s-stalib.adb: Add more comments on with statements being needed
755
756 * par-ch12.adb: Minor reformatting
757
758 * prj-dect.ads: Fix copyright header
759
07fc65c4 760 * s-arit64.adb (Multiply_With_Ovflo_Check): Fix case where both
de76a39c
GB
761 inputs fit in 32 bits, but the result still overflows.
762
763 * s-fatgen.ads: Minor comment improvement
764
7652001-12-12 Ed Schonberg <schonber@gnat.com>
766
07fc65c4
GB
767 * sem_ch4.adb (Analyze_Selected_Component): If the prefix is of a
768 formal derived type, look for an inherited component from the full
de76a39c
GB
769 view of the parent, if any.
770
7712001-12-12 Robert Dewar <dewar@gnat.com>
772
773 * checks.ads (Apply_Alignment_Check): New procedure.
774
07fc65c4
GB
775 * exp_ch13.adb (Expand_N_Freeze_Entity): Generate dynamic check to
776 ensure that the alignment of objects with address clauses is
de76a39c
GB
777 appropriate, and raise PE if not.
778
07fc65c4 779 * exp_util.ads (Must_Be_Aligned): Removed, replaced by
de76a39c
GB
780 Exp_Pakd.Known_Aligned_Enough
781
782 * mdllfile.ads: Minor reformatting
783
784 * mlib-fil.ads: Minor reformatting
785
7862001-12-12 Ed Schonberg <schonber@gnat.com>
787
07fc65c4
GB
788 * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Extend previous
789 fix to any component reference if enclosing record has non-standard
de76a39c
GB
790 representation.
791
7922001-12-12 Vincent Celier <celier@gnat.com>
793
07fc65c4 794 * g-dirope.ads (Find, Wildcard_Iterator): Moved to child package
de76a39c
GB
795 Iteration
796
7972001-12-12 Ed Schonberg <schonber@gnat.com>
798
07fc65c4 799 * freeze.ads: Make Freeze_Fixed_Point_Type visible, for use in
de76a39c
GB
800 sem_attr.
801
8022001-12-12 Robert Dewar <dewar@gnat.com>
803
804 * impunit.adb: Add entry for GNAT.Directory_Operations.Iteration
805
8062001-12-12 Emmanuel Briot <briot@gnat.com>
807
808 * g-regexp.adb: Remove all debug code, since it isn't required anymore,
809 and it adds dependencies to system.io.
810
8112001-12-12 Pascal Obry <obry@gnat.com>
812
07fc65c4 813 * g-dirope.adb (Expand_Path.Var): Correctly detect end of
de76a39c
GB
814 variable name.
815
0b09835f
ES
8162001-12-11 Ed Schonberg <schonber@gnat.com>
817
818 * sem_ch10.adb (Install_Withed_Unit): If the unit is a generic instance
07fc65c4
GB
819 that is the parent of other generics, the instance body replaces the
820 instance node. Retrieve the instance of the spec, which is the one
0b09835f
ES
821 that is visible in clients and within the body.
822
598c3446
GB
8232001-12-11 Vincent Celier <celier@gnat.com>
824
825 * gnatmain.adb: Initial version.
826
827 * gnatmain.ads: Initial version.
828
829 * prj-attr.adb (Initialisation_Data): Add package Gnatstub.
830
831 * snames.adb: Updated to match snames.ads.
832
833 * snames.ads: Added Gnatstub.
834
8352001-12-11 Vincent Celier <celier@gnat.com>
836
07fc65c4 837 * prj-attr.adb (Initialization_Data): Change name from
598c3446
GB
838 Initialisation_Data.
839
8402001-12-11 Emmanuel Briot <briot@gnat.com>
841
842 * g-regpat.adb (Parse_Literal): Properly handle simple operators ?,
843 + and * applied to backslashed expressions like \r.
844
8452001-12-11 Vasiliy Fofanov <fofanov@gnat.com>
846
07fc65c4 847 * g-os_lib.ads: String_List type added, Argument_List type is now
598c3446
GB
848 subtype of String_List.
849
8502001-12-11 Robert Dewar <dewar@gnat.com>
851
852 * g-os_lib.ads: Change copyright to FSF
853 Add comments for String_List type
854
8552001-12-11 Vincent Celier <celier@gnat.com>
856
07fc65c4 857 * g-dirope.adb (Expand_Path): Fix bug. (wrong length when adding a
598c3446
GB
858 string to the buffer).
859
7fb754a1
GB
8602001-12-11 Ed Schonberg <schonber@gnat.com>
861
862 * freeze.adb: Make Freeze_Fixed_Point_Type visible, for use in
863 sem_attr.
864
865 * sem_attr.adb: Simplify previous fix for Address.
07fc65c4
GB
866 (Set_Bounds): If prefix is a non-frozen fixed-point type, freeze now,
867 to avoid anomalies where the bound of the type appears to raise
7fb754a1
GB
868 constraint error.
869
8702001-12-11 Robert Dewar <dewar@gnat.com>
871
07fc65c4 872 * lib-xref.adb (Output_Refs): Make sure pointers are always properly
7fb754a1
GB
873 handled.
874
8752001-12-11 Ed Schonberg <schonber@gnat.com>
876
07fc65c4 877 * sem_ch12.adb (Analyze_Subprogram_Instantiation): Check for a
7fb754a1
GB
878 renamed unit before checking for recursive instantiations.
879
8802001-12-11 Emmanuel Briot <briot@gnat.com>
881
882 * prj.ads: Add comments for some of the fields.
883
0873bafc
GB
8842001-12-11 Robert Dewar <dewar@gnat.com>
885
07fc65c4 886 * lib-xref.adb (Output_Refs): Don't output type references outside
0873bafc
GB
887 the main unit if they are not otherwise referenced.
888
8892001-12-11 Ed Schonberg <schonber@gnat.com>
890
07fc65c4 891 * sem_attr.adb (Analyze_attribute, case Address and Size): Simplify
0873bafc
GB
892 code and diagnose additional illegal uses
893
07fc65c4 894 * sem_util.adb (Is_Object_Reference): An indexed component is an
0873bafc
GB
895 object only if the prefix is.
896
8972001-12-11 Vincent Celier <celier@gnat.com>
898
899 * g-diopit.adb: Initial version.
900
901 * g-diopit.ads: Initial version.
902
903 * g-dirope.adb:
904 (Expand_Path): Avoid use of Unbounded_String
905 (Find, Wildcard_Iterator): Moved to child package Iteration
906
907 * Makefile.in: Added g-diopit.o to GNATRTL_NONTASKING_OBJS
908
7fb754a1 9092001-12-11 Robert Dewar <dewar@gnat.com>
0873bafc
GB
910
911 * sem_attr.adb: Minor reformatting
912
d087cd96
GB
9132001-12-11 Ed Schonberg <schonber@gnat.com>
914
915 * sem_ch3.adb: Clarify some ???.
916
9172001-12-11 Robert Dewar <dewar@gnat.com>
918
07fc65c4 919 * exp_util.adb (Must_Be_Aligned): Removed, replaced by
d087cd96
GB
920 Exp_Pakd.Known_Aligned_Enough
921
07fc65c4 922 * sem_ch13.adb (Check_Address_Alignment): Removed, extended
d087cd96
GB
923 version is moved to Exp_Ch13.
924
9252001-12-11 Robert Dewar <dewar@gnat.com>
926
927 * einfo.ads: Minor reformatting
928
929 * exp_ch5.adb: Add comment for previous.change
930
931 * ali.adb: New interface for extended typeref stuff.
932
933 * ali.ads: New interface for typeref stuff.
934
935 * checks.adb (Apply_Alignment_Check): New procedure.
936
937 * debug.adb: Add -gnatdM for modified ALI output
938
939 * exp_pakd.adb (Known_Aligned_Enough): Replaces Known_Aligned_Enough.
940
07fc65c4
GB
941 * lib-xref.adb: Extend generation of <..> notation to cover
942 subtype/object types. Note that this is a complete rewrite,
943 getting rid of the very nasty quadratic algorithm previously
d087cd96
GB
944 used for derived type output.
945
07fc65c4
GB
946 * lib-xref.ads: Extend description of <..> notation to cover
947 subtype/object types. Uses {..} for these other cases.
d087cd96
GB
948 Also use (..) for pointer types.
949
950 * sem_util.adb (Check_Potentially_Blocking_Operation): Slight cleanup.
951
07fc65c4 952 * exp_pakd.adb: Minor reformatting. Note that prevous RH should say:
d087cd96
GB
953 (Known_Aligned_Enough): Replaces Must_Be_Aligned.
954
290986ed
GB
9552001-12-11 Vincent Celier <celier@gnat.com>
956
957 * gnatcmd.adb:
958 Changed /COMPILE_ONLY to /ACTIONS=COMPILE
959 Changed /BIND_ONLY to /ACTIONS=BIND
960 Changed /LINK_ONLY to /ACTIONS=LINK
961
9622001-12-11 Ed Schonberg <schonber@gnat.com>
963
964 * sem_ch8.adb (Find_Selected_Component): improved search for a
965 candidate package in case of error.
966
967 * sem_ch12.adb (Inline_Instance_Body): place head of use_clause
968 chain back on scope stack before reinstalling use clauses.
969
970 * exp_ch5.adb (Expand_N_If_Statement): if Constant_Condition_Warnings
971 is enabled, do not kill the code for the condition, to preserve
972 warning.
973
84157f51
GB
9742001-12-11 Robert Dewar <dewar@gnat.com>
975
07fc65c4 976 * checks.adb (Insert_Valid_Check): Apply validity check to expression
84157f51
GB
977 of conversion, not to result of conversion.
978
9792001-12-11 Ed Schonberg <schonber@gnat.com>
980
07fc65c4
GB
981 * sem_ch3.adb (Build_Derived_Record_Type): set Controlled flag
982 before freezing parent. If the declarations are mutually recursive,
983 an access to the current record type may be frozen before the
84157f51
GB
984 derivation is complete.
985
7ffa903f
VC
9862001-12-05 Vincent Celier <celier@gnat.com>
987
07fc65c4 988 * gnatcmd.adb: (MAKE): Add new translations: -b /BIND_ONLY,
7ffa903f
VC
989 -c /COMPILE_ONLY, -l /LINK_ONLY
990
991 * opt.ads:
992 (Bind_Only): New Flag
993 (Link_Only): New flag
994
07fc65c4 995 * switch.adb (Scan_Make_Switches): Add processing for -b (Bind_Only)
7ffa903f
VC
996 and -l (Link_Only)
997
998 * makeusg.adb: Add new switches -b and -l. Update Copyright notice.
999
1000 * make.adb:
1001 (Do_Compile_Step, Do_Bind_Step, Do_Link_Step): New flags.
1002 (Gnatmake): Set the step flags. Only perform a step if the
1003 corresponding step flag is True.
1004 (Scan_Make_Arg): Reset the bind and link step flags when -u
1005 or -gnatc has been specified.
1006
f91b40db
GB
10072001-12-05 Ed Schonberg <schonber@gnat.com>
1008
07fc65c4 1009 * sem_eval.adb (Eval_Concatenation): If left operand is a null string,
f91b40db
GB
1010 get bounds from right operand.
1011
1012 * sem_eval.adb: Minor reformatting
1013
07fc65c4 1014 * exp_util.adb (Make_Literal_Range): use bound of literal rather
f91b40db
GB
1015 than Index'First, its lower bound may be different from 1.
1016
07fc65c4 1017 * exp_util.adb: Undo earlier change, fixes ACVC regressions C48009B
f91b40db
GB
1018 and C48009J
1019
10202001-12-05 Vincent Celier <celier@gnat.com>
1021
1022 * prj-nmsc.adb Minor reformatting
1023
07fc65c4 1024 * prj-nmsc.adb (Language_Independent_Check): Reset Library flag if
f91b40db
GB
1025 set and libraries are not supported.
1026
10272001-12-05 Ed Schonberg <schonber@gnat.com>
1028
07fc65c4
GB
1029 * sem_ch3.adb (Build_Derived_Private_Type): set Public status of
1030 private view explicitly, so the back-end can treat as a global
f91b40db
GB
1031 when appropriate.
1032
45d04cbb
GB
10332001-12-05 Ed Schonberg <schonber@gnat.com>
1034
1035 * sem_ch12.adb (Instantiate_Package_Body): if instance is a compilation
1036 unit, always replace instance node with new body, for ASIS use.
1037
10382001-12-05 Vincent Celier <celier@gnat.com>
1039
07fc65c4
GB
1040 * prj-nmsc.adb (Language_Independent_Check): Issue a warning if
1041 libraries are not supported and both attributes Library_Name and
45d04cbb
GB
1042 Library_Dir are specified.
1043
07fc65c4 1044 * prj-proc.adb (Expression): Set location of Result to location of
45d04cbb
GB
1045 first term.
1046
1047 * Makefile.in: Add mlib.o, mlib-fil.o, mlib-tgt and mlib-utl to GNATLS.
1048 (prj-nmsc is now importing MLib.Tgt)
1049
1050 * prj-proc.adb: Put the change indicated above that was forgotten.
1051
84436014
RD
10522001-12-05 Robert Dewar <dewar@gnat.com>
1053
1054 * Makefile.in: Add dependencies for System.IO for GNAT.Regexp
1055
7ae0dcd8
ES
10562001-12-05 Ed Schonberg <schonber@gnat.com>
1057
1058 * sem_ch3.adb (Build_Derived_Concurrent_Type): If derivation imposes a
1059 constraint, introduce explicit subtype declaration and derive from it.
1060
1061 * sem_ch3.adb: Minor reformatting
1062
c9a4817d
RD
10632001-12-05 Robert Dewar <dewar@gnat.com>
1064
07fc65c4 1065 * checks.adb (Determine_Range): Increase cache size for checks.
c9a4817d
RD
1066 Minor reformatting
1067
1068 * exp_ch6.adb: Minor reformatting
1069 (Expand_N_Subprogram_Body): Reset Is_Pure for any subprogram that has
1070 a parameter whose root type is System.Address, since treating such
1071 subprograms as pure in the code generator is almost surely a mistake
1072 that will lead to unexpected results.
1073
07fc65c4 1074 * exp_util.adb (Remove_Side_Effects): Clean up old ??? comment and
c9a4817d
RD
1075 change handling of conversions.
1076
1077 * g-regexp.adb: Use System.IO instead of Ada.Text_IO.
1078
2514b839
ES
10792001-12-05 Ed Schonberg <schonber@gnat.com>
1080
07fc65c4
GB
1081 * sem_ch3.adb (Analyze_Object_Declaration): If expression is an
1082 aggregate with static wrong size, attach generated Raise node to
2514b839
ES
1083 declaration.
1084
457b6274
RD
10852001-12-05 Robert Dewar <dewar@gnat.com>
1086
07fc65c4 1087 * sem_attr.adb (Analyze_Attribute): Defend against bad Val attribute.
457b6274
RD
1088 Fixes compilation abandoned bomb in B24009B.
1089
19349925
ES
10902001-12-05 Ed Schonberg <schonber@gnat.com>
1091
1092 * sem_ch12.adb:
1093 Document use of Associated_Node on Selected_Components.
1094 (Save_Global_Operand_Descendants): Change to Save_Entity_Descendants,
1095 to clarify use of untyped descendant fields.
1096
6663c393
RD
10972001-12-05 Robert Dewar <dewar@gnat.com>
1098
1099 * prj-dect.ads: Add ??? comment
1100 Add 2001 to copyright notice (was not done in after all)
1101
1102 * prj-part.adb: Minor reformatting. Reword one awkward error message.
1103
1104 * prj.ads: Minor reformatting throughout, and add some ??? comments
1105
1106 * snames.ads: Minor reformatting
1107
d7b2a6af
GB
11082001-12-05 Geert Bosch <bosch@gnat.com>
1109
1110 * snames.adb: Autoupdate
1111
fbc9a404
VC
11122001-12-05 Vincent Celier <celier@gnat.com>
1113
1114 * prj-dect.adb (Parse): Rename parameter Modifying to Extends.
1115
1116 * prj-dect.ads (Parse): Rename parameter Modifying to Extends.
1117
1118 * prj-env.adb: Minor comment changes (modifying -> extends).
1119
1120 * prj-nmsc.adb: Minor comment changes (modifying -> extends).
1121
07fc65c4 1122 * prj-part.adb (Parse_Single_Project): Change Tok_Modifying to
fbc9a404
VC
1123 Tok_Extends.
1124
1125 * prj.adb (Initialize): Change Modifying to Extends.
1126
1127 * scans.ads (Token_Type): Change Tok_Modifying to Tok_Extends.
1128
1129 * prj.ads: Minor comment change (Modifying -> extending).
1130
1131 * snames.ads: Change modifying to extends.
1132
7cff0b1b
RD
11332001-12-05 Robert Dewar <dewar@gnat.com>
1134
07fc65c4 1135 * sem_warn.adb: Remove stuff for conditionals, we are not going to
7cff0b1b
RD
1136 do this after all.
1137
07fc65c4 1138 * sem_warn.ads: Remove stuff for conditionals, we are not going to
7cff0b1b
RD
1139 do this after all. Add 2001 to copyright notice
1140
4f56ebb7
GB
11412001-12-04 Geert Bosch <bosch@gnat.com>
1142
1143 * einfo.h, sinfo.h, treeprs.ads: Regenerate.
1144
053defdf
RD
11452001-12-04 Robert Dewar <dewar@gnat.com>
1146
07fc65c4
GB
1147 * errout.adb (Error_Msg): Ignore attempt to put error msg at junk
1148 location if we already have errors. Stops some cases of cascaded
053defdf
RD
1149 errors.
1150
1151 * errout.adb: Improve comment.
1152
f311e166
RD
11532001-12-04 Robert Dewar <dewar@gnat.com>
1154
1155 * sem_ch12.adb:
1156 (Analyze_Formal_Type_Definition): Defend against Error.
1157 (Analyze_Formal_Subprogram): Defend against Error.
1158
07fc65c4 1159 * par-ch12.adb (F_Formal_Type_Declaration): In case of error,
f311e166
RD
1160 remove following semicolon if present. Removes cascaded error.
1161
d61bd65a
DR
11622001-12-04 Douglas B. Rupp <rupp@gnat.com>
1163
1164 * bindgen.adb:
1165 (Gen_Exception_Table_Ada): Write "begin" and then return if Num
1166 exceptions equals 0.
1167 (Gen_Exception_Table_C): Return if Num exceptions equals 0.
1168 Fixes PIWG E tests (which have to be run with -gnatL).
1169
4ba603e2
RD
11702001-12-04 Robert Dewar <dewar@gnat.com>
1171
1172 * einfo.ads: Minor reformatting
1173
57568d91
ES
11742001-12-04 Ed Schonberg <schonber@gnat.com>
1175
07fc65c4
GB
1176 * einfo.ads: Block_Node points to the identifier of the block, not to
1177 the block node itself, to preserve the link when the block is
1178 rewritten, e.g. within an if-statement with a static condition.
57568d91 1179
07fc65c4 1180 * inline.adb (Cleanup_Scopes): recover block statement from block
57568d91
ES
1181 entity using new meaning of Block_Node.
1182
07fc65c4 1183 * sem_ch5.adb (Analyze_Block_Statement): set Block_Node to point to
57568d91
ES
1184 identifier of block node, rather than to node itself.
1185
0815d36a
GD
11862001-12-04 Gary Dismukes <dismukes@gnat.com>
1187
1188 * layout.adb:
1189 (Get_Max_Size): Fix "start of processing" comment to say Get_Max_Size.
1190 (Discrimify): Go back to setting the Etypes of the selected component
07fc65c4 1191 because the Vname component does not exist at this point and will
0815d36a
GD
1192 fail name resolution. Also set Analyzed.
1193 Remove with and use of Sem_Res.
1194
edc0f304
AC
11952001-12-04 Arnaud Charlet <charlet@gnat.com>
1196
1197 * Makefile.in: (HIE_SOURCES): add s-fat*.
1198
32213142
RD
11992001-12-04 Robert Dewar <dewar@gnat.com>
1200
1201 * sem_attr.adb:
1202 (Compile_Time_Known_Attribute): New procedure.
1203 (Eval_Attribute, case Size): Use Compile_Time_Known_Attribute to ensure
1204 proper range check.
1205
c0def2ad
ES
12062001-12-04 Ed Schonberg <schonber@gnat.com>
1207
07fc65c4 1208 * sem_ch7.adb (New_Private_Type): Set Is_Tagged_Type flag before
c0def2ad
ES
1209 processing discriminants to diagnose illegal default values.
1210
ee0a48c5
ES
12112001-12-04 Ed Schonberg <schonber@gnat.com>
1212
07fc65c4
GB
1213 * sem_attr.adb (Resolve_Attribute): Handle properly an non-classwide
1214 access discriminant within a type extension that constrains its
ee0a48c5
ES
1215 parent discriminants.
1216
dd5875a6
ES
12172001-12-04 Ed Schonberg <schonber@gnat.com>
1218
07fc65c4 1219 * sem_ch3.adb (Find_Type_Of_Subtype_Indic): If subtype indication
dd5875a6
ES
1220 is malformed, use instance of Any_Id to allow analysis to proceed.
1221
07fc65c4 1222 * par-ch12.adb (P_Formal_Type_Declaration): Propagate Error if
dd5875a6
ES
1223 type definition is illegal.
1224 (P_Formal_Derived_Type_Definition): Better recovery when TAGGED is
1225 misplaced.
1226
c2a41e57
ES
12272001-12-04 Ed Schonberg <schonber@gnat.com>
1228
07fc65c4 1229 * sem_warn.adb (Output_Unreferenced_Messages): Extend previous fix to
c2a41e57
ES
1230 constants.
1231
0ae84753
RD
12322001-12-04 Robert Dewar <dewar@gnat.com>
1233
1234 * errout.adb: Minor reformatting
1235
63db260e
RD
12362001-12-04 Robert Dewar <dewar@gnat.com>
1237
1238 * exp_util.adb: Minor reformatting from last change
1239
07fc65c4
GB
1240 * errout.adb (Check_For_Warning): For a Raised_Constraint_Error node
1241 which is a rewriting of an expression, traverse the original
63db260e
RD
1242 expression to remove warnings that may have been posted on it.
1243
c6d289f4
ES
12442001-12-04 Ed Schonberg <schonber@gnat.com>
1245
07fc65c4 1246 * exp_util.adb (Must_Be_Aligned): Return false for a component of a
c6d289f4
ES
1247 record that has other packed components.
1248
5917e80d
DR
12492001-12-04 Douglass B. Rupp <rupp@gnat.com>
1250
1251 * adaint.c: Minor cleanups.
1252
2c70f9dd
DR
12532001-12-04 Douglass B. Rupp <rupp@gnat.com>
1254
1255 * adaint.c: Do not use utime.h on vxworks.
1256
e59b3387
AC
12572001-12-04 Arnaud Charlet <charlet@gnat.com>
1258
07fc65c4 1259 * Makefile.adalib: Clarify step 3 (use of gnat.adc) as it causes
e59b3387
AC
1260 more confusion than it solves.
1261
e288604a
GB
12622001-12-04 Geert bosch <bosch@gnat.com>
1263
1264 * einfo.h, nmake.adb, nmake.ads, sinfo.h treeprs.ads: Regenerate.
1265
5ac21013
GB
12662001-12-04 Geert Bosch <bosch@gnat.com>
1267
07fc65c4 1268 * Makefile.in (update-sources): New target.
5ac21013
GB
1269 For use by gcc_release script.
1270
7dd5bd5e
ES
12712001-12-04 Ed Schonberg <schonber@gnat.com>
1272
07fc65c4 1273 * sem_prag.adb (Analyze_Pragma, case Validity_Checks): do not treat as
7dd5bd5e
ES
1274 a configuration pragma, it is now legal wherever a pragma can appear.
1275
a078a589
ZW
12762001-12-04 Zack Weinberg <zack@codesourcery.com>
1277
1278 * Makefile.in: Don't set ALL. Delete @cross_defines@,
1279 @cross_overrides@, @build_overrides@ stanzas. INTERNAL_CFLAGS
1280 is now @CROSS@ -DIN_GCC; update comment.
1281
0839863c
GB
12822001-12-04 Robert Dewar <dewar@gnat.com>
1283
1284 * einfo.adb (Has_Pragma_Pure_Function): New flag.
1285 Fix problem that stopped ceinfo from working
1286
1287 * einfo.ads (Has_Pragma_Pure_Function): New flag.
1288
1289 * sem_prag.adb (Pure_Function): Set new flag Has_Pragma_Pure_Function.
1290
12912001-12-04 Douglas B. Rupp <rupp@gnat.com>
9678de49
DR
1292
1293 * gnatchop.adb:
1294 (File_Time_Stamp): New procedure.
1295 (Preserve_Mode): New boolean.
1296 (Write_Unit): Pass time stamp.
1297 Implement -p switch (preserve time stamps).
1298
1299 * gnatcmd.adb (CHOP): Add translation for -p (/PRESERVE).
1300
1301 * gnatchop.adb: Do usage info for -p switch
1302
1303 * adaint.h (__gnat_set_file_time_name): New function
1304
1305 * adaint.c (__gnat_set_file_time_name): Implement
1306
1307 * adaint.h: Fix typo
1308
3b9a13c4
RD
13092001-12-03 Robert Dewar <dewar@gnat.com>
1310
667e5c5d 1311 * sinfo.ads: Minor reformatting. N_Freeze_Entity node does not
3b9a13c4
RD
1312 have Associated_Node.
1313
767b404e
RD
13142001-12-03 Robert Dewar <dewar@gnat.com>
1315
1316 * prj-proc.adb: Minor reformatting
667e5c5d 1317
767b404e
RD
1318 * make.adb: Minor reformatting
1319
11ac71ba
GB
13202001-12-03 Geert Bosch <bosch@gnat.com>
1321
667e5c5d 1322 * make.adb: Minor reformatting.
11ac71ba 1323
ef3d4d6e 13242001-12-03 Robert Dewar <dewar@gnat.com>
b1446533
RD
1325
1326 * sem_ch12.adb: Minor reformatting
1327
d6d32b24
ES
13282001-12-03 Ed Schonberg <schonber@gnat.com>
1329
667e5c5d
AJ
1330 * sem_ch12.adb (Inline_Instance_Body): Use Save_Scope_Stack and
1331 push Standard on the stack before analyzing the instance body,
d6d32b24 1332 in order to have a clean visibility environment.
667e5c5d
AJ
1333
1334 * sem_ch12.adb (Inline_Instance_Body): Remove redundant code.
d6d32b24 1335
13f08f03
ES
13362001-12-03 Ed Schonberg <schonber@gnat.com>
1337
667e5c5d 1338 * sem_ch12.adb (Instantiate_Package_Body): Protect against double
13f08f03
ES
1339 instantiation of a body that contains an inlined body.
1340
3bd6c100
ES
13412001-12-03 Ed Schonberg <schonber@gnat.com>
1342
1343 * sem_ch12.adb:
1344 (Analyze_generic_subprogram_Declaration): Set outer_generic_scope,
1345 to prevent freezing within formal packages.
1346 (Freeze_Subprogram_Body): If body comes from another instance that
1347 appeared before its own body, place freeze node at end of current
1348 declarative part, to prevent a back-end crash.
1349 (Inline_Instance_Body): Handle properly a package instance within
1350 a subprogram instance that is a child unit.
1351
58d07d8f
GS
13522001-12-01 Graham Stott <grahams@redhat.com>
1353
1354 * Makefile.in (misc.o): Add missing $(srcdir) prefix
1355 and add optabs.h dependency.
1356
1357 * misc.c: Include optabs.h
1358 (gnat_tree_code_type): Make static and const.
1359 (gnat_tree_code_length): Likewise.
1360 (gnat_tree_code_name): Likewise.
1361 (update_setjmp_buf): Obtain operands mode from insn_data.
1362
c87222f0
RH
13632001-11-29 Richard Henderson <rth@redhat.com>
1364
1365 * init.c: Remove obsolete dwarf2 frame.h section.
1366
d3945f0a
JM
13672001-11-29 Joseph S. Myers <jsm28@cam.ac.uk>
1368
1369 * Make-lang.in (ada.generated-manpages): New dummy target.
1370
9f639397
ES
13712001-11-29 Ed Schonberg <schonber@gnat.com>
1372
667e5c5d
AJ
1373 * g-os_lib.adb (Add_To_Command): use explicit loop to move string
1374 into Command, an array conversion is illegal here. Uncovered by
9f639397
ES
1375 ACATS B460005.
1376
c835e5c6
GB
13772001/11/28 Geert Bosch <bosch@gnat.com>
1378
1379 * init.c: Minor whitespace changes.
1380
49bb4548
DR
13812001-11-28 Doug Rupp <rupp@gnat.com>
1382
667e5c5d 1383 * init.c: (__gnat_install_handler,VMS): Increase size of alternate
49bb4548
DR
1384 signal stack.
1385
ea2417e5
ZW
13862001-11-28 Zack Weinberg <zack@codesourcery.com>
1387
1388 * misc.c (gnat_expand_constant): Move declaration above
1389 definition of lang_hooks.
1390 (LANG_HOOKS_EXPAND_CONSTANT): Set to gnat_expand_constant.
1391 (gnat_init): lang_expand_constant no longer exists.
1392
1393 (internal_error_function): Remove #ifdef HAVE_VPRINTF. We
1394 always have vprintf.
1395 (gnat_init): Always call set_internal_error_function.
1396
f8e0aa73
AJ
13972001-11-27 Andreas Jaeger <aj@suse.de>
1398
1399 * Makefile.in (stamp-tool_src_dir): Use symbolic link.
1400
d99b0e79
LG
14012001-11-27 Laurent Guerby <guerby@acm.org>
1402
1403 * Makefile.in: Regenerate Ada dependencies.
1404
3f0496e5
RH
14052001-11-26 Richard Henderson <rth@redhat.com>
1406
1407 * Make-lang.in (gnatbind, gnatmake, gnatbl, gnatchop, gnatcmd,
1408 gnatlink, gnatkr, gnatls, gnatmem, gnatprep, gnatpsta, gnatpsys,
1409 gnatxref, gnatfind, gnatlbr): Depend on CONFIG_H and prefix.o.
1410
92fa4733
LG
14112001-11-25 Laurent Guerby <guerby@acm.org>
1412
1413 * sysdep.c (rts_get_*): Fix style.
1414
07626501
LG
14152001-11-19 Laurent Guerby <guerby@acm.org>
1416
1417 * Makefile.in (INCLUDES_FOR_SUBDIR): Remove redundant system include
1418 since it is of no apparent use and cause warnings.
1419
22703ccc
NB
14202001-11-18 Neil Booth <neil@daikokuya.demon.co.uk>
1421
1422 * misc.c (gnat_decode_option, gnat_init_options): Make definitions
1423 static too.
1424 (gnat_init): Don't return NULL.
1425 (finish_parse): Remove.
1426
b0df4321
LG
14272001-11-17 Laurent Guerby <guerby@acm.org>
1428
1429 * Make-lang.in (GNATLIBFLAGS): Add -W -Wall.
1430 * gigi.h (init_decl_processing): Rename to gnat_init_decl_processing.
1431 * io-aux.c: Provide K&R prototypes to all functions, reformat code.
1432 * lang-spec.h: Add missing struct field to silence warnings.
1433 * sysdep.c (rts_get_*): Provide K&R prototype.
1434 * sysdep.c (Unlock_Task, Lock_Task): Move to K&R prototype.
1435 * traceback.c (Unlock_Task, Lock_Task): Likewise.
1436 * tracebak.c (__gnat_backtrace): Remove unused variable.
1437 * utils.c (end_subprog_body): Move to K&R style.
1438
d215024f
RK
1439Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1440
1441 * trans.c, utils2.c: Remove PALIGN parameter to get_inner_reference.
1442
f5e99456
NB
14432001-11-15 Neil Booth <neil@daikokuya.demon.co.uk>
1444
1445 * misc.c (gnat_init): Change prototype. Include the
1446 functionality of the old init_parse and init_decl_processing.
1447 (gnat_init_decl_processing): New prototype.
1448 (init_parse): Remove.
1449 * utils.c (init_decl_processing): Rename gnat_init_decl_processing.
1450
5d69f816
NB
14512001-11-09 Neil Booth <neil@daikokuya.demon.co.uk>
1452
1453 * misc.c (gnat_print_decl, gnat_print_type): Renamed.
1454 (LANG_HOOKS_PRINT_DECL, LANG_HOOKS_PRINT_TYPE): Override.
1455 (print_lang_statistics, lang_print_xnode, print_lang_identifier,
1456 set_yydebug): Remove.
1457
3ac88239
NB
14582001-11-09 Neil Booth <neil@daikokuya.demon.co.uk>
1459
1460 * misc.c (LANG_HOOKS_NAME, LANG_HOOKS_IDENTIFIER_SIZE): Override.
1461 (struct lang_hooks): Constify.
1462 (language_string, lang_identify): Remove.
1463 * utils.c (init_decl_processing): Update.
1464
d23c55c2
NB
14652001-11-06 Neil Booth <neil@cat.daikokuya.demon.co.uk>
1466
1467 * misc.c: Include langhooks-def.h.
1468 * Makefile.in: Update.
1469
04a1b79c
RD
14702001-10-30 Robert Dewar <dewar@gnat.com>
1471
1472 * style.adb:
1473 (Check_Identifier): Rewrite circuit to be compatible with use of letters
1474 in the upper half of ASCII.
1475 (Check_Identifier): Minor reformatting
1476
81fa2d39
GB
14772001-10-30 Geert Bosch <bosch@gnat.com>
1478
f8e0aa73 1479 * (Associated_Node, Set_Associated_Node): Do not check for
81fa2d39
GB
1480 Freeze_Entity.
1481
ffc5527f
RD
14822001-10-30 Robert Dewar <dewar@gnat.com>
1483
1484 * a-reatim.ads: Minor reformatting
1485
865335eb
RD
14862001-10-30 Robert Dewar <dewar@gnat.com>
1487
f8e0aa73 1488 * gnatdll.adb: Minor reformatting throughout. Many ??? added for
865335eb
RD
1489 undocumented declarations.
1490
5e257178
PO
14912001-10-30 Pascal Obry <obry@gnat.com>
1492
f8e0aa73 1493 * gnatdll.adb (Parse_Command_Line): handle -g option to be passed
5e257178
PO
1494 to the binder and linker.
1495 Minor style fix.
f8e0aa73 1496
5e257178
PO
1497 * mdll.ads: Fix layout. Update copyright notice.
1498
1499 * mdll.adb: Fix layout. Update copyright notice.
1500
1753e0ad
RD
15012001-10-30 Robert Dewar <dewar@gnat.com>
1502
1503 * usage.adb: Minor fix to output for -gnaty.
1504
84bfdde0
ES
15052001-10-30 Ed Schonberg <schonber@gnat.com>
1506
f8e0aa73
AJ
1507 * a-reatim.ads: Makes Seconds_Count into a 64-bit integer,
1508 to accommodate all its possible values.
84bfdde0 1509
f8e0aa73 1510 * a-reatim.adb (Split): Special-case handling of Time_Span_First
84bfdde0
ES
1511 and of small absolute values of T.
1512
c296e5fc
RK
15132001-10-30 Richard Kenner <kenner@gnat.com>
1514
f8e0aa73
AJ
1515 * misc.c (gnat_expand_expr, case NULL_EXPR): Remove call to
1516 set_mem_attributes since not needed and wrong if RESULT if a REG;
c296e5fc
RK
1517 fixes ACATS failures.
1518
07c809df
GB
15192001-10-30 Geert Bosch <bosch@gnat.com>
1520
1521 * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, fname-sf.ads, g-traceb.ads,
1522 s-tasdeb.ads, sem_maps.ads: Add 2001 to copyright notice.
1523
54d22416 15242001-10-30 Robert Dewar <dewar@gnat.com>
f8e0aa73 1525
54d22416 1526 * bindusg.adb: Undocument -f switch.
f8e0aa73 1527
54d22416 1528 * gnatcmd.adb: Remove /FULL_ELABORATION.
f8e0aa73
AJ
1529
1530 * opt.ads (Force_RM_Elaboration_Order): Document that this is
54d22416 1531 obsolescent.
f8e0aa73 1532
54d22416 1533 * gnatbind.adb: Output new warning for use of obsolescent -f switch.
f8e0aa73 1534
54d22416
RD
1535 * gnatbind.adb: Minor update of warning msg.
1536
af5cf6f8
VC
15372001-10-30 Vincent Celier <celier@gnat.com>
1538
f8e0aa73 1539 * gnatcmd.adb (MAKE, BIND, LINK, LIST, FIND, XREF): Add translations
af5cf6f8 1540 for project file switches (-P (/PROJECT_FILE=),
f8e0aa73 1541 -X (/EXTERNAL_REFERENCE=) and -vPx (/PROJECT_FILE_VERBOSITY=DEFAULT
af5cf6f8
VC
1542 or MEDIUM or HIGH)
1543
984bc4c3
GB
15442001-10-30 Geert Bosch <bosch@gnat.com>
1545
1546 * decl.c: Minor whitespace fixes.
1547
5dece937
RK
15482001-10-30 Richard Kenner <kenner@gnat.com>
1549
1550 * utils2.c (build_allocator): Test for SIZE overflow in array case too
1551
de4bf6cb
GB
15522001-10-30 Geert Bosch <bosch@gnat.com>
1553
f8e0aa73 1554 * ali-util.adb (Initialize_Checksum): Use out-mode instead of in out.
de4bf6cb 1555 Found due to GCC 3.0 warning of using uninitialized value.
f8e0aa73 1556
de4bf6cb
GB
1557 * layout.adb:
1558 (Get_Max_Size): Use variant record for tracking value/expression.
1559 Makes logic clearer and prevents warnings for uninitialized variables.
1560 (Layout_Array_Type): Use variant record for tracking value/expression.
1561 Makes logic clearer and prevents warnings for uninitialized variables.
1562
f5e44987
RD
15632001-10-30 Robert Dewar <dewar@gnat.com>
1564
1565 * lib.adb: Minor reformatting
1566
1567 * s-taprop.ads: Minor reformatting
1568
45659035 15692001-10-29 Laurent Guerby <guerby@acm.org>
f8e0aa73 1570
45659035
GB
1571 * init.c:
1572 (Raise_From_Signal_Handler, Propagate_Signal_Exception): Make arg
1573 const.
1574 (_gnat_error_handler): Make MSG const.
1575
15762001-10-29 Richard Kenner <kenner@gnat.com>
1577
1578 * sysdep.c: Fix localtime_r problem on LynxOS.
1579 Also remove #elif to avoid warnings.
f8e0aa73
AJ
1580
1581 * misc.c (yyparse): Don't set up and register jmpbuf; remove decls
45659035 1582 used by this.
f8e0aa73 1583
45659035
GB
1584 * decl.c (annotate_value): Make SIZE unsigned to avoid warning.
1585
638e383e
JM
15862001-10-28 Joseph S. Myers <jsm28@cam.ac.uk>
1587
1588 * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, decl.c, exp_ch6.adb,
1589 exp_ch9.adb, exp_util.adb, fname-sf.ads, freeze.ads, g-awk.adb,
1590 g-comlin.ads, g-dirope.adb, g-dyntab.ads, g-socket.ads,
1591 g-table.ads, g-traceb.ads, gnat-style.texi, gnatchop.adb, init.c,
1592 layout.adb, layout.ads, mdllfile.ads, mlib-fil.ads, osint.ads,
1593 s-fatgen.adb, s-imgrea.adb, s-taprop.ads, s-tasdeb.ads,
1594 sem_aggr.adb, sem_attr.adb, sem_case.ads, sem_ch13.adb,
1595 sem_ch3.adb, sem_elab.adb, sem_maps.ads, sem_res.adb,
1596 sem_util.ads, sinfo.ads, sinput.ads, table.adb, table.ads,
1597 types.ads, urealp.adb: Fix spelling errors.
1598
97f6baa0
LG
15992001-10-27 Laurent Guerby <guerby@acm.org>
1600
1601 * trans.c (gigi): Fix non determinism leading to bootstrap
1602 comparison failures for debugging information.
1603
46b58b8c
FW
16042001-10-26 Florian Weimer <fw@deneb.enyo.de>
1605
1606 * gnat_rm.texi: Use @./@: where appropriate.
1607
30151c7b
RD
16082001-10-26 Robert Dewar <dewar@gnat.com>
1609
1610 * sinfo.adb: Define Associated_Node to overlap Entity field. Cleanup.
1611
c0b1738d
RK
16122001-10-26 Richard Kenner <kenner@gnat.com>
1613
1614 * gmem.c (__gnat_gmem_read_next): Properly check for EOF
1615
5b09c153
RK
16162001-10-26 Richard Kenner <kenner@gnat.com>
1617
f8e0aa73 1618 * decl.c (validate_size): Modify message for bad size to avoid
5b09c153
RK
1619 implication that compiler is modifying the size.
1620
4d553668
RD
16212001-10-26 Robert Dewar <dewar@gnat.com>
1622
1623 * prj-util.adb: Minor reformatting. Fix bad header format.
1624
3e542a58
RD
16252001-10-26 Robert Dewar <dewar@gnat.com>
1626
1627 * sinfo.ads: Define Associated_Node to overlap Entity field. Cleanup.
f8e0aa73 1628
3e542a58 1629 * sinfo.ads: Clarify use of Associated_Node (documentation only).
f8e0aa73
AJ
1630
1631 * sem_ch12.adb: Change Node4 to Associated_Node. Change
1632 Associated_Node to Get_Associated_Node. Put use of Unchecked_Access
3e542a58
RD
1633 much more narrowly in places where needed. These are cleanups.
1634
0bf08bfe
JB
16352001-10-26 Joel Brobecker <brobecke@gnat.com>
1636
1637 * 5zosinte.ads (null_pthread): new constant.
f8e0aa73 1638
0bf08bfe
JB
1639 * 5ztaprop.adb:
1640 (Initialize_TCB): Initialize thread ID to null, to be able to verify
1641 later that this field has been set.
1642 (Finalize_TCB): ditto.
1643 (Suspend_Task): Verify that the thread ID is not null before using it.
1644 (Resume_Task): ditto.
f8e0aa73 1645
0bf08bfe
JB
1646 * s-tasdeb.adb:
1647 (Resume_All_Tasks): Lock the tasks list before using it.
1648 (Suspend_All_Tasks): ditto.
1649
7a3a8c06
RK
16502001-10-26 Richard Kenner <kenner@gnat.com>
1651
f8e0aa73 1652 * decl.c (gnat_to_gnu_entity, case E_General_Access_Type):
7a3a8c06
RK
1653 Make constant variant of designated type for Is_Access_Constant.
1654 Call update_pointer_to with main variant.
f8e0aa73
AJ
1655
1656 * trans.c (process_freeze_entity, process_type):
7a3a8c06 1657 Call update_pointer_to on main variant.
f8e0aa73 1658
7a3a8c06
RK
1659 * utils.c (update_pointer_to): Make corresponding variant for NEW_TYPE.
1660 If main variant, update all other variants.
f8e0aa73
AJ
1661
1662 * utils2.c (build_unary_op, case INDIRECT_REF): No longer set
7a3a8c06
RK
1663 TREE_STATIC.
1664
a160babb
RD
16652001-10-26 Robert Dewar <dewar@gnat.com>
1666
1667 * prj-util.adb: Minor reformatting
1668
b403bd17
RD
16692001-10-26 Robert Dewar <dewar@gnat.com>
1670
1671 * prj-util.adb: Minor reformatting
1672
5fc3b4c7
RD
16732001-10-26 Robert Dewar <dewar@gnat.com>
1674
1675 * prj-attr.adb: Minor reformatting throughout
1676
8c736034
RD
16772001-10-26 Robert Dewar <dewar@gnat.com>
1678
1679 * prj-attr.ads: Minor reformatting
1680 Add ??? comment (this whole spec has almost no comments)
1681
47d5b6ed
VC
16822001-10-26 Vincent Celier <celier@gnat.com>
1683
f8e0aa73 1684 * g-os_lib.adb (Normalize_Pathname): Preserve the double slash
47d5b6ed
VC
1685 ("//") that precede the drive letter on Interix.
1686
41af791f
GB
16872001-10-26 Geert Bosch <bosch@gnat.com>
1688
1689 * gnat_rm.texi: Add GNAT Reference Manual.
1690
ed4a1468
RD
16912001-10-25 Robert Dewar <dewar@gnat.com>
1692
f8e0aa73 1693 * sem_ch8.adb (Analyze_Package_Renaming): Skip analysis if Name
ed4a1468
RD
1694 is Error. Similar change for other renaming cases.
1695
24377ae4
RD
16962001-10-25 Robert Dewar <dewar@gnat.com>
1697
1698 * s-atacco.ads: Add pragma Inline_Always for functions.
1699 Fix header format. Add copyright 2001
1700
fef3204e
ES
17012001-10-25 Ed Schonberg <schonber@gnat.com>
1702
f8e0aa73 1703 * par-ch3.adb (P_Subtype_Mark_Resync): for an anonymous array
fef3204e
ES
1704 return Error rather than Empty so that analysis can proceed.
1705
dfc69d80
ES
17062001-10-25 Ed Schonberg <schonber@gnat.com>
1707
f8e0aa73 1708 * sem_util.adb (Enter_Name): better handling of cascaded error
dfc69d80
ES
1709 messages when a unit appears in its own context.
1710
5a15af62
ES
17112001-10-25 Ed Schonberg <schonber@gnat.com>
1712
f8e0aa73 1713 * sem_util.adb (Defining_Entity): in case of error, attach created
5a15af62
ES
1714 entity to specification, so that semantic analysis can proceed.
1715
2b881d53
RD
17162001-10-25 Robert Dewar <dewar@gnat.com>
1717
f8e0aa73 1718 * sem_util.adb
2b881d53
RD
1719 (Defining_Entity): Deal with Error.
1720 (Process_End_Label): Deal with bad end label for.
1721
578053f2
ES
17222001-10-25 Ed Schonberg <schonber@gnat.com>
1723
f8e0aa73 1724 * sem_elab.adb (Check_A_Call): refine message when call is in an
578053f2
ES
1725 instance but callee is not declared in the generic unit.
1726
0597ce0b 17272001-10-25 Ed Schonberg <schonber@gnat.com>
f8e0aa73
AJ
1728
1729 * sem_elab.adb (Check_A_Call): check for renaming before finding the
0597ce0b
ES
1730 enclosing unit, which may already be different from the calling unit.
1731
3de6e6da
GB
17322001-10-25 Geert Bosch <bosch@gnat.com>
1733
1734 * 4gintnam.ads: fix header format.
1735
6f311316
ES
17362001-10-25 Ed Schonberg <schonber@gnat.com>
1737
f8e0aa73
AJ
1738 * sem_res.adb (Resolve_Call): if the call is actually an indexing
1739 operation on the result of a parameterless call, perform elaboration
6f311316 1740 check after the node has been properly rewritten.
f8e0aa73
AJ
1741
1742 * sem_ch12.adb (Copy_Generic_Node): after the proper body has been
1743 inlined within the generic tree, the defining identifier is not a
6f311316
ES
1744 compilation_unit.
1745
17be0cdf
ES
17462001-10-25 Ed Schonberg <schonber@gnat.com>
1747
f8e0aa73 1748 * sem_res.adb (Resolve): special-case resolution of Null in an
17be0cdf 1749 instance or an inlined body to avoid view conflicts.
f8e0aa73
AJ
1750
1751 * sem_ch12.adb (Copy_Generic_Node): for allocators, check for view
17be0cdf
ES
1752 compatibility by retrieving the access type of the generic copy.
1753
ce9e9122
RD
17542001-10-25 Robert Dewar <dewar@gnat.com>
1755
1756 * sem_ch3.adb:
1757 (Analyze_Number_Declaration): Handle error expression.
1758 (Signed_Integer_Type_Declaration): Handle error bound.
1759 (Analyze_Subtype_Indication): Handle error range.
f8e0aa73 1760
ce9e9122
RD
1761 * sem_util.adb (Get_Index_Bounds): Check for Error.
1762
e12fbc9e
RD
17632001-10-25 Robert Dewar <dewar@gnat.com>
1764
f8e0aa73 1765 * restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
e12fbc9e
RD
1766 in no run time mode.
1767
52b80488
PO
17682001-10-25 Pascal Obry <obry@gnat.com>
1769
f8e0aa73 1770 * gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet
52b80488 1771 mode case for ALLOC case.
f8e0aa73
AJ
1772
1773 * gnatmem.adb (Read_Next): correctly fix parsing in Quiet mode on
52b80488
PO
1774 all platforms. Improvement of last change.
1775
316ad9c5
RD
17762001-10-25 Robert Dewar <dewar@gnat.com>
1777
1778 * exp_ch4.adb (Expand_N_Allocator): Minor reformatting.
1779
1a7e4df4
GB
17802001-10-25 Geert Bosch <bosch@gnat.com>
1781
1782 * osint.adb (Is_Relative): Remove duplicate.
1783
90a9fff2
PO
17842001-10-25 Pascal Obry <obry@gnat.com>
1785
f8e0aa73 1786 * osint.adb (Read_Default_Search_Dirs): correctly detect relative
90a9fff2
PO
1787 pathnames in UNIX and DOS style with drive letter.
1788 (Is_Relative): new routine.
f8e0aa73 1789
90a9fff2 1790 * osint.adb: Minor reformatting
f8e0aa73
AJ
1791
1792 * osint.adb (Is_Relative): implementation using
1a7e4df4 1793 GNAT.OS_Lib.Is_Absolute_Path. Better fix.
90a9fff2 1794
5c1ba4cc
PO
17952001-10-25 Pascal Obry <obry@gnat.com>
1796
f8e0aa73 1797 * g-dirope.adb (Basename): correctly compute offset between the
5c1ba4cc 1798 original Path and the translated one.
f8e0aa73 1799
5c1ba4cc
PO
1800 * g-dirope.adb: (Base_Name): add some comments.
1801
a7fb206d
RD
18022001-10-25 Robert Dewar <dewar@gnat.com>
1803
f8e0aa73 1804 * exp_imgv.adb (Expand_Image_Attribute): Defend against bad use
a7fb206d 1805 in HIE mode, avoids compilation abandoned message
f8e0aa73 1806
a7fb206d 1807 * exp_imgv.adb: Correct typo in previous change
f8e0aa73 1808
a7fb206d
RD
1809 * exp_imgv.adb: Correct typo in previous change (not my day!)
1810
e6a7e62e
RD
18112001-10-25 Robert Dewar <dewar@gnat.com>
1812
1813 * s-tpinop.ads: Add 2001 to copyright notice. Fix header format.
1814
0d2b8e0b 18152001-10-25 Pascal Obry <obry@gnat.com>
75c09e7d 1816
f8e0aa73 1817 * g-awk.ads: Move all pragma inlines next to the routine
0d2b8e0b 1818 declarations. This is more uniform with other GNAT spec.
75c09e7d 1819
0d2b8e0b 18202001-10-22 Geert Bosch <bosch@gnat.com>
d2740a69
GB
1821
1822 * Make-lang.in (gnattools, cross-gnattools): Remove gnatmem.
1823
0d2b8e0b 18242001-10-19 Geert Bosch <bosch@gnat.com>
d7ac9bdd
GB
1825
1826 * Makefile.in (tools, gnattools): Remove gnatmem.
1827
17ed6335
RH
18282001-10-17 Richard Henderson <rth@redhat.com>
1829
1830 * Makefile.in (misc.o): Depend on langhooks.h.
1831 * misc.c: Include it.
1832 (LANG_HOOKS_INIT, LANG_HOOKS_INIT_OPTIONS): New.
1833 (LANG_HOOKS_DECODE_OPTION): New.
1834 (lang_hooks): Use LANG_HOOKS_INITIALIZER.
1835
f2436274
FW
18362001-10-16 Florian Weimer <fw@deneb.enyo.de>
1837
1838 * trans.c (tree_transform): Adjust to recent change in
1839 expand_asm_operands to implement named asm operands.
1840
b14127e6
ES
18412001-10-11 Ed Schonberg <schonber@gnat.com>
1842
f8e0aa73 1843 * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Bugfix in
b14127e6
ES
1844 renaming of discriminant for mutable record type.
1845
e70ee92a
RD
18462001-10-11 Robert Dewar <dewar@gnat.com>
1847
1848 * validsw.adb: Properly save -gnatVn status.
1849
9a5621d7 18502001-10-11 Robert Dewar <dewar@gnat.com>
f8e0aa73 1851
9a5621d7
RD
1852 * usage.adb: Add lines for V switch.
1853
f8e0aa73 1854 * gnatcmd.adb (COMPILE): Revise translations for -gnatV
9a5621d7
RD
1855 (/VALIDITY_CHECKING).
1856
45667f04
ES
18572001-10-11 Ed Schonberg <schonber@gnat.com>
1858
f8e0aa73 1859 * sem_type.adb (Add_One_Interp): an operator for a type declared in
45667f04
ES
1860 an extension of System is known to be visible.
1861
c3de5c4c
ES
18622001-10-11 Ed Schonberg <schonber@gnat.com>
1863
f8e0aa73 1864 * sem_eval.adb (Compare_Fixup): get the bounds of a String_Literal
c3de5c4c
ES
1865 properly. Fixes regression on ACATS C34005G.
1866
4fa964a6
RD
18672001-10-11 Robert Dewar <dewar@gnat.com>
1868
f8e0aa73 1869 * sem_ch5.adb (Analyze_Iteration_Scheme): Suppress warning on null
4fa964a6
RD
1870 loop in generic instance, since this is likely not very useful.
1871
0868e09c
RD
18722001-10-11 Robert Dewar <dewar@gnat.com>
1873
f8e0aa73 1874 * restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize
0868e09c 1875 the error message for high integrity mode.
f8e0aa73
AJ
1876
1877 * rtsfind.adb (RTE): Give message if we try to find an entity that
0868e09c 1878 is not available in high integrity mode.
f8e0aa73 1879
0868e09c
RD
1880 * rtsfind.ads:
1881 (OK_To_Use_In_HIE_Mode): New array.
1882 (RTE): May return Empty in high integrity mode.
f8e0aa73
AJ
1883
1884 * rtsfind.ads (OK_To_Use_In_No_Run_Time_Mode): New name for
1885 OK_To_Use_In_HIE_Mode, now includes System_FAT_xxx.
1886
1887 * sem_ch6.adb (Analyze_Subprogram_Body): Kill body in predefined
1888 unit if not inlined always and in no runtime mode. Fixes problem
0868e09c 1889 caused by new Rtsfind changes.
f8e0aa73
AJ
1890
1891 * sem_ch6.adb (Analyze_Subrogram_Body): Do not Check_References if
0868e09c 1892 body is deleted.
f8e0aa73
AJ
1893
1894 * rtsfind.adb (RTE): Make sure we do not try to load unit after
0868e09c
RD
1895 giving message for entity not available in high integrity mode.
1896
934abf9c 18972001-10-11 Pascal Obry <obry@gnat.com>
f8e0aa73 1898
934abf9c
PO
1899 * impunit.adb: Add GNAT.CRC32.
1900
3c72bea4
ES
19012001-10-11 Ed Schonberg <schonber@gnat.com>
1902
f8e0aa73
AJ
1903 * exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Fixed): handle
1904 properly the case where one universal operand in a non-static
3c72bea4
ES
1905 exponentiation of a real literal.
1906
44d8d2bb
ES
19072001-10-11 Ed Schonberg <schonber@gnat.com>
1908
f8e0aa73
AJ
1909 * exp_ch7.adb (Find_Final_List): for a type appearing in a with_type
1910 clause, return the gobal finalization list, for lack of anthing else.
44d8d2bb 1911
9e2b9627
ES
19122001-10-11 Ed Schonberg <schonber@gnat.com>
1913
f8e0aa73
AJ
1914 * exp_ch7.adb (Make_Transient_Block): if statement is within
1915 exception handler, always use new transient scope to place Clean
9e2b9627
ES
1916 procedure.
1917
cfac6e9f
PO
19182001-10-11 Pascal Obry <obry@gnat.com>
1919
1920 * Makefile.in:
1921 (GNAT_ADA_OBJS): add g-crc32.o, a-tags.o, a-stream.o
1922 (GNATBIND_OBJS): add g-crc32.o, a-tags.o, a-stream.o
1923 (GNATLS_RTL_OBJS): add g-crc32.o
1924 (GNATMAKE_RTL_OBJS): add g-crc32.o
f8e0aa73 1925
cfac6e9f
PO
1926 * ali-util.adb:
1927 (CRC_Match): new function.
f8e0aa73 1928 (Get_File_Checksum): renamed Get_File_CRC. Use the GNAT.CRC32 unit
cfac6e9f
PO
1929 instead of the previous simple checksum algorithm.
1930 (Time_Stamp_Mismatch): use CRC_Match for comparison.
1931 (Set_Source_Table): idem.
f8e0aa73 1932
cfac6e9f 1933 * ali-util.ads:
f8e0aa73 1934 (Get_File_Checksum): renamed Get_File_CRC as now we compute CRC
cfac6e9f
PO
1935 instead of simple checksum.
1936 (CRC_Match): new function.
1937 (CRC_Error): new constant.
f8e0aa73
AJ
1938
1939 * ali.adb (Scan_ALI): rename variable Chk to CRC as we are handling
1940 a CRC now and not a simple checksum. A CRC uses lower-case hex
cfac6e9f 1941 letters, fixes ambiguity in parsing.
f8e0aa73
AJ
1942
1943 * ali.ads (Sdep_Record.Checksum): renamed Sdep_Record.CRC as this
cfac6e9f 1944 is what this variable will store.
f8e0aa73 1945
cfac6e9f 1946 * bcheck.adb: Change reference to chechsum in comments by CRC.
f8e0aa73
AJ
1947 (Check_Consistency): Rename Get_File_Checksum to Get_File_CRC.
1948 rename All_Checksum_Match to All_CRC_Match. Change due to API
1949 renaming since now GNAT does not use a simple checksum but a
cfac6e9f 1950 CRC using GNAT.CRC32.
f8e0aa73
AJ
1951
1952 * gnatls.adb: Rename Checksum to CRC in many places, we use a CRC
cfac6e9f 1953 now and not anymore a simple checksum.
f8e0aa73
AJ
1954
1955 * lib-load.adb: Use Source_CRC instead of Source_Checksum in many
cfac6e9f 1956 places.
f8e0aa73 1957
cfac6e9f 1958 * lib-writ.adb (Write_ALI): Use Source_CRC instead of Source_Checksum.
f8e0aa73 1959
cfac6e9f
PO
1960 * scans.adb:
1961 (Restore_Scan_State): rename Checksum to CRC.
1962 (Save_Scan_State): idem.
f8e0aa73 1963
cfac6e9f
PO
1964 * scans.ads:
1965 With GNAT.CRC32.
1966 (Checksum): rename to CRC.
1967 (Saved_Scan_State): Save_Checksum field renamed to Save_CRC
f8e0aa73
AJ
1968
1969 * scn-nlit.adb: Rename many Accumulate_Checksum to Update (from
cfac6e9f 1970 GNAT.CRC32). Update copyright notice.
f8e0aa73
AJ
1971
1972 * scn-slit.adb: Rename many Accumulate_Checksum to Update (from
cfac6e9f 1973 GNAT.CRC32). Update copyright notice.
f8e0aa73 1974
cfac6e9f
PO
1975 * scn.adb:
1976 (Accumulate_Checksum): removed.
1977 (Update): new procedure. Add a wide-character into the CRC.
f8e0aa73 1978
cfac6e9f
PO
1979 * sinput-l.adb:
1980 (Complete_Source_File_Entry): use CRC32 instead of simple checksum.
f8e0aa73 1981 (Load_File): fix initialization of S (change Source_Checksum to
cfac6e9f 1982 Source_CRC)
f8e0aa73
AJ
1983
1984 * sinput-p.adb (Load_Project_File): rename Source_Checksum to
cfac6e9f 1985 Source_CRC in S initialization.
f8e0aa73 1986
cfac6e9f 1987 * sinput.adb (Source_Checksum): renamed to Source_CRC.
f8e0aa73 1988
cfac6e9f
PO
1989 * sinput.ads (Source_Checksum): renamed to Source_CRC.
1990 Update comments for the CRC.
f8e0aa73 1991
cfac6e9f 1992 * types.adb (Hex): Use lowercase for the letter part.
f8e0aa73
AJ
1993
1994 * types.ads (Get_Hex_String): Returns the hexadecimal representation
1995 for a word. This is currently used only for CRC. In previous version,
1996 the checksum was using a representation with all letter being
1997 upper-case. With the new implementation (using CRC) we do not remove
1998 the 32th bit of the CRC, so we can have an upper-case starting letter
1999 in the CRC. This is not possible to parse in Scan_ALI (ali.adb).
2000 It is ambigous since the CRC was optional and could be followed by
2001 options like EB, EE. So now this routines uses lower-case letter for
2002 the hexadecimal representation. Strange enough only lower case letters
cfac6e9f 2003 where checked in Scan_ALI (even if this was not a possible case).
f8e0aa73 2004
cfac6e9f 2005 * gnatvsn.ads (Library_Version): changed to 3.15a.
f8e0aa73
AJ
2006
2007 * s-crc32.ads: Initial version from GNAT.CRC32. This is the version
cfac6e9f 2008 for the compiler.
f8e0aa73
AJ
2009
2010 * s-crc32.adb: Initial version from GNAT.CRC32. This is the version
cfac6e9f 2011 for the compiler.
f8e0aa73 2012
cfac6e9f
PO
2013 * ali-util.adb: Redo previous change to avoid using word CRC everywhere
2014 Add 2001 to copyright notice
2015 (Accumulate_Checksum): Modify to use System.CRC32.
f8e0aa73
AJ
2016
2017 * ali-util.ads: Redo changes of previous revision to continue to use
cfac6e9f 2018 the word Checksum. Add 2001 to copyright notice.
f8e0aa73 2019
cfac6e9f
PO
2020 * ali.adb: Undo some of previous changes, not needed.
2021 Keep the change for lower case letters in the checksum.
f8e0aa73 2022
cfac6e9f
PO
2023 * ali.ads: Undo previous change not needed.
2024
2025 * bcheck.adb: Undo most of previous change, not needed.
2026 But do use Checksums_Match for checksum comparison.
f8e0aa73 2027
cfac6e9f
PO
2028 * gnatls.adb: Undo most of previous change, not needed.
2029 But do use Checksums_Match for comparing checksums.
f8e0aa73 2030
cfac6e9f 2031 * lib-load.adb: Undo previous change, not needed.
f8e0aa73 2032
cfac6e9f 2033 * lib-writ.adb: Undo previous change, not needed.
f8e0aa73
AJ
2034
2035 * lib-writ.ads: Document that checksums use lower case,
cfac6e9f 2036 not upper case letters.
f8e0aa73 2037
cfac6e9f 2038 * scans.adb: Undo previous change, not needed
f8e0aa73 2039
cfac6e9f 2040 * scans.ads: Undo previous change, not needed.
f8e0aa73 2041
cfac6e9f 2042 * scn-nlit.adb: Undo previous changes, not needed.
f8e0aa73 2043
cfac6e9f 2044 * scn-slit.adb: Undo previous change, not needed. Fix header format.
f8e0aa73 2045
cfac6e9f
PO
2046 * scn.adb:
2047 (Accumulate_Checksum): Use System.CRC32.
2048 (Initialize_Checksum): New procedure.
2049 Remove other changes of previous revision.
f8e0aa73 2050
cfac6e9f 2051 * sinput-p.adb: Undo previous change, not needed.
f8e0aa73 2052
cfac6e9f
PO
2053 * sinput.adb: Undo previous change, not needed.
2054
2055 * sinput-l.adb: Undo previous change, not needed.
f8e0aa73
AJ
2056
2057 * sinput.ads: Undo previous change, not needed. Keep only comment
cfac6e9f 2058 on new checksum algorithm
f8e0aa73 2059
cfac6e9f
PO
2060 * Makefile.in: Add s-crc32 as needed, remove g-crc32.
2061 Also remove a-tags and a-stream from GNAT sources.
f8e0aa73 2062
cfac6e9f 2063 * ali.adb (Scan_ALI): fix typo introduce in latest check-in.
f8e0aa73 2064
cfac6e9f
PO
2065 * Makefile.in (GNATRTL_NONTASKING_OBJS): Add g-crc32.o.
2066
4d6d06a5
GB
20672001-10-11 Geert Bosch <bosch@gnat.com>
2068
2069 * einfo.h: Regenerate.
2070
2071 * nmake.ads: Regenerate.
2072
2073 * nmake.adb: Regenerate.
2074
2075 * sinfo.h: Regenerate.
2076
2077 * treeprs.adb: Regenerate.
2078
c97412e2
GB
20792001-10-10 Geert Bosch <bosch@gnat.com>
2080
2081 * gnat-style.texi: New file describing coding guidelines for Ada.
f8e0aa73 2082
b83018ca
ES
20832001-10-10 Ed Schonberg <schonber@gnat.com>
2084
f8e0aa73 2085 * einfo.adb (Write_Entity_Flags): Elaboration_Entity_Required
b83018ca
ES
2086 is Flag174.
2087
e834fe1f
GB
20882001-10-10 Geert Bosch <bosch@gnat.com>
2089
2090 * snames.ads: Add new names for project facility.
2091
2092 * snames.adb: Update to reflect snames.ads changes.
2093
2094 * snames.h: Update to reflect snames.ads changes.
2095
b30668b7
VC
20962001-10-10 Vincent Celier <celier@gnat.com>
2097
2098 * make.adb:
2099 (Add_Switches): reflect the changes for the switches attributes
2100 Default_Switches indexed by the programming language,
2101 Switches indexed by the file name.
2102 (Collect_Arguments_And_Compile): Idem.
2103 Reflect the attribute name changes.
f8e0aa73 2104
b30668b7
VC
2105 * prj-attr.adb:
2106 (Initialisation_Data): Change the names of some packages and
2107 attributes.
2108 (Initialize): process case insensitive associative arrays.
f8e0aa73 2109
b30668b7
VC
2110 * prj-attr.ads:
2111 (Attribute_Kind): Remove Both, add Case_Insensitive_Associative_Array.
f8e0aa73 2112
b30668b7
VC
2113 * prj-dect.adb:
2114 (Parse_Attribute_Declaration): For case insensitive associative
2115 arrays, set the index string to lower case.
f8e0aa73 2116
b30668b7
VC
2117 * prj-env.adb:
2118 Reflect the changes of the project attributes.
f8e0aa73 2119
b30668b7
VC
2120 * prj-nmsc.adb:
2121 Replace Check_Naming_Scheme by Ada_Check and
2122 Language_Independent_Check.
f8e0aa73 2123
b30668b7
VC
2124 * prj-nmsc.ads:
2125 Replaced Check_Naming_Scheme by 2 procedures:
2126 Ada_Check and Language_Independent_Check.
f8e0aa73 2127
b30668b7
VC
2128 * prj-proc.adb:
2129 (Process_Declarative_Items): For case-insensitive associative
2130 arrays, set the index string to lower case.
2131 (Recursive_Check): Call Prj.Nmsc.Ada_Check, instead of
2132 Prj.Nmsc.Check_Naming_Scheme.
f8e0aa73 2133
b30668b7
VC
2134 * prj-tree.adb:
2135 (Case_Insensitive): New function
2136 (Set_Case_Insensitive): New procedure
f8e0aa73 2137
b30668b7
VC
2138 * prj-tree.ads:
2139 (Case_Insensitive): New function
2140 (Set_Case_Insensitive): New procedure
2141 (Project_Node_Record): New flag Case_Insensitive.
f8e0aa73 2142
b30668b7
VC
2143 * prj-util.adb:
2144 (Value_Of): new function to get the string value of a single
2145 string variable or attribute.
f8e0aa73 2146
b30668b7
VC
2147 * prj-util.ads:
2148 (Value_Of): new function to get the string value of a single
2149 string variable or attribute.
f8e0aa73 2150
b30668b7
VC
2151 * prj.adb:
2152 (Ada_Default_Spec_Suffix): New function
2153 (Ada_Default_Impl_Suffix): New function
2154 Change definitions of several constants to reflect
2155 new components of record types.
f8e0aa73 2156
b30668b7
VC
2157 * prj.ads:
2158 (Naming_Data): Change several components to reflect new
2159 elements of naming schemes.
2160 (Project_Data): New flags Sources_Present and
2161 Language_Independent_Checked.
2162 (Ada_Default_Spec_Suffix): New function.
2163 (Ada_Default_Impl_Suffix): New function.
f8e0aa73 2164
b30668b7
VC
2165 * snames.ads:
2166 Modification of predefined names for project manager: added
2167 Implementation, Specification_Exceptions, Implementation_Exceptions,
2168 Specification_Suffix, Implementation_Suffix, Separate_Suffix,
2169 Default_Switches, _Languages, Builder, Cross_Reference,
2170 Finder. Removed Body_Part, Specification_Append, Body_Append,
2171 Separate_Append, Gnatmake, Gnatxref, Gnatfind, Gnatbind,
2172 Gnatlink.
f8e0aa73 2173
b30668b7
VC
2174 * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
2175 Add comments.
f8e0aa73 2176
b30668b7
VC
2177 * prj-nmsc.adb (Ada_Check): Test that Separate_Suffix is defaulted,
2178 not that it is Nil_Variable_Value.
f8e0aa73 2179
b30668b7
VC
2180 * prj.ads: Add ??? for uncommented declarations
2181
662e57b4
ES
21822001-10-10 Ed Schonberg <schonber@gnat.com>
2183
f8e0aa73
AJ
2184 * sem_prag.adb: (Analyze_Pragma, case External): If entity is a
2185 constant, do not indicate possible modification, so that gigi can
662e57b4
ES
2186 treat it as a bona fide constant.
2187
72e4357f
RD
21882001-10-10 Robert Dewar <dewar@gnat.com>
2189
2190 * sem_prag.adb: Add processing for pragma External.
f8e0aa73 2191
72e4357f 2192 * snames.ads: Add entry for pragma External.
f8e0aa73 2193
72e4357f 2194 * par-prag.adb: Add pragma External.
f8e0aa73 2195
72e4357f
RD
2196 * snames.adb: Updated to match snames.ads.
2197
7bc1c7df
ES
21982001-10-10 Ed Schonberg <schonber@gnat.com>
2199
2200 * exp_ch4.adb (Expand_N_Allocator): Generate meaningful names for
2201 a dynamic task if the allocator appears in an indexed assignment
2202 or selected component assignment.
f8e0aa73
AJ
2203
2204 * exp_util.adb (Build_Task_Array_Image, Build_Task_Record_Image):
2205 For a dynamic task in an assignment statement, use target of
7bc1c7df
ES
2206 assignment to generate meaningful name.
2207
c84700e7
ES
22082001-10-10 Ed Schonberg <schonber@gnat.com>
2209
f8e0aa73 2210 * einfo.adb (Write_Field19_Name): Body_Entity is also defined for
c84700e7
ES
2211 a generic package.
2212
2213 * einfo.ads: Body_Entity is also defined for generic package.
2214 Documentation change only
f8e0aa73
AJ
2215
2216 * exp_aggr.adb (Build_Array_Aggr_Code): When expanding an
2217 others_choice for a discriminated component initialization,
2218 convert discriminant references into the corresponding discriminals.
2219
2220 * exp_ch3.adb (Get_Simple_Init_Val): Add qualification to aggregate
2221 only if original type is private and expression has to be wrapped
c84700e7 2222 in a conversion.
f8e0aa73
AJ
2223
2224 * checks.adb:
2225 (Apply_Constraint_Check): Do not perform length check
c84700e7 2226 if expression is an aggregate with only an others_choice.
f8e0aa73 2227 (Length_N_Cond): two references to the same in_parameter
c84700e7
ES
2228 (typically the discriminal in an init_proc) denote the same value.
2229 Two useful optimization uncovered by bugfixes above.
2230
d8d80dcd
RD
22312001-10-10 Robert Dewar <dewar@gnat.com>
2232
f8e0aa73 2233 * xeinfo.adb: Change int to char in translation of enumeration types.
d8d80dcd
RD
2234 This fixes a problem in the C representation of component alignment.
2235 Add 2001 to copyright notice
2236
a8fee948
RK
22372001-10-10 Richard Kenner <kenner@gnat.com>
2238
f8e0aa73 2239 * decl.c: (validate_size): Do check size of object of integral type
a8fee948
RK
2240 if it is a packed array type.
2241
c2d7fe59
RK
22422001-10-10 Richard Kenner <kenner@gnat.com>
2243
f8e0aa73 2244 * decl.c: (gnat_to_gnu_entity, case object): Also materialize
c2d7fe59
RK
2245 VAR_DECL for constant if not Is_Public but -O0.
2246
fb75e100
RK
22472001-10-10 Richard Kenner <kenner@gnat.com>
2248
2249 * misc.c (struct lang_hooks): Add new initializer to match GCC change.
2250
1724557a
GB
22512001-10-10 Geert Bosch <bosch@gnat.com>
2252
f8e0aa73 2253 * xnmake.adb (XNmake): Fix handling of -s/-b options. No longer
1724557a
GB
2254 use '/' as switch character, allowing for absolute file names.
2255
9f2f9eb6
JM
22562001-10-09 Joseph S. Myers <jsm28@cam.ac.uk>
2257
2258 * 4gintnam.ads, Make-lang.in, Makefile.in, config-lang.in: Update
2259 FSF address.
2260
8fecf41d
GB
22612001-10-08 Geert Bosch <bosch@gnat.com>
2262
2263 * Makefile.in (treeprs.ads, einfo.h, sinfo.h, nmake.adb, nmake.ads):
2264 Automatically build utilities when files need to be regenerated.
2265
589f1edf
GB
22662001-10-08 Geert Bosch <bosch@gnat.com>
2267
2268 * xsnames.adb: New utility for updating snames.ads and snames.adb
2269
67f28219
ZW
22702001-10-08 Zack Weinberg <zack@codesourcery.com>
2271
2272 * Make-lang.in (ADAFLAGS): Add -W -Wall.
2273 (ADA_FLAGS_TO_PASS): Set ADA_CFLAGS=$(CFLAGS) also.
2274 (gnat1): Also depend on attribs.o.
2275 (gnatlib, gnatlib-shared): Set CC and ADAC in recursive make.
2276 * Makefile.in (X_ADAFLAGS, T_ADAFLAGS): New.
2277 (ADAC): Set to @ADAC@ in stage1, $(CC) later.
2278 (ADAFLAGS): Add -W -Wall.
2279 (ALL_ADAFLAGS, MOST_ADAFLAGS): Add X_ADAFLAGS and T_ADAFLAGS;
2280 take out CFLAGS.
2281
2282 (.adb.o, .ads.o, a-numaux.o, a-teioed.o, s-interr.o,
2283 s-taskin.o, sdefault.o, s-tasdeb.o, s-vaflop.o, a-except.o,
2284 s-assert.o, s-stalib.o, s-memory.o, memtrack.o, mlib-tgt.o):
2285 Use $(ADAC), not $(CC), as compilation command.
2286
2287 (gnattools): Depend directly on tools to build, don't use
2288 recursive make.
2289 (gnatlib): Set ADA_CFLAGS=$(GNATLIBCFLAGS) in recursive make.
2290
2291 * einfo.h, sinfo.h: New files (autogenerated).
2292
295ef2bb
RH
22932001-10-08 Richard Henderson <rth@redhat.com>
2294
2295 * comperr.adb (Abort_In_Progress): New.
2296 (Compiler_Abort): Use it to prevent recursion.
2297
5c736541
RD
22982001-10-08 Robert Dewar <dewar@gnat.com>
2299
2300 * atree.adb: Set Error_Posted in Error node, helps error recovery.
67f28219
ZW
2301
2302 * par-endh.adb (Output_End_Expected): We should also not test
5c736541 2303 Error_Posted on the Error node, since now it is always set.
67f28219
ZW
2304
2305 * cstand.adb (Create_Standard): Set Etype of Error to Any_Type
5c736541 2306 to help error recovery. Part of general work on 9407-004.
67f28219 2307
5c736541 2308 * par.adb: Add ??? for misuse of error
67f28219 2309
5c736541
RD
2310 * sem_res.adb:
2311 (Resolve): Defend against Error, fixes 9407-003.
2312 (Resolve_Discrete_Subtype_Indication): Defend against Error.
67f28219
ZW
2313
2314 * sinfo.ads (N_Error): Now has Etype field (which will be set
5c736541
RD
2315 to Any_Type to help error recovery).
2316
a153ae15
RK
23172001-10-08 Richard Kenner (kenner@gnat.com)
2318
2319 * misc.c (gnat_expand_expr, case UNCHECKED_CONVERT_EXPR):
2320 Consistently set MEM attributes from expression; fixes
2321 bootstrap failure on x86.
2322
743f3c7b
GB
23232001-10-08 Geert Bosch (bosch@gnat.com)
2324
2325 * 5oosinte.adb: Add 2001 to copyright notice.
2326
210c4ef4
GB
23272001-10-08 Geert Bosch (bosch@gnat.com)
2328
2329 * ceinfo.adb: Add utility for consistency checking of einfo.ad[bs].
2330
2331 * csinfo.adb: Add utility for consistency checking of sinfo.ad[bs].
2332
cc712abf
JM
23332001-10-07 Joseph S. Myers <jsm28@cam.ac.uk>
2334
2335 * 5oosinte.adb: Fix spelling error of "separate" as "seperate".
2336
4c4abc0f
GB
23372001-10-05 Geert Bosch (bosch@gnat.com)
2338
2339 * adaint.h: Small formatting fix.
2340
7f50e2e3
GB
23412001-10-04 Geert Bosch <bosch@gnat.com>
2342
2343 * sysdep.c (__gnat_set_binary_mode, __gnat_set_text_mode):
2344 Arg is int, not FILE *, in dummy version of functions.
67f28219 2345
7f50e2e3
GB
2346 * adaint.h (__gnat_set_binary_mode, __gnat_set_text_mode):
2347 Arg is int, not FILE *.
2348
5d1a9698
GB
23492001-10-04 Geert Bosch <bosch@gnat.com>
2350
2351 * 3lsoccon.ads: Added file, missed with initial check ins.
67f28219 2352
5d1a9698
GB
2353 * 4lintnam.ads: Fix header format.
2354 Change Linux to GNU/Linux.
67f28219 2355
5d1a9698
GB
2356 * 5iosinte.adb: Change Linux to GNU/Linux.
2357
2358 * 5iosinte.ads: Change Linux to GNU/Linux.
67f28219 2359
5d1a9698 2360 * 5itaprop.adb: Change Linux to GNU/Linux.
67f28219 2361
5d1a9698
GB
2362 * 5itaspri.ads: Change Linux to GNU/Linux.
2363 Update copyright notice.
67f28219 2364
5d1a9698 2365 * 5lintman.adb: Change Linux to GNU/Linux.
67f28219 2366
5d1a9698 2367 * 5lml-tgt.adb: Change Linux to GNU/Linux.
67f28219 2368
5d1a9698 2369 * 5losinte.ads: Change Linux to GNU/Linux.
67f28219 2370
5d1a9698 2371 * 5lsystem.ads: Change Linux to GNU/Linux.
67f28219 2372
5d1a9698 2373 * 5qosinte.adb: Change Linux to GNU/Linux.
67f28219 2374
5d1a9698 2375 * 5qosinte.ads: Change Linux to GNU/Linux.
67f28219 2376
5d1a9698 2377 * 5qparame.ads: Change Linux to GNU/Linux.
67f28219 2378
5d1a9698 2379 * 5qtaprop.adb: Change Linux to GNU/Linux.
67f28219 2380
5d1a9698
GB
2381 * 5qtaspri.ads: Change Linux to GNU/Linux.
2382 Add 2001 to copyright notice.
67f28219 2383
5d1a9698
GB
2384 * 5vintman.ads: Change Linux to GNU/Linux.
2385 Fix header format. Add 2001 to copyright notice.
67f28219 2386
5d1a9698 2387 * g-soccon.ads: Change Linux to GNU/Linux.
67f28219 2388
5d1a9698
GB
2389 * g-trasym.ads: Change Linux to GNU/Linux.
2390 Add 2001 to copyright notice.
67f28219 2391
5d1a9698 2392 * memtrack.adb: Change Linux to GNU/Linux.
67f28219 2393
5d1a9698
GB
2394 * s-intman.ads: Change Linux to GNU/Linux.
2395 Add 2001 to copyright notice. Fix header format.
67f28219 2396
5d1a9698 2397 * s-stache.adb: Change Linux to GNU/Linux.
67f28219 2398
5d1a9698 2399 * adaint.c: Change Linux to GNU/Linux.
67f28219 2400
5d1a9698 2401 * cio.c: Change Linux to GNU/Linux.
67f28219 2402
5d1a9698 2403 * cstreams.c: Change Linux to GNU/Linux.
67f28219 2404
5d1a9698 2405 * init.c: Change Linux to GNU/Linux.
67f28219 2406
5d1a9698 2407 * gmem.c: Change Linux to GNU/Linux.
67f28219 2408
5d1a9698
GB
2409 * tracebak.c: Change Linux to GNU/Linux.
2410
2411
c25ca2d7
GB
24122001-10-02 Geert Bosch <bosch@gnat.com>
2413
2414 * misc.c (insert_default_attributes): Add dummy version.
This page took 0.441626 seconds and 5 git commands to generate.