H.J. Lu [Fri, 1 Aug 2008 16:05:50 +0000 (16:05 +0000)]
cfgexpand.c (expand_stack_alignment): Assert that stack_realign_drap and drap_rtx must match.
2008-08-01 H.J. Lu <hongjiu.lu@intel.com>
* cfgexpand.c (expand_stack_alignment): Assert that
stack_realign_drap and drap_rtx must match.
* function.c (instantiate_new_reg): If DRAP is used to realign
stack, replace virtual_incoming_args_rtx with internal arg
pointer.
From-SVN: r138524
Richard Guenther [Fri, 1 Aug 2008 14:42:42 +0000 (14:42 +0000)]
tree-ssa-pre.c (fini_pre): Take in_fre parameter.
2008-08-01 Richard Guenther <rguenther@suse.de>
* tree-ssa-pre.c (fini_pre): Take in_fre parameter. Free
loop information only if we initialized it.
(execute_pre): Call fini_pre with in_fre.
* tree-ssa-loop-ivcanon (try_unroll_loop_completely): Dump
if we do not unroll because we hit max-completely-peeled-insns.
Use our estimation for consistency, do allow shrinking.
From-SVN: r138522
Eric Botcazou [Fri, 1 Aug 2008 14:10:10 +0000 (14:10 +0000)]
* gnat.dg/boolean_expr.ad[sb]: Rename to boolean_expr1.ad[sb].
From-SVN: r138520
Paolo Bonzini [Fri, 1 Aug 2008 14:06:38 +0000 (14:06 +0000)]
acinclude.m4 ([GLIBCXX_CHECK_CLOCK_GETTIME]): Reinstate clock_gettime search, but only in libposix4, never link librt.
2008-08-01 Paolo Bonzini <bonzini@gnu.org>
Chris Fairles <chris.fairles@gmail.com>
* acinclude.m4 ([GLIBCXX_CHECK_CLOCK_GETTIME]): Reinstate clock_gettime
search, but only in libposix4, never link librt.
* src/Makefile.am: Reinstate previous change to add GLIBCXX_LIBS.
* configure: Regenerate.
* configure.in: Likewise.
* Makefile.in: Likewise.
* src/Makefile.in: Likewise.
* libsup++/Makefile.in: Likewise.
* po/Makefile.in: Likewise.
* doc/Makefile.in: Likewise.
Co-Authored-By: Chris Fairles <chris.fairles@gmail.com>
From-SVN: r138519
Eric Botcazou [Fri, 1 Aug 2008 14:02:10 +0000 (14:02 +0000)]
ada-tree.h (DECL_PARM_ALT): Now DECL_PARM_ALT_TYPE.
* gcc-interface/ada-tree.h (DECL_PARM_ALT): Now DECL_PARM_ALT_TYPE.
* gcc-interface/decl.c (gnat_to_gnu_param): Fix formatting, simplify
and adjust for above renaming.
* gcc-interface/utils.c (convert_vms_descriptor): Likewise. Add new
gnu_expr_alt_type parameter. Convert the expression to it instead
of changing its type in place.
(build_function_stub): Adjust call to above function.
From-SVN: r138518
H.J. Lu [Fri, 1 Aug 2008 13:30:03 +0000 (06:30 -0700)]
i386.c (override_options): Replace ABI_STACK_BOUNDARY with MIN_STACK_BOUNDARY.
2008-08-01 H.J. Lu <hongjiu.lu@intel.com>
* config/i386/i386.c (override_options): Replace ABI_STACK_BOUNDARY
with MIN_STACK_BOUNDARY.
(ix86_update_stack_boundary): Likewise.
(ix86_expand_prologue): Assert MIN_STACK_BOUNDARY instead of
STACK_BOUNDARY.
* config/i386/i386.h (ABI_STACK_BOUNDARY): Renamed to ...
(MIN_STACK_BOUNDARY): This.
From-SVN: r138517
Andreas Schwab [Fri, 1 Aug 2008 13:14:39 +0000 (13:14 +0000)]
Remove conflict marker.
From-SVN: r138516
Richard Guenther [Fri, 1 Aug 2008 13:12:38 +0000 (13:12 +0000)]
re PR middle-end/36997 (ICE with incompatible arg to '__builtin_ia32_paddq)
2008-08-01 Richard Guenther <rguenther@suse.de>
PR middle-end/36997
* gimplify.c (gimplify_call_expr): Set error_mark_node on GS_ERROR.
* gcc.dg/pr36997.c: New testcase.
From-SVN: r138515
Eric Botcazou [Fri, 1 Aug 2008 13:11:51 +0000 (13:11 +0000)]
Revert incorrect patch.
From-SVN: r138514
Eric Botcazou [Fri, 1 Aug 2008 12:39:57 +0000 (12:39 +0000)]
decl.c (gnat_to_gnu_entity): Remove dead code.
2008-08-01 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Remove dead
code. Do not get full definition of deferred constants with address
clause for a use. Do not ignore deferred constant definitions with
address clause. Ignore constant definitions already marked with the
error node.
<object>: Remove obsolete comment. For a deferred constant with
address clause, get the initializer from the full view.
* gcc-interface/trans.c (gnat_to_gnu) <N_Attribute_Definition_Clause>:
Rework and remove obsolete comment.
<N_Object_Declaration>: For a deferred constant with address clause,
mark the full view with the error node.
* gcc-interface/utils.c (convert_to_fat_pointer): Rework and fix
formatting nits.
From-SVN: r138513
Richard Guenther [Fri, 1 Aug 2008 11:18:36 +0000 (11:18 +0000)]
re PR middle-end/36988 (ICE in gimple_rhs_has_side_effects, at gimple.c:2369)
2008-08-01 Richard Guenther <rguenther@suse.de>
PR tree-optimization/36988
* tree-ssa-ccp.c (ccp_fold): Conversions of constants only
do not matter if that doesn't change volatile qualification.
* gcc.c-torture/compile/pr36988.c: New testcase.
From-SVN: r138512
Arnaud Charlet [Fri, 1 Aug 2008 10:47:27 +0000 (12:47 +0200)]
rtsfind.ads: Add block IO versions of stream routines for Strings.
2008-08-01 Hristian Kirtchev <kirtchev@adacore.com>
* rtsfind.ads: Add block IO versions of stream routines for Strings.
* bindgen.adb, gnat_rm.texi, gnat_ugn.texi, opt.ads,
sem_prag.adb, snames.adb, snames.ads, snames.h,
par-prag.adb: Undo Canonical_Streams related changes.
* s-rident.ads: Add new restriction No_Stream_Optimizations.
* s-ststop.ads, s-ststop.adb: Comment reformatting.
Define enumeration type to designate different IO mechanisms.
Enchance generic package Stream_Ops_Internal to include an
implementation of Input and Output.
* exp_attr.adb (Find_Stream_Subprogram): If restriction
No_Stream_Optimization is active, choose the default byte IO
implementations of stream attributes for Strings.
Otherwise use the corresponding block IO version.
From-SVN: r138511
Robert Dewar [Fri, 1 Aug 2008 10:44:17 +0000 (12:44 +0200)]
par-ch3.adb (P_Defining_Identifier): Avoid repeated attempt to convert plain identifier into defining identifier.
2008-08-01 Robert Dewar <dewar@adacore.com>
* par-ch3.adb (P_Defining_Identifier): Avoid repeated attempt to
convert plain identifier into defining identifier.
From-SVN: r138510
Olivier Hainque [Fri, 1 Aug 2008 10:36:01 +0000 (10:36 +0000)]
decl.c (gnat_to_gnu_entity): Do not turn Ada Pure into GCC const, now implicitely implying nothrow as well.
ada/
* decl.c (gnat_to_gnu_entity) <case E_Function>: Do not turn Ada
Pure into GCC const, now implicitely implying nothrow as well.
testsuite/
* gnat.dg/raise_from_pure.ad[bs],
* gnat.dg/wrap_raise_from_pure.ad[bs]: Support for ...
* gnat.dg/test_raise_from_pure.adb: New test.
From-SVN: r138509
Arnaud Charlet [Fri, 1 Aug 2008 10:33:45 +0000 (12:33 +0200)]
ioexcept.ads, [...]: Correct comment.
2008-08-01 Bob Duff <duff@adacore.com>
* ioexcept.ads, sequenio.ads, directio.ads: Correct comment.
From-SVN: r138508
Robert Dewar [Fri, 1 Aug 2008 10:33:29 +0000 (12:33 +0200)]
lib-xref.adb: Add error defense.
2008-08-01 Robert Dewar <dewar@adacore.com>
* lib-xref.adb: Add error defense.
From-SVN: r138507
Robert Dewar [Fri, 1 Aug 2008 10:33:21 +0000 (12:33 +0200)]
sem_prag.adb (Check_Form_Of_Interface_Name): Refine and improve warnings
2008-08-01 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Check_Form_Of_Interface_Name): Refine and improve
warnings
From-SVN: r138506
Arnaud Charlet [Fri, 1 Aug 2008 09:31:42 +0000 (11:31 +0200)]
par-ch3.adb (P_Type_Declaration): Properly handle missing type keyword
2008-08-01 Robert Dewar <dewar@adacore.com>
* par-ch3.adb (P_Type_Declaration): Properly handle missing type
keyword
From-SVN: r138503
Thomas Quinot [Fri, 1 Aug 2008 09:31:18 +0000 (11:31 +0200)]
sem_ch12.adb: Minor comment reformatting
2008-08-01 Thomas Quinot <quinot@adacore.com>
* sem_ch12.adb: Minor comment reformatting
From-SVN: r138502
Robert Dewar [Fri, 1 Aug 2008 09:31:06 +0000 (11:31 +0200)]
2008-08-01 Robert Dewar <dewar@adacore.com>
* sem_res.adb:
(Resolve_Call): Check violation of No_Specific_Termination_Handlers
From-SVN: r138501
Robert Dewar [Fri, 1 Aug 2008 09:30:53 +0000 (11:30 +0200)]
sem_prag.adb (Analyze_Pragma): Put entries in alpha order
2008-08-01 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Analyze_Pragma): Put entries in alpha order
(Analyze_Pragma): Make sure all GNAT pragmas call GNAT_Pragma
From-SVN: r138500
Robert Dewar [Fri, 1 Aug 2008 09:30:37 +0000 (11:30 +0200)]
scans.ads: Minor reformatting.
2008-08-01 Robert Dewar <dewar@adacore.com>
* scans.ads: Minor reformatting.
From-SVN: r138499
Robert Dewar [Fri, 1 Aug 2008 09:30:26 +0000 (11:30 +0200)]
par-prag.adb (Prag, [...]): Deal with upper half encodings
2008-08-01 Robert Dewar <dewar@adacore.com>
* par-prag.adb (Prag, case Wide_Character_Encoding): Deal with upper
half encodings
From-SVN: r138498
Robert Dewar [Fri, 1 Aug 2008 09:30:14 +0000 (11:30 +0200)]
s-os_lib.adb: Minor reformatting
2008-08-01 Robert Dewar <dewar@adacore.com>
* s-os_lib.adb: Minor reformatting
From-SVN: r138497
Robert Dewar [Fri, 1 Aug 2008 09:30:05 +0000 (11:30 +0200)]
prj.ads: Minor reformatting
2008-08-01 Robert Dewar <dewar@adacore.com>
* prj.ads: Minor reformatting
From-SVN: r138496
Robert Dewar [Fri, 1 Aug 2008 09:29:48 +0000 (11:29 +0200)]
sem_ch4.adb: Minor reformatting Minor code reorganization
2008-08-01 Robert Dewar <dewar@adacore.com>
* sem_ch4.adb: Minor reformatting
Minor code reorganization
From-SVN: r138495
Robert Dewar [Fri, 1 Aug 2008 09:29:39 +0000 (11:29 +0200)]
prj-nmsc.adb: Minor reformatting
2008-08-01 Robert Dewar <dewar@adacore.com>
* prj-nmsc.adb: Minor reformatting
From-SVN: r138494
Gary Dismukes [Fri, 1 Aug 2008 09:29:30 +0000 (11:29 +0200)]
exp_ch6.adb (Expand_Call): Adjustment to previous fix for passing correct accessibility levels.
2008-08-01 Gary Dismukes <dismukes@adacore.com>
* exp_ch6.adb (Expand_Call): Adjustment to previous fix for passing
correct accessibility levels. In the "when others" case, retrieve the
access level of the Etype of Prev rather than Prev_Orig, because the
original exression has not always been analyzed.
From-SVN: r138493
Eric Botcazou [Fri, 1 Aug 2008 09:10:16 +0000 (09:10 +0000)]
utils.c (convert_vms_descriptor): Add gnu_expr_alt_type parameter.
2008-08-01 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/utils.c (convert_vms_descriptor): Add gnu_expr_alt_type
parameter.
Convert the expression to it instead of changing its type in place.
(build_function_stub): Adjust call to above function.
From-SVN: r138492
Arnaud Charlet [Fri, 1 Aug 2008 09:04:06 +0000 (11:04 +0200)]
sem_ch4.adb (Analyze_One_Call): Handle complex overloading of a procedure call whose prefix is a parameterless...
2008-08-01 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_One_Call): Handle complex overloading of a
procedure call whose prefix
is a parameterless function call that returns an access_to_procedure.
From-SVN: r138491
Gary Dismukes [Fri, 1 Aug 2008 09:03:35 +0000 (11:03 +0200)]
exp_ch6.adb (Expand_Call): Remove ugly special-case code that resets Orig_Prev to Prev in the case where...
2008-08-01 Gary Dismukes <dismukes@adacore.com>
* exp_ch6.adb (Expand_Call): Remove ugly special-case code that resets
Orig_Prev to Prev in the case where the actual is N_Function_Call or
N_Identifier. This was interfering with other cases that are rewritten
as N_Identifier, such as allocators, resulting in passing of the wrong
accessibility level, and based on testing this code is apparently no
longer needed at all.
From-SVN: r138490
Ed Schonberg [Fri, 1 Aug 2008 09:03:23 +0000 (11:03 +0200)]
2008-08-01 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb:
(Check_Precondition_Postcondition): If not generating code, analyze the
expression in a postcondition that appears in a subprogram body, so that
it is properly decorated for ASIS use.
From-SVN: r138489
Vincent Celier [Fri, 1 Aug 2008 09:03:11 +0000 (11:03 +0200)]
2008-08-01 Vincent Celier <celier@adacore.com>
* mlib-utl.adb:
(Adalib_Path): New variable to store the path of the adalib directory
when procedure Specify_Adalib_Dir is called.
(Lib_Directory): If Adalib_Path is not null, return its value
(Specify_Adalib_Dir): New procedure
* mlib-utl.ads (Specify_Adalib_Dir): New procedure
From-SVN: r138488
Vincent Celier [Fri, 1 Aug 2008 09:02:58 +0000 (11:02 +0200)]
prj-attr.adb: New attribute Compiler'Name_Syntax (<lang>)
2008-08-01 Vincent Celier <celier@adacore.com>
* prj-attr.adb: New attribute Compiler'Name_Syntax (<lang>)
* prj-nmsc.adb (Process_Compiler): Recognize attribute Name_Syntax
* prj.adb (Object_Exist_For): Use Object_Generated, not
Objects_Generated that is removed and was never modified anyway.
* prj.ads:
(Path_Syntax_Kind): New enumeration type
(Language_Config): New component Path_Syntax, defaulted to Host.
Components PIC_Option and Objects_Generated removed, as they are not
used.
* snames.adb: New standard name Path_Syntax
* snames.ads: New standard name Path_Syntax
From-SVN: r138487
Ed Schonberg [Fri, 1 Aug 2008 09:02:44 +0000 (11:02 +0200)]
checks.adb (Apply_Float_Conversion_Check): If the expression to be converted is a real literal and the target type has...
2008-08-01 Ed Schonberg <schonberg@adacore.com>
* checks.adb (Apply_Float_Conversion_Check): If the expression to be
converted is a real literal and the target type has static bounds,
perform the conversion exactly to prevent floating-point anomalies on
some targets.
From-SVN: r138486
Robert Dewar [Fri, 1 Aug 2008 09:02:34 +0000 (11:02 +0200)]
sem_ch6.adb (Process_PPCs): Don't copy spec PPC to body if not generating code
2008-08-01 Robert Dewar <dewar@adacore.com>
* sem_ch6.adb (Process_PPCs): Don't copy spec PPC to body if not
generating code
From-SVN: r138485
Arnaud Charlet [Fri, 1 Aug 2008 08:35:21 +0000 (10:35 +0200)]
s-os_lib.adb (Normalize_Pathname): Take care of double-quotes in paths...
2008-08-01 Jerome Lambourg <lambourg@adacore.com>
* s-os_lib.adb (Normalize_Pathname): Take care of double-quotes in
paths, which are authorized by Windows but can lead to errors when used
elsewhere.
From-SVN: r138484
Robert Dewar [Fri, 1 Aug 2008 08:35:04 +0000 (10:35 +0200)]
sem_ch6.adb (Analyze_Subprogram_Body): Remove special casing of Raise_Exception
2008-08-01 Robert Dewar <dewar@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body): Remove special casing of
Raise_Exception
From-SVN: r138483
Jose Ruiz [Fri, 1 Aug 2008 08:34:50 +0000 (10:34 +0200)]
adaint.c (__gnat_tmp_name): Refine the generation of temporary names for RTX.
2008-08-01 Jose Ruiz <ruiz@adacore.com>
* adaint.c (__gnat_tmp_name): Refine the generation of temporary names
for RTX. Adding a suffix that is incremented at each iteration.
From-SVN: r138482
Jose Ruiz [Fri, 1 Aug 2008 08:19:29 +0000 (10:19 +0200)]
gnat_ugn.texi: Document the RTX run times (rts-rtx-rtss and rts-rtx-w32).
2008-08-01 Jose Ruiz <ruiz@adacore.com>
* gnat_ugn.texi: Document the RTX run times (rts-rtx-rtss and
rts-rtx-w32).
From-SVN: r138481
Arnaud Charlet [Fri, 1 Aug 2008 08:19:04 +0000 (10:19 +0200)]
sem_ch12.ads (Need_Subprogram_Instance_Body): new function...
2008-08-01 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.ads (Need_Subprogram_Instance_Body): new function, to create
a pending instantiation for the body of a subprogram that is to be
inlined.
* sem_ch12.adb:
(Analyze_Subprogram_Instantiation): use Need_Subprogram_Instance_Body.
* sem_prag.adb (Make_Inline): If the pragma applies to an instance,
create a pending instance for its body, so that calls to the subprogram
can be inlined by the back-end.
From-SVN: r138480
Paolo Bonzini [Fri, 1 Aug 2008 08:18:13 +0000 (08:18 +0000)]
configure.ac: Do not generate libada-mk.
gcc:
2008-08-01 Paolo Bonzini <bonzini@gnu.org>
* configure.ac: Do not generate libada-mk. Do not subst
host_cc_for_libada.
* libada-mk.in: Remove.
* Makefile.in: Pass TARGET_LIBGCC2_CFLAGS to libgcc.mvars.
* configure: Regenerate.
libada:
2008-08-01 Paolo Bonzini <bonzini@gnu.org>
* configure.ac (warn_cflags): Substitute.
* configure: Regenerate.
* Makefile.in (libdir, WARN_CFLAGS): Substitute.
(GCC_WARN_CFLAGS): Remove NOCOMMON_FLAG.
(ADA_CFLAGS, T_ADA_CFLAGS, X_ADA_CFLAGS, ALL_ADA_CFLAGS): Remove,
they were unused.
(libada-mk): Do not include. Include libgcc.mvars instead.
(tmake_file): Remove, do not include.
(FLAGS_TO_PASS): Pass dummy values for exeext and CC.
* configure: Regenerate.
gnattools:
2008-08-01 Paolo Bonzini <bonzini@gnu.org>
* configure.ac (warn_cflags): Substitute.
* configure: Regenerate.
* Makefile.in (libdir, exeext, WARN_CFLAGS): Substitute.
(GCC_WARN_CFLAGS): Remove NOCOMMON_FLAG.
(ADA_INCLUDE_DIR, ADA_RTL_OBJ_DIR): Remove as they were unused.
(libsubdir): Remove.
(libada-mk): Do not include. Include libgcc.mvars instead.
(xmake_file): Remove, do not include.
From-SVN: r138479
Arnaud Charlet [Fri, 1 Aug 2008 07:56:48 +0000 (09:56 +0200)]
Resync.
From-SVN: r138475
Jose Ruiz [Fri, 1 Aug 2008 07:56:32 +0000 (09:56 +0200)]
adaint.c (__gnat_tmp_name): RTSS applications do not support tempnam nor tmpnam...
2008-08-01 Jose Ruiz <ruiz@adacore.com>
* adaint.c (__gnat_tmp_name): RTSS applications do not support tempnam
nor tmpnam, so we always use c:\WINDOWS\Temp\gnat-XXXXXX as temporary
name.
From-SVN: r138474
Doug Rupp [Fri, 1 Aug 2008 07:56:20 +0000 (09:56 +0200)]
gnat_rm.texi: Document new mechanism Short_Descriptor.
2008-08-01 Doug Rupp <rupp@adacore.com>
* gnat_rm.texi: Document new mechanism Short_Descriptor.
* types.ads (Mechanism_Type): Modify range for new Short_Descriptor
mechanism values.
* sem_prag.adb (Set_Mechanism_Value): Enhance for Short_Descriptor
mechanism and Short_Descriptor mechanism values.
* snames.adb (preset_names): Add short_descriptor entry.
* snames.ads: Add Name_Short_Descriptor.
* types.h: Add new By_Short_Descriptor mechanism values.
* sem_mech.adb (Set_Mechanism_Value): Enhance for Short_Descriptor
mechanism and Short_Descriptor mechanism values.
* sem_mech.ads (Mechanism_Type): Add new By_Short_Descriptor mechanism
values.
(Descriptor_Codes): Modify range for new mechanism values.
* treepr.adb (Print_Entity_Enfo): Handle new By_Short_Descriptor
mechanism values.
* gcc-interface/decl.c (gnat_to_gnu_entity): Handle By_Short_Descriptor.
(gnat_to_gnu_param): Handle By_Short_Descriptor.
* gcc-interface/gigi.h (build_vms_descriptor64): Remove prototype.
(build_vms_descriptor32): New prototype.
(fill_vms_descriptor): Remove unneeded gnat_actual parameter.
* gcc-interface/trans.c (call_to_gnu): Removed unneeded gnat_actual
argument in call fill_vms_descriptor.
* gcc-interface/utils.c (build_vms_descriptor32): Renamed from
build_vms_descriptor and enhanced to hande Short_Descriptor mechanism.
(build_vms_descriptor): Renamed from build_vms_descriptor64.
(convert_vms_descriptor32): New function.
(convert_vms_descriptor64): New function.
(convert_vms_descriptor): Rewrite to handle both 32bit and 64bit
descriptors.
* gcc-interface/utils2.c (fill_vms_descriptor): Revert previous changes,
no longer needed.
From-SVN: r138473
Robert Dewar [Fri, 1 Aug 2008 07:56:07 +0000 (09:56 +0200)]
scng.adb (Error_Illegal_Wide_Character): Bump scan pointer
2008-08-01 Robert Dewar <dewar@adacore.com>
* scng.adb (Error_Illegal_Wide_Character): Bump scan pointer
From-SVN: r138472
Arnaud Charlet [Fri, 1 Aug 2008 07:43:16 +0000 (09:43 +0200)]
Resync.
From-SVN: r138470
Arnaud Charlet [Fri, 1 Aug 2008 07:41:55 +0000 (09:41 +0200)]
Update comments.
From-SVN: r138469
Robert Dewar [Fri, 1 Aug 2008 07:39:30 +0000 (09:39 +0200)]
scng.adb: Minor reformatting
2008-08-01 Robert Dewar <dewar@adacore.com>
* scng.adb: Minor reformatting
From-SVN: r138468
Doug Rupp [Fri, 1 Aug 2008 07:39:22 +0000 (09:39 +0200)]
vms_data.ads: vms_data.ads: New qualfier /MACHINE_CODE_LISTING
2008-08-01 Doug Rupp <rupp@adacore.com>
* vms_data.ads: vms_data.ads: New qualfier /MACHINE_CODE_LISTING
From-SVN: r138467
Robert Dewar [Fri, 1 Aug 2008 07:39:11 +0000 (09:39 +0200)]
opt.ads: Minor documentation fix
2008-08-01 Robert Dewar <dewar@adacore.com>
* opt.ads: Minor documentation fix
From-SVN: r138466
Robert Dewar [Fri, 1 Aug 2008 07:39:03 +0000 (09:39 +0200)]
sem_util.ads: Minor reformatting.
2008-08-01 Robert Dewar <dewar@adacore.com>
* sem_util.ads: Minor reformatting.
From-SVN: r138465
Doug Rupp [Fri, 1 Aug 2008 07:38:54 +0000 (09:38 +0200)]
mlib-tgt-specific-vms-alpha.adb (Build_Dynamic_Library): Output a dummy transfer address for debugging.
2008-08-01 Doug Rupp <rupp@adacore.com>
* mlib-tgt-specific-vms-alpha.adb (Build_Dynamic_Library): Output a
dummy transfer address for debugging.
* mlib-tgt-specific-vms-ia64.adb (Build_Dynamic_Library): Likewise.
From-SVN: r138464
Ed Schonberg [Fri, 1 Aug 2008 07:38:45 +0000 (09:38 +0200)]
exp_disp.adb (Expand_Interface_Conversion): If the target type is a tagged synchronized type, use corresponding record type.
2008-08-01 Ed Schonberg <schonberg@adacore.com>
* exp_disp.adb (Expand_Interface_Conversion): If the target type is a
tagged synchronized type, use corresponding record type.
From-SVN: r138463
Robert Dewar [Fri, 1 Aug 2008 07:38:36 +0000 (09:38 +0200)]
gnatchop.adb: Minor reformatting
2008-08-01 Robert Dewar <dewar@adacore.com>
* gnatchop.adb: Minor reformatting
From-SVN: r138462
Robert Dewar [Fri, 1 Aug 2008 07:38:26 +0000 (09:38 +0200)]
sinput.adb: Minor reformatting
2008-08-01 Robert Dewar <dewar@adacore.com>
* sinput.adb: Minor reformatting
From-SVN: r138461
Jose Ruiz [Fri, 1 Aug 2008 07:38:17 +0000 (09:38 +0200)]
cstreams.c (__gnat_full_name): RTSS applications cannot ask for the current directory so only fully qualified...
2008-08-01 Jose Ruiz <ruiz@adacore.com>
* cstreams.c (__gnat_full_name): RTSS applications cannot ask for the
current directory so only fully qualified names are allowed.
From-SVN: r138460
Robert Dewar [Fri, 1 Aug 2008 07:38:08 +0000 (09:38 +0200)]
xref_lib.adb: Minor reformatting
2008-08-01 Robert Dewar <dewar@adacore.com>
* xref_lib.adb: Minor reformatting
From-SVN: r138459
Robert Dewar [Fri, 1 Aug 2008 07:37:59 +0000 (09:37 +0200)]
snames.ads: Minor comment fixes...
2008-08-01 Robert Dewar <dewar@adacore.com>
* snames.ads:
Minor comment fixes, some pragmas were not properly
categorized in the comments, documentation change only
From-SVN: r138458
Robert Dewar [Fri, 1 Aug 2008 07:37:50 +0000 (09:37 +0200)]
sem_ch10.adb: Minor reformatting
2008-08-01 Robert Dewar <dewar@adacore.com>
* sem_ch10.adb: Minor reformatting
From-SVN: r138457
Robert Dewar [Fri, 1 Aug 2008 07:37:40 +0000 (09:37 +0200)]
s-ststop.adb: Add some ??? comments
2008-08-01 Robert Dewar <dewar@adacore.com>
* s-ststop.adb: Add some ??? comments
From-SVN: r138456
Robert Dewar [Fri, 1 Aug 2008 07:37:28 +0000 (09:37 +0200)]
gnat_ugn.texi: Minor editing, remove uncomfortable use of semicolon
2008-08-01 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi:
Minor editing, remove uncomfortable use of semicolon
From-SVN: r138455
Basile Starynkevitch [Fri, 1 Aug 2008 05:19:40 +0000 (05:19 +0000)]
tree-pass.h: Added comment about not dumping passes with name starting with star in struct...
2008-08-01 Basile Starynkevitch <basile@starynkevitch>
* gcc/tree-pass.h: Added comment about not dumping passes with name
starting with star in struct opt_pass.
* gcc/passes.c (register_dump_files_1): Don't do dump for a pass with
name starting with star.
* gcc/doc/passes.texi (Pass manager): Mention pass names and special
meaning of star prefix to avoid dump.
From-SVN: r138450
Adam Nemet [Fri, 1 Aug 2008 01:18:16 +0000 (01:18 +0000)]
config.gcc (mipsisa64*-*-linux*): New configuration.
* config.gcc (mipsisa64*-*-linux*): New configuration. Set ISA
to MIPS64r2 for mipsisa64r2*.
* config/mips/mips.h (GENERATE_MIPS16E): Update comment.
(ISA_MIPS64R2): New macro.
(TARGET_CPU_CPP_BUILTINS, MULTILIB_ISA_DEFAULT): Handle it.
(ISA_HAS_64BIT_REGS, ISA_HAS_MUL3, ISA_HAS_FP_CONDMOVE,
ISA_HAS_8CC, ISA_HAS_FP4, ISA_HAS_PAIRED_SINGLE,
ISA_HAS_MADD_MSUB, ISA_HAS_NMADD4_NMSUB4, ISA_HAS_CLZ_CLO,
ISA_HAS_ROR, ISA_HAS_PREFETCH, ISA_HAS_PREFETCHX, ISA_HAS_SEB_SEH,
ISA_HAS_EXT_INS, ISA_HAS_MXHC1, ISA_HAS_HILO_INTERLOCKS,
ISA_HAS_SYNCI, MIN_FPRS_PER_FMT): Return true for ISA_MIPS64R2.
(MIPS_ISA_LEVEL_SPEC, ASM_SPEC, LINK_SPEC): Handle -mips64r2.
(TARGET_LOONGSON_2E, TARGET_LOONGSON_2F, TARGET_LOONGSON_2EF):
Move up to keep list alphabetically sorted.
(TUNE_20KC, TUNE_24K, TUNE_74K, TUNE_LOONGSON_2EF): Likewise.
* config/mips/mips.c (mips_cpu_info_table): Add default MIPS64r2
processor.
* doc/invoke.texi (MIPS Options): Add -mips64r2.
(-march=@var{arch}): Add mips64r2.
testsuite/
* gcc.target/mips/ext-1.c: New test.
From-SVN: r138448
H.J. Lu [Fri, 1 Aug 2008 00:31:46 +0000 (00:31 +0000)]
darwin.h (MAIN_STACK_BOUNDARY): Define to 128.
2008-07-31 H.J. Lu <hongjiu.lu@intel.com>
* config/i386/darwin.h (MAIN_STACK_BOUNDARY): Define to 128.
From-SVN: r138446
GCC Administrator [Fri, 1 Aug 2008 00:16:31 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r138444
Eric Botcazou [Thu, 31 Jul 2008 22:04:03 +0000 (22:04 +0000)]
decl.c (gnat_to_gnu_entity): Fix formatting.
* gcc-interface/decl.c (gnat_to_gnu_entity): Fix formatting.
* gcc-interface/utils.c (create_field_decl): Avoid superfluous work.
From-SVN: r138440
Steve Ellcey [Thu, 31 Jul 2008 21:42:16 +0000 (21:42 +0000)]
* expr.c (expand_assignment): Check for complete type.
From-SVN: r138439
H.J. Lu [Thu, 31 Jul 2008 21:28:54 +0000 (21:28 +0000)]
re PR debug/36977 (Incorrect debug info for stack variables with stack alignment)
2008-07-31 H.J. Lu <hongjiu.lu@intel.com>
PR debug/36977
* cfgexpand.c (expand_stack_alignment): Set stack_realign_tried.
* dwarf2out.c (based_loc_descr): Check crtl->stack_realign_tried
for stack alignment.
* function.h (rtl_data): Add stack_realign_tried. Update
comments.
From-SVN: r138438
Kaz Kojima [Thu, 31 Jul 2008 21:23:04 +0000 (21:23 +0000)]
sh.c (sh_canonical_va_list_type): Remove.
* config/sh/sh.c (sh_canonical_va_list_type): Remove.
(TARGET_CANONICAL_VA_LIST_TYPE): Remove.
From-SVN: r138437
Jakub Jelinek [Thu, 31 Jul 2008 21:22:09 +0000 (23:22 +0200)]
* mkstemps.c (mkstemps): Keep looping even for EISDIR.
From-SVN: r138436
Jakub Jelinek [Thu, 31 Jul 2008 20:37:21 +0000 (22:37 +0200)]
re PR target/35100 (internal compiler error: in extract_insn, at recog.c:1990)
PR target/35100
* gcc.target/powerpc/longcall-1.c: New test.
From-SVN: r138435
Chris Fairles [Thu, 31 Jul 2008 19:37:21 +0000 (19:37 +0000)]
chrono (duration): Use explicitly defaulted ctor, cctor, dtor and assignment.
2008-07-31 Chris Fairles <chris.fairles@gmail.com>
* include/std/chrono (duration): Use explicitly defaulted ctor, cctor,
dtor and assignment. Add diagnostics as per 20.8.3 paragraphs 2, 3
and 4 in WD. Other minor tweaks.
* testsuite/20_util/duration/cons/1_neg.cc: Adjust line numbers.
* testsuite/20_util/duration/requirements/typedefs_neg1.cc: New.
* testsuite/20_util/duration/requirements/typedefs_neg2.cc: Likewise.
* testsuite/20_util/duration/requirements/typedefs_neg3.cc: Likewise.
From-SVN: r138434
Jakub Jelinek [Thu, 31 Jul 2008 19:12:14 +0000 (21:12 +0200)]
re PR preprocessor/36649 (-H option doesn't work as expected)
PR preprocessor/36649
* files.c (struct report_missing_guard_data): New type.
(report_missing_guard): Put paths into an array instead of printing
them right away. Return 1 rather than 0.
(report_missing_guard_cmp): New function.
(_cpp_report_missing_guards): Sort and print paths gathered by
report_missing_guard callback.
* gcc.dg/pch/cpp-3.hs: Add include guards.
* gcc.dg/pch/cpp-3a.h: Likewise.
* gcc.dg/pch/cpp-3b.h: Likewise.
* gcc.dg/cpp/mi8.c: New test.
* gcc.dg/cpp/mi8a.h: New file.
* gcc.dg/cpp/mi8b.h: New file.
* gcc.dg/cpp/mi8c.h: New file.
* gcc.dg/cpp/mi8d.h: New file.
From-SVN: r138432
Denys Vlasenko [Thu, 31 Jul 2008 18:56:35 +0000 (18:56 +0000)]
mkstemps.c (mkstemps): If open failed with errno other than EEXIST, return immediately.
* mkstemps.c (mkstemps): If open failed with errno other than
EEXIST, return immediately.
* make-temp-file.c: Include errno.h.
(make_temp_file): If mkstemps failed, print an error message
before aborting.
From-SVN: r138429
Paolo Carlini [Thu, 31 Jul 2008 18:43:08 +0000 (18:43 +0000)]
libstdc++.exp (libstdc++_init): Set v3-libgomp.
2008-07-31 Paolo Carlini <paolo.carlini@oracle.com>
* testsuite/lib/libstdc++.exp (libstdc++_init): Set v3-libgomp.
(check_v3_target_parallel_mode): Robustify, just follow the
structure of testsuite/Makefile.am.
From-SVN: r138428
Jakub Jelinek [Thu, 31 Jul 2008 18:08:36 +0000 (20:08 +0200)]
re PR rtl-optimization/36419 (Wrong unwind info with -Os -fasynchronous-unwind-tables)
PR rtl-optimization/36419
* dwarf2out.c (barrier_args_size): New variable.
(compute_barrier_args_size, compute_barrier_args_size_1): New
functions.
(dwarf2out_stack_adjust): For BARRIERs call compute_barrier_args_size
if not called yet in the current function, use barrier_args_size
array to find the new args_size value.
(dwarf2out_frame_debug): Free and clear barrier_args_size.
* g++.dg/eh/async-unwind2.C: New test.
From-SVN: r138427
Jakub Jelinek [Thu, 31 Jul 2008 18:07:20 +0000 (20:07 +0200)]
re PR c++/36405 (ICE with typeid of member function)
PR c++/36405
* rtti.c (get_tinfo_decl_dynamic, get_typeid): Call
complete_type_or_else even for UNKNOWN_TYPE to get diagnostics.
* g++.dg/rtti/typeid8.C: New test.
From-SVN: r138426
Jason Merrill [Thu, 31 Jul 2008 17:38:08 +0000 (13:38 -0400)]
re PR middle-end/36633 (warning "array subscript is below array bounds" on delete [] with -O2, -Wall)
PR c++/36633
* init.c (build_new_1): Don't convert pointer to the data type
until we're actually going to treat it as that type.
From-SVN: r138425
H.J. Lu [Thu, 31 Jul 2008 15:32:51 +0000 (15:32 +0000)]
re PR debug/36980 (Bootstrap broken with RTL checking on i586)
2008-07-31 H.J. Lu <hongjiu.lu@intel.com>
PR debug/36980
* dwarf2out.c (dwarf2out_frame_debug_expr): Move rule 17 before
rule 19.
From-SVN: r138424
Arnaud Charlet [Thu, 31 Jul 2008 14:46:14 +0000 (16:46 +0200)]
Resync.
From-SVN: r138422
Robert Dewar [Thu, 31 Jul 2008 14:41:32 +0000 (16:41 +0200)]
prj-env.adb: Minor reformatting
2008-07-31 Robert Dewar <dewar@adacore.com>
* prj-env.adb: Minor reformatting
From-SVN: r138421
Robert Dewar [Thu, 31 Jul 2008 14:41:22 +0000 (16:41 +0200)]
makeutl.adb: Minor reformatting
2008-07-31 Robert Dewar <dewar@adacore.com>
* makeutl.adb: Minor reformatting
From-SVN: r138420
Robert Dewar [Thu, 31 Jul 2008 14:41:10 +0000 (16:41 +0200)]
exp_aggr.adb: Minor reformatting
2008-07-31 Robert Dewar <dewar@adacore.com>
* exp_aggr.adb: Minor reformatting
From-SVN: r138419
Jose Ruiz [Thu, 31 Jul 2008 14:41:01 +0000 (16:41 +0200)]
2008-07-31 Jose Ruiz <ruiz@adacore.com>
* s-parame-vxworks.adb
Document that this body is used for RTX in RTSS (kernel) mode.
* gcc-interface/Makefile.in
(LIBGNAT_TARGET_PAIRS for the rtx_rtss run time): Use the
s-parame-vxworks.adb body in order to have reasonable stack sizes in
RTX RTSS kernel mode. Virtual memory is not used in that case, so we
cannot ask for too big values.
From-SVN: r138418
Pascal Obry [Thu, 31 Jul 2008 14:40:48 +0000 (16:40 +0200)]
prj-nmsc.adb: Keep Object and Exec directory casing.
2008-07-31 Pascal Obry <obry@adacore.com>
* prj-nmsc.adb: Keep Object and Exec directory casing.
From-SVN: r138417
H.J. Lu [Thu, 31 Jul 2008 14:33:43 +0000 (14:33 +0000)]
re PR debug/36976 (FAIL: g++.dg/torture/stackalign/unwind-2.C)
2008-07-31 H.J. Lu <hongjiu.lu@intel.com>
PR debug/36976
* dwarf2out.c (dwarf2out_args_size_adjust): New.
(dwarf2out_stack_adjust): Use it.
(dwarf2out_frame_debug_expr): Likewise.
From-SVN: r138416
Richard Guenther [Thu, 31 Jul 2008 14:12:24 +0000 (14:12 +0000)]
re PR tree-optimization/36978 (ICE in gimple_cond_set_lhs for -O2 -funswitch-loops after tuples merge)
2008-07-31 Richard Guenther <rguenther@suse.de>
PR tree-optimization/36978
* tree-ssa-loop-unswitch.c (tree_may_unswitch_on): Do not fold
the generated condition.
* gcc.dg/torture/pr36978.c: New testcase.
From-SVN: r138415
Arnaud Charlet [Thu, 31 Jul 2008 13:58:21 +0000 (15:58 +0200)]
Resync.
From-SVN: r138414
Arnaud Charlet [Thu, 31 Jul 2008 13:55:12 +0000 (13:55 +0000)]
* gnat.dg/specs/null_aggr_bug.ads: New test.
From-SVN: r138413
Gary Dismukes [Thu, 31 Jul 2008 13:53:55 +0000 (15:53 +0200)]
2008-07-31 Gary Dismukes <dismukes@adacore.com>
* sem_aggr.adb:
(Resolve_Record_Aggregate): Bypass error that a type without
components must have a "null record" aggregate when compiling for Ada
2005, since it's legal to give an aggregate of form (others => <>)
for such a type.
From-SVN: r138412
Hristian Kirtchev [Thu, 31 Jul 2008 13:53:45 +0000 (15:53 +0200)]
exp_disp.adb (Prim_Op_Kind): Retrieve the full view when a private tagged type is completed by a concurrent type.
2008-07-31 Hristian Kirtchev <kirtchev@adacore.com>
* exp_disp.adb (Prim_Op_Kind): Retrieve the full view when a private
tagged type is completed by a concurrent type.
From-SVN: r138411
Arnaud Charlet [Thu, 31 Jul 2008 13:45:32 +0000 (13:45 +0000)]
* gnat.dg/sync_iface_test.ad[s,b]: New test.
From-SVN: r138410
Arnaud Charlet [Thu, 31 Jul 2008 13:42:37 +0000 (15:42 +0200)]
Resync.
From-SVN: r138409
Ed Schonberg [Thu, 31 Jul 2008 13:31:37 +0000 (15:31 +0200)]
sem_ch10.adb (Build_Unit_Name): If the unit name in a with_clause has the form A.B.C and B is a unit renaming...
2008-07-31 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Build_Unit_Name): If the unit name in a with_clause
has the form A.B.C and B is a unit renaming, analyze its compilation
unit and add a with_clause on A.b to the context.
From-SVN: r138408
Hristian Kirtchev [Thu, 31 Jul 2008 13:27:47 +0000 (15:27 +0200)]
2008-07-31 Hristian Kirtchev <kirtchev@adacore.com>
* bindgen.adb Comment reformatting. Update the list of run-time globals.
(Gen_Adainit_Ada): Add the declaration, import and value set for
configuration flag Canonical_Streams.
(Gen_Adainit_C): Add the declaration and initial value of external
symbol __gl_canonical_streams.
* init.c: Update the list of global values computed by the binder.
* opt.ads: Add flag Canonical_Streams.
* par-prag.adb (Prag): Include Pragma_Canonical_Streams to the list of
semantically handled pragmas.
* sem_prag.adb: Add an entry into enumeration type Sig_Flags.
(Analyze_Pragma): Add case for pragma Canonical_Streams.
* snames.adb: Add character value for name Canonical_Streams.
* snames.ads:
Add Name_Canonical_Streams to the list of configuration pragmas.
Add Pragma_Canonical_Streams to enumeration type Pragma_Id.
* snames.h: Add a definition for Pragma_Canonical_Streams.
* s-ststop.adb:
Add a flag and import to seize the value of external symbol
__gl_canonical_streams. Update comment and initial value of constant
Use_Block_IO.
* gnat_rm.texi: Add section of pragma Canonical_Streams.
* gnat_ugn.texi:
Add pragma Canonical_Streams to the list of configuration pragmas.
From-SVN: r138407
Hristian Kirtchev [Thu, 31 Jul 2008 13:26:40 +0000 (15:26 +0200)]
sem_ch6.adb (Disambiguate_Spec): Continue the disambiguation if the corresponding spec is a primitive wrapper.
2008-07-31 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch6.adb (Disambiguate_Spec): Continue the disambiguation if the
corresponding spec is a primitive wrapper. Update comment.
From-SVN: r138406
Quentin Ochem [Thu, 31 Jul 2008 13:26:20 +0000 (15:26 +0200)]
2008-07-31 Quentin Ochem <ochem@adacore.com>
* s-stausa.ad? (Fill_Stack): Stack_Used_When_Filling is now stored
anymore - just used internally.
Added handling of very small tasks - when the theoretical size is
already full at the point of the call.
(Report_Result): Fixed result computation, Stack_Used_When_Filling does
not need to be added to the result.
From-SVN: r138405
Javier Miranda [Thu, 31 Jul 2008 13:25:48 +0000 (15:25 +0200)]
sem_ch4.adb (Valid_First_Argument_Of): Complete its functionality to handle synchronized types.
2008-07-31 Javier Miranda <miranda@adacore.com>
* sem_ch4.adb (Valid_First_Argument_Of): Complete its functionality to
handle synchronized types. Required to handle well the object.operation
notation applied to synchronized types.
From-SVN: r138404
Arnaud Charlet [Thu, 31 Jul 2008 12:49:43 +0000 (12:49 +0000)]
* gnat.dg/specs/sync_iface_test.ads: New test.
From-SVN: r138402