gcc/ada/ChangeLog

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