invoke.texi (Option Summary): Add -fdce and -fdse to list of optimization options.

* doc/invoke.texi (Option Summary): Add -fdce and -fdse to list of
optimization options.
(Optimize Options): Add -fdce and -fdse to the list of optimizations
enabled by -O.  Document -fdce and -fdse.

From-SVN: r129786

re PR c++/33709 (Type verification failure with new expression)

PR c++/33709
* fold-const.c (fold_binary): If one argument is COMPOUND_EXPR,
convert second operand of COMPOUND_EXPR to the original type of
that argument.

* g++.dg/opt/compound1.C: New test.

From-SVN: r129785

re PR c++/33616 ("lvalue required as unary '&' operand" with template pmf)

PR c++/33616
* decl2.c (build_offset_ref_call_from_tree): Call
build_non_dependent_expr on object prior to building ADDR_EXPR from it
if FN is DOTSTAR_EXPR.

* g++.dg/template/ptrmem18.C: New test.

From-SVN: r129784

re PR fortran/33596 (ICE with simplified ISNAN)

PR fortran/33596

* trans-intrinsic.c (gfc_conv_intrinsic_isnan): Strip NOP_EXPR
from the result of build_call_expr.

* gfortran.dg/isnan_2.f90: New test.

From-SVN: r129782

re PR tree-optimization/32500 (Loop optimization limits range to size of array used inside loop)

PR tree-optimization/32500
* gcc.c-torture/execute/pr32500.c: Fix buffer overflow in testcase.

From-SVN: r129781

Remove ">>>>>>> .r129772".

From-SVN: r129777

Revert accidental change to crash36.C

From-SVN: r129774

re PR c++/31993 (ICE with template class in variadic template class)

2007-10-30  Douglas Gregor  <doug.gregor@gmail.com>

PR c++/31993
PR c++/32252
* pt.c (find_parameter_packs_r): Fix typo in comment.
(convert_template_argument): Look at the pattern of a pack
expansion to determine what kind of entity we're converting.
(coerce_template_parameter_pack): When we have coerced a non-type
template parameter pack, substitute into the type of that pack.
(tsubst_pack_expansion): When our substitution of a parameter pack
is a "trivial" substitution of itself, just substitute into the
pack expansion rather than actually expanding.

2007-10-30  Douglas Gregor  <doug.gregor@gmail.com>

PR c++/31993
PR c++/32252
* g++.dg/cpp0x/pr31993.C: New
* g++.dg/cpp0x/pr32252.C: New

From-SVN: r129773

re PR tree-optimization/33723 (Inefficient code with compound literals)

PR tree-optimization/33723
* gcc.dg/tree-ssa/pr33723.c (T): Decrease size of field s.

From-SVN: r129772

tree-ssa-operands.c (add_vars_for_offset): Fix exit test of loop adding SFTs as virtual operands.

2007-10-30  Richard Guenther  <rguenther@suse.de>

* tree-ssa-operands.c (add_vars_for_offset): Fix exit test
of loop adding SFTs as virtual operands.

* gcc.c-torture/execute/20071030-1.c: New testcase copied from
gcc.target/i386/loop-3.c.

From-SVN: r129770

