platform/upstream/gcc.git
14 years agotree-inline.c (remap_gimple_op_r): Recurse using remap_gimple_op_r.
Richard Guenther [Wed, 16 Jun 2010 20:28:24 +0000 (20:28 +0000)]
tree-inline.c (remap_gimple_op_r): Recurse using remap_gimple_op_r.

2010-06-16  Richard Guenther  <rguenther@suse.de>

* tree-inline.c (remap_gimple_op_r): Recurse using
remap_gimple_op_r.

From-SVN: r160860

14 years agofix Wnoexcept typo
Jason Merrill [Wed, 16 Jun 2010 20:21:17 +0000 (16:21 -0400)]
fix Wnoexcept typo

From-SVN: r160859

14 years agoThis patch adds the end prologue and begin epilogue markers in Dwarf2
Douglas B Rupp [Wed, 16 Jun 2010 19:40:46 +0000 (19:40 +0000)]
This patch adds the end prologue and begin epilogue markers in Dwarf2
that are needed by the VMS debugger on I64.

* config/ia64/vms.h (ASM_OUTPUT_DWARF_DELTA_UNITS): Remove.
(ASM_OUTPUT_DWARF_VMS_DELTA: Define new macro.
* dbxout.c (gcc_debug_hooks): New entry begin_epilogue.
* debug.c: Likewise.
* sdbout.c: Likewise.
* vmsdbgout.c: Likewise.
* debug.h: Likewise. (dwarf2out_vms_{begin,end}_prologue): Declare.
* doc/tm.texi (ASM_OUTPUT_DWARF_VMS_DELTA): Document.
* dwarf2asm.c (dw2_asm_output_vms_delta): New function.
(ASM_OUTPUT_DWARF_VMS_DELTA): Call it.
* dwarf2asm.h (dw2_asm_output_vms_delta): Declare.
* dwarf2out.c (dw_fde_struct): New fields
dw_fde_vms_{end,begin}_prologue.
(PROLOGUE_END_LABEL, EPILOGUE_BEGIN_LABEL): New macros.
(dwarf2out_begin_prologue): Set dw_fde_struct defaults for above.
(dwarf2out_vms_end_prologue): New function.
(dwarf2out_vms_begin_epilogue): New function.
(dw_val_struct): New value dw_val_class_vms_delta.
(gcc_debug_hooks): New entry begin_epilogue. Set end_prologue,
begin_epilogue for VMS.
(AT_vms_delta1, AT_vms_delta2, add_AT_vms_delta): Declare
new static functions.
(dwarf_attr_name): New cases DW_AT_HP_{prologue,epilogue}.
(AT_vms_delta1, AT_vms_delta2, add_AT_vms_delta): New
static functions.
(print_die): New case dw_val_class_vms_delta.
(attr_checksum): Likewise.
(same_dw_val_p: Likewise.
(size_of_die): Likewise.
(value_format): Likewise.
(output_die): Likewise.
(gen_subprogram_die): Call add_AT_vms_delta on VMS.
(dwarf2out_begin_epilogue): Rename to dwarf2out_cfi_begin_epilogue
* dwarf2out.h (dwarf2out_begin_epilogue): Rename to
dwarf2out_cfi_begin_epilogue
* final.c (final_scan_insn): Likewise. Call begin_epilogue.

From-SVN: r160858

14 years agocris-protos.h (cris_print_operand): Delete.
Nathan Froyd [Wed, 16 Jun 2010 18:10:06 +0000 (18:10 +0000)]
cris-protos.h (cris_print_operand): Delete.

* config/cris/cris-protos.h (cris_print_operand): Delete.
(cris_print_operand_address): Delete.
* config/cris/cris.h (PRINT_OPERAND): Delete.
(PRINT_OPERAND_PUNCT_VALID_P): Delete.
(PRINT_OPERAND_ADDRESS): Delete.
* config/cris/cris.c (cris_print_operand_address): Make static.
(cris_print_operand): Make static.
(cris_print_operand_punct_valid_p): New function.
(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS):
(TARGET_PRINT_OPERAND_ADDRESS): Define.

From-SVN: r160857

14 years agoclass.c (build_vtbl_initializer): Adjust computation of new_position and which entry...
Nathan Froyd [Wed, 16 Jun 2010 18:07:09 +0000 (18:07 +0000)]
class.c (build_vtbl_initializer): Adjust computation of new_position and which entry to add padding for.

* class.c (build_vtbl_initializer): Adjust computation of new_position
and which entry to add padding for.

From-SVN: r160856

14 years agoadd missed ChangeLog for previous commit
Nathan Froyd [Wed, 16 Jun 2010 18:03:50 +0000 (18:03 +0000)]
add missed ChangeLog for previous commit

From-SVN: r160855

14 years agoarm-protos.h (arm_print_operand): Delete.
Nathan Froyd [Wed, 16 Jun 2010 18:02:58 +0000 (18:02 +0000)]
arm-protos.h (arm_print_operand): Delete.

* config/arm/arm-protos.h (arm_print_operand): Delete.
(arm_print_operand_address): Delete.
* config/arm/arm.h (PRINT_OPERAND): Delete.
(PRINT_OPERAND_PUNCT_VALID_P): Delete.
(PRINT_OPERAND_ADDRESS, ARM_PRINT_OPERAND_ADDRESS):
(THUMB_PRINT_OPERAND_ADDRESS): Delete and move code to...
* config/arm/arm.c (arm_print_operand_address): ...here.  New
function.
(arm_print_operand): Make static.
(arm_print_operand_punct_valid_p): New function.
(TARGET_PRINT_OPERAND, TARGET_PRINT_OPERAND_ADDRESS):
(TARGET_PRINT_OPERAND_ADDRESS): Define.

From-SVN: r160854

14 years agoUpdate dependencies.
Arnaud Charlet [Wed, 16 Jun 2010 16:31:41 +0000 (18:31 +0200)]
Update dependencies.

From-SVN: r160850

14 years agoget_scos.adb, [...]: Code clean up, update documentation.
Arnaud Charlet [Wed, 16 Jun 2010 16:30:48 +0000 (16:30 +0000)]
get_scos.adb, [...]: Code clean up, update documentation.

* get_scos.adb, par_sco.adb, par_sco.ads, put_scos.adb, scos.adb,
scos.ads, exp_ch4.adb, sem_warn.adb: Code clean up, update
documentation.

From-SVN: r160849

14 years agoComplete previous change.
Arnaud Charlet [Wed, 16 Jun 2010 16:24:42 +0000 (18:24 +0200)]
Complete previous change.

From-SVN: r160848

14 years ago[multiple changes]
Arnaud Charlet [Wed, 16 Jun 2010 16:22:44 +0000 (18:22 +0200)]
[multiple changes]

2010-06-16  Javier Miranda  <miranda@adacore.com>

* exp_disp.adb (Expand_Dispatching_Call): Adjust the decoration of the
node referenced by the SCIL node of dispatching "=" to skip the tags
comparison.

2010-06-16  Ed Schonberg  <schonberg@adacore.com>

* sem_ch5.adb (Analyze_Exit_Statement): Return if no enclosing loop,
to prevent cascaded errors and compilation aborts.

2010-06-16  Robert Dewar  <dewar@adacore.com>

* back_end.adb (Switch_Subsequently_Cancelled): New function
Move declarations to package body level to support this change
* back_end.ads (Switch_Subsequently_Cancelled): New function
* gnat_ugn.texi: Document -gnat-p switch
* switch-c.adb (Scan_Front_End_Switches): Implement -gnat-p switch
* ug_words: Add entry for -gnat-p (UNSUPPRESS_ALL)
* usage.adb: Add line for -gnat-p switch
* vms_data.ads: Add entry for UNSUPPRESS_ALL (-gnat-p)

2010-06-16  Robert Dewar  <dewar@adacore.com>

* sem_warn.adb (Check_Infinite_Loop_Warning): Declaration counts as
modification.

From-SVN: r160847

14 years agoconstraints.md (NEGint4): New constraint.
Nick Clifton [Wed, 16 Jun 2010 16:04:27 +0000 (16:04 +0000)]
constraints.md (NEGint4): New constraint.

        * config/rx/constraints.md (NEGint4): New constraint.
        * config/rx/rx.md (attr cc): Add set_zsc.
        (cbranchsf4): Only test for -fnon-call-exceptions if cfun has been
        initialised.
        (cmpsf): Likewise.
        (call_internal): Clobber the cc0 register.
        (call_value_internal): Likewise.
        (cstoresi4): Likewise.
        (movsieq): Likewise.
        (movsine): Likewise.
        (addsi3): Add alternative to handle small negative constants.
        (sunsi3): Likewise.
        (addsi3): Do not set the O bit in the cc0 register.
        (adddi3): Likewise.
        (subsi3): Likewise.
        (subdi3): Likewise.
        (andsi3): Reorder alternatives to prefer shorter forms.
        (mulsi3): Likewise.
        (iorsi3): Likewise.
        (negsi2): Note that the cc0 flags are set.
        (rotlsi3): Note that only the Z and S bits are set in cc0.
        (lshrsi3): Likewise.
        (ashlsi3): Likewise.
        (subsf3): Use %Q for the MEM operand.
        (fix_truncsfsi2): Likewise.
        (floatsisf2): Likewise.
        (bitset): Remove early clobber from destination.
        (bitset_in_memory): Likewise.
        (lrintsf2): Clobber the cc0 register.
        * config/rx/rx.c (rx_notice_update_cc):
        Handle CC_SET_ZSC.
        (rx_print_operand): Handle %N.

From-SVN: r160846

14 years ago* df-core.c (df_compact_blocks): Free problem_temps vector.
Jan Hubicka [Wed, 16 Jun 2010 16:00:35 +0000 (18:00 +0200)]
* df-core.c (df_compact_blocks): Free problem_temps vector.

From-SVN: r160845

14 years agoexp_disp.adb: Minor reformatting
Robert Dewar [Wed, 16 Jun 2010 15:53:09 +0000 (17:53 +0200)]
exp_disp.adb: Minor reformatting

2010-06-16  Robert Dewar  <dewar@adacore.com>

* exp_disp.adb: Minor reformatting

From-SVN: r160844

14 years ago[multiple changes]
Arnaud Charlet [Wed, 16 Jun 2010 15:47:23 +0000 (17:47 +0200)]
[multiple changes]

2010-06-16  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Complete_Private_Subtype): Inherit class_wide type from
base type only if it was not previously created for the partial view.

2010-06-16  Thomas Quinot  <quinot@adacore.com>

* tbuild.ads: Minor comment fix

From-SVN: r160843

14 years agoc.opt: Add -Wnoexcept.
Jason Merrill [Wed, 16 Jun 2010 15:45:36 +0000 (11:45 -0400)]
c.opt: Add -Wnoexcept.

* c.opt: Add -Wnoexcept.
* except.c (check_noexcept_r): Return the problematic function.
(finish_noexcept_expr): Give -Wnoexcept warning.  Add complain parm.
* pt.c (tsubst_copy_and_build): Pass it.
* parser.c (cp_parser_unary_expression): Likewise.
* cp-tree.h: Adjust prototype.

From-SVN: r160842

14 years agomethod.c (defaulted_late_check): Give the defaulted method the same exception specifi...
Jason Merrill [Wed, 16 Jun 2010 15:45:22 +0000 (11:45 -0400)]
method.c (defaulted_late_check): Give the defaulted method the same exception specification as the implicit...

* method.c (defaulted_late_check): Give the defaulted method
the same exception specification as the implicit declaration.

From-SVN: r160841

14 years agore PR c/44555 (Pointer evalutions, is that expected ?)
Richard Guenther [Wed, 16 Jun 2010 14:11:03 +0000 (14:11 +0000)]
re PR c/44555 (Pointer evalutions, is that expected ?)

2010-06-16  Richard Guenther  <rguenther@suse.de>

PR c/44555
* c-common.c (c_common_truthvalue_conversion): Remove
premature and wrong optimization concering ADDR_EXPRs.

* gcc.c-torture/execute/pr44555.c: New testcase.

From-SVN: r160836

14 years agore PR fortran/44549 ([OOP][F2008] Type-bound procedure: bogus error from list after...
Janus Weil [Wed, 16 Jun 2010 12:54:54 +0000 (14:54 +0200)]
re PR fortran/44549 ([OOP][F2008] Type-bound procedure: bogus error from list after PROCEDURE)

2010-06-16  Janus Weil  <janus@gcc.gnu.org>

PR fortran/44549
* gfortran.h (gfc_get_typebound_proc): Modified Prototype.
* decl.c (match_procedure_in_type): Give a unique gfc_typebound_proc
structure to each procedure in a procedure list.
* module.c (mio_typebound_proc): Add NULL argument to
'gfc_get_typebound_proc'.
* symbol.c (gfc_get_typebound_proc): Add a new argument, which is used
to initialize the new structure.

2010-06-16  Janus Weil  <janus@gcc.gnu.org>

PR fortran/44549
* gfortran.dg/typebound_proc_16.f03: New.

From-SVN: r160834

14 years agostl_construct.h (_Construct): Change to variadic in C++0x mode, consistently with...
Paolo Carlini [Wed, 16 Jun 2010 12:26:24 +0000 (12:26 +0000)]
stl_construct.h (_Construct): Change to variadic in C++0x mode, consistently with allocator::construct.

2010-06-16  Paolo Carlini  <paolo.carlini@oracle.com>

* include/bits/stl_construct.h (_Construct): Change to variadic in
C++0x mode, consistently with allocator::construct.
* include/bits/stl_uninitialized.h (__uninitialized_copy_n): Use
_Construct.
(__uninitialized_construct_range): Move to...
* include/bits/stl_tempbuf.h (__uninitialized_construct_buf): ... here.

From-SVN: r160833

14 years agore PR tree-optimization/43905 (duplicate __PRETTY_FUNCTION__ symbol for functions...
Martin Jambor [Wed, 16 Jun 2010 12:21:56 +0000 (14:21 +0200)]
re PR tree-optimization/43905 (duplicate __PRETTY_FUNCTION__ symbol for functions differing in const-ness)

2010-06-16  Martin Jambor  <mjambor@suse.cz>

PR tree-optimization/43905
* tree-sra.c: Include tree-inline.h.
(create_abstract_origin): Removed.
(modify_function): Version the call graph node instead of creating
abstract origins and dealing with same_body aliases.
* tree-sra.c (ipa_sra_preliminary_function_checks): Check whether the
function is versionable.
* Makefile.in (tree-sra.o): Add TREE_INLINE_H to dependencies.

* testsuite/g++.dg/torture/pr43905.C: New test.

From-SVN: r160832

14 years agore PR testsuite/44538 (PR43949 fix caused gcc.dg/vect/slp-perm-{5,6}.c to fail)
Mikael Pettersson [Wed, 16 Jun 2010 11:04:08 +0000 (13:04 +0200)]
re PR testsuite/44538 (PR43949 fix caused gcc.dg/vect/slp-perm-{5,6}.c to fail)

2010-06-16  Mikael Pettersson  <mikpe@it.uu.se>

PR testsuite/44538
* gcc.dg/vect/slp-perm-5.c (main): Prevent
initialization loop from being vectorized.
* gcc.dg/vect/slp-perm-6.c (main): Likewise.

From-SVN: r160827

14 years agolinux64.h (BIONIC_DYNAMIC_LINKERN32): Define.
Maxim Kuvyrkov [Wed, 16 Jun 2010 08:08:18 +0000 (08:08 +0000)]
linux64.h (BIONIC_DYNAMIC_LINKERN32): Define.

* config/mips/linux64.h (BIONIC_DYNAMIC_LINKERN32): Define.
(CHOOSE_DYNAMIC_LINKER): Update.

From-SVN: r160824

14 years agocompatibility.cc: Export long double versions of "C" math library for arm-linux-gnuea...
Matthias Klose [Wed, 16 Jun 2010 06:02:37 +0000 (06:02 +0000)]
compatibility.cc: Export long double versions of "C" math library for arm-linux-gnueabi...

2010-06-16  Matthias Klose  <doko@ubuntu.com>

        * src/compatibility.cc: Export long double versions of "C" math
        library for arm-linux-gnueabi, m68k-linux-gnu (ColdFire),
        mips*-linux-gnu (o32 ABI), sh*-linux-gnu (32 bit).

From-SVN: r160823

14 years agore PR tree-optimization/44507 (vectorization ANDs array elements together incorrectly)
Alan Modra [Wed, 16 Jun 2010 04:22:36 +0000 (13:52 +0930)]
re PR tree-optimization/44507 (vectorization ANDs array elements together incorrectly)

PR tree-optimization/44507
* gcc.dg/vect/pr44507.c (seeIf256ByteArrayIsConstant): Correct cast.

From-SVN: r160821

14 years agotrans.c (gnu_stack_free_list): Delete.
Nathan Froyd [Wed, 16 Jun 2010 03:46:12 +0000 (03:46 +0000)]
trans.c (gnu_stack_free_list): Delete.

* gcc-interface/trans.c (gnu_stack_free_list): Delete.
(gnu_except_ptr_stack): Change type to VEC.  Update comment.
(gnu_elab_proc_stack): Likewise.
(gnu_return_label_stack): Likewise.
(gnu_loop_label_stack): Likewise.
(gnu_switch_label_stack): Likewise.
(gnu_constraint_label_stack): Likewise.
(gnu_storage_error_label_stack): Likewise.
(gnu_program_error_label_stack): Likewise.
(push_exception_label_stack): Take a VEC ** instead of a tree *.
(push_stack): Likewise.  Remove unused second parameter.  Update
callers.
(pop_stack): Take a VEC * instead of a tree *.  Update callers.
(gigi): Initialize stacks as VECs.
(Identifier_to_gnu): Use VEC_last instead of TREE_VALUE.
(Case_Statement_to_gnu): Likewise.
(Subprogram_Body_to_gnu): Likewise.
(call_to_gnu): Likewise.
(Exception_Handler_to_gnu_sjlj): Likewise.
(gnat_to_gnu): Likewise.
(get_exception_label): Likewise.

From-SVN: r160820

14 years agoDaily bump.
GCC Administrator [Wed, 16 Jun 2010 00:17:36 +0000 (00:17 +0000)]
Daily bump.

From-SVN: r160818

14 years agoarg3.C: Adjust error locations.
Jason Merrill [Tue, 15 Jun 2010 21:45:49 +0000 (17:45 -0400)]
arg3.C: Adjust error locations.

* g++.dg/overload/arg3.C: Adjust error locations.
* g++.dg/overload/copy1.C: Likewise.
* g++.dg/tc1/dr152.C: Likewise.
* g++.dg/template/incomplete4.C: Likewise.
* g++.dg/template/incomplete5.C: Likewise.
* g++.old-deja/g++.bob/inherit2.C: Likewise.
* g++.old-deja/g++.pt/auto_ptr.C: Likewise.
* g++.old-deja/g++.pt/crash9.C: Likewise.

From-SVN: r160814

14 years agoi386.c (*prefetch_sse_<mode>): Macroize insn from *prefetch_sse and *prefetch_sse_rex...
Uros Bizjak [Tue, 15 Jun 2010 21:14:48 +0000 (23:14 +0200)]
i386.c (*prefetch_sse_<mode>): Macroize insn from *prefetch_sse and *prefetch_sse_rex using P mode iterator.

* config/i386/i386.c (*prefetch_sse_<mode>):  Macroize insn from
*prefetch_sse and *prefetch_sse_rex using P mode iterator.
(*prefetch_3dnow_<mode>): Ditto from *prefetch_3dnow and
*prefetch_3dnow_rex.

From-SVN: r160813

14 years agolibstdc++.exp: Set additional_prunes.
Jason Merrill [Tue, 15 Jun 2010 21:05:22 +0000 (17:05 -0400)]
libstdc++.exp: Set additional_prunes.

* testsuite/lib/libstdc++.exp: Set additional_prunes.
(libstdc++-dg-test): Don't prune here.
* testsuite/lib/prune.exp (dg-prune-output): New.
(libstdc++-dg-prune): Rename from prune_g++_output.
Add a bunch of prunes from gcc's prune.exp.

From-SVN: r160812

14 years ago* target.h (struct asm_out):Add declare_constant_name field.
Anatoly Sokolov [Tue, 15 Jun 2010 21:01:57 +0000 (01:01 +0400)]
* target.h (struct asm_out):Add declare_constant_name field.

* target-def.h (TARGET_ASM_DECLARE_CONSTANT_NAME): Define.
(TARGET_INITIALIZER): Use TARGET_ASM_DECLARE_CONSTANT_NAME.
* output.h (default_asm_declare_constant_name): Declare.
(assemble_label): Update prototype.
* varasm.c (assemble_constant_contents): Use
targetm.asm_out.declare_constant_name target hook.
(assemble_label): Add 'file' argument.
(default_asm_declare_constant_name): New function.
* system.h (ASM_DECLARE_CONSTANT_NAME): Poison.
* doc/tm.texi (ASM_DECLARE_CONSTANT_NAME): Remove.
(TARGET_ASM_DECLARE_CONSTANT_NAME): Document it.

* config/darwin-protos.h (darwin_asm_declare_constant_name): Declare.
* config/darwin.c (darwin_asm_declare_constant_name): New function.
(machopic_output_indirection): Update assemble_label argument list.
* config/darwin.h (ASM_DECLARE_CONSTANT_NAME): Remove.
(TARGET_ASM_DECLARE_CONSTANT_NAME): Define.

From-SVN: r160811

14 years agoclass.c (add_implicitly_declared_members): Implicit assignment operators can also...
Jason Merrill [Tue, 15 Jun 2010 20:11:00 +0000 (16:11 -0400)]
class.c (add_implicitly_declared_members): Implicit assignment operators can also be virtual overriders.

* class.c (add_implicitly_declared_members): Implicit assignment
operators can also be virtual overriders.
* method.c (lazily_declare_fn): Likewise.

From-SVN: r160810

14 years agocall.c (convert_like_real): Give "initializing argument of" information for ambiguous...
Jason Merrill [Tue, 15 Jun 2010 20:10:42 +0000 (16:10 -0400)]
call.c (convert_like_real): Give "initializing argument of" information for ambiguous conversion.

* call.c (convert_like_real): Give "initializing argument of"
information for ambiguous conversion.  Give source position
of function.

From-SVN: r160809

14 years agocall.c (print_z_candidates): Do print viable deleted candidates.
Jason Merrill [Tue, 15 Jun 2010 20:10:29 +0000 (16:10 -0400)]
call.c (print_z_candidates): Do print viable deleted candidates.

* call.c (print_z_candidates): Do print viable deleted candidates.
(joust): Don't choose a deleted function just because its worst
conversion is better than another candidate's worst.

From-SVN: r160808

14 years agocall.c (convert_like_real): Don't complain about list-value-initialization from an...
Jason Merrill [Tue, 15 Jun 2010 19:59:02 +0000 (15:59 -0400)]
call.c (convert_like_real): Don't complain about list-value-initialization from an explicit constructor.

* call.c (convert_like_real): Don't complain about
list-value-initialization from an explicit constructor.

From-SVN: r160807

14 years agodecl.c (duplicate_decls): Use DECL_IS_BUILTIN rather than test DECL_SOURCE_LOCATION...
Jason Merrill [Tue, 15 Jun 2010 19:58:54 +0000 (15:58 -0400)]
decl.c (duplicate_decls): Use DECL_IS_BUILTIN rather than test DECL_SOURCE_LOCATION directly.

* decl.c (duplicate_decls): Use DECL_IS_BUILTIN rather than test
DECL_SOURCE_LOCATION directly.

From-SVN: r160806

14 years agoclass.c (type_has_user_provided_default_constructor): Use sufficient_parms_p.
Jason Merrill [Tue, 15 Jun 2010 19:58:45 +0000 (15:58 -0400)]
class.c (type_has_user_provided_default_constructor): Use sufficient_parms_p.

* class.c (type_has_user_provided_default_constructor): Use
sufficient_parms_p.

From-SVN: r160805

14 years agocall.c (is_subseq): Handle ck_aggr, ck_list.
Jason Merrill [Tue, 15 Jun 2010 19:58:35 +0000 (15:58 -0400)]
call.c (is_subseq): Handle ck_aggr, ck_list.

* call.c (is_subseq): Handle ck_aggr, ck_list.
(compare_ics): Treat an aggregate or ambiguous conversion to the
same type as involving the same function.

From-SVN: r160804

14 years agoFix PR44391: use size_one_node for pointer types.
Sebastian Pop [Tue, 15 Jun 2010 19:11:59 +0000 (19:11 +0000)]
Fix PR44391: use size_one_node for pointer types.

2010-06-15  Sebastian Pop  <sebastian.pop@amd.com>

PR middle-end/44391
* graphite-clast-to-gimple.c (graphite_create_new_loop_guard): Use
size_one_node for pointer types.  Do not call gmp_cst_to_tree.

* gcc.dg/graphite/pr44391.c: New.

From-SVN: r160803

14 years agore PR fortran/43388 ([F2008][OOP] ALLOCATE with MOLD=)
Janus Weil [Tue, 15 Jun 2010 18:33:58 +0000 (20:33 +0200)]
re PR fortran/43388 ([F2008][OOP] ALLOCATE with MOLD=)

2010-06-15  Janus Weil  <janus@gcc.gnu.org>

PR fortran/43388
* gfortran.h (gfc_expr): Add new member 'mold'.
* match.c (gfc_match_allocate): Implement the MOLD tag.
* resolve.c (resolve_allocate_expr): Ditto.
* trans-stmt.c (gfc_trans_allocate): Ditto.

2010-06-15  Janus Weil  <janus@gcc.gnu.org>

PR fortran/43388
* gfortran.dg/allocate_alloc_opt_8.f90: New.
* gfortran.dg/allocate_alloc_opt_9.f90: New.
* gfortran.dg/allocate_alloc_opt_10.f90: New.
* gfortran.dg/class_allocate_2.f03: Modified an error message.

From-SVN: r160801

14 years agoFix nits
Eric Botcazou [Tue, 15 Jun 2010 17:10:34 +0000 (17:10 +0000)]
Fix nits

From-SVN: r160799

14 years agotree-ssa-pre.c (eliminate): Handle PHI elimination to constants.
Richard Guenther [Tue, 15 Jun 2010 15:37:50 +0000 (15:37 +0000)]
tree-ssa-pre.c (eliminate): Handle PHI elimination to constants.

2010-06-15  Richard Guenther  <rguenther@suse.de>

* tree-ssa-pre.c (eliminate): Handle PHI elimination to constants.

* gcc.dg/tree-ssa/ssa-sccvn-4.c: Adjust.

From-SVN: r160793

14 years agoconfigure.ac (*-*-solaris2.8*): Only usr alternate thread library on Solaris 8.
Rainer Orth [Tue, 15 Jun 2010 13:51:07 +0000 (13:51 +0000)]
configure.ac (*-*-solaris2.8*): Only usr alternate thread library on Solaris 8.

* configure.ac (*-*-solaris2.8*): Only usr alternate thread
library on Solaris 8.
(*-*-solaris2*): Use regular thread library otherwise.
* configure: Regenerate.

From-SVN: r160787

14 years agobb-slp-21.c: Adjust.
Richard Guenther [Tue, 15 Jun 2010 13:51:02 +0000 (13:51 +0000)]
bb-slp-21.c: Adjust.

2010-06-15  Richard Guenther  <rguenther@suse.de>

* gcc.dg/vect/bb-slp-21.c: Adjust.
* gcc.dg/vect/bb-slp-13.c: Likewise
* gcc.dg/vect/bb-slp-4.c: Likewise
* gcc.dg/vect/bb-slp-22.c: Likewise
* gcc.dg/vect/bb-slp-14.c: Likewise
* gcc.dg/vect/bb-slp-23.c: Likewise
* gcc.dg/vect/bb-slp-15.c: Likewise
* gcc.dg/vect/bb-slp-17.c: Likewise
* gcc.dg/vect/bb-slp-18.c: Likewise
* gcc.dg/vect/bb-slp-19.c: Likewise
* gcc.dg/vect/bb-slp-10.c: Likewise
* gcc.dg/vect/bb-slp-11.c: Likewise
* gcc.dg/vect/bb-slp-20.c: Likewise
* gcc.dg/vect/bb-slp-3.c: Likewise

From-SVN: r160786

14 years agoarm.c (use_vfp_abi): Add sorry() for Thumb-1 hard-float ABI.
Paul Brook [Tue, 15 Jun 2010 13:44:51 +0000 (13:44 +0000)]
arm.c (use_vfp_abi): Add sorry() for Thumb-1 hard-float ABI.

2010-06-15  Paul Brook  <paul@codesourcery.com>

gcc/
* config/arm/arm.c (use_vfp_abi): Add sorry() for Thumb-1
hard-float ABI.

From-SVN: r160785

14 years agoc-ada-spec.c (dump_sloc): Remove column info.
Arnaud Charlet [Tue, 15 Jun 2010 12:22:09 +0000 (12:22 +0000)]
c-ada-spec.c (dump_sloc): Remove column info.

* c-ada-spec.c (dump_sloc): Remove column info.
(is_simple_enum): New function.
(dump_generic_ada_node, print_ada_declaration): Map C enum types to Ada
enum types when relevant.

From-SVN: r160782

14 years agotree-vect-patterns.c (vect_pattern_recog_1): Bail out if we don't get a vector type...
Alexandre Oliva [Tue, 15 Jun 2010 12:21:35 +0000 (12:21 +0000)]
tree-vect-patterns.c (vect_pattern_recog_1): Bail out if we don't get a vector type for output.

* tree-vect-patterns.c (vect_pattern_recog_1): Bail out if we
don't get a vector type for output.

From-SVN: r160781

14 years agore PR fortran/44536 (OMP: missing error with default(none))
Jakub Jelinek [Tue, 15 Jun 2010 12:15:26 +0000 (14:15 +0200)]
re PR fortran/44536 (OMP: missing error with default(none))

PR fortran/44536
* langhooks.h (struct lang_hooks_for_decls): Add omp_report_decl.
* langhooks-def.h (LANG_HOOKS_OMP_REPORT_DECL): Define.
(LANG_HOOKS_DECLS): Add it.
* gimplify.c (omp_notice_variable): Call
lang_hooks.decls.omp_report_decl.

* trans-openmp.c (gfc_omp_predetermined_sharing): Don't return
OMP_CLAUSE_DEFAULT_SHARED for artificial vars with
GFC_DECL_SAVED_DESCRIPTOR set.
(gfc_omp_report_decl): New function.
* trans.h (gfc_omp_report_decl): New prototype.
* f95-lang.c (LANG_HOOKS_OMP_REPORT_DECL): Redefine.

* gfortran.dg/gomp/pr44536.f90: New test.
* gfortran.dg/gomp/sharing-3.f90: Remove xfail.

From-SVN: r160779

14 years agore PR lto/44464 (ICE during linux kernel whopr build)
Martin Jambor [Tue, 15 Jun 2010 11:09:12 +0000 (13:09 +0200)]
re PR lto/44464 (ICE during linux kernel whopr build)

2010-06-15  Martin Jambor  <mjambor@suse.cz>

PR lto/44464
* tree-sra.c (replace_removed_params_ssa_names): Call release_ssa_name
on the newly dead SSA name.

From-SVN: r160777

14 years agogcc_update: Support updating a git clone.
Bernhard Reutner-Fischer [Tue, 15 Jun 2010 08:35:25 +0000 (10:35 +0200)]
gcc_update: Support updating a git clone.

2010-06-15  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>

* gcc_update: Support updating a git clone.

From-SVN: r160774

14 years agoinvoke.texi: Add mcmodel to powerpc options.
Alan Modra [Tue, 15 Jun 2010 07:33:43 +0000 (17:03 +0930)]
invoke.texi: Add mcmodel to powerpc options.

* doc/invoke.texi: Add mcmodel to powerpc options.
* configure.ac: Add HAVE_LD_LARGE_TOC test.
* configure: Regenerate.
* config.in: Regenerate.
* config/rs6000/linux64.opt (mcmodel): New.
* config/rs6000/linux64.h (TARGET_USES_LINUX64_OPT): Define.
(TARGET_CMODEL): Define.
(SUBSUBTARGET_OVERRIDE_OPTIONS): Check user -mcmodel choice,
select CMODEL_MEDIUM default.
* config/rs6000/rs6000.h (enum rs6000_cmodel): New.
(TARGET_CMODEL): Define default.
* config/rs6000/rs6000.c (cmodel): New variable.
(rs6000_explicit_options): Add cmodel field.
(rs6000_handle_option): Handle -mcmodel.
(create_TOC_reference): Add largetoc_reg param.  Generate high,
lo_sum rtl for CMODEL_MEDIUM and CMODEL_LARGE.  Update all callers.
(rs6000_delegitimize_address): Recognise new toc reference rtl
and minimal-toc rtl.
(rs6000_legitimize_reload_address): Handle new toc references.
(print_operand_address): Handle legitimate_constant_pool_address_p
match before lo_sum.
(rs6000_eliminate_indexed_memrefs): Tidy.
(rs6000_emit_move): Tweak threshold for inlining constants.
Keep rs6000_emit_allocate_stack large stack frame offsets
loaded into r0 inline.
(rs6000_generate_compare <cmptf_internal2>): One more clobber.
(tocrel_base, tocrel_offset): New variables.
(toc_relative_expr_p): Set them here.
(print_operand_address): Skip over any offset on constant pool
address.
(rs6000_output_addr_const_extra): Print tocrel_offset before @toc.
(rs6000_mode_dependent_address <LO_SUM>): False for new toc refs.
(offsettable_ok_by_alignment): New function.
(rs6000_emit_move): Address suitably aligned local symbol_refs
relative to the toc pointer for -mcmodel=medium.
(legitimate_constant_pool_address_p): Make param const_rtx.  Add
strict param.  Allow lo_sum version of addressing.  Verify reg
used for -mminimal-toc and -mcmodel != small.  Update all callers.
* config/rs6000/constraints.md: Update for above change.
* config/rs6000/predicates.md: Likewise.
* config/rs6000/rs6000.md (tls_gd_aix): Generate -mcmodel=medium/large
code.
(tls_gd): Split for -mcmodel=medium/large.
(tls_gd_high, tls_gd_low): New.
(tls_ld_aix, tls_ld, tls_ld_high, tls_ld_low): Similarly.
(tls_got_dtprel, tls_got_dtprel_high, tls_got_dtprel_low): Similarly.
(tls_got_tprel, tls_got_tprel_high, tls_got_tprel_low): Similarly.
(largetoc_high, largetoc_low): New.
(cmptf_internal2): Add clobber.
* config/rs6000/rs6000-protos.h: Update.

From-SVN: r160773

14 years agoDaily bump.
GCC Administrator [Tue, 15 Jun 2010 00:17:11 +0000 (00:17 +0000)]
Daily bump.

From-SVN: r160770

14 years agoAccount prefetch_mod and unroll_factor for the computation of the prefetch count.
Changpeng Fang [Mon, 14 Jun 2010 20:51:26 +0000 (20:51 +0000)]
Account prefetch_mod and unroll_factor for the computation of the prefetch count.

2010-06-14  Changpeng Fang  <changpeng.fang@amd.com>

* tree-ssa-loop-prefetch.c (nothing_to_prefetch_p): New.  Return
true if no prefetch is going to be generated for a given group.
(estimate_prefetch_count): Use prefetch_mod and unroll_factor to
estimate the prefetch_count.
(loop_prefetch_arrays): Call nothing_to_prefetch_p; estimate the
prefetch count by considering the unroll_factor and prefetch_mod
for is_loop_prefetching_profitable.

From-SVN: r160766

14 years agom68k.c (m68k_delegitimize_address): Don't do anything if the argument is not a MEM.
Andreas Schwab [Mon, 14 Jun 2010 20:00:21 +0000 (20:00 +0000)]
m68k.c (m68k_delegitimize_address): Don't do anything if the argument is not a MEM.

* config/m68k/m68k.c (m68k_delegitimize_address): Don't do
anything if the argument is not a MEM.

From-SVN: r160763

14 years agore PR debug/43650 ("-fcompare-debug failure" with "-O2 -fpeel-loops -fgraphite-identity")
Alexandre Oliva [Mon, 14 Jun 2010 19:18:18 +0000 (19:18 +0000)]
re PR debug/43650 ("-fcompare-debug failure" with "-O2 -fpeel-loops -fgraphite-identity")

PR debug/43650
PR debug/44181
PR debug/44247
* tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Skip
debug stmts.
(canonicalize_loop_ivs): Likewise.

From-SVN: r160762

14 years agore PR debug/43656 ("-fcompare-debug failure" with "-O2 -fschedule-insns -fsched-press...
Alexandre Oliva [Mon, 14 Jun 2010 19:18:04 +0000 (19:18 +0000)]
re PR debug/43656 ("-fcompare-debug failure" with "-O2 -fschedule-insns -fsched-pressure -funroll-loops -fgraphite-identity")

PR debug/43656
* haifa-sched.c (setup_insn_reg_pressure_info,
update_register_pressure): Reject debug insns.
(ready_sort): Don't setup reg pressure for debug insns.
(schedule_insn): Don't update reg pressure for debug insns.

From-SVN: r160761

14 years agolto-streamer.c (cached_bp): Remove.
Richard Guenther [Mon, 14 Jun 2010 18:54:17 +0000 (18:54 +0000)]
lto-streamer.c (cached_bp): Remove.

2010-06-14  Richard Guenther  <rguenther@suse.de>

* lto-streamer.c (cached_bp): Remove.
(bitpack_delete): Likewise.
(bitpack_create): Likewise.
(bp_get_next_word): Likewise.
(bp_pack_value, bp_unpack_value): Move ...
* lto-streamer.h (bp_pack_value, bp_unpack_value): ... here.
Re-implement.
(struct bitpack_d): Likewise.
(bitpack_create, lto_output_bitpack, lto_input_bitpack):
New inline functions.
* lto-streamer-out.c (lto_output_bitpack): Remove.
(pack_ts_base_value_fields): Adjust.  Avoid conditional
bitpacking.
(pack_value_fields): Adjust.
(lto_write_tree): Likewise.
(output_gimple_stmt): Likewise.
(output_function): Likewise.
* lto-streamer-in.c (input_gimple_stmt): Adjust.
(input_function): Likewise.
(unpack_ts_base_value_fields): Adjust.  Avoid conditional
bitpacking.
(lto_input_bitpack): Remove.
(lto_materialize_tree): Adjust.
* Makefile.in (ipa-prop.o): Add $(LTO_STREAMER_H) dependency.
* lto-cgraph.c (lto_output_edge): Adjust.
(lto_output_node): Likewise.
(lto_output_varpool_node): Likewise.
(lto_output_ref): Likewise.
(input_node): Likewise.
(input_varpool_node): Likewise.
(input_ref): Likewise.
(input_edge): Likewise.
(output_node_opt_summary): Likewise.
(input_node_opt_summary): Likewise.
* ipa-pure-const.c (pure_const_write_summary): Likewise.
(pure_const_read_summary): Likewise.
* ipa-prop.c (ipa_write_indirect_edge_info): Likewise.
(ipa_read_indirect_edge_info): Likewise.
(ipa_write_node_info): Likewise.
(ipa_read_node_info): Likewise.

From-SVN: r160760

14 years agoReplace 0x1 with 0x0 in AVX vec_extract_lo_* patterns.
H.J. Lu [Mon, 14 Jun 2010 17:44:29 +0000 (17:44 +0000)]
Replace 0x1 with 0x0 in AVX vec_extract_lo_* patterns.

gcc/

2010-06-14  H.J. Lu  <hongjiu.lu@intel.com>

PR target/44534
* config/i386/sse.md (vec_extract_lo_<mode>): Replace 0x1 with
0x0.
(vec_extract_lo_v16hi): Likewise.
(vec_extract_lo_v32qi): Likewise.

gcc/testsuite/

2010-06-14  H.J. Lu  <hongjiu.lu@intel.com>

PR target/44534
* gcc.target/i386/avx-vextractf128-256-3.c: New.
* gcc.target/i386/avx-vextractf128-256-4.c: Likewise.

From-SVN: r160756

14 years agore PR bootstrap/44426 (gcc 4.5.0 requires c9x compiler to build)
Jakub Jelinek [Mon, 14 Jun 2010 15:53:38 +0000 (17:53 +0200)]
re PR bootstrap/44426 (gcc 4.5.0 requires c9x compiler to build)

PR bootstrap/44426
* tree.h (build_call_expr): Don't define as vararg macro, instead
add a prototype.
* builtins.c (build_call_nofold): Remove.
(expand_builtin_int_roundingfn, expand_builtin_pow,
expand_builtin_mempcpy_args, expand_builtin_stpcpy,
expand_builtin_memset_args, expand_builtin_strcmp,
expand_builtin_strncmp, expand_builtin_memory_chk): Use
build_call_nofold_loc instead of build_call_nofold.
(build_call_expr): New function.

From-SVN: r160754

14 years agore PR tree-optimization/44508 (libgomp.fortran/vla1.f90 ICE on s390)
Jakub Jelinek [Mon, 14 Jun 2010 15:19:04 +0000 (17:19 +0200)]
re PR tree-optimization/44508 (libgomp.fortran/vla1.f90 ICE on s390)

PR tree-optimization/44508
* tree-ssa-propagate.h (substitute_and_fold): Add DO_DCE
argument.
* tree-ssa-propagate.c (substitute_and_fold): If !DO_DCE,
don't eliminate trivially dead stmts.
* tree-vrp.c (vrp_finalize): Pass false as last argument
to substitute_and_fold.
* tree-ssa-copy.c (fini_copy_prop): Pass true as last argument
to substitute_and_fold.
* tree-ssa-ccp.c (ccp_finalize): Likewise.

* gcc.dg/tree-ssa/pr21086.c: Adjust.

From-SVN: r160749

14 years agosem_ch3.adb (Build_Derived_Record_Type): if derived type is an anonymous base generat...
Ed Schonberg [Mon, 14 Jun 2010 15:04:40 +0000 (15:04 +0000)]
sem_ch3.adb (Build_Derived_Record_Type): if derived type is an anonymous base generated when...

2010-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Build_Derived_Record_Type): if derived type is an
anonymous base generated when the parent is a constrained discriminated
type, propagate interface list to first subtype because it may appear
in a current instance within the extension part of the derived type
declaration, and its own subtype declaration has not been elaborated
yet.
* exp_disp.adb (Build_Interface_Thunk): Use base type of formal to
determine whether it has the controlling type.

From-SVN: r160748

14 years agoexp_ch11.adb (Expand_N_Raise_Statement): Make sure that the explicit raise of CE...
Jerome Lambourg [Mon, 14 Jun 2010 15:01:29 +0000 (15:01 +0000)]
exp_ch11.adb (Expand_N_Raise_Statement): Make sure that the explicit raise of CE...

2010-06-14  Jerome Lambourg  <lambourg@adacore.com>

* exp_ch11.adb (Expand_N_Raise_Statement): Make sure that the explicit
raise of CE, SE and PE have the reason correctly set and are properly
expanded before stopping the expansions of .NET/JVM exceptions.

From-SVN: r160747

14 years agoRevert change introduced by mistake in previous change.
Arnaud Charlet [Mon, 14 Jun 2010 13:59:09 +0000 (15:59 +0200)]
Revert change introduced by mistake in previous change.

From-SVN: r160745

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 13:46:36 +0000 (15:46 +0200)]
[multiple changes]

2010-06-14  Robert Dewar  <dewar@adacore.com>

* opt.ads (Check_Policy_List): Add some clarifying comments
* sem_prag.adb (Analyze_Pragma, case Check): Set Pragma_Enabled flag
on rewritten Assert pragma.

2010-06-14  Gary Dismukes  <dismukes@adacore.com>

* sem_ch6.adb (Check_Overriding_Indicator): Add a special check for
controlled operations, so that they will be treated as overriding even
if the overridden subprogram is marked Is_Hidden, as long as the
overridden subprogram's parent subprogram is not hidden.

2010-06-14  Robert Dewar  <dewar@adacore.com>

* debug.adb: Entry for gnatw.d no longer specific for while loops
* einfo.adb (First_Exit_Statement): New attribute for E_Loop
* einfo.ads (First_Exit_Statement): New attribute for E_Loop
* sem_ch5.adb (Analyze_Loop_Statement): Check_Infinite_Loop_Warning has
new calling sequence to include test for EXIT WHEN.
(Analyze_Exit_Statement): Chain EXIT statement into exit statement chain
* sem_warn.ads, sem_warn.adb (Check_Infinite_Loop_Warning): Now handles
EXIT WHEN case.
* sinfo.adb (Next_Exit_Statement): New attribute of N_Exit_Statement
node.
* sinfo.ads (N_Pragma): Correct comment on Sloc field (points to
PRAGMA, not to pragma identifier).
(Next_Exit_Statement): New attribute of N_Exit_Statement node

2010-06-14  Robert Dewar  <dewar@adacore.com>

* sem_res.adb (Resolve_Short_Circuit): Fix sloc of "assertion/check
would fail" msg.

2010-06-14  Robert Dewar  <dewar@adacore.com>

* par-ch2.adb (Scan_Pragma_Argument_Association): Clarify message for
missing pragma argument identifier.

2010-06-14  Robert Dewar  <dewar@adacore.com>

* atree.ads, atree.adb (Ekind_In): New functions

2010-06-14  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Op_Expon): Optimize 2**N in stand alone context

2010-06-14  Robert Dewar  <dewar@adacore.com>

* usage.adb (Usage): Redo documentation of -gnatwa.

From-SVN: r160743

14 years agosem_ch8.adb (Find_Type): The attribute 'class cannot be applied to an untagged incomp...
Ed Schonberg [Mon, 14 Jun 2010 13:36:42 +0000 (13:36 +0000)]
sem_ch8.adb (Find_Type): The attribute 'class cannot be applied to an untagged incomplete type that is a...

2010-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Find_Type): The attribute 'class cannot be applied to
an untagged incomplete type that is a limited view.

