2001-10-10 Ed Schonberg * einfo.adb (Write_Entity_Flags): Elaboration_Entity_Required is Flag174. 2001-10-10 Geert Bosch * 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 * 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 * 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 * 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 * 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 * 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 * 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 * decl.c: (validate_size): Do check size of object of integral type if it is a packed array type. 2001-10-10 Richard Kenner * 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 * misc.c (struct lang_hooks): Add new initializer to match GCC change. 2001-10-10 Geert Bosch * 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 * 4gintnam.ads, Make-lang.in, Makefile.in, config-lang.in: Update FSF address. 2001-10-08 Geert Bosch * 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 * xsnames.adb: New utility for updating snames.ads and snames.adb 2001-10-08 Zack Weinberg * 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 * comperr.adb (Abort_In_Progress): New. (Compiler_Abort): Use it to prevent recursion. 2001-10-08 Robert Dewar * 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 * 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 * 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 * 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 * misc.c (insert_default_attributes): Add dummy version.