re PR libstdc++/33815 (tr1::uniform_int isn't uniform)

2007-10-19  Paolo Carlini  <pcarlini@suse.de>

PR libstdc++/33815
* include/tr1_impl/random
(uniform_int<>::_M_call(_UniformRandomNumberGenerator&, result_type,
result_type, true_type)): Avoid the modulo (which uses the low-order
bits).

From-SVN: r129769

Makefile.in (dse.o): Add $(OPTABS_H) and $(RECOG_H)

2007-10-30  Richard Guenther  <rguenther@suse.de>

        * Makefile.in (dse.o): Add $(OPTABS_H) and $(RECOG_H)
        * dependencies.

From-SVN: r129768

Fix vectorizer testcase

From-SVN: r129767

Fix vectorizer testcases

From-SVN: r129766

Correct filename.

2007-10-30  Benjamin Kosnik  <bkoz@redhat.com>

*docs/html/ext/pb_ds/multimap_text_insert_timing_test_small.html:
Correct filename.
*docs/html/ext/pb_ds/multimap_text_find_timing_test_large.html: Same.
*docs/html/ext/pb_ds/
multimap_text_insert_mem_usage_test_small.html: Same.
*docs/html/ext/pb_ds/multimap_text_insert_timing_test_large.html: Same.
*docs/html/ext/pb_ds/
multimap_text_insert_mem_usage_test_large.html: Same.
*docs/html/ext/pb_ds/multimap_text_find_timing_test_small.html: Same.

2007-10-30  Benjamin Kosnik  <bkoz@redhat.com>

*include/Makefile.am (PCHFLAGS): Remove -Wno-deprecated.
*include/Makefile.in: Regenerate.

*include/std/memory: Remove extraneous include.

From-SVN: r129765

re PR target/32893 (zlib segfault in inflate_table() compiled w/ -O -msse2 ftree-vectorize)

        PR tree-optimization/32893
        * tree-vectorize.c (vect_can_force_dr_alignment_p): Check
        STACK_BOUNDARY instead of PREFERRED_STACK_BOUNDARY.

From-SVN: r129764

Daily bump.

From-SVN: r129759

longlong.h (add_ssaaaa): Support Intel asm syntax in i386 and x86_64 versions.

* longlong.h (add_ssaaaa): Support Intel asm syntax in i386 and
x86_64 versions.
(sub_ddmmss): Likewise.
(umul_ppmm): Likewise.
(udiv_qrnnd): Likewise.

From-SVN: r129756

re PR testsuite/24841 (dg-require compilation-test trigged on test with additional-sources barfs)

PR testsuite/24841
* doc/sourcebuild.texi (Test Directives): Document that dg-require
directives must come before dg-additional-sources.

From-SVN: r129744

re PR tree-optimization/33723 (Inefficient code with compound literals)

PR tree-optimization/33723
* c-gimplify.c (c_gimplify_expr): Optimize INIT_EXPR or
MODIFY_EXPR with non-addressable COMPOUND_LITERAL_EXPR as source.

* gcc.c-torture/execute/20071029-1.c: New test.
* gcc.dg/tree-ssa/pr33723.c: New test.

From-SVN: r129743

re PR tree-optimization/33614 (ICE on semi-constant vector CONSTRUCTORs)

gcc/
PR tree-optimization/33614
* gimplify.c (gimplify_init_constructor): Gimplify vector constructors
if they can't be reduced to VECTOR_CSTs and aren't legitimate
initializer constants.

gcc/testsuite/
PR tree-optimization/33614
* gcc.c-torture/compile/pr33614.c: New test.

From-SVN: r129739

re PR tree-optimization/33870 (miscompiles sqlite)

2007-10-29  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/33870
* tree-ssa-operands.c (add_vars_for_offset): Remove mpt_vars parameter.
(add_virtual_operand): Do not recurse into MPTs looking for pointed-to
SFTs.

* gcc.c-torture/execute/pr33870.x: XFAIL testcase for -O2 and -Os.

From-SVN: r129738

re PR tree-optimization/33757 (Revision 126149 fails gcc.dg/tree-ssa/ssa-fre-4.c)

PR tree-optimization/33757
* gcc.dg/tree-ssa/ssa-fre-4.c: Run on selected TARGET_PROMOTE_PROTOTYPES
true architectures instead of having a big dg-skip-if.

From-SVN: r129737

re PR c++/33841 (ICE with non-integral bit-field)

PR c++/33841
* class.c (check_bitfield_decl): Don't set field's type to error_mark_node
for non-integral type bitfields.  Return true if bitfield is correct, false
error has been diagnosed.
(check_field_decls): If check_bitfield_decl returned false, call also
check_field_decl.

* g++.dg/other/bitfield3.C: New test.

From-SVN: r129736

passes.c (init_optimization_passes): Exchange store_copy_prop with copy_prop.

2007-10-29  Richard Guenther  <rguenther@suse.de>

* passes.c (init_optimization_passes): Exchange store_copy_prop
with copy_prop.
* tree-pass.h (pass_store_copy_prop): Remove.
* tree-ssa-copy.c (do_store_copy_prop): Remove.
(stmt_may_generate-copy): Do not handle store_copy_prop.
(get_copy_of_val): Likewise.
(set_copy_of_val): Likewise.
(copy_prop_visit_assignment): Likewise.
(copy_prop_visit_stmt): Likewise.
(copy_prop_visit_phi_node): Likewise.
(init_copy_prop): Likewise.
(execute_copy_prop): Likewise.
(do_copy_prop): Remove.
(gate_store_copy_prop): Likewise.
(store_copy_prop): Likewise.
(pass_store_copy_prop): Likewise.
(pass_copy_prop): Call execute_copy_prop.
* opts.c (decode_options): Do not set flag_tree_store_copy_prop.
* common.opt (ftree-store-copy-prop): Mark obsolete.
* doc/invoke.texi (ftree-store-copy-prop): Remove documentation.

* gcc.dg/tree-ssa/ssa-copyprop-1.c: Scan optimized dump.

From-SVN: r129734

c++config (_GLIBCXX_DEPRECATED, [...]): New.

2007-10-29  Benjamin Kosnik  <bkoz@redhat.com>

* include/bits/c++config (_GLIBCXX_DEPRECATED,
_GLIBCXX_USE_DEPRECATED): New. Adjust comments.
* include/bits/stl_auto_ptr.h: Move...
* includse/backward/auto_ptr.h: ...here.
* include/bits/stl_function.h (binder1st, binder2nd, bind1st,
bind2nd): Move...
* include/backward/binders.h: ...here. Deprecate in C++0x.

* include/tr1_impl/boost_shared_ptr.h: Guard auto_ptr usage.
* include/std/memory: Same.
* include/std/streambuf: Consistent use of _GLIBCXX_USE_DEPRECATED.

* include/backward/strstream: Fix guard macros.
* include/backward/backward_warning.h: Adjust for all new items.

* config/abi/pre/gnu.ver: Export basic_streambuf::stossc.

* include/Makefile.am (backward_headers): Adjust.
* include/Makefile.in: Regenerate.
* configure: Regenerate.

From-SVN: r129733

ifcvt.c (noce_can_store_speculate_p): New static function.

* ifcvt.c (noce_can_store_speculate_p): New static function.
(noce_process_if_block): Call it.
(if_convert): Remove recompute_dominance parameter.  Change all
callers.

From-SVN: r129729

Makefile.am (ext_compat_headers): New.

2007-10-29  Benjamin Kosnik  <bkoz@redhat.com>

* include/Makefile.am (ext_compat_headers): New.
* include/Makefile.in: Regenerate.
* configure: Regenerate.

From-SVN: r129728

tree-flow-inline.h (get_subvar_at): Use binary search.

2007-10-29  Richard Guenther  <rguenther@suse.de>

* tree-flow-inline.h (get_subvar_at): Use binary search.
(get_first_overlapping_subvar): New function to binary search
for the first overlapping subvar.
* tree-ssa-operands.c (add_vars_for_offset): Strip down to
just handle adding subvars for a pointed-to subvar.  Optimize
and use get_first_overlapping_subvar.
(add_vars_for_bitmap): Fold into single caller.
(add_virtual_operand): Streamline, inherit add_vars_for_bitmap
and non pointed-to bits of add_vars_for_offset.

From-SVN: r129727

ChangeLog: Fix formatting.

* ChangeLog: Fix formatting.
* testsuite/ChangeLog: Ditto.

From-SVN: r129723

SMS: Add use-def chain problem

From-SVN: r129721

[multiple changes]

2007-10-29  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/31217
        PR fortran/33811
        PR fortran/33686
        * trans-array.c (gfc_conv_loop_setup): Send a complete type to
        gfc_trans_create_temp_array if the temporary is character.
        * trans-stmt.c (gfc_trans_assign_need_temp): Do likewise for
        allocate_temp_for_forall_nest.
        (forall_replace): New function.
        (forall_replace_symtree): New function.
        (forall_restore): New function.
        (forall_restore_symtree): New function.
        (forall_make_variable_temp): New function.
        (check_forall_dependencies): New function.
        (cleanup_forall_symtrees): New function.
        gfc_trans_forall_1): Add and initialize pre and post blocks.
        Call check_forall_dependencies to check for all dependencies
        and either trigger second forall block to copy temporary or
        copy lval, outside the forall construct and replace all
        dependent references. After assignment clean-up and coalesce
        the blocks at the end of the function.
        * gfortran.h : Add prototypes for gfc_traverse_expr and
        find_forall_index.
        expr.c (gfc_traverse_expr): New function to traverse expression
        and visit all subexpressions, under control of a logical flag,
        a symbol and an integer pointer. The slave function is caller
        defined and is only called on EXPR_VARIABLE.
        (expr_set_symbols_referenced): Called by above to set symbols
        referenced.
        (gfc_expr_set_symbols_referenced): Rework of this function to
        use two new functions above.
        * resolve.c (find_forall_index): Rework with gfc_traverse_expr,
        using forall_index.
        (forall_index): New function used by previous.
        * dependency.c (gfc_check_dependency): Use gfc_dep_resolver for
        all references, not just REF_ARRAY.
        (gfc_dep_resolver): Correct the logic for substrings so that
        overlapping arrays are handled correctly.

