gcc-4_8-branch/gcc/ada/ChangeLog

   1 2014-01-12  Eric Botcazou  <ebotcazou@adacore.com>
   2
   3         PR ada/59772
   4         * gcc-interface/cuintp.c (build_cst_from_int): Use 32-bit integer type
   5         as intermediate type.
   6         (UI_To_gnu): Likewise.
   7
   8 2013-12-12  Eric Botcazou  <ebotcazou@adacore.com>
   9             Iain Sandoe  <iain@codesourcery.com>
  10
  11         PR ada/55946
  12         * gcc-interface/Make-lang.in (ada/doctools/xgnatugn): Use gnatmake.
  13         * gcc-interface/Makefile.in (GCC_LINK): Add LDFLAGS.
  14         (../../gnatmake): Remove LDFLAGS.
  15         (../../gnatlink): Likewise.
  16
  17 2013-12-04  Eric Botcazou  <ebotcazou@adacore.com>
  18
  19         PR ada/59382
  20         * indepsw-darwin.adb: New file.
  21
  22 2013-10-19  Eric Botcazou  <ebotcazou@adacore.com>
  23
  24         * gcc-interface/utils.c (scale_by_factor_of): New function.
  25         (rest_of_record_type_compilation): Use scale_by_factor_of in order to
  26         scale the original offset for both rounding cases; in the second case,
  27         take into accout the addend to compute the alignment.  Tidy up.
  28
  29 2013-10-19  Eric Botcazou  <ebotcazou@adacore.com>
  30
  31         * gcc-interface/utils.c (gnat_set_type_context): New function.
  32         (gnat_pushdecl): Use it to set the context of the type.
  33
  34 2013-10-16  Release Manager
  35
  36         * GCC 4.8.2 released.
  37
  38 2013-10-13  Eric Botcazou  <ebotcazou@adacore.com>
  39
  40         * gcc-interface/decl.c (gnat_to_gnu_param): Remove obsolete comment.
  41
  42 2013-09-18  Eric Botcazou  <ebotcazou@adacore.com>
  43
  44         PR ada/58264
  45         * gcc-interface/trans.c (Attribute_to_gnu): Define GNAT_PREFIX local
  46         variable and use it throughout.
  47         <Attr_Length>: Note whether the prefix is the dereference of a pointer
  48         to unconstrained array and, in this case, capture the result for both
  49         Attr_First and Attr_Last.
  50
  51 2013-09-18  Eric Botcazou  <ebotcazou@adacore.com>
  52
  53         * gcc-interface/trans.c (gigi): Remove dead code.
  54
  55 2013-09-18  Eric Botcazou  <ebotcazou@adacore.com>
  56
  57         * gcc-interface/trans.c (Subprogram_Body_to_gnu): Pop the stack of
  58         return variables for subprograms using the CICO mechanism.
  59
  60 2013-08-13  Eric Botcazou  <ebotcazou@adacore.com>
  61
  62         * gcc-interface/trans.c (can_equal_min_or_max_val_p): Be prepared for
  63         values outside of the range of the type.
  64
  65 2013-06-13  Eric Botcazou  <ebotcazou@adacore.com>
  66
  67         * gcc-interface/ada-tree.h (DECL_BY_DOUBLE_REF_P): Delete.
  68         * gcc-interface/gigi.h (annotate_object): Adjust prototype.
  69         (convert_vms_descriptor): Likewise.
  70         * gcc-interface/decl.c (gnat_to_gnu_param): Do not pass fat pointer
  71         types by double dereference.
  72         (annotate_object): Remove BY_DOUBLE_REF parameter and adjust.
  73         (gnat_to_gnu_entity): Adjust calls to annotate_object.
  74         * gcc-interface/trans.c (Identifier_to_gnu): Do not deal with double
  75         dereference.
  76         (Call_to_gnu): Likewise.
  77         (build_function_stub): Adjust call to convert_vms_descriptor.
  78         (Subprogram_Body_to_gnu): Adjust call to annotate_object.
  79         * gcc-interface/utils.c (convert_vms_descriptor): Remove BY_REF
  80         parameter and adjust.
  81
  82 2013-05-31  Release Manager
  83
  84         * GCC 4.8.1 released.
  85
  86 2013-05-26  Eric Botcazou  <ebotcazou@adacore.com>
  87
  88         * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Last_Bit>: Add kludge
  89         to avoid generating an overflow for -1.
  90
  91 2013-05-07  Eric Botcazou  <ebotcazou@adacore.com>
  92
  93         PR ada/56474
  94         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Use
  95         int_const_binop to shift bounds by 1 when they are integer constants.
  96
  97 2013-04-23  Kai Tietz  <ktietz@redhat.com>
  98
  99         PR target/55445
 100         * raise-gcc.c (__SEH__): Additional check that SjLj isn't active.
 101
 102 2013-03-22  Release Manager
 103
 104         * GCC 4.8.0 released.
 105
 106 2013-03-08  Cesar Strauss  <cestrauss@gmail.com>
 107
 108         PR ada/52123
 109         * seh_init.c (Raise_From_Signal_Handler): Declare as no-return.
 110         (__gnat_SEH_error_handler): Likewise.  Remove final return.
 111
 112 2013-03-06  Eric Botcazou  <ebotcazou@adacore.com>
 113
 114         * gcc-interface/trans.c (Attribute_to_gnu): Abort instead of erroring
 115         out for an unimplemented attribute.
 116
 117 2013-03-06  Eric Botcazou  <ebotcazou@adacore.com>
 118
 119         * gcc-interface/decl.c (gnat_to_gnu_field): Remove the wrapper around
 120         a misaligned integral type if a size is specified for the field.
 121
 122 2013-03-06  Eric Botcazou  <ebotcazou@adacore.com>
 123
 124         * gcc-interface/trans.c (Raise_Error_to_gnu) <CE_Index_Check_Failed>:
 125         Record the unpadded type of the index type on the RCI stack.
 126
 127 2013-03-06  Eric Botcazou  <ebotcazou@adacore.com>
 128
 129         * gcc-interface/trans.c (emit_range_check): Assert that the range type
 130         is a numerical type and remove useless local variables.
 131
 132 2013-02-25  Eric Botcazou  <ebotcazou@adacore.com>
 133
 134         * gcc-interface/ada-tree.h: Back out change accidentally committed.
 135
 136 2013-02-21  Jakub Jelinek  <jakub@redhat.com>
 137
 138         PR bootstrap/56258
 139         * gnat-style.texi (@title): Remove @hfill.
 140         * projects.texi: Avoid line wrapping inside of @pxref or @xref.
 141
 142 2013-02-14  Rainer Emrich  <rainer@emrich-ebersheim.de>
 143
 144         PR target/52123
 145         * tracebak.c: Cast from pointer via FARPROC.
 146
 147 2013-02-07  Simon Wright  <simon@pushface.org>
 148
 149         PR target/50678
 150         * init.c (__darwin_major_version): New function for x86-64/Darwin.
 151         (__gnat_adjust_context_for_raise) [Darwin]: Disable the workaround
 152         on Darwin 12 and above.
 153
 154 2013-02-06  Rainer Emrich  <rainer@emrich-ebersheim.de>
 155
 156         PR target/52123
 157         * adaint.c (__gnat_check_OWNER_ACL): Cast from pointer via
 158         SECURITY_DESCRIPTOR *
 159         (__gnat_set_OWNER_ACL): Cast from DWORD to ACCESS_MODE
 160         (__gnat_portable_spawn): Fix cast to char* const*
 161         (add_handle): Cast from pointer via void **
 162         (add_handle): Cast from pointer via int *
 163         (__gnat_locate_exec_on_path): Cast from pointer via TCHAR *
 164         (__gnat_locate_exec_on_path): Cast from pointer via char *
 165         * initialize.c (append_arg): Cast from pointer via LPWSTR
 166         (__gnat_initialize): Cast from pointer via LPWSTR
 167         * seh_init.c (__gnat_map_SEH): Cast from pointer via FARPROC
 168
 169 2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>
 170
 171         * gcc-interface/Make-lang.in: Enable System.Stack_Checking.Operations
 172         target pairs on VxWorks 5 only.
 173
 174 2013-02-06  Arnaud Charlet  <charlet@adacore.com>
 175
 176         * gcc-interface/Make-lang.in: Update dependencies.
 177
 178 2013-02-06  Vincent Celier  <celier@adacore.com>
 179
 180         * prj-proc.adb (Process_Aggregated_Projects): Use a new project
 181         node tree for each project tree rooted at an aggregated project.
 182
 183 2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>
 184
 185         * sem_util.adb (Is_Interface_Conversion): New routine.
 186         (Object_Access_Level): Detect an interface conversion
 187         that has been rewritten into a different construct. Use the
 188         original form of the conversion to find the access level of
 189         the operand.
 190
 191 2013-02-06  Eric Botcazou  <ebotcazou@adacore.com>
 192
 193         * einfo.ads (Has_Pragma_No_Inline): New flag using Flag201.
 194         (Has_Pragma_No_Inline): Declare and mark as inline.
 195         (Set_Has_Pragma_No_Inline): Likewise.
 196         * einfo.adb (Has_Pragma_No_Inline): New function.
 197         (Set_Has_Pragma_No_Inline): New procedure.
 198         (Write_Entity_Flags): Handle Has_Pragma_No_Inline.
 199         * snames.ads-tmpl (Name_No_Inline): New pragma-related name.
 200         (Pragma_Id): Add Pragma_No_Inline value.
 201         * par-prag.adb (Prag): Handle Pragma_Inline.
 202         * sem_prag.adb (Inline_Status): New enumeration type.
 203         (Process_Inline): Change Active parameter
 204         to Inline_Status and add support for suppressed inlining.
 205         (Analyze_Pragma) <Pragma_Inline>: Adjust to above change.
 206         <Pragma_Inline_Always>: Likewise.
 207          <Pragma_No_Inline>: Implement new pragma No_Inline.
 208         (Sig_Flags): Add Pragma_No_Inline.
 209         * gnat_rm.texi (Implementation Defined Pragmas): Add No_Inline.
 210         * gnat_ugn.texi (Switches for gcc): Mention Pragma No_Inline.
 211
 212 2013-02-06  Pascal Obry  <obry@adacore.com>
 213
 214         * s-osprim-mingw.adb (Clock): Make sure we copy all data locally
 215         to avoid interleaved modifications that could happen from another
 216         task calling Get_Base_Data.
 217         (Get_Base_Data): Make it a critical section. Avoid updating if another
 218         task has already done it.
 219
 220 2013-02-06  Eric Botcazou  <ebotcazou@adacore.com>
 221
 222         * sem_prag.adb: Minor reformatting.
 223
 224 2013-02-06  Pascal Obry  <obry@adacore.com>
 225
 226         * s-tasloc.ads: Set System.Task_Lock to preelaborate.
 227
 228 2013-02-06  Eric Botcazou  <ebotcazou@adacore.com>
 229
 230         * snames.ads-tmpl (Name_Loop_Optimize, Name_No_Unroll,
 231         Name_Unroll, Name_No_Vector, Name_Vector): New pragma-related
 232         names.
 233         (Pragma_Id): Add Pragma_Loop_Optimize value.
 234         * par-prag.adb (Prag): Handle Pragma_Loop_Optimize.
 235         * sem_prag.adb (Check_Loop_Invariant_Variant_Placement): Rename to...
 236         (Check_Loop_Pragma_Placement): ...this.
 237         (Analyze_Pragma)
 238         <Pragma_Loop_Invariant>: Adjust to above renaming.
 239         <Loop_Variant>: Likewise.
 240          <Pragma_Loop_Optimize>: Implement new pragma Loop_Optimize.
 241         (Sig_Flags): Add Pragma_Loop_Optimize.
 242         * gnat_rm.texi (Implementation Defined Pragmas): Add Loop_Optimize.
 243         * gnat_ugn.texi (Vectorization of loops): Mention Loop_Optimize.
 244
 245 2013-02-06  Robert Dewar  <dewar@adacore.com>
 246
 247         * osint.ads: Minor fix of typo.
 248
 249 2013-02-06  Sergey Rybin  <rybin@adacore.com frybin>
 250
 251         * gnat_ugn.texi: gnatmetric: update the documentation of
 252         complexity metrics for Ada 2012.
 253
 254 2013-02-06  Javier Miranda  <miranda@adacore.com>
 255
 256         * exp_disp.adb (Make_Secondary_DT): Code cleanup:
 257         remove useless initialization.
 258
 259 2013-02-06  Ed Schonberg  <schonberg@adacore.com>
 260
 261         * sem_ch3.adb (Build_Discriminant_Constraints): Do not
 262         generate overflow checks on a discriminant expression if the
 263         discriminant constraint is applied to a private type that has
 264         a full view, because the check will be applied when the full
 265         view is elaborated.  Removing the redundant check is not just
 266         an optimization, but it prevents spurious assembler errors,
 267         because of the way the backend generates names for expressions
 268         that require overflow checking.
 269
 270 2013-02-06  Pascal Obry  <obry@adacore.com>
 271
 272         * s-osprim-mingw.adb: Removes workaround for an old GNU/Linker
 273         limitation on Windows.
 274         (DA): Removed.
 275         (LIA): Removed.
 276         (LLIA): Removed.
 277         (TFA): Removed.
 278         (BTA): Removed.
 279         (BMTA): Removed.
 280         (BCA): Removed.
 281         (BMCA): Removed.
 282         (BTiA): Removed.
 283         (Clock): Use variable corresponding to access.
 284         (Get_Base_Time): Likewise.
 285         (Monotonic_Clock): Likewise.
 286
 287 2013-02-06  Vincent Celier  <celier@adacore.com>
 288
 289         * make.adb (Gnatmake): When gnatmake is called with a project
 290         file, do not invoke gnatbind with -I-.
 291         * makeutl.adb (Create_Binder_Mapping_File): Rewrite function. Get
 292         the infos from all the sources.
 293
 294 2013-02-06  Ed Schonberg  <schonberg@adacore.com>
 295
 296         * snames.ads-tmpl: Add Name_Overriding_Renamings and pragma
 297         Overriding_Renamings.
 298         * par-prag.adb: Recognize pragma Overriding_Renamings.
 299         * opt.ads (Overriding_Renamings): flag to control compatibility
 300         mode with Rational compiler, replaces Rational_Profile flag.
 301         * sem_ch8.adb (Analyze_Subprogram_Renaming): When
 302         Overriding_Renamings is enabled, accept renaming declarations
 303         where the new subprogram renames and overrides a locally inherited
 304         operation. Improve error message for some illegal renamings.
 305         * sem_prag.adb (Analyze_Pragma): Add case for Overriding_Renamings.
 306         (Set_Rational_Profile): The Rational_Profile enables
 307         Overriding_Renamings, Implicit_Packing, and Use_Vads_Size.
 308
 309 2013-02-06  Ed Schonberg  <schonberg@adacore.com>
 310
 311         * sem_util.adb: Set parent of copied aggregate component, to
 312         prevent infinite loop.
 313
 314 2013-02-06  Robert Dewar  <dewar@adacore.com>
 315
 316         * sem_ch3.adb, sem_ch10.adb: Minor reformatting.
 317         * exp_disp.adb: Minor comment update.
 318         * comperr.ads, osint.ads, rtsfind.adb, sem_prag.adb: Minor addition of
 319         No_Return pragmas.
 320
 321 2013-02-06  Thomas Quinot  <quinot@adacore.com>
 322
 323         * targparm.ads, sem_ch13.adb (Support_Nondefault_SSO): New target
 324         parameter, defaulted to False for now, indicates targets where
 325         non-default scalar storage order may be specified.
 326
 327 2013-02-06  Thomas Quinot  <quinot@adacore.com>
 328
 329         * sprint.adb (Write_Itype): Treat E_Record_Subtype_With_Private
 330         same as E_Record_Subtype.  Display E_Class_Wide_Subtype as
 331         subtype, not type.
 332
 333 2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>
 334
 335         * sem_ch3.adb (Complete_Private_Subtype): Inherit the
 336         Has_Unknown_Discriminants from the full view of the base type.
 337
 338 2013-02-06  Tristan Gingold  <gingold@adacore.com>
 339
 340         * raise-gcc.c: Remove useless includes (sys/stat.h, adaint.h)
 341         Enclosing debugging functions within #ifndef inhibit_libc to
 342         support builds without full C headers.
 343
 344 2013-02-06  Thomas Quinot  <quinot@adacore.com>
 345
 346         * gnat_rm.texi: Add a minimal example of Scalar_Storage_Order.
 347
 348 2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>
 349
 350         * sem_ch10.adb (Install_Limited_Withed_Unit): Add a missing
 351         check to detect a parent-child relationship between two units in
 352         order to correctly bypass the installation of a limited view. In
 353         other words, the comment on the intended usage of the check was
 354         correct, but the code itself did not reflect the behavior.
 355
 356 2013-02-06  Javier Miranda  <miranda@adacore.com>
 357
 358         * exp_ch5.adb (Expand_N_Assignment_Statement): Do not generate the
 359         runtime check on assignment to tagged types if compiling with checks
 360         suppressed.
 361
 362 2013-02-06  Robert Dewar  <dewar@adacore.com>
 363
 364         * exp_util.adb, checks.adb, sem_ch12.adb, sem_res.adb, prj-conf.adb,
 365         s-os_lib.adb: Minor reformatting
 366
 367 2013-02-06  Vincent Celier  <celier@adacore.com>
 368
 369         * ug_words: Add -gnateY = /IGNORE_STYLE_CHECKS_PRAGMAS.
 370
 371 2013-02-06  Ed Schonberg  <schonberg@adacore.com>
 372
 373         * snames.ads-tmpl: Add Name_Rational and pragma Rational.
 374         * par-prag.adb: Recognize pragma Rational.
 375         * opt.ads (Rational_Profile): flag to control compatibility mode
 376         with Rational compiler.
 377         * sem_ch8.adb (Analyze_Subprogram_Renaming): When Rational profile
 378         is enable, accept renaming declarations where the new subprogram
 379         and the renamed entity have the same name.
 380         * sem_prag.adb (analyze_pragma): Add pragma Rational, and recognize
 381         Rational as a profile.
 382
 383 2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>
 384
 385         * exp_ch5.adb (Expand_Loop_Entry_Attributes): When
 386         dealing with a for loop that iterates over a subtype indication
 387         with a range, use the low and high bounds of the subtype.
 388
 389 2013-02-06  Nicolas Roche  <roche@adacore.com>
 390
 391         * s-os_lib.adb (Normalize_Arguments): Arguments containing tabs should
 392         be quoted
 393
 394 2013-02-06  Vincent Celier  <celier@adacore.com>
 395
 396         * prj-conf.adb (Process_Project_And_Apply_Config): New variable
 397         Conf_Project.  New recursive procedure Check_Project to find a non
 398         aggregate project and put its Project_Id in Conf_Project. Fails if
 399         no such project can be found.
 400         (Get_Or_Create_Configuration_File): New parameter Conf_Project.
 401          (Do_Autoconf): Use project directory of project Conf_Project to store
 402         the generated configuration project file.
 403         * prj-conf.ads (Get_Or_Create_Configuration_File): New parameter
 404         Conf_Project.
 405
 406 2013-02-06  Javier Miranda  <miranda@adacore.com>
 407
 408         * sem_res.adb (Resolve_Actuals): Generate a read
 409         reference for out-mode parameters in the cases specified by
 410         RM 6.4.1(12).
 411
 412 2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>
 413
 414         * sem_attr.adb (Resolve_Attribute): Do not resolve the prefix of
 415         Loop_Entry, instead wait until the attribute has been expanded. The
 416         delay ensures that any generated checks or temporaries are inserted
 417         before the relocated prefix.
 418
 419 2013-02-06  Ed Schonberg  <schonberg@adacore.com>
 420
 421         * sem_ch12.adb: Code clean up.
 422
 423 2013-02-06  Ed Schonberg  <schonberg@adacore.com>
 424
 425         * checks.adb (Apply_Discriminant_Check): Look for discriminant
 426         constraint in full view of private type when needed.
 427         * sem_ch12.adb (Validate_Array_Type_Instance): Specialize
 428         previous patch to components types that are private and without
 429         discriminants.
 430
 431 2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>
 432
 433         * exp_ch4.adb (Find_Enclosing_Context): Recognize
 434         a simple return statement as one of the cases that require special
 435         processing with respect to temporary controlled function results.
 436         (Process_Transient_Object): Do attempt to finalize a temporary
 437         controlled function result when the associated context is
 438         a simple return statement.  Instead, leave this task to the
 439         general finalization mechanism.
 440
 441 2013-02-06  Thomas Quinot  <quinot@adacore.com>
 442
 443         * einfo.ads: Minor reformatting.
 444         (Status_Flag_Or_Transient_Decl): Add ??? comment.
 445
 446 2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>
 447
 448         * exp_ch4.adb (Expand_N_Expression_With_Actions): Rewritten. This
 449         routine should be able to properly detect controlled transient
 450         objects in its actions and generate the appropriate finalization
 451         actions.
 452         * exp_ch6.adb (Enclosing_Context): Removed.
 453         (Expand_Ctrl_Function_Call): Remove local subprogram and
 454         constant. Use routine Within_Case_Or_If_Expression to determine
 455         whether the lifetime of the function result must be extended to
 456         match that of the context.
 457         * exp_util.ads, exp_util.adb (Within_Case_Or_If_Expression): New
 458         routine.
 459
 460 2013-02-06  Ed Schonberg  <schonberg@adacore.com>
 461
 462         * sem_ch12.adb (Validate_Array_Type_Instance): Extend check
 463         for subtype matching of component type of formal array type,
 464         to avoid spurious error when component type is a separate actual
 465         in the instance, and there may be a discrepancy between private
 466         and full view of component type.
 467
 468 2013-02-06  Robert Dewar  <dewar@adacore.com>
 469
 470         * s-dim.ads, clean.adb: Minor reformatting.
 471
 472 2013-02-06  Javier Miranda  <miranda@adacore.com>
 473
 474         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Undo previous patch.
 475         (Can_Split_Unconstrained_Function): Only split the inlined function if
 476         the compiler generates the code of its body.
 477
 478 2013-02-06  Robert Dewar  <dewar@adacore.com>
 479
 480         * exp_prag.adb, sem_ch3.adb, exp_attr.adb, sem_prag.adb, sem_ch6.adb,
 481         exp_intr.adb, exp_dist.adb, sem_ch13.adb: Internal clean up for
 482         N_Pragma nodes.
 483
 484 2013-02-06  Robert Dewar  <dewar@adacore.com>
 485
 486         * gnat_rm.texi: Minor text updates for pragma Warning.
 487
 488 2013-02-06  Geert Bosch  <bosch@adacore.com>
 489
 490         * s-multip.adb (Number_Of_CPUs): Short-circuit in case of
 491         CPU'Last = 1.
 492
 493 2013-02-06  Vincent Celier  <celier@adacore.com>
 494
 495         * clean.adb (Delete): On VMS use host notation to delete all files.
 496
 497 2013-02-06  Robert Dewar  <dewar@adacore.com>
 498
 499         * sem_prag.adb, sem_ch6.adb, prj-conf.adb, erroutc.adb: Minor
 500         reformatting.
 501
 502 2013-02-06  Gary Dismukes  <dismukes@adacore.com>
 503
 504         * sem_ch6.adb (Check_For_Primitive_Subprogram): Test for
 505         the special case of a user-defined equality that overrides
 506         the predefined equality of a nonderived type declared in a
 507         declarative part.
 508         * sem_util.adb (Collect_Primitive_Operations): Add test for
 509         Is_Primitive when looping over the subprograms following a type,
 510         to catch the case of primitives such as a user-defined equality,
 511         which otherwise won't be found when the type is not a derived
 512         type and is declared in a declarative part.
 513
 514 2013-02-06  Vincent Celier  <celier@adacore.com>
 515
 516         * prj-conf.adb (Check_Target): Always return True when Target
 517         is empty (Get_Or_Create_Configuration_File.Get_Project_Target):
 518         New procedure to get the value of attribute Target in the main
 519         project.
 520         (Get_Or_Create_Configuration_File.Do_Autoconf): No
 521         need to get the value of attribute Target in the main project.
 522         (Get_Or_Create_Configuration_File): Call Get_Project_Target and
 523         use the target fom this call.
 524
 525 2013-02-06  Eric Botcazou  <ebotcazou@adacore.com>
 526
 527         * erroutc.adb (Validate_Specific_Warning): Do not issue the
 528         warning about an ineffective Pragma Warnings for -Wxxx warnings.
 529         * sem_prag.adb (Analyze_Pragma) <Warnings>: Accept -Wxxx warnings.
 530         * gnat_rm.texi (Pragma Warnings): Document coordination with
 531         warnings of the GCC back-end.
 532
 533 2013-02-06  Javier Miranda  <miranda@adacore.com>
 534
 535         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not build the body
 536         of an inlined function if we do not generate code for the function.
 537
 538 2013-02-06  Pascal Obry  <obry@adacore.com>
 539
 540         * s-os_lib.adb (Locate_Exec_On_Path): Call Normalize_Pathname
 541         with Resolve_Links set to False.
 542
 543 2013-02-03  Eric Botcazou  <ebotcazou@adacore.com>
 544
 545         * gcc-interface/decl.c: Include diagnostic-core.h.
 546         (gnat_to_gnu_entity) <E_Array_Type>: Sorry if Reverse_Storage_Order
 547         is set on the entity.
 548         <E_Record_Type>: Likewise.
 549         * gcc-interface/Make-lang.in (ada/decl.o): Add $(DIAGNOSTIC_CORE_H).
 550
 551 2013-01-29  Ben Brosgol  <brosgol@adacore.com>
 552
 553         * gnat_rm.texi: Fixed typos. Minor edits.
 554
 555 2013-01-29  Bob Duff  <duff@adacore.com>
 556
 557         * a-convec.adb: Minor reformatting.
 558
 559 2013-01-29  Pascal Obry  <obry@adacore.com>
 560
 561         * tempdir.adb, tempdir.ads (Use_Temp_Dir): Set wether to use the temp
 562         directory.
 563
 564 2013-01-29  Ed Schonberg  <schonberg@adacore.com>
 565
 566         * exp_ch5.adb (Expand_Iterator_Loop_Over_Array): Preserve loop
 567         identifier only if it comes from source.
 568         (Expand_N_Loop_Statement): If the domain of iteration is an
 569         enumeration type with a representation clause, remove from
 570         visibility the loop identifier before rewriting the loop as a
 571         block with a declaration for said identifier.
 572         * sem_util.adb (Remove_Homonym): Handle properly the default case.
 573
 574 2013-01-29  Vincent Celier  <celier@adacore.com>
 575
 576         * prj-proc.adb: Minor comment spelling fix.
 577
 578 2013-01-29  Pascal Obry  <obry@adacore.com>
 579
 580         * prj-proc.adb (Process_Expression_Variable_Decl): Prepend
 581         Project_Path to current environment.
 582
 583 2013-01-29  Thomas Quinot  <quinot@adacore.com>
 584
 585         * sprint.adb (Sprint_Node_Actual): Output freeze nodes for
 586         itypes even if Dump_Freeze_Null is not set.
 587
 588 2013-01-29  Robert Dewar  <dewar@adacore.com>
 589
 590         * sem_util.adb: Minor reformatting.
 591         * s-rident.ads: Minor comment fixes.
 592
 593 2013-01-29  Pascal Obry  <obry@adacore.com>
 594
 595         * prj-env.ads, prj-env.adb (Add_Directories): Add parameter to
 596         control if the path is prepended or appended.
 597
 598 2013-01-29  Ed Schonberg  <schonberg@adacore.com>
 599
 600         * sem_ch6.adb (Analyze_Expression_Function): An expression
 601         function declaration is not a subprogram declaration, and thus
 602         cannot appear in a protected definition.
 603
 604 2013-01-29  Hristian Kirtchev  <kirtchev@adacore.com>
 605
 606         * exp_util.adb (Insert_Actions): When new
 607         actions come from the expression of the expression with actions,
 608         then they must be added to the list of existing actions.
 609
 610 2013-01-29  Eric Botcazou  <ebotcazou@adacore.com>
 611
 612         * sem_ch3.adb (Analyze_Subtype_Declaration) <Private_Kind>: For
 613         the subtype of a constrained private type with discriminants
 614         that has got a full view, show that the completion is a clone
 615         of the full view.
 616
 617 2013-01-29  Javier Miranda  <miranda@adacore.com>
 618
 619         * errout.ads, errout.adb (Get_Ignore_Errors): New subprogram.
 620         * opt.ads (Warn_On_Overlap): Update documentation.
 621         * sem_aggr.adb (Resolve_Aggregate, Resolve_Extension_Aggregate):
 622         Check function writable actuals.
 623         * sem_ch3.adb (Build_Derived_Record_Type,
 624         Record_Type_Declaration): Check function writable actuals.
 625         * sem_ch4.adb (Analyze_Range): Check function writable actuals.
 626         * sem_ch5.adb (Analyze_Assignment): Remove code of the initial
 627         implementation of AI05-0144.
 628         * sem_ch6.adb (Analyze_Function_Return,
 629         (Analyze_Procedure_Call.Analyze_Call_And_Resolve): Remove code
 630         of the initial implementation of AI05-0144.
 631         * sem_res.adb (Resolve): Remove code of the initial implementation.
 632         (Resolve_Actuals): Call Check_Function_Writable_Actuals and remove call
 633         of the initial implementation.
 634         (Resolve_Arithmetic_Op, Resolve_Logical_Op,
 635         Resolve_Membership_Op): Check function writable actuals.
 636         * sem_util.ad[sb] (Actuals_In_Call): Removed
 637         (Check_Order_Dependence): Removed (Save_Actual): Removed
 638         (Check_Function_Writable_Actuals): New subprogram.
 639         * usage.adb (Usage): Update documentation.
 640         * warnsw.adb (Set_Warning_Switch): Enable warn_on_overlap when
 641         setting all warnings.
 642
 643 2013-01-29  Robert Dewar  <dewar@adacore.com>
 644
 645         * a-calend-vms.adb: Minor comment fix.
 646
 647 2013-01-29  Robert Dewar  <dewar@adacore.com>
 648
 649         * mlib-utl.adb, gnatlink.adb: Avoid reference to ASCII.Back_Slash
 650         because of casing issues.
 651         * sem_util.ads: Minor comment fix.
 652         * style.adb (Check_Identifier): Set proper casing for entities
 653         in ASCII.
 654         * styleg.adb: Minor comment improvement.
 655         * stylesw.ads (Style_Check_Standard): Fix bad comments.
 656
 657 2013-01-29  Hristian Kirtchev  <kirtchev@adacore.com>
 658
 659         * sem_prag.adb: Add the grammar for pragmas Abstract_State and Global.
 660         (Analyze_Pragma): Push the scope of the related subprogram and install
 661         its formals once before starting the analysis of the [moded] global
 662         list.
 663
 664 2013-01-29  Pascal Obry  <obry@adacore.com>
 665
 666         * prj-proc.adb (Process_Expression_Variable_Decl): Always handle
 667         relative paths in Project_Path as relative to the aggregate
 668         project location. Note that this was what was documented.
 669
 670 2013-01-29  Vincent Celier  <celier@adacore.com>
 671
 672         * gnatcmd.adb: For "gnat stub -P ...", do not check the naming
 673         scheme for Ada, when Ada is not a language for the project.
 674
 675 2013-01-29  Ed Schonberg  <schonberg@adacore.com>
 676
 677         * sem_ch3.adb (Analyze_Subtype_Declaration): Inherit
 678         Is_Generic_Actual_Type flag in a nested instance.
 679         * sem_ch12.adb (Restore_Private_Views): Preserve
 680         Is_Generic_Actual_Type flag if actual is a Generic_Actual_Type
 681         of an enclosing instance.
 682         * sem_util.adb (Corresponding_Generic_Type): Handle generic actual
 683         which is an actual of an enclosing instance.
 684         * sem_type.adb (Real_Actual): If a generic_actual_type is the
 685         formal of an enclosing generic and thus renames the corresponding
 686         actual, use the actual of the enclosing instance to resolve
 687         spurious ambiguities in instantiations when two formals are
 688         instantiated with the same actual.
 689
 690 2013-01-29  Robert Dewar  <dewar@adacore.com>
 691
 692         * gnat_rm.texi: Document all Ada 2005 and Ada 2012 pragmas as
 693         being available as implementation-defined pragmas in earlier
 694         versions of Ada.
 695
 696 2013-01-29  Vincent Celier  <celier@adacore.com>
 697
 698         * clean.adb (Delete): On VMS, delete all versions of the file.
 699
 700 2013-01-29  Robert Dewar  <dewar@adacore.com>
 701
 702         * par-ch6.adb (No_Constraint_Maybe_Expr_Func): New procedure.
 703         * par-util.adb (No_Constraint): Undo special handling, moved
 704         to par-ch6.adb.
 705
 706 2013-01-29  Robert Dewar  <dewar@adacore.com>
 707
 708         * aspects.ads: Aspect Warnings is implementation defined Add
 709         some other missing entries to impl-defined list Mark Warnings
 710         as GNAT pragma in main list.
 711         * sem_ch8.adb: Process aspects for all cases of renaming
 712         declarations.
 713
 714 2013-01-29  Robert Dewar  <dewar@adacore.com>
 715
 716         * sem_ch6.adb (Analyze_Function_Call): Set In_Assertion flag.
 717         * sem_elab.adb (Check_Internal_Call_Continue): Do not issue
 718         warnings about possible elaboration error if call is within
 719         an assertion.
 720         * sinfo.ads, sinfo.adb (In_Assertion): New flag in N_Function_Call node.
 721
 722 2013-01-29  Robert Dewar  <dewar@adacore.com>
 723
 724         * a-calend-vms.adb, g-eacodu-vms.adb, g-trasym-vms-alpha.adb,
 725         * s-auxdec-vms-ia64.adb, s-mastop-vms.adb, s-osprim-vms.adb,
 726         s-tasdeb-vms.adb: Replace pragma Interface by pragma Import.
 727
 728 2013-01-29  Robert Dewar  <dewar@adacore.com>
 729
 730         * opt.ads (Ignore_Style_Checks_Pragmas): New flag.
 731         * par-prag.adb (Par, case Style_Checks): Recognize
 732         Ignore_Style_Checks_Pragmas.
 733         * sem_prag.adb (Analyze_Pragma, case Style_Checks): Recognize
 734         Ignore_Style_Checks_Pragmas.
 735         * switch-c.adb: Recognize -gnateY switch.
 736         * usage.adb: Add documentation for "-gnateY".
 737         * vms_data.ads: Add IGNORE_STYLE_CHECKS_PRAGMAS (-gnateY).
 738
 739 2013-01-29  Vincent Celier  <celier@adacore.com>
 740
 741         * clean.adb (Clean_Executables): Add Sid component when calling
 742         Queue.Insert.
 743         * make.adb: When inserting in the Queue, add the Source_Id
 744         (Sid) when it is known (Start_Compile_If_Possible): When the
 745         Source_Id is known (Sid), get the path name of the ALI file
 746         (Full_Lib_File) from it, to avoid finding old ALI files in other
 747         object directories.
 748         * makeutl.ads (Source_Info): New Source_Id component Sid in
 749         Format_Gnatmake variant.
 750
 751 2013-01-29  Robert Dewar  <dewar@adacore.com>
 752
 753         * gnat_ugn.texi: Document -gnateY.
 754
 755 2013-01-29  Doug Rupp  <rupp@adacore.com>
 756
 757         * s-osinte-vms.ads, s-taprop-vms.adb, system-vms_64.ads,
 758         system-vms-ia64.ads: Replace pragma Interface by pragma Import.
 759
 760 2013-01-29  Robert Dewar  <dewar@adacore.com>
 761
 762         * atree.ads, atree.adb (Node30): New function.
 763         (Set_Node30): New procedure.
 764         (Num_Extension_Nodes): Change to 5 (activate new fields/flags).
 765         * atree.h: Add macros for Field30 and Node30.
 766         * einfo.ads, einfo.adb: Move some fields to avoid duplexing.
 767         * treepr.adb (Print_Entity_Information): Print fields 30-35.
 768
 769 2013-01-29  Robert Dewar  <dewar@adacore.com>
 770
 771         * sem_prag.adb (Analyze_Pragma, case Interface): Consider to
 772         be a violation of No_Obsolescent_Features even in Ada 95. Also
 773         generates a warning in -gnatwj mode.
 774         (Analyze_Pragma, case Interface_Name): Generates a warning in -gnatwj
 775         mode.
 776         * gnat_ugn.texi: Additional documentation on -gnatwj and pragma
 777         Interface[_Name].
 778
 779 2013-01-29  Vincent Celier  <celier@adacore.com>
 780
 781         * snames.ads-tmpl: Add new standard name Trailing_Switches.
 782
 783 2013-01-29  Ed Schonberg  <schonberg@adacore.com>
 784
 785         * sem_disp.adb (Check_Controlling_Type): If a designated type T
 786         of an anonymous access type is a limited view of a tagged type,
 787         it can be a controlling type only if the subprogram is in the
 788         same scope as T.
 789
 790 2013-01-29  Vincent Celier  <celier@adacore.com>
 791
 792         * gnatcmd.adb: Use the project where the config pragmas file is
 793         declared to get its path.
 794
 795 2013-01-29  Vincent Celier  <celier@adacore.com>
 796
 797         * prj-attr.adb: New attribute Linker'Trailing_Switches.
 798
 799 2013-01-22  Eric Botcazou  <ebotcazou@adacore.com>
 800
 801         * gcc-interface/trans.c (gnat_to_gnu) <N_Expression_With_Actions>: Do
 802         not translate the Etype of the node before translating the Actions.
 803
 804 2013-01-22  Eric Botcazou  <ebotcazou@adacore.com>
 805
 806         * gcc-interface/trans.c (Pragma_to_gnu) <Name_Space>: Use optimize_size
 807         instead of optimize and adjust warning message.
 808         (Compilation_Unit_to_gnu): Process pragmas preceding the unit.
 809
 810 2013-01-22  Tristan Gingold  <gingold@adacore.com>
 811
 812         * gcc-interface/gigi.h (ADT_unhandled_except_decl,
 813         ADT_unhandled_others_decl): New.
 814         (unhandled_others_decl, unhandled_except_decl): Define.
 815         * gcc-interface/trans.c: Include common/common-target.h.
 816         (gigi): Initialize them.
 817         (Subprogram_Body_to_gnu): On SEH targets, wrap the body of the main
 818         function in a try/catch clause.
 819
 820 2013-01-11  Eric Botcazou  <ebotcazou@adacore.com>
 821
 822         * gcc-interface/Make-lang.in (COMMON_ADAFLAGS): Remove -gnata.
 823         (CHECKING_ADAFLAGS): New.
 824         (ALL_ADAFLAGS): Include CHECKING_ADAFLAGS.
 825
 826 2013-01-10  Eric Botcazou  <ebotcazou@adacore.com>
 827
 828         * gcc-interface/config-lang.in (boot_language_boot_flags): Delete.
 829         * gcc-interface/Make-lang.in (BOOT_ADAFLAGS): Likewise.
 830
 831 2013-01-07  Eric Botcazou  <ebotcazou@adacore.com>
 832
 833         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Adjust
 834         comment about type extension with discriminants.
 835         <E_Record_Subtype>: Remove useless test and reorder conditions.
 836         (elaborate_entity) <E_Record_Subtype>: Likewise.
 837
 838 2013-01-07  Richard Biener  <rguenther@suse.de>
 839
 840         PR ada/864
 841         * gcc-interface/Make-lang.in (ada.install-common): Always apply
 842         program_transform_name.
 843
 844 2013-01-06  Eric Botcazou  <ebotcazou@adacore.com>
 845
 846         * gnatvsn.ads (Current_Year): Bump to 2013.
 847
 848 2013-01-06  Olivier Hainque  <hainque@adacore.com>
 849
 850         * gcc-interface/decl.c (gnat_to_gnu_field): Emit a specialized
 851         diagnostic for component size mismatch wrt volatile requirements.
 852         Add a gcc_unreachable() at the end of the checks for size.  Split
 853         the check on volatile for positions into one check on atomic and
 854         a subsequent one on volatile.
 855
 856 2013-01-06  Eric Botcazou  <ebotcazou@adacore.com>
 857
 858         * gcc-interface/decl.c (elaborate_entity) <E_Record_Type>: Delete.
 859
 860 2013-01-06  Eric Botcazou  <ebotcazou@adacore.com>
 861
 862         * gcc-interface/decl.c (gnat_to_gnu_entity) <discrete_type>: Do not
 863         pack the field of the record type made for a misaligned type.
 864
 865 2013-01-06  Eric Botcazou  <ebotcazou@adacore.com>
 866
 867         * gcc-interface/decl.c (annotate_value) <COMPONENT_REF>: Be prepared
 868         for discriminants inherited from parent record types.
 869
 870 2013-01-04  Robert Dewar  <dewar@adacore.com>
 871
 872         * warnsw.adb: Minor fixes to -gnatw.d handling.
 873
 874 2013-01-04  Robert Dewar  <dewar@adacore.com>
 875
 876         * einfo.adb, atree.adb: Enlarge entities to make 63 more flags, 6 more
 877         fields.
 878
 879 2013-01-04  Joel Brobecker  <brobecker@adacore.com>
 880
 881         * gnat_ugn.texi: Fix typo.
 882
 883 2013-01-04  Robert Dewar  <dewar@adacore.com>
 884
 885         * gnat_rm.texi: Document alignment choice for subtypes.
 886
 887 2013-01-04  Robert Dewar  <dewar@adacore.com>
 888
 889         * validsw.ads: Minor fix to comment.
 890
 891 2013-01-04  Doug Rupp  <rupp@adacore.com>
 892
 893         * Makefile.rtl (GNATRTL_NONTASKING_OBJS,
 894         GNATRTL_ALTIVEC_OBJS): Factor g-al* objects.
 895         * gcc-interface/Makefile.in (ADA_EXCLUDE_SRCS): Add g-al* sources.
 896         (GNATRTL_ALTIVEC_OBJS): Override to null for VMS.
 897         Rename leon vxworks toolchain as leon-wrs-vxworks.
 898         * gcc-interface/Make-lang.in: Update dependencies
 899
 900 2013-01-04  Pascal Obry  <obry@adacore.com>
 901
 902         * prj.ads (For_Each_Source): Add Locally_Removed parameter.
 903         (Source_Iterator): Add Locally_Removed field.
 904         * prj.adb (For_Each_Source): Ignore Locally_Removed files if needed.
 905         (Next): Likewise.
 906
 907 2013-01-04  Robert Dewar  <dewar@adacore.com>
 908
 909         * exp_attr.adb: Minor reformatting.
 910
 911 2013-01-04  Robert Dewar  <dewar@adacore.com>
 912
 913         * checks.adb (Insert_Valid_Check): Fix handling of renamed
 914         packed array element.
 915         * exp_ch4.adb (Expand_Concatenate): Fix some missing parent
 916         fields in generated code.
 917         * exp_util.adb (Side_Effect_Free): Improve detection of cases
 918         needing renaming.
 919
 920 2013-01-04  Robert Dewar  <dewar@adacore.com>
 921
 922         * sinfo.ads: Clean up order of N_xxx subtypes
 923
 924 2013-01-04  Vincent Celier  <celier@adacore.com>
 925
 926         * prj-conf.adb (Check_Target): Allow --autoconf= with no target.
 927
 928 2013-01-04  Robert Dewar  <dewar@adacore.com>
 929
 930         * types.ads, prj-conf.adb, par-tchk.adb: Minor reformatting.
 931
 932 2013-01-04  Robert Dewar  <dewar@adacore.com>
 933
 934         * par-ch6.adb (P_Subprogram): Better handling of missing IS
 935         after expression function.
 936         * par-util.adb (No_Constraint): Improve handling to avoid bad warnings.
 937
 938 2013-01-04  Robert Dewar  <dewar@adacore.com>
 939
 940         * exp_util.ads, exp_util.adb (Insert_Actions): In expression with
 941         actions case, new actions are appended to the sequence rather than
 942         prepended.
 943
 944 2013-01-04  Robert Dewar  <dewar@adacore.com>
 945
 946         * gnat_ugn.texi: Document -gnatw.d/w.D (does no apply in VMS mode).
 947         * usage.adb: Add lines for -gnatw.d/w.D switches.
 948         * warnsw.adb: Minor fixes (some missing cases of setting
 949         Warning_Doc_Switch). Reject -gnatw.d and -gnatw.D in VMS mode.
 950
 951 2013-01-04  Robert Dewar  <dewar@adacore.com>
 952
 953         * exp_util.adb (Remove_Side_Effects): Make sure scope suppress
 954         is restored on exit.
 955
 956 2013-01-04  Robert Dewar  <dewar@adacore.com>
 957
 958         * usage.adb: Document -gnateF (check overflow for predefined Float).
 959
 960 2013-01-04  Robert Dewar  <dewar@adacore.com>
 961
 962         * sem_res.adb (Resolve_Type_Conversion): Remove incorrect
 963         prevention of call to Apply_Type_Conversion_Checks, which resulted
 964         in missing check flags in formal mode.
 965
 966 2013-01-04  Vincent Celier  <celier@adacore.com>
 967
 968         * makeutl.ads (Db_Switch_Args): New table used by gprbuild.
 969         * prj-conf.adb (Check_Builder_Switches): Check for switches
 970         --config= (Get_Db_Switches): New procedure to get the --db
 971         switches so that they are used when invoking gprconfig in
 972         auto-configuration.
 973         (Do_Autoconf): When invoking gprconfig, use the --db switches, if any.
 974
 975 2013-01-04  Pascal Obry  <obry@adacore.com>
 976
 977         * prj-nmsc.adb: Minor reformatting.
 978
 979 2013-01-04  Vincent Celier  <celier@adacore.com>
 980
 981         * makeutl.ads (Root_Environment): New variable, moved rom
 982         gprbuild (Load_Standard_Base): New Boolean variable, moved
 983         from gprbuild.
 984         * prj-conf.adb (Check_Builder_Switches): New procedure to check
 985         for switch --RTS in package Builder. If a runtime specified
 986         by --RTS is a relative path name, but not a base name, then
 987         find the path on the Project Search Path.
 988         (Do_Autoconf): Call Check_Builder_Switches.
 989         (Locate_Runtime): New procedure, moved from gprbuild, to get the
 990         absolute paths of runtimes when they are not specified as a base name.
 991         * prj-conf.ads (Locate_Runtime): New procedure, moved from gprbuild.
 992
 993 2013-01-04  Ed Schonberg  <schonberg@adacore.com>
 994
 995         * sem_ch3.adb (Build_Private_Derived_Type): Set
 996         Has_Private_Ancestor on type derived from an untagged private
 997         type whose full view has discriminants
 998         * sem_aggr.adb (Resolve_Record_Aggregate): Reject non-extension
 999         aggregate for untagged record type with private ancestor.
1000
1001 2013-01-04  Thomas Quinot  <quinot@adacore.com>
1002
1003         * sem_elab.adb, sem_ch3.adb: Minor reformatting.
1004
1005 2013-01-04  Robert Dewar  <dewar@adacore.com>
1006
1007         * table.adb: Minor reformatting.
1008
1009 2013-01-04  Ed Schonberg  <schonberg@adacore.com>
1010
1011         * sem_ch10.adb (Check_Redundant_Withs): A with_clause that does
1012         not come from source does not generate a warning for redundant
1013         with_clauses.
1014
1015 2013-01-04  Hristian Kirtchev  <kirtchev@adacore.com>
1016
1017         * aspects.adb, aspects.ads: Add Aspect_Global to all relevant tables.
1018         * par-prag.adb: Add pragma Global to the list of pragmas that
1019         do not need special processing by the parser.
1020         * sem_ch13.adb (Analyze_Aspect_Specifications): Convert aspect
1021         Global into a pragma without any form of legality checks. The
1022         work is done by Analyze_Pragma. The aspect and pragma are both
1023         marked as needing delayed processing.  Insert the corresponding
1024         pragma of aspect Abstract_State in the visible declarations of the
1025         related package.
1026         (Check_Aspect_At_Freeze_Point): Aspect Global
1027         does not need processing even though it is marked as delayed.
1028         Alphabetize the list on aspect names.
1029         * sem_prag.adb: Add a value for pragma Global in table Sig_Flags.
1030         (Analyze_Pragma): Add ??? comment about the grammar of pragma
1031         Abstract_State.  Move the error location from the pragma to the
1032         state to improve the quality of error placement.  Add legality
1033         checks for pragma Global.
1034         * snames.ads-tmpl Add the following specially recognized names
1035
1036 2013-01-04  Eric Botcazou  <ebotcazou@adacore.com>
1037
1038         * sem_ch3.adb: Fix minor typo.
1039
1040 2013-01-04  Ed Schonberg  <schonberg@adacore.com>
1041
1042         * par-ch13.adb (Aspect_Specifications_Present): In Strict mode,
1043         accept an aspect name followed by a comma, indicating a defaulted
1044         boolean aspect.
1045
1046 2013-01-04  Joel Brobecker  <brobecker@adacore.com brobecker>
1047
1048         * gnat_ugn.texi: Document procedure to codesign GDB on Darwin.
1049         Update doc on gnattest --separates switch.
1050
1051 2013-01-04  Thomas Quinot  <quinot@adacore.com>
1052
1053         * s-chepoo.ads: Minor reformatting.
1054
1055 2013-01-04  Arnaud Charlet  <charlet@adacore.com>
1056
1057         * usage.adb: Remove mention of -gnatN in usage.
1058
1059 2013-01-04  Robert Dewar  <dewar@adacore.com>
1060
1061         * exp_prag.adb, gnatcmd.adb, exp_util.adb, table.adb, sem_prag.adb,
1062         freeze.adb, sem_ch4.adb, sem_warn.adb, opt.ads, exp_aggr.adb,
1063         prj-conf.adb, sem_ch13.adb: Minor reformatting.
1064
1065 2013-01-04  Thomas Quinot  <quinot@adacore.com>
1066
1067         * sinfo.ads: Minor documentation update.
1068
1069 2013-01-04  Thomas Quinot  <quinot@adacore.com>
1070
1071         * sem_ch3.adb, einfo.adb (Analyze_Object_Declaration): Do not set Ekind
1072         before resolving initialization expression.
1073
1074 2013-01-04  Hristian Kirtchev  <kirtchev@adacore.com>
1075
1076         * checks.adb (Generate_Index_Checks): Delay the generation of
1077         the check for an indexed component where the prefix mentions
1078         Loop_Entry until the attribute has been properly expanded.
1079         * exp_ch5.adb (Expand_Loop_Entry_Attributes): Perform minor
1080         decoration of the constant that captures the value of Loop_Entry's
1081         prefix at the entry point into a loop.  Generate index checks
1082         for an attribute reference that has been transformed into an
1083         indexed component.
1084
1085 2013-01-04  Thomas Quinot  <quinot@adacore.com>
1086
1087         * exp_prag.adb, exp_util.adb, exp_util.ads, freeze.adb, exp_aggr.adb,
1088         sem_ch13.adb (Exp_Aggr.Collect_Initialization_Statements): Nothing to
1089         do if Obj is already frozen.
1090         (Exp_Util.Find_Init_Call): Rename to...
1091         (Exp_Util.Remove_Init_Call): New subprogram, renamed from
1092         Find_Init_Call.  Remove the initialization call from the enclosing
1093         list if found, and if it is from an Initialization_Statements
1094         attribute, reset it.
1095         (Exp_Util.Append_Freeze_Action): Minor code reorganization.
1096         (Exp_Util.Append_Freeze_Actions): Ensure a freeze node has been
1097         allocated (as is already done in Append_Freeze_Action).
1098         (Freeze.Freeze_Entity): For an object with captured
1099         Initialization_Statements and non-delayed freezeing, unwrap the
1100         initialization statements and insert and them directly in the
1101         enclosing list.
1102         (Sem_Ch13.Check_Address_Clause): For an object
1103         with Initialization_Statements and an address clause, unwrap the
1104         initialization statements when moving them to the freeze actions.
1105
1106 2013-01-03  Pascal Obry  <obry@adacore.com>
1107
1108         * prj-attr.adb, projects.texi, snames.ads-tmpl: Add package remote and
1109         corresponding attibutes.
1110
1111 2013-01-03  Thomas Quinot  <quinot@adacore.com>
1112
1113         * exp_aggr.adb: Minor comment improvement.
1114
1115 2013-01-03  Hristian Kirtchev  <kirtchev@adacore.com>
1116
1117         * aspects.adb, aspects.ads: Add Aspect_Abstract_State to all the
1118         relevant tables.
1119         * einfo.ads, einfo.adb: Add Integrity_Level and Refined_State to
1120         the description of fields (Abstract_States): New routine.
1121         (Integrity_Level): New routine.
1122         (Has_Property): New routine.
1123         (Is_Input_State): New routine.
1124         (Is_Null_State): New routine.
1125         (Is_Output_State): New routine.
1126         (Is_Volatile_State): New routine.
1127         (Refined_State): New routine.
1128         (Set_Abstract_States): New routine.
1129         (Set_Integrity_Level): New routine.
1130         (Set_Refined_State): New routine.
1131         (Write_Field8_Name): Add proper output for E_Abstract_State.
1132         (Write_Field9_Name): Add proper output for E_Abstract_State.
1133         (Write_Field25_Name): Add proper output for E_Package.
1134         * lib-xref.ads: Add new letter for an abstract state.
1135         * par-prag.adb: Add pragma Abstract_State to the list of pragma
1136         that do not need special processing by the parser.
1137         * sem_ch13.adb (Analyze_Aspect_Specifications): Convert
1138         aspect Abstract_State into a pragma without any form
1139         of legality checks. The work is done by Analyze_Pragma.
1140         (Check_Aspect_At_Freeze_Point): Aspect Abstract_State does not
1141         require delayed analysis.
1142         * sem_prag.adb: Add a value for pragma Abstract_State in table
1143         Sig_Flags.
1144         (Analyze_Pragma): Add legality checks for pragma
1145         Abstract_State. Analysis of individual states introduces a state
1146         abstraction entity into the visibility chain.
1147         * snames.ads-tmpl: Add new names for abstract state and
1148         integrity. Add new pragma id for abstract state.
1149
1150 2013-01-03  Bob Duff  <duff@adacore.com>
1151
1152         * table.adb (Reallocate): Calculate new Length in
1153         Long_Integer to avoid overflow.
1154
1155 2013-01-03  Thomas Quinot  <quinot@adacore.com>
1156
1157         * sem_ch3.adb, sinfo.ads, freeze.adb, sem_ch4.adb, exp_aggr.adb
1158         (Sem_Ch3.Analyze_Object_Declaration): Set Ekind early so that
1159         it is set properly when expanding the initialization expression.
1160         (Freeze.Check_Address_Clause): Transfer initialization expression
1161         to an assignment in the freeze actions, so that the object is
1162         initialized only after being elaborated by GIGI.
1163         (Sinfo (comments), Sem_Ch4.Analyze_Expression_With_Actions): Allow
1164         a Null_Statement as the expression in an Expression_With_Actions.
1165         (Exp_Aggr.Collect_Initialization_Statements): New subprogram
1166         shared by expansion of record and array aggregates, used to
1167         capture statements for an aggregate used to initalize an object
1168         into an Expression_With_Actions (which acts as a container for
1169         a list of actions).
1170         (Exp_Aggr.Convert_Aggr_In_Obj_Decl): Use the above to
1171         capture initialization statements, instead of the previously
1172         existing loop which left freeze nodes out of the capturing
1173         construct (causing out of order elaboration crashes in GIGI).
1174         (Exp_Aggr.Expand_Array_Aggregate):  Use the above to capture
1175         initialization statements (this was previously not done for
1176         arrays).  Also do not unconditionally prevent in place expansion
1177         for an object with address clause.
1178
1179 2013-01-03  Thomas Quinot  <quinot@adacore.com>
1180
1181         * gnat_rm.texi, freeze.adb (Check_Component_Storage_Order): Check that
1182         a record extension has the same scalar storage order as the parent type.
1183
1184 2013-01-03  Thomas Quinot  <quinot@adacore.com>
1185
1186         * exp_ch4.adb: Add comment.
1187
1188 2013-01-03  Vincent Celier  <celier@adacore.com>
1189
1190         * prj.adb: Minor spelling error correction in comment.
1191
1192 2013-01-03  Vincent Celier  <celier@adacore.com>
1193
1194         * gnatcmd.adb (GNATCmd): If a single main has been specified
1195         as an absolute path, use its simple file name to find specific
1196         switches, instead of the absolute path.
1197
1198 2013-01-03  Javier Miranda  <miranda@adacore.com>
1199
1200         * sem_warn.adb (Warn_On_Overlapping_Actuals): For overlapping
1201         parameters that are record types or array types generate warnings
1202         only compiling under -gnatw.i
1203         * opt.ads (Extensions_Allowed): Restore previous documentation.
1204
1205 2013-01-03  Vincent Celier  <celier@adacore.com>
1206
1207         * prj-conf.adb (Do_Autoconf): If Target is specified in the
1208         main project, but not on the command line, use the Target in
1209         the project to invoke gprconfig in auto-configuration.
1210         * makeutl.ads (Default_Config_Name): New constant String.
1211
1212 2013-01-03  Arnaud Charlet  <charlet@adacore.com>
1213
1214         * usage.adb: Minor: fix typo in usage.
1215
1216 2013-01-03  Thomas Quinot  <quinot@adacore.com>
1217
1218         * sem_ch13.adb (Analyze_Record_Representation_Clause): Reject
1219         an illegal component clause for an inherited component in a
1220         record extension.
1221
1222 2013-01-03  Emmanuel Briot  <briot@adacore.com>
1223
1224         * xref_lib.adb (Parse_Identifier_Info): Fix handling of arrays, which
1225         have information in the ALI file for both the index and the component
1226         types.
1227
1228 2013-01-03  Emmanuel Briot  <briot@adacore.com>
1229
1230         * projects.texi: Fix error in documenting the project path
1231         computed for an aggregate project.
1232
1233 2013-01-03  Javier Miranda  <miranda@adacore.com>
1234
1235         * sem_warn.adb (Warn_On_Overlapping_Actuals): Adding documentation
1236         plus restricting the functionality of this routine to cover the
1237         cases described in the Ada 2012 reference manual. The previous
1238         extended support is now available under -gnatX.
1239         * s-tassta.adb (Finalize_Global_Tasks): Addition of a dummy
1240         variable to call Timed_Sleep.  Required to avoid warning on
1241         overlapping out-mode actuals.
1242         * opt.ads (Extensions_Allowed): Update documentation.
1243
1244 2013-01-03  Tristan Gingold  <gingold@adacore.com>
1245
1246         * s-arit64.ads: Use Multiply_With_Ovflo_Check as __gnat_mulv64.
1247         * arit64.c: Removed
1248         * gcc-interface/Makefile.in: Remove reference to arit64.c.
1249
1250 2013-01-03  Thomas Quinot  <quinot@adacore.com>
1251
1252         * checks.adb, checks.ads (Apply_Address_Clause_Check): The check must
1253         be generated at the start of the freeze actions for the entity, not
1254         before (or after) the freeze node.
1255
1256 2013-01-03  Thomas Quinot  <quinot@adacore.com>
1257
1258         * exp_aggr.adb (Exp_Aggr.Convert_Aggregate_In_Obj_Decl):
1259         Reorganize code to capture initialization statements in a block,
1260         so that freeze nodes are excluded from the captured block.
1261
1262 2013-01-03  Thomas Quinot  <quinot@adacore.com>
1263
1264         * exp_ch11.adb: Minor reformatting.
1265
1266 2013-01-03  Thomas Quinot  <quinot@adacore.com>
1267
1268         * exp_util.adb, einfo.adb, einfo.ads, freeze.adb, exp_aggr.adb,
1269         sem_ch13.adb (Einfo.Initialization_Statements,
1270         Einfo.Set_Initialization_Statements): New entity attribute
1271         for objects.
1272         (Exp_Util.Find_Init_Call): Handle case of an object initialized
1273         by an aggregate converted to a block of assignment statements.
1274         (Freeze.Check_Address_Clause): Do not clear Has_Delayed_Freeze
1275         even for objects that require a constant address, because the
1276         address expression might involve entities that have yet to be
1277         elaborated at the point of the object declaration.
1278         (Exp_Aggr.Convert_Aggregate_In_Obj_Decl): For a type that does
1279         not require a transient scope, capture the assignment statements
1280         in a block so that they can be moved down after elaboration of
1281         an address clause if needed.
1282         (Sem_Ch13.Check_Constant_Address_Clause.Check_Expr_Constants,
1283         case N_Unchecked_Conversion): Do not replace operand subtype with
1284         its base type as this violates a GIGI invariant if the operand
1285         is an identifier (in which case the etype of the identifier
1286         is expected to be equal to that of the denoted entity).
1287
1288 2013-01-03  Javier Miranda  <miranda@adacore.com>
1289
1290         * sem_util.ads, sem_util.adb (Denotes_Same_Object): Extend the
1291         functionality of this routine to cover cases described in the Ada 2012
1292         reference manual.
1293
1294 2013-01-03  Ed Schonberg  <schonberg@adacore.com>
1295
1296         * sem_elab.adb (Set_Elaboration_Constraint): Handle properly
1297         a 'Access attribute reference when the subprogram is called
1298         Initialize.
1299
1300 2013-01-03  Arnaud Charlet  <charlet@adacore.com>
1301
1302         * s-tpobop.adb (PO_Do_Or_Queue): Refine assertion, since a
1303         select statement may be called from a controlled (e.g. Initialize)
1304         operation and have abort always deferred.
1305
1306 2013-01-03  Robert Dewar  <dewar@adacore.com>
1307
1308         * sem_ch8.adb, einfo.ads, einfo.adb: Minor code reorganization.
1309
1310 2013-01-03  Javier Miranda  <miranda@adacore.com>
1311
1312         * exp_ch3.adb (Make_Controlling_Function_Wrappers): Exclude
1313         internal entities associated with interfaces and add minimum
1314         decoration to the defining entity of the generated wrapper to
1315         allow overriding interface primitives.
1316         * sem_disp.ads (Override_Dispatching_Operation): Addition of a
1317         new formal (Is_Wrapper).
1318         * sem_disp.adb (Override_Dispatching_Operation): When overriding
1319         interface primitives the new formal helps identifying that the
1320         new operation is not fully decorated.
1321
1322 2013-01-03  Thomas Quinot  <quinot@adacore.com>
1323
1324         * sem_ch7.adb, sem_ch10.adb, einfo.adb, einfo.ads, sem_ch12.adb,
1325         rtsfind.adb, sem_elab.adb, sem_ch4.adb, sem_ch8.adb
1326         (Einfo.Is_Visible_Child_Unit, Einfo.Set_Is_Visible_Child_Unit):
1327         Rename to Is_Visible_Lib_Unit, Set_Is_Visible_Lib_Unit, and
1328         update spec accordingly (now also applies to root library units).
1329         (Sem_Ch10.Analyze_Subunit.Analyze_Subunit_Context): Toggle above flag
1330         on root library units, not only child units.
1331         (Sem_Ch10.Install[_Limited]_Withed_Unit): Same.
1332         (Sem_Ch10.Remove_Unit_From_Visibility): Reset Is_Visible_Lib_Unit
1333         even for root library units.
1334         (Sem_Ch8.Find_Expanded_Name): A selected component form whose prefix is
1335         Standard is an expanded name for a root library unit.
1336
1337 2013-01-03  Thomas Quinot  <quinot@adacore.com>
1338
1339         * exp_ch3.adb: Minor reformatting.
1340
1341 2013-01-03  Olivier Hainque  <hainque@adacore.com>
1342
1343         * tracebak.c: Reinstate changes to support ppc-lynx178.
1344
1345 2013-01-03  Ed Schonberg  <schonberg@adacore.com>
1346
1347         * atree.ads: Minor reformatting and documentation enhancement.
1348
1349 2013-01-03  Ed Schonberg  <schonberg@adacore.com>
1350
1351         * exp_ch3.adb (Expand_N_Object_Declaration): If the object has
1352         a class-wide type and a renaming declaration is created for it,
1353         preserve entity chain, which already contains generated internal
1354         types. This ensures that freezing actions are properly generated
1355         for all objects declared subsequently in the same scope, and
1356         that debugging information is generated for them.
1357         * sem_util.adb, sem_util.ads (we): New debugging routine, to
1358         display entity chain of a given scope.
1359
1360 2013-01-03  Robert Dewar  <dewar@adacore.com>
1361
1362         * exp_intr.adb: Minor reformatting.
1363
1364 2013-01-03  Robert Dewar  <dewar@adacore.com>
1365
1366         * einfo.adb: Minor reformatting.
1367
1368 2013-01-03  Pascal Obry  <obry@adacore.com>
1369
1370         * adaint.c, adaint.h (__gnat_get_module_name): Removed.
1371         (__gnat_is_module_name_supported): Removed.
1372         * s-win32.ads: Add some needed definitions.
1373         * g-trasym.ads: Update comments.
1374
1375 2013-01-03  Robert Dewar  <dewar@adacore.com>
1376
1377         * layout.adb (Set_Composite_Alignment): Fix problems of
1378         interactions with Optimize_Alignment set to Space.
1379
1380 2013-01-03  Thomas Quinot  <quinot@adacore.com>
1381
1382         * exp_disp.adb: Minor reformatting.
1383
1384 2013-01-02  Richard Biener  <rguenther@suse.de>
1385
1386         PR bootstrap/55784
1387         * gcc-interface/Makefile.in: Add $(GMPINC) to includes.
1388
1389 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1390
1391         * exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove
1392         side effects from Tag_Arg early, doing it too late may cause a
1393         crash due to inconsistent Parent link.
1394         * sem_ch8.adb, einfo.ads: Minor reformatting.
1395
1396 2013-01-02  Robert Dewar  <dewar@adacore.com>
1397
1398         * einfo.ads, einfo.adb (Has_Independent_Components): New flag.
1399         * freeze.adb (Size_Known): We do not know the size of a packed
1400         record if it has atomic components, by reference type components,
1401         or independent components.
1402         * sem_prag.adb (Analyze_Pragma, case Independent_Components): Set new
1403         flag Has_Independent_Components.
1404
1405 2013-01-02  Yannick Moy  <moy@adacore.com>
1406
1407         * opt.ads (Warn_On_Suspicious_Contract): Set to True by default.
1408         * usage.adb (Usage): Update usage message.
1409
1410 2013-01-02  Pascal Obry  <obry@adacore.com>
1411
1412         * adaint.c (__gnat_is_module_name_supported): New constant.
1413
1414 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
1415
1416         * sem_attr.adb (Check_Array_Type): Reject an attribute reference on an
1417         array whose component type does not have a completion.
1418
1419 2013-01-02  Geert Bosch  <bosch@adacore.com>
1420
1421         * a-nllcef.ads, a-nlcefu.ads, a-nscefu.ads: Make Pure.
1422
1423 2013-01-02  Robert Dewar  <dewar@adacore.com>
1424
1425         * par_sco.adb: Minor reformatting.
1426
1427 2013-01-02  Javier Miranda  <miranda@adacore.com>
1428
1429         * sem_aggr.adb (Resolve_Array_Aggregate): Remove dead code.
1430
1431 2013-01-02  Olivier Hainque  <hainque@adacore.com>
1432
1433         * a-exctra.ads (Get_PC): New function.
1434
1435 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1436
1437         * sem_ch8.adb: Minor reformatting.
1438
1439 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1440
1441         * sem_ch7.adb: Minor reformatting.
1442
1443 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1444
1445         * freeze.adb (Check_Component_Storage_Order): Do not crash on
1446         _Tag component.
1447
1448 2013-01-02  Robert Dewar  <dewar@adacore.com>
1449
1450         * gnat1drv.adb, targparm.adb, targparm.ads: Minor name change: add
1451         On_Target to Atomic_Sync_Default.
1452
1453 2013-01-02  Robert Dewar  <dewar@adacore.com>
1454
1455         * sem_warn.adb (Warn_On_Known_Condition): Suppress warning for
1456         comparison of attribute result with constant
1457         * a-ststio.adb, s-direio.adb, s-rannum.adb: Remove unnecessary pragma
1458         Warnings (Off, "..");
1459
1460 2013-01-02  Yannick Moy  <moy@adacore.com>
1461
1462         * sem_prag.ads: Minor correction of comment.
1463
1464 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1465
1466         * par_sco.adb (Traverse_Package_Declaration): The first
1467         declaration in a nested package is dominated by the preceding
1468         declaration in the enclosing scope.
1469
1470 2013-01-02  Pascal Obry  <obry@adacore.com>
1471
1472         * adaint.c, adaint.h (__gnat_get_module_name): Return the actual
1473         module containing a given address.
1474
1475 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1476
1477         * sem_ch3.adb: Minor reformatting.
1478
1479 2013-01-02  Pascal Obry  <obry@adacore.com>
1480
1481         * cstreams.c (__gnat_ftell64): New routine. Use _ftelli64 on
1482         Win64 and default to ftell on other platforms.
1483         (__gnat_fsek64): Likewise.
1484         * i-cstrea.ads: Add fssek64 and ftell64 specs.
1485         * s-crtl.ads: Likewise.
1486         * a-ststio.adb, s-direio.adb (Size): Use 64 bits version when required.
1487         (Set_Position): Likewise.
1488
1489 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1490
1491         * par_sco.adb: Generate X SCOs for default expressions in
1492         subprogram body stubs.  Do not generate any SCO for package,
1493         task, or protected body stubs.
1494
1495 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
1496
1497         * sem_ch3.adb: Further improvement to ASIS mode for anonymous
1498         access to protected subprograms.
1499
1500 2013-01-02  Robert Dewar  <dewar@adacore.com>
1501
1502         * par_sco.adb, vms_data.ads: Minor reformatting.
1503
1504 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1505
1506         * par_sco.adb (Traverse_Declarations_Or_Statement): Function
1507         form, returning value of Current_Dominant upon exit, for chaining
1508         purposes.
1509         (Traverse_Declarations_Or_Statement.Traverse_One, case
1510         N_Block_Statement): First statement is dominated by last declaration.
1511         (Traverse_Subprogram_Or_Task_Body): Ditto.
1512         (Traverse_Package_Declaration): First private
1513         declaration is dominated by last visible declaration.
1514         (Traverse_Sync_Definition): Ditto.
1515
1516 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1517
1518         * gnat_rm.texi: Restrict the requirement for Scalar_Storage_Order
1519         matching Bit_Order to record types only, since array types do not
1520         have a Bit_Order.
1521
1522 2013-01-02  Vincent Celier  <celier@adacore.com>
1523
1524         * gnat_ugn.texi: Remove documentation of -gnateO, which is an
1525         internal switch.
1526         * usage.adb: Indicate that -gnateO is an internal switch.
1527
1528 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1529
1530         * par_sco.adb: Add SCO generation for task types and single
1531         task declarations.
1532         * get_scos.adb: When adding an instance table entry for a
1533         non-nested instantiation, make sure the Enclosing_Instance is
1534         correctly set to 0.
1535
1536 2013-01-02  Hristian Kirtchev  <kirtchev@adacore.com>
1537
1538         * sem_attr.adb (Analyze_Attribute): Skip the special _Parent
1539         scope generated for subprogram inlining purposes while trying
1540         to locate the enclosing function.
1541         * sem_prag.adb (Analyze_Pragma): Preanalyze the boolean
1542         expression of pragma Postcondition when the pragma comes from
1543         source and appears inside a subprogram body.
1544
1545 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1546
1547         * switch-c.adb, fe.h, back_end.adb: Enable generation of instantiation
1548         information in debug info unconditionally when using -fdump-scos,
1549         instead of relying on a separate command line switch -fdebug-instances.
1550         * gcc-interface/Make-lang.in: Update dependencies.
1551
1552 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
1553
1554         * sem_ch12.adb: Additional refinement of predicate.
1555
1556 2013-01-02  Vincent Celier  <celier@adacore.com>
1557
1558         * vms_data.ads: Remove incorrect spaces at end of descriptions
1559         of qualifiers for single switch.
1560
1561 2013-01-02  Ben Brosgol  <brosgol@adacore.com>
1562
1563         * gnat_rm.texi: Minor edits / wordsmithing in section on pragma
1564         Check_Float_Overflow.
1565
1566 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1567
1568         * sprint.adb (Sprint_Node_Actual): Do not add extra parens for
1569         a conditional expression (CASE or IF expression) that already
1570         has parens. Also omit ELSE keyword for an IF expression without
1571         an ELSE part.
1572
1573 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1574
1575         * gnat1drv.adb (Adjust_Global_Switches): Adjust back-end
1576         flag_debug_instances here, after front-end switches have been
1577         processed.
1578
1579 2013-01-02  Vincent Celier  <celier@adacore.com>
1580
1581         * usage.adb: Minor reformatting.
1582
1583 2013-01-02  Arnaud Charlet  <charlet@adacore.com>
1584
1585         * opt.ads: Fix typo.
1586
1587 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1588
1589         * par_sco.adb: Generate P decision SCOs for SPARK pragmas
1590         Assume and Loop_Invariant.
1591
1592 2013-01-02  Robert Dewar  <dewar@adacore.com>
1593
1594         * vms_data.ads: Add entry for Float_Check_Valid (-gnateF).
1595         * ug_words: Add entry for Float_Check_Overflow.
1596         * usage.adb: Minor reformatting.
1597         * gnat_ugn.texi: Add documentation for -gnateF (Check_Float_Overflow).
1598
1599 2013-01-02  Vincent Celier  <celier@adacore.com>
1600
1601         * gnat_ugn.texi: Add documentation for switches -gnateA, -gnated,
1602         -gnateO=, -gnatet and -gnateV.
1603         * ug_words: Add qualifiers equivalent to -gnateA, -gnated,
1604         -gnatet and -gnateV.
1605         * usage.adb: Add lines for -gnatea, -gnateO and -gnatez.
1606         * vms_data.ads: Add new compiler qualifiers /ALIASING_CHECK
1607         (-gnateA), /DISABLE_ATOMIC_SYNCHRONIZATION (-gnated),
1608         /PARAMETER_VALIDITY_CHECK (-gnateV) and /TARGET_DEPENDENT_INFO
1609         (-gnatet).
1610
1611 2013-01-02  Robert Dewar  <dewar@adacore.com>
1612
1613         * checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.
1614         * opt.ads, opt.adb: Handle flags Check_Float_Overflow[_Config].
1615         * par-prag.adb: Add dummy entry for pragma Check_Float_Overflow.
1616         * sem_prag.adb: Implement pragma Check_Float_Overflow.
1617         * snames.ads-tmpl: Add entries for pragma Check_Float_Overflow.
1618         * switch-c.adb: Recognize -gnateF switch.
1619         * tree_io.ads: Update ASIS version number.
1620         * gnat_rm.texi: Add documentation of pragma Check_Float_Overflow.
1621
1622 2013-01-02  Robert Dewar  <dewar@adacore.com>
1623
1624         * checks.adb, exp_ch4.adb, exp_ch6.adb, exp_ch7.adb, exp_ch9.adb,
1625         exp_disp.adb, exp_dist.adb, exp_intr.adb, exp_prag.adb, exp_util.adb,
1626         freeze.adb, gnat1drv.adb, inline.adb, layout.adb, lib-xref.adb,
1627         par-ch10.adb, par-labl.adb, par-load.adb, par-util.adb, restrict.adb,
1628         sem_ch13.adb, sem_ch4.adb, sem_ch6.adb, sem_dim.adb, sem_elab.adb,
1629         sem_res.adb, sem_warn.adb, sinput-l.adb: Add tags to warning messages.
1630         * sem_ch6.ads, warnsw.ads, opt.ads: Minor comment updates.
1631
1632 2013-01-02  Robert Dewar  <dewar@adacore.com>
1633
1634         * err_vars.ads: Minor comment fix.
1635
1636 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
1637
1638         * sem_ch12.adb: Refine predicate.
1639
1640 2013-01-02  Robert Dewar  <dewar@adacore.com>
1641
1642         * errout.ads: Minor comment fixes.
1643         * opt.ads: Minor comment additions.
1644         * exp_aggr.adb: Add tags to warning messages
1645         * exp_ch11.adb, exp_ch3.adb, exp_ch4.adb, exp_util.adb, sem_aggr.adb,
1646         sem_attr.adb, sem_case.adb, sem_cat.adb, sem_ch3.adb, sem_ch4.adb,
1647         sem_ch5.adb, sem_disp.adb, sem_dist.adb, sem_elab.adb, sem_eval.adb,
1648         sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb, sem_util.adb,
1649         sem_warn.adb: Add tags to warning messages
1650
1651 2013-01-02  Doug Rupp  <rupp@adacore.com>
1652
1653         * init.c [VMS] Remove subtest on reason mask for ACCVIO that is a C_E.
1654
1655 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
1656
1657         * sem_ch12.adb: Recover source name for renamed packagea.
1658
1659 2013-01-02  Robert Dewar  <dewar@adacore.com>
1660
1661         * errout.adb (Set_Msg_Insertion_Warning): Correct typo causing
1662         tests to fail if insertion sequence is at end of message string.
1663         * opt.ads: Minor comment fixes and additions.
1664         * sem_ch7.adb, sem_ch8.adb, sem_ch9.adb, sem_ch10.adb, sem_ch11.adb,
1665         sem_ch12.adb, sem_ch13.adb: Add tags to warning messages.
1666         * sem_ch6.ads, sem_ch6.adb (Cannot_Inline): Deal with warning message
1667         tags. Add tags to warning messages.
1668
1669 2013-01-02  Robert Dewar  <dewar@adacore.com>
1670
1671         * err_vars.ads (Warning_Doc_Switch): New flag.
1672         * errout.adb (Error_Msg_Internal): Implement new warning flag
1673         doc tag stuff (Set_Msg_Insertion_Warning): New procedure.
1674         * errout.ads: Document new insertion sequences ?? ?x? ?.x?
1675         * erroutc.adb (Output_Msg_Text): Handle ?? and ?x? warning doc
1676         tag stuff.
1677         * erroutc.ads (Warning_Msg_Char): New variable.
1678         (Warn_Chr): New field in error message object.
1679         * errutil.adb (Error_Msg): Set Warn_Chr in error message object.
1680         * sem_ch13.adb: Minor reformatting.
1681         * warnsw.adb: Add handling for -gnatw.d and -gnatw.D
1682         (Warning_Doc_Switch).
1683         * warnsw.ads: Add handling of -gnatw.d/.D switches (warning
1684         doc tag).
1685
1686 2013-01-02  Robert Dewar  <dewar@adacore.com>
1687
1688         * opt.ads: Minor reformatting.
1689
1690 2013-01-02  Doug Rupp  <rupp@adacore.com>
1691
1692         * init.c: Reorganize VMS section.
1693         (scan_condtions): New function for scanning condition tables.
1694         (__gnat_handle_vms_condtion): Use actual exception name for imported
1695         exceptions vice IMPORTED_EXCEPTION.
1696         Move condition table scanning into separate function. Move formerly
1697         special handled conditions to system condition table. Use SYS$PUTMSG
1698         output to fill exception message field for formally special handled
1699         condtions, in particular HPARITH to provide more clues about cause and
1700         location then raised from the translated image.
1701
1702 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1703
1704         * sem_ch13.adb (Analyze_Aspect_Specifications): For a Pre/Post
1705         aspect that applies to a library subprogram, prepend corresponding
1706         pragma to the Pragmas_After list, in order for split AND THEN
1707         sections to be processed in the expected order.
1708
1709 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1710
1711         * exp_prag.adb (Expand_Pragma_Check): The statements generated
1712         for the pragma must have the sloc of the pragma, not the
1713         sloc of the condition, otherwise this creates anomalies in the
1714         generated debug information that confuse coverage analysis tools.
1715
1716 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1717
1718         * sem_ch13.adb: Minor reformatting.
1719
1720 2013-01-02  Arnaud Charlet  <charlet@adacore.com>
1721
1722         * g-excact.ads (Core_Dump): Clarify that this subprogram does
1723         not dump cores under Windows.
1724
1725 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
1726
1727         * sem_ch8.adb (Analyze_Primitive_Renamed_Operation): The prefixed
1728         view of a subprogram has convention Intrnnsic, and a renaming
1729         of a prefixed view cannot be the prefix of an Access attribute.
1730
1731 2013-01-02  Robert Dewar  <dewar@adacore.com>
1732
1733         * restrict.adb: Minor reformatting.
1734
1735 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1736
1737         * exp_prag.adb: Minor reformatting.
1738
1739 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
1740
1741         * sem_ch12.adb (Get_Associated_Node): If the node is an
1742         identifier that denotes an unconstrained array in an object
1743         declaration, it is rewritten as the name of an anonymous
1744         subtype whose bounds are given by the initial expression in the
1745         declaration. When checking whether that identifier is global
1746         reference, use the original node, not the local generated subtype.
1747
1748 2013-01-02  Olivier Hainque  <hainque@adacore.com>
1749
1750         * tracebak.c: Revert previous change, incomplete.
1751
1752 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
1753
1754         * sem_ch13.adb (Analyze_Aspect_Specifications): If the aspect
1755         appears on a subprogram body that acts as a spec, place the
1756         corresponding pragma in the declarations of the body, so that
1757         e.g. pre/postcondition checks can be generated appropriately.
1758
1759 2013-01-02  Robert Dewar  <dewar@adacore.com>
1760
1761         * sem_ch3.adb: Minor reformatting and code reorganization.
1762
1763 2013-01-02  Vincent Celier  <celier@adacore.com>
1764
1765         * switch-m.adb (Normalize_Compiler_Switches): Record the
1766         complete switch -fstack-check=specific instead of its shorter
1767         alias -fstack-check.
1768
1769 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
1770
1771         * sem_ch3.adb (Derive_Subprogram): Enforce RM 6.3.1 (8):
1772         if the derived type is a tagged generic formal type with
1773         unknown discriminants, the inherited operation has convention
1774         Intrinsic. As such, the 'Access attribute cannot be applied to it.
1775
1776 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1777
1778         * sem_attr.adb: Minor reformatting.
1779
1780 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1781
1782         * par_sco.adb: Add SCO generation for S of protected types and
1783         single protected object declarations.
1784
1785 2013-01-02  Robert Dewar  <dewar@adacore.com>
1786
1787         * sem_eval.adb, osint.ads: Minor reformatting.
1788
1789 2013-01-02  Hristian Kirtchev  <kirtchev@adacore.com>
1790
1791         * sem_prag.adb (Analyze_Pragma): Check the legality of pragma Assume.
1792
1793 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1794
1795         * sem_eval.adb (Compile_Time_Compare): For static operands, we
1796         can perform a compile time comparison even if in preanalysis mode.
1797
1798 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1799
1800         * par_sco.adb (SCO_Record): Always use
1801         Traverse_Declarations_Or_Statements to process the library level
1802         declaration, so that SCOs are properly generated for its aspects.
1803
1804 2013-01-02  Thomas Quinot  <quinot@adacore.com>
1805
1806         * scos.ads (In_Decision): Add missing entry for 'a'.
1807         * sem_prag.adb (Analyze_Pragma, case pragma Check): Omit
1808         call to Set_SCO_Pragma_Enabled for Invariant and Predicate.
1809         * sem_ch13.adb: Minor comment update.
1810 \f
1811 Copyright (C) 2013 Free Software Foundation, Inc.
1812
1813 Copying and distribution of this file, with or without modification,
1814 are permitted in any medium without royalty provided the copyright
1815 notice and this notice are preserved.