From-SVN: r160741

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 13:32:14 +0000 (15:32 +0200)]
[multiple changes]

2010-06-14  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Add description of '-cargs gcc_switches' to gnatstub
and gnatppa.

2010-06-14  Thomas Quinot  <quinot@adacore.com>

* exp_ch4.adb (Expand_Short_Circuit_Operator): New subprogram,
factoring duplicated code between...
(Expand_N_And_Than, Expand_N_Or_Else): Remove duplicated code.
* a-envvar.ads: Minor reformatting

2010-06-14  Arnaud Charlet  <charlet@adacore.com>

* ali.adb, ali.ads, lib-xref.ads: Document new '+' letter for C/C++
static entities.
(Scan_ALI): Take into account new Visibility field.
(Visibility_Kind): New type.
(Xref_Entity_Record): Replace Lib field by Visibility.

* gcc-interface/Make-lang.in: Update dependencies.

2010-06-14  Pascal Obry  <obry@adacore.com>

* raise.h: Remove unused defintions.

2010-06-14  Bob Duff  <duff@adacore.com>

* par-ch10.adb (P_Subunit): If the next token after "separate(X)" is
Tok_Not or Tok_Overriding, call P_Subprogram. We had previously given
the incorrect error "proper body expected".
* par-ch6.adb (P_Subprogram): Suppress "overriding indicator not
allowed here" error in case of subunits, which was triggered by the
above change to P_Subunit.