2007-10-29 Paul Thomas <pault@gcc.gnu.org>

        PR fortran/31217
        PR fortran/33811
        * gfortran.dg/forall_12.f90: New test.

        PR fortran/33686
        * gfortran.dg/forall_13.f90: New test.

From-SVN: r129720

2007-10-29  Razya Ladelsky

        Automatic parallelization reduction tests.

        * testsuite/gcc.dg/tree-ssa/reduc-1.c: New test.
        * testsuite/gcc.dg/tree-ssa/reduc-1char.c: New test.
        * testsuite/gcc.dg/tree-ssa/reduc-1short.c: New test.
        * testsuite/gcc.dg/tree-ssa/reduc-2.c: New test.
        * testsuite/gcc.dg/tree-ssa/reduc-2char.c: New test.
        * testsuite/gcc.dg/tree-ssa/reduc-2short.c: New test.
        * testsuite/gcc.dg/tree-ssa/reduc-3.c: New test.
        * testsuite/gcc.dg/tree-ssa/reduc-6.c: New test.
        * testsuite/gcc.dg/tree-ssa/reduc-7.c: New test.
        * testsuite/gcc.dg/tree-ssa/reduc-8.c: New test.
        * testsuite/gcc.dg/tree-ssa/reduc-9.c: New test.

From-SVN: r129718

2007-09-23  Razya Ladelsky
    Zdenek Dvorak

OMP_ATOMIC expand testsuite related changes.

* testsuite/gcc.dg/gomp/atomic-3.c: Search for string on
ompexp dump instead of gimple dump.
* testsuite/gcc.dg/gomp/atomic-9.c: Same.
* testsuite/gcc.dg/gomp/atomic-10.c: Same.
* testsuite/g++.dg/gomp/atomic-3.C: Same.
* testsuite/g++.dg/gomp/atomic-9.C: Same.
* testsuite/g++.dg/gomp/atomic-10.C: Same.

From-SVN: r129717

2007-09-23  Razya Ladelsky
            Zdenek Dvorak

        OMP_ATOMIC Changes,
        Reduction support for automatic parallelization.

        * expr.c (expand_expr_real_1): Add cases for OMP_ATOMIC_LOAD,
        OMP_ATOMIC_STORE.
        * Makefile.in: Add dependencies to expr.o, tree-parloops.o, omp-low.o
        * tree-pretty-print.c (dump_generic_node): Add OMP_ATOMIC_LOAD
        and OMP_ATOMIC_STORE.
        * tree.h (OMP_DIRECTIVE_P): Add OMP_ATOMIC_LOAD,
        OMP_ATOMIC_STORE.
        * gimple-low.c (lower_stmt): Same.
        * gimplify.c (gimplify_expr): Same.
        (gimplify_omp_atomic_fetch_op, gimplify_omp_atomic_pipeline,
        gimplify_omp_atomic_mutex): Remove.
        (gimplify_omp_atomic): Change it to simply gimplify the
        statement instead of expanding it.
        * omp-low.c: Add includes to optabs.h, cfgloop.h.
        (expand_omp_atomic, expand_omp_atomic_pipeline,
        goa_stabilize_expr, expand_omp_atomic_mutex,
        expand_omp_atomic_fetch_op): New functions to implement
        expansion of OMP_ATOMIC.
        (expand_omp, build_omp_regions_1): Add support for
        OMP_ATOMIC_LOAD/OMP_ATOMIC_STORE.
        * tree-cfg.c (make_edges): add case for OMP_ATOMIC_LOAD,
        OMP_ATOMIC_STORE.
        * tree-gimple.c (is_gimple_stmt): Add OMP_ATOMIC_LOAD,
        OMP_ATOMIC_STORE.
        * tree-parloops.c: add include to tree-vectorizer.h.
        (reduction_info): New structure for reduction.
        (reduction_list): New list to represent list of reductions
        per loop.
        (struct data_arg): New helper structure for reduction.
        (reduction_info_hash, reduction_info_eq, reduction_phi,
        initialize_reductions,
        create_call_for_reduction, create_phi_for_local_result,
        create_call_for_reduction_1, create_loads_for_reductions,
        create_final_loads_for_reduction): New functions.
        (loop_parallel_p): Identify reductions, add reduction_list parameter.
        (separate_decls_in_loop_name): Support reduction variables.
        (separate_decls_in_loop): Add reduction_list and ld_st_data arguments,
        call create_loads_for_reduction for each reduction.
        (canonicalize_loop_ivs): Identify reductions, add reduction_list
        parameter.
        (transform_to_exit_first_loop): Add reduction support, add
        reduction_list parameter.
        (gen_parallel_loop): Add reduction_list parameter. Add call
        separate_decls_in_loop with
        the new argument. Traverse reductions and call
        initialize_reductions, create_call_for_reduction.
        (parallelize_loops): Create and delete the reduction list.
        (add_field_for_name): Change use of data parameter. Add fields for
        reductions.
        * tree-vectorizer.h (vect_analyze_loop_form): Add declaration.
        * tree-vect-analyze.c (vect_analyze_loop_form): export it.
        * tree.def: Add definitions for OMP_ATOMIC_LOAD,
        OMP_ATOMIC_STORE.
        * tree-inline.c (estimate_num_insns_1): add cases for
        OMP_ATOMIC_LOAD, OMP_ATOMIC_STORE.
        * tree-cfg.c (make_edges): Add OMP_ATOMIC_LOAD,
        OMP_ATOMIC_STORE.
        * tree-ssa-operands.c (get_addr_dereference_operands):
        New function. Subroutine of get_indirect_ref_operands.
        (get_indirect_ref_operands): Call get_addr_dereference_operands.
        (get_expr_operands): Support OMP_ATOMIC_LOAD, OMP_ATOMIC_STORE.

