gcc/ada/ChangeLog

   1 2013-01-02  Richard Biener  <rguenther@suse.de>
   2
   3         PR bootstrap/55784
   4         * gcc-interface/Makefile.in: Add $(GMPINC) to includes.
   5
   6 2013-01-02  Thomas Quinot  <quinot@adacore.com>
   7
   8         * exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove
   9         side effects from Tag_Arg early, doing it too late may cause a
  10         crash due to inconsistent Parent link.
  11         * sem_ch8.adb, einfo.ads: Minor reformatting.
  12
  13 2013-01-02  Robert Dewar  <dewar@adacore.com>
  14
  15         * einfo.ads, einfo.adb (Has_Independent_Components): New flag.
  16         * freeze.adb (Size_Known): We do not know the size of a packed
  17         record if it has atomic components, by reference type components,
  18         or independent components.
  19         * sem_prag.adb (Analyze_Pragma, case Independent_Components): Set new
  20         flag Has_Independent_Components.
  21
  22 2013-01-02  Yannick Moy  <moy@adacore.com>
  23
  24         * opt.ads (Warn_On_Suspicious_Contract): Set to True by default.
  25         * usage.adb (Usage): Update usage message.
  26
  27 2013-01-02  Pascal Obry  <obry@adacore.com>
  28
  29         * adaint.c (__gnat_is_module_name_supported): New constant.
  30
  31 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
  32
  33         * sem_attr.adb (Check_Array_Type): Reject an attribute reference on an
  34         array whose component type does not have a completion.
  35
  36 2013-01-02  Geert Bosch  <bosch@adacore.com>
  37
  38         * a-nllcef.ads, a-nlcefu.ads, a-nscefu.ads: Make Pure.
  39
  40 2013-01-02  Robert Dewar  <dewar@adacore.com>
  41
  42         * par_sco.adb: Minor reformatting.
  43
  44 2013-01-02  Javier Miranda  <miranda@adacore.com>
  45
  46         * sem_aggr.adb (Resolve_Array_Aggregate): Remove dead code.
  47
  48 2013-01-02  Olivier Hainque  <hainque@adacore.com>
  49
  50         * a-exctra.ads (Get_PC): New function.
  51
  52 2013-01-02  Thomas Quinot  <quinot@adacore.com>
  53
  54         * sem_ch8.adb: Minor reformatting.
  55
  56 2013-01-02  Thomas Quinot  <quinot@adacore.com>
  57
  58         * sem_ch7.adb: Minor reformatting.
  59
  60 2013-01-02  Thomas Quinot  <quinot@adacore.com>
  61
  62         * freeze.adb (Check_Component_Storage_Order): Do not crash on
  63         _Tag component.
  64
  65 2013-01-02  Robert Dewar  <dewar@adacore.com>
  66
  67         * gnat1drv.adb, targparm.adb, targparm.ads: Minor name change: add
  68         On_Target to Atomic_Sync_Default.
  69
  70 2013-01-02  Robert Dewar  <dewar@adacore.com>
  71
  72         * sem_warn.adb (Warn_On_Known_Condition): Suppress warning for
  73         comparison of attribute result with constant
  74         * a-ststio.adb, s-direio.adb, s-rannum.adb: Remove unnecessary pragma
  75         Warnings (Off, "..");
  76
  77 2013-01-02  Yannick Moy  <moy@adacore.com>
  78
  79         * sem_prag.ads: Minor correction of comment.
  80
  81 2013-01-02  Thomas Quinot  <quinot@adacore.com>
  82
  83         * par_sco.adb (Traverse_Package_Declaration): The first
  84         declaration in a nested package is dominated by the preceding
  85         declaration in the enclosing scope.
  86
  87 2013-01-02  Pascal Obry  <obry@adacore.com>
  88
  89         * adaint.c, adaint.h (__gnat_get_module_name): Return the actual
  90         module containing a given address.
  91
  92 2013-01-02  Thomas Quinot  <quinot@adacore.com>
  93
  94         * sem_ch3.adb: Minor reformatting.
  95
  96 2013-01-02  Pascal Obry  <obry@adacore.com>
  97
  98         * cstreams.c (__gnat_ftell64): New routine. Use _ftelli64 on
  99         Win64 and default to ftell on other platforms.
 100         (__gnat_fsek64): Likewise.
 101         * i-cstrea.ads: Add fssek64 and ftell64 specs.
 102         * s-crtl.ads: Likewise.
 103         * a-ststio.adb, s-direio.adb (Size): Use 64 bits version when required.
 104         (Set_Position): Likewise.
 105
 106 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 107
 108         * par_sco.adb: Generate X SCOs for default expressions in
 109         subprogram body stubs.  Do not generate any SCO for package,
 110         task, or protected body stubs.
 111
 112 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 113
 114         * sem_ch3.adb: Further improvement to ASIS mode for anonymous
 115         access to protected subprograms.
 116
 117 2013-01-02  Robert Dewar  <dewar@adacore.com>
 118
 119         * par_sco.adb, vms_data.ads: Minor reformatting.
 120
 121 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 122
 123         * par_sco.adb (Traverse_Declarations_Or_Statement): Function
 124         form, returning value of Current_Dominant upon exit, for chaining
 125         purposes.
 126         (Traverse_Declarations_Or_Statement.Traverse_One, case
 127         N_Block_Statement): First statement is dominated by last declaration.
 128         (Traverse_Subprogram_Or_Task_Body): Ditto.
 129         (Traverse_Package_Declaration): First private
 130         declaration is dominated by last visible declaration.
 131         (Traverse_Sync_Definition): Ditto.
 132
 133 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 134
 135         * gnat_rm.texi: Restrict the requirement for Scalar_Storage_Order
 136         matching Bit_Order to record types only, since array types do not
 137         have a Bit_Order.
 138
 139 2013-01-02  Vincent Celier  <celier@adacore.com>
 140
 141         * gnat_ugn.texi: Remove documentation of -gnateO, which is an
 142         internal switch.
 143         * usage.adb: Indicate that -gnateO is an internal switch.
 144
 145 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 146
 147         * par_sco.adb: Add SCO generation for task types and single
 148         task declarations.
 149         * get_scos.adb: When adding an instance table entry for a
 150         non-nested instantiation, make sure the Enclosing_Instance is
 151         correctly set to 0.
 152
 153 2013-01-02  Hristian Kirtchev  <kirtchev@adacore.com>
 154
 155         * sem_attr.adb (Analyze_Attribute): Skip the special _Parent
 156         scope generated for subprogram inlining purposes while trying
 157         to locate the enclosing function.
 158         * sem_prag.adb (Analyze_Pragma): Preanalyze the boolean
 159         expression of pragma Postcondition when the pragma comes from
 160         source and appears inside a subprogram body.
 161
 162 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 163
 164         * switch-c.adb, fe.h, back_end.adb: Enable generation of instantiation
 165         information in debug info unconditionally when using -fdump-scos,
 166         instead of relying on a separate command line switch -fdebug-instances.
 167         * gcc-interface/Make-lang.in: Update dependencies.
 168
 169 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 170
 171         * sem_ch12.adb: Additional refinement of predicate.
 172
 173 2013-01-02  Vincent Celier  <celier@adacore.com>
 174
 175         * vms_data.ads: Remove incorrect spaces at end of descriptions
 176         of qualifiers for single switch.
 177
 178 2013-01-02  Ben Brosgol  <brosgol@adacore.com>
 179
 180         * gnat_rm.texi: Minor edits / wordsmithing in section on pragma
 181         Check_Float_Overflow.
 182
 183 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 184
 185         * sprint.adb (Sprint_Node_Actual): Do not add extra parens for
 186         a conditional expression (CASE or IF expression) that already
 187         has parens. Also omit ELSE keyword for an IF expression without
 188         an ELSE part.
 189
 190 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 191
 192         * gnat1drv.adb (Adjust_Global_Switches): Adjust back-end
 193         flag_debug_instances here, after front-end switches have been
 194         processed.
 195
 196 2013-01-02  Vincent Celier  <celier@adacore.com>
 197
 198         * usage.adb: Minor reformatting.
 199
 200 2013-01-02  Arnaud Charlet  <charlet@adacore.com>
 201
 202         * opt.ads: Fix typo.
 203
 204 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 205
 206         * par_sco.adb: Generate P decision SCOs for SPARK pragmas
 207         Assume and Loop_Invariant.
 208
 209 2013-01-02  Robert Dewar  <dewar@adacore.com>
 210
 211         * vms_data.ads: Add entry for Float_Check_Valid (-gnateF).
 212         * ug_words: Add entry for Float_Check_Overflow.
 213         * usage.adb: Minor reformatting.
 214         * gnat_ugn.texi: Add documentation for -gnateF (Check_Float_Overflow).
 215
 216 2013-01-02  Vincent Celier  <celier@adacore.com>
 217
 218         * gnat_ugn.texi: Add documentation for switches -gnateA, -gnated,
 219         -gnateO=, -gnatet and -gnateV.
 220         * ug_words: Add qualifiers equivalent to -gnateA, -gnated,
 221         -gnatet and -gnateV.
 222         * usage.adb: Add lines for -gnatea, -gnateO and -gnatez.
 223         * vms_data.ads: Add new compiler qualifiers /ALIASING_CHECK
 224         (-gnateA), /DISABLE_ATOMIC_SYNCHRONIZATION (-gnated),
 225         /PARAMETER_VALIDITY_CHECK (-gnateV) and /TARGET_DEPENDENT_INFO
 226         (-gnatet).
 227
 228 2013-01-02  Robert Dewar  <dewar@adacore.com>
 229
 230         * checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.
 231         * opt.ads, opt.adb: Handle flags Check_Float_Overflow[_Config].
 232         * par-prag.adb: Add dummy entry for pragma Check_Float_Overflow.
 233         * sem_prag.adb: Implement pragma Check_Float_Overflow.
 234         * snames.ads-tmpl: Add entries for pragma Check_Float_Overflow.
 235         * switch-c.adb: Recognize -gnateF switch.
 236         * tree_io.ads: Update ASIS version number.
 237         * gnat_rm.texi: Add documentation of pragma Check_Float_Overflow.
 238
 239 2013-01-02  Robert Dewar  <dewar@adacore.com>
 240
 241         * checks.adb, exp_ch4.adb, exp_ch6.adb, exp_ch7.adb, exp_ch9.adb,
 242         exp_disp.adb, exp_dist.adb, exp_intr.adb, exp_prag.adb, exp_util.adb,
 243         freeze.adb, gnat1drv.adb, inline.adb, layout.adb, lib-xref.adb,
 244         par-ch10.adb, par-labl.adb, par-load.adb, par-util.adb, restrict.adb,
 245         sem_ch13.adb, sem_ch4.adb, sem_ch6.adb, sem_dim.adb, sem_elab.adb,
 246         sem_res.adb, sem_warn.adb, sinput-l.adb: Add tags to warning messages.
 247         * sem_ch6.ads, warnsw.ads, opt.ads: Minor comment updates.
 248
 249 2013-01-02  Robert Dewar  <dewar@adacore.com>
 250
 251         * err_vars.ads: Minor comment fix.
 252
 253 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 254
 255         * sem_ch12.adb: Refine predicate.
 256
 257 2013-01-02  Robert Dewar  <dewar@adacore.com>
 258
 259         * errout.ads: Minor comment fixes.
 260         * opt.ads: Minor comment additions.
 261         * exp_aggr.adb: Add tags to warning messages
 262         * exp_ch11.adb, exp_ch3.adb, exp_ch4.adb, exp_util.adb, sem_aggr.adb,
 263         sem_attr.adb, sem_case.adb, sem_cat.adb, sem_ch3.adb, sem_ch4.adb,
 264         sem_ch5.adb, sem_disp.adb, sem_dist.adb, sem_elab.adb, sem_eval.adb,
 265         sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb, sem_util.adb,
 266         sem_warn.adb: Add tags to warning messages
 267
 268 2013-01-02  Doug Rupp  <rupp@adacore.com>
 269
 270         * init.c [VMS] Remove subtest on reason mask for ACCVIO that is a C_E.
 271
 272 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 273
 274         * sem_ch12.adb: Recover source name for renamed packagea.
 275
 276 2013-01-02  Robert Dewar  <dewar@adacore.com>
 277
 278         * errout.adb (Set_Msg_Insertion_Warning): Correct typo causing
 279         tests to fail if insertion sequence is at end of message string.
 280         * opt.ads: Minor comment fixes and additions.
 281         * sem_ch7.adb, sem_ch8.adb, sem_ch9.adb, sem_ch10.adb, sem_ch11.adb,
 282         sem_ch12.adb, sem_ch13.adb: Add tags to warning messages.
 283         * sem_ch6.ads, sem_ch6.adb (Cannot_Inline): Deal with warning message
 284         tags. Add tags to warning messages.
 285
 286 2013-01-02  Robert Dewar  <dewar@adacore.com>
 287
 288         * err_vars.ads (Warning_Doc_Switch): New flag.
 289         * errout.adb (Error_Msg_Internal): Implement new warning flag
 290         doc tag stuff (Set_Msg_Insertion_Warning): New procedure.
 291         * errout.ads: Document new insertion sequences ?? ?x? ?.x?
 292         * erroutc.adb (Output_Msg_Text): Handle ?? and ?x? warning doc
 293         tag stuff.
 294         * erroutc.ads (Warning_Msg_Char): New variable.
 295         (Warn_Chr): New field in error message object.
 296         * errutil.adb (Error_Msg): Set Warn_Chr in error message object.
 297         * sem_ch13.adb: Minor reformatting.
 298         * warnsw.adb: Add handling for -gnatw.d and -gnatw.D
 299         (Warning_Doc_Switch).
 300         * warnsw.ads: Add handling of -gnatw.d/.D switches (warning
 301         doc tag).
 302
 303 2013-01-02  Robert Dewar  <dewar@adacore.com>
 304
 305         * opt.ads: Minor reformatting.
 306
 307 2013-01-02  Doug Rupp  <rupp@adacore.com>
 308
 309         * init.c: Reorganize VMS section.
 310         (scan_condtions): New function for scanning condition tables.
 311         (__gnat_handle_vms_condtion): Use actual exception name for imported
 312         exceptions vice IMPORTED_EXCEPTION.
 313         Move condition table scanning into separate function. Move formerly
 314         special handled conditions to system condition table. Use SYS$PUTMSG
 315         output to fill exception message field for formally special handled
 316         condtions, in particular HPARITH to provide more clues about cause and
 317         location then raised from the translated image.
 318
 319 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 320
 321         * sem_ch13.adb (Analyze_Aspect_Specifications): For a Pre/Post
 322         aspect that applies to a library subprogram, prepend corresponding
 323         pragma to the Pragmas_After list, in order for split AND THEN
 324         sections to be processed in the expected order.
 325
 326 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 327
 328         * exp_prag.adb (Expand_Pragma_Check): The statements generated
 329         for the pragma must have the sloc of the pragma, not the
 330         sloc of the condition, otherwise this creates anomalies in the
 331         generated debug information that confuse coverage analysis tools.
 332
 333 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 334
 335         * sem_ch13.adb: Minor reformatting.
 336
 337 2013-01-02  Arnaud Charlet  <charlet@adacore.com>
 338
 339         * g-excact.ads (Core_Dump): Clarify that this subprogram does
 340         not dump cores under Windows.
 341
 342 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 343
 344         * sem_ch8.adb (Analyze_Primitive_Renamed_Operation): The prefixed
 345         view of a subprogram has convention Intrnnsic, and a renaming
 346         of a prefixed view cannot be the prefix of an Access attribute.
 347
 348 2013-01-02  Robert Dewar  <dewar@adacore.com>
 349
 350         * restrict.adb: Minor reformatting.
 351
 352 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 353
 354         * exp_prag.adb: Minor reformatting.
 355
 356 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 357
 358         * sem_ch12.adb (Get_Associated_Node): If the node is an
 359         identifier that denotes an unconstrained array in an object
 360         declaration, it is rewritten as the name of an anonymous
 361         subtype whose bounds are given by the initial expression in the
 362         declaration. When checking whether that identifier is global
 363         reference, use the original node, not the local generated subtype.
 364
 365 2013-01-02  Olivier Hainque  <hainque@adacore.com>
 366
 367         * tracebak.c: Revert previous change, incomplete.
 368
 369 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 370
 371         * sem_ch13.adb (Analyze_Aspect_Specifications): If the aspect
 372         appears on a subprogram body that acts as a spec, place the
 373         corresponding pragma in the declarations of the body, so that
 374         e.g. pre/postcondition checks can be generated appropriately.
 375
 376 2013-01-02  Robert Dewar  <dewar@adacore.com>
 377
 378         * sem_ch3.adb: Minor reformatting and code reorganization.
 379
 380 2013-01-02  Vincent Celier  <celier@adacore.com>
 381
 382         * switch-m.adb (Normalize_Compiler_Switches): Record the
 383         complete switch -fstack-check=specific instead of its shorter
 384         alias -fstack-check.
 385
 386 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 387
 388         * sem_ch3.adb (Derive_Subprogram): Enforce RM 6.3.1 (8):
 389         if the derived type is a tagged generic formal type with
 390         unknown discriminants, the inherited operation has convention
 391         Intrinsic. As such, the 'Access attribute cannot be applied to it.
 392
 393 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 394
 395         * sem_attr.adb: Minor reformatting.
 396
 397 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 398
 399         * par_sco.adb: Add SCO generation for S of protected types and
 400         single protected object declarations.
 401
 402 2013-01-02  Robert Dewar  <dewar@adacore.com>
 403
 404         * sem_eval.adb, osint.ads: Minor reformatting.
 405
 406 2013-01-02  Hristian Kirtchev  <kirtchev@adacore.com>
 407
 408         * sem_prag.adb (Analyze_Pragma): Check the legality of pragma Assume.
 409
 410 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 411
 412         * sem_eval.adb (Compile_Time_Compare): For static operands, we
 413         can perform a compile time comparison even if in preanalysis mode.
 414
 415 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 416
 417         * par_sco.adb (SCO_Record): Always use
 418         Traverse_Declarations_Or_Statements to process the library level
 419         declaration, so that SCOs are properly generated for its aspects.
 420
 421 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 422
 423         * scos.ads (In_Decision): Add missing entry for 'a'.
 424         * sem_prag.adb (Analyze_Pragma, case pragma Check): Omit
 425         call to Set_SCO_Pragma_Enabled for Invariant and Predicate.
 426         * sem_ch13.adb: Minor comment update.
 427 \f
 428 Copyright (C) 2013 Free Software Foundation, Inc.
 429
 430 Copying and distribution of this file, with or without modification,
 431 are permitted in any medium without royalty provided the copyright
 432 notice and this notice are preserved.