From-SVN: r160740

14 years agognat_ugn.texi, [...]: Update gnatelim doc.
Sergey Rybin [Mon, 14 Jun 2010 13:27:18 +0000 (13:27 +0000)]
gnat_ugn.texi, [...]: Update gnatelim doc.

2010-06-14  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi, vms_data.ads: Update gnatelim doc.

From-SVN: r160739

14 years agolib-util.adb: Minor code reorganization.
Thomas Quinot [Mon, 14 Jun 2010 13:09:06 +0000 (13:09 +0000)]
lib-util.adb: Minor code reorganization.

2010-06-14  Thomas Quinot  <quinot@adacore.com>

* lib-util.adb: Minor code reorganization.

From-SVN: r160738

14 years agoali.adb (Scan_ALI): Implement reading and storing of N lines
Robert Dewar [Mon, 14 Jun 2010 13:01:07 +0000 (13:01 +0000)]
ali.adb (Scan_ALI): Implement reading and storing of N lines

2010-06-14  Robert Dewar  <dewar@adacore.com>

* ali.adb (Scan_ALI): Implement reading and storing of N lines
(Known_ALI_Lines): Add entry for 'N' (notes)
* ali.ads (Notes): New table to store Notes information
* alloc.ads: Add entries for Notes table
* lib-util.adb (Write_Info_Int): New procedure
(Write_Info_Slit): New procedure
(Write_Info_Uint): New procedure
* lib-util.ads (Write_Info_Int): New procedure
(Write_Info_Slit): New procedure
(Write_Info_Uint): New procedure
* lib-writ.adb (Write_Unit_Information): Output N (notes) lines
* lib-writ.ads: Update documentation for N (Notes) lines
* lib.adb (Store_Note): New procedure
* lib.ads (Notes): New table
(Store_Note): New procedure
* sem_prag.adb: Call Store_Note for affected pragmas