From-SVN: r129716

stl_algobase.h (_GLIBCXX_MOVE3, [...]): Add.

2007-10-28  Paolo Carlini  <pcarlini@suse.de>

* include/bits/stl_algobase.h (_GLIBCXX_MOVE3,
_GLIBCXX_MOVE_BACKWARD3): Add.
* include/bits/stl_iterator.h (_GLIBCXX_MAKE_MOVE_ITERATOR): Add.
* include/bits/vector.tcc (vector<>::reserve): Use the latter.
(vector<>::erase): Use _GLIBCXX_MOVE3.
* include/bits/deque.tcc (deque<>::erase): Use _GLIBCXX_MOVE3
and _GLIBCXX_MOVE_BACKWARD3.
* testsuite/23_containers/vector/modifiers/erase/moveable.cc: New.
* testsuite/23_containers/vector/capacity/reserve/moveable.cc: New.
* testsuite/23_containers/deque/modifiers/erase/moveable.cc: New.

From-SVN: r129714

cris.c: Include df.h.

* config/cris/cris.c: Include df.h.
(cris_address_cost): Add gcc_assert for canonicalization
assumptions.  For PLUS with MULT or register, correct
test for register in other arm.  Tweak comments.

From-SVN: r129713

Daily bump.

From-SVN: r129711

re PR c++/30659 (ICE in undefined template)

cp/
2007-10-28  Paolo Carlini  <pcarlini@suse.de>
    Mark Mitchell  <mark@codesourcery.com>

PR c++/30659
* pt.c (do_decl_instantiation): If the VAR_DECL is not a
class member error out and return.

testsuite/
2007-10-28  Paolo Carlini  <pcarlini@suse.de>
    Mark Mitchell  <mark@codesourcery.com>

PR c++/30659
* g++.dg/template/crash71.C: New.

Co-Authored-By: Mark Mitchell <mark@codesourcery.com>
From-SVN: r129710

tree-ssa-operands.c (add_vars_for_offset): Add parameter telling if the var is to be treated as points-to location.

2007-10-28  Richard Guenther  <rguenther@suse.de>

* tree-ssa-operands.c (add_vars_for_offset): Add parameter
telling if the var is to be treated as points-to location.
(add_vars_for_bitmap): Pass true to add_vars_for_offset.
(add_virtual_operand): Only recurse into MPTs if aliases
is from a NMT.

From-SVN: r129704

tree-ssa-operands.c (add_vars_for_offset): Clean and speed up.

2007-10-28  Richard Guenther  <rguenther@suse.de>

* tree-ssa-operands.c (add_vars_for_offset): Clean and speed up.
(add_vars_for_bitmap): Do not recurse further.  Only add vars
for pointed-to SFTs.
(add_virtual_operand): Re-instantiate loop to add operands for
aliases.  Recurse into MPTs.
(get_indirect_ref_operands): If we fall back to use a pointers
SMT, make sure to not prune based on the access offset and size.

From-SVN: r129702

re PR fortran/32147 (Module file change due to order of writting out changes)

fortran/
PR fortran/32147
* module.c (write_symbol): Fix whitespace.
(write_symbol0): Walk symtree from left-to-right instead
breadth-first.
(write_symbol1): Similarly change walk of pointer info tree.
(write_module): Insert linebreak.
* symbol.c (gfc_traverse_symtree): Change to left-to-right order.
(traverse_ns): Likewise.

testsuite/
PR fortran/32147
* gfortran.dg/module_md5_1.f90: Update hash-value.

From-SVN: r129701

re PR middle-end/33589 (ICE on valid code at -O2: verify_flow_info failed)

2007-10-28  Andrew Pinski  <pinskia@gmail.com>

        PR tree-opt/33589
        * tree-outof-ssa.c (rewrite_trees): If the statement changed, cleanup
        the eh information on the statement.
