| 2001-12-23 Richard Henderson <rth@redhat.com> |
| |
| * utils.c (end_subprog_body): Push GC context around |
| rest_of_compilation for nested functions. |
| |
| 2001-12-23 Richard Henderson <rth@redhat.com> |
| |
| * 5nosinte.ads: Get definition of "int" from Interfaces.C. |
| |
| 2001-12-23 Florian Weimer <fw@deneb.enyo.de> |
| |
| * 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 |
| full stop at the end of a sentence. Use @samp markup when |
| referring concrete lexical entities (keywords, attribute names |
| etc.), and @syntax for ARM grammar elements. Use @r for English |
| text in comments. Use @emph for emphasis. Change "if-statements" |
| etc. to "if statements" (without @samp). Break long lines. Make |
| casing of section names consistent. |
| (Identifiers): Use @samp markup for variable names. |
| (Comments): Use @samp markup for comment characters. Line-end |
| comments may follow any Ada code, not just statements. Fix |
| misspelling of "Integer" as "integer". |
| (Loop statements): Do not use variable name "I", use "J". |
| (Subprogram Declarations): Document alignment. |
| (Subprogram Bodies, Block statements): Document empty line before |
| "begin". |
| |
| 2001-12-22 Florian Weimer <fw@deneb.enyo.de> |
| |
| * make.adb (Add_Switch): Make Generic_Position a procedure. The |
| function approach did not work well because of a side effect (the |
| function call could reallocate the table which was being indexed |
| using its result). Fixes ada/4851. |
| |
| 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 |
| routine for Ada. Still in rough state, inspired from the C++ version |
| 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. |
| (HIE_SOURCES): Add s-secsta.ad{s,b}. |
| (HIE_OBJS): Add s-fat*.o |
| (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 |
| |
| 2001-12-20 Joseph S. Myers <jsm28@cam.ac.uk> |
| |
| * config-lang.in (diff_excludes): Remove. |
| |
| 2001-12-17 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_res.adb (Resolve_Selected_Component): do not generate a |
| discriminant check if the selected component is a component of |
| the argument of an initialization procedure. |
| |
| * 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 |
| exception handling mechanism |
| (Notify_Handled_Exception, Notify_Unhandled_Exception): New routines |
| to factorize previous code sequences and make them externally callable, |
| 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 Dismuke <dismukes@gnat.com> |
| |
| * layout.adb: |
| (Compute_Length): Move conversion to Unsigned to callers. |
| (Get_Max_Size): Convert Len expression to Unsigned after calls to |
| Compute_Length and Determine_Range. |
| (Layout_Array_Type): Convert Len expression to Unsigned after calls to |
| Compute_Length and Determine_Range. |
| 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_No_Run_Time_Mode): Allow Ada.Exceptions and |
| System.Secondary_Stack. |
| (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 Dewa <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. |
| |
| 2001-12-17 Vincent Celier <celier@gnat.com> |
| |
| * make.adb: |
| (Switches_Of): New function |
| (Test_If_Relative_Path): New procedure |
| (Add_Switches): Use new function Switches_Of |
| (Collect_Arguments_And_Compile): Use new function Switches_Of. |
| When using a project file, test if there are any relative |
| search path. Fail if there are any. |
| (Gnatmake): Only add switches for the primary directory when not using |
| a project file. When using a project file, change directory to the |
| object directory of the main project file. When using a project file, |
| test if there are any relative search path. Fail if there are any. |
| When using a project file, fail if specified executable is relative |
| 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. |
| (Check_Ada_Naming_Scheme): Make sure that error messages |
| 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. |
| |
| 2001-12-17 Ed Schonberg <schonber@gnat.com> |
| |
| * 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: |
| Fix comment of Shutdown_Socket and Close_Socket. These functions |
| should not fail silently because if they are called twice, this |
| probably means that there is a race condition in the user program. |
| Anyway, this behaviour is consistent with the rest of this unit. |
| When an error occurs, an exception is raised with the error message |
| as exception message. |
| |
| 2001-12-17 Robert Dewar <dewar@gnat.com> |
| |
| * 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> |
| |
| * sem_ch7.adb: Wrap comment. |
| |
| 2001-12-16 Joseph S. Myers <jsm28@cam.ac.uk> |
| |
| * 5ataprop.adb, 5atpopsp.adb, 5ftaprop.adb, 5gmastop.adb, |
| 5gtaprop.adb, 5htaprop.adb, 5itaprop.adb, 5lintman.adb, |
| 5omastop.adb, 5oosinte.adb, 5otaprop.adb, 5staprop.adb, |
| 5vinterr.adb, 5vtaprop.adb, 5vtpopde.adb, 5wintman.adb, |
| 5wtaprop.adb, 5zinterr.adb, 5ztaprop.adb, 6vcstrea.adb, |
| 7sintman.adb, 7staprop.adb, 9drpc.adb, ChangeLog, Makefile.in, |
| a-except.adb, a-tags.ads, a-tasatt.adb, a-teioed.adb, |
| a-textio.ads, a-witeio.ads, a-wtedit.adb, ali.ads, comperr.adb, |
| cstand.adb, einfo.ads, errout.adb, exp_ch11.adb, exp_ch2.adb, |
| exp_ch3.adb, exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch9.adb, |
| exp_util.adb, exp_util.ads, fname-uf.adb, g-cgi.ads, g-exctra.ads, |
| g-expect.ads, g-regist.adb, g-spipat.adb, gnatchop.adb, |
| gnatlink.adb, gnatls.adb, gnatmain.adb, gnatmem.adb, init.c, |
| make.adb, make.ads, mdlltool.adb, nlists.ads, osint.ads, |
| par-ch3.adb, par-ch4.adb, par-ch5.adb, par-ch6.adb, par.adb, |
| repinfo.adb, s-fatflt.ads, s-fatlfl.ads, s-fatllf.ads, |
| s-fatsfl.ads, s-finimp.adb, s-finimp.ads, s-interr.adb, |
| s-secsta.ads, s-shasto.ads, s-stalib.adb, s-stalib.ads, |
| s-tarest.ads, s-tasdeb.adb, s-tassta.adb, s-tassta.ads, |
| s-vaflop.ads, scans.ads, scn.adb, sem.ads, sem_aggr.adb, |
| sem_attr.adb, sem_case.ads, sem_ch10.adb, sem_ch12.adb, |
| sem_ch13.adb, sem_ch3.adb, sem_ch3.ads, sem_ch5.adb, sem_ch7.adb, |
| sem_ch8.adb, sem_ch8.ads, sem_type.adb, sem_util.ads, sinfo.ads, |
| sprint.adb, tbuild.ads, types.ads, utils.c, xeinfo.adb: Fix |
| spelling errors. |
| |
| 2001-12-14 Vincent Celier <celier@gnat.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 |
| before emiting check on right-hand side, so that exception information |
| 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. |
| |
| 2001-12-16 Joseph S. Myers <jsm28@cam.ac.uk> |
| |
| * ChangeLog: Remove piece of diff output. |
| |
| 2001-12-14 Geert Bosch <bosch@gnat.com> |
| |
| * config-lang.in: Update copyright notice |
| |
| * layout.adb: Remove commented out code. |
| |
| * mdllfile.ads: Update copyright notice. Fix header format. |
| |
| * sem_case.ads: Likewise. |
| |
| * sem_ch3.adb: Minor reformatting. |
| |
| 2001-12-12 Geert Bosch <bosch@gnat.com> |
| |
| * freeze.ads: Update copyright date. |
| |
| * g-comlin.ads: Minor reformatting. |
| |
| * gnat-style.texi: Fix typo. |
| |
| 2001-12-12 Geert Bosch <bosch@gnat.com> |
| |
| * einfo.h: Regenerate. |
| |
| 2001-12-12 Ed Schonberg <schonber@gnat.com> |
| |
| * 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: |
| (Save_Entity_Descendant): Minor comment update. |
| (Copy_Generic_Node): Deal with incorrect reference to Associated_Node |
| of an N_Attribute_Reference node. As per note below, this does not |
| 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 |
| variable name. |
| |
| 2001-12-11 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_ch10.adb (Install_Withed_Unit): If the unit is a generic instance |
| that is the parent of other generics, the instance body replaces the |
| instance node. Retrieve the instance of the spec, which is the one |
| that is visible in clients and within the body. |
| |
| 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 |
| string to the buffer). |
| |
| 2001-12-11 Ed Schonberg <schonber@gnat.com> |
| |
| * 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 |
| constraint error. |
| |
| 2001-12-11 Robert Dewar <dewar@gnat.com> |
| |
| * lib-xref.adb (Output_Refs): Make sure pointers are always properly |
| handled. |
| |
| 2001-12-11 Ed Schonber <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. |
| |
| 2001-12-11 Robert Dewar <dewar@gnat.com> |
| |
| * 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. |
| |
| 2001-12-11 Vincent Celier <celier@gnat.com> |
| |
| * gnatcmd.adb: |
| 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. |
| |
| 2001-12-11 Robert Dewar <dewar@gnat.com> |
| |
| * checks.adb (Insert_Valid_Check): Apply validity check to expression |
| 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 |
| derivation is complete. |
| |
| 2001-12-05 Vincent Celier <celier@gnat.com> |
| |
| * 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 |
| corresponding step flag is True. |
| (Scan_Make_Arg): Reset the bind and link step flags when -u |
| or -gnatc has been specified. |
| |
| 2001-12-05 Ed Schonberg <schonber@gnat.com> |
| |
| * 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 |
| private view explicitly, so the back-end can treat as a global |
| when appropriate. |
| |
| 2001-12-05 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_ch12.adb (Instantiate_Package_Body): if instance is a compilation |
| 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> |
| |
| * Makefile.in: Add dependencies for System.IO for GNAT.Regexp |
| |
| 2001-12-05 Ed Schonberg <schonber@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> |
| |
| * sem_ch3.adb (Analyze_Object_Declaration): If expression is an |
| aggregate with static wrong size, attach generated Raise node to |
| declaration. |
| |
| 2001-12-05 Robert Dewar <dewar@gnat.com> |
| |
| * sem_attr.adb (Analyze_Attribute): Defend against bad Val attribute. |
| Fixes compilation abandoned bomb in B24009B. |
| |
| 2001-12-05 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_ch12.adb: |
| Document use of Associated_Node on Selected_Components. |
| (Save_Global_Operand_Descendants): Change to Save_Entity_Descendants, |
| to clarify use of untyped descendant fields. |
| |
| 2001-12-05 Robert Dewar <dewar@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> |
| |
| * snames.adb: Autoupdate |
| |
| 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 |
| |
| 2001-12-04 Geert Bosch <bosch@gnat.com> |
| |
| * einfo.h, sinfo.h, treeprs.ads: Regenerate. |
| |
| 2001-12-04 Robert Dewar <dewar@gnat.com> |
| |
| * 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. |
| |
| 2001-12-04 Douglas B. Rupp <rupp@gnat.com> |
| |
| * bindgen.adb: |
| (Gen_Exception_Table_Ada): Write "begin" and then return if Num |
| exceptions equals 0. |
| (Gen_Exception_Table_C): Return if Num exceptions equals 0. |
| Fixes PIWG E tests (which have to be run with -gnatL). |
| |
| 2001-12-04 Robert Dewar <dewar@gnat.com> |
| |
| * einfo.ads: Minor reformatting |
| |
| 2001-12-04 Ed Schonberg <schonber@gnat.com> |
| |
| * 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 |
| because the Vname component does not exist at this point and will |
| fail name resolution. Also set Analyzed. |
| Remove with and use of Sem_Res. |
| |
| 2001-12-04 Arnaud Charlet <charlet@gnat.com> |
| |
| * Makefile.in: (HIE_SOURCES): add s-fat*. |
| |
| 2001-12-04 Robert Dewar <dewar@gnat.com> |
| |
| * sem_attr.adb: |
| (Compile_Time_Known_Attribute): New procedure. |
| (Eval_Attribute, case Size): Use Compile_Time_Known_Attribute to ensure |
| proper range check. |
| |
| 2001-12-04 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_ch7.adb (New_Private_Type): Set Is_Tagged_Type flag before |
| processing discriminants to diagnose illegal default values. |
| |
| 2001-12-04 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_attr.adb (Resolve_Attribute): Handle properly an non-classwide |
| access discriminant within a type extension that constrains its |
| parent discriminants. |
| |
| 2001-12-04 Ed Schonberg <schonber@gnat.com> |
| |
| * 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 |
| misplaced. |
| |
| 2001-12-04 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_warn.adb (Output_Unreferenced_Messages): Extend previous fix to |
| constants. |
| |
| 2001-12-04 Robert Dewar <dewar@gnat.com> |
| |
| * errout.adb: Minor reformatting |
| |
| 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. |
| |
| 2001-12-04 Ed Schonberg <schonber@gnat.com> |
| |
| * exp_util.adb (Must_Be_Aligned): Return false for a component of a |
| record that has other packed components. |
| |
| 2001-12-04 Douglass B. Rupp <rupp@gnat.com> |
| |
| * adaint.c: Minor cleanups. |
| |
| 2001-12-04 Douglass B. Rupp <rupp@gnat.com> |
| |
| * adaint.c: Do not use utime.h on vxworks. |
| |
| 2001-12-04 Arnaud Charlet <charlet@gnat.com> |
| |
| * Makefile.adalib: Clarify step 3 (use of gnat.adc) as it causes |
| more confusion than it solves. |
| |
| 2001-12-04 Geert bosch <bosch@gnat.com> |
| |
| * einfo.h, nmake.adb, nmake.ads, sinfo.h treeprs.ads: Regenerate. |
| |
| 2001-12-04 Geert Bosch <bosch@gnat.com> |
| |
| * Makefile.in (update-sources): New target. |
| For use by gcc_release script. |
| |
| 2001-12-04 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_prag.adb (Analyze_Pragma, case Validity_Checks): do not treat as |
| a configuration pragma, it is now legal wherever a pragma can appear. |
| |
| 2001-12-04 Zack Weinberg <zack@codesourcery.com> |
| |
| * Makefile.in: Don't set ALL. Delete @cross_defines@, |
| @cross_overrides@, @build_overrides@ stanzas. INTERNAL_CFLAGS |
| is now @CROSS@ -DIN_GCC; update comment. |
| |
| 2001-12-04 Robert Dewar <dewar@gnat.com> |
| |
| * 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> |
| |
| * gnatchop.adb: |
| (File_Time_Stamp): New procedure. |
| (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> |
| |
| * sinfo.ads: Minor reformatting. N_Freeze_Entity node does not |
| have Associated_Node. |
| |
| 2001-12-03 Robert Dewar <dewar@gnat.com> |
| |
| * prj-proc.adb: Minor reformatting |
| |
| * make.adb: Minor reformatting |
| |
| 2001-12-03 Geert Bosch <bosch@gnat.com> |
| |
| * make.adb: Minor reformatting. |
| |
| 2001-12-03 Robert Dewar <dewar@gnat.com> |
| |
| * sem_ch12.adb: Minor reformatting |
| |
| 2001-12-03 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_ch12.adb (Inline_Instance_Body): Use Save_Scope_Stack and |
| push Standard on the stack before analyzing the instance body, |
| in order to have a clean visibility environment. |
| |
| * sem_ch12.adb (Inline_Instance_Body): Remove redundant code. |
| |
| 2001-12-03 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_ch12.adb (Instantiate_Package_Body): Protect against double |
| instantiation of a body that contains an inlined body. |
| |
| 2001-12-03 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_ch12.adb: |
| (Analyze_generic_subprogram_Declaration): Set outer_generic_scope, |
| to prevent freezing within formal packages. |
| (Freeze_Subprogram_Body): If body comes from another instance that |
| appeared before its own body, place freeze node at end of current |
| declarative part, to prevent a back-end crash. |
| (Inline_Instance_Body): Handle properly a package instance within |
| a subprogram instance that is a child unit. |
| |
| 2001-12-01 Graham Stott <grahams@redhat.com> |
| |
| * Makefile.in (misc.o): Add missing $(srcdir) prefix |
| and add optabs.h dependency. |
| |
| * misc.c: Include optabs.h |
| (gnat_tree_code_type): Make static and const. |
| (gnat_tree_code_length): Likewise. |
| (gnat_tree_code_name): Likewise. |
| (update_setjmp_buf): Obtain operands mode from insn_data. |
| |
| 2001-11-29 Richard Henderson <rth@redhat.com> |
| |
| * init.c: Remove obsolete dwarf2 frame.h section. |
| |
| 2001-11-29 Joseph S. Myers <jsm28@cam.ac.uk> |
| |
| * Make-lang.in (ada.generated-manpages): New dummy target. |
| |
| 2001-11-29 Ed Schonberg <schonber@gnat.com> |
| |
| * g-os_lib.adb (Add_To_Command): use explicit loop to move string |
| into Command, an array conversion is illegal here. Uncovered by |
| ACATS B460005. |
| |
| 2001-11-28 Geert Bosch <bosch@gnat.com> |
| |
| * init.c: Minor whitespace changes. |
| |
| 2001-11-28 Doug Rupp <rupp@gnat.com> |
| |
| * init.c: (__gnat_install_handler,VMS): Increase size of alternate |
| signal stack. |
| |
| 2001-11-28 Zack Weinberg <zack@codesourcery.com> |
| |
| * misc.c (gnat_expand_constant): Move declaration above |
| definition of lang_hooks. |
| (LANG_HOOKS_EXPAND_CONSTANT): Set to gnat_expand_constant. |
| (gnat_init): lang_expand_constant no longer exists. |
| |
| (internal_error_function): Remove #ifdef HAVE_VPRINTF. We |
| always have vprintf. |
| (gnat_init): Always call set_internal_error_function. |
| |
| 2001-11-27 Andreas Jaeger <aj@suse.de> |
| |
| * Makefile.in (stamp-tool_src_dir): Use symbolic link. |
| |
| 2001-11-27 Laurent Guerby <guerby@acm.org> |
| |
| * Makefile.in: Regenerate Ada dependencies. |
| |
| 2001-11-26 Richard Henderson <rth@redhat.com> |
| |
| * Make-lang.in (gnatbind, gnatmake, gnatbl, gnatchop, gnatcmd, |
| gnatlink, gnatkr, gnatls, gnatmem, gnatprep, gnatpsta, gnatpsys, |
| gnatxref, gnatfind, gnatlbr): Depend on CONFIG_H and prefix.o. |
| |
| 2001-11-25 Laurent Guerby <guerby@acm.org> |
| |
| * sysdep.c (rts_get_*): Fix style. |
| |
| 2001-11-19 Laurent Guerby <guerby@acm.org> |
| |
| * Makefile.in (INCLUDES_FOR_SUBDIR): Remove redundant system include |
| since it is of no apparent use and cause warnings. |
| |
| 2001-11-18 Neil Booth <neil@daikokuya.demon.co.uk> |
| |
| * misc.c (gnat_decode_option, gnat_init_options): Make definitions |
| static too. |
| (gnat_init): Don't return NULL. |
| (finish_parse): Remove. |
| |
| 2001-11-17 Laurent Guerby <guerby@acm.org> |
| |
| * Make-lang.in (GNATLIBFLAGS): Add -W -Wall. |
| * gigi.h (init_decl_processing): Rename to gnat_init_decl_processing. |
| * io-aux.c: Provide K&R prototypes to all functions, reformat code. |
| * lang-spec.h: Add missing struct field to silence warnings. |
| * sysdep.c (rts_get_*): Provide K&R prototype. |
| * sysdep.c (Unlock_Task, Lock_Task): Move to K&R prototype. |
| * traceback.c (Unlock_Task, Lock_Task): Likewise. |
| * tracebak.c (__gnat_backtrace): Remove unused variable. |
| * utils.c (end_subprog_body): Move to K&R style. |
| |
| Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> |
| |
| * trans.c, utils2.c: Remove PALIGN parameter to get_inner_reference. |
| |
| 2001-11-15 Neil Booth <neil@daikokuya.demon.co.uk> |
| |
| * misc.c (gnat_init): Change prototype. Include the |
| functionality of the old init_parse and init_decl_processing. |
| (gnat_init_decl_processing): New prototype. |
| (init_parse): Remove. |
| * utils.c (init_decl_processing): Rename gnat_init_decl_processing. |
| |
| 2001-11-09 Neil Booth <neil@daikokuya.demon.co.uk> |
| |
| * misc.c (gnat_print_decl, gnat_print_type): Renamed. |
| (LANG_HOOKS_PRINT_DECL, LANG_HOOKS_PRINT_TYPE): Override. |
| (print_lang_statistics, lang_print_xnode, print_lang_identifier, |
| set_yydebug): Remove. |
| |
| 2001-11-09 Neil Booth <neil@daikokuya.demon.co.uk> |
| |
| * misc.c (LANG_HOOKS_NAME, LANG_HOOKS_IDENTIFIER_SIZE): Override. |
| (struct lang_hooks): Constify. |
| (language_string, lang_identify): Remove. |
| * utils.c (init_decl_processing): Update. |
| |
| 2001-11-06 Neil Booth <neil@cat.daikokuya.demon.co.uk> |
| |
| * misc.c: Include langhooks-def.h. |
| * Makefile.in: Update. |
| |
| 2001-10-30 Robert Dewar <dewar@gnat.com> |
| |
| * style.adb: |
| (Check_Identifier): Rewrite circuit to be compatible with use of letters |
| in the upper half of ASCII. |
| (Check_Identifier): Minor reformatting |
| |
| 2001-10-30 Geert Bosch <bosch@gnat.com> |
| |
| * (Associated_Node, Set_Associated_Node): Do not check for |
| Freeze_Entity. |
| |
| 2001-10-30 Robert Dewar <dewar@gnat.com> |
| |
| * a-reatim.ads: Minor reformatting |
| |
| 2001-10-30 Robert Dewar <dewar@gnat.com> |
| |
| * gnatdll.adb: Minor reformatting throughout. Many ??? added for |
| undocumented declarations. |
| |
| 2001-10-30 Pascal Obry <obry@gnat.com> |
| |
| * gnatdll.adb (Parse_Command_Line): handle -g option to be passed |
| to the binder and linker. |
| Minor style fix. |
| |
| * mdll.ads: Fix layout. Update copyright notice. |
| |
| * mdll.adb: Fix layout. Update copyright notice. |
| |
| 2001-10-30 Robert Dewar <dewar@gnat.com> |
| |
| * usage.adb: Minor fix to output for -gnaty. |
| |
| 2001-10-30 Ed Schonberg <schonber@gnat.com> |
| |
| * a-reatim.ads: Makes Seconds_Count into a 64-bit integer, |
| to accommodate all its possible values. |
| |
| * a-reatim.adb (Split): Special-case handling of Time_Span_First |
| and of small absolute values of T. |
| |
| 2001-10-30 Richard Kenner <kenner@gnat.com> |
| |
| * misc.c (gnat_expand_expr, case NULL_EXPR): Remove call to |
| set_mem_attributes since not needed and wrong if RESULT if a REG; |
| fixes ACATS failures. |
| |
| 2001-10-30 Geert Bosch <bosch@gnat.com> |
| |
| * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, fname-sf.ads, g-traceb.ads, |
| s-tasdeb.ads, sem_maps.ads: Add 2001 to copyright notice. |
| |
| 2001-10-30 Robert Dewar <dewar@gnat.com> |
| |
| * bindusg.adb: Undocument -f switch. |
| |
| * gnatcmd.adb: Remove /FULL_ELABORATION. |
| |
| * opt.ads (Force_RM_Elaboration_Order): Document that this is |
| obsolescent. |
| |
| * gnatbind.adb: Output new warning for use of obsolescent -f switch. |
| |
| * gnatbind.adb: Minor update of warning msg. |
| |
| 2001-10-30 Vincent Celier <celier@gnat.com> |
| |
| * gnatcmd.adb (MAKE, BIND, LINK, LIST, FIND, XREF): Add translations |
| for project file switches (-P (/PROJECT_FILE=), |
| -X (/EXTERNAL_REFERENCE=) and -vPx (/PROJECT_FILE_VERBOSITY=DEFAULT |
| or MEDIUM or HIGH) |
| |
| 2001-10-30 Geert Bosch <bosch@gnat.com> |
| |
| * decl.c: Minor whitespace fixes. |
| |
| 2001-10-30 Richard Kenner <kenner@gnat.com> |
| |
| * utils2.c (build_allocator): Test for SIZE overflow in array case too |
| |
| 2001-10-30 Geert Bosch <bosch@gnat.com> |
| |
| * ali-util.adb (Initialize_Checksum): Use out-mode instead of in out. |
| Found due to GCC 3.0 warning of using uninitialized value. |
| |
| * layout.adb: |
| (Get_Max_Size): Use variant record for tracking value/expression. |
| Makes logic clearer and prevents warnings for uninitialized variables. |
| (Layout_Array_Type): Use variant record for tracking value/expression. |
| Makes logic clearer and prevents warnings for uninitialized variables. |
| |
| 2001-10-30 Robert Dewar <dewar@gnat.com> |
| |
| * lib.adb: Minor reformatting |
| |
| * s-taprop.ads: Minor reformatting |
| |
| 2001-10-29 Laurent Guerby <guerby@acm.org> |
| |
| * init.c: |
| (Raise_From_Signal_Handler, Propagate_Signal_Exception): Make arg |
| const. |
| (_gnat_error_handler): Make MSG const. |
| |
| 2001-10-29 Richard Kenner <kenner@gnat.com> |
| |
| * sysdep.c: Fix localtime_r problem on LynxOS. |
| Also remove #elif to avoid warnings. |
| |
| * misc.c (yyparse): Don't set up and register jmpbuf; remove decls |
| used by this. |
| |
| * decl.c (annotate_value): Make SIZE unsigned to avoid warning. |
| |
| 2001-10-28 Joseph S. Myers <jsm28@cam.ac.uk> |
| |
| * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, decl.c, exp_ch6.adb, |
| exp_ch9.adb, exp_util.adb, fname-sf.ads, freeze.ads, g-awk.adb, |
| g-comlin.ads, g-dirope.adb, g-dyntab.ads, g-socket.ads, |
| g-table.ads, g-traceb.ads, gnat-style.texi, gnatchop.adb, init.c, |
| layout.adb, layout.ads, mdllfile.ads, mlib-fil.ads, osint.ads, |
| s-fatgen.adb, s-imgrea.adb, s-taprop.ads, s-tasdeb.ads, |
| sem_aggr.adb, sem_attr.adb, sem_case.ads, sem_ch13.adb, |
| sem_ch3.adb, sem_elab.adb, sem_maps.ads, sem_res.adb, |
| sem_util.ads, sinfo.ads, sinput.ads, table.adb, table.ads, |
| types.ads, urealp.adb: Fix spelling errors. |
| |
| 2001-10-27 Laurent Guerby <guerby@acm.org> |
| |
| * trans.c (gigi): Fix non determinism leading to bootstrap |
| comparison failures for debugging information. |
| |
| 2001-10-26 Florian Weimer <fw@deneb.enyo.de> |
| |
| * gnat_rm.texi: Use @./@: where appropriate. |
| |
| 2001-10-26 Robert Dewar <dewar@gnat.com> |
| |
| * sinfo.adb: Define Associated_Node to overlap Entity field. Cleanup. |
| |
| 2001-10-26 Richard Kenner <kenner@gnat.com> |
| |
| * gmem.c (__gnat_gmem_read_next): Properly check for EOF |
| |
| 2001-10-26 Richard Kenner <kenner@gnat.com> |
| |
| * decl.c (validate_size): Modify message for bad size to avoid |
| implication that compiler is modifying the size. |
| |
| 2001-10-26 Robert Dewar <dewar@gnat.com> |
| |
| * prj-util.adb: Minor reformatting. Fix bad header format. |
| |
| 2001-10-26 Robert Dewar <dewar@gnat.com> |
| |
| * sinfo.ads: Define Associated_Node to overlap Entity field. Cleanup. |
| |
| * sinfo.ads: Clarify use of Associated_Node (documentation only). |
| |
| * sem_ch12.adb: Change Node4 to Associated_Node. Change |
| Associated_Node to Get_Associated_Node. Put use of Unchecked_Access |
| much more narrowly in places where needed. These are cleanups. |
| |
| 2001-10-26 Joel Brobecker <brobecke@gnat.com> |
| |
| * 5zosinte.ads (null_pthread): new constant. |
| |
| * 5ztaprop.adb: |
| (Initialize_TCB): Initialize thread ID to null, to be able to verify |
| later that this field has been set. |
| (Finalize_TCB): ditto. |
| (Suspend_Task): Verify that the thread ID is not null before using it. |
| (Resume_Task): ditto. |
| |
| * s-tasdeb.adb: |
| (Resume_All_Tasks): Lock the tasks list before using it. |
| (Suspend_All_Tasks): ditto. |
| |
| 2001-10-26 Richard Kenner <kenner@gnat.com> |
| |
| * decl.c (gnat_to_gnu_entity, case E_General_Access_Type): |
| Make constant variant of designated type for Is_Access_Constant. |
| Call update_pointer_to with main variant. |
| |
| * trans.c (process_freeze_entity, process_type): |
| Call update_pointer_to on main variant. |
| |
| * utils.c (update_pointer_to): Make corresponding variant for NEW_TYPE. |
| If main variant, update all other variants. |
| |
| * utils2.c (build_unary_op, case INDIRECT_REF): No longer set |
| TREE_STATIC. |
| |
| 2001-10-26 Robert Dewar <dewar@gnat.com> |
| |
| * prj-util.adb: Minor reformatting |
| |
| 2001-10-26 Robert Dewar <dewar@gnat.com> |
| |
| * prj-util.adb: Minor reformatting |
| |
| 2001-10-26 Robert Dewar <dewar@gnat.com> |
| |
| * prj-attr.adb: Minor reformatting throughout |
| |
| 2001-10-26 Robert Dewar <dewar@gnat.com> |
| |
| * prj-attr.ads: Minor reformatting |
| Add ??? comment (this whole spec has almost no comments) |
| |
| 2001-10-26 Vincent Celier <celier@gnat.com> |
| |
| * g-os_lib.adb (Normalize_Pathname): Preserve the double slash |
| ("//") that precede the drive letter on Interix. |
| |
| 2001-10-26 Geert Bosch <bosch@gnat.com> |
| |
| * gnat_rm.texi: Add GNAT Reference Manual. |
| |
| 2001-10-25 Robert Dewar <dewar@gnat.com> |
| |
| * sem_ch8.adb (Analyze_Package_Renaming): Skip analysis if Name |
| is Error. Similar change for other renaming cases. |
| |
| 2001-10-25 Robert Dewar <dewar@gnat.com> |
| |
| * s-atacco.ads: Add pragma Inline_Always for functions. |
| Fix header format. Add copyright 2001 |
| |
| 2001-10-25 Ed Schonberg <schonber@gnat.com> |
| |
| * par-ch3.adb (P_Subtype_Mark_Resync): for an anonymous array |
| return Error rather than Empty so that analysis can proceed. |
| |
| 2001-10-25 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_util.adb (Enter_Name): better handling of cascaded error |
| messages when a unit appears in its own context. |
| |
| 2001-10-25 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_util.adb (Defining_Entity): in case of error, attach created |
| entity to specification, so that semantic analysis can proceed. |
| |
| 2001-10-25 Robert Dewar <dewar@gnat.com> |
| |
| * sem_util.adb |
| (Defining_Entity): Deal with Error. |
| (Process_End_Label): Deal with bad end label for. |
| |
| 2001-10-25 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_elab.adb (Check_A_Call): refine message when call is in an |
| instance but callee is not declared in the generic unit. |
| |
| 2001-10-25 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_elab.adb (Check_A_Call): check for renaming before finding the |
| enclosing unit, which may already be different from the calling unit. |
| |
| 2001-10-25 Geert Bosch <bosch@gnat.com> |
| |
| * 4gintnam.ads: fix header format. |
| |
| 2001-10-25 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_res.adb (Resolve_Call): if the call is actually an indexing |
| operation on the result of a parameterless call, perform elaboration |
| check after the node has been properly rewritten. |
| |
| * sem_ch12.adb (Copy_Generic_Node): after the proper body has been |
| inlined within the generic tree, the defining identifier is not a |
| compilation_unit. |
| |
| 2001-10-25 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_res.adb (Resolve): special-case resolution of Null in an |
| instance or an inlined body to avoid view conflicts. |
| |
| * sem_ch12.adb (Copy_Generic_Node): for allocators, check for view |
| compatibility by retrieving the access type of the generic copy. |
| |
| 2001-10-25 Robert Dewar <dewar@gnat.com> |
| |
| * sem_ch3.adb: |
| (Analyze_Number_Declaration): Handle error expression. |
| (Signed_Integer_Type_Declaration): Handle error bound. |
| (Analyze_Subtype_Indication): Handle error range. |
| |
| * sem_util.adb (Get_Index_Bounds): Check for Error. |
| |
| 2001-10-25 Robert Dewar <dewar@gnat.com> |
| |
| * restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default |
| in no run time mode. |
| |
| 2001-10-25 Pascal Obry <obry@gnat.com> |
| |
| * gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet |
| mode case for ALLOC case. |
| |
| * gnatmem.adb (Read_Next): correctly fix parsing in Quiet mode on |
| all platforms. Improvement of last change. |
| |
| 2001-10-25 Robert Dewar <dewar@gnat.com> |
| |
| * exp_ch4.adb (Expand_N_Allocator): Minor reformatting. |
| |
| 2001-10-25 Geert Bosch <bosch@gnat.com> |
| |
| * osint.adb (Is_Relative): Remove duplicate. |
| |
| 2001-10-25 Pascal Obry <obry@gnat.com> |
| |
| * osint.adb (Read_Default_Search_Dirs): correctly detect relative |
| pathnames in UNIX and DOS style with drive letter. |
| (Is_Relative): new routine. |
| |
| * osint.adb: Minor reformatting |
| |
| * osint.adb (Is_Relative): implementation using |
| GNAT.OS_Lib.Is_Absolute_Path. Better fix. |
| |
| 2001-10-25 Pascal Obry <obry@gnat.com> |
| |
| * g-dirope.adb (Basename): correctly compute offset between the |
| original Path and the translated one. |
| |
| * g-dirope.adb: (Base_Name): add some comments. |
| |
| 2001-10-25 Robert Dewar <dewar@gnat.com> |
| |
| * exp_imgv.adb (Expand_Image_Attribute): Defend against bad use |
| in HIE mode, avoids compilation abandoned message |
| |
| * exp_imgv.adb: Correct typo in previous change |
| |
| * exp_imgv.adb: Correct typo in previous change (not my day!) |
| |
| 2001-10-25 Robert Dewar <dewar@gnat.com> |
| |
| * s-tpinop.ads: Add 2001 to copyright notice. Fix header format. |
| |
| 2001-10-25 Pascal Obry <obry@gnat.com> |
| |
| * g-awk.ads: Move all pragma inlines next to the routine |
| declarations. This is more uniform with other GNAT spec. |
| |
| 2001-10-22 Geert Bosch <bosch@gnat.com> |
| |
| * Make-lang.in (gnattools, cross-gnattools): Remove gnatmem. |
| |
| 2001-10-19 Geert Bosch <bosch@gnat.com> |
| |
| * Makefile.in (tools, gnattools): Remove gnatmem. |
| |
| 2001-10-17 Richard Henderson <rth@redhat.com> |
| |
| * Makefile.in (misc.o): Depend on langhooks.h. |
| * misc.c: Include it. |
| (LANG_HOOKS_INIT, LANG_HOOKS_INIT_OPTIONS): New. |
| (LANG_HOOKS_DECODE_OPTION): New. |
| (lang_hooks): Use LANG_HOOKS_INITIALIZER. |
| |
| 2001-10-16 Florian Weimer <fw@deneb.enyo.de> |
| |
| * trans.c (tree_transform): Adjust to recent change in |
| expand_asm_operands to implement named asm operands. |
| |
| 2001-10-11 Ed Schonberg <schonber@gnat.com> |
| |
| * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Bugfix in |
| renaming of discriminant for mutable record type. |
| |
| 2001-10-11 Robert Dewar <dewar@gnat.com> |
| |
| * validsw.adb: Properly save -gnatVn status. |
| |
| 2001-10-11 Robert Dewar <dewar@gnat.com> |
| |
| * usage.adb: Add lines for V switch. |
| |
| * gnatcmd.adb (COMPILE): Revise translations for -gnatV |
| (/VALIDITY_CHECKING). |
| |
| 2001-10-11 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_type.adb (Add_One_Interp): an operator for a type declared in |
| an extension of System is known to be visible. |
| |
| 2001-10-11 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_eval.adb (Compare_Fixup): get the bounds of a String_Literal |
| properly. Fixes regression on ACATS C34005G. |
| |
| 2001-10-11 Robert Dewar <dewar@gnat.com> |
| |
| * sem_ch5.adb (Analyze_Iteration_Scheme): Suppress warning on null |
| loop in generic instance, since this is likely not very useful. |
| |
| 2001-10-11 Robert Dewar <dewar@gnat.com> |
| |
| * restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize |
| the error message for high integrity mode. |
| |
| * rtsfind.adb (RTE): Give message if we try to find an entity that |
| is not available in high integrity mode. |
| |
| * rtsfind.ads: |
| (OK_To_Use_In_HIE_Mode): New array. |
| (RTE): May return Empty in high integrity mode. |
| |
| * rtsfind.ads (OK_To_Use_In_No_Run_Time_Mode): New name for |
| OK_To_Use_In_HIE_Mode, now includes System_FAT_xxx. |
| |
| * sem_ch6.adb (Analyze_Subprogram_Body): Kill body in predefined |
| unit if not inlined always and in no runtime mode. Fixes problem |
| caused by new Rtsfind changes. |
| |
| * sem_ch6.adb (Analyze_Subrogram_Body): Do not Check_References if |
| body is deleted. |
| |
| * rtsfind.adb (RTE): Make sure we do not try to load unit after |
| giving message for entity not available in high integrity mode. |
| |
| 2001-10-11 Pascal Obry <obry@gnat.com> |
| |
| * impunit.adb: Add GNAT.CRC32. |
| |
| 2001-10-11 Ed Schonberg <schonber@gnat.com> |
| |
| * exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Fixed): handle |
| properly the case where one universal operand in a non-static |
| exponentiation of a real literal. |
| |
| 2001-10-11 Ed Schonberg <schonber@gnat.com> |
| |
| * exp_ch7.adb (Find_Final_List): for a type appearing in a with_type |
| clause, return the gobal finalization list, for lack of anthing else. |
| |
| 2001-10-11 Ed Schonberg <schonber@gnat.com> |
| |
| * exp_ch7.adb (Make_Transient_Block): if statement is within |
| exception handler, always use new transient scope to place Clean |
| procedure. |
| |
| 2001-10-11 Pascal Obry <obry@gnat.com> |
| |
| * Makefile.in: |
| (GNAT_ADA_OBJS): add g-crc32.o, a-tags.o, a-stream.o |
| (GNATBIND_OBJS): add g-crc32.o, a-tags.o, a-stream.o |
| (GNATLS_RTL_OBJS): add g-crc32.o |
| (GNATMAKE_RTL_OBJS): add g-crc32.o |
| |
| * ali-util.adb: |
| (CRC_Match): new function. |
| (Get_File_Checksum): renamed Get_File_CRC. Use the GNAT.CRC32 unit |
| instead of the previous simple checksum algorithm. |
| (Time_Stamp_Mismatch): use CRC_Match for comparison. |
| (Set_Source_Table): idem. |
| |
| * ali-util.ads: |
| (Get_File_Checksum): renamed Get_File_CRC as now we compute CRC |
| instead of simple checksum. |
| (CRC_Match): new function. |
| (CRC_Error): new constant. |
| |
| * ali.adb (Scan_ALI): rename variable Chk to CRC as we are handling |
| a CRC now and not a simple checksum. A CRC uses lower-case hex |
| letters, fixes ambiguity in parsing. |
| |
| * ali.ads (Sdep_Record.Checksum): renamed Sdep_Record.CRC as this |
| is what this variable will store. |
| |
| * bcheck.adb: Change reference to chechsum in comments by CRC. |
| (Check_Consistency): Rename Get_File_Checksum to Get_File_CRC. |
| rename All_Checksum_Match to All_CRC_Match. Change due to API |
| renaming since now GNAT does not use a simple checksum but a |
| CRC using GNAT.CRC32. |
| |
| * gnatls.adb: Rename Checksum to CRC in many places, we use a CRC |
| now and not anymore a simple checksum. |
| |
| * lib-load.adb: Use Source_CRC instead of Source_Checksum in many |
| places. |
| |
| * lib-writ.adb (Write_ALI): Use Source_CRC instead of Source_Checksum. |
| |
| * scans.adb: |
| (Restore_Scan_State): rename Checksum to CRC. |
| (Save_Scan_State): idem. |
| |
| * scans.ads: |
| With GNAT.CRC32. |
| (Checksum): rename to CRC. |
| (Saved_Scan_State): Save_Checksum field renamed to Save_CRC |
| |
| * scn-nlit.adb: Rename many Accumulate_Checksum to Update (from |
| GNAT.CRC32). Update copyright notice. |
| |
| * scn-slit.adb: Rename many Accumulate_Checksum to Update (from |
| GNAT.CRC32). Update copyright notice. |
| |
| * scn.adb: |
| (Accumulate_Checksum): removed. |
| (Update): new procedure. Add a wide-character into the CRC. |
| |
| * sinput-l.adb: |
| (Complete_Source_File_Entry): use CRC32 instead of simple checksum. |
| (Load_File): fix initialization of S (change Source_Checksum to |
| Source_CRC) |
| |
| * sinput-p.adb (Load_Project_File): rename Source_Checksum to |
| Source_CRC in S initialization. |
| |
| * sinput.adb (Source_Checksum): renamed to Source_CRC. |
| |
| * sinput.ads (Source_Checksum): renamed to Source_CRC. |
| Update comments for the CRC. |
| |
| * types.adb (Hex): Use lowercase for the letter part. |
| |
| * types.ads (Get_Hex_String): Returns the hexadecimal representation |
| for a word. This is currently used only for CRC. In previous version, |
| the checksum was using a representation with all letter being |
| upper-case. With the new implementation (using CRC) we do not remove |
| the 32th bit of the CRC, so we can have an upper-case starting letter |
| in the CRC. This is not possible to parse in Scan_ALI (ali.adb). |
| It is ambigous since the CRC was optional and could be followed by |
| options like EB, EE. So now this routines uses lower-case letter for |
| the hexadecimal representation. Strange enough only lower case letters |
| where checked in Scan_ALI (even if this was not a possible case). |
| |
| * gnatvsn.ads (Library_Version): changed to 3.15a. |
| |
| * s-crc32.ads: Initial version from GNAT.CRC32. This is the version |
| for the compiler. |
| |
| * s-crc32.adb: Initial version from GNAT.CRC32. This is the version |
| for the compiler. |
| |
| * ali-util.adb: Redo previous change to avoid using word CRC everywhere |
| Add 2001 to copyright notice |
| (Accumulate_Checksum): Modify to use System.CRC32. |
| |
| * ali-util.ads: Redo changes of previous revision to continue to use |
| the word Checksum. Add 2001 to copyright notice. |
| |
| * ali.adb: Undo some of previous changes, not needed. |
| Keep the change for lower case letters in the checksum. |
| |
| * ali.ads: Undo previous change not needed. |
| |
| * bcheck.adb: Undo most of previous change, not needed. |
| But do use Checksums_Match for checksum comparison. |
| |
| * gnatls.adb: Undo most of previous change, not needed. |
| But do use Checksums_Match for comparing checksums. |
| |
| * lib-load.adb: Undo previous change, not needed. |
| |
| * lib-writ.adb: Undo previous change, not needed. |
| |
| * lib-writ.ads: Document that checksums use lower case, |
| not upper case letters. |
| |
| * scans.adb: Undo previous change, not needed |
| |
| * scans.ads: Undo previous change, not needed. |
| |
| * scn-nlit.adb: Undo previous changes, not needed. |
| |
| * scn-slit.adb: Undo previous change, not needed. Fix header format. |
| |
| * scn.adb: |
| (Accumulate_Checksum): Use System.CRC32. |
| (Initialize_Checksum): New procedure. |
| Remove other changes of previous revision. |
| |
| * sinput-p.adb: Undo previous change, not needed. |
| |
| * sinput.adb: Undo previous change, not needed. |
| |
| * sinput-l.adb: Undo previous change, not needed. |
| |
| * sinput.ads: Undo previous change, not needed. Keep only comment |
| on new checksum algorithm |
| |
| * Makefile.in: Add s-crc32 as needed, remove g-crc32. |
| Also remove a-tags and a-stream from GNAT sources. |
| |
| * ali.adb (Scan_ALI): fix typo introduce in latest check-in. |
| |
| * Makefile.in (GNATRTL_NONTASKING_OBJS): Add g-crc32.o. |
| |
| 2001-10-11 Geert Bosch <bosch@gnat.com> |
| |
| * einfo.h: Regenerate. |
| |
| * nmake.ads: Regenerate. |
| |
| * nmake.adb: Regenerate. |
| |
| * sinfo.h: Regenerate. |
| |
| * treeprs.adb: Regenerate. |
| |
| 2001-10-10 Geert Bosch <bosch@gnat.com> |
| |
| * gnat-style.texi: New file describing coding guidelines for Ada. |
| |
| 2001-10-10 Ed Schonberg <schonber@gnat.com> |
| |
| * einfo.adb (Write_Entity_Flags): Elaboration_Entity_Required |
| is Flag174. |
| |
| 2001-10-10 Geert Bosch <bosch@gnat.com> |
| |
| * snames.ads: Add new names for project facility. |
| |
| * snames.adb: Update to reflect snames.ads changes. |
| |
| * snames.h: Update to reflect snames.ads changes. |
| |
| 2001-10-10 Vincent Celier <celier@gnat.com> |
| |
| * make.adb: |
| (Add_Switches): reflect the changes for the switches attributes |
| Default_Switches indexed by the programming language, |
| Switches indexed by the file name. |
| (Collect_Arguments_And_Compile): Idem. |
| Reflect the attribute name changes. |
| |
| * prj-attr.adb: |
| (Initialisation_Data): Change the names of some packages and |
| attributes. |
| (Initialize): process case insensitive associative arrays. |
| |
| * prj-attr.ads: |
| (Attribute_Kind): Remove Both, add Case_Insensitive_Associative_Array. |
| |
| * prj-dect.adb: |
| (Parse_Attribute_Declaration): For case insensitive associative |
| arrays, set the index string to lower case. |
| |
| * prj-env.adb: |
| Reflect the changes of the project attributes. |
| |
| * prj-nmsc.adb: |
| Replace Check_Naming_Scheme by Ada_Check and |
| Language_Independent_Check. |
| |
| * prj-nmsc.ads: |
| Replaced Check_Naming_Scheme by 2 procedures: |
| Ada_Check and Language_Independent_Check. |
| |
| * prj-proc.adb: |
| (Process_Declarative_Items): For case-insensitive associative |
| arrays, set the index string to lower case. |
| (Recursive_Check): Call Prj.Nmsc.Ada_Check, instead of |
| Prj.Nmsc.Check_Naming_Scheme. |
| |
| * prj-tree.adb: |
| (Case_Insensitive): New function |
| (Set_Case_Insensitive): New procedure |
| |
| * prj-tree.ads: |
| (Case_Insensitive): New function |
| (Set_Case_Insensitive): New procedure |
| (Project_Node_Record): New flag Case_Insensitive. |
| |
| * prj-util.adb: |
| (Value_Of): new function to get the string value of a single |
| string variable or attribute. |
| |
| * prj-util.ads: |
| (Value_Of): new function to get the string value of a single |
| string variable or attribute. |
| |
| * prj.adb: |
| (Ada_Default_Spec_Suffix): New function |
| (Ada_Default_Impl_Suffix): New function |
| Change definitions of several constants to reflect |
| new components of record types. |
| |
| * prj.ads: |
| (Naming_Data): Change several components to reflect new |
| elements of naming schemes. |
| (Project_Data): New flags Sources_Present and |
| Language_Independent_Checked. |
| (Ada_Default_Spec_Suffix): New function. |
| (Ada_Default_Impl_Suffix): New function. |
| |
| * snames.ads: |
| Modification of predefined names for project manager: added |
| Implementation, Specification_Exceptions, Implementation_Exceptions, |
| Specification_Suffix, Implementation_Suffix, Separate_Suffix, |
| Default_Switches, _Languages, Builder, Cross_Reference, |
| Finder. Removed Body_Part, Specification_Append, Body_Append, |
| Separate_Append, Gnatmake, Gnatxref, Gnatfind, Gnatbind, |
| Gnatlink. |
| |
| * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix): |
| Add comments. |
| |
| * prj-nmsc.adb (Ada_Check): Test that Separate_Suffix is defaulted, |
| not that it is Nil_Variable_Value. |
| |
| * prj.ads: Add ??? for uncommented declarations |
| |
| 2001-10-10 Ed Schonberg <schonber@gnat.com> |
| |
| * sem_prag.adb: (Analyze_Pragma, case External): If entity is a |
| constant, do not indicate possible modification, so that gigi can |
| treat it as a bona fide constant. |
| |
| 2001-10-10 Robert Dewar <dewar@gnat.com> |
| |
| * sem_prag.adb: Add processing for pragma External. |
| |
| * snames.ads: Add entry for pragma External. |
| |
| * par-prag.adb: Add pragma External. |
| |
| * snames.adb: Updated to match snames.ads. |
| |
| 2001-10-10 Ed Schonberg <schonber@gnat.com> |
| |
| * exp_ch4.adb (Expand_N_Allocator): Generate meaningful names for |
| a dynamic task if the allocator appears in an indexed assignment |
| or selected component assignment. |
| |
| * exp_util.adb (Build_Task_Array_Image, Build_Task_Record_Image): |
| For a dynamic task in an assignment statement, use target of |
| assignment to generate meaningful name. |
| |
| 2001-10-10 Ed Schonberg <schonber@gnat.com> |
| |
| * einfo.adb (Write_Field19_Name): Body_Entity is also defined for |
| a generic package. |
| |
| * einfo.ads: Body_Entity is also defined for generic package. |
| Documentation change only |
| |
| * exp_aggr.adb (Build_Array_Aggr_Code): When expanding an |
| others_choice for a discriminated component initialization, |
| convert discriminant references into the corresponding discriminals. |
| |
| * exp_ch3.adb (Get_Simple_Init_Val): Add qualification to aggregate |
| only if original type is private and expression has to be wrapped |
| in a conversion. |
| |
| * checks.adb: |
| (Apply_Constraint_Check): Do not perform length check |
| if expression is an aggregate with only an others_choice. |
| (Length_N_Cond): two references to the same in_parameter |
| (typically the discriminal in an init_proc) denote the same value. |
| Two useful optimization uncovered by bugfixes above. |
| |
| 2001-10-10 Robert Dewar <dewar@gnat.com> |
| |
| * xeinfo.adb: Change int to char in translation of enumeration types. |
| This fixes a problem in the C representation of component alignment. |
| Add 2001 to copyright notice |
| |
| 2001-10-10 Richard Kenner <kenner@gnat.com> |
| |
| * decl.c: (validate_size): Do check size of object of integral type |
| if it is a packed array type. |
| |
| 2001-10-10 Richard Kenner <kenner@gnat.com> |
| |
| * decl.c: (gnat_to_gnu_entity, case object): Also materialize |
| VAR_DECL for constant if not Is_Public but -O0. |
| |
| 2001-10-10 Richard Kenner <kenner@gnat.com> |
| |
| * misc.c (struct lang_hooks): Add new initializer to match GCC change. |
| |
| 2001-10-10 Geert Bosch <bosch@gnat.com> |
| |
| * xnmake.adb (XNmake): Fix handling of -s/-b options. No longer |
| use '/' as switch character, allowing for absolute file names. |
| |
| 2001-10-09 Joseph S. Myers <jsm28@cam.ac.uk> |
| |
| * 4gintnam.ads, Make-lang.in, Makefile.in, config-lang.in: Update |
| FSF address. |
| |
| 2001-10-08 Geert Bosch <bosch@gnat.com> |
| |
| * Makefile.in (treeprs.ads, einfo.h, sinfo.h, nmake.adb, nmake.ads): |
| Automatically build utilities when files need to be regenerated. |
| |
| 2001-10-08 Geert Bosch <bosch@gnat.com> |
| |
| * xsnames.adb: New utility for updating snames.ads and snames.adb |
| |
| 2001-10-08 Zack Weinberg <zack@codesourcery.com> |
| |
| * Make-lang.in (ADAFLAGS): Add -W -Wall. |
| (ADA_FLAGS_TO_PASS): Set ADA_CFLAGS=$(CFLAGS) also. |
| (gnat1): Also depend on attribs.o. |
| (gnatlib, gnatlib-shared): Set CC and ADAC in recursive make. |
| * Makefile.in (X_ADAFLAGS, T_ADAFLAGS): New. |
| (ADAC): Set to @ADAC@ in stage1, $(CC) later. |
| (ADAFLAGS): Add -W -Wall. |
| (ALL_ADAFLAGS, MOST_ADAFLAGS): Add X_ADAFLAGS and T_ADAFLAGS; |
| take out CFLAGS. |
| |
| (.adb.o, .ads.o, a-numaux.o, a-teioed.o, s-interr.o, |
| s-taskin.o, sdefault.o, s-tasdeb.o, s-vaflop.o, a-except.o, |
| s-assert.o, s-stalib.o, s-memory.o, memtrack.o, mlib-tgt.o): |
| Use $(ADAC), not $(CC), as compilation command. |
| |
| (gnattools): Depend directly on tools to build, don't use |
| recursive make. |
| (gnatlib): Set ADA_CFLAGS=$(GNATLIBCFLAGS) in recursive make. |
| |
| * einfo.h, sinfo.h: New files (autogenerated). |
| |
| 2001-10-08 Richard Henderson <rth@redhat.com> |
| |
| * comperr.adb (Abort_In_Progress): New. |
| (Compiler_Abort): Use it to prevent recursion. |
| |
| 2001-10-08 Robert Dewar <dewar@gnat.com> |
| |
| * atree.adb: Set Error_Posted in Error node, helps error recovery. |
| |
| * par-endh.adb (Output_End_Expected): We should also not test |
| Error_Posted on the Error node, since now it is always set. |
| |
| * cstand.adb (Create_Standard): Set Etype of Error to Any_Type |
| to help error recovery. Part of general work on 9407-004. |
| |
| * par.adb: Add ??? for misuse of error |
| |
| * sem_res.adb: |
| (Resolve): Defend against Error, fixes 9407-003. |
| (Resolve_Discrete_Subtype_Indication): Defend against Error. |
| |
| * sinfo.ads (N_Error): Now has Etype field (which will be set |
| to Any_Type to help error recovery). |
| |
| 2001-10-08 Richard Kenner <kenner@gnat.com> |
| |
| * misc.c (gnat_expand_expr, case UNCHECKED_CONVERT_EXPR): |
| Consistently set MEM attributes from expression; fixes |
| bootstrap failure on x86. |
| |
| 2001-10-08 Geert Bosch <bosch@gnat.com> |
| |
| * 5oosinte.adb: Add 2001 to copyright notice. |
| |
| 2001-10-08 Geert Bosch <bosch@gnat.com> |
| |
| * ceinfo.adb: Add utility for consistency checking of einfo.ad[bs]. |
| |
| * csinfo.adb: Add utility for consistency checking of sinfo.ad[bs]. |
| |
| 2001-10-07 Joseph S. Myers <jsm28@cam.ac.uk> |
| |
| * 5oosinte.adb: Fix spelling error of "separate" as "seperate". |
| |
| 2001-10-05 Geert Bosch <bosch@gnat.com> |
| |
| * adaint.h: Small formatting fix. |
| |
| 2001-10-04 Geert Bosch <bosch@gnat.com> |
| |
| * sysdep.c (__gnat_set_binary_mode, __gnat_set_text_mode): |
| Arg is int, not FILE *, in dummy version of functions. |
| |
| * adaint.h (__gnat_set_binary_mode, __gnat_set_text_mode): |
| Arg is int, not FILE *. |
| |
| 2001-10-04 Geert Bosch <bosch@gnat.com> |
| |
| * 3lsoccon.ads: Added file, missed with initial check ins. |
| |
| * 4lintnam.ads: Fix header format. |
| Change Linux to GNU/Linux. |
| |
| * 5iosinte.adb: Change Linux to GNU/Linux. |
| |
| * 5iosinte.ads: Change Linux to GNU/Linux. |
| |
| * 5itaprop.adb: Change Linux to GNU/Linux. |
| |
| * 5itaspri.ads: Change Linux to GNU/Linux. |
| Update copyright notice. |
| |
| * 5lintman.adb: Change Linux to GNU/Linux. |
| |
| * 5lml-tgt.adb: Change Linux to GNU/Linux. |
| |
| * 5losinte.ads: Change Linux to GNU/Linux. |
| |
| * 5lsystem.ads: Change Linux to GNU/Linux. |
| |
| * 5qosinte.adb: Change Linux to GNU/Linux. |
| |
| * 5qosinte.ads: Change Linux to GNU/Linux. |
| |
| * 5qparame.ads: Change Linux to GNU/Linux. |
| |
| * 5qtaprop.adb: Change Linux to GNU/Linux. |
| |
| * 5qtaspri.ads: Change Linux to GNU/Linux. |
| Add 2001 to copyright notice. |
| |
| * 5vintman.ads: Change Linux to GNU/Linux. |
| Fix header format. Add 2001 to copyright notice. |
| |
| * g-soccon.ads: Change Linux to GNU/Linux. |
| |
| * g-trasym.ads: Change Linux to GNU/Linux. |
| Add 2001 to copyright notice. |
| |
| * memtrack.adb: Change Linux to GNU/Linux. |
| |
| * s-intman.ads: Change Linux to GNU/Linux. |
| Add 2001 to copyright notice. Fix header format. |
| |
| * s-stache.adb: Change Linux to GNU/Linux. |
| |
| * adaint.c: Change Linux to GNU/Linux. |
| |
| * cio.c: Change Linux to GNU/Linux. |
| |
| * cstreams.c: Change Linux to GNU/Linux. |
| |
| * init.c: Change Linux to GNU/Linux. |
| |
| * gmem.c: Change Linux to GNU/Linux. |
| |
| * tracebak.c: Change Linux to GNU/Linux. |
| |
| 2001-10-02 Geert Bosch <bosch@gnat.com> |
| |
| * misc.c (insert_default_attributes): Add dummy version. |
| |
| |
| |
| Copyright (C) 2001 Free Software Foundation, Inc. |
| |
| Copying and distribution of this file, with or without modification, |
| are permitted in any medium without royalty provided the copyright |
| notice and this notice are preserved. |