From-SVN: r160736

14 years agosocket.c: Fix wrong condition in #ifdef
Thomas Quinot [Mon, 14 Jun 2010 12:56:35 +0000 (12:56 +0000)]
socket.c: Fix wrong condition in #ifdef

2010-06-14  Thomas Quinot  <quinot@adacore.com>

* socket.c: Fix wrong condition in #ifdef
* g-socket.adb, g-sothco.ads: Functions imported from socket.c that
take or return char* values can't use Interfaces.C.Strings.chars_ptr,
because on VMS this type is a 32-bit pointer which is not compatible
with the default for C pointers for code compiled with gcc on that
platform.

From-SVN: r160735

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 12:51:24 +0000 (14:51 +0200)]
[multiple changes]

2010-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem_util (Is_VMS_Operator): New predicate to determine whether an
operator is an intrinsic operator declared in the DEC system extension.
* sem_res.adb (Resolve_Logical_Op): operation is legal on signed types
if the operator is a VMS intrinsic.
* sem_eval.adb (Eval_Logical_Op): Operation is legal and be
constant-folded if the operands are signed and the operator is a VMS
intrinsic.

2010-06-14  Robert Dewar  <dewar@adacore.com>

* g-socket.adb, gnatcmd.adb: Minor reformatting

From-SVN: r160734

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 12:46:56 +0000 (14:46 +0200)]
[multiple changes]