2007-10-28  Andrew Pinski  <pinskia@gmail.com>

        PR tree-opt/33589
        * g++.dg/torture/pr33589-1.C: New testcase.
        * g++.dg/torture/pr33589-2.C: New testcase.

From-SVN: r129700

tree-flow.h (subvar_t): Make it a VEC.

2007-10-28  Richard Guenther  <rguenther@suse.de>

* tree-flow.h (subvar_t): Make it a VEC.
(struct subvar): Remove.
(struct var_ann_d): Use VEC(tree,gc) to store subvars.
* tree-flow-inline.h (get_subvar_at): Adjust iterators over
variable subvars.
* tree-into-ssa.c (mark_sym_for_renaming): Likewise.
* tree-nrv.c (dest_safe_for_nrv_p): Likewise.
* tree-ssa-alias.c (mark_aliases_call_clobbered): Likewise.
(set_initial_properties): Likewise.
(setup_pointers_and_addressables): Likewise.
(new_type_alias): Likewise.
(create_overlap_variables_for): Likewise.
* tree-dfa.c (dump_subvars_for): Likewise.
* tree-ssa-operands.c (add_vars_for_offset): Likewise.
(get_expr_operands): Likewise.
(add_to_addressable_set): Likewise.
* tree-ssa-structalias.c (set_uids_in_ptset): Likewise.

* gcc.dg/tree-ssa/alias-15.c: Adjust pattern.

From-SVN: r129699

stl_uninitialized.h (uninitialized_copy): Use ::new and value_type per the letter of the standard.

2007-10-28  Paolo Carlini  <pcarlini@suse.de>

* include/bits/stl_uninitialized.h (uninitialized_copy): Use
::new and value_type per the letter of the standard.
* testsuite/20_util/specialized_algorithms/uninitialized_copy/
move_iterators/1.cc: New.

* testsuite/20_util/specialized_algorithms/16505.cc: Move to...
* testsuite/20_util/specialized_algorithms/uninitialized_fill_n/
16505.cc: ... here.
* testsuite/20_util/specialized_algorithms/32158.cc: Move to...
* testsuite/20_util/specialized_algorithms/uninitialized_fill/
32158.cc: ... here.

* include/bits/stl_construct.h (_Construct(_T1*)): Remove, unused.

From-SVN: r129698

re PR tree-optimization/33920 (Segfault in combine_blocks/tree-if-conv.c)

        PR tree-optimization/33920
        * tree-if-conv.c (tree_if_conversion): Force predicate of single
        successor bb to true when predecessor bb has NULL predicate.
        (find_phi_replacement_condition): Assert that tmp_cond is non-null.

testsuite/ChangeLog:

        PR tree-optimization/33920
        * gcc.dg/tree-ssa/pr33290.c: New test.

From-SVN: r129696

mips.md: Add combiner patterns for DImode extensions of HImode and QImode truncations.

gcc/
* config/mips/mips.md: Add combiner patterns for DImode extensions
of HImode and QImode truncations.  Reformat HImode <- QImode pattern
for consistency.

From-SVN: r129695

re PR target/33895 (mips.c:6868: error: 'mips_output_dwarf_dtprel' defined but not used)

gcc/
PR target/33895
* config/mips/mips.c (mips_output_dwarf_dtprel): Add ATTRIBUTE_UNUSED.

From-SVN: r129694

dce.c (delete_unmarked_insns): Just delete the RETVAL and LIBCALL notes if...

2007-10-28  Andreas Krebbel  <krebbel1@de.ibm.com>

* dce.c (delete_unmarked_insns): Just delete the RETVAL and
LIBCALL notes if they are about to be moved to the same insn.

From-SVN: r129693

Daily bump.

From-SVN: r129690

re PR regression/33926 (FAIL: gcc.dg/dfp/convert-dfp-round-thread.c execution test)

2007-10-27  H.J. Lu  <hongjiu.lu@intel.com>

PR regression/33926
* configure.ac: Replace have_cc_tls with gcc_cv_have_cc_tls.
* configure: Regenerated.

From-SVN: r129687

re PR fortran/31306 (ICE with implicit character variables)

2007-10-27 Jerry DeLisle <jvdelisle@gcc.gnu.org>

PR fortran/31306
* gfortran.dg/argument_check_7.f90: New test.
* gfortran.dg/argument_check_8.f90: New test.

From-SVN: r129686

re PR fortran/31306 (ICE with implicit character variables)

2007-10-27 Jerry DeLisle <jvdelisle@gcc.gnu.org>

PR fortran/31306
* decl.c (char_len_param_value): Add check for conflicting attributes of
function argument.

From-SVN: r129685

i386-2.C: Include bmmintrin.h.

        * g++.dg/other/i386-2.C: Include bmmintrin.h. Add -msse5 to dg-options.
        * gcc.target/i386/sse-13.c: Also include mm3dnow.h.  Add
        "-march=k8 -m3dnow" to check 3dnow and 3dnowA intrinsics.
        * gcc.target/i386/sse-14.c: Ditto.

From-SVN: r129684

error.c (reinit_cxx_pp): Initialize cxx_pp->enclosing_scope to current_function_decl rather than 0.

* error.c (reinit_cxx_pp): Initialize cxx_pp->enclosing_scope
to current_function_decl rather than 0.

From-SVN: r129683

re PR c++/33844 (Broken diagnostic: 'dotstar_expr/member_ref' not supported by pp_cxx_unqualified_id)

PR c++/33844
* cxx-pretty-print.c (pp_cxx_pm_expression) <case MEMBER_REF>: Print
->* rather than .*.
* error.c (dump_expr): Handle MEMBER_REF and DOTSTAR_EXPR.

* g++.dg/other/ptrmem8.C: New test.

From-SVN: r129682

re PR c++/5247 (Memory eating infinite loop on default parameter in constructor which is reference to class)

        PR c++/5247
        * call.c (convert_default_arg): Detect recursion.

