gcc/ada/ChangeLog

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