2010-06-14  Pascal Obry  <obry@adacore.com>

* s-finimp.adb: Fix typo.
* raise.h: Remove duplicate blank line.

2010-06-14  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Add_Sources): Always set the object file and the
switches file names, as the configuration of the language may change
in an extending project.
(Process_Naming_Scheme): For sources of projects that are extended, set
the configuration of the language from the highest extending project
where the language is declared.

2010-06-14  Gary Dismukes  <dismukes@adacore.com>

* sem_res.adb (Resolve_Call): For infinite recursion check, test
whether the called subprogram is inherited from a containing subprogram.
(Same_Or_Aliased_Subprograms): New function

From-SVN: r160733

14 years agoMinor reformatting.
Arnaud Charlet [Mon, 14 Jun 2010 12:41:52 +0000 (14:41 +0200)]
Minor reformatting.

From-SVN: r160732

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 12:39:55 +0000 (14:39 +0200)]
[multiple changes]

2010-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (End_Use_Type): Before indicating that an operator is not
use-visible, check whether it is a primitive for more than one type.

2010-06-14  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb (Copy_And_Swap): Copy Has_Pragma_Unmodified flag.

* sem_ch7.adb (Preserve_Full_Attributes): Preserve
Has_Pragma_Unmodified flag.

2010-06-14  Thomas Quinot  <quinot@adacore.com>