From-SVN: r129681

re PR fortran/33862 (Support .FTN file extension for Fortran fixed-format source files)

2007-10-27  Tobias Burnus  <burnus@net-b.de>

        PR fortran/33862
        * lang-specs.h: Support .ftn and .FTN extension, use CPP for .FOR.
        * options.c (form_from_filename): Support .ftn extension.
        * gfortran.texi: Document support of .for and .ftn file extension.

From-SVN: r129680

mk-kinds-h.sh: Change LANG=C to LC_ALL=C.

2007-10-27  Tobias Burnus  <burnus@net-b.de>

       * mk-kinds-h.sh: Change LANG=C to LC_ALL=C.

From-SVN: r129679

stl_algobase.h (struct __miter_base): Add.

2007-10-27  Paolo Carlini  <pcarlini@suse.de>

* include/bits/stl_algobase.h (struct __miter_base): Add.
(__copy_move_a2, __copy_move_backward_a2): Add.
(copy, copy_backward, move, move_backward): Adjust, call *a2 helpers.
* include/bits/cpp_type_traits.h (struct __is_move_iterator): Add.
* include/bits/streambuf_iterator.h (__copy_move_a<>): Rename
to __copy_move_a2.
* include/std/streambuf (friend __copy_move_a<>): Likewise.
* testsuite/25_algorithms/copy/move_iterators/1.cc: New.
* testsuite/25_algorithms/copy_backward/move_iterators/1.cc: Likewise.

* include/bits/stl_iterator.h (__normal_iterator<>::_Iterator_type):
Rename to iterator_type.

From-SVN: r129678

re PR c++/33842 (Broken diagnostic: 'offsetof_expr' not supported by dump_expr)

PR c++/33842
* cxx-pretty-print.h (pp_cxx_offsetof_expression): New prototype.
* cxx-pretty-print.c (pp_cxx_primary_expression): Handle
OFFSETOF_EXPR.
(pp_cxx_offsetof_expression_1, pp_cxx_offsetof_expression): New
functions.
* error.c (dump_expr): Handle OFFSETOF_EXPR.

* g++.dg/template/error34.C: New test.

From-SVN: r129677

ivopts-1.C: Also search for "offset: 4294967292".

        * g++.dg/tree-ssa/ivopts-1.C: Also search for "offset: 4294967292".

From-SVN: r129676

re PR tree-optimization/33870 (miscompiles sqlite)

2007-10-27  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/33870
* tree-ssa-operands.c (add_vars_for_offset): Reduce code
duplication.  Remove redundant call to access_can_touch_variable.
(add_vars_for_bitmap): New helper for recursing over MPT contents.
(add_virtual_operand): Use it.

* gcc.dg/tree-ssa/alias-15.c: New testcase.
* gcc.c-torture/execute/pr33870.c: Likewise.

From-SVN: r129675

re PR fortran/33162 (INTRINSIC functions as ACTUAL argument)

2007-10-26  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/33162
* gfortran.dg/argument_checking_9.f90: New test.

From-SVN: r129674

re PR fortran/33162 (INTRINSIC functions as ACTUAL argument)

2007-10-26  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/33162
* intrinsic.h: Add prototypes for four new functions, gfc_check_datan2,
gfc_check_dprod, gfc_check_fn_d, and gfc_check_x_yd.
* intrinsic.c (add_functions): Add double precision checks for dabs,
dacos, dacosh, dasin, dasinh, datan, datanh, datan2, dbesj0, dbesj1,
dbesy0, dbesy1, dcos, dcosh, ddim, derf, derfc, dexp, dgamma,
dlgama, dlog, dlog10, dmod, dsign, dsin, dsinh, dsqrt, dtan, and dtanh.
Add real check dprod.
* check.c (gfc_check_datan2): New function to check for double precision
argumants. (gfc_check_dprod, gfc_check_fn_d, and gfc_check_x_yd): Ditto.

From-SVN: r129673

throw_allocator.h (throw_allocator<>:: construct<>(pointer, _Args&&...)): Add.

2007-10-26  Paolo Carlini  <pcarlini@suse.de>

* include/ext/throw_allocator.h (throw_allocator<>::
construct<>(pointer, _Args&&...)): Add.
* include/ext/pool_allocator.h (__pool_alloc<>::
construct<>(pointer, _Args&&...)): Likewise.
(construct(pointer, const _Tp&)): Cast pointer to void*.
* include/ext/bitmap_allocator.h (bitmap_allocator<>::
construct<>(pointer, _Args&&...)): Add.
(construct(pointer, const _Tp&)): Cast pointer to void*.
* include/ext/new_allocator.h (new_allocator<>::
construct<>(pointer, _Args&&...)): Add.
(construct(pointer, const _Tp&)): Cast pointer to void*.
* include/ext/malloc_allocator.h (malloc_allocator<>::
construct<>(pointer, _Args&&...)): Add.
(construct(pointer, const _Tp&)): Cast pointer to void*.
* include/ext/array_allocator.h (array_allocator<>::
construct<>(pointer, _Args&&...)): Add.
(construct(pointer, const _Tp&)): Cast pointer to void*.
* include/ext/mt_allocator.h (__mt_alloc<>::
construct<>(pointer, _Args&&...)): Add.
(construct(pointer, const _Tp&)): Cast pointer to void*.
* testsuite/util/testsuite_allocator.h (tracker_allocator<>::
construct<>(pointer, _Args&&...)): Add.
(construct(pointer, const _Tp&)): Cast pointer to void*.
  (uneq_allocator<>::construct<>(pointer, _Args&&...)): Add.
