gcc/ada/ChangeLog

   1 2001-10-10  Geert Bosch  <bosch@gnat.com>
   2
   3         * snames.ads: Add new names for project facility.
   4
   5         * snames.adb: Update to reflect snames.ads changes.
   6
   7         * snames.h: Update to reflect snames.ads changes.
   8
   9 2001-10-10  Vincent Celier <celier@gnat.com>
  10
  11         * make.adb:
  12         (Add_Switches): reflect the changes for the switches attributes
  13         Default_Switches indexed by the programming language,
  14         Switches indexed by the file name.
  15         (Collect_Arguments_And_Compile): Idem.
  16         Reflect the attribute name changes.
  17
  18         * prj-attr.adb:
  19         (Initialisation_Data): Change the names of some packages and
  20         attributes.
  21         (Initialize): process case insensitive associative arrays.
  22
  23         * prj-attr.ads:
  24         (Attribute_Kind): Remove Both, add Case_Insensitive_Associative_Array.
  25
  26         * prj-dect.adb:
  27         (Parse_Attribute_Declaration): For case insensitive associative
  28          arrays, set the index string to lower case.
  29
  30         * prj-env.adb:
  31         Reflect the changes of the project attributes.
  32
  33         * prj-nmsc.adb:
  34         Replace Check_Naming_Scheme by Ada_Check and
  35         Language_Independent_Check.
  36
  37         * prj-nmsc.ads:
  38         Replaced Check_Naming_Scheme by 2 procedures:
  39         Ada_Check and Language_Independent_Check.
  40
  41         * prj-proc.adb:
  42         (Process_Declarative_Items): For case-insensitive associative
  43         arrays, set the index string to lower case.
  44         (Recursive_Check): Call Prj.Nmsc.Ada_Check, instead of
  45         Prj.Nmsc.Check_Naming_Scheme.
  46
  47         * prj-tree.adb:
  48         (Case_Insensitive): New function
  49         (Set_Case_Insensitive): New procedure
  50
  51         * prj-tree.ads:
  52         (Case_Insensitive): New function
  53         (Set_Case_Insensitive): New procedure
  54         (Project_Node_Record): New flag Case_Insensitive.
  55
  56         * prj-util.adb:
  57         (Value_Of): new function to get the string value of a single
  58         string variable or attribute.
  59
  60         * prj-util.ads:
  61         (Value_Of): new function to get the string value of a single
  62         string variable or attribute.
  63
  64         * prj.adb:
  65         (Ada_Default_Spec_Suffix): New function
  66         (Ada_Default_Impl_Suffix): New function
  67         Change definitions of several constants to reflect
  68         new components of record types.
  69
  70         * prj.ads:
  71         (Naming_Data): Change several components to reflect new
  72         elements of naming schemes.
  73         (Project_Data): New flags Sources_Present and
  74         Language_Independent_Checked.
  75         (Ada_Default_Spec_Suffix): New function.
  76         (Ada_Default_Impl_Suffix): New function.
  77
  78         * snames.ads:
  79         Modification of predefined names for project manager: added
  80         Implementation, Specification_Exceptions, Implementation_Exceptions,
  81         Specification_Suffix, Implementation_Suffix, Separate_Suffix,
  82         Default_Switches, _Languages, Builder, Cross_Reference,
  83         Finder. Removed Body_Part, Specification_Append, Body_Append,
  84         Separate_Append, Gnatmake, Gnatxref, Gnatfind, Gnatbind,
  85         Gnatlink.
  86
  87         * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
  88         Add comments.
  89
  90         * prj-nmsc.adb (Ada_Check): Test that Separate_Suffix is defaulted,
  91         not that it is Nil_Variable_Value.
  92
  93         * prj.ads: Add ??? for uncommented declarations
  94
  95 2001-10-10  Ed Schonberg <schonber@gnat.com>
  96
  97         * sem_prag.adb: (Analyze_Pragma, case External): If entity is a
  98         constant, do not indicate possible modification, so that gigi can
  99         treat it as a bona fide constant.
 100
 101 2001-10-10  Robert Dewar <dewar@gnat.com>
 102
 103         * sem_prag.adb: Add processing for pragma External.
 104
 105         * snames.ads: Add entry for pragma External.
 106
 107         * par-prag.adb: Add pragma External.
 108
 109         * snames.adb: Updated to match snames.ads.
 110
 111 2001-10-10  Ed Schonberg <schonber@gnat.com>
 112
 113         * exp_ch4.adb (Expand_N_Allocator): Generate meaningful names for
 114         a dynamic task if the allocator appears in an indexed assignment
 115         or selected component assignment.
 116
 117         * exp_util.adb (Build_Task_Array_Image, Build_Task_Record_Image):
 118         For a dynamic task in an assignment statement, use target of
 119         assignment to generate meaningful name.
 120
 121 2001-10-10  Ed Schonberg <schonber@gnat.com>
 122
 123         * einfo.adb (Write_Field19_Name): Body_Entity is also defined for
 124         a generic package.
 125
 126         * einfo.ads: Body_Entity is also defined for generic package.
 127         Documentation change only
 128
 129         * exp_aggr.adb (Build_Array_Aggr_Code): When expanding an
 130         others_choice for a discriminated component initialization,
 131         convert discriminant references into the corresponding discriminals.
 132
 133         * exp_ch3.adb (Get_Simple_Init_Val): Add qualification to aggregate
 134         only if original type is private and expression has to be wrapped
 135         in a conversion.
 136
 137         * checks.adb:
 138         (Apply_Constraint_Check): Do not perform length check
 139         if expression is an aggregate with only an others_choice.
 140         (Length_N_Cond): two references to the same in_parameter
 141         (typically the discriminal in an init_proc) denote the same value.
 142         Two useful optimization uncovered by bugfixes above.
 143
 144 2001-10-10  Robert Dewar <dewar@gnat.com>
 145
 146         * xeinfo.adb: Change int to char in translation of enumeration types.
 147         This fixes a problem in the C representation of component alignment.
 148         Add 2001 to copyright notice
 149
 150 2001-10-10  Richard Kenner <kenner@gnat.com>
 151
 152         * decl.c: (validate_size): Do check size of object of integral type
 153         if it is a packed array type.
 154
 155 2001-10-10  Richard Kenner <kenner@gnat.com>
 156
 157         * decl.c: (gnat_to_gnu_entity, case object): Also materialize
 158         VAR_DECL for constant if not Is_Public but -O0.
 159
 160 2001-10-10  Richard Kenner  <kenner@gnat.com>
 161
 162         * misc.c (struct lang_hooks): Add new initializer to match GCC change.
 163
 164 2001-10-10  Geert Bosch  <bosch@gnat.com>
 165
 166         * xnmake.adb (XNmake): Fix handling of -s/-b options.  No longer
 167         use '/' as switch character, allowing for absolute file names.
 168
 169 2001-10-09  Joseph S. Myers  <jsm28@cam.ac.uk>
 170
 171         * 4gintnam.ads, Make-lang.in, Makefile.in, config-lang.in: Update
 172         FSF address.
 173
 174 2001-10-08  Geert Bosch  <bosch@gnat.com>
 175
 176         * Makefile.in (treeprs.ads, einfo.h, sinfo.h, nmake.adb, nmake.ads):
 177         Automatically build utilities when files need to be regenerated.
 178
 179 2001-10-08  Geert Bosch  <bosch@gnat.com>
 180
 181         * xsnames.adb: New utility for updating snames.ads and snames.adb
 182
 183 2001-10-08  Zack Weinberg  <zack@codesourcery.com>
 184
 185         * Make-lang.in (ADAFLAGS): Add -W -Wall.
 186         (ADA_FLAGS_TO_PASS): Set ADA_CFLAGS=$(CFLAGS) also.
 187         (gnat1): Also depend on attribs.o.
 188         (gnatlib, gnatlib-shared): Set CC and ADAC in recursive make.
 189         * Makefile.in (X_ADAFLAGS, T_ADAFLAGS): New.
 190         (ADAC): Set to @ADAC@ in stage1, $(CC) later.
 191         (ADAFLAGS): Add -W -Wall.
 192         (ALL_ADAFLAGS, MOST_ADAFLAGS): Add X_ADAFLAGS and T_ADAFLAGS;
 193         take out CFLAGS.
 194
 195         (.adb.o, .ads.o, a-numaux.o, a-teioed.o, s-interr.o,
 196         s-taskin.o, sdefault.o, s-tasdeb.o, s-vaflop.o, a-except.o,
 197         s-assert.o, s-stalib.o, s-memory.o, memtrack.o, mlib-tgt.o):
 198         Use $(ADAC), not $(CC), as compilation command.
 199
 200         (gnattools): Depend directly on tools to build, don't use
 201         recursive make.
 202         (gnatlib): Set ADA_CFLAGS=$(GNATLIBCFLAGS) in recursive make.
 203
 204         * einfo.h, sinfo.h: New files (autogenerated).
 205
 206 2001-10-08  Richard Henderson  <rth@redhat.com>
 207
 208         * comperr.adb (Abort_In_Progress): New.
 209         (Compiler_Abort): Use it to prevent recursion.
 210
 211 2001-10-08  Robert Dewar <dewar@gnat.com>
 212
 213         * atree.adb: Set Error_Posted in Error node, helps error recovery.
 214
 215         * par-endh.adb (Output_End_Expected): We should also not test
 216         Error_Posted on the Error node, since now it is always set.
 217
 218         * cstand.adb (Create_Standard): Set Etype of Error to Any_Type
 219         to help error recovery. Part of general work on 9407-004.
 220
 221         * par.adb: Add ??? for misuse of error
 222
 223         * sem_res.adb:
 224         (Resolve): Defend against Error, fixes 9407-003.
 225         (Resolve_Discrete_Subtype_Indication): Defend against Error.
 226
 227         * sinfo.ads (N_Error): Now has Etype field (which will be set
 228         to Any_Type to help error recovery).
 229
 230 2001-10-08  Richard Kenner (kenner@gnat.com)
 231
 232         * misc.c (gnat_expand_expr, case UNCHECKED_CONVERT_EXPR):
 233         Consistently set MEM attributes from expression; fixes
 234         bootstrap failure on x86.
 235
 236 2001-10-08  Geert Bosch  (bosch@gnat.com)
 237
 238         * 5oosinte.adb: Add 2001 to copyright notice.
 239
 240 2001-10-08  Geert Bosch  (bosch@gnat.com)
 241
 242         * ceinfo.adb: Add utility for consistency checking of einfo.ad[bs].
 243
 244         * csinfo.adb: Add utility for consistency checking of sinfo.ad[bs].
 245
 246 2001-10-07  Joseph S. Myers  <jsm28@cam.ac.uk>
 247
 248         * 5oosinte.adb: Fix spelling error of "separate" as "seperate".
 249
 250 2001-10-05  Geert Bosch  (bosch@gnat.com)
 251
 252         * adaint.h: Small formatting fix.
 253
 254 2001-10-04  Geert Bosch  <bosch@gnat.com>
 255
 256         * sysdep.c (__gnat_set_binary_mode, __gnat_set_text_mode):
 257         Arg is int, not FILE *, in dummy version of functions.
 258
 259         * adaint.h (__gnat_set_binary_mode, __gnat_set_text_mode):
 260         Arg is int, not FILE *.
 261
 262 2001-10-04  Geert Bosch  <bosch@gnat.com>
 263
 264         * 3lsoccon.ads: Added file, missed with initial check ins.
 265
 266         * 4lintnam.ads: Fix header format.
 267         Change Linux to GNU/Linux.
 268
 269         * 5iosinte.adb: Change Linux to GNU/Linux.
 270
 271         * 5iosinte.ads: Change Linux to GNU/Linux.
 272
 273         * 5itaprop.adb: Change Linux to GNU/Linux.
 274
 275         * 5itaspri.ads: Change Linux to GNU/Linux.
 276         Update copyright notice.
 277
 278         * 5lintman.adb: Change Linux to GNU/Linux.
 279
 280         * 5lml-tgt.adb: Change Linux to GNU/Linux.
 281
 282         * 5losinte.ads: Change Linux to GNU/Linux.
 283
 284         * 5lsystem.ads: Change Linux to GNU/Linux.
 285
 286         * 5qosinte.adb: Change Linux to GNU/Linux.
 287
 288         * 5qosinte.ads: Change Linux to GNU/Linux.
 289
 290         * 5qparame.ads: Change Linux to GNU/Linux.
 291
 292         * 5qtaprop.adb: Change Linux to GNU/Linux.
 293
 294         * 5qtaspri.ads: Change Linux to GNU/Linux.
 295         Add 2001 to copyright notice.
 296
 297         * 5vintman.ads: Change Linux to GNU/Linux.
 298         Fix header format.  Add 2001 to copyright notice.
 299
 300         * g-soccon.ads: Change Linux to GNU/Linux.
 301
 302         * g-trasym.ads: Change Linux to GNU/Linux.
 303         Add 2001 to copyright notice.
 304
 305         * memtrack.adb: Change Linux to GNU/Linux.
 306
 307         * s-intman.ads: Change Linux to GNU/Linux.
 308         Add 2001 to copyright notice.  Fix header format.
 309
 310         * s-stache.adb: Change Linux to GNU/Linux.
 311
 312         * adaint.c: Change Linux to GNU/Linux.
 313
 314         * cio.c: Change Linux to GNU/Linux.
 315
 316         * cstreams.c: Change Linux to GNU/Linux.
 317
 318         * init.c: Change Linux to GNU/Linux.
 319
 320         * gmem.c: Change Linux to GNU/Linux.
 321
 322         * tracebak.c: Change Linux to GNU/Linux.
 323
 324
 325 2001-10-02  Geert Bosch  <bosch@gnat.com>
 326
 327         * misc.c (insert_default_attributes): Add dummy version.