* g-sttsne-locking.adb, g-sttsne-locking.ads, g-sttsne.ads,
g-sttsne-vxworks.adb, g-sttsne-dummy.ads: Removed. Mutual exclusion is
now done in GNAT.Sockets if necessary.
* gsocket.h, g-socket.adb, g-sothco.ads (GNAT.Sockets.Get_XXX_By_YYY):
Ensure mutual exclusion for netdb operations if the target platform
requires it.
(GNAT.Sockets.Thin_Common): New binding for getXXXbyYYY, treating struct
hostent as an opaque type to improve portability.
* s-oscons-tmplt.c, socket.c: For the case of Vxworks, emulate
gethostbyYYY using proprietary VxWorks API so that a uniform interface
is available for the Ada side.
* gcc-interface/Makefile.in: Remove g-sttsne-*
* gcc-interface/Make-lang.in: Update dependencies.

2010-06-14  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb (Mapping_File): New function.

From-SVN: r160731

14 years agore PR bootstrap/44509 (Revision 160626 breaks bootstrap on *-apple-darwin*)
Jakub Jelinek [Mon, 14 Jun 2010 12:30:29 +0000 (14:30 +0200)]
re PR bootstrap/44509 (Revision 160626 breaks bootstrap on *-apple-darwin*)

PR bootstrap/44509
* c-config-lang.in (gtfiles): Add c-family/c-cppbuiltin.c.
* c-family/c-cppbuiltin.c: Include gt-c-family-c-cppbuiltin.h.
(lazy_hex_fp_values, lazy_hex_fp_value_count): Add GTY(()) markers.
(lazy_hex_fp_value, builtin_define_with_hex_fp_value): Use
ggc_strdup instead of xstrdup.