(construct(pointer, const _Tp&)): Cast pointer to void*.
* testsuite/ext/mt_allocator/variadic_construct.cc: New.
* testsuite/ext/new_allocator/variadic_construct.cc: Likewise.
* testsuite/ext/throw_allocator/variadic_construct.cc: Likewise.
* testsuite/ext/malloc_allocator/variadic_construct.cc: Likewise.
* testsuite/ext/pool_allocator/variadic_construct.cc: Likewise.
* testsuite/ext/bitmap_allocator/variadic_construct.cc: Likewise.
* testsuite/ext/array_allocator/variadic_construct.cc: Likewise.

From-SVN: r129672

re PR fortran/31608 (wrong types in character array/scalar binop)

PR fortran/31608
* pa.h (ASM_PN_FORMAT): Delete define.

From-SVN: r129671

Daily bump.

From-SVN: r129669

invoke.texi (Option Summary, [...]): Remove -fbounds-check.

* doc/invoke.texi (Option Summary, optimizations): Remove
-fbounds-check.  Add -fassociative-math, -freciprocal-math,
-ftree-vrp and -funit-at-a-time.  Change -fno-split-wide-types to
-fsplit-wide-types to match later entry.  Break up a long line.
(Option Summary, code gen options)  Add -fno-stack-limit.  Add
missing @gol to the end of a line.
(Optimization Options): Remove -fbounds-check, which is also
documented under Code Generation Options.  Remove =n from
index entry for -ftree-parallelize-loops.  Change -fno-cprop-registers
to -fcprop-registers to match other options, and say when it is
enabled rather than disabled.  Remove extra index entry for
-fno-cx-limited-range.  Add index entries for -fstack-protector
and -fstack-protector-all.
(Code Gen Options): Add index entry for -ftls-model.

From-SVN: r129664

invoke.texi: Fix typo in -fmax-errors=.

2007-10-26  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

* invoke.texi: Fix typo in -fmax-errors=.

From-SVN: r129663

avr.c (avr_OS_task_function_p): Add new function.

* config/avr/avr.c (avr_OS_task_function_p): Add new function.
(avr_regs_to_save): Handle functions with 'OS_task' attribute.
(avr_simple_epilogue, expand_prologue, avr_asm_function_end_prologue,
expand_epilogue, output_movhi): Don't handle 'main' function.
(avr_attribute_table): Add 'OS_task' function attribute.
* config/avr/avr.h (machine_function): Remove 'is_main' field, add
'is_OS_task' field.
* config/avr/avr.md (return_from_main_epilogue): Remove insn.
(return_from_epilogue, return_from_interrupt_epilogue): Don't handle
'main' function.
* config/avr/avr.opt (minit-stack): Remove.

From-SVN: r129662

tree-nested.c (get_trampoline_type): Fix thinko.

* tree-nested.c (get_trampoline_type): Fix thinko.

From-SVN: r129661

