gcc/ada/ChangeLog

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