* gcc.dg/pr44509.c: New test.

From-SVN: r160729

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 12:23:26 +0000 (14:23 +0200)]
[multiple changes]

2010-06-14  Javier Miranda  <miranda@adacore.com>

* sem_ch3.adb (Derive_Subprograms): Remove over-restrictive assertion.

2010-06-14  Arnaud Charlet  <charlet@adacore.com>

* ali.adb: Fix typo.
* s-auxdec-vms-alpha.adb, scng.ads: Minor reformatting

2010-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb: Make Mark_Context transitive, and apply to subprogram
instances.

* sem_ch8.adb (Find_Expanded_Name): If a candidate compilation unit in
the context does not have a homonym of the selector, emit default
error message.

From-SVN: r160728

14 years agore PR tree-optimization/44507 (vectorization ANDs array elements together incorrectly)
Ira Rosen [Mon, 14 Jun 2010 12:22:13 +0000 (12:22 +0000)]
re PR tree-optimization/44507 (vectorization ANDs array elements together incorrectly)

PR tree-optimization/44507
* tree-vect-loop.c (get_initial_def_for_reduction): Use -1
to build initial vector for BIT_AND_EXPR.
* tree-vect-slp.c (vect_get_constant_vectors): Likewise.

From-SVN: r160727

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 12:16:07 +0000 (14:16 +0200)]
[multiple changes]

2010-06-14  Robert Dewar  <dewar@adacore.com>

* sem.adb, sem_ch12.adb, sem_util.adb: Minor reformatting and
comment addition.

2010-06-14  Arnaud Charlet  <charlet@adacore.com>

* lib-xref.ads: Doc updates:
 - Allocate 'Q' for #include entity kind
 - Free 'Z'
 - Allocate 'g' for regular macros
 - Allocate 'G' for function-like macros

From-SVN: r160726

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 12:11:48 +0000 (14:11 +0200)]
[multiple changes]

2010-06-14  Ed Schonberg  <schonberg@adacore.com>

* sinfo.ads, sinfo,adb (Withed_Body): New attribute of a with_clause.
Indicates that there is an instantiation in the current unit that
loaded the body of the unit denoted by the with_clause.
* sem_ch12.adb (Mark_Context): When instanting a generic body, check
whether a with_clause in the current context denotes the unit that
holds the generic declaration, and mark the with_clause accordingly.
(Instantiate_Package_Body): call Mark_Context.
* sem.adb (Process_Bodies_In_Context): Use Withed_Body to determine
whether a given body should be traversed before the spec of the main
unit.

2010-06-14  Ed Falis  <falis@adacore.com>

* sysdep.c: Fix 653 build against vThreads headers

From-SVN: r160725

14 years agosinfo.ads: Minor reformatting.
Robert Dewar [Mon, 14 Jun 2010 10:55:18 +0000 (10:55 +0000)]
sinfo.ads: Minor reformatting.

2010-06-14  Robert Dewar  <dewar@adacore.com>

* sinfo.ads: Minor reformatting.

From-SVN: r160724

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 10:50:03 +0000 (12:50 +0200)]
[multiple changes]

2010-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Analyze_Subprogram_Body): Do not check conformance when
the spec has been generated for a body without spec that carries an
Inline_Always pragma.

2010-06-14  Arnaud Charlet  <charlet@adacore.com>

* lib-xref.ads: Documentation change: allocate 'Z' letter to C/C++
macro.

From-SVN: r160723

14 years agoexp_dbug.adb (Debug_Renaming_Declaration): Do not output any debug declaration for...
Jerome Lambourg [Mon, 14 Jun 2010 10:26:38 +0000 (10:26 +0000)]
exp_dbug.adb (Debug_Renaming_Declaration): Do not output any debug declaration for VMs...

2010-06-14  Jerome Lambourg  <lambourg@adacore.com>

* exp_dbug.adb (Debug_Renaming_Declaration): Do not output any debug
declaration for VMs, as those are useless and might lead to duplicated
local variable names in the generated code.
* gcc-interface/Make-lang.in: Update dependdencies.

From-SVN: r160721

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 10:09:30 +0000 (12:09 +0200)]
[multiple changes]

2010-06-14  Robert Dewar  <dewar@adacore.com>

* opt.ads, sem.adb, sem_elab.adb: Minor reformatting

2010-06-14  Robert Dewar  <dewar@adacore.com>

* exp_aggr.adb (Has_Address_Clause): Moved to Exp_Util, and there it
is renamed as Has_Following_Address_Clause.
* exp_ch3.adb (Needs_Simple_Initialization): Add Consider_IS argument
to allow the caller to avoid Initialize_Scalars having an effect.
(Expand_N_Object_Declaration): Do not do Initialize_Scalars stuff for
scalars with an address clause specified.
* exp_ch3.ads (Needs_Simple_Initialization): Add Consider_IS argument
to allow the caller to avoid Initialize_Scalars having an effect.
* exp_util.adb (Has_Following_Address_Clause): Moved here from Exp_Aggr
(where it was called Has_Address_Clause).
* exp_util.ads (Has_Following_Address_Clause): Moved here from Exp_Aggr
(where it was called Has_Address_Clause).
* freeze.adb (Warn_Overlay): Suppress message about overlaying causing
problems for Initialize_Scalars (since we no longer initialize objects
with an address clause.

2010-06-14  Robert Dewar  <dewar@adacore.com>

* exp_prag.adb (Expand_Pragma_Check): Set Loc of generated code from
condition.

2010-06-14  Gary Dismukes  <dismukes@adacore.com>

* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Set Debug_Info_Needed
on the entity of an implicitly generated postcondition procedure.

2010-06-14  Thomas Quinot  <quinot@adacore.com>

* sem_ch7.adb (Preserve_Full_Attributes): Propagate
Discriminant_Constraint elist from full view to private view.

From-SVN: r160720

14 years agoMinor reformatting.
Arnaud Charlet [Mon, 14 Jun 2010 09:37:52 +0000 (11:37 +0200)]
Minor reformatting.

From-SVN: r160719

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 09:34:49 +0000 (11:34 +0200)]
[multiple changes]

2010-06-14  Robert Dewar  <dewar@adacore.com>

* sem_res.adb: Minor reformatting

2010-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem.adb: New version of unit traversal.

* sem_elab.adb (Check_Internal_Call): Do not place a call appearing
within a generic unit in the table of delayed calls.

From-SVN: r160718