re PR c++/24791 (ICE on invalid instantiation of template's static member)

        PR c++/24791
        * pt.c (get_template_info): New fn.
        (template_class_depth): Use it.
        (push_template_decl_real): Check that the template args of the
        definition match the args of the previous declaration.

From-SVN: r129660

re PR c++/33601 (ICE with pointers to members using "const C" as the class identifier)

2007-10-26  Douglas Gregor  <doug.gregor@gmail.com>

PR c++/33601
* tree.c (build_offset_type): Build canonical type based on the
TYPE_MAIN_VARIANT of the base type.

2007-10-26  Douglas Gregor  <doug.gregor@gmail.com>

* g++.dg/other/pr33601.C: New.

From-SVN: r129659

mk-kinds-h.sh: Add "LANG=C".

2007-10-26  Tobias Burnus  <burnus@net-b.de>

       * mk-kinds-h.sh: Add "LANG=C".

From-SVN: r129658

re PR c++/31988 (new operator should not permit default first parameter)

cp/
2007-10-26  Paolo Carlini  <pcarlini@suse.de>

PR c++/31988
* decl2.c (coerce_new_type): Do not allow a default argument for
the first parameter.

testsuite/
2007-10-26  Paolo Carlini  <pcarlini@suse.de>

PR c++/31988
* g++.dg/init/new25.C: New.

From-SVN: r129657

re PR c++/33839 (ICE with decltype)

2007-10-26  Douglas Gregor  <doug.gregor@gmail.com>

PR c++/33839
* parser.c (cp_parser_decltype): Return ERROR_MARK_NODE if we
don't see the leading '('. Only lookup names if we get an
IDENTIFIER_NODE.

2007-10-26  Douglas Gregor  <doug.gregor@gmail.com>

* g++.dg/cpp0x/pr33839.C: New.

From-SVN: r129656

unordered_map: Fix for parallel mode.

2007-10-26  Benjamin Kosnik  <bkoz@redhat.com>

* include/std/unordered_map: Fix for parallel mode.
* include/std/unordered_set: Same.

From-SVN: r129654

reorg.c (emit_delay_sequence): Move insn locator from the first insn to the sequence.

* reorg.c (emit_delay_sequence): Move insn locator from the
first insn to the sequence.

From-SVN: r129651

re PR c++/33744 (function-style cast and '>' not allowed in template argument)

PR c++/33744
* parser.c (cp_parser_parenthesized_expression_list): Set
greater_than_is_operator_p to true in between the parens.

* g++.dg/template/arg6.C: New test.

From-SVN: r129648

re PR c++/31747 (ICE combining static and extern)

cp/
2007-10-26  Paolo Carlini  <pcarlini@suse.de>

PR c++/31747
* decl.c (grokdeclarator): In case of conflicting specifiers
just return error_mark_node.

testsuite/
2007-10-26  Paolo Carlini  <pcarlini@suse.de>

PR c++/31747
* g++.dg/parse/crash39.C: New.

From-SVN: r129647

ivopts-1.C: Remove xfail on the search for "&x\\\[5\\\]" pattern.

* g++.dg/tree-ssa/ivopts-1.C: Remove xfail on the search for
"&x\\\[5\\\]" pattern.  Search for "offset: 0x0f+fc" insetad of
"offset: -4B".

From-SVN: r129646

expr.c (cxx_expand_expr): Removed.

gcc/cp/
* expr.c (cxx_expand_expr): Removed.
* cp-tree.h (exx_expand_expr): Removed.
* cp-objcp-common.h (LANK_HOOKS_EXPAND_EXPR): Replace cxx_expand_expr
with c_expand_expr.

From-SVN: r129645

ipa-pure-const.c (check_decl): Return immediately when pure_const_state has been set to IPA_NEITHER.

        * ipa-pure-const.c (check_decl): Return immediately when
        pure_const_state has been set to IPA_NEITHER.

From-SVN: r129644

Daily bump.

From-SVN: r129642

* g++.dg/tree-ssa/copyprop-1.C: Remove xfail.

From-SVN: r129639

re PR c++/33843 (Broken diagnostic: 'bit_not_expr' not supported by pp_cxx_unqualified_id)

2007-10-25  Paolo Carlini  <pcarlini@suse.de>

PR c++/33843
* cxx-pretty-print.c (pp_cxx_unqualified_id): Deal with BIT_NOT_EXPR.

2007-10-25  Paolo Carlini  <pcarlini@suse.de>

PR c++/33843
* g++.dg/template/error32.C: New.

From-SVN: r129637

libgfortran.h (GFC_REAL_*_HUGE, [...]): Remove.

* libgfortran.h (GFC_REAL_*_HUGE, GFC_REAL_*_DIGITS,
GFC_REAL_*_RADIX): Remove.
* mk-kinds-h.sh: Define GFC_REAL_*_HUGE, GFC_REAL_*_DIGITS and
GFC_REAL_*_RADIX. Don't define GFC_REAL_LARGEST_FORMAT and
GFC_REAL_LARGEST.

From-SVN: r129636

re PR fortran/29784 ([doc] No I/O conversion of logical/integer)

PR fortran/29784
* gfortran.texi: Document that there is no logical/integer
conversion performed during I/O operations.

From-SVN: r129635

Update my email address.

From-SVN: r129633

re PR libgomp/33275 (Transient libgomp.fortran/omp_parse3.f90 -O0  failure)

PR libgomp/33275
* testsuite/libgomp.fortran/omp_parse3.f90 (test_threadprivate):
Make x and y integers rather than (implicit) reals.  Add private (j)
clause to the last omp parallel.

From-SVN: r129631

Makefile.am (parallel_headers): Remove timing.h.

2007-10-25  Andreas Tobler  <a.tobler@schweiz.org>

* include/Makefile.am (parallel_headers): Remove timing.h.
* include/Makefile.in: Regenerate.

From-SVN: r129630

multiway_merge.h: Removed Timing<inactive_tag>

2007-10-25  Johannes Singler  <singler@ira.uka.de>

      * include/parallel/multiway_merge.h: Removed Timing<inactive_tag>
      * include/parallel/random_shuffle.h: Same
      * include/parallel/set_operations.h: Same
      * include/parallel/tree.h: Same
      * include/parallel/multiway_mergesort.h: Same
      * include/parallel/timing.h: Removed completely

From-SVN: r129629

re PR tree-optimization/33833 (ICE in build2_stat, at tree.c:3110 at -O3, tree-vectorizer)

PR tree-optimization/33833
* tree-vect-analyze.c (vect_analyze_data_refs): Use POINTER_PLUS_EXPR
and convert init to sizetype in inner_base construction.

From-SVN: r129628

* gcc.dg/tree-ssa/20040204-1.c: Un-xfail for mips*-*-*.

From-SVN: r129627

tree-flow.h (mem_sym_stats): Remove.

2007-10-25  Richard Guenther  <rguenther@suse.de>

* tree-flow.h (mem_sym_stats): Remove.
(dump_mem_sym_stats_for_var): Declare.
* tree-dfa.c (dump_variable): Call dump_mem_sym_stats_for_var.
(mem_sym_stats): Move ...
* tree-ssa-alias.c (mem_sym_stats): ... here and make it static.
(mem_sym_score): Rename from ...
(pscore): ... this.  Remove.
(dump_mem_sym_stats_for_var): New function.  Dump the score, but
not the frequencies.
(compare_mp_info_entries): Make sort stable by disambiguating
on DECL_UID.

From-SVN: r129625

stl_algo.h (__lg<>(_Size)): Slightly tweak.

2007-10-25  Paolo Carlini  <pcarlini@suse.de>

* include/bits/stl_algo.h (__lg<>(_Size)): Slightly tweak.
(__lg(int), __lg(long), __lg(long long)): Add, overloads
exploiting __builtin_clz*.

From-SVN: r129624

re PR tree-optimization/33866 (ICE in vect_get_vec_def_for_stmt_copy, at tree-vect-transform.c:1937)

PR tree-optimization/33866
* tree-vect-transform.c (vectorizable_store): Check operands of all the
stmts in the group of strided accesses. Get def stmt type for each store
in the group and pass it to vect_get_vec_def_for_stmt_copy ().

From-SVN: r129623

constraints.md (Y0): Rename register constraint to Yz.

        * config/i386/constraints.md (Y0): Rename register constraint to Yz.
        (Yt): Rename register constraint to Y2.
        * config/i386/sse.md: Use renamed register constraints.
        * config/i386/mmx.md: Ditto.
        * config/i386/i386.md: Ditto.

        * config/i386/i386.md (*dummy_extendsfdf2): Fix operand 1 constraint.

From-SVN: r129622

MAINTAINERS (mercury): Remove entry.

* MAINTAINERS (mercury): Remove entry.
(Write After Approval): Add Fergus Henderson <fjh@cs.mu.oz.au>.

From-SVN: r129621