+2002-05-26 Joseph S. Myers <jsm28@cam.ac.uk>
+
+ * gnatvsn.ads (Gnat_Version_String): Change to "3.2 20020526
+ (experimental)".
+
+2002-05-23 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>
+
+ * Make-lang.in (CP, ECHO): Copy from Makefile.in.
+ (X_ADA_CFLAGS, T_ADA_CFLAGS, X_ADAFLAGS, T_ADAFLAGS): Likewise.
+ (ALL_ADAFLAGS, FORCE_DEBUG_ADAFLAGS, ADA_CFLAGS): Likewise.
+ (ALL_ADA_CFLAGS): Likewise.
+ (ADA_INCLUDES): Likewise.
+ Adapt for new working dir.
+ (GNATBIND): Use Makefile.in version.
+ (.SUFFIXES): Copy from Makefile.in.
+ (ada-warn): Define.
+ (.adb.o, .ads.o): Copy from Makefile.in.
+ Added $(OUTPUT_OPTION).
+ (GNAT1_C_OBJS): Moved from Makefile.in.
+ Prefix with ada subdir.
+ (GNAT_ADA_OBJS, GNAT1_ADA_OBJS, GNAT1_OBJS, GNATBIND_OBJS): Likewise.
+ (EXTRA_GNAT1_OBJS): Moved from Makefile.in.
+ Adapt for new working dir.
+ (EXTRA_GNATBIND_OBJS): Likewise.
+ (ADA_BACKEND): Moved from Makefile.in.
+ Renamed to avoid conflict with global BACKEND.
+ Use that one.
+ (TARGET_ADA_SRCS): Moved from Makefile.in.
+ (gnat1$(exeext)): Replaced recursive rule with Makefile.in version.
+ Use ADA_BACKEND.
+ (gnatbind$(exeext)): Replaced recursive rule with Makefile.in version.
+ (ada_extra_files): Moved from Makefile.in.
+ Prefix with ada subdir.
+ (ada/b_gnat1.c, ada/b_gnat1.o, ada/b_gnatb.c, ada/b_gnatb.o): Likewise.
+ (ada/treeprs.ads, ada/einfo.h, ada/sinfo.h, ada/nmake.adb): Likewise.
+ (ada/nmake.ads): Likewise.
+ (update-sources): Moved from Makefile.in.
+ Prefix with ada subdir.
+ (ada/sdefault.adb, ada/stamp-sdefault, ada/sdefault.o): Likewise.
+ (ADA_TREE_H): Likewise.
+ (ada/a-except.o, ada/s-assert.o, ada/s-memory.o): Likewise.
+ (ada/memtrack.o): Likewise.
+ (ada/adadecode.o): Likewise.
+ Update dependencies.
+ (ada/adaint.o): New.
+ (ada/argv.o): Moved from Makefile.in.
+ Prefix with ada subdir.
+ Update dependencies.
+ (ada/cstreams.o, ada/exit.o, ada/final.o, ada/link.o): Likewise.
+ (ada/cio.o, ada/init.o, ada/raise.o, ada/tracebak.o): Likewise.
+ (ada/cuintp.o, ada/decl.o, ada/misc.o): Moved from Makefile.in.
+ Prefix with ada subdir.
+ (ada/targtyps.o, ada/trans.o, ada/utils.o, ada/utils2.o): Likewise.
+ (GNAT DEPENDENCIES): Regenerate.
+ * Makefile.in (MACHMODE_H, RTL_H, TREE_H): Removed, provided by
+ toplevel Makefile.in.
+ (EXTRA_GNAT1_OBJS, EXTRA_GNATBIND_OBJS): Removed.
+ (TARGET_ADA_SRCS): Removed.
+ (GNAT1_C_OBJS, GNAT_ADA_OBJS, GNAT1_ADA_OBJS, GNAT1_OBJS): Likewise.
+ (GNATBIND_OBJS): Likewise.
+ (ADA_INCLUDE_DIR, ADA_RTL_OBJ_DIR): Moved here.
+ (BACKEND): Removed.
+ (../gnat1$(exeext), ../gnatbind$(exeext)): Likewise.
+ (TREE_H): Likewise.
+ (ada_extra_files): Likewise.
+ (b_gnat1.c, b_gnat1.o, b_gnatb.c, b_gnatb.o): Likewise.
+ (treeprs.ads, einfo.h, sinfo.h, nmake.adb, nmake.ads): Likewise.
+ (update-sources): Likewise.
+ (sdefault.adb, stamp-sdefault, sdefault.o): Likewise
+ (ADA_TREE_H): Likewise.
+ (adadecoce.o): Likewise.
+ (cuintp.o, decl.o, misc.o, trans.o, utils.o, utils2.o): Likewise.
+ (GNAT DEPENDENCIES): Likewise.
+
+2002-05-16 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>
+
+ * Makefile.adalib: Allow for PWDCMD to override hardcoded pwd.
+ * Makefile.in: Likewise.
+
+2002-05-14 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>
+
+ * Make-lang.in (gnat1$(exeext), gnatbind$(exeext), gnattools):
+ Restore $(CONFIG_H) and prefix.o dependencies.
+ (ada.stage[1-4]): Depend on stage?-start.
+
+ * Makefile.in (b_gnatb.c): Depend on interfac.o.
+
+2002-05-02 Jim Wilson <wilson@redhat.com>
+
+ * utils.c (finish_record_type): Change record_size to record_type.
+
+2001-05-02 John David Anglin <dave@hiauly1.hia.nrc.ca>
+
+ * ada/Makefile.in (X_ADA_CFLAGS, T_ADA_CFLAGS): New fragment overrides.
+ (ALL_ADA_CFLAGS): Define. Replace ADA_CFLAGS with ALL_ADA_CFLAGS in
+ ALL_ADAFLAGS, MOST_ADAFLAGS, and all compilations using CC.
+
+2002-04-25 Neil Booth <neil@daikokuya.demon.co.uk>
+
+ * misc.c (gnat_parse_file): Update.
+
+2002-04-24 Neil Booth <neil@daikokuya.demon.co.uk>
+
+ * misc.c (gnat_init): Don't set lang_attribute_common.
+
+2002-04-21 Joseph S. Myers <jsm28@cam.ac.uk>
+
+ * gnat_rm.texi: Use @ifnottex instead of @ifinfo.
+
+2002-04-21 Florian Weimer <fw@deneb.enyo.de>
+
+ * gnat_ug.texi: New file.
+
+ * gnat_rm.texi: Do not include texiplus.texi. Include fdl.texi
+ instead of gfdl.texi
+
+ * xgnatug.adb, ug_words: New files.
+
+ * Makefile.in (doc, dvi): New targets. Build gnat_ug_*,
+ gnat_rm and gnat-style manuals.
+
+2002-04-18 Neil Booth <neil@daikokuya.demon.co.uk>
+
+ * gigi.h (incomplete_type_error): Remove.
+ * utils.c (incomplete_type_error): Remove.
+
+2002-04-16 Mark Mitchell <mark@codesourcery.com>
+
+ * trans.c (tree_transform): Add has_scope argument to
+ expand_start_stmt_expr.
+
+2002-04-04 Neil Booth <neil@daikokuya.demon.co.uk>
+
+ * gigi.h (truthvalue_conversion): Rename.
+ * misc.c (LANG_HOOKS_TRUTHVALUE_CONVERSION): Redefine.
+ * trans.c (tree_transform): Update.
+ * utils2.c (truthvalue_conversion): Rename, update.
+ (build_binary_op, build_unary_op): Update.
+
+2002-04-04 Laurent Guerby <guerby@acm.org>
+
+ * make.adb: Implement -margs, remove restriction about file name placement.
+ * makeusg.adb: Documentation update.
+ * Makefile.in (TOOLS_FLAGS_TO_PASS): Add VPATH=$(fsrcdir).
+ * Makefile.in (gnattools3): Comment out, gnatmem does not build without libaddr2line.
+
+2002-04-04 Neil Booth <neil@daikokuya.demon.co.uk>
+
+ * utils.c (create_subprog_decl): Use SET_DECL_ASSEMBLER_NAME.
+ (builtin_function): Similarly.
+
+2002-04-01 Neil Booth <neil@daikokuya.demon.co.uk>
+
+ * decl.c (gnat_to_gnu_entity): Update.
+ * gigi.h (mark_addressable): Rename.
+ * misc.c (LANG_HOOKS_MARK_ADDRESSABLE): Redefine.
+ * trans.c (tree_transform): Update.
+ * utils.c (create_var_decl): Update.
+ * util2.c (build_binary_op, build_unary_op,
+ fill_vms_descriptor): Update.
+ (mark_addressable): Rename, update.
+
+2002-04-01 Neil Booth <neil@daikokuya.demon.co.uk>
+
+ * gigi.h (unsigned_type, signed_type, signed_or_unsigned_type):
+ Rename.
+ * misc.c (LANG_HOOKS_SIGNED_TYPE, LANG_HOOKS_UNSIGNED_TYPE,
+ LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): New.
+ * trans.c (tree_transform, convert_with_check): Update.
+ * utils.c (unsigned_type, signed_type, signed_or_unsigned_type):
+ Rename.
+
+2002-03-31 Neil Booth <neil@daikokuya.demon.co.uk>
+
+ * gigi.h (finish_incomplete_decl): Rename.
+ * misc.c (LANG_HOOKS_FINISH_INCOMPLETE_DECL): Redefine.
+ * utils.c (gnat_init_decl_processing): Don't set hook.
+ (finish_incomplete_decl): Rename.
+
2002-03-29 Andreas Schwab <schwab@suse.de>
* Makefile.in: Pass VPATH=$(fsrcdir) when calling make in rts
(Duplicate_Subexpr): Restore original form (checks duplicated)
(Duplicate_Subexpr): Call Remove_Checks
- * exp_util.ads:
+ * exp_util.ads:
(Duplicate_Subexpr_No_Checks): New procedure
(Duplicate_Subexpr_No_Checks_Orig): New procedure
Add 2002 to copyright notice
* sem_util.adb: Use new Duplicate_Subexpr functions
- * sem_eval.adb:
+ * sem_eval.adb:
(Eval_Indexed_Component): This is the place to call
Constant_Array_Ref and to replace the value. We simply merge
the code of this function in here, since it is now no longer
2001-03-28 Ed Schonberg <schonber@gnat.com>
- * exp_util.adb: Duplicate_Subexpr_No_Checks_Orig =>
+ * exp_util.adb: Duplicate_Subexpr_No_Checks_Orig =>
Duplicate_Subexpr_Move_Checks.
- * exp_util.ads: Duplicate_Subexpr_No_Checks_Orig =>
+ * exp_util.ads: Duplicate_Subexpr_No_Checks_Orig =>
Duplicate_Subexpr_Move_Checks.
- * sem_eval.adb: (Constant_Array_Ref): Verify that constant
- value of array exists before retrieving it (it may a private
+ * sem_eval.adb: (Constant_Array_Ref): Verify that constant
+ value of array exists before retrieving it (it may a private
protected component in a function).
2002-03-28 Geert Bosch <bosch@gnat.com>
2002-03-23 Florian Weimer <fw@deneb.enyo.de>
- * gnat_rm.texi: Sync with ACT version.
+ * gnat_rm.texi: Sync with ACT version.
(From Ben Brosgol <brosgol@gnat.com>)
2002-03-20 Neil Booth <neil@daikokuya.demon.co.uk>
2002-03-07 Geert Bosch <bosch@gnat.com>
- * adadecode.c, adadecode.h, aux-io.c, s-traces.adb, s-traces.ads,
- s-tratas.adb, s-tratas.ads, sinput-d.adb, sinput-d.ads,
- switch-b.adb, switch-b.ads, switch-c.adb, switch-c.ads,
+ * adadecode.c, adadecode.h, aux-io.c, s-traces.adb, s-traces.ads,
+ s-tratas.adb, s-tratas.ads, sinput-d.adb, sinput-d.ads,
+ switch-b.adb, switch-b.ads, switch-c.adb, switch-c.ads,
switch-m.adb, switch-m.ads : New files.
2002-03-07 Geert Bosch <bosch@gnat.com>
* gnat-style.texi (Declarations and Types): Remove ancient style
rule which was mandated by code generation issues.
-
+
* gnat-style.texi (header): Add @dircategory, @direntry.
(title page): Remove date.
(general) Add @./@: where approriate, and two spaces after the
2001-12-19 Robert Dewar <dewar@gnat.com>
* bindgen.adb: Minor reformatting
-
+
* cstand.adb: Minor reformatting
-
+
* fmap.adb: Minor reformatting
Change name from Add for Add_To_File_Map (Add is much too generic)
Change Path_Name_Of to Mapped_Path_Name
Change File_Name_Of to Mapped_File_Name
Fix copyright dates in header
-
+
* fmap.ads:
Change name from Add for Add_To_File_Map (Add is much too generic)
Change Path_Name_Of to Mapped_Path_Name
Change File_Name_Of to Mapped_File_Name
Fix copyright dates in header
-
+
* fname-uf.adb: Minor reformatting. New names of stuff in Fmap.
Add use clause for Fmap.
-
+
* make.adb: Minor reformatting
-
+
* osint.adb: Minor reformatting. Change of names in Fmap.
Add use clause for Fmap.
-
+
* prj-env.adb: Minor reformatting
-
+
* prj-env.ads: Minor reformatting
-
+
* switch.adb: Minor reformatting. Do proper raise of Bad_Switch if
error found (there were odd exceptions to this general rule in
-gnatec/-gnatem processing)
-
+
2001-12-19 Olivier Hainque <hainque@gnat.com>
* raise.c (__gnat_eh_personality): Exception handling personality
and still containing a bunch of debugging artifacts.
(parse_lsda_header, get_ttype_entry): Local (static) helpers, also
inspired from the C++ library.
-
+
* raise.c (eh_personality): Add comments. Part of work for the GCC 3
exception handling integration.
-
+
2001-12-19 Arnaud Charlet <charlet@gnat.com>
* Makefile.in: Remove use of 5smastop.adb which is obsolete.
(RAVEN_SOURCES): Remove files that are no longer required. Add
interrupt handling files.
(RAVEN_MOD): Removed, no longer needed.
-
+
2001-12-19 Robert Dewar <dewar@gnat.com>
* a-ngelfu.adb: Remove ??? comment for inappropriate Inline_Always
Add 2001 to copyright date
-
+
* g-regpat.adb: Change pragma Inline_Always to Inline. There is no
need to force universal inlining for these cases.
-
+
2001-12-19 Arnaud Charlet <charlet@gnat.com>
* s-taprob.adb: Minor clean ups so that this unit can be used in
Ravenscar HI.
-
+
* exp_ch7.adb: Allow use of secondary stack in HI mode.
Disallow it when pragma Restrictions (No_Secondary_Stack) is specified.
-
+
2001-12-19 Vincent Celier <celier@gnat.com>
* prj-tree.ads (Project_Node_Record): Add comments for components
Pkg_Id and Case_Insensitive.
-
+
2001-12-19 Pascal Obry <obry@gnat.com>
* g-socket.adb: Minor reformatting. Found while reading code.
-
+
2001-12-19 Robert Dewar <dewar@gnat.com>
* prj-tree.ads: Minor reformatting
* trans.c (tree_transform, case of arithmetic operators): If result
type is private, the gnu_type is the base type of the full view,
given that the full view itself may be a subtype.
-
+
2001-12-17 Robert Dewar <dewar@gnat.com>
* sem_res.adb: Minor reformatting
-
+
* trans.c (tree_transform, case N_Real_Literal): Add missing third
parameter in call to Machine (unknown horrible effects from this
omission).
-
+
* urealp.h: Add definition of Round_Even for call to Machine
Add third parameter for Machine
-
+
2001-12-17 Ed Schonberg <schonber@gnat.com>
* sem_warn.adb (Check_One_Unit): Suppress warnings completely on
predefined units in No_Run_Time mode.
-
+
2001-12-17 Richard Kenner <kenner@gnat.com>
* misc.c (insn-codes.h): Now include.
-
+
2001-12-17 Olivier Hainque <hainque@gnat.com>
* a-except.adb: Preparation work for future integration of the GCC 3
e.g. for the Ada personality routine when the GCC 3 mechanism is used.
(Propagate_Exception, Raise_Current_Excep, Raise_From_Signal_Handler):
Use the new notification routines.
-
+
2001-12-17 Emmanuel Briot <briot@gnat.com>
* prj-tree.ads (First_Choice_Of): Document the when others case
-
+
2001-12-17 Arnaud Charlet <charlet@gnat.com>
* bindgen.adb (Gen_Ada_Init_*): Set priority of environment task in
HI-E mode, in order to support Ravenscar profile properly.
-
+
* cstand.adb (Create_Standard): Duration is a 32 bit type in HI-E
mode on 32 bits targets.
-
+
2001-12-17 Vincent Celier <celier@gnat.com>
* fmap.adb: Initial version.
-
+
* fmap.ads: Initial version.
-
+
* fname-uf.adb (Get_File_Name): Use mapping if unit name mapped.
If search is successfully done, add to mapping.
-
+
* frontend.adb: Initialize the mapping if a -gnatem switch was used.
-
+
* make.adb:
(Gnatmake): Add new local variable Mapping_File_Name.
Create mapping file when using project file(s).
Delete mapping file before exiting.
-
+
* opt.ads (Mapping_File_Name): New variable
-
+
* osint.adb (Find_File): Use path name found in mapping, if any.
-
+
* prj-env.adb (Create_Mapping_File): New procedure
-
+
* prj-env.ads (Create_Mapping_File): New procedure.
-
+
* switch.adb (Scan_Front_End_Switches): Add processing for -gnatem
(Mapping_File)
-
+
* usage.adb: Add entry for new switch -gnatem.
-
+
* Makefile.in: Add dependencies for fmap.o.
-
+
2001-12-17 Ed Schonberg <schonber@gnat.com>
* sem_ch10.adb (Analyze_With_Clause): Retrieve proper entity when unit
is a package instantiation rewritten as a package body.
(Install_Withed_Unit): Undo previous change, now redundant.
-
+
2001-12-17 Gary Dismukes <dismukes@gnat.com>
* layout.adb:
Above changes fix problem with length computation for supernull arrays
where Max (Len, 0) wasn't getting applied due to the Unsigned
conversion used by Compute_Length.
-
+
2001-12-17 Arnaud Charlet <charlet@gnat.com>
* rtsfind.ads:
(OK_To_Use_In_Ravenscar_Mode): New table needed to implement Ravenscar
in HI-E mode.
Remove unused entity RE_Exception_Data.
-
+
* rtsfind.adb (RTE): Allow Ravenscar Profile in HI mode.
-
+
* rident.ads (No_Secondary_Stack): New restriction.
2001-12-17 Joel Brobecker <brobecke@gnat.com>
* gnat_rm.texi: Fix minor typos. Found while reading the section
regarding "Bit_Order Clauses" that was sent to a customer.
Very interesting documentation!
-
+
2001-12-17 Robert Dewar <dewar@gnat.com>
* sem_case.adb (Choice_Image): Avoid creating improper character
literal names by using the routine Set_Character_Literal_Name. This
fixes bombs in certain error message cases.
-
+
2001-12-17 Arnaud Charlet <charlet@gnat.com>
* a-reatim.adb: Minor reformatting.
-
+
2001-12-17 Ed Schonberg <schonber@gnat.com>
* sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly the
case where the formal is an extension of another formal in the current
unit or in a parent generic unit.
-
+
2001-12-17 Arnaud Charlet <charlet@gnat.com>
* s-tposen.adb: Update comments. Minor reformatting.
Minor code clean up.
-
+
* s-tarest.adb: Update comments. Minor code reorganization.
-
+
2001-12-17 Gary Dismukes <dismukes@gnat.com>
* exp_attr.adb (Attribute_Tag): Suppress expansion of <type_name>'Tag
when Java_VM.
-
+
2001-12-17 Robert Dewar <dewar@gnat.com>
* exp_attr.adb: Minor reformatting
-
+
2001-12-17 Ed Schonberg <schonber@gnat.com>
* sem_ch3.adb (Build_Derived_Private_Type): Refine check to handle
derivations nested within a child unit: verify that the parent
type is declared in an outer scope.
-
+
2001-12-17 Robert Dewar <dewar@gnat.com>
* sem_ch12.adb: Minor reformatting
-
+
2001-12-17 Ed Schonberg <schonber@gnat.com>
* sem_warn.adb (Check_One_Unit): In No_Run_Time mode, do not post
warning if current unit is a predefined one, from which bodies may
have been deleted.
-
+
2001-12-17 Robert Dewar <dewar@gnat.com>
* eval_fat.ads: Add comment that Round_Even is referenced in Ada code
Fix header format. Add 2001 to copyright date.
-
+
* exp_dbug.adb (Get_Encoded_Name): Fix out of bounds reference,
which caused CE during compilation if checks were enabled.
path with directory information, and prepend executable, if not
specified as an absolute path, with the exec directory. Make sure
that only one -o switch is transmitted to the linker.
-
+
* prj-attr.adb (Initialization_Data): Add project attribute Exec_Dir
-
+
* prj-nmsc.adb:
(Ada_Check): Get Spec_Suffix_Loc and Impl_Suffix_Loc,
when using a non standard naming scheme.
do not raise exceptions.
(Is_Illegal_Append): Return True if there is no dot in the suffix.
(Language_Independent_Check): Check the exec directory.
-
+
* prj.adb (Project_Empty): Add new component Exec_Directory
-
+
* prj.ads:
(Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Add defaults.
(Project_Data): Add component Exec_Directory
-
+
* snames.adb: Updated to match snames.ads revision 1.215
-
+
* snames.ads: Added Exec_Dir
-
+
2001-12-17 Robert Dewar <dewar@gnat.com>
* make.adb: Minor reformatting
-
+
* prj-nmsc.adb: Minor reformatting
-
+
* snames.adb: Updated to match snames.ads
-
+
* snames.ads: Alphebetize entries for project file
2001-12-17 Ed Schonberg <schonber@gnat.com>
* trans.c (process_freeze_entity): Do nothing if the entity is a
subprogram that was already elaborated.
-
+
2001-12-17 Richard Kenner <kenner@gnat.com>
-
+
* decl.c (gnat_to_gnu_entity, object): Do not back-annotate Alignment
and Esize if object is referenced via pointer.
* sem_ch3.adb (Analyze_Variant_Part): check that type of discriminant
is discrete before analyzing choices.
-
+
2001-12-17 Joel Brobecker <brobecke@gnat.com>
* bindgen.adb (Gen_Output_File_Ada): Generate a new C-like string
containing the name of the Ada Main Program. This string is mainly
intended for the debugger.
(Gen_Output_File_C): Do the equivalent change when generating a C file.
-
+
2001-12-17 Robert Dewar <dewar@gnat.com>
* ali.adb: Set new Dummy_Entry field in dependency entry
-
+
* ali.ads: Add Dummy_Entry field to source dependency table
-
+
* bcheck.adb (Check_Consistency): Ignore dummy D lines
-
+
* lib-writ.adb (Writ_ALI): Write dummy D lines for missing source files
-
+
* lib-writ.ads: Document dummy D lines for missing files.
-
+
* types.ads: (Dummy_Time_Stamp): New value for non-existant files
2001-12-17 Robert Dewar <dewar@gnat.com>
* ali.adb: Type reference does not reset current file.
-
+
* ali.adb: Recognize and scan renaming reference
-
+
* ali.ads: Add spec for storing renaming references.
-
+
* lib-xref.ads: Add documentation for handling of renaming references
-
+
* lib-xref.adb: Implement output of renaming reference.
-
+
* checks.adb:
(Determine_Range): Document local variables
(Determine_Range): Make sure Hbound is initialized. It looks as though
there could be a real problem here with an uninitialized reference
to Hbound, but no actual example of failure has been found.
-
+
2001-12-17 Laurent Pautet <pautet@gnat.com>
* g-socket.ads:
* frontend.adb: Move call to Check_Unused_Withs from Frontend, so
that it happens before modification of Sloc values for -gnatD.
-
+
* gnat1drv.adb: Move call to Check_Unused_Withs to Frontend,
so that it happens before modification of Sloc values for -gnatD.
-
+
* switch.adb: Minor reformatting
2001-12-15 Richard Henderson <rth@redhat.com>
* osint.adb(Create_Debug_File): When an object file is specified,
put the .dg file in the same directory as the object file.
-
+
2001-12-14 Robert Dewar <dewar@gnat.com>
* osint.adb: Minor reformatting
-
+
* lib-xref.adb (Output_Instantiation): New procedure to generate
instantiation references.
-
+
* lib-xref.ads: Add documentation of handling of generic references.
-
+
* ali.adb (Read_Instantiation_Ref): New procedure to read
instantiation references
-
+
* ali.ads: Add spec for storing instantiation references
-
+
* bindusg.adb: Minor reformatting
-
+
* switch.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
-
+
* usage.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
-
+
* gnatcmd.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
-
+
* csets.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
-
+
* csets.ads:
Fix header format
Add 2001 to copyright date
Add entry for Latin-5 (Cyrillic ISO-8859-5)
-
+
2001-12-14 Matt Gingell <gingell@gnat.com>
* adaint.c: mktemp is a macro on Lynx and can not be used as an
expression.
-
+
2001-12-14 Richard Kenner <kenner@gnat.com>
* misc.c (gnat_expand_constant): Do not strip UNCHECKED_CONVERT_EXPR
if operand is CONSTRUCTOR.
-
+
2001-12-14 Ed Schonberg <schonber@gnat.com>
* trans.c (tree_transform, case N_Assignment_Statement): Set lineno
is correct.
2001-12-14 Richard Kenner <kenner@gnat.com>
-
+
* utils.c (create_var_decl): Throw away initializing expression
if just annotating types and non-constant.
-
+
2001-12-14 Vincent Celier <celier@gnat.com>
* prj-nmsc.adb: (Ada_Check): Migrate drom Ada_Default_... to
Default_Ada_...
-
+
* prj.adb: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
Remove functions.
(Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move to spec.
-
+
* prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
Remove functions.
(Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move from body.
* sem_ch12.adb (Save_Entity_Descendant): Use syntactic field names
on known node types, rather than untyped fields. Further cleanups.
-
+
2001-12-12 Robert Dewar <dewar@gnat.com>
* sem_ch12.adb:
eliminate need for Associated_Node in attribute ref nodes.
(Associated_Node): Documentation explicitly mentions attribute
reference nodes, since this field is used in such nodes.
-
+
* sem_ch12.adb (Associated_Node): Minor documentation cleanup.
2001-12-12 Robert Dewar <dewar@gnat.com>
* s-stalib.adb: Add more comments on with statements being needed
-
+
* par-ch12.adb: Minor reformatting
-
+
* prj-dect.ads: Fix copyright header
-
+
* s-arit64.adb (Multiply_With_Ovflo_Check): Fix case where both
inputs fit in 32 bits, but the result still overflows.
-
+
* s-fatgen.ads: Minor comment improvement
-
+
2001-12-12 Ed Schonberg <schonber@gnat.com>
* sem_ch4.adb (Analyze_Selected_Component): If the prefix is of a
formal derived type, look for an inherited component from the full
view of the parent, if any.
-
+
2001-12-12 Robert Dewar <dewar@gnat.com>
* checks.ads (Apply_Alignment_Check): New procedure.
-
+
* exp_ch13.adb (Expand_N_Freeze_Entity): Generate dynamic check to
ensure that the alignment of objects with address clauses is
appropriate, and raise PE if not.
* exp_util.ads (Must_Be_Aligned): Removed, replaced by
Exp_Pakd.Known_Aligned_Enough
-
+
* mdllfile.ads: Minor reformatting
* mlib-fil.ads: Minor reformatting
-
+
2001-12-12 Ed Schonberg <schonber@gnat.com>
* exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Extend previous
fix to any component reference if enclosing record has non-standard
representation.
-
+
2001-12-12 Vincent Celier <celier@gnat.com>
* g-dirope.ads (Find, Wildcard_Iterator): Moved to child package
Iteration
-
+
2001-12-12 Ed Schonberg <schonber@gnat.com>
* freeze.ads: Make Freeze_Fixed_Point_Type visible, for use in
sem_attr.
-
+
2001-12-12 Robert Dewar <dewar@gnat.com>
* impunit.adb: Add entry for GNAT.Directory_Operations.Iteration
-
+
2001-12-12 Emmanuel Briot <briot@gnat.com>
* g-regexp.adb: Remove all debug code, since it isn't required anymore,
and it adds dependencies to system.io.
-
+
2001-12-12 Pascal Obry <obry@gnat.com>
* g-dirope.adb (Expand_Path.Var): Correctly detect end of
2001-12-11 Vincent Celier <celier@gnat.com>
* gnatmain.adb: Initial version.
-
+
* gnatmain.ads: Initial version.
-
+
* prj-attr.adb (Initialisation_Data): Add package Gnatstub.
-
+
* snames.adb: Updated to match snames.ads.
-
+
* snames.ads: Added Gnatstub.
-
+
2001-12-11 Vincent Celier <celier@gnat.com>
* prj-attr.adb (Initialization_Data): Change name from
Initialisation_Data.
-
+
2001-12-11 Emmanuel Briot <briot@gnat.com>
* g-regpat.adb (Parse_Literal): Properly handle simple operators ?,
+ and * applied to backslashed expressions like \r.
-
+
2001-12-11 Vasiliy Fofanov <fofanov@gnat.com>
* g-os_lib.ads: String_List type added, Argument_List type is now
subtype of String_List.
-
+
2001-12-11 Robert Dewar <dewar@gnat.com>
* g-os_lib.ads: Change copyright to FSF
Add comments for String_List type
-
+
2001-12-11 Vincent Celier <celier@gnat.com>
* g-dirope.adb (Expand_Path): Fix bug. (wrong length when adding a
* freeze.adb: Make Freeze_Fixed_Point_Type visible, for use in
sem_attr.
-
+
* sem_attr.adb: Simplify previous fix for Address.
(Set_Bounds): If prefix is a non-frozen fixed-point type, freeze now,
to avoid anomalies where the bound of the type appears to raise
* lib-xref.adb (Output_Refs): Make sure pointers are always properly
handled.
-
+
2001-12-11 Ed Schonberg <schonber@gnat.com>
* sem_ch12.adb (Analyze_Subprogram_Instantiation): Check for a
renamed unit before checking for recursive instantiations.
-
+
2001-12-11 Emmanuel Briot <briot@gnat.com>
* prj.ads: Add comments for some of the fields.
* lib-xref.adb (Output_Refs): Don't output type references outside
the main unit if they are not otherwise referenced.
-
+
2001-12-11 Ed Schonberg <schonber@gnat.com>
* sem_attr.adb (Analyze_attribute, case Address and Size): Simplify
code and diagnose additional illegal uses
-
+
* sem_util.adb (Is_Object_Reference): An indexed component is an
object only if the prefix is.
-
+
2001-12-11 Vincent Celier <celier@gnat.com>
* g-diopit.adb: Initial version.
-
+
* g-diopit.ads: Initial version.
-
+
* g-dirope.adb:
(Expand_Path): Avoid use of Unbounded_String
(Find, Wildcard_Iterator): Moved to child package Iteration
-
+
* Makefile.in: Added g-diopit.o to GNATRTL_NONTASKING_OBJS
-
+
2001-12-11 Robert Dewar <dewar@gnat.com>
* sem_attr.adb: Minor reformatting
2001-12-11 Ed Schonberg <schonber@gnat.com>
* sem_ch3.adb: Clarify some ???.
-
+
2001-12-11 Robert Dewar <dewar@gnat.com>
* exp_util.adb (Must_Be_Aligned): Removed, replaced by
Exp_Pakd.Known_Aligned_Enough
-
+
* sem_ch13.adb (Check_Address_Alignment): Removed, extended
version is moved to Exp_Ch13.
2001-12-11 Robert Dewar <dewar@gnat.com>
* einfo.ads: Minor reformatting
-
+
* exp_ch5.adb: Add comment for previous.change
-
+
* ali.adb: New interface for extended typeref stuff.
-
+
* ali.ads: New interface for typeref stuff.
-
+
* checks.adb (Apply_Alignment_Check): New procedure.
-
+
* debug.adb: Add -gnatdM for modified ALI output
-
+
* exp_pakd.adb (Known_Aligned_Enough): Replaces Known_Aligned_Enough.
-
+
* lib-xref.adb: Extend generation of <..> notation to cover
subtype/object types. Note that this is a complete rewrite,
getting rid of the very nasty quadratic algorithm previously
used for derived type output.
-
+
* lib-xref.ads: Extend description of <..> notation to cover
subtype/object types. Uses {..} for these other cases.
Also use (..) for pointer types.
-
+
* sem_util.adb (Check_Potentially_Blocking_Operation): Slight cleanup.
-
+
* exp_pakd.adb: Minor reformatting. Note that prevous RH should say:
(Known_Aligned_Enough): Replaces Must_Be_Aligned.
Changed /COMPILE_ONLY to /ACTIONS=COMPILE
Changed /BIND_ONLY to /ACTIONS=BIND
Changed /LINK_ONLY to /ACTIONS=LINK
-
+
2001-12-11 Ed Schonberg <schonber@gnat.com>
* sem_ch8.adb (Find_Selected_Component): improved search for a
candidate package in case of error.
-
+
* sem_ch12.adb (Inline_Instance_Body): place head of use_clause
chain back on scope stack before reinstalling use clauses.
-
+
* exp_ch5.adb (Expand_N_If_Statement): if Constant_Condition_Warnings
is enabled, do not kill the code for the condition, to preserve
warning.
of conversion, not to result of conversion.
2001-12-11 Ed Schonberg <schonber@gnat.com>
-
+
* sem_ch3.adb (Build_Derived_Record_Type): set Controlled flag
before freezing parent. If the declarations are mutually recursive,
an access to the current record type may be frozen before the
* gnatcmd.adb: (MAKE): Add new translations: -b /BIND_ONLY,
-c /COMPILE_ONLY, -l /LINK_ONLY
-
+
* opt.ads:
(Bind_Only): New Flag
(Link_Only): New flag
-
+
* switch.adb (Scan_Make_Switches): Add processing for -b (Bind_Only)
and -l (Link_Only)
-
+
* makeusg.adb: Add new switches -b and -l. Update Copyright notice.
-
+
* make.adb:
(Do_Compile_Step, Do_Bind_Step, Do_Link_Step): New flags.
(Gnatmake): Set the step flags. Only perform a step if the
* sem_eval.adb (Eval_Concatenation): If left operand is a null string,
get bounds from right operand.
-
+
* sem_eval.adb: Minor reformatting
-
+
* exp_util.adb (Make_Literal_Range): use bound of literal rather
than Index'First, its lower bound may be different from 1.
-
+
* exp_util.adb: Undo earlier change, fixes ACVC regressions C48009B
and C48009J
-
+
2001-12-05 Vincent Celier <celier@gnat.com>
* prj-nmsc.adb Minor reformatting
-
+
* prj-nmsc.adb (Language_Independent_Check): Reset Library flag if
set and libraries are not supported.
-
+
2001-12-05 Ed Schonberg <schonber@gnat.com>
* sem_ch3.adb (Build_Derived_Private_Type): set Public status of
unit, always replace instance node with new body, for ASIS use.
2001-12-05 Vincent Celier <celier@gnat.com>
-
+
* prj-nmsc.adb (Language_Independent_Check): Issue a warning if
libraries are not supported and both attributes Library_Name and
Library_Dir are specified.
-
+
* prj-proc.adb (Expression): Set location of Result to location of
first term.
-
+
* Makefile.in: Add mlib.o, mlib-fil.o, mlib-tgt and mlib-utl to GNATLS.
(prj-nmsc is now importing MLib.Tgt)
-
+
* prj-proc.adb: Put the change indicated above that was forgotten.
2001-12-05 Robert Dewar <dewar@gnat.com>
* sem_ch3.adb (Build_Derived_Concurrent_Type): If derivation imposes a
constraint, introduce explicit subtype declaration and derive from it.
-
+
* sem_ch3.adb: Minor reformatting
2001-12-05 Robert Dewar <dewar@gnat.com>
* checks.adb (Determine_Range): Increase cache size for checks.
Minor reformatting
-
+
* exp_ch6.adb: Minor reformatting
(Expand_N_Subprogram_Body): Reset Is_Pure for any subprogram that has
a parameter whose root type is System.Address, since treating such
subprograms as pure in the code generator is almost surely a mistake
that will lead to unexpected results.
-
+
* exp_util.adb (Remove_Side_Effects): Clean up old ??? comment and
change handling of conversions.
-
+
* g-regexp.adb: Use System.IO instead of Ada.Text_IO.
2001-12-05 Ed Schonberg <schonber@gnat.com>
* prj-dect.ads: Add ??? comment
Add 2001 to copyright notice (was not done in after all)
-
+
* prj-part.adb: Minor reformatting. Reword one awkward error message.
-
+
* prj.ads: Minor reformatting throughout, and add some ??? comments
-
+
* snames.ads: Minor reformatting
2001-12-05 Geert Bosch <bosch@gnat.com>
2001-12-05 Vincent Celier <celier@gnat.com>
* prj-dect.adb (Parse): Rename parameter Modifying to Extends.
-
+
* prj-dect.ads (Parse): Rename parameter Modifying to Extends.
-
+
* prj-env.adb: Minor comment changes (modifying -> extends).
-
+
* prj-nmsc.adb: Minor comment changes (modifying -> extends).
-
+
* prj-part.adb (Parse_Single_Project): Change Tok_Modifying to
Tok_Extends.
-
+
* prj.adb (Initialize): Change Modifying to Extends.
-
+
* scans.ads (Token_Type): Change Tok_Modifying to Tok_Extends.
-
+
* prj.ads: Minor comment change (Modifying -> extending).
-
+
* snames.ads: Change modifying to extends.
2001-12-05 Robert Dewar <dewar@gnat.com>
* sem_warn.adb: Remove stuff for conditionals, we are not going to
do this after all.
-
+
* sem_warn.ads: Remove stuff for conditionals, we are not going to
do this after all. Add 2001 to copyright notice
* errout.adb (Error_Msg): Ignore attempt to put error msg at junk
location if we already have errors. Stops some cases of cascaded
errors.
-
+
* errout.adb: Improve comment.
2001-12-04 Robert Dewar <dewar@gnat.com>
* sem_ch12.adb:
(Analyze_Formal_Type_Definition): Defend against Error.
(Analyze_Formal_Subprogram): Defend against Error.
-
+
* par-ch12.adb (F_Formal_Type_Declaration): In case of error,
remove following semicolon if present. Removes cascaded error.
* einfo.ads: Block_Node points to the identifier of the block, not to
the block node itself, to preserve the link when the block is
rewritten, e.g. within an if-statement with a static condition.
-
+
* inline.adb (Cleanup_Scopes): recover block statement from block
entity using new meaning of Block_Node.
-
+
* sem_ch5.adb (Analyze_Block_Statement): set Block_Node to point to
identifier of block node, rather than to node itself.
2001-12-04 Gary Dismukes <dismukes@gnat.com>
-
+
* layout.adb:
(Get_Max_Size): Fix "start of processing" comment to say Get_Max_Size.
(Discrimify): Go back to setting the Etypes of the selected component
* sem_ch3.adb (Find_Type_Of_Subtype_Indic): If subtype indication
is malformed, use instance of Any_Id to allow analysis to proceed.
-
+
* par-ch12.adb (P_Formal_Type_Declaration): Propagate Error if
type definition is illegal.
(P_Formal_Derived_Type_Definition): Better recovery when TAGGED is
2001-12-04 Robert Dewar <dewar@gnat.com>
* exp_util.adb: Minor reformatting from last change
-
+
* errout.adb (Check_For_Warning): For a Raised_Constraint_Error node
which is a rewriting of an expression, traverse the original
expression to remove warnings that may have been posted on it.
* einfo.adb (Has_Pragma_Pure_Function): New flag.
Fix problem that stopped ceinfo from working
-
+
* einfo.ads (Has_Pragma_Pure_Function): New flag.
-
+
* sem_prag.adb (Pure_Function): Set new flag Has_Pragma_Pure_Function.
2001-12-04 Douglas B. Rupp <rupp@gnat.com>
(Preserve_Mode): New boolean.
(Write_Unit): Pass time stamp.
Implement -p switch (preserve time stamps).
-
+
* gnatcmd.adb (CHOP): Add translation for -p (/PRESERVE).
-
+
* gnatchop.adb: Do usage info for -p switch
-
+
* adaint.h (__gnat_set_file_time_name): New function
-
+
* adaint.c (__gnat_set_file_time_name): Implement
-
+
* adaint.h: Fix typo
2001-12-03 Robert Dewar <dewar@gnat.com>
OSDN Git Service