14 years agoFix typo.
Arnaud Charlet [Mon, 14 Jun 2010 09:28:36 +0000 (11:28 +0200)]
Fix typo.

From-SVN: r160717

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 09:26:32 +0000 (11:26 +0200)]
[multiple changes]

2010-06-14  Robert Dewar  <dewar@adacore.com>

* gnatcmd.adb, sem_util.adb, exp_ch3.adb: Minor reformatting

2010-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Save_References): If an identifier has been rewritten
during analysis as an explicit dereference, keep the reference implicit
in the generic, but preserve the entity if global. This prevents
malformed generic trees in the presence of some nested generics.

2010-06-14  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: For the GNAT driver, clarify the effect of calling the
tool with '-files=' option. Also fix some small errors (wrong brackets)

From-SVN: r160716

14 years agognatbind.adb: Call Scan_ALI with Directly_Scanned set to True for all the ALI files...
Vincent Celier [Mon, 14 Jun 2010 09:22:35 +0000 (09:22 +0000)]
gnatbind.adb: Call Scan_ALI with Directly_Scanned set to True for all the ALI files on the...

2010-06-14  Vincent Celier  <celier@adacore.com>

* gnatbind.adb: Call Scan_ALI with Directly_Scanned set to True for all
the ALI files on the command line.

* ali.adb (Scan_ALI): Set component Directly_Scanned of the unit(s) to
the same value as the parameter of the same name.
* ali.ads (Scan_ALI): New Boolean parameter Directly_Scanned, defaulted
to False.
* bindgen.adb (Gen_Versions_Ada): Never emit version symbols for
Stand-Alone Library interfaces. When binding Stand-Alone Libraries,
emit version symbols only for the units of the library.
(Gen_Versions_C): Ditto.

From-SVN: r160715

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 09:17:14 +0000 (11:17 +0200)]
[multiple changes]

2010-06-14  Gary Dismukes  <dismukes@adacore.com>

* sem_ch4.adb: Fix typo.

2010-06-14  Vasiliy Fofanov  <fofanov@adacore.com>

* s-oscons-tmplt.c (IOV_MAX): redefine on Tru64 and VMS since the
vector IO doesn't work at default value properly.

2010-06-14  Doug Rupp  <rupp@adacore.com>

* s-stoele.adb: Remove unnecessary qualification of To_Address for VMS.

2010-06-14  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb (Check_Files): Do not invoke the tool with all the
sources of the project if a switch -files= is used.

2010-06-14  Thomas Quinot  <quinot@adacore.com>

* exp_attr.adb: Minor reformatting

From-SVN: r160714

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 09:08:47 +0000 (11:08 +0200)]
[multiple changes]

2010-06-14  Gary Dismukes  <dismukes@adacore.com>

* gnat_ugn.texi: Minor typo fixes and wording changes

2010-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Analyze_One_Call): If the call has been rewritten from a
prefixed form, do not re-analyze first actual, which may need an
implicit dereference.
* sem_ch6.adb (Analyze_Procedure_Call): If the call is given in
prefixed notation, the analysis will rewrite the node, and possible
errors appear in the rewritten name of the node.
* sem_res.adb: If a call is ambiguous because its first parameter is
an overloaded call, report list of candidates, to clarify ambiguity of
enclosing call.

2010-06-14  Doug Rupp  <rupp@adacore.com>

* s-auxdec-vms-alpha.adb: New package body implementing legacy
VAX instructions with Asm insertions.
* s-auxdec-vms_64.ads: Inline VAX queue functions
* s-stoele.adb: Resolve some ambiguities in To_Addresss with s-suxdec
that show up only on VMS.
* gcc-interface/Makefile.in: Provide translation for
s-auxdec-vms-alpha.adb.

From-SVN: r160713

14 years agoinitialize.c (VxWorks section): Update comments.
Olivier Hainque [Mon, 14 Jun 2010 08:31:33 +0000 (08:31 +0000)]
initialize.c (VxWorks section): Update comments.

2010-06-14  Olivier Hainque  <hainque@adacore.com>

* initialize.c (VxWorks section): Update comments.

From-SVN: r160712

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 08:27:05 +0000 (10:27 +0200)]
[multiple changes]

2010-06-14  Robert Dewar  <dewar@adacore.com>

* a-convec.adb, sem_prag.adb, checks.adb: Minor reformatting

2010-06-14  Eric Botcazou  <ebotcazou@adacore.com>

* init.c: Code clean up.

2010-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Analyze_Attribute_Definition_Clause, case Address): Do
not insert address clause in table for later validation if type of
entity is generic, to prevent possible spurious errors.

* sem_ch8.adb: Code clean up.

2010-06-14  Ben Brosgol  <brosgol@adacore.com>

* gnat_ugn.texi: Expanded @ovar macro inline to solve problem with
texi2pdf and texi2html.
Document how to change scheduling properties on HP-UX.

2010-06-14  Thomas Quinot  <quinot@adacore.com>

* g-socket.ads: Remove misleading comments.

From-SVN: r160711

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 08:20:41 +0000 (10:20 +0200)]
[multiple changes]

2010-06-14  Jerome Lambourg  <lambourg@adacore.com>

* sem_prag.adb (Check_Duplicated_Export_Name): Remove check for
CLI_Target as this prevents proper detection of exported names
duplicates when the exported language is different to CIL.
(Process_Interface_Name): Add check for CIL convention exports,
replacing the old one from Check_Duplicated_Export_Name.

2010-06-14  Matthew Heaney  <heaney@adacore.com>

* a-coinve.adb, a-convec.adb (operator "&"): Check both that new length
and new last satisfy constraints.
(Delete_Last): prevent overflow for subtraction of index values
(To_Vector): prevent overflow for addition of index values

From-SVN: r160710

14 years agosem_ch4.adb (Complete_Object_Operation): After analyzing the rewritten call...
Ed Schonberg [Mon, 14 Jun 2010 08:14:10 +0000 (08:14 +0000)]
sem_ch4.adb (Complete_Object_Operation): After analyzing the rewritten call...

2010-06-14  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Complete_Object_Operation): After analyzing the
rewritten call, preserve the resulting type to prevent spurious errors,
when the call is implicitly dereferenced in the context of an in-out
actual.

* checks.adb (Apply_Discriminant_Check): If the target of the
assignment is a renaming of a heap object, create constrained type for
it to apply check.

From-SVN: r160709

14 years ago[multiple changes]
Arnaud Charlet [Mon, 14 Jun 2010 08:06:34 +0000 (10:06 +0200)]
[multiple changes]

2010-06-14  Pascal Obry  <obry@adacore.com>

* prj-proc.adb: Fix copy of object directory for extending projects.

2010-06-14  Jose Ruiz  <ruiz@adacore.com>

* init.c (__gnat_alternate_stack): Define this space for PowerPC linux
(__gnat_install_handler, PowerPC linux): Activate the alternative
signal stack.

From-SVN: r160708

14 years agos390.md (*mov<mode>_64 DD_DF, mov<mode>): Properly adjust z10prop set_attr.
Jakub Jelinek [Mon, 14 Jun 2010 07:25:44 +0000 (09:25 +0200)]
s390.md (*mov<mode>_64 DD_DF, mov<mode>): Properly adjust z10prop set_attr.

* config/s390/s390.md (*mov<mode>_64 DD_DF, mov<mode>): Properly
adjust z10prop set_attr.

From-SVN: r160707

14 years agoFix long lines
Eric Botcazou [Mon, 14 Jun 2010 05:43:56 +0000 (05:43 +0000)]
Fix long lines

From-SVN: r160699

14 years agoDaily bump.
GCC Administrator [Mon, 14 Jun 2010 00:16:56 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r160694

14 years agolibiberty.texi: Remove reference to GCC 3 and 2001 (thrice).
Gerald Pfeifer [Sun, 13 Jun 2010 23:14:45 +0000 (23:14 +0000)]
libiberty.texi: Remove reference to GCC 3 and 2001 (thrice).

* libiberty.texi: Remove reference to GCC 3 and 2001 (thrice).
Update copyright years.
Move to GFDL 1.3.

From-SVN: r160690

14 years agoAdd "c-family/" to c-common.h, c-pretty-print.h and c-pragma.h.
H.J. Lu [Sun, 13 Jun 2010 19:55:43 +0000 (19:55 +0000)]
Add "c-family/" to c-common.h, c-pretty-print.h and c-pragma.h.

2010-06-13  H.J. Lu  <hongjiu.lu@intel.com>

* g++.dg/plugin/header_plugin.c: Add "c-family/" to c-common.h
and c-pretty-print.h.

* g++.dg/plugin/pragma_plugin.c: Add "c-family/" to c-pragma.h.

From-SVN: r160687