gcc/ada/ChangeLog

   1 2015-02-22  Tom de Vries  <tom@codesourcery.com>
   2
   3         PR ada/65100
   4         * gnat-style.texi (@subsection Loop Statements): Replace @noindent by
   5         @item, and fix warning '@itemize has text but no @item'.
   6
   7 2015-02-20  Ed Schonberg  <schonberg@adacore.com>
   8
   9         * sem_prag.adb (Analyze_Pragma, case Obsolescent): Pragma
  10         legally applies to an abstract subprogram declaration.
  11         * freeze.adb: Minor comment addition.
  12
  13 2015-02-20  Robert Dewar  <dewar@adacore.com>
  14
  15         * errout.ads: Document replacement of Name_uPre/Post/Type_Invariant.
  16         * erroutc.adb (Set_Msg_Str): Replace _xxx.
  17         (Pre/Post/Type_Invariant) by xxx'Class.
  18         * erroutc.ads (Set_Msg_Str): Replace _xxx.
  19         (Pre/Post/Type_Invariant) by xxx'Class.
  20         * sem_prag.adb (Fix_Error): Remove special casing of
  21         Name_uType_Invariant.
  22         (Analyze_Pre_Post_Condition_In_Decl_Part): Remove special casing of
  23         Name_uPre and Name_uPost in aspect case (done in Errout now).
  24
  25 2015-02-20  Robert Dewar  <dewar@adacore.com>
  26
  27         * g-alveop.adb: Minor style fixes.
  28
  29 2015-02-20  Robert Dewar  <dewar@adacore.com>
  30
  31         * freeze.adb (Warn_Overlay): Guard against blow up with address
  32         clause.
  33
  34 2015-02-20  Bob Duff  <duff@adacore.com>
  35
  36         * exp_attr.adb (May_Be_External_Call): Remove this. There is no need
  37         for the compiler to guess whether the call is internal or external --
  38         it is always external.
  39         (Expand_Access_To_Protected_Op): For P'Access, where P
  40         is a protected subprogram, always create a pointer to the
  41         External_Subprogram.
  42
  43 2015-02-20  Robert Dewar  <dewar@adacore.com>
  44
  45         * a-dispat.adb, a-stcoed.ads: Minor reformatting.
  46
  47 2015-02-20  Robert Dewar  <dewar@adacore.com>
  48
  49         * sem_ch13.adb (Build_Discrete_Static_Predicate): Allow static
  50         predicate for non-static subtype.
  51         (Build_Predicate_Functions): Do not assume subtype associated with a
  52         static predicate must be static.
  53
  54 2015-02-20  Robert Dewar  <dewar@adacore.com>
  55
  56         * errout.adb (Set_Msg_Node): Better handling of internal names
  57         (Set_Msg_Node): Kill message when we cannot eliminate internal name.
  58         * errout.ads: Document additional case of message deletion.
  59         * namet.adb (Is_Internal_Name): Refined to consider wide
  60         strings in brackets notation and character literals not to be
  61         internal names.
  62         * sem_ch8.adb (Find_Selected_Component): Give additional error
  63         when selector name is a subprogram whose first parameter has
  64         the same type as the prefix, but that type is untagged.
  65
  66 2015-02-20  Robert Dewar  <dewar@adacore.com>
  67
  68         * g-allein.ads, g-alveop.adb, g-alveop.ads, opt.ads: Minor reformatting
  69
  70 2015-02-20  Tristan Gingold  <gingold@adacore.com>
  71
  72         * opt.ads (GNAT_Mode_Config): New variable.
  73         * opt.adb (Set_Opt_Config_Switches): Consider GNAT_Mode_Config
  74         to set Assertions_Enabled.
  75         * switch-c.adb (Scan_Front_End_Switches): Set GNAT_Mode_Config
  76         for -gnatg.
  77
  78 2015-02-20  Robert Dewar  <dewar@adacore.com>
  79
  80         * s-valllu.ads (Scan_Raw_Long_Long_Unsigned): Add an additional
  81         comment regarding the handling of unterminated fixed-point
  82         constants.
  83         * s-valuns.ads (Scan_Raw_Unsigned): Add comments
  84         corresponding to those previously added for
  85         System.Val_LLU.Scan_Raw_Long_Long_Unsigned.
  86
  87 2015-02-20  Olivier Hainque  <hainque@adacore.com>
  88
  89         * g-allein.ads, g-alveop.ads, g-alveop.adb: Code clean ups.
  90
  91 2015-02-20  Robert Dewar  <dewar@adacore.com>
  92
  93         * sem_prag.adb: Minor comment clarification.
  94
  95 2015-02-20  Olivier Hainque  <hainque@adacore.com>
  96
  97         * g-allein.ads (vec_ctf, vec_vcsfx, vec_vcfux): Remove.
  98         * g-alleve.ads, g-alleva.adb (vcfux): Likewise.
  99         * g-alveop.ads (vec_vcfsx, vec_vcfux): Just rename the ll versions.
 100         (vec_ctf): Now renamings as well.
 101
 102 2015-02-20  Robert Dewar  <dewar@adacore.com>
 103
 104         * switch-c.adb, bindgen.adb: Minor reformatting.
 105
 106 2015-02-20  Ed Schonberg  <schonberg@adacore.com>
 107
 108         * sem_prag.adb (Analyze_Pragma, case Type_Invariant):
 109         Invariant'class is allowed on an abstract type.
 110
 111 2015-02-20  Ed Schonberg  <schonberg@adacore.com>
 112
 113         * sem_ch3.adb (Access_Definition): If the access definition is
 114         for a protected component and defines an access to protected
 115         subprogram, do not create an itype reference for it because a
 116         full type declaration will be built in order to generate the
 117         proper equivalent type.
 118         (Analyze_Subtype_Declaration): Add information of incomplete
 119         subtypes, for Ada 2012 extended uses of incomplete types.
 120
 121 2015-02-20  Gary Dismukes  <dismukes@adacore.com>
 122
 123         * sem_res.adb: Minor reformatting.
 124
 125 2015-02-20  Vincent Celier  <celier@adacore.com>
 126
 127         * switch-c.adb (Scan_Front_End_Switches): When comparing runtime
 128         path name for several switches --RTS, use the normalized path
 129         names.
 130
 131 2015-02-20  Vincent Celier  <celier@adacore.com>
 132
 133         * bindgen.adb: Minor reformatting and code reorganization.
 134
 135 2015-02-20  Jose Ruiz  <ruiz@adacore.com>
 136
 137         * a-stcoed.ads: Add spec for this package (Unimplemented_Unit).
 138         * impunit.adb (Non_Imp_File_Names_12): Mark unit a-stcoed.ads as
 139         defined by Ada 2012.
 140
 141 2015-02-20  Arnaud Charlet  <charlet@adacore.com>
 142
 143         * sysdep.c, expect.c, s-oscons-tmplt.c, gsocket.h, adaint.c: Remove
 144         obsolete references to RTX, nucleus, VMS.
 145
 146 2015-02-20  Ed Schonberg  <schonberg@adacore.com>
 147
 148         * sem_prag.adb (Fix_Error): For an illegal Type_Invariant'Class
 149         aspect, use name that mentions Class explicitly, rather than
 150         compiler-internal name.
 151
 152 2015-02-20  Robert Dewar  <dewar@adacore.com>
 153
 154         * debug.adb: Add documentation for -gnatd.2 (allow statements
 155         in decl sequences).
 156         * par-ch3.adb (P_Identifier_Declarations): Handle
 157         statement appearing where declaration expected more cleanly.
 158         (Statement_When_Declaration_Expected): Implement debug flag
 159         -gnatd.2.
 160
 161 2015-02-20  Jose Ruiz  <ruiz@adacore.com>
 162
 163         * a-dinopr.ads: Add spec for this package (Unimplemented_Unit).
 164         * a-dispat.ads (Yield): Include procedure added in Ada 2012.
 165         * a-dispat.adb (Yield): Implement procedure added in Ada 2012.
 166         * impunit.adb (Non_Imp_File_Names_05): Mark unit a-dinopr.ads as
 167         defined by Ada 2005.
 168         * snames.ads-tmpl (Name_Non_Preemptive_FIFO_Within_Priorities):
 169         This is the correct name for the dispatching policy (FIFO was
 170         missing).
 171
 172 2015-02-20  Javier Miranda  <miranda@adacore.com>
 173
 174         * sem_res.adb (Resolve_Type_Conversion): If the type of the
 175         operand is the limited-view of a class-wide type then recover
 176         the class-wide type of the non-limited view.
 177
 178 2015-02-20  Arnaud Charlet  <charlet@adacore.com>
 179
 180         * gcc-interface/Makefile.in: Remove references to nucleus.
 181         * gcc-interface/decl.c (gnat_to_gnu_entity, case E_Procedure): Set
 182         extern_flag to true for Inline_Always subprograms with
 183         Intrinsic convention.
 184
 185 2015-02-20  Yannick Moy  <moy@adacore.com>
 186
 187         * sem_prag.ads: Minor typo in comment.
 188
 189 2015-02-20  Pascal Obry  <obry@adacore.com>
 190
 191         * s-osprim-mingw.adb: Fix Get_Base_Time parameter mode.
 192
 193 2015-02-20  Vincent Celier  <celier@adacore.com>
 194
 195         * makeutl.adb (Get_Directories.Add_Dir): Add a directory only
 196         if it exists.
 197
 198 2015-02-20  Robert Dewar  <dewar@adacore.com>
 199
 200         * sem_eval.ads: Minor reformatting.
 201
 202 2015-02-20  Eric Botcazou  <ebotcazou@adacore.com>
 203
 204         * freeze.adb (Size_Known): Do not set the packed size for
 205         independent type or component.
 206         (Freeze_Array_Type): Check for Independent[_Components] with packing
 207         or explicit component size clause.
 208         * gnat1drv.adb (Post_Compilation_Validation_Checks): Do the validation
 209         of independence pragmas only for non-GCC back-ends.
 210         * sem_ch13.adb (Initialize): Likewise for the initialization.
 211         * sem_prag.adb (Record_Independence_Check): New procedure to record an
 212         independence check in the table.
 213         (Analyze_Pragma): Use it throughout instead of doing it manually.
 214         * gcc-interface/decl.c (gnat_to_gnu_field): Add support for
 215         independent type or component.
 216
 217 2015-02-20  Thomas Quinot  <quinot@adacore.com>
 218
 219         * adaint.c (__gnat_readdir): For Solaris, use 64 bit variants of
 220         struct direct and readdir. This is required for NFS filesystems
 221         mounted from servers that use 64-bit cookies.
 222
 223 2015-02-20  Ed Schonberg  <schonberg@adacore.com>
 224
 225         * sem_ch12.adb (Analyze_Subprogram_Instantiaion): New subprogram
 226         Build_Subprogram_Renaming, to create renaming of subprogram
 227         instance in the the declaration of the wrapper package rather
 228         than in its body, so that it is available for analysis of aspects
 229         propagated from generic to instantiation.
 230         (Check_Mismatch): An actual for a formal package that is an
 231         incomplete type matches a formal type that is incomplete.
 232         (Instantiate_Package_Body): Move code that builds subprogram
 233         renaming to Analyze_Subprogram_Instantiation.
 234         (Instantiate_Type): The generated subtype is a limited view if
 235         the actual is a limited view.
 236         (Load_Parent_Of_Generic): Retrieve instance declaration from
 237         its new position within wrapper package.
 238
 239 2015-02-20  Arnaud Charlet  <charlet@adacore.com>
 240
 241         * s-parame-vxworks.adb, s-os_lib.ads: Update comments.
 242
 243 2015-02-20  Robert Dewar  <dewar@adacore.com>
 244
 245         * s-osinte-vxworks.ads (To_Timespec): Add comment about the
 246         issue of negative arguments.
 247
 248 2015-02-20  Eric Botcazou  <ebotcazou@adacore.com>
 249
 250         * gnat1drv.adb: Minor consistency fix.
 251
 252 2015-02-20  Pascal Obry  <obry@adacore.com>
 253
 254         * s-osprim-mingw.adb (Get_Base_Time): Properly release lock in all
 255         paths.
 256
 257 2015-02-20  Eric Botcazou  <ebotcazou@adacore.com>
 258
 259         * inline.adb (Expand_Inlined_Call): Skip again calls to subprogram
 260         renamings.
 261         * exp_ch6.adb (Expand_Call): Use back-end inlining
 262         instead of expansion for simple subprogram renamings.
 263
 264 2015-02-20  Robert Dewar  <dewar@adacore.com>
 265
 266         * exp_util.adb: Minor reformatting.
 267
 268 2015-02-20  Vincent Celier  <celier@adacore.com>
 269
 270         * switch-c.adb (Scan_Front_End_Switches): Do not fail when --RTS=
 271         is specified several times with different values that indicates
 272         the same runtime directory.
 273
 274 2015-02-20  Ed Schonberg  <schonberg@adacore.com>
 275
 276         * sem_attr.adb (Check_Not_Incomplete_Type): Clean up code to
 277         handle properly illegal uses of attributes on prefixes on an
 278         incomplete type, both when the type of the prefix is locally
 279         incomplete, and when it is a limited view of a type whose
 280         non-limited view is not available.
 281         (Analyze_Attribute): Add calls to Check_Not_Incomplete_Type for
 282         'Address and others.
 283
 284 2015-02-20  Eric Botcazou  <ebotcazou@adacore.com>
 285
 286         * exp_ch6.adb: Fix minor typo in comment.
 287
 288 2015-02-20  Eric Botcazou  <ebotcazou@adacore.com>
 289
 290         * sinfo.ads: Add comment.
 291
 292 2015-02-20  Olivier Hainque  <hainque@adacore.com>
 293
 294         * opt.ads: Replace Opt.Suppress_All_Inlining by two separate
 295         flags controlling the actual FE inlining out of pragma Inline
 296         and pragma Inline_Always.
 297         * adabkend.adb (Scan_Compiler_Arguments): Set both flags to True
 298         on -fno-inline, which disables all inlining in compilers with
 299         an Ada back-end and without back-end inlining support.
 300         * back_end.adb (Scan_Back_End_Switches): Set the Inline related
 301         flag to True on -fno-inline and leave Inline_Always alone for
 302         gcc back-ends.
 303         * back_end.ads (Scan_Compiler_Arguments): Adjust spec wrt the
 304         names of the Opt flags it sets.
 305         * gnat1drv.adb (Adjust_Global_Switches): Remove test on
 306         Opt.Suppress_All_Inlining in the Back_End_Inlining computation.
 307         * sem_prag.adb (Make_Inline): Remove early return conditioned
 308         on Opt.Suppress_All_Inlining.
 309         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Use the flags to
 310         disable the calls to Build_Body_To_Inline otherwise triggered
 311         by pragma Inline or Inline_Always. This will prevent actual
 312         front-end inlining of the subprogram on calls.
 313
 314 2015-02-20  Eric Botcazou  <ebotcazou@adacore.com>
 315
 316         * exp_ch3.adb (Default_Initialize_Object): Call Add_Inlined_Body on the
 317         Abort_Undefer_Direct function.
 318         * exp_ch5.adb (Expand_N_Assignment_Statement): Likewise.
 319         * exp_intr.adb (Expand_Unc_Deallocation): Likewise.
 320         * exp_prag.adb (Expand_Pragma_Abort_Defer): Likewise.
 321         * exp_ch4.adb (Expand_N_Selected_Component): Adjust call to
 322         Add_Inlined_Body.
 323         * exp_ch6.adb (Expand_Call): Adjust calls to Add_Inlined_Body.
 324          Remove call to Register_Backend_Call and move code resetting
 325         Needs_Debug_Info on inlined subprograms to...
 326         * inline.ads (Add_Inlined_Body): Add N parameter.
 327         (Register_Backend_Call): Delete.
 328         * inline.adb (Add_Inlined_Body): ...here and simplify.
 329          Register the call with Backend_Calls directly.
 330         (Register_Backend_Call): Delete.
 331         * s-stalib.ads (Abort_Undefer_Direct): Restore pragma Inline.
 332
 333 2015-02-20  Eric Botcazou  <ebotcazou@adacore.com>
 334
 335         * s-stalib.ads: Fix typo.
 336
 337 2015-02-20  Ed Schonberg  <schonberg@adacore.com>
 338
 339         * exp_ch3.adb (Default_Initialize_Object): If the object has a
 340         delayed freeze, the actions associated with default initialization
 341         must be part of the freeze actions, rather that being inserted
 342         directly after the object declaration.
 343
 344 2015-02-20  Robert Dewar  <dewar@adacore.com>
 345
 346         * lib-load.adb: Minor comment update.
 347
 348 2015-02-20  Vincent Celier  <celier@adacore.com>
 349
 350         * prj-proc.adb (Process_Case_Construction): When there are
 351         incomplete withed projects and the case variable is unknown,
 352         skip the case construction.
 353
 354 2015-02-20  Ed Schonberg  <schonberg@adacore.com>
 355
 356         * exp_ch6.adb (Expand_Actuals): Add caller-side invariant checks
 357         when an actual is a view conversion, either because the call is
 358         to an inherited operation, or because the actual is an explicit
 359         type conversion to an ancestor type.  Fixes ACATS 4.0D: C732001
 360
 361 2015-02-20  Robert Dewar  <dewar@adacore.com>
 362
 363         * einfo.ads: Minor comment updates Fix missing pragma Inline
 364         for Set_Partial_View_Has_Unknown_Discr.
 365         * einfo.adb (Write_Entity_Flags): Add missing entry for
 366         Partial_View_Has_Unknown_Discr.
 367         * sem_ch3.adb: Minor reformatting.
 368
 369 2015-02-20  Vincent Celier  <celier@adacore.com>
 370
 371         * opt.ads: Minor cleanup: remove mention of gprmake.
 372         * s-stalib.ads (Abort_Undefer_Direct): Do not inline.
 373         * s-tataat.adb: Do not call System.Tasking.Self but directly
 374         System.Task_Primitives.Operations.Self.
 375
 376 2015-02-20  Arnaud Charlet  <charlet@adacore.com>
 377
 378         * gnat_rm.texi, gnat_ugn.texi: Now automatically generated from
 379         sphinx in the doc directory.
 380         * doc: New directory containing sphinx versions of gnat_rm and gnat_ugn
 381
 382 2015-02-20  Robert Dewar  <dewar@adacore.com>
 383
 384         * sem_res.adb: Minor reformatting.
 385         * exp_ch9.adb (Build_Protected_Spec): Copy Aliased setting when
 386         building spec.
 387         * sem_ch13.adb (Analyze_Aspect_Specifications): Exclude Boolean
 388         aspects from circuitry setting delay required to false if the
 389         argument is an integer literal.
 390
 391 2015-02-20  Ed Schonberg  <schonberg@adacore.com>
 392
 393         * einfo.ads. einfo.adb (Partial_View_Has_Unknown_Discr):  New flag
 394         on type entities, to enforce AI12-0133: default initialization
 395         of types whose partial view has unknown discriminants does not
 396         get an invariant check, because clients of the unit can never
 397         declare objects of such types.
 398         * sem_ch3.adb (Find_Type_Name); Set new flag
 399         Partial_View_Has_Unknown_Discr when needed.
 400         * exp_ch3.adb (Expand_N_Object_Declaration): Use flag to suppress
 401         generation of invariant call on default-initialized object.
 402
 403 2015-02-08  Eric Botcazou  <ebotcazou@adacore.com>
 404
 405         * gcc-interface/decl.c (gnat_to_gnu_param): Do not strip the padding
 406         if the parameter either is passed by reference or if the alignment
 407         would be lowered.
 408
 409 2015-02-08  Eric Botcazou  <ebotcazou@adacore.com>
 410
 411         * gcc-interface/decl.c (is_cplusplus_method): Use Is_Primitive flag to
 412         detect primitive operations of tagged and untagged types.
 413
 414 2015-02-08  Eric Botcazou  <ebotcazou@adacore.com>
 415
 416         * gcc-interface/decl.c (gnat_to_gnu_entity): Do not bother about alias
 417         sets in presence of derivation for subprogram types.
 418
 419 2015-02-08  Eric Botcazou  <ebotcazou@adacore.com>
 420
 421         * gcc-interface/utils.c (begin_subprog_body): Assert that the body is
 422         present in the same context as the declaration.
 423
 424 2015-02-07  Jakub Jelinek  <jakub@redhat.com>
 425
 426         PR middle-end/64340
 427         * gcc-interface/trans.c (gigi): Recreate optimization_default_node
 428         and optimization_current_node after tweaking global_options.
 429
 430 2015-02-05  Robert Dewar  <dewar@adacore.com>
 431
 432         * prj-proc.adb, sem_aux.adb, exp_ch9.adb, errout.adb, prj-dect.adb,
 433         prj-nmsc.adb: Minor reformatting.
 434
 435 2015-02-05  Ed Schonberg  <schonberg@adacore.com>
 436
 437         * sem_type.adb (Covers): In ASIS_Mode the Corresponding_Record
 438         of a protected type may not be available, so to check conformance
 439         with an interface type, examine the interface list in the type
 440         declaration directly.
 441         (Write_Overloads): Improve information for indirect calls,
 442         for debugger use.
 443
 444 2015-02-05  Ed Schonberg  <schonberg@adacore.com>
 445
 446         * exp_ch3.adb (Make_Tag_Assignment): Do not perform this
 447         expansion activity in ASIS mode.
 448
 449 2015-02-05  Javier Miranda  <miranda@adacore.com>
 450
 451         * errout.adb (Error_Msg_PT): Add missing error.
 452         * sem_ch6.adb (Check_Synchronized_Overriding): Check the missing
 453         RM rule.  Code cleanup.
 454         * exp_ch9.adb (Build_Wrapper_Spec): Propagate "constant" in
 455         anonymous access types.  Found working on the tests. Code cleanup.
 456
 457 2015-02-05  Vincent Celier  <celier@adacore.com>
 458
 459         * prj-dect.adb (Parse_Attribute_Declaration): Continue scanning
 460         when there are incomplete withs.
 461         * prj-nmsc.adb (Process_Naming): Do not try to get the value
 462         of an element when it is nil.
 463         (Check_Naming): Do not check a nil suffix for illegality
 464         * prj-proc.adb (Expression): Do not process an empty term.
 465         * prj-strt.adb (Attribute_Reference): If attribute cannot be
 466         found, parse a possible index to avoid cascading errors.
 467
 468 2015-02-05  Ed Schonberg  <schonberg@adacore.com>
 469
 470         * sem_aux.adb (Is_Derived_Type): A subprogram_type generated
 471         for an access_to_subprogram declaration is not a derived type.
 472
 473 2015-02-05  Robert Dewar  <dewar@adacore.com>
 474
 475         * errout.adb (Error_Msg_Internal): For non-serious error set
 476         Fatal_Error to Ignored.
 477         * lib-load.adb (Load_Unit): Minor comment updates.
 478         * sem_ch10.adb (Analyze_With_Clause): Propagate Fatal_Error
 479         setting from with'ed unit to with'ing unit.
 480         * sem_prag.adb (Analyze_Pragma, case Warnings): Document handling
 481         of ambiguity.
 482
 483 2015-02-05  Yannick Moy  <moy@adacore.com>
 484
 485         * sem_prag.adb, par-prag.adb: Minor code clean up.
 486
 487 2015-02-05  Yannick Moy  <moy@adacore.com>
 488
 489         * par-prag.adb (Pragma_Warnings): Update for extended form
 490         of pragma Warnings. The "one" argument case may now have 2 or
 491         3 arguments.
 492         * sem_prag.adb (Analyze_Pragma/Pragma_Warnings): Update for
 493         extended form of pragma Warnings. Pragma with tool name is either
 494         rewritten as null or as an equivalent form without tool name,
 495         before reanalysis.
 496         * snames.ads-tmpl (Name_Gnatprove): New name.
 497
 498 2015-02-05  Robert Dewar  <dewar@adacore.com>
 499
 500         * sem_ch13.adb (Add_Invariants): Don't assume invariant is
 501         standard Boolean.
 502         * sem_prag.adb (Analyze_Pragma, case Check): Don't assume
 503         condition is standard Boolean, it can be non-standard derived
 504         Boolean.
 505
 506 2015-02-05  Robert Dewar  <dewar@adacore.com>
 507
 508         * checks.adb (Enable_Range_Check): Disconnect attempted
 509         optimization for the case of range check for subscript of
 510         unconstrained array.
 511
 512 2015-02-05  Robert Dewar  <dewar@adacore.com>
 513
 514         * par-ch13.adb (With_Present): New function
 515         (Aspect_Specifications_Present): Handle WHEN in place of WITH
 516         (Get_Aspect_Specifications): Comment update.
 517         * par.adb: Comment updates.
 518
 519 2015-02-05  Robert Dewar  <dewar@adacore.com>
 520
 521         * errout.adb (Handle_Serious_Error): New setting of Fatal_Error.
 522         * frontend.adb (Frontend): New setting of Fatal_Error.
 523         * lib-load.adb (Create_Dummy_Package_Unit): New setting of
 524         Fatal_Error.
 525         (Load_Main_Source): New setting of Fatal_Error
 526         (Load_Unit): New setting of Fatal_Error.
 527         * lib-writ.adb (Add_Preprocessing_Dependency): New setting of
 528         Fatal_Error.
 529         (Ensure_System_Dependency): New setting of Fatal_Error.
 530         * lib.adb (Fatal_Error): New setting of Fatal_Error
 531         (Set_Fatal_Error): New setting of Fatal_Error.
 532         * lib.ads: New definition of Fatal_Error and associated routines.
 533         * par-ch10.adb (P_Compilation_Unit): New setting of Fatal_Error.
 534         * par-load.adb (Load): New setting of Fatal_Error.
 535         * rtsfind.adb (Load_RTU): New setting of Fatal_Error.
 536         * sem_ch10.adb (Analyze_Compilation_Unit): New setting of
 537         Fatal_Error.
 538         (Optional_Subunit): New setting of Fatal_Error.
 539         (Analyze_Proper_Body): New setting of Fatal_Error.
 540         (Load_Needed_Body): New setting of Fatal_Error.
 541
 542 2015-02-05  Ed Schonberg  <schonberg@adacore.com>
 543
 544         * sem_res.adb (Resolve_Call): If the function being called has
 545         out parameters do not check for language version if the function
 546         comes from a predefined unit, as those are always compiled in
 547         Ada 2012 mode.
 548
 549 2015-02-05  Ed Schonberg  <schonberg@adacore.com>
 550
 551         * sem_ch3.adb (Process_Full_View): Verify that the full view
 552         of a type extension must carry an explicit limited keyword if
 553         the partial view does (RM 7.3 (10.1)).
 554
 555 2015-02-05  Robert Dewar  <dewar@adacore.com>
 556
 557         * g-rannum.adb, g-rannum.ads, s-rannum.adb, s-rannum.ads,
 558         sem_warn.ads: Minor reformatting.
 559         * exp_ch13.adb (Expand_N_Freeze_Entity): Add guard for aspect
 560         deleted by -gnatI.
 561         * sem_prag.adb (Analyze_Pragma, case Type_Invariant): Give
 562         error for abstract type.
 563
 564 2015-02-05  Yannick Moy  <moy@adacore.com>
 565
 566         * opt.ads (Warn_On_Suspicious_Contract): Update comment
 567         describing use.
 568         * sem_attr.adb (Analyze_Attribute/Attribute_Update): Warn on
 569         suspicious uses of 'Update.
 570         * sem_warn.adb, sem_warn.ads (Warn_On_Suspicious_Update): New
 571         function issues warning on suspicious uses of 'Update.
 572         * g-rannum.adb, g-rannum.ads, s-rannum.adb, s-rannum.ads: Mark
 573         package spec and body as SPARK_Mode Off.
 574
 575 2015-02-05  Robert Dewar  <dewar@adacore.com>
 576
 577         * sem_prag.adb (Set_Elab_Unit_Name): New name for Set_Unit_Name
 578         (Analyze_Pragma): Change Set_Unit_Name to Set_Elab_Unit_Name
 579         (Set_Elab_Unit_Name): Generate reference for Elaborate[_All]
 580         * sem_warn.adb (Warn_On_Unreferenced_Entity): Suppress warning
 581         for exported entity.
 582
 583 2015-02-05  Hristian Kirtchev  <kirtchev@adacore.com>
 584
 585         * sem_prag.adb (Check_Pragma_Conformance): Add
 586         local variable Arg. Ensure that all errors are associated with
 587         the pragma if it appears without an argument. Add comments on
 588         various cases.
 589
 590 2015-02-05  Robert Dewar  <dewar@adacore.com>
 591
 592         * lib-xref.adb: Minor reformatting.
 593
 594 2015-02-05  Tristan Gingold  <gingold@adacore.com>
 595
 596         PR ada/64349da/64349
 597         * env.c: Fix thinko: handle Darwin case before default one.
 598
 599 2015-01-30  Robert Dewar  <dewar@adacore.com>
 600
 601         * a-assert.adb: Minor reformatting.
 602         * sem_ch13.adb: Minor comment clarification.
 603         * types.ads: Minor comment update.
 604         * sem_eval.adb (Real_Or_String_Static_Predicate_Matches): Avoid blow up
 605         when we have a predicate that is nothing but an inherited dynamic
 606         predicate.
 607
 608 2015-01-30  Jerome Guitton  <guitton@adacore.com>
 609
 610         * gcc-interface/Makefile.in (x86-vxworks): Update GCC_SPEC_FILES to
 611         include cert link spec.
 612
 613 2015-01-30  Robert Dewar  <dewar@adacore.com>
 614
 615         * einfo.ads: Minor comment fix.
 616         * freeze.adb (Freeze_Profile): Add test for suspicious import
 617         in pure unit.
 618         * sem_prag.adb (Process_Import_Or_Interface): Test for suspicious
 619         use in Pure unit is now moved to Freeze (to properly catch
 620         Pure_Function exemption).
 621
 622 2015-01-30  Bob Duff  <duff@adacore.com>
 623
 624         * sem_res.ads: Minor comment fix.
 625         * sem_type.adb: sem_type.adb (Remove_Conversions): Need to
 626         check both operands of an operator.
 627
 628 2015-01-30  Yannick Moy  <moy@adacore.com>
 629
 630         * a-assert.ads, a-assert.adb: Mark package spec in SPARK. Set assertion
 631         policy for Pre to Ignore.
 632         (Assert): Add precondition.
 633
 634 2015-01-30  Robert Dewar  <dewar@adacore.com>
 635
 636         * sem_prag.adb (Process_Import_Or_Interface): Warn if used in
 637         Pure unit.
 638         * s-valllu.ads (Scan_Raw_Long_Long_Unsigned): Clarify
 639         documentation for some special cases of invalid attempts at
 640         based integers.
 641
 642 2015-01-30  Gary Dismukes  <dismukes@adacore.com>
 643
 644         * errout.ads: Minor reformatting.
 645
 646 2015-01-30  Yannick Moy  <moy@adacore.com>
 647
 648         * inline.adb (Process_Formals): Use the sloc of
 649         the inlined node instead of the sloc of the actual parameter,
 650         when replacing formal parameters by the actual one.
 651
 652 2015-01-30  Arnaud Charlet  <charlet@adacore.com>
 653
 654         * g-expect.adb (Get_Command_Output): Use infinite timeout when
 655         calling Expect.
 656
 657 2015-01-30  Ed Schonberg  <schonberg@adacore.com>
 658
 659         * sem_ch12.adb (Analyze_Associations): If an in-parameter is
 660         defaulted in an instantiation, add an entry in the list of actuals
 661         to indicate the default value of the formal (as is already done
 662         for defaulted subprograms).
 663
 664 2015-01-30  Javier Miranda  <miranda@adacore.com>
 665
 666         * errout.adb (Error_Msg_PT): Minor error phrasing update.
 667
 668 2015-01-30  Robert Dewar  <dewar@adacore.com>
 669
 670         * sem_warn.adb (Warn_On_Known_Condition): Improve error message
 671         for object case.
 672
 673 2015-01-30  Pierre-Marie de Rodat  <derodat@adacore.com>
 674
 675         * exp_dbug.adb (Get_Encoded_Name): When
 676         -fgnat-encodings=minimal, do not generate names for biased types.
 677
 678 2015-01-30  Tristan Gingold  <gingold@adacore.com>
 679
 680         PR ada/64349
 681         * env.c: Move vxworks and darwin includes out of #ifdef IN_RTS.
 682
 683 2015-01-30  Gary Dismukes  <dismukes@adacore.com>
 684
 685         * freeze.adb: Minor reformatting.
 686
 687 2015-01-30  Javier Miranda  <miranda@adacore.com>
 688
 689         * errout.ads (Error_Msg_PT): Replace Node_Id by Entity_Id and
 690         improve its documentation.
 691         * errout.adb (Error_Msg_PT): Improve the error message.
 692         * sem_ch6.adb (Check_Conformance): Update call to Error_Msg_PT.
 693         (Check_Synchronized_Overriding): Update call to Error_Msg_PT.
 694         * sem_ch3.adb (Check_Abstract_Overriding): Code cleanup.
 695
 696 2015-01-30  Robert Dewar  <dewar@adacore.com>
 697
 698         * sem_warn.adb (Warn_On_Known_Condition): Do special casing of
 699         message for False case.
 700
 701 2015-01-30  Doug Rupp  <rupp@adacore.com>
 702
 703         * s-vxwext-kernel.ads (Task_Cont): Remove imported subprogram body.
 704         * s-vxwext-kernel.adb (Task_Cont): New subpprogram body specialized for
 705         kernel.
 706
 707 2015-01-30  Gary Dismukes  <dismukes@adacore.com>
 708
 709         * sem_attr.adb (Declared_Within_Generic_Unit):
 710         New function to test whether an entity is declared within the
 711         declarative region of a given generic unit.
 712         (Resolve_Attribute): For checking legality of subprogram'Access within
 713         a generic unit, call new Boolean function Declared_Within_Generic_Unit
 714         instead of simply comparing the results of Enclosing_Generic_Unit on
 715         the prefix and access type.  Correct minor comment typos.
 716
 717 2015-01-30  Robert Dewar  <dewar@adacore.com>
 718
 719         * freeze.adb, exp_util.ads: Update comment.
 720         * exp_util.adb, exp_ch3.adb: Minor code reorganization and reformatting.
 721         * sem_util.adb: Minor: fix typo.
 722
 723 2015-01-30  Hristian Kirtchev  <kirtchev@adacore.com>
 724
 725         * sem_attr.adb (Analyze_Attribute): Ensure that
 726         the check concerning Refined_Post takes precedence over the
 727         other cases.
 728
 729 2015-01-30  Gary Dismukes  <dismukes@adacore.com>
 730
 731         * sem_prag.adb: Minor typo fixes and reformatting.
 732
 733 2015-01-30  Yannick Moy  <moy@adacore.com>
 734
 735         * sem_attr.adb: Code clean up.
 736
 737 2015-01-30  Robert Dewar  <dewar@adacore.com>
 738
 739         * ali.adb (Scan_ALI): Set Serious_Errors flag in Unit record.
 740         * ali.ads (Unit_Record): Add new field Serious_Errors.
 741         * lib-writ.adb (Write_Unit_Information): Set SE (serious errors)
 742         attribute in U line.
 743         * lib-writ.ads: New attribute SE (serious erors) in unit line.
 744
 745 2015-01-30  Hristian Kirtchev  <kirtchev@adacore.com>
 746
 747         * einfo.adb Update the usage of attributes Entry_Bodies_Array,
 748         Lit_Indexes, Scale_Value, Storage_Size_Variable,
 749         String_Literal_Low_Bound along associated routines and
 750         Write_FieldX_Name.
 751         (Pending_Access_Types): New routine.
 752         (Set_Pending_Access_Types): New routine.
 753         (Write_Field15_Name): Add an entry for Pending_Access_Types.
 754         * einfo.ads Add new attribute Pending_Access_Types along
 755         with usage in nodes.  Update the usage of attributes
 756         Entry_Bodies_Array, Lit_Indexes, Scale_Value,
 757         Storage_Size_Variable, String_Literal_Low_Bound.
 758         (Pending_Access_Types): New routine along with pragma Inline.
 759         (Set_Pending_Access_Types): New routine along with pragma Inline.
 760         * exp_ch3.adb (Expand_Freeze_Array_Type): Add new local variable
 761         Ins_Node. Determine the insertion node for anonynous access type
 762         that acts as a component type of an array. Update the call to
 763         Build_Finalization_Master.
 764         (Expand_Freeze_Record_Type): Update
 765         the calls to Build_Finalization_Master.
 766         (Freeze_Type): Remove
 767         local variable RACW_Seen. Factor out the code that deals with
 768         remote access-to-class-wide types. Create a finalization master
 769         when the designated type contains a private component. Fully
 770         initialize all pending access types.
 771         (Process_RACW_Types): New routine.
 772         (Process_Pending_Access_Types): New routine.
 773         * exp_ch4.adb (Expand_Allocator_Expression): Allocation no longer
 774         needs to set primitive Finalize_Address.
 775         (Expand_N_Allocator): Allocation no longer sets primitive
 776         Finalize_Address.
 777         * exp_ch6.adb (Add_Finalization_Master_Actual_To_Build_In_Place_Call):
 778         Update the call to Build_Finalization_Master.
 779         (Make_Build_In_Place_Call_In_Allocator): Allocation no longer
 780         needs to set primitive Finalize_Address.
 781         * exp_ch7.adb (Add_Pending_Access_Type): New routine.
 782         (Build_Finalization_Master): New parameter profile. Associate
 783         primitive Finalize_Address with the finalization master if the
 784         designated type has been frozen, otherwise treat the access
 785         type as pending. Simplify the insertion of the master and
 786         related initialization code.
 787         (Make_Finalize_Address_Body): Allow Finalize_Address for class-wide
 788         abstract types.
 789         (Make_Set_Finalize_Address_Call): Remove forlam parameter Typ.
 790         Simplify the implementation.
 791         * exp_ch7.ads (Build_Finalization_Master): New parameter profile
 792         along with comment on usage.
 793         (Make_Set_Finalize_Address_Call): Remove formal parameter Typ. Update
 794         the comment on usage.
 795         * exp_util.adb (Build_Allocate_Deallocate_Proc): Use routine
 796         Finalize_Address to retrieve the primitive.
 797         (Finalize_Address): New routine.
 798         (Find_Finalize_Address): Removed.
 799         * exp_util.ads (Finalize_Address): New routine.
 800         * freeze.adb (Freeze_All): Remove the generation of finalization
 801         masters.
 802         * sem_ch3.adb (Analyze_Full_Type_Declaration): Propagate any
 803         pending access types from the partial to the full view.
 804
 805 2015-01-30  Robert Dewar  <dewar@adacore.com>
 806
 807         * sem_disp.adb: Minor reformatting.
 808         * sem_disp.ads: Documentation update.
 809
 810 2015-01-30  Ed Schonberg  <schonberg@adacore.com>
 811
 812         * sem_disp.adb (Is_Dynamically_Tagged): when applied to an entity
 813         or a function call, return True if type is class-wide.
 814         * sem_res.adb (Resolve_Case_Expression, Resolve_If_Expression);
 815         Apply RM 4.5.7 (17/3): all or none of the dependent expression
 816         of a conditional expression must be dynamically tagged.
 817
 818 2015-01-30  Ed Schonberg  <schonberg@adacore.com>
 819
 820         * sem_ch6.adb (Analyze_Function_Return): In an extended return
 821         statement, apply accessibility check to result object when there
 822         is no initializing expression (Ada 2012 RM 6.5 (5.4/3))
 823
 824 2015-01-30  Robert Dewar  <dewar@adacore.com>
 825
 826         * sem_ch4.adb (Analyze_If_Expression): Allow for non-standard
 827         Boolean for case where ELSE is omitted.
 828         * sem_res.adb: Minor reformatting.
 829
 830 2015-01-27  Bernd Edlinger  <bernd.edlinger@hotmail.de>
 831
 832         Fix build under cygwin/64.
 833         * adaint.h: Add check for __CYGWIN__.
 834         * mingw32.h: Prevent windows.h from including x86intrin.h in GCC.
 835
 836 2015-01-19  Bernd Edlinger  <bernd.edlinger@hotmail.de>
 837
 838         PR ada/64640
 839         * adaint.c: Handle __CYGWIN__ like __MINGW32__ here.
 840         * mingw32.h: Don't include <tchar.h> under cygwin.
 841         (_O_U8TEXT, _O_U16TEXT, _O_WTEXT): Set to _O_TEXT if not yet defined.
 842
 843 2015-01-15  Thomas Schwinge  <thomas@codesourcery.com>
 844
 845         * gcc-interface/utils.c (DEF_FUNCTION_TYPE_VAR_8)
 846         (DEF_FUNCTION_TYPE_VAR_12): New macros.
 847
 848 2015-01-09  Michael Collison  <michael.collison@linaro.org>
 849
 850         * gcc-interface/cuintp.c: Include hash-set.h, machmode.h,
 851         vec.h, double-int.h, input.h, alias.h, symtab.h,
 852         fold-const.h, wide-int.h, and inchash.h due to
 853         flattening of tree.h.
 854         * gcc-interface/decl.c: Ditto.
 855         * gcc-interface/misc.c: Ditto.
 856         * gcc-interface/targtyps.c: Include hash-set.h, machmode.h,
 857         vec.h, double-int.h, input.h, alias.h, symtab.h, options.h,
 858         fold-const.h, wide-int.h, and inchash.h due to
 859         flattening of tree.h.
 860         * gcc-interface/trans.c: Include hash-set.h, machmode.h,
 861         vec.h, double-int.h, input.h, alias.h, symtab.h, real.h,
 862         fold-const.h, wide-int.h, inchash.h due to
 863         flattening of tree.h.
 864         * gcc-interface/utils.c: Include hash-set.h, machmode.h,
 865         vec.h, double-int.h, input.h, alias.h, symtab.h,
 866         fold-const.h, wide-int.h, and inchash.h due to
 867         flattening of tree.h.
 868         * gcc-interface/utils2.c: Ditto.
 869
 870 2015-01-07  Robert Dewar  <dewar@adacore.com>
 871
 872         * sem_warn.adb (Check_One_Unit): Don't give unused entities
 873         warning for a package which is used as a generic parameter.
 874
 875 2015-01-07  Bob Duff  <duff@adacore.com>
 876
 877         * usage.adb (Usage): Correct documentation of
 878         -gnatw.f switches.
 879
 880 2015-01-07  Robert Dewar  <dewar@adacore.com>
 881
 882         * s-fileio.adb: Minor reformatting.
 883
 884 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
 885
 886         * sem_ch12.adb (Instantiate_Object): If formal is an anonymous
 887         access to subprogram, replace its formals with new entities when
 888         building the object declaration, both if actual is present and
 889         when it is defaulted.
 890
 891 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
 892
 893         * sem_ch5.adb (Analyze_Assignment): If left-hand side is a view
 894         conversion and type of expression has invariant, apply invariant
 895         check on expression.
 896
 897 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
 898
 899         * sem_ch3.adb (Create_Constrained_Components): A call to
 900         Gather_Components may detect an error if an inherited discriminant
 901         that controls a variant is non-static.
 902         * sem_aggr.adb (Resolve_Record_Aggregate, Step 5): The call to
 903         Gather_Components may report an error if an inherited discriminant
 904         in a variant in non-static.
 905         * sem_util.adb (Gather_Components): If a non-static discriminant
 906         is inherited do not report error here, but let caller handle it.
 907         (Find_Actual): Small optimization.
 908
 909 2015-01-07  Bob Duff  <duff@adacore.com>
 910
 911         * usage.adb (Usage): Document -gnatw.f switch.
 912
 913 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
 914
 915         * sem_ch12.adb: Code clean up and minor reformatting.
 916
 917 2015-01-07  Robert Dewar  <dewar@adacore.com>
 918
 919         * exp_ch4.adb (Expand_N_Type_Conversion): Add guard for
 920         Raise_Accessibility_Error call.
 921         * s-valllu.ads (Scan_Raw_Long_Long_Unsigned): Add documentation
 922         on handling of invalid digits in based constants.
 923         * s-fatgen.ads: Minor reformatting.
 924         * sem_attr.adb (Analyze_Attribute, case Unrestricted_Access):
 925         Avoid noting bogus modification for Valid test.
 926         * snames.ads-tmpl (Name_Attr_Long_Float): New Name.
 927         * einfo.ads: Minor reformatting.
 928         * sem_warn.adb: Minor comment clarification.
 929         * sem_ch12.adb: Minor reformatting.
 930
 931 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
 932
 933         * exp_ch5.adb (Expand_Predicated_Loop): Handle properly loops
 934         over static predicates when the loop parameter specification
 935         carries a Reverse indicator.
 936
 937 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
 938
 939         * sem_ch12.adb (Instantiate_Object): If formal has a default,
 940         actual is missing and formal has an anonymous access type, copy
 941         access definition in full so that tree for instance is properly
 942         formatted for ASIS use.
 943
 944 2015-01-07  Bob Duff  <duff@adacore.com>
 945
 946         * sem_elab.adb (Check_Internal_Call_Continue): Give a warning
 947         for P'Access, where P is a subprogram in the same package as
 948         the P'Access, and the P'Access is evaluated at elaboration
 949         time, and occurs before the body of P. For example, "X : T :=
 950         P'Access;" would allow a subsequent call to X.all to be an
 951         access-before-elaboration error; hence the warning. This warning
 952         is enabled by the -gnatw.f switch.
 953         * opt.ads (Warn_On_Elab_Access): New flag for warning switch.
 954         * warnsw.adb (Set_Dot_Warning_Switch): Set Warn_On_Elab_Access.
 955         * gnat_ugn.texi: Document the new warning.
 956
 957 2015-01-07  Johannes Kanig  <kanig@adacore.com>
 958
 959         * lib-xref-spark_specific.adb (Collect_SPARK_Xrefs): Skip unneeded
 960         cross ref files.
 961
 962 2015-01-07  Robert Dewar  <dewar@adacore.com>
 963
 964         * s-taprop-linux.adb, clean.adb: Minor reformatting.
 965
 966 2015-01-07  Arnaud Charlet  <charlet@adacore.com>
 967
 968         * s-tassta.adb: Relax some overzealous assertions.
 969
 970 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
 971
 972         * sem_ch6.adb (Analyze_Return_Type): An call that returns a limited
 973         view of a type is legal when context is a thunk generated for
 974         operation inherited from an interface.
 975         * exp_ch6.adb (Expand_Simple_Function_Return): If context is
 976         a thunk and return type is an incomplete type do not continue
 977         expansion; thunk will be fully elaborated when generating code.
 978
 979 2015-01-07  Doug Rupp  <rupp@adacore.com>
 980
 981         * s-osinte-mingw.ads (LARGE_INTEGR): New subtype.
 982         (QueryPerformanceFrequency): New imported procedure.
 983         * s-taprop-mingw.adb (RT_Resolution): Call above and return
 984         resolution vice a hardcoded value.
 985         * s-taprop-solaris.adb (RT_Resolution): Call clock_getres and return
 986         resolution vice a hardcoded value.
 987         * s-linux-android.ads (clockid_t): New subtype.
 988         * s-osinte-aix.ads (clock_getres): New imported subprogram.
 989         * s-osinte-android.ads (clock_getres): Likewise.
 990         * s-osinte-freebsd.ads (clock_getres): Likewise.
 991         * s-osinte-solaris-posix.ads (clock_getres): Likewise.
 992         * s-osinte-darwin.ads (clock_getres): New subprogram.
 993         * s-osinte-darwin.adb (clock_getres): New subprogram.
 994         * thread.c (__gnat_clock_get_res) [__APPLE__]: New function.
 995         * s-taprop-posix.adb (RT_Resolution): Call clock_getres to
 996         calculate resolution vice hard coded value.
 997
 998 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
 999
