gcc/ada/ChangeLog

   1 2015-01-19  Bernd Edlinger  <bernd.edlinger@hotmail.de>
   2
   3         PR ada/64640
   4         * adaint.c: Handle __CYGWIN__ like __MINGW32__ here.
   5         * mingw32.h: Don't include <tchar.h> under cygwin.
   6         (_O_U8TEXT, _O_U16TEXT, _O_WTEXT): Set to _O_TEXT if not yet defined.
   7
   8 2015-01-15  Thomas Schwinge  <thomas@codesourcery.com>
   9
  10         * gcc-interface/utils.c (DEF_FUNCTION_TYPE_VAR_8)
  11         (DEF_FUNCTION_TYPE_VAR_12): New macros.
  12
  13 2015-01-09  Michael Collison  <michael.collison@linaro.org>
  14
  15         * gcc-interface/cuintp.c: Include hash-set.h, machmode.h,
  16         vec.h, double-int.h, input.h, alias.h, symtab.h,
  17         fold-const.h, wide-int.h, and inchash.h due to
  18         flattening of tree.h.
  19         * gcc-interface/decl.c: Ditto.
  20         * gcc-interface/misc.c: Ditto.
  21         * gcc-interface/targtyps.c: Include hash-set.h, machmode.h,
  22         vec.h, double-int.h, input.h, alias.h, symtab.h, options.h,
  23         fold-const.h, wide-int.h, and inchash.h due to
  24         flattening of tree.h.
  25         * gcc-interface/trans.c: Include hash-set.h, machmode.h,
  26         vec.h, double-int.h, input.h, alias.h, symtab.h, real.h,
  27         fold-const.h, wide-int.h, inchash.h due to
  28         flattening of tree.h.
  29         * gcc-interface/utils.c: Include hash-set.h, machmode.h,
  30         vec.h, double-int.h, input.h, alias.h, symtab.h,
  31         fold-const.h, wide-int.h, and inchash.h due to
  32         flattening of tree.h.
  33         * gcc-interface/utils2.c: Ditto.
  34
  35 2015-01-07  Robert Dewar  <dewar@adacore.com>
  36
  37         * sem_warn.adb (Check_One_Unit): Don't give unused entities
  38         warning for a package which is used as a generic parameter.
  39
  40 2015-01-07  Bob Duff  <duff@adacore.com>
  41
  42         * usage.adb (Usage): Correct documentation of
  43         -gnatw.f switches.
  44
  45 2015-01-07  Robert Dewar  <dewar@adacore.com>
  46
  47         * s-fileio.adb: Minor reformatting.
  48
  49 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
  50
  51         * sem_ch12.adb (Instantiate_Object): If formal is an anonymous
  52         access to subprogram, replace its formals with new entities when
  53         building the object declaration, both if actual is present and
  54         when it is defaulted.
  55
  56 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
  57
  58         * sem_ch5.adb (Analyze_Assignment): If left-hand side is a view
  59         conversion and type of expression has invariant, apply invariant
  60         check on expression.
  61
  62 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
  63
  64         * sem_ch3.adb (Create_Constrained_Components): A call to
  65         Gather_Components may detect an error if an inherited discriminant
  66         that controls a variant is non-static.
  67         * sem_aggr.adb (Resolve_Record_Aggregate, Step 5): The call to
  68         Gather_Components may report an error if an inherited discriminant
  69         in a variant in non-static.
  70         * sem_util.adb (Gather_Components): If a non-static discriminant
  71         is inherited do not report error here, but let caller handle it.
  72         (Find_Actual): Small optimization.
  73
  74 2015-01-07  Bob Duff  <duff@adacore.com>
  75
  76         * usage.adb (Usage): Document -gnatw.f switch.
  77
  78 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
  79
  80         * sem_ch12.adb: Code clean up and minor reformatting.
  81
  82 2015-01-07  Robert Dewar  <dewar@adacore.com>
  83
  84         * exp_ch4.adb (Expand_N_Type_Conversion): Add guard for
  85         Raise_Accessibility_Error call.
  86         * s-valllu.ads (Scan_Raw_Long_Long_Unsigned): Add documentation
  87         on handling of invalid digits in based constants.
  88         * s-fatgen.ads: Minor reformatting.
  89         * sem_attr.adb (Analyze_Attribute, case Unrestricted_Access):
  90         Avoid noting bogus modification for Valid test.
  91         * snames.ads-tmpl (Name_Attr_Long_Float): New Name.
  92         * einfo.ads: Minor reformatting.
  93         * sem_warn.adb: Minor comment clarification.
  94         * sem_ch12.adb: Minor reformatting.
  95
  96 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
  97
  98         * exp_ch5.adb (Expand_Predicated_Loop): Handle properly loops
  99         over static predicates when the loop parameter specification
 100         carries a Reverse indicator.
 101
 102 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
 103
 104         * sem_ch12.adb (Instantiate_Object): If formal has a default,
 105         actual is missing and formal has an anonymous access type, copy
 106         access definition in full so that tree for instance is properly
 107         formatted for ASIS use.
 108
 109 2015-01-07  Bob Duff  <duff@adacore.com>
 110
 111         * sem_elab.adb (Check_Internal_Call_Continue): Give a warning
 112         for P'Access, where P is a subprogram in the same package as
 113         the P'Access, and the P'Access is evaluated at elaboration
 114         time, and occurs before the body of P. For example, "X : T :=
 115         P'Access;" would allow a subsequent call to X.all to be an
 116         access-before-elaboration error; hence the warning. This warning
 117         is enabled by the -gnatw.f switch.
 118         * opt.ads (Warn_On_Elab_Access): New flag for warning switch.
 119         * warnsw.adb (Set_Dot_Warning_Switch): Set Warn_On_Elab_Access.
 120         * gnat_ugn.texi: Document the new warning.
 121
 122 2015-01-07  Johannes Kanig  <kanig@adacore.com>
 123
 124         * lib-xref-spark_specific.adb (Collect_SPARK_Xrefs): Skip unneeded
 125         cross ref files.
 126
 127 2015-01-07  Robert Dewar  <dewar@adacore.com>
 128
 129         * s-taprop-linux.adb, clean.adb: Minor reformatting.
 130
 131 2015-01-07  Arnaud Charlet  <charlet@adacore.com>
 132
 133         * s-tassta.adb: Relax some overzealous assertions.
 134
 135 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
 136
 137         * sem_ch6.adb (Analyze_Return_Type): An call that returns a limited
 138         view of a type is legal when context is a thunk generated for
 139         operation inherited from an interface.
 140         * exp_ch6.adb (Expand_Simple_Function_Return): If context is
 141         a thunk and return type is an incomplete type do not continue
 142         expansion; thunk will be fully elaborated when generating code.
 143
 144 2015-01-07  Doug Rupp  <rupp@adacore.com>
 145
 146         * s-osinte-mingw.ads (LARGE_INTEGR): New subtype.
 147         (QueryPerformanceFrequency): New imported procedure.
 148         * s-taprop-mingw.adb (RT_Resolution): Call above and return
 149         resolution vice a hardcoded value.
 150         * s-taprop-solaris.adb (RT_Resolution): Call clock_getres and return
 151         resolution vice a hardcoded value.
 152         * s-linux-android.ads (clockid_t): New subtype.
 153         * s-osinte-aix.ads (clock_getres): New imported subprogram.
 154         * s-osinte-android.ads (clock_getres): Likewise.
 155         * s-osinte-freebsd.ads (clock_getres): Likewise.
 156         * s-osinte-solaris-posix.ads (clock_getres): Likewise.
 157         * s-osinte-darwin.ads (clock_getres): New subprogram.
 158         * s-osinte-darwin.adb (clock_getres): New subprogram.
 159         * thread.c (__gnat_clock_get_res) [__APPLE__]: New function.
 160         * s-taprop-posix.adb (RT_Resolution): Call clock_getres to
 161         calculate resolution vice hard coded value.
 162
 163 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
 164
 165         * exp_util.adb (Make_CW_Equivalent_Type): If root type is a
 166         limited view, use non-limited view when available to create
 167         equivalent record type.
 168
 169 2015-01-07  Vincent Celier  <celier@adacore.com>
 170
 171         * gnatcmd.adb: Remove command Sync and any data and processing
 172         related to this command. Remove project processing for gnatstack.
 173         * prj-attr.adb: Remove package Synchonize and its attributes.
 174
 175 2015-01-07  Vincent Celier  <celier@adacore.com>
 176
 177         * clean.adb: Minor error message change.
 178
 179 2015-01-07  Tristan Gingold  <gingold@adacore.com>
 180
 181         PR ada/64349
 182         * env.c (__gnat_environ): Adjust for darwin9/darwin10.
 183
 184 2015-01-07  Javier Miranda  <miranda@adacore.com>
 185
 186         * sem_ch10.adb (Analyze_With_Clause): Compiling under -gnatq
 187         protect the frontend against never ending recursion caused by
 188         circularities in the sources.
 189
 190 2015-01-07  Robert Dewar  <dewar@adacore.com>
 191
 192         * a-reatim.adb, make.adb, exp_pakd.adb, i-cpoint.adb, sem_ch8.adb,
 193         exp_ch3.adb: Minor reformatting.
 194
 195 2015-01-07  Doug Rupp  <rupp@adacore.com>
 196
 197         * s-linux.ads (clockid_t): New subtype.
 198         * s-osinte-linux.ads (pragma Linker Options): Add -lrt.
 199         (clockid_t): New subtype.
 200         (clock_getres): Import system call.
 201         * s-taprop-linux.adb (System.OS_Constants): With and rename.
 202         (RT_Resolution): Remove
 203         hardcoded value and call clock_getres.
 204         * s-linux-sparc.ads, s-linux-mipsel.ads, s-linux-hppa.ads,
 205         s-linux-alpha.ads, s-linux-x32.ads (clockid_t): Add new subtype.
 206
 207 2015-01-07  Robert Dewar  <dewar@adacore.com>
 208
 209         * sem_warn.adb (Check_One_Unit): Guard against context item
 210         with no Entity field.
 211
 212 2015-01-07  Vincent Celier  <celier@adacore.com>
 213
 214         * clean.adb (Gnatclean): Warn that 'gnatclean -P' is obsolete.
 215         * make.adb (Initialize): Warn that 'gnatmake -P' is obsolete.
 216
 217 2015-01-07  Vincent Celier  <celier@adacore.com>
 218
 219         * prj-conf.adb (Parse_Project_And_Apply_Config): Always finalize
 220         errors/warnings in the first parsing of the project files,
 221         to display the warnings when there is no errors.
 222
 223 2015-01-07  Tristan Gingold  <gingold@adacore.com>
 224
 225         * i-cpoint.adb (Copy_Terminated_Array): Nicely handle null target.
 226
 227 2015-01-07  Doug Rupp  <rupp@adacore.com>
 228
 229         * s-taprop-vxworks.adb (Stop_All_Tasks): Pass return
 230         value from Int_Lock as parameter to Int_Unlock.
 231         * s-osinte-vxworks.ads (Int_Unlock): Add parameter.
 232         * s-vxwext.ads (Int_Unlock): Likewise.
 233         * s-vxwext-kernel.adb (intUnlock, Int_Unlock): Likewise.
 234         * s-vxwext-kernel.ads (Int_Unlock): Likewise.
 235         * s-vxwext-rtp.adb (Int_Unlock): Likewise.
 236         * s-vxwext-rtp.ads (Int_Unlock): Likewise.
 237
 238 2015-01-07  Pierre-Marie de Rodat  <derodat@adacore.com>
 239
 240         * exp_pakd.adb: Add a comment in exp_pakd.adb to explain why we
 241         keep ___XP suffixes
 242
 243 2015-01-07  Tristan Gingold  <gingold@adacore.com>
 244
 245         * i-cpoint.adb (Copy_Terminated_Array): Use Copy_Array to
 246         handle overlap.
 247
 248 2015-01-07  Eric Botcazou  <ebotcazou@adacore.com>
 249
 250         * sem_ch3.adb (Analyze_Full_Type_Declaration): Do not
 251         automatically set No_Strict_Aliasing on access types.
 252         * fe.h (No_Strict_Aliasing_CP): Declare.
 253         * gcc-interface/trans.c (gigi): Force flag_strict_aliasing to 0 if
 254         No_Strict_Aliasing_CP is set.
 255
 256 2015-01-07  Johannes Kanig  <kanig@adacore.com>
 257
 258         * sem_ch8.adb (Analyze_Subprogram_Renaming) do
 259         not build function wrapper in gnatprove mode when the package
 260         is externally axiomatized.
 261
 262 2015-01-07  Jose Ruiz  <ruiz@adacore.com>
 263
 264         * a-reatim.adb (Time_Of): Reduce the number of spurious overflows in
 265         intermediate computations when the parameters have different signs.
 266
 267 2015-01-07  Javier Miranda  <miranda@adacore.com>
 268
 269         * exp_ch3.adb (Build_Init_Procedure): For derived types,
 270         improve the code which takes care of identifying and moving to
 271         the beginning of the init-proc the call to the init-proc of the
 272         parent type.
 273
 274 2015-01-07  Olivier Hainque  <hainque@adacore.com>
 275
 276         * gcc-interface/trans.c (gnat_to_gnu, <N_Expression_With_Action>):
 277         Elaborate the expression as part of the same stmt group as the actions.
 278
 279 2015-01-07  Robert Dewar  <dewar@adacore.com>
 280
 281         * sem_ch3.adb: Minor error message change.
 282
 283 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
 284
 285         * sem_prag.adb (Analyze_Pragma, case Preelaborable_Initialization):
 286         Following AI05-028, the pragam applies legally to any composite type.
 287
 288 2015-01-07  Arnaud Charlet  <charlet@adacore.com>
 289
 290         * s-osinte-vxworks.adb, s-osinte-vxworks.ads
 291         (sigwait, sigwaitinfo): Removed, not needed after all on any
 292         VxWorks configurations.
 293
 294 2015-01-07  Robert Dewar  <dewar@adacore.com>
 295
 296         * sem_ch3.adb, freeze.adb, exp_disp.adb: Minor reformatting.
 297
 298 2015-01-07  Javier Miranda  <miranda@adacore.com>
 299
 300         * exp_disp.adb (Expand_Interface_Conversion): Adding missing
 301         generation of accessibility check.
 302
 303 2015-01-07  Ed Schonberg  <schonberg@adacore.com>
 304
 305         * sem_ch3.adb (Derived_Type_Declaration): In the case of an
 306         illegal completion from a class- wide type, set etype of the
 307         derived type properly to prevent cascaded errors.
 308
 309 2015-01-07  Robert Dewar  <dewar@adacore.com>
 310
 311         * prj.ads, i-cpoint.adb, freeze.adb, ghost.adb, prj-err.adb: Minor
 312         reformatting.
 313
 314 2015-01-07  Robert Dewar  <dewar@adacore.com>
 315
 316         * restrict.adb (Check_Restriction_No_Use_Of_Attribute):
 317         New procedure.
 318         (OK_No_Use_Of_Entity_Name): New function.
 319         (Set_Restriction_No_Use_Of_Entity): New procedure.
 320         * restrict.ads (Check_Restriction_No_Use_Of_Attribute):
 321         New procedure.
 322         (OK_No_Use_Of_Entity_Name): New function.
 323         (Set_Restriction_No_Use_Of_Entity): New procedure.
 324         * sem_ch8.adb (Find_Direct_Name): Add check for violation of
 325         No_Use_Of_Entity.
 326         * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings):
 327         Add processing for new restriction No_Use_Of_Entity.
 328
 329 2015-01-07  Eric Botcazou  <ebotcazou@adacore.com>
 330
 331         * freeze.adb (Freeze_Array_Type): Apply same handling to Is_Atomic
 332         component type as to Has_Atomic_Components type.  Remove useless
 333         test on Is_Aliased component type.
 334
 335 2015-01-07  Hristian Kirtchev  <kirtchev@adacore.com>
 336
 337         * alloc.ads Alphabetize several declarations. Add constants
 338         Ignored_Ghost_Units_Initial and Ignored_Ghost_Units_Increment.
 339         * atree.adb Add with and use clauses for Opt.
 340         (Allocate_Initialize_Node): Mark a node as ignored Ghost
 341         if it is created in an ignored Ghost region.
 342         (Ekind_In): New variant.
 343         (Is_Ignored_Ghost_Node): New routine.
 344         (Set_Is_Ignored_Ghost_Node): New routine.
 345         * atree.adb Aplhabetize several subprograms declarations. Flag
 346         Spare0 is now known as Is_Ignored_Ghost_Node.
 347         (Ekind_In): New variant.
 348         (Is_Ignored_Ghost_Node): New routine.
 349         (Set_Is_Ignored_Ghost_Node): New routine.
 350         * einfo.adb: Flag 279 is now known as Contains_Ignored_Ghost_Code.
 351         (Contains_Ignored_Ghost_Code): New routine.
 352         (Set_Contains_Ignored_Ghost_Code): New routine.
 353         (Set_Is_Checked_Ghost_Entity, Set_Is_Ignored_Ghost_Entity):
 354         It is now possible to set this property on an unanalyzed entity.
 355         (Write_Entity_Flags): Output the status of flag
 356         Contains_Ignored_Ghost_Code.
 357         * einfo.ads New attribute Contains_Ignored_Ghost_Code along with
 358         usage in nodes.
 359         (Contains_Ignored_Ghost_Code): New routine
 360         along with pragma Inline.
 361         (Set_Contains_Ignored_Ghost_Code): New routine along with pragma Inline.
 362         * exp_ch3.adb Add with and use clauses for Ghost.
 363         (Freeze_Type): Capture/restore the value of Ghost_Mode on entry/exit.
 364         Set the Ghost_Mode in effect.
 365         (Restore_Globals): New routine.
 366         * exp_ch7.adb (Process_Declarations): Do not process a context
 367         that invoves an ignored Ghost entity.
 368         * exp_dbug.adb (Qualify_All_Entity_Names): Skip an ignored Ghost
 369         construct that has been rewritten as a null statement.
 370         * exp_disp.adb Add with and use clauses for Ghost.
 371         (Make_DT): Capture/restore the value of Ghost_Mode on entry/exit. Set
 372         the Ghost_Mode in effect.
 373         (Restore_Globals): New routine.
 374         * exp_util.adb (Requires_Cleanup_Actions): An ignored Ghost entity
 375         does not require any clean up. Add two missing cases that deal
 376         with block statements.
 377         * freeze.adb Add with and use clauses for Ghost.
 378         (Freeze_Entity): Capture/restore the value of Ghost_Mode on entry/exit.
 379         Set the Ghost_Mode in effect.
 380         (Restore_Globals): New routine.
 381         * frontend.adb Add with and use clauses for Ghost. Remove any
 382         ignored Ghost code from all units that qualify.
 383         * ghost.adb New unit.
 384         * ghost.ads New unit.
 385         * gnat1drv.adb Add with clause for Ghost. Initialize and lock
 386         the table in package Ghost.
 387         * lib.ads: Alphabetize several subprogram declarations.
 388         * lib-xref.adb (Output_References): Do not generate reference
 389         information for ignored Ghost entities.
 390         * opt.ads Add new type Ghost_Mode_Type and new global variable
 391         Ghost_Mode.
 392         * rtsfind.adb (Load_RTU): Provide a clean environment when
 393         loading a runtime unit.
 394         * sem.adb (Analyze): Capture/restore the value of Ghost_Mode on
 395         entry/exit as the node may set a different mode.
 396         (Do_Analyze):
 397         Capture/restore the value of Ghost_Mode on entry/exit as the
 398         unit may be withed from a unit with a different Ghost mode.
 399         * sem_ch3.adb Add with and use clauses for Ghost.
 400         (Analyze_Full_Type_Declaration, Analyze_Incomplete_Type_Decl,
 401         Analyze_Number_Declaration, Analyze_Private_Extension_Declaration,
 402         Analyze_Subtype_Declaration): Set the Ghost_Mode in effect. Mark
 403         the entity as Ghost when there is a Ghost_Mode in effect.
 404         (Array_Type_Declaration): The implicit base type inherits the
 405         "ghostness" from the array type.
 406         (Derive_Subprogram): The
 407         alias inherits the "ghostness" from the parent subprogram.
 408         (Make_Implicit_Base): The implicit base type inherits the
 409         "ghostness" from the parent type.
 410         * sem_ch5.adb Add with and use clauses for Ghost.
 411         (Analyze_Assignment): Set the Ghost_Mode in effect.
 412         * sem_ch6.adb Add with and use clauses for Ghost.
 413         (Analyze_Abstract_Subprogram_Declaration, Analyze_Procedure_Call,
 414         Analyze_Subprogram_Body_Helper, Analyze_Subprogram_Declaration):
 415         Set the Ghost_Mode in effect. Mark the entity as Ghost when
 416         there is a Ghost_Mode in effect.
 417         * sem_ch7.adb Add with and use clauses for Ghost.
 418         (Analyze_Package_Body_Helper, Analyze_Package_Declaration,
 419         Analyze_Private_Type_Declaration): Set the Ghost_Mode in
 420         effect. Mark the entity as Ghost when there is a Ghost_Mode
 421         in effect.
 422         * sem_ch8.adb Add with and use clauses for Ghost.
 423         (Analyze_Exception_Renaming, Analyze_Generic_Renaming,
 424         Analyze_Object_Renaming, Analyze_Package_Renaming,
 425         Analyze_Subprogram_Renaming): Set the Ghost_Mode in effect. Mark
 426         the entity as Ghost when there is a Ghost_Mode in effect.
 427         (Find_Type): Check the Ghost context of a type.
 428         * sem_ch11.adb Add with and use clauses for Ghost.
 429         (Analyze_Exception_Declaration): Set the Ghost_Mode in
 430         effect. Mark the entity as Ghost when there is a Ghost_Mode
 431         in effect.
 432         * sem_ch12.adb Add with and use clauses for Ghost.
 433         (Analyze_Generic_Package_Declaration,
 434         Analyze_Generic_Subprogram_Declaration): Set the Ghost_Mode in effect.
 435         Mark the entity as Ghost when there is a Ghost_Mode in effect.
 436         * sem_prag.adb Add with and use clauses for Ghost.
 437         (Analyze_Pragma): Ghost-related checks are triggered when there
 438         is a Ghost mode in effect.
 439         (Create_Abstract_State): Mark the
 440         entity as Ghost when there is a Ghost_Mode in effect.
 441         * sem_res.adb Add with and use clauses for Ghost.
 442         (Check_Ghost_Context): Removed.
 443         * sem_util.adb (Check_Ghost_Completion): Removed.
 444         (Check_Ghost_Derivation): Removed.
 445         (Incomplete_Or_Partial_View):
 446         Add a guard in case the entity has not been analyzed yet
 447         and does carry a scope.
 448         (Is_Declaration): New routine.
 449         (Is_Ghost_Entity): Removed.
 450         (Is_Ghost_Statement_Or_Pragma):
 451         Removed.
 452         (Is_Subject_To_Ghost): Removed.
 453         (Set_Is_Ghost_Entity):
 454         Removed.
 455         (Within_Ghost_Scope): Removed.
 456         * sem_util.adb (Check_Ghost_Completion): Removed.
 457         (Check_Ghost_Derivation): Removed.
 458         (Is_Declaration): New routine.
 459         (Is_Ghost_Entity): Removed.
 460         (Is_Ghost_Statement_Or_Pragma): Removed.
 461         (Is_Subject_To_Ghost): Removed.
 462         (Set_Is_Ghost_Entity): Removed.
 463         (Within_Ghost_Scope): Removed.
 464         * sinfo.ads Add a section on Ghost mode.
 465         * treepr.adb (Print_Header_Flag): New routine.
 466         (Print_Node_Header): Factor out code. Output flag
 467         Is_Ignored_Ghost_Node.
 468         * gcc-interface/Make-lang.in: Add dependency for unit Ghost.
 469
 470 2015-01-06  Eric Botcazou  <ebotcazou@adacore.com>
 471
 472         * freeze.adb (Freeze_Array_Type) <Complain_CS>: Remove always
 473         true test and unreachable 'else' arm.
 474
 475 2015-01-06  Vincent Celier  <celier@adacore.com>
 476
 477         * prj-conf.adb (Check_Target): Improve error message when
 478         there are mismatched targets between the on in the configuration
 479         project file and the specified one, either in the main project
 480         file or in the --target= switch.
 481
 482 2015-01-06  Pascal Obry  <obry@adacore.com>
 483
 484         * prj-attr.adb, projects.texi, snames.ads-tmpl: Add Mode and
 485         Install_Name attribute definitions.
 486
 487 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
 488
 489         * freeze.adb (Wrap_Imported_Subprogram): Indicate that the
 490         generated Import pragma for the internal imported procedure does
 491         not come from an aspect, so that Is_Imported can be properly
 492         set for it.
 493
 494 2015-01-06  Gary Dismukes  <dismukes@adacore.com>
 495
 496         * sem_ch12.adb (Might_Inline_Subp): Record whether
 497         any subprograms in the generic package are marked with
 498         pragma Inline_Always (setting flag Has_Inline_Always).
 499         (Analyze_Package_Instantiation): Add test of Has_Inline_Always
 500         alongside existing test of Front_End_Inlining as alternative
 501         conditions for setting Inline_Now. Also add test of
 502         Has_Inline_Always along with Front_End_Inlining test as an
 503         alternative condition for setting Needs_Body to False.
 504
 505 2015-01-06  Tristan Gingold  <gingold@adacore.com>
 506
 507         * i-cpoint.adb (Copy_Array): Handle overlap.
 508
 509 2015-01-06  Pascal Obry  <obry@adacore.com>
 510
 511         * bindgen.adb: Minor style fix.
 512
 513 2015-01-06  Robert Dewar  <dewar@adacore.com>
 514
 515         * sem_util.ads, sem_util.adb: Minor reformatting.
 516
 517 2015-01-06  Vincent Celier  <celier@adacore.com>
 518
 519         * prj-conf.adb (Parse_Project_And_Apply_Config): Reset incomplete
 520         with flags before parsing the projects.
 521         * prj-err.adb (Error_Msg): Do nothing if there are incomplete withs.
 522         * prj-part.adb (Post_Parse_Context_Clause): Set Incomplete_Withs
 523         to True in the flags, when Ignore_Missing_With is True and an
 524         imported project cannot be found.
 525         * prj-proc.adb (Expression): When there are incomplete withs and
 526         a variable or attribute is not found, set the variable/attribute
 527         to unknown.
 528         * prj.ads (Processing_Flags): New flag Incomplete_Withs,
 529         defaulted to False.
 530
 531 2015-01-06  Vasiliy Fofanov  <fofanov@adacore.com>
 532
 533         * prj-proc.adb, prj-part.adb, prj.adb, prj.ads, prj-conf.adb,
 534         prj-err.adb: Add new switch --no-command-line.
 535
 536 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
 537
 538         * sem_ch12.adb: Sloc of wrapper is that of instantiation.
 539
 540 2015-01-06  Robert Dewar  <dewar@adacore.com>
 541
 542         * sem_ch11.adb: Minor reformatting.
 543
 544 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
 545
 546         * exp_aggr.adb (Get_Assoc_Expr): New routine internal to
 547         Build_Array_Aggr_Code, used to initialized components covered
 548         by a box association. If the component type is scalar and has
 549         a default aspect, use it to initialize such components.
 550
 551 2015-01-06  Pascal Obry  <obry@adacore.com>
 552
 553         * rtinit.c (__gnat_runtime_initialize): Add a parameter to
 554         control the setup of the exception handler.
 555         * initialize.c: Remove unused declaration.
 556         * bindgen.adb: Always call __gnat_runtime_initialize and pass
 557         whether the exeception handler must be set or not.
 558
 559 2015-01-06  Thomas Quinot  <quinot@adacore.com>
 560
 561         * freeze.adb (Set_SSO_From_Defaults): When setting scalar storage
 562         order to native from default, make sure to also adjust bit order.
 563         * exp_aggr.adb: Minor reformatting.
 564
 565 2015-01-06  Robert Dewar  <dewar@adacore.com>
 566
 567         * s-valllu.adb, s-valllu.ads, s-valuti.ads, s-valuns.adb, s-valuns.ads,
 568         s-valrea.adb, s-valrea.ads: Add some additional guards for
 569         Str'Last = Positive'Last.
 570
 571 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
 572
 573         * sem_ch12.adb, sem_ch8.adb: Ongoing work for wrappers for actual
 574         subprograms.
 575
 576 2015-01-06  Javier Miranda  <miranda@adacore.com>
 577
 578         * exp_disp.adb (Expand_Interface_Conversion): Reapply patch.
 579
 580 2015-01-06  Thomas Quinot  <quinot@adacore.com>
 581
 582         * sem_util.ads: Minor reformatting.
 583         * sem_cat.adb (In_RCI_Visible_Declarations): Change back to...
 584         (In_RCI_Declaration) Return to old name, as proper checking of
 585         entity being in the visible part depends on entity kind and must
 586         be done by the caller.
 587
 588 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
 589
 590         * sem_ch12.adb, sem_ch12.ads, sem_ch8.adb: Ongoing work for wrappers
 591         for operators in SPARK.
 592
 593 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
 594
 595         * sem_aggr.adb (Get_Value): In ASIS mode, preanalyze the
 596         expression in an others association before making copies for
 597         separate resolution and accessibility checks. This ensures that
 598         the type of the expression is available to ASIS in all cases,
 599         in particular if the expression is itself an aggregate.
 600
 601 2015-01-06  Eric Botcazou  <ebotcazou@adacore.com>
 602
 603         * einfo.ads (Has_Independent_Components): Document extended
 604         usage.
 605         * einfo.adb (Has_Independent_Components): Remove obsolete assertion.
 606         (Set_Has_Independent_Components): Adjust assertion.
 607         * sem_prag.adb (Analyze_Pragma): Also set Has_Independent_Components
 608         for pragma Atomic_Components.  Set Has_Independent_Components
 609         on the object instead of the type for an object declaration with
 610         pragma Independent_Components.
 611
 612 2015-01-06  Olivier Hainque  <hainque@adacore.com>
 613
 614         * set_targ.adb (Read_Target_Dependent_Values): Set
 615         Long_Double_Index when "long double" is read.
 616         (elaboration code): Register_Back_End_Types only when not reading from
 617         config files. Doing otherwise is pointless and error prone.
 618
 619 2015-01-06  Robert Dewar  <dewar@adacore.com>
 620
 621         * s-valrea.adb (Value_Real): Check for Str'Last = Positive'Last
 622
 623 2015-01-06  Robert Dewar  <dewar@adacore.com>
 624
 625         * a-wtgeau.adb, a-ztgeau.adb, a-tigeau.adb (String_Skip): Raise PE if
 626         Str'Last = Positive'Last.
 627
 628 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
 629
 630         * sem_ch6.adb (Matches_Limited_View): Handle properly the case
 631         where the non-limited type is a generic actual and appears as
 632         a subtype of the non-limited view of the other.
 633         * freeze.adb (Build_Renamed_Body): If the return type of the
 634         declaration that is being completed is a limited view and the
 635         non-limited view is available, use it in the specification of
 636         the generated body.
 637
 638 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
 639
 640         * sem_ch3.adb (Find_Type_Name): If there is a previous tagged
 641         incomplete view, the type of the classwide type common to both
 642         views is the type being declared.
 643
 644 2015-01-06  Eric Botcazou  <ebotcazou@adacore.com>
 645
 646         * einfo.ads (Is_Independent): Further document extended usage.
 647
 648 2015-01-06  Eric Botcazou  <ebotcazou@adacore.com>
 649
 650         * einfo.ads (Is_Independent): Document extended usage.
 651         * einfo.adb (Is_Independent): Remove obsolete assertion.
 652         (Set_Is_Independent): Likewise.
 653         * sem_prag.adb (Process_Atomic_Shared_Volatile): Rename into...
 654         (Process_Atomic_Independent_Shared_Volatile): ...this.
 655         Deal with pragma Independent here.
 656         (Analyze_Pragma): Adjust
 657         to above renaming and also invoke it for pragma Independent.
 658         Adjust comment for Independent_Components.
 659
 660 2015-01-06  Robert Dewar  <dewar@adacore.com>
 661
 662         * snames.ads-tmpl: Remove entries for attribute Enum_Image.
 663         * exp_attr.adb: Remove reference to Attribute_Enum_Image.
 664
 665 2015-01-06  Robert Dewar  <dewar@adacore.com>
 666
 667         * s-vallli.adb (Value_Long_Long_Integer): Handle case of Str'Last
 668         = Positive'Last.
 669         * s-valllu.adb (Value_Long_Long_Unsigned): Handle case of
 670         Str'Last = Positive'Last.
 671
 672 2015-01-06  Robert Dewar  <dewar@adacore.com>
 673
 674         * sem_prag.adb (Process_Inline): Remove redundant construct
 675         warning (-gnatw.r) for an ineffective pragma Inline.
 676
 677 2015-01-06  Robert Dewar  <dewar@adacore.com>
 678
 679         * s-valint.adb: Fix typo in last checkin.
 680         * s-valuns.adb (Value_Unsigned): More efficient fix for
 681         Positive'Last case.
 682         * sem_attr.adb (Analyze_Attribute): Minor reformatting
 683         (Eval_Attribute): Static ervaluation of 'Img for enumeration types.
 684
 685 2015-01-06  Robert Dewar  <dewar@adacore.com>
 686
 687         * s-valint.adb, s-valuns.adb (Value_Integer): Deal with case where
 688         Str'Last = Positive'Last
 689
 690 2015-01-06  Thomas Quinot  <quinot@adacore.com>
 691
 692         * xoscons.adb: Display exception information and return non-zero
 693         exit status in top level exception handler.
 694
 695 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
 696
 697         * sem_ch8.adb: Code clean up.
 698
 699 2015-01-06  Tristan Gingold  <gingold@adacore.com>
 700
 701         * targparm.ads: Remove obsolete comment.
 702
 703 2015-01-06  Olivier Hainque  <hainque@adacore.com>
 704
 705         * gcc-interface/decl.c (gnat_to_gnu_entity, case E_Variable): When
 706         constructing a ref to variable, update inner_const_flag from the
 707         variable TREE_READONLY attribute.
 708         * gcc-interface/targtyps.c (WIDEST_HARDWARE_FP_SIZE): Remove default
 709         definition.
 710         (get_target_float_size): Remove.
 711         (get_target_double_size): Remove.
 712         (get_target_long_double_size): Remove.
 713
 714 2015-01-06  Pascal Obry  <obry@adacore.com>
 715
 716         * adaint.c (ProcListEvt): Set to NULL.
 717         * rtinit.c: New file.
 718         (__gnat_rt_init_count): New reference counter set to 0.
 719         (__gnat_runtime_initialize): Move code here from __gnat_initialize when
 720         this code is actually needed for the runtime initialization. This
 721         routine returns immediately if the initialization has already been done.
 722         * final.c: Revert previous change.
 723         * rtfinal.c: New file.
 724         (__gnat_runtime_finalize)[Win32]: Add finalization of the critical
 725         section and event. The default version of this routine is empty (except
 726         for the reference counting code). This routine returns immediately if
 727         some others libraries are referencing the runtime.
 728         * bindgen.adb (Gen_Adainit): Generate call to Runtime_Initialize
 729         remove circuitry to initialize the signal handler as this is
 730         now done by the runtime initialization routine.
 731         (Gen_Adafinal): Generate call to Runtime_Finalize.
 732         * gnat_ugn.texi: Update documentation about concurrency and
 733         initialization/finalization of the run-time.
 734         * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Add
 735         references to rtfinal.o and rtinit.o
 736
 737 2015-01-06  Robert Dewar  <dewar@adacore.com>
 738
 739         * exp_attr.adb (Expand_N_Attribute_Reference): Add dummy entry
 740         for Enum_Image.
 741         * sem_attr.adb: Implement Enum_Image attribute.
 742         * snames.ads-tmpl: Add entries for Enum_Image attribute.
 743
 744 2015-01-06  Robert Dewar  <dewar@adacore.com>
 745
 746         * namet.ads: Document use of Boolean2 for No_Use_Of_Entity.
 747         * restrict.ads (No_Use_Of_Entity): New table.
 748         * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings):
 749         Ignore No_Use_Of_Entity (will be processed in parser).
 750         * snames.ads-tmpl: Add entry for Name_No_Use_Of_Entity.
 751
 752 2015-01-06  Vincent Celier  <celier@adacore.com>
 753
 754         * prj-tree.adb (Imported_Or_Extended_Project_Of): Do not try
 755         to check for an extended project, if a project does not have
 756         yet a project declaration.
 757
 758 2015-01-06  Pierre-Marie Derodat  <derodat@adacore.com>
 759
 760         * scos.ads: Update documentation about the SCO table build
 761         process and about table records format.
 762         * par_sco.ads (SCO_Record): Rename to SCO_Record_Raw.
 763         (SCO_Record_Filtered): New procedure.
 764         (Set_SCO_Logical_Operator): New procedure.
 765         (dsco): Update documentation.
 766         * par_sco.adb: Update library-level comments.
 767         (SCO_Generation_State_Type): New type.
 768         (SCO_Generation_State): New variable.
 769         (SCO_Raw_Table): New package instanciation.
 770         (Condition_Pragma_Hash_Table): Rename to SCO_Raw_Hash_Table.
 771         ("<"): New.
 772         (Tristate): New type.
 773         (Is_Logical_Operator): Return Tristate and update documentation.
 774         (Has_Decision): Update call to Is_Logical_Operator and complete
 775         documentation.
 776         (Set_Table_Entry): Rename to Set_Raw_Table_Entry, update
 777         comment, add an assertion for state checking and change
 778         references to SCO_Table into SCO_Raw_Table.
 779         (dsco): Refactor to dump the raw and the filtered tables.
 780         (Process_Decisions.Output_Decision_Operand): Handle putative
 781         short-circuit operators.
 782         (Process_Decisions.Output_Element): Update references
 783         to Set_Table_Entry and to Condition_Pragma_Hash_Table.
 784         (Process_Decisions.Process_Decision_Operand): Update call
 785         to Is_Logical_Operator.
 786         (Process_Decisions.Process_Node): Handle putative short-circuit
 787         operators and change references to
 788         SCO_Table into SCO_Raw_Table.
 789         (SCO_Output): Add an assertion
 790         for state checking and remove code that used to stamp out SCO entries.
 791         (SCO_Pragma_Disabled): Change reference to SCO_Table
 792         into SCO_Raw_Table.
 793         (SCO_Record): Rename to SCO_Record_Raw,
 794         add an assertion for state checking and change references
 795         to SCO_Table into SCO_Raw_Table.
 796         (Set_SCO_Condition): Add an assertion for state checking, update
 797         references to Condition_Pragma_Hash_Table and change references to
 798         SCO_Table into SCO_Raw_Table.
 799         (Set_SCO_Pragma_Enabled): Add an assertion for state checking and
 800         change references to SCO_Table into SCO_Raw_Table.
 801         (Set_SCO_Logical_Operator): New procedure.
 802         (Traverse_Declarations_Or_Statements.Set_Statement_Entry): Update
 803         references to Set_Table_Entry and to Condition_Pragma_Hash_Table.
 804         (SCO_Record_Fildered): New procedure.
 805         * gnat1drv.adb (Gnat1drv): Invoke the SCO filtering pass.
 806         * lib-writ.adb (Write_ALI): Invoke the SCO filtering pass and
 807         output SCOs.
 808         * par-load.adb (Load): Update reference to SCO_Record.
 809         * par.adb (Par): Update reference to SCO_Record.
 810         * put_scos.adb (Put_SCOs): Add an assertion to check that no
 811         putative SCO condition reaches this end.
 812         * sem_ch10.adb (Analyze_Proper_Body): Update reference to SCO_Record.
 813         * sem_res.adb (Resolve_Logical_Op): Validate putative SCOs
 814         when corresponding to an "and"/"or" operator affected by the
 815         Short_Circuit_And_Or pragma.
 816
 817 2015-01-06  Robert Dewar  <dewar@adacore.com>
 818
 819         * sem_ch8.adb (Analyze_Use_Package): Give more specific error
 820         msg for attempted USE of generic subprogram or subprogram.
 821
 822 2015-01-06  Robert Dewar  <dewar@adacore.com>
 823
 824         * s-valllu.adb, a-tiinau.adb, a-timoau.adb, a-ztinau.adb, a-ztmoau.adb,
 825         s-valuns.adb, s-valrea.adb, a-wtflau.adb, a-tiflau.adb, a-ztflau.adb,
 826         a-wtinau.adb, a-wtmoau.adb: Document recognition of : in place of #.
 827
 828 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
 829
 830         * sem_ch13.adb (Analyze_Aspect_Specifications): For aspects
 831         that specify stream subprograms, if the prefix is a class-wide
 832         type then the generated attribute definition clause must apply
 833         to the same class-wide type.
 834         (Default_Iterator): An iterator defined by an aspect of some
 835         container type T must have a first parameter of type T, T'class,
 836         or an access to such (from code reading RM 5.5.1 (2/3)).
 837
 838 2015-01-06  Arnaud Charlet  <charlet@adacore.com>
 839
 840         * gnat1drv.adb: Minor: complete previous change.
 841
 842 2015-01-06  Olivier Hainque  <hainque@adacore.com>
 843
 844         * set_targ.ads (C_Type_For): New function. Return the name of
 845         a C type supported by the back-end and suitable as a basis to
 846         construct the standard Ada floating point type identified by
 847         the T parameter. This is used as a common ground to feed both
 848         ttypes values and the GNAT tree nodes for the standard floating
 849         point types.
 850         * set_targ.adb (Long_Double_Index): The index at which "long
 851         double" gets registered in the FPT_Mode_Table. This is useful to
 852         know whether we have a "long double" available at all and get at
 853         it's characteristics without having to search the FPT_Mode_Table
 854         when we need to decide which C type should be used as the
 855         basis for Long_Long_Float in Ada.
 856         (Register_Float_Type): Fill Long_Double_Index.
 857         (FPT_Mode_Index_For): New function. Return the index in
 858         FPT_Mode_Table that designates the entry corresponding to the
 859         provided C type name.
 860         (FPT_Mode_Index_For): New function. Return the index in
 861         FPT_Mode_Table that designates the entry for a back-end type
 862         suitable as a basis to construct the standard Ada floating point
 863         type identified by the input T parameter.
 864         (elaboration code): Register_Back_End_Types unconditionally,
 865         so C_Type_For can operate regardless of -gnateT. Do it
 866         early so we can query it for the floating point sizes, via
 867         FPT_Mode_Index_For. Initialize Float_Size, Double_Size and
 868         Long_Double_Size from the FPT_Mode_Table, as cstand will do.
 869         * cstand.adb (Create_Float_Types): Use C_Type_For to determine
 870         which C type should be used as the basis for the construction
 871         of the Standard Ada floating point types.
 872         * get_targ.ads (Get_Float_Size, Get_Double_Size,
 873         Get_Long_Double_Size): Remove.
 874         * get_targ.adb: Likewise.
 875
 876 2015-01-06  Thomas Quinot  <quinot@adacore.com>
 877
 878         * sem_cat.adb (In_RCI_Declaration): Remove unnecessary
 879         parameter and rename to...
 880         (In_RCI_Visible_Declarations): Fix handling of private part of nested
 881         package.
 882         (Validate_RCI_Subprogram_Declaration): Reject illegal function
 883         returning anonymous access in RCI unit.
 884
 885 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
 886
 887         * sem_ch6.adb (New_Overloaded_Entity): In GNATprove mode, a
 888         function wrapper may be a homonym of another local declaration.
 889         * sem_ch8.adb (Analyze_Subprogram_Renaming): In GNATprove mode,
 890         build function and operator wrappers after the actual subprogram
 891         has been resolved, and replace the standard renaming declaration
 892         with the declaration of wrapper.
 893         * sem_ch12.ads (Build_Function_Wrapper, Build_Operator_Wraooer):
 894         make public for use elsewhere.
 895         * sem_ch12.adb (Build_Function_Wrapper, Build_Operator_Wraooer):
 896         rewrite, now that actual is fully resolved when wrapper is
 897         constructed.
 898
 899 2015-01-06  Javier Miranda  <miranda@adacore.com>
 900
 901         * exp_disp.adb: Revert previous change.
 902
 903 2015-01-06  Robert Dewar  <dewar@adacore.com>
 904
 905         * exp_util.adb: Change name Name_Table_Boolean to
 906         Name_Table_Boolean1.
 907         * namet.adb: Change name Name_Table_Boolean to Name_Table_Boolean1
 908         Introduce Name_Table_Boolean2/3.
 909         * namet.ads: Change name Name_Table_Boolean to Name_Table_Boolean1
 910         Introduce Name_Table_Boolean2/3.
 911         * par-ch13.adb: Change name Name_Table_Boolean to
 912         Name_Table_Boolean1.
 913
 914 2015-01-06  Bob Duff  <duff@adacore.com>
 915
 916         * gnat_rm.texi: Improve documentation regarding No_Task_Termination.
 917
 918 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
 919
 920         * sem_aggr.adb (Resolve_Record_Aggregte, Get_Value): For an
 921         others choice that covers multiple components, analyze each
 922         copy with the type of the component even in compile-only mode,
 923         to detect potential accessibility errors.
 924
 925 2015-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
 926
 927         * sem_res.adb (Is_Assignment_Or_Object_Expression): New routine.
 928         (Resolve_Actuals): An effectively volatile out
 929         parameter cannot act as an in or in out actual in a call.
 930         (Resolve_Entity_Name): An effectively volatile out parameter
 931         cannot be read.
 932
 933 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
 934
 935         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): If the body is
 936         the expansion of an expression function it may be pre-analyzed
 937         if a 'access attribute is applied to the function, in which case
 938         last_entity may have been assigned already.
 939
 940 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
 941
 942         * sem_ch4.adb (Analyze_One_Call): If formal has an incomplete
 943         type and actual has the corresponding full view, there is no
 944         error, but a case of use of incomplete type in a predicate or
 945         invariant expression.
 946
 947 2015-01-06  Vincent Celier  <celier@adacore.com>
 948
 949         * makeutl.adb (Insert_No_Roots): Make sure that the same source
 950         in two different project tree is checked in both trees, if they
 951         are sources of two different projects, extended or not.
 952
 953 2015-01-06  Arnaud Charlet  <charlet@adacore.com>
 954
 955         * gnat1drv.adb: Minor code clean up.
 956         (Adjust_Global_Switches): Ignore gnatprove_mode in codepeer_mode.
 957
 958 2015-01-06  Bob Duff  <duff@adacore.com>
 959
 960         * osint.adb (Read_Source_File): Don't print out
 961         file name unless T = Source.
 962
 963 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
 964
 965         * sem_util.adb (Is_Variable, Is_OK_Variable_For_Out_Formal):
 966         recognize improper uses of constant_reference types as actuals
 967         for in-out parameters.
 968         (Check_Function_Call): Do not collect identifiers if function
 969         name is missing because of previous error.
 970
 971 2015-01-06  Robert Dewar  <dewar@adacore.com>
 972
 973         * ali-util.adb, sem_prag.adb, rtsfind.adb, sem_util.adb, sem_res.adb,
 974         ali.adb, binde.adb, namet.adb, namet.ads, gnatls.adb, bcheck.adb:
 975         Minor change of name Name_Table_Info => Name_Table_Int.
 976
 977 2015-01-06  Robert Dewar  <dewar@adacore.com>
 978
 979         * exp_strm.adb (Build_Elementary_Input_Call): Clarify comments
 980         in previous checkin.
 981         * freeze.adb (Freeze_Fixed_Point_Type): Add warning for shaving
 982         of bounds.
 983         * sem_prag.adb, sem_ch10.adb, sem_ch6.adb: Minor reformatting.
 984
 985 2015-01-06  Vincent Celier  <celier@adacore.com>
 986
 987         * a-strsup.adb (Times (Natural;String;Positive)): Raise
 988         Length_Error, not Index_Error, when the result is too long.
 989
 990 2015-01-06  Thomas Quinot  <quinot@adacore.com>
 991
 992         * a-direct.adb (Create_Path): Minor error handling and
 993         performance improvement.
 994
 995 2015-01-06  Robert Dewar  <dewar@adacore.com>
 996
 997         * checks.ads, sem_ch12.adb: Minor reformatting.
 998         * exp_ch4.adb (Expand_N_Op_Divide): Generate explicit divide by
 999         zero check for fixed-point case if Backend_Divide_Checks_On_Target