1000         * exp_util.adb (Make_CW_Equivalent_Type): If root type is a
1001         limited view, use non-limited view when available to create
1002         equivalent record type.
1003
1004 2015-01-07  Vincent Celier  <celier@adacore.com>
1005
1006         * gnatcmd.adb: Remove command Sync and any data and processing
1007         related to this command. Remove project processing for gnatstack.
1008         * prj-attr.adb: Remove package Synchonize and its attributes.
1009
1010 2015-01-07  Vincent Celier  <celier@adacore.com>
1011
1012         * clean.adb: Minor error message change.
1013
1014 2015-01-07  Tristan Gingold  <gingold@adacore.com>
1015
1016         PR ada/64349
1017         * env.c (__gnat_environ): Adjust for darwin9/darwin10.
1018
1019 2015-01-07  Javier Miranda  <miranda@adacore.com>
1020
1021         * sem_ch10.adb (Analyze_With_Clause): Compiling under -gnatq
1022         protect the frontend against never ending recursion caused by
1023         circularities in the sources.
1024
1025 2015-01-07  Robert Dewar  <dewar@adacore.com>
1026
1027         * a-reatim.adb, make.adb, exp_pakd.adb, i-cpoint.adb, sem_ch8.adb,
1028         exp_ch3.adb: Minor reformatting.
1029
1030 2015-01-07  Doug Rupp  <rupp@adacore.com>
1031
1032         * s-linux.ads (clockid_t): New subtype.
1033         * s-osinte-linux.ads (pragma Linker Options): Add -lrt.
1034         (clockid_t): New subtype.
1035         (clock_getres): Import system call.
1036         * s-taprop-linux.adb (System.OS_Constants): With and rename.
1037         (RT_Resolution): Remove
1038         hardcoded value and call clock_getres.
1039         * s-linux-sparc.ads, s-linux-mipsel.ads, s-linux-hppa.ads,
1040         s-linux-alpha.ads, s-linux-x32.ads (clockid_t): Add new subtype.
1041
1042 2015-01-07  Robert Dewar  <dewar@adacore.com>
1043
1044         * sem_warn.adb (Check_One_Unit): Guard against context item
1045         with no Entity field.
1046
1047 2015-01-07  Vincent Celier  <celier@adacore.com>
1048
1049         * clean.adb (Gnatclean): Warn that 'gnatclean -P' is obsolete.
1050         * make.adb (Initialize): Warn that 'gnatmake -P' is obsolete.
1051
1052 2015-01-07  Vincent Celier  <celier@adacore.com>
1053
1054         * prj-conf.adb (Parse_Project_And_Apply_Config): Always finalize
1055         errors/warnings in the first parsing of the project files,
1056         to display the warnings when there is no errors.
1057
1058 2015-01-07  Tristan Gingold  <gingold@adacore.com>
1059
1060         * i-cpoint.adb (Copy_Terminated_Array): Nicely handle null target.
1061
1062 2015-01-07  Doug Rupp  <rupp@adacore.com>
1063
1064         * s-taprop-vxworks.adb (Stop_All_Tasks): Pass return
1065         value from Int_Lock as parameter to Int_Unlock.
1066         * s-osinte-vxworks.ads (Int_Unlock): Add parameter.
1067         * s-vxwext.ads (Int_Unlock): Likewise.
1068         * s-vxwext-kernel.adb (intUnlock, Int_Unlock): Likewise.
1069         * s-vxwext-kernel.ads (Int_Unlock): Likewise.
1070         * s-vxwext-rtp.adb (Int_Unlock): Likewise.
1071         * s-vxwext-rtp.ads (Int_Unlock): Likewise.
1072
1073 2015-01-07  Pierre-Marie de Rodat  <derodat@adacore.com>
1074
1075         * exp_pakd.adb: Add a comment in exp_pakd.adb to explain why we
1076         keep ___XP suffixes
1077
1078 2015-01-07  Tristan Gingold  <gingold@adacore.com>
1079
1080         * i-cpoint.adb (Copy_Terminated_Array): Use Copy_Array to
1081         handle overlap.
1082
1083 2015-01-07  Eric Botcazou  <ebotcazou@adacore.com>
1084
1085         * sem_ch3.adb (Analyze_Full_Type_Declaration): Do not
1086         automatically set No_Strict_Aliasing on access types.
1087         * fe.h (No_Strict_Aliasing_CP): Declare.
1088         * gcc-interface/trans.c (gigi): Force flag_strict_aliasing to 0 if
1089         No_Strict_Aliasing_CP is set.
1090
1091 2015-01-07  Johannes Kanig  <kanig@adacore.com>
1092
1093         * sem_ch8.adb (Analyze_Subprogram_Renaming) do
1094         not build function wrapper in gnatprove mode when the package
1095         is externally axiomatized.
1096
1097 2015-01-07  Jose Ruiz  <ruiz@adacore.com>
1098
1099         * a-reatim.adb (Time_Of): Reduce the number of spurious overflows in
1100         intermediate computations when the parameters have different signs.
1101
1102 2015-01-07  Javier Miranda  <miranda@adacore.com>
1103
1104         * exp_ch3.adb (Build_Init_Procedure): For derived types,
1105         improve the code which takes care of identifying and moving to
1106         the beginning of the init-proc the call to the init-proc of the
1107         parent type.
1108
1109 2015-01-07  Olivier Hainque  <hainque@adacore.com>
1110
1111         * gcc-interface/trans.c (gnat_to_gnu, <N_Expression_With_Action>):
1112         Elaborate the expression as part of the same stmt group as the actions.
1113
1114 2015-01-07  Robert Dewar  <dewar@adacore.com>
1115
1116         * sem_ch3.adb: Minor error message change.
1117
1118 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
1119
1120         * sem_prag.adb (Analyze_Pragma, case Preelaborable_Initialization):
1121         Following AI05-028, the pragam applies legally to any composite type.
1122
1123 2015-01-07  Arnaud Charlet  <charlet@adacore.com>
1124
1125         * s-osinte-vxworks.adb, s-osinte-vxworks.ads
1126         (sigwait, sigwaitinfo): Removed, not needed after all on any
1127         VxWorks configurations.
1128
1129 2015-01-07  Robert Dewar  <dewar@adacore.com>
1130
1131         * sem_ch3.adb, freeze.adb, exp_disp.adb: Minor reformatting.
1132
1133 2015-01-07  Javier Miranda  <miranda@adacore.com>
1134
1135         * exp_disp.adb (Expand_Interface_Conversion): Adding missing
1136         generation of accessibility check.
1137
1138 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
1139
1140         * sem_ch3.adb (Derived_Type_Declaration): In the case of an
1141         illegal completion from a class- wide type, set etype of the
1142         derived type properly to prevent cascaded errors.
1143
1144 2015-01-07  Robert Dewar  <dewar@adacore.com>
1145
1146         * prj.ads, i-cpoint.adb, freeze.adb, ghost.adb, prj-err.adb: Minor
1147         reformatting.
1148
1149 2015-01-07  Robert Dewar  <dewar@adacore.com>
1150
1151         * restrict.adb (Check_Restriction_No_Use_Of_Attribute):
1152         New procedure.
1153         (OK_No_Use_Of_Entity_Name): New function.
1154         (Set_Restriction_No_Use_Of_Entity): New procedure.
1155         * restrict.ads (Check_Restriction_No_Use_Of_Attribute):
1156         New procedure.
1157         (OK_No_Use_Of_Entity_Name): New function.
1158         (Set_Restriction_No_Use_Of_Entity): New procedure.
1159         * sem_ch8.adb (Find_Direct_Name): Add check for violation of
1160         No_Use_Of_Entity.
1161         * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings):
1162         Add processing for new restriction No_Use_Of_Entity.
1163
1164 2015-01-07  Eric Botcazou  <ebotcazou@adacore.com>
1165
1166         * freeze.adb (Freeze_Array_Type): Apply same handling to Is_Atomic
1167         component type as to Has_Atomic_Components type.  Remove useless
1168         test on Is_Aliased component type.
1169
1170 2015-01-07  Hristian Kirtchev  <kirtchev@adacore.com>
1171
1172         * alloc.ads Alphabetize several declarations. Add constants
1173         Ignored_Ghost_Units_Initial and Ignored_Ghost_Units_Increment.
1174         * atree.adb Add with and use clauses for Opt.
1175         (Allocate_Initialize_Node): Mark a node as ignored Ghost
1176         if it is created in an ignored Ghost region.
1177         (Ekind_In): New variant.
1178         (Is_Ignored_Ghost_Node): New routine.
1179         (Set_Is_Ignored_Ghost_Node): New routine.
1180         * atree.adb Aplhabetize several subprograms declarations. Flag
1181         Spare0 is now known as Is_Ignored_Ghost_Node.
1182         (Ekind_In): New variant.
1183         (Is_Ignored_Ghost_Node): New routine.
1184         (Set_Is_Ignored_Ghost_Node): New routine.
1185         * einfo.adb: Flag 279 is now known as Contains_Ignored_Ghost_Code.
1186         (Contains_Ignored_Ghost_Code): New routine.
1187         (Set_Contains_Ignored_Ghost_Code): New routine.
1188         (Set_Is_Checked_Ghost_Entity, Set_Is_Ignored_Ghost_Entity):
1189         It is now possible to set this property on an unanalyzed entity.
1190         (Write_Entity_Flags): Output the status of flag
1191         Contains_Ignored_Ghost_Code.
1192         * einfo.ads New attribute Contains_Ignored_Ghost_Code along with
1193         usage in nodes.
1194         (Contains_Ignored_Ghost_Code): New routine
1195         along with pragma Inline.
1196         (Set_Contains_Ignored_Ghost_Code): New routine along with pragma Inline.
1197         * exp_ch3.adb Add with and use clauses for Ghost.
1198         (Freeze_Type): Capture/restore the value of Ghost_Mode on entry/exit.
1199         Set the Ghost_Mode in effect.
1200         (Restore_Globals): New routine.
1201         * exp_ch7.adb (Process_Declarations): Do not process a context
1202         that invoves an ignored Ghost entity.
1203         * exp_dbug.adb (Qualify_All_Entity_Names): Skip an ignored Ghost
1204         construct that has been rewritten as a null statement.
1205         * exp_disp.adb Add with and use clauses for Ghost.
1206         (Make_DT): Capture/restore the value of Ghost_Mode on entry/exit. Set
1207         the Ghost_Mode in effect.
1208         (Restore_Globals): New routine.
1209         * exp_util.adb (Requires_Cleanup_Actions): An ignored Ghost entity
1210         does not require any clean up. Add two missing cases that deal
1211         with block statements.
1212         * freeze.adb Add with and use clauses for Ghost.
1213         (Freeze_Entity): Capture/restore the value of Ghost_Mode on entry/exit.
1214         Set the Ghost_Mode in effect.
1215         (Restore_Globals): New routine.
1216         * frontend.adb Add with and use clauses for Ghost. Remove any
1217         ignored Ghost code from all units that qualify.
1218         * ghost.adb New unit.
1219         * ghost.ads New unit.
1220         * gnat1drv.adb Add with clause for Ghost. Initialize and lock
1221         the table in package Ghost.
1222         * lib.ads: Alphabetize several subprogram declarations.
1223         * lib-xref.adb (Output_References): Do not generate reference
1224         information for ignored Ghost entities.
1225         * opt.ads Add new type Ghost_Mode_Type and new global variable
1226         Ghost_Mode.
1227         * rtsfind.adb (Load_RTU): Provide a clean environment when
1228         loading a runtime unit.
1229         * sem.adb (Analyze): Capture/restore the value of Ghost_Mode on
1230         entry/exit as the node may set a different mode.
1231         (Do_Analyze):
1232         Capture/restore the value of Ghost_Mode on entry/exit as the
1233         unit may be withed from a unit with a different Ghost mode.
1234         * sem_ch3.adb Add with and use clauses for Ghost.
1235         (Analyze_Full_Type_Declaration, Analyze_Incomplete_Type_Decl,
1236         Analyze_Number_Declaration, Analyze_Private_Extension_Declaration,
1237         Analyze_Subtype_Declaration): Set the Ghost_Mode in effect. Mark
1238         the entity as Ghost when there is a Ghost_Mode in effect.
1239         (Array_Type_Declaration): The implicit base type inherits the
1240         "ghostness" from the array type.
1241         (Derive_Subprogram): The
1242         alias inherits the "ghostness" from the parent subprogram.
1243         (Make_Implicit_Base): The implicit base type inherits the
1244         "ghostness" from the parent type.
1245         * sem_ch5.adb Add with and use clauses for Ghost.
1246         (Analyze_Assignment): Set the Ghost_Mode in effect.
1247         * sem_ch6.adb Add with and use clauses for Ghost.
1248         (Analyze_Abstract_Subprogram_Declaration, Analyze_Procedure_Call,
1249         Analyze_Subprogram_Body_Helper, Analyze_Subprogram_Declaration):
1250         Set the Ghost_Mode in effect. Mark the entity as Ghost when
1251         there is a Ghost_Mode in effect.
1252         * sem_ch7.adb Add with and use clauses for Ghost.
1253         (Analyze_Package_Body_Helper, Analyze_Package_Declaration,
1254         Analyze_Private_Type_Declaration): Set the Ghost_Mode in
1255         effect. Mark the entity as Ghost when there is a Ghost_Mode
1256         in effect.
1257         * sem_ch8.adb Add with and use clauses for Ghost.
1258         (Analyze_Exception_Renaming, Analyze_Generic_Renaming,
1259         Analyze_Object_Renaming, Analyze_Package_Renaming,
1260         Analyze_Subprogram_Renaming): Set the Ghost_Mode in effect. Mark
1261         the entity as Ghost when there is a Ghost_Mode in effect.
1262         (Find_Type): Check the Ghost context of a type.
1263         * sem_ch11.adb Add with and use clauses for Ghost.
1264         (Analyze_Exception_Declaration): Set the Ghost_Mode in
1265         effect. Mark the entity as Ghost when there is a Ghost_Mode
1266         in effect.
1267         * sem_ch12.adb Add with and use clauses for Ghost.
1268         (Analyze_Generic_Package_Declaration,
1269         Analyze_Generic_Subprogram_Declaration): Set the Ghost_Mode in effect.
1270         Mark the entity as Ghost when there is a Ghost_Mode in effect.
1271         * sem_prag.adb Add with and use clauses for Ghost.
1272         (Analyze_Pragma): Ghost-related checks are triggered when there
1273         is a Ghost mode in effect.
1274         (Create_Abstract_State): Mark the
1275         entity as Ghost when there is a Ghost_Mode in effect.
1276         * sem_res.adb Add with and use clauses for Ghost.
1277         (Check_Ghost_Context): Removed.
1278         * sem_util.adb (Check_Ghost_Completion): Removed.
1279         (Check_Ghost_Derivation): Removed.
1280         (Incomplete_Or_Partial_View):
1281         Add a guard in case the entity has not been analyzed yet
1282         and does carry a scope.
1283         (Is_Declaration): New routine.
1284         (Is_Ghost_Entity): Removed.
1285         (Is_Ghost_Statement_Or_Pragma):
1286         Removed.
1287         (Is_Subject_To_Ghost): Removed.
1288         (Set_Is_Ghost_Entity):
1289         Removed.
1290         (Within_Ghost_Scope): Removed.
1291         * sem_util.adb (Check_Ghost_Completion): Removed.
1292         (Check_Ghost_Derivation): Removed.
1293         (Is_Declaration): New routine.
1294         (Is_Ghost_Entity): Removed.
1295         (Is_Ghost_Statement_Or_Pragma): Removed.
1296         (Is_Subject_To_Ghost): Removed.
1297         (Set_Is_Ghost_Entity): Removed.
1298         (Within_Ghost_Scope): Removed.
1299         * sinfo.ads Add a section on Ghost mode.
1300         * treepr.adb (Print_Header_Flag): New routine.
1301         (Print_Node_Header): Factor out code. Output flag
1302         Is_Ignored_Ghost_Node.
1303         * gcc-interface/Make-lang.in: Add dependency for unit Ghost.
1304
1305 2015-01-06  Eric Botcazou  <ebotcazou@adacore.com>
1306
1307         * freeze.adb (Freeze_Array_Type) <Complain_CS>: Remove always
1308         true test and unreachable 'else' arm.
1309
1310 2015-01-06  Vincent Celier  <celier@adacore.com>
1311
1312         * prj-conf.adb (Check_Target): Improve error message when
1313         there are mismatched targets between the on in the configuration
1314         project file and the specified one, either in the main project
1315         file or in the --target= switch.
1316
1317 2015-01-06  Pascal Obry  <obry@adacore.com>
1318
1319         * prj-attr.adb, projects.texi, snames.ads-tmpl: Add Mode and
1320         Install_Name attribute definitions.
1321
1322 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1323
1324         * freeze.adb (Wrap_Imported_Subprogram): Indicate that the
1325         generated Import pragma for the internal imported procedure does
1326         not come from an aspect, so that Is_Imported can be properly
1327         set for it.
1328
1329 2015-01-06  Gary Dismukes  <dismukes@adacore.com>
1330
1331         * sem_ch12.adb (Might_Inline_Subp): Record whether
1332         any subprograms in the generic package are marked with
1333         pragma Inline_Always (setting flag Has_Inline_Always).
1334         (Analyze_Package_Instantiation): Add test of Has_Inline_Always
1335         alongside existing test of Front_End_Inlining as alternative
1336         conditions for setting Inline_Now. Also add test of
1337         Has_Inline_Always along with Front_End_Inlining test as an
1338         alternative condition for setting Needs_Body to False.
1339
1340 2015-01-06  Tristan Gingold  <gingold@adacore.com>
1341
1342         * i-cpoint.adb (Copy_Array): Handle overlap.
1343
1344 2015-01-06  Pascal Obry  <obry@adacore.com>
1345
1346         * bindgen.adb: Minor style fix.
1347
1348 2015-01-06  Robert Dewar  <dewar@adacore.com>
1349
1350         * sem_util.ads, sem_util.adb: Minor reformatting.
1351
1352 2015-01-06  Vincent Celier  <celier@adacore.com>
1353
1354         * prj-conf.adb (Parse_Project_And_Apply_Config): Reset incomplete
1355         with flags before parsing the projects.
1356         * prj-err.adb (Error_Msg): Do nothing if there are incomplete withs.
1357         * prj-part.adb (Post_Parse_Context_Clause): Set Incomplete_Withs
1358         to True in the flags, when Ignore_Missing_With is True and an
1359         imported project cannot be found.
1360         * prj-proc.adb (Expression): When there are incomplete withs and
1361         a variable or attribute is not found, set the variable/attribute
1362         to unknown.
1363         * prj.ads (Processing_Flags): New flag Incomplete_Withs,
1364         defaulted to False.
1365
1366 2015-01-06  Vasiliy Fofanov  <fofanov@adacore.com>
1367
1368         * prj-proc.adb, prj-part.adb, prj.adb, prj.ads, prj-conf.adb,
1369         prj-err.adb: Add new switch --no-command-line.
1370
1371 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1372
1373         * sem_ch12.adb: Sloc of wrapper is that of instantiation.
1374
1375 2015-01-06  Robert Dewar  <dewar@adacore.com>
1376
1377         * sem_ch11.adb: Minor reformatting.
1378
1379 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1380
1381         * exp_aggr.adb (Get_Assoc_Expr): New routine internal to
1382         Build_Array_Aggr_Code, used to initialized components covered
1383         by a box association. If the component type is scalar and has
1384         a default aspect, use it to initialize such components.
1385
1386 2015-01-06  Pascal Obry  <obry@adacore.com>
1387
1388         * rtinit.c (__gnat_runtime_initialize): Add a parameter to
1389         control the setup of the exception handler.
1390         * initialize.c: Remove unused declaration.
1391         * bindgen.adb: Always call __gnat_runtime_initialize and pass
1392         whether the exeception handler must be set or not.
1393
1394 2015-01-06  Thomas Quinot  <quinot@adacore.com>
1395
1396         * freeze.adb (Set_SSO_From_Defaults): When setting scalar storage
1397         order to native from default, make sure to also adjust bit order.
1398         * exp_aggr.adb: Minor reformatting.
1399
1400 2015-01-06  Robert Dewar  <dewar@adacore.com>
1401
1402         * s-valllu.adb, s-valllu.ads, s-valuti.ads, s-valuns.adb, s-valuns.ads,
1403         s-valrea.adb, s-valrea.ads: Add some additional guards for
1404         Str'Last = Positive'Last.
1405
1406 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1407
1408         * sem_ch12.adb, sem_ch8.adb: Ongoing work for wrappers for actual
1409         subprograms.
1410
1411 2015-01-06  Javier Miranda  <miranda@adacore.com>
1412
1413         * exp_disp.adb (Expand_Interface_Conversion): Reapply patch.
1414
1415 2015-01-06  Thomas Quinot  <quinot@adacore.com>
1416
1417         * sem_util.ads: Minor reformatting.
1418         * sem_cat.adb (In_RCI_Visible_Declarations): Change back to...
1419         (In_RCI_Declaration) Return to old name, as proper checking of
1420         entity being in the visible part depends on entity kind and must
1421         be done by the caller.
1422
1423 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1424
1425         * sem_ch12.adb, sem_ch12.ads, sem_ch8.adb: Ongoing work for wrappers
1426         for operators in SPARK.
1427
1428 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1429
1430         * sem_aggr.adb (Get_Value): In ASIS mode, preanalyze the
1431         expression in an others association before making copies for
1432         separate resolution and accessibility checks. This ensures that
1433         the type of the expression is available to ASIS in all cases,
1434         in particular if the expression is itself an aggregate.
1435
1436 2015-01-06  Eric Botcazou  <ebotcazou@adacore.com>
1437
1438         * einfo.ads (Has_Independent_Components): Document extended
1439         usage.
1440         * einfo.adb (Has_Independent_Components): Remove obsolete assertion.
1441         (Set_Has_Independent_Components): Adjust assertion.
1442         * sem_prag.adb (Analyze_Pragma): Also set Has_Independent_Components
1443         for pragma Atomic_Components.  Set Has_Independent_Components
1444         on the object instead of the type for an object declaration with
1445         pragma Independent_Components.
1446
1447 2015-01-06  Olivier Hainque  <hainque@adacore.com>
1448
1449         * set_targ.adb (Read_Target_Dependent_Values): Set
1450         Long_Double_Index when "long double" is read.
1451         (elaboration code): Register_Back_End_Types only when not reading from
1452         config files. Doing otherwise is pointless and error prone.
1453
1454 2015-01-06  Robert Dewar  <dewar@adacore.com>
1455
1456         * s-valrea.adb (Value_Real): Check for Str'Last = Positive'Last
1457
1458 2015-01-06  Robert Dewar  <dewar@adacore.com>
1459
1460         * a-wtgeau.adb, a-ztgeau.adb, a-tigeau.adb (String_Skip): Raise PE if
1461         Str'Last = Positive'Last.
1462
1463 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1464
1465         * sem_ch6.adb (Matches_Limited_View): Handle properly the case
1466         where the non-limited type is a generic actual and appears as
1467         a subtype of the non-limited view of the other.
1468         * freeze.adb (Build_Renamed_Body): If the return type of the
1469         declaration that is being completed is a limited view and the
1470         non-limited view is available, use it in the specification of
1471         the generated body.
1472
1473 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1474
1475         * sem_ch3.adb (Find_Type_Name): If there is a previous tagged
1476         incomplete view, the type of the classwide type common to both
1477         views is the type being declared.
1478
1479 2015-01-06  Eric Botcazou  <ebotcazou@adacore.com>
1480
1481         * einfo.ads (Is_Independent): Further document extended usage.
1482
1483 2015-01-06  Eric Botcazou  <ebotcazou@adacore.com>
1484
1485         * einfo.ads (Is_Independent): Document extended usage.
1486         * einfo.adb (Is_Independent): Remove obsolete assertion.
1487         (Set_Is_Independent): Likewise.
1488         * sem_prag.adb (Process_Atomic_Shared_Volatile): Rename into...
1489         (Process_Atomic_Independent_Shared_Volatile): ...this.
1490         Deal with pragma Independent here.
1491         (Analyze_Pragma): Adjust
1492         to above renaming and also invoke it for pragma Independent.
1493         Adjust comment for Independent_Components.
1494
1495 2015-01-06  Robert Dewar  <dewar@adacore.com>
1496
1497         * snames.ads-tmpl: Remove entries for attribute Enum_Image.
1498         * exp_attr.adb: Remove reference to Attribute_Enum_Image.
1499
1500 2015-01-06  Robert Dewar  <dewar@adacore.com>
1501
1502         * s-vallli.adb (Value_Long_Long_Integer): Handle case of Str'Last
1503         = Positive'Last.
1504         * s-valllu.adb (Value_Long_Long_Unsigned): Handle case of
1505         Str'Last = Positive'Last.
1506
1507 2015-01-06  Robert Dewar  <dewar@adacore.com>
1508
1509         * sem_prag.adb (Process_Inline): Remove redundant construct
1510         warning (-gnatw.r) for an ineffective pragma Inline.
1511
1512 2015-01-06  Robert Dewar  <dewar@adacore.com>
1513
1514         * s-valint.adb: Fix typo in last checkin.
1515         * s-valuns.adb (Value_Unsigned): More efficient fix for
1516         Positive'Last case.
1517         * sem_attr.adb (Analyze_Attribute): Minor reformatting
1518         (Eval_Attribute): Static ervaluation of 'Img for enumeration types.
1519
1520 2015-01-06  Robert Dewar  <dewar@adacore.com>
1521
1522         * s-valint.adb, s-valuns.adb (Value_Integer): Deal with case where
1523         Str'Last = Positive'Last
1524
1525 2015-01-06  Thomas Quinot  <quinot@adacore.com>
1526
1527         * xoscons.adb: Display exception information and return non-zero
1528         exit status in top level exception handler.
1529
1530 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1531
1532         * sem_ch8.adb: Code clean up.
1533
1534 2015-01-06  Tristan Gingold  <gingold@adacore.com>
1535
1536         * targparm.ads: Remove obsolete comment.
1537
1538 2015-01-06  Olivier Hainque  <hainque@adacore.com>
1539
1540         * gcc-interface/decl.c (gnat_to_gnu_entity, case E_Variable): When
1541         constructing a ref to variable, update inner_const_flag from the
1542         variable TREE_READONLY attribute.
1543         * gcc-interface/targtyps.c (WIDEST_HARDWARE_FP_SIZE): Remove default
1544         definition.
1545         (get_target_float_size): Remove.
1546         (get_target_double_size): Remove.
1547         (get_target_long_double_size): Remove.
1548
1549 2015-01-06  Pascal Obry  <obry@adacore.com>
1550
1551         * adaint.c (ProcListEvt): Set to NULL.
1552         * rtinit.c: New file.
1553         (__gnat_rt_init_count): New reference counter set to 0.
1554         (__gnat_runtime_initialize): Move code here from __gnat_initialize when
1555         this code is actually needed for the runtime initialization. This
1556         routine returns immediately if the initialization has already been done.
1557         * final.c: Revert previous change.
1558         * rtfinal.c: New file.
1559         (__gnat_runtime_finalize)[Win32]: Add finalization of the critical
1560         section and event. The default version of this routine is empty (except
1561         for the reference counting code). This routine returns immediately if
1562         some others libraries are referencing the runtime.
1563         * bindgen.adb (Gen_Adainit): Generate call to Runtime_Initialize
1564         remove circuitry to initialize the signal handler as this is
1565         now done by the runtime initialization routine.
1566         (Gen_Adafinal): Generate call to Runtime_Finalize.
1567         * gnat_ugn.texi: Update documentation about concurrency and
1568         initialization/finalization of the run-time.
1569         * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Add
1570         references to rtfinal.o and rtinit.o
1571
1572 2015-01-06  Robert Dewar  <dewar@adacore.com>
1573
1574         * exp_attr.adb (Expand_N_Attribute_Reference): Add dummy entry
1575         for Enum_Image.
1576         * sem_attr.adb: Implement Enum_Image attribute.
1577         * snames.ads-tmpl: Add entries for Enum_Image attribute.
1578
1579 2015-01-06  Robert Dewar  <dewar@adacore.com>
1580
1581         * namet.ads: Document use of Boolean2 for No_Use_Of_Entity.
1582         * restrict.ads (No_Use_Of_Entity): New table.
1583         * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings):
1584         Ignore No_Use_Of_Entity (will be processed in parser).
1585         * snames.ads-tmpl: Add entry for Name_No_Use_Of_Entity.
1586
1587 2015-01-06  Vincent Celier  <celier@adacore.com>
1588
1589         * prj-tree.adb (Imported_Or_Extended_Project_Of): Do not try
1590         to check for an extended project, if a project does not have
1591         yet a project declaration.
1592
1593 2015-01-06  Pierre-Marie Derodat  <derodat@adacore.com>
1594
1595         * scos.ads: Update documentation about the SCO table build
1596         process and about table records format.
1597         * par_sco.ads (SCO_Record): Rename to SCO_Record_Raw.
1598         (SCO_Record_Filtered): New procedure.
1599         (Set_SCO_Logical_Operator): New procedure.
1600         (dsco): Update documentation.
1601         * par_sco.adb: Update library-level comments.
1602         (SCO_Generation_State_Type): New type.
1603         (SCO_Generation_State): New variable.
1604         (SCO_Raw_Table): New package instanciation.
1605         (Condition_Pragma_Hash_Table): Rename to SCO_Raw_Hash_Table.
1606         ("<"): New.
1607         (Tristate): New type.
1608         (Is_Logical_Operator): Return Tristate and update documentation.
1609         (Has_Decision): Update call to Is_Logical_Operator and complete
1610         documentation.
1611         (Set_Table_Entry): Rename to Set_Raw_Table_Entry, update
1612         comment, add an assertion for state checking and change
1613         references to SCO_Table into SCO_Raw_Table.
1614         (dsco): Refactor to dump the raw and the filtered tables.
1615         (Process_Decisions.Output_Decision_Operand): Handle putative
1616         short-circuit operators.
1617         (Process_Decisions.Output_Element): Update references
1618         to Set_Table_Entry and to Condition_Pragma_Hash_Table.
1619         (Process_Decisions.Process_Decision_Operand): Update call
1620         to Is_Logical_Operator.
1621         (Process_Decisions.Process_Node): Handle putative short-circuit
1622         operators and change references to
1623         SCO_Table into SCO_Raw_Table.
1624         (SCO_Output): Add an assertion
1625         for state checking and remove code that used to stamp out SCO entries.
1626         (SCO_Pragma_Disabled): Change reference to SCO_Table
1627         into SCO_Raw_Table.
1628         (SCO_Record): Rename to SCO_Record_Raw,
1629         add an assertion for state checking and change references
1630         to SCO_Table into SCO_Raw_Table.
1631         (Set_SCO_Condition): Add an assertion for state checking, update
1632         references to Condition_Pragma_Hash_Table and change references to
1633         SCO_Table into SCO_Raw_Table.
1634         (Set_SCO_Pragma_Enabled): Add an assertion for state checking and
1635         change references to SCO_Table into SCO_Raw_Table.
1636         (Set_SCO_Logical_Operator): New procedure.
1637         (Traverse_Declarations_Or_Statements.Set_Statement_Entry): Update
1638         references to Set_Table_Entry and to Condition_Pragma_Hash_Table.
1639         (SCO_Record_Fildered): New procedure.
1640         * gnat1drv.adb (Gnat1drv): Invoke the SCO filtering pass.
1641         * lib-writ.adb (Write_ALI): Invoke the SCO filtering pass and
1642         output SCOs.
1643         * par-load.adb (Load): Update reference to SCO_Record.
1644         * par.adb (Par): Update reference to SCO_Record.
1645         * put_scos.adb (Put_SCOs): Add an assertion to check that no
1646         putative SCO condition reaches this end.
1647         * sem_ch10.adb (Analyze_Proper_Body): Update reference to SCO_Record.
1648         * sem_res.adb (Resolve_Logical_Op): Validate putative SCOs
1649         when corresponding to an "and"/"or" operator affected by the
1650         Short_Circuit_And_Or pragma.
1651
1652 2015-01-06  Robert Dewar  <dewar@adacore.com>
1653
1654         * sem_ch8.adb (Analyze_Use_Package): Give more specific error
1655         msg for attempted USE of generic subprogram or subprogram.
1656
1657 2015-01-06  Robert Dewar  <dewar@adacore.com>
1658
1659         * s-valllu.adb, a-tiinau.adb, a-timoau.adb, a-ztinau.adb, a-ztmoau.adb,
1660         s-valuns.adb, s-valrea.adb, a-wtflau.adb, a-tiflau.adb, a-ztflau.adb,
1661         a-wtinau.adb, a-wtmoau.adb: Document recognition of : in place of #.
1662
1663 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1664
1665         * sem_ch13.adb (Analyze_Aspect_Specifications): For aspects
1666         that specify stream subprograms, if the prefix is a class-wide
1667         type then the generated attribute definition clause must apply
1668         to the same class-wide type.
1669         (Default_Iterator): An iterator defined by an aspect of some
1670         container type T must have a first parameter of type T, T'class,
1671         or an access to such (from code reading RM 5.5.1 (2/3)).
1672
1673 2015-01-06  Arnaud Charlet  <charlet@adacore.com>
1674
1675         * gnat1drv.adb: Minor: complete previous change.
1676
1677 2015-01-06  Olivier Hainque  <hainque@adacore.com>
1678
1679         * set_targ.ads (C_Type_For): New function. Return the name of
1680         a C type supported by the back-end and suitable as a basis to
1681         construct the standard Ada floating point type identified by
1682         the T parameter. This is used as a common ground to feed both
1683         ttypes values and the GNAT tree nodes for the standard floating
1684         point types.
1685         * set_targ.adb (Long_Double_Index): The index at which "long
1686         double" gets registered in the FPT_Mode_Table. This is useful to
1687         know whether we have a "long double" available at all and get at
1688         it's characteristics without having to search the FPT_Mode_Table
1689         when we need to decide which C type should be used as the
1690         basis for Long_Long_Float in Ada.
1691         (Register_Float_Type): Fill Long_Double_Index.
1692         (FPT_Mode_Index_For): New function. Return the index in
1693         FPT_Mode_Table that designates the entry corresponding to the
1694         provided C type name.
1695         (FPT_Mode_Index_For): New function. Return the index in
1696         FPT_Mode_Table that designates the entry for a back-end type
1697         suitable as a basis to construct the standard Ada floating point
1698         type identified by the input T parameter.
1699         (elaboration code): Register_Back_End_Types unconditionally,
1700         so C_Type_For can operate regardless of -gnateT. Do it
1701         early so we can query it for the floating point sizes, via
1702         FPT_Mode_Index_For. Initialize Float_Size, Double_Size and
1703         Long_Double_Size from the FPT_Mode_Table, as cstand will do.
1704         * cstand.adb (Create_Float_Types): Use C_Type_For to determine
1705         which C type should be used as the basis for the construction
1706         of the Standard Ada floating point types.
1707         * get_targ.ads (Get_Float_Size, Get_Double_Size,
1708         Get_Long_Double_Size): Remove.
1709         * get_targ.adb: Likewise.
1710
1711 2015-01-06  Thomas Quinot  <quinot@adacore.com>
1712
1713         * sem_cat.adb (In_RCI_Declaration): Remove unnecessary
1714         parameter and rename to...
1715         (In_RCI_Visible_Declarations): Fix handling of private part of nested
1716         package.
1717         (Validate_RCI_Subprogram_Declaration): Reject illegal function
1718         returning anonymous access in RCI unit.
1719
1720 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1721
1722         * sem_ch6.adb (New_Overloaded_Entity): In GNATprove mode, a
1723         function wrapper may be a homonym of another local declaration.
1724         * sem_ch8.adb (Analyze_Subprogram_Renaming): In GNATprove mode,
1725         build function and operator wrappers after the actual subprogram
1726         has been resolved, and replace the standard renaming declaration
1727         with the declaration of wrapper.
1728         * sem_ch12.ads (Build_Function_Wrapper, Build_Operator_Wraooer):
1729         make public for use elsewhere.
1730         * sem_ch12.adb (Build_Function_Wrapper, Build_Operator_Wraooer):
1731         rewrite, now that actual is fully resolved when wrapper is
1732         constructed.
1733
1734 2015-01-06  Javier Miranda  <miranda@adacore.com>
1735
1736         * exp_disp.adb: Revert previous change.
1737
1738 2015-01-06  Robert Dewar  <dewar@adacore.com>
1739
1740         * exp_util.adb: Change name Name_Table_Boolean to
1741         Name_Table_Boolean1.
1742         * namet.adb: Change name Name_Table_Boolean to Name_Table_Boolean1
1743         Introduce Name_Table_Boolean2/3.
1744         * namet.ads: Change name Name_Table_Boolean to Name_Table_Boolean1
1745         Introduce Name_Table_Boolean2/3.
1746         * par-ch13.adb: Change name Name_Table_Boolean to
1747         Name_Table_Boolean1.
1748
1749 2015-01-06  Bob Duff  <duff@adacore.com>
1750
1751         * gnat_rm.texi: Improve documentation regarding No_Task_Termination.
1752
1753 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1754
1755         * sem_aggr.adb (Resolve_Record_Aggregte, Get_Value): For an
1756         others choice that covers multiple components, analyze each
1757         copy with the type of the component even in compile-only mode,
1758         to detect potential accessibility errors.
1759
1760 2015-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
1761
1762         * sem_res.adb (Is_Assignment_Or_Object_Expression): New routine.
1763         (Resolve_Actuals): An effectively volatile out
1764         parameter cannot act as an in or in out actual in a call.
1765         (Resolve_Entity_Name): An effectively volatile out parameter
1766         cannot be read.
1767
1768 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1769
1770         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): If the body is
1771         the expansion of an expression function it may be pre-analyzed
1772         if a 'access attribute is applied to the function, in which case
1773         last_entity may have been assigned already.
1774
1775 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1776
1777         * sem_ch4.adb (Analyze_One_Call): If formal has an incomplete
1778         type and actual has the corresponding full view, there is no
1779         error, but a case of use of incomplete type in a predicate or
1780         invariant expression.
1781
1782 2015-01-06  Vincent Celier  <celier@adacore.com>
1783
1784         * makeutl.adb (Insert_No_Roots): Make sure that the same source
1785         in two different project tree is checked in both trees, if they
1786         are sources of two different projects, extended or not.
1787
1788 2015-01-06  Arnaud Charlet  <charlet@adacore.com>
1789
1790         * gnat1drv.adb: Minor code clean up.
1791         (Adjust_Global_Switches): Ignore gnatprove_mode in codepeer_mode.
1792
1793 2015-01-06  Bob Duff  <duff@adacore.com>
1794
1795         * osint.adb (Read_Source_File): Don't print out
1796         file name unless T = Source.
1797
1798 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1799
1800         * sem_util.adb (Is_Variable, Is_OK_Variable_For_Out_Formal):
1801         recognize improper uses of constant_reference types as actuals
1802         for in-out parameters.
1803         (Check_Function_Call): Do not collect identifiers if function
1804         name is missing because of previous error.
1805
1806 2015-01-06  Robert Dewar  <dewar@adacore.com>
1807
1808         * ali-util.adb, sem_prag.adb, rtsfind.adb, sem_util.adb, sem_res.adb,
1809         ali.adb, binde.adb, namet.adb, namet.ads, gnatls.adb, bcheck.adb:
1810         Minor change of name Name_Table_Info => Name_Table_Int.
1811
1812 2015-01-06  Robert Dewar  <dewar@adacore.com>
1813
1814         * exp_strm.adb (Build_Elementary_Input_Call): Clarify comments
1815         in previous checkin.
1816         * freeze.adb (Freeze_Fixed_Point_Type): Add warning for shaving
1817         of bounds.
1818         * sem_prag.adb, sem_ch10.adb, sem_ch6.adb: Minor reformatting.
1819
1820 2015-01-06  Vincent Celier  <celier@adacore.com>
1821
1822         * a-strsup.adb (Times (Natural;String;Positive)): Raise
1823         Length_Error, not Index_Error, when the result is too long.
1824
1825 2015-01-06  Thomas Quinot  <quinot@adacore.com>
1826
1827         * a-direct.adb (Create_Path): Minor error handling and
1828         performance improvement.
1829
1830 2015-01-06  Robert Dewar  <dewar@adacore.com>
1831
1832         * checks.ads, sem_ch12.adb: Minor reformatting.
1833         * exp_ch4.adb (Expand_N_Op_Divide): Generate explicit divide by
1834         zero check for fixed-point case if Backend_Divide_Checks_On_Target
1835         is False.
1836
1837 2015-01-06  Robert Dewar  <dewar@adacore.com>
1838
1839         * sem_prag.adb (Analyze_Pragma, case No_Elaboration_Code_All):
1840         Do not set restriction No_Elaboration_Code unless the pragma
1841         appears in the main unit).
1842
1843 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1844
1845         * sem_ch10.adb (Is_Regular_With_Clause): Add guard to verify
1846         that with clause has already been analyzed before checking kind
1847         of with_clause.
1848
1849 2015-01-06  Robert Dewar  <dewar@adacore.com>
1850
1851         * exp_strm.adb (Build_Elementary_Input_Call): Return base type
1852         (as required by RM).
1853
1854 2015-01-06  Arnaud Charlet  <charlet@adacore.com>
1855
1856         * a-reatim.adb ("/"): Add explicit pragma Unsuppress (Division_Check).
1857
1858 2015-01-06  Robert Dewar  <dewar@adacore.com>
1859
1860         * sem_prag.adb (Process_Suppress_Unsuppress): Add extra warning
1861         for ignoring pragma Suppress (Elaboration_Check) in SPARK mode.
1862
1863 2015-01-06  Javier Miranda  <miranda@adacore.com>
1864
1865         * exp_disp.adb (Expand_Interface_Conversion): No displacement
1866         of the pointer to the object needed when the type of the operand
1867         is not an interface type and the interface is one of its parent
1868         types (since they share the primary dispatch table).
1869
1870 2015-01-06  Vincent Celier  <celier@adacore.com>
1871
1872         * prj-env.adb: Minor comment update.
1873
1874 2015-01-06  Javier Miranda  <miranda@adacore.com>
1875
1876         * sem_res.adb (Valid_Conversion): Restrict the checks on anonymous
1877         access types whose target type is an interface type to operands
1878         that are access types; required to report an error when the
1879         operand is not an access type.
1880
1881 2015-01-06  Bob Duff  <duff@adacore.com>
1882
1883         * a-cfinve.adb (Copy): Set the discriminant to the Length when
1884         Capacity = 0.
1885         * a-cofove.ads (Capacity): Add a postcondition.
1886         * a-cfinve.ads (Capacity): Add a postcondition.
1887         (Reserve_Capacity): Correct the postcondition in the case where
1888         Capacity = 0; that means "Capacity => Length (Container)".
1889         * a-cofove.adb (Elems[c]): Add a comment
1890         explaining the dangers and how to avoid them.
1891
1892 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1893
1894         * sem_ch12.adb: Code clean up.
1895
1896 2015-01-06  Arnaud Charlet  <charlet@adacore.com>
1897
1898         * gnatvsn.ads: Bump copyright year.
1899
1900 2015-01-06  Robert Dewar  <dewar@adacore.com>
1901
1902         * s-taskin.ads, s-traces.ads: Minor reformatting.
1903         * exp_util.adb: Minor typo fix.
1904
1905 2015-01-06  Vincent Celier  <celier@adacore.com>
1906
1907         * gnatls.adb (Search_RTS): Invoke Initialize_Default_Project_Path
1908         with the runtime name.
1909         * prj-env.adb (Initialize_Default_Project_Path): When both
1910         Target_Name and Runtime_Name are not empty string, add to the
1911         project path the two directories .../lib/gnat and .../share/gpr
1912         related to the runtime.
1913         * prj-env.ads (Initialize_Default_Project_Path): New String
1914         parameter Runtime_Name, defaulted to the empty string.
1915
1916 2015-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
1917
1918         * frontend.adb: Guard against the case where a configuration
1919         pragma may be split into multiple pragmas and the original
1920         rewritten as a null statement.
1921         * sem_prag.adb (Analyze_Pragma): Insert a brand new Check_Policy
1922         pragma using Insert_Before rather than Insert_Action. This
1923         takes care of the configuration pragma case where Insert_Action
1924         would fail.
1925
1926 2015-01-06  Bob Duff  <duff@adacore.com>
1927
1928         * a-coboho.ads (Element_Access): Add "pragma
1929         No_Strict_Aliasing (Element_Access);". This is needed because
1930         we are unchecked-converting from Address to Element_Access.
1931         * a-cofove.ads, a-cofove.adb (Elems,Elemsc): Fix bounds of the
1932         result to be 1.
1933
1934 2015-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
1935
1936         * sem_res.adb (Resolve_Actuals): Remove the
1937         restriction which prohibits volatile actual parameters with
1938         enabled external propery Async_Writers to act appear in procedure
1939         calls where the corresponding formal is of mode OUT.
1940
1941 2015-01-05  Jakub Jelinek  <jakub@redhat.com>
1942
1943         * gnat_ugn.texi: Bump @copying's copyright year.
1944
1945 2015-01-05  Eric Botcazou  <ebotcazou@adacore.com>
1946
1947         PR ada/64492
1948         * gcc-interface/Makefile.in (../stamp-tools): Reinstate dropped code.
1949
1950 2015-01-04  Uros Bizjak  <ubizjak@gmail.com>
1951
1952         * gcc-interface/misc.c (internal_error_function): Use xasprintf instead
1953         of unchecked asprintf.
1954
1955 \f
1956 Copyright (C) 2015 Free Software Foundation, Inc.
1957
1958 Copying and distribution of this file, with or without modification,
1959 are permitted in any medium without royalty provided the copyright
1960 notice and this notice are preserved.