1000         is False.
1001
1002 2015-01-06  Robert Dewar  <dewar@adacore.com>
1003
1004         * sem_prag.adb (Analyze_Pragma, case No_Elaboration_Code_All):
1005         Do not set restriction No_Elaboration_Code unless the pragma
1006         appears in the main unit).
1007
1008 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1009
1010         * sem_ch10.adb (Is_Regular_With_Clause): Add guard to verify
1011         that with clause has already been analyzed before checking kind
1012         of with_clause.
1013
1014 2015-01-06  Robert Dewar  <dewar@adacore.com>
1015
1016         * exp_strm.adb (Build_Elementary_Input_Call): Return base type
1017         (as required by RM).
1018
1019 2015-01-06  Arnaud Charlet  <charlet@adacore.com>
1020
1021         * a-reatim.adb ("/"): Add explicit pragma Unsuppress (Division_Check).
1022
1023 2015-01-06  Robert Dewar  <dewar@adacore.com>
1024
1025         * sem_prag.adb (Process_Suppress_Unsuppress): Add extra warning
1026         for ignoring pragma Suppress (Elaboration_Check) in SPARK mode.
1027
1028 2015-01-06  Javier Miranda  <miranda@adacore.com>
1029
1030         * exp_disp.adb (Expand_Interface_Conversion): No displacement
1031         of the pointer to the object needed when the type of the operand
1032         is not an interface type and the interface is one of its parent
1033         types (since they share the primary dispatch table).
1034
1035 2015-01-06  Vincent Celier  <celier@adacore.com>
1036
1037         * prj-env.adb: Minor comment update.
1038
1039 2015-01-06  Javier Miranda  <miranda@adacore.com>
1040
1041         * sem_res.adb (Valid_Conversion): Restrict the checks on anonymous
1042         access types whose target type is an interface type to operands
1043         that are access types; required to report an error when the
1044         operand is not an access type.
1045
1046 2015-01-06  Bob Duff  <duff@adacore.com>
1047
1048         * a-cfinve.adb (Copy): Set the discriminant to the Length when
1049         Capacity = 0.
1050         * a-cofove.ads (Capacity): Add a postcondition.
1051         * a-cfinve.ads (Capacity): Add a postcondition.
1052         (Reserve_Capacity): Correct the postcondition in the case where
1053         Capacity = 0; that means "Capacity => Length (Container)".
1054         * a-cofove.adb (Elems[c]): Add a comment
1055         explaining the dangers and how to avoid them.
1056
1057 2015-01-06  Ed Schonberg  <schonberg@adacore.com>
1058
1059         * sem_ch12.adb: Code clean up.
1060
1061 2015-01-06  Arnaud Charlet  <charlet@adacore.com>
1062
1063         * gnatvsn.ads: Bump copyright year.
1064
1065 2015-01-06  Robert Dewar  <dewar@adacore.com>
1066
1067         * s-taskin.ads, s-traces.ads: Minor reformatting.
1068         * exp_util.adb: Minor typo fix.
1069
1070 2015-01-06  Vincent Celier  <celier@adacore.com>
1071
1072         * gnatls.adb (Search_RTS): Invoke Initialize_Default_Project_Path
1073         with the runtime name.
1074         * prj-env.adb (Initialize_Default_Project_Path): When both
1075         Target_Name and Runtime_Name are not empty string, add to the
1076         project path the two directories .../lib/gnat and .../share/gpr
1077         related to the runtime.
1078         * prj-env.ads (Initialize_Default_Project_Path): New String
1079         parameter Runtime_Name, defaulted to the empty string.
1080
1081 2015-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
1082
1083         * frontend.adb: Guard against the case where a configuration
1084         pragma may be split into multiple pragmas and the original
1085         rewritten as a null statement.
1086         * sem_prag.adb (Analyze_Pragma): Insert a brand new Check_Policy
1087         pragma using Insert_Before rather than Insert_Action. This
1088         takes care of the configuration pragma case where Insert_Action
1089         would fail.
1090
1091 2015-01-06  Bob Duff  <duff@adacore.com>
1092
1093         * a-coboho.ads (Element_Access): Add "pragma
1094         No_Strict_Aliasing (Element_Access);". This is needed because
1095         we are unchecked-converting from Address to Element_Access.
1096         * a-cofove.ads, a-cofove.adb (Elems,Elemsc): Fix bounds of the
1097         result to be 1.
1098
1099 2015-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
1100
1101         * sem_res.adb (Resolve_Actuals): Remove the
1102         restriction which prohibits volatile actual parameters with
1103         enabled external propery Async_Writers to act appear in procedure
1104         calls where the corresponding formal is of mode OUT.
1105
1106 2015-01-05  Jakub Jelinek  <jakub@redhat.com>
1107
1108         * gnat_ugn.texi: Bump @copying's copyright year.
1109
1110 2015-01-05  Eric Botcazou  <ebotcazou@adacore.com>
1111
1112         PR ada/64492
1113         * gcc-interface/Makefile.in (../stamp-tools): Reinstate dropped code.
1114
1115 2015-01-04  Uros Bizjak  <ubizjak@gmail.com>
1116
1117         * gcc-interface/misc.c (internal_error_function): Use xasprintf instead
1118         of unchecked asprintf.
1119
1120 \f
1121 Copyright (C) 2015 Free Software Foundation, Inc.
1122
1123 Copying and distribution of this file, with or without modification,
1124 are permitted in any medium without royalty provided the copyright
1125 notice and this notice are preserved.