Makefile.in (tree-ssa-structalias.o): Depend on $(FUNCTION_H)

* Makefile.in (tree-ssa-structalias.o): Depend on $(FUNCTION_H)
(BASIC_BLOCK_H): Add vec.h, $(FUNCTION_H).

From-SVN: r129969

re PR c++/33501 (Copy constructor assumed to exist for undefined class)

PR c++/33501
* call.c (build_over_call): Don't check TREE_ADDRESSABLE
on incomplete type.

* g++.dg/warn/incomplete2.C: New test.
* g++.dg/template/incomplete4.C: New test.
* g++.dg/template/incomplete5.C: New test.

From-SVN: r129968

modulo-sched.c (sms_order_nodes, [...]): Fix prototypes.

        * modulo-sched.c (sms_order_nodes, permute_partial_schedule,
        generate_prolog_epilog, duplicate_insns_of_cycles): Fix prototypes.
        (calculate_order_params, sms_order_nodes): New parameter pmax_asap.
        Save calculated max_asap in it.
        (sms_schedule): Calculate maxii using max_asap.

Co-Authored-By: Andrey Belevantsev <abel@ispras.ru>
From-SVN: r129966

sem_attr.adb (Analyze_Attribute): Remove duplicate identical embedded check for "Ada_Version >= Ada_05".

    gcc/ada/
* sem_attr.adb (Analyze_Attribute): Remove duplicate identical
embedded check for "Ada_Version >= Ada_05".

From-SVN: r129965

tracebak.c (i386 alternative): Remove useless comparaison which is always false...

    gcc/ada/
* tracebak.c (i386 alternative): Remove useless comparaison
which is always false; LOWEST_ADDRESS is 0 and is never greater
than an unsigned integer.

From-SVN: r129964

a-tasatt.adb: Use 'Access instead of 'Unchecked_Access when applicable.

    gcc/ada/
* a-tasatt.adb: Use 'Access instead of 'Unchecked_Access when
applicable. Local lifetime is the one of the package.
(Set_Value): W is allocated on the heap.

* g-socket.adb: Use 'Access instead of 'Unchecked_Access when
applicable.
(Get_Socket_Option): Optlen formal of C_Getsockopt is of an anonymous
access type.
(Receive_Socket): Fromlen formal of C_Recvfrom is of an anonymous
access type.

* s-taasde.adb: Use 'Access instead of 'Unchecked_Access when
applicable.
(elaboration code): Timer_Queue lifetime is the one of the
package.

From-SVN: r129963

a-tasatt.adb: Type Wrapper should be declared in comment instead of already declared type...

    gcc/ada/
* a-tasatt.adb: Type Wrapper should be declared in comment instead
of already declared type Node_Access.

From-SVN: r129962

* MAINTAINERS (Write After Approval): Add myself.

From-SVN: r129961

stl_iterator.h (move_iterator<>::pointer): Adjust typedef per DR 680 [Ready].

2007-11-07  Paolo Carlini  <pcarlini@suse.de>

* include/bits/stl_iterator.h (move_iterator<>::pointer): Adjust
typedef per DR 680 [Ready].

From-SVN: r129959

decl.c (make_aligning_type): Set the mode of the RECORD_TYPE we craft and expand comment.

2007-11-07  Olivier Hainque  <hainque@adacore.com>

        * decl.c (make_aligning_type): Set the mode of the RECORD_TYPE we
        craft and expand comment.

        testsuite/
        * gnat.dg/max_align.adb: New test.

From-SVN: r129958

invoke.texi: Replace rs6000 dfp switches -mdfp/-mno-dfp with -mhard-dfp/-mno-hard-dfp.

2007-11-07  Andreas Krebbel  <krebbel1@de.ibm.com>

* doc/invoke.texi: Replace rs6000 dfp switches -mdfp/-mno-dfp
with -mhard-dfp/-mno-hard-dfp.

From-SVN: r129957

tree-flow.h (struct fieldoff): Reformat comment.

* tree-flow.h (struct fieldoff): Reformat comment.
Document fields.
* tree-ssa-operands.c: Tidy top-level comments.
(add_vop): Likewise.
(add_vars_for_offset): Tidy parameter formatting..
(get_addr_dereference_operands): Likewise.
(get_indirect_ref_operands): Likewise.
(get_expr_operands) <OMP_ATOMIC_LOAD>: Reformat.
<OMP_ATOMIC_STORE>: Likewise.

From-SVN: r129956

re PR libfortran/33985 (access="stream",form="unformatted" doesn't buffer)

2007-11-06  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR libfortran/33985
* io/transfer.c (finalize_transfer): Revert previous patch.

From-SVN: r129955

vector.tcc (vector<>::_M_insert_aux<>(iterator, _Args&&...)): In C++0x mode do not use temporary copies.

2007-11-06  Paolo Carlini  <pcarlini@suse.de>

* include/bits/vector.tcc (vector<>::_M_insert_aux<>(iterator,
_Args&&...)): In C++0x mode do not use temporary copies.
(insert(iterator, const value_type&)): Copy to a temporary
when not reallocating.

* include/bits/vector.tcc (insert(iterator, value_type&&)):
Minor tweaks in C++0x mode.

From-SVN: r129954

Daily bump.

From-SVN: r129952

re PR middle-end/33670 (cc1 segfault with -O2 -fsched-stalled-insns=0 for twolf)

PR middle-end/33670
* haifa-sched.c (check_sched_flags): Remove.
(sched_init): Don't call it.

Co-Authored-By: Jakub Jelinek <jakub@redhat.com>
From-SVN: r129948

Add myself to MAINTAINERS

From-SVN: r129947

Correct ChangeLog entry for revision 129904.

From-SVN: r129945

re PR target/32787 (Sun Studio 12 Undefined symbol addl)

2007-11-06  Rask Ingemann Lambertsen  <rask@sygehus.dk>

PR target/32787
* config/i386/driver-i386.c: Test for __GNUC__ instead of
GCC_VERSION which is always defined.

From-SVN: r129944

re PR target/30961 (redundant reg/mem stores/moves)

gcc/

2007-11-06  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>

PR target/30961
* reload1.c (find_reloads): Also check in_reg when handling a
simple move with an input reload and a destination of a hard
register.

gcc/testsuite/

2007-11-06  H.J. Lu  <hongjiu.lu@intel.com>

PR target/30961
* gcc.target/i386/pr30961-1.c: New.

From-SVN: r129943

m68k.c (sched-int.h, [...]): New includes.

* config/m68k/m68k.c (sched-int.h, insn-codes.h): New includes.
(TARGET_SCHED_ADJUST_COST, TARGET_SCHED_VARIABLE_ISSUE,
TARGET_SCHED_INIT_GLOBAL, TARGET_SCHED_FINISH_GLOBAL,
TARGET_SCHED_INIT, TARGET_SCHED_DFA_PRE_ADVANCE_CYCLE,
TARGET_SCHED_DFA_POST_ADVANCE_CYCLE): Redefine.
(m68k_sched_attr_type2): New function.
(sched_adjust_cost_state): New static variable.
(m68k_sched_adjust_cost): New static function implementing
scheduler hook.
(sched_ib_size, sched_ib_filled, sched_ib_insn, sched_mem_unit_code):
New static variables.
(m68k_sched_variable_issue): New static function implementing
scheduler hook.
(sched_dump_class_def, sched_dump_class_func_t): New typedefs.
(sched_dump_split_class): New static function.
(sched_dump_dfa_guess_unit_code, sched_dump_dfa_state): New static
variables.
(sched_dump_dfa_class, m68k_sched_dump): New static function.
(m68k_sched_md_init_global, m68k_sched_md_finish_global,
m68k_sched_md_init, m68k_sched_dfa_pre_advance_cycle,
m68k_sched_dfa_post_advance_cycle): New static functions implementing
scheduler hooks.

* config/m68k/m68k.h (m68k_sched_attr_type2): Declare.
(CPU_UNITS_QUERY): Define.

* config/m68k/cf.md: New file.
* config/m68k/m68.md (cf.md): New include.

From-SVN: r129938

PR c++/32256, PR c++/32368:

gcc
PR c++/32256, PR c++/32368:
* function.c (saved_in_system_header): New global.
(push_cfun): Save in_system_header.
(pop_cfun): Restore in_system_header.
(push_struct_function): Save in_system_header.
gcc/testsuite
PR c++/32368:
* g++.dg/warn/pragma-system_header3.h: New.
* g++.dg/warn/pragma-system_header3.C: New.

PR c++/32256:
* g++.dg/warn/pragma-system_header4.C: New.
* g++.dg/warn/pragma-system_header4.h: New.

From-SVN: r129936

re PR c++/33977 (internal compiler error: canonical types differ for identical types const char [5] and const sal_Char [5])

2007-11-06  Douglas Gregor  <doug.gregor@gmail.com>

PR c++/33977
PR c++/33886
* tree.c (c_build_qualified_type): Define bridge to
cp_build_qualified_type.

2007-11-06  Douglas Gregor  <doug.gregor@gmail.com>

PR c++/33977
PR c++/33886
* c-common.c (c_build_qualified_type): Moved to c-typeck.c.
(complete_array_type): Set canonical type appropriately.
* c-typeck.c (c_build_qualified_type): Moved from c-common.c. The
C and C++ front ends now have different versions of this function,
because the C++ version needs to maintain canonical types here.

2007-11-06  Douglas Gregor  <doug.gregor@gmail.com>

PR c++/33977
PR c++/33886
* g++.dg/other/canon-array.C: New.

From-SVN: r129929

re PR c++/31439 (ICE with variadic template and broken specialization)

2007-11-06  Douglas Gregor  <doug.gregor@gmail.com>

PR c++/31439
PR c++/32114
PR c++/32115
PR c++/32125
PR c++/32126
PR c++/32127
PR c++/32128
PR c++/32253
PR c++/32566
* typeck.c (check_return_expr): Pass address of retval to
check_for_bare_parameter_packs.
* class.c (build_base_field): Tolerate bases that have no layout
due to errors.
(end_of_base): Ditto.
* tree.c (canonical_type_variant): Be careful with
ERROR_MARK_NODE.
* cp-tree.h (check_for_bare_parameter_packs): Now accepts a
tree*.
* pt.c (find_parameter_pack_data): Add set_packs_to_error field,
which states whether parameter packs should be replaced with
ERROR_MARK_NODE.
(find_parameter_packs_r): Pass addresses to cp_walk_tree wherever
possible. If set_packs_to_error is set true, replace the parameter
pack with ERROR_MARK_NODE. Manage our own pointer sets.
(uses_parameter_packs): Don't set parameter packs to
ERROR_MARK_NODE.
(check_for_bare_parameter_packs): Now takes a pointer to a tree,
which may be modified (if it is a parameter pack). Instructs
find_parameter_packs_r to replace parameter packs with
ERROR_MARK_NODE (so that they won't cause errors later on).
(process_template_parm): Pass pointer to
check_for_bare_parameter_packs.
(process_partial_specialization): Replace pack expansions before
the end of the template argument list with ERROR_MARK_NODE.
(push_template_decl_real): Pass pointer to
check_for_bare_parameter_packs. Replace parameter packs not at the
end of the template parameter list with ERROR_MARK_NODE.
(convert_template_argument): Be more careful about using DECL_NAME
on only declarations.
(unify): Can't unify against ERROR_MARK_NODE.
* semantics.c (finish_cond): Pass pointer to
check_for_bare_parameter_packs.
(finish_expr_stmt): Ditto.
(finish_for_expr): Ditto.
(finish_switch_cond): Pass pointer to
check_for_bare_parameter_packs, and call it before we put the
condition into the statement.
(finish_mem_initializers): Pass pointer to
check_for_bare_parameter_packs.
(finish_member_declaration): Ditto.
* parser.c (cp_parser_base_clause): Ditto.

2007-11-06  Douglas Gregor  <doug.gregor@gmail.com>

* testsuite/g++.dg/parser/crash36.C: Tweak expected errors.
* testsuite/g++.dg/cpp0x/pr31439.C: New.
* testsuite/g++.dg/cpp0x/pr32114.C: New.
* testsuite/g++.dg/cpp0x/pr32115.C: New.
* testsuite/g++.dg/cpp0x/pr32125.C: New.
* testsuite/g++.dg/cpp0x/pr32126.C: New.
* testsuite/g++.dg/cpp0x/pr32127.C: New.
* testsuite/g++.dg/cpp0x/pr32128.C: New.
* testsuite/g++.dg/cpp0x/pr32253.C: New.
* testsuite/g++.dg/cpp0x/pr32566.C: New.
* testsuite/g++.dg/cpp0x/pr31445.C: Tweak expected errors.
* testsuite/g++.dg/cpp0x/pr31438.C: Ditto.
* testsuite/g++.dg/cpp0x/variadic81.C: Ditto.
* testsuite/g++.dg/cpp0x/pr31432.C: Ditto.
* testsuite/g++.dg/cpp0x/pr31442.C: Ditto.

From-SVN: r129928

boost_shared_ptr.h: Avoid unnecessary memory barriers in _S_atomic case.

2007-11-06  Jonathan Wakely  <jwakely.gcc@gmail.com>

* include/tr1_impl/boost_shared_ptr.h: Avoid unnecessary memory
barriers in _S_atomic case.

From-SVN: r129927

tree-parloops.c (reduction_info): Remove reduction_init field.

2007-11-04  Razya Ladelsky  <razya@il.ibm.com>

* tree-parloops.c (reduction_info): Remove reduction_init field.
(initialize_reductions): Remove creation of the reduction_init variable.
(struct data_arg): Remove.
(add_field_for_reduction, create_stores_for_reduction): New functions.
(add_field_for_name): Remove reduction handling.
(separate_decls_in_loop): Call add_field_for_reduction,
create_stores_for_reduction.

From-SVN: r129923

re PR target/33168 (GCC Boot failure, building libstc++)

PR target/33168
* decl.c (cp_finish_decl): Call make_rtl_for_nonlocal_decl already
with the final TREE_READONLY flag in place.  processing_template_decl
is known to be 0 in this part of function.

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

From-SVN: r129922

re PR tree-optimization/33458 (ICE "PHI def is not a GIMPLE value")

PR tree-optimization/33458
* tree-inline.c (copy_phis_for_bb): If PHI arg substitution creates
!is_gimple_val PHI argument, gimplify it and insert it on edge.

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

From-SVN: r129921

re PR tree-optimization/33993 (ICE: verify_stmts failed (invalid reference prefix))

PR tree-optimization/33993
* tree-vect-transform.c (vect_get_constant_vectors): Use build_vector
rather than build_constructor_from_list if all list values are
constants.
(get_initial_def_for_induction): Use build_vector instead of
build_constructor_from_list.

* gcc.c-torture/compile/20071105-1.c: New test.

From-SVN: r129920

re PR c++/33894 (pragma omp atomic broken)

PR c++/33894
* cp-tree.h: Update comment - TYPE_LANG_FLAG_0 is not
OMP_ATOMIC_DEPENDENT_P in OMP_ATOMIC.
* pt.c (tsubst_expr): Assert OMP_ATOMIC_DEPENDENT_P.
* semantics.c (finish_omp_atomic): Revert most of the
2007-02-05 changes, just keep the new representation of
OMP_ATOMIC_DEPENDENT_P OMP_ATOMIC.

* testsuite/libgomp.c++/atomic-1.C: New test.

From-SVN: r129919

re PR target/33579 (INIT_PRIORITY is broken)

PR target/33579
* tree.h (DECL_INIT_PRIORITY): Do not require
DECL_HAS_INIT_PRIORITY_P.
(DECL_FINI_PRIORITY): Likewise.
* tree.c (decl_init_priority_lookup): Remove assert.
(decl_fini_priority_insert): Likewise.
* cgraphunit.c (static_ctors): Make it a VEC.
(static_dtors): Likewise.
(record_cdtor_fn): Adjust accordingly.
(build_cdtor): Generate multiple functions for each initialization
priority.
(compare_ctor): New function.
(compare_dtor): Likewise.
(cgraph_build_cdtor_fns): Sort the functions by priority before
calling build_cdtor.
(cgraph_build_static_cdtor): Put the priority in the function's
name.

From-SVN: r129918

Daily bump.

From-SVN: r129916

re PR driver/32632 (-pie won't override -shared in -shared -pie)

2007-11-05  H.J. Lu  <hongjiu.lu@intel.com>

PR driver/32632
* common.opt: Add shared and pie.

From-SVN: r129913

xtensa.c (xtensa_expand_nonlocal_goto): Do not replace references to virtual_stack_vars_rtx in goto_handler.

* config/xtensa/xtensa.c (xtensa_expand_nonlocal_goto): Do not replace
references to virtual_stack_vars_rtx in goto_handler.

From-SVN: r129912

re PR c++/33871 (typeinfo name referenced in ... defined in discarded section)

2007-11-05  H.J. Lu  <hongjiu.lu@intel.com>

PR c++/33871
* decl2.c (constrain_visibility): Clear DECL_ONE_ONLY if marked
local.

From-SVN: r129911

Fix last entry.

From-SVN: r129910

re PR rtl-optimization/33648 (ICE in verify_flow_info for -fmodulo-sched -freorder-blocks-and-partition)

PR rtl-optimization/33648
* gcc.dg/pr33648.c: New test.

From-SVN: r129909

stl_vector.h (vector<>::push_back<>(_Args...), [...]): Add.

2007-11-05  Chris Jefferson  <chris@bubblescope.net>
    Paolo Carlini  <pcarlini@suse.de>

* include/bits/stl_vector.h (vector<>::push_back<>(_Args...),
emplace<>(iterator, _Args...), insert(iterator, _Tp&&),
_M_insert_aux<>(iterator, _Args&&...)): Add.
* include/bits/vector.tcc (insert(iterator, value_type&&),
emplace<>(iterator, _Args...), _M_insert_aux<>(iterator, _Args&&...)):
Define.
(_M_fill_insert(iterator, size_type, const value_type&),
_M_range_insert(iterator, _ForwardIterator, _ForwardIterator,
std::forward_iterator_tag)): Use __uninitialized_move_a,
_GLIBCXX_MOVE_BACKWARD3 when possible.
* include/bits/stl_uninitialized.h (__uninitialized_move_a): Add.
* include/debug/vector (vector<>::push_back<>(_Args...),
emplace<>(iterator, _Args...), insert(iterator, _Tp&&)): Add.
* testsuite/23_containers/vector/modifiers/moveable.cc: Enable.
* testsuite/23_containers/vector/resize/moveable.cc: Likewise.
* testsuite/23_containers/vector/cons/moveable.cc: Likewise.
* testsuite/23_containers/vector/requirements/dr438/assign_neg.cc:
Adjust dg-error line numbers.
* testsuite/23_containers/vector/requirements/dr438/insert_neg.cc:
Likewise.
* testsuite/23_containers/vector/requirements/dr438/
constructor_1_neg.cc: Likewise.
* testsuite/23_containers/vector/requirements/dr438/
constructor_2_neg.cc: Likewise.

Co-Authored-By: Paolo Carlini <pcarlini@suse.de>
From-SVN: r129907

Fix check_750cl_hw_available function

From-SVN: r129906

Index...

Index: testsuite/g++.dg/cpp0x/pr33996.C
===================================================================
--- testsuite/g++.dg/cpp0x/pr33996.C (revision 0)
+++ testsuite/g++.dg/cpp0x/pr33996.C (revision 0)
@@ -0,0 +1,52 @@
+// { dg-options "-std=c++0x" }
+
+#define BUG
+struct type
+{
+  type() { }
+  type(const type&) { }
+
+private:
+  type(type&&);
+};
+
+template<typename _Tp>
+  struct identity
+  {
+    typedef _Tp type;
+  };
+
+template<typename _Tp>
+  inline _Tp&&
+  forward(typename identity<_Tp>::type&& __t)
+  { return __t; }
+
+struct vec
+{
+  template<typename _Args>
+    void
+    bar(_Args&& __args)
+#ifdef BUG
+    ;
+#else
+    {
+      type(forward<_Args>(__args));
+    }
+#endif
+};
+
+#ifdef BUG
+template<typename _Args>
+  void
+  vec::bar(_Args&& __args)
+  {
+    type(forward<_Args>(__args));
+  }
+#endif
+
+int main()
+{
+  vec v;
+  type c;
+  v.bar(c);
+}
Index: testsuite/g++.dg/cpp0x/rv-trivial-bug.C
===================================================================
--- testsuite/g++.dg/cpp0x/rv-trivial-bug.C (revision 0)
+++ testsuite/g++.dg/cpp0x/rv-trivial-bug.C (revision 0)
@@ -0,0 +1,33 @@
+// { dg-do "run" }
+// { dg-options "-std=c++0x" }
+// PR c++/33235
+#include <cassert>
+
+int move_construct = 0;
+int move_assign = 0;
+
+struct base2
+{
+    base2() {}
+    base2(base2&&) {++move_construct;}
+    base2& operator=(base2&&) {++move_assign; return *this;}
+};
+
+int test2()
+{
+    base2 b;
+    base2 b2(b);
+    assert(move_construct == 0);
+    base2 b3(static_cast<base2&&>(b));
+    assert(move_construct == 1);
+    b = b2;
+    assert(move_assign == 0);
+    b = static_cast<base2&&>(b2);
+    assert(move_assign == 1);
+}
+
+int main()
+{
+    test2();
+    return 0;
+}
Index: testsuite/g++.dg/cpp0x/pr33930.C
===================================================================
--- testsuite/g++.dg/cpp0x/pr33930.C (revision 0)
+++ testsuite/g++.dg/cpp0x/pr33930.C (revision 0)
@@ -0,0 +1,10 @@
+// { dg-options "-std=c++0x" }
+typedef const int* type;
+
+float& foo( const type& ggg );
+int& foo( type&& ggg );
+
+void bar( int* someptr )
+{
+  int& x = foo( someptr );
+}
Index: cp/typeck.c
===================================================================
--- cp/typeck.c (revision 129899)
+++ cp/typeck.c (working copy)
@@ -620,7 +620,7 @@ merge_types (tree t1, tree t2)
  if (code1 == POINTER_TYPE)
    t1 = build_pointer_type (target);
  else
-   t1 = build_reference_type (target);
+   t1 = cp_build_reference_type (target, TYPE_REF_IS_RVALUE (t1));
  t1 = build_type_attribute_variant (t1, attributes);
  t1 = cp_build_qualified_type (t1, quals);

Index: cp/call.c
===================================================================
--- cp/call.c (revision 129899)
+++ cp/call.c (working copy)
@@ -5076,7 +5076,8 @@ build_over_call (struct z_candidate *can
      return build_target_expr_with_type (arg, DECL_CONTEXT (fn));
  }
       else if (TREE_CODE (arg) == TARGET_EXPR
-        || TYPE_HAS_TRIVIAL_INIT_REF (DECL_CONTEXT (fn)))
+        || (TYPE_HAS_TRIVIAL_INIT_REF (DECL_CONTEXT (fn))
+    && !move_fn_p (fn)))
  {
    tree to = stabilize_reference
      (build_indirect_ref (TREE_VALUE (args), 0));
@@ -6118,7 +6119,11 @@ compare_ics (conversion *ics1, conversio
   if (ics1->kind == ck_qual
       && ics2->kind == ck_qual
       && same_type_p (from_type1, from_type2))
-    return comp_cv_qual_signature (to_type1, to_type2);
+    {
+      int result = comp_cv_qual_signature (to_type1, to_type2);
+      if (result != 0)
+ return result;
+    }

   /* [over.ics.rank]

From-SVN: r129905

config.gcc (arm*-*-*): Set c_target_objs and cxx_target_objs.

2007-11-05  Paul Brook  <paul@codesourcery.com>

gcc/
* config.gcc (arm*-*-*): Set c_target_objs and cxx_target_objs.
* config/arm/arm.c (arm_lang_output_object_attributes_hook): New.
(arm_file_start): Don't set Tag_ABI_PCS_wchar_t.  Call
arm_lang_output_object_attributes_hook.
* config/arm/arm.h (arm_lang_output_object_attributes_hook): Declare.
(REGISTER_TARGET_PRAGMAS): Call arm_lang_object_attributes_init.
* config/arm/arm-protos.h (arm_lang_object_attributes_init): Add
prototype.
* config/arm/t-arm.c (arm.o): New rule.
* config/arm/arm-c.c: New file.

From-SVN: r129904

configure.ac: Don't run config-ml.in directly.

2007-11-05  H.J. Lu  <hongjiu.lu@intel.com>

* configure.ac: Don't run config-ml.in directly.
(multilib_arg): New.
* configure: Regenerated.

From-SVN: r129902

re PR tree-optimization/32540 (Exponential time behavior in PRE)

2007-11-05  Nick Clifton  <nickc@redhat.com>
    Sebastian Pop  <sebastian.pop@amd.com>

PR tree-optimization/32540
PR tree-optimization/33922
* doc/invoke.texi: Document PARAM_MAX_PARTIAL_ANTIC_LENGTH.
* tree-ssa-pre.c: Include params.h.
(compute_partial_antic_aux): Use PARAM_MAX_PARTIAL_ANTIC_LENGTH
to limit the maximum length of the PA set for a given block.
* Makefile.in: Add a dependency upon params.h for tree-ssa-pre.c
* params.def (PARAM_MAX_PARTIAL_ANTIC_LENGTH): New parameter.

* gcc.dg/tree-ssa/pr32540-1.c: New.
* gcc.dg/tree-ssa/pr32540-2.c: New.
* gcc.dg/tree-ssa/pr33922.c: New.

Co-Authored-By: Sebastian Pop <sebastian.pop@amd.com>
From-SVN: r129901

re PR c++/33939 (Rvalue references not deduced correctly in vararg function templates)

2007-11-05  Douglas Gregor  <doug.gregor@gmail.com>

PR c++/33939
* pt.c (unify_pack_expansion): bring handling of function call
arguments into line with type_unification_real.

2007-11-05  Douglas Gregor  <doug.gregor@gmail.com>

PR c++/33939
* g++.dg/cpp0x/variadic-rref.C: New.

From-SVN: r129900

libgcc2.c (__fixunstfDI, [...]): Make return type unsigned.

* libgcc2.c (__fixunstfDI, __fixunsxfDI, __fixunsdfDI,
__fixunssfDI): Make return type unsigned.
* libgcc2.h (__fixunstfDI, __fixunsxfDI, __fixunsdfDI,
__fixunssfDI): Make return type unsigned.

From-SVN: r129899

typeck.c (build_binary_op): Use pedwarn instead of error for consistency.

2007-11-05  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
cp/
* typeck.c (build_binary_op): Use pedwarn instead of error for
consistency.
testsuite/
* g++dg/warn/pointer-integer-comparison.C: New.

From-SVN: r129898

re PR tree-optimization/33856 (Segfault in create_data_ref/compute_data_dependences_for_loop)

PR tree-optimization/33856
* tree-data-ref.c (get_references_in_stmt): Don't add
REFERENCE_CLASS_P trees to references vector if get_base_address
returns NULL on them.

* gcc.c-torture/compile/20071027-1.c: New test.

From-SVN: r129897

re PR c++/33836 (ICE with invalid use of &&)

PR c++/33836
* parser.c (cp_parser_unary_expression): For &&label call
cp_parser_non_integral_constant_expression and return error_mark_node
if it returned true.

* g++.dg/ext/label10.C: New test.

From-SVN: r129896

re PR c++/33969 (ICE with const and function pointer)

PR c++/33969
* decl.c (grokdeclarator): Don't call build_memfn_type if type
is neither FUNCTION_TYPE nor METHOD_TYPE.

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

From-SVN: r129895

* cfg.c (dump_cfg_bb_info): Update bb_bitnames to match enum.

From-SVN: r129893

Daily bump.

From-SVN: r129891

Index...

Index: ChangeLog
===================================================================
--- ChangeLog   (revision 129887)
+++ ChangeLog   (working copy)
@@ -6447,6 +6447,7 @@

 2007-09-02  Joseph Myers  <joseph@codesourcery.com>

+       PR c/29237
        PR middle-end/33272
        * c-decl.c (grokdeclarator): Apply qualifiers to type of parameter
        decayed from array.
Index: testsuite/ChangeLog
===================================================================
--- testsuite/ChangeLog (revision 129887)
+++ testsuite/ChangeLog (working copy)
@@ -3041,6 +3041,7 @@

 2007-09-02  Joseph Myers  <joseph@codesourcery.com>

+       PR C/29237
        PR middle-end/33272
        * gcc.dg/c99-arraydecl-3.c: New test.

From-SVN: r129888

re PR middle-end/32931 (FORALL and WHERE give an ICE with -m64)

2007-11-04  Andrew Pinski  <pinskia@gmail.com>

        PR middle-end/32931
        * fold-const.c (fold_binary <case EQ_EXPR>): Convert the inner type
        for TRUTH_NOT_EXPR to type.

2007-11-04  Andrew Pinski  <pinskia@gmail.com>

        PR middle-end/32931
        * gfortran.fortran-torture/compile/forall-1.f90: New testcase.

From-SVN: r129886

* doc/contrib.texi (Contributors): Add Manuel Lopez-Ibanez.

From-SVN: r129884

_Pragma1.C: Disable on AIX.

        * g++.dg/cpp/_Pragma1.C: Disable on AIX.
        * g++.dg/ext/visibility/namespace2.C: Add argument to
        dg-require-visibility.
        * g++.dg/ext/java-1.C: Disable on AIX.

From-SVN: r129883

re PR fortran/10220 (attribute DW_AT_calling_convention not correct for fortran)

PR fortran/10220
* dwarf2out.c (add_calling_convention_attribute): Change
second argument. Set calling convention to DW_CC_program for
Fortran main program.
(gen_subprogram_die): Adjust to new prototype for
add_calling_convention_attribute.

From-SVN: r129882

no-vfa-pr32377.f90: Remove xfail.

* gfortran.dg/vect/no-vfa-pr32377.f90: Remove xfail.

From-SVN: r129881

re PR tree-optimization/33987 (internal compiler error: in get_initial_def_for_reduction, at tree-vect-transform.c:2110 with -O3 -msse2)

        PR tree-optimization/33987
        * tree-vect-transform.c (get_initial_def_for_reduction): Fix assert.
        Fix indentation.
        (vectorizable_reduction): Add type check.

From-SVN: r129880

Daily bump.

From-SVN: r129878

random (variate_generator<>::min, [...]): Return non-trivial values when _Engine_result_type is a floating point type and...

2007-11-03  Paolo Carlini  <pcarlini@suse.de>
    Kai-Uwe Bux  <bux@kubux.net>

* include/tr1_impl/random (variate_generator<>::min, max,
operator()()): Return non-trivial values when _Engine_result_type
is a floating point type and result_type is an integer type.

Co-Authored-By: Kai-Uwe Bux <bux@kubux.net>
From-SVN: r129875

re PR fortran/33881 (wrong code for assumed length character arrays)

PR fortran/33881

* trans-array.c (gfc_conv_array_parameter): Evaluate
se->string_length instead of the expr->ts.cl->backend_decl.

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

From-SVN: r129874

re PR c/29062 (unclear diagnostic for declaration after label)

2007-11-03  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

PR c/29062
* c-parser.c (c_parser_statement_after_labels): Error if a
declaration is parsed after a label.
testsuite/
* gcc.dg/20031223-1.c: Adjust error output.
* gcc.dg/parse-decl-after-label.c: New.

From-SVN: r129873

re PR debug/33921 (FAIL: gcc.dg/debug/debug-6.c -gdwarf-2 -O scan-assembler xyzzy)

PR debug/33921
* reorg.c (emit_delay_sequence): Do not clear the locator on
the jump instruction.

From-SVN: r129872

re PR libfortran/24685 (real(16) formatted input is broken for huge values (gfortran.dg/default_format_2.f90))

2007-11-03  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR libfortran/24685
* gfortran.dg/default_format_2.f90: XFAIL powerpc*-*-linux*
* gfortran.dg/default_format_denormal_2.f90: XFAIL powerpc*-*-linux*
* gfortran.dg/large_real_kind_form_io_2.f90: XFAIL powerpc*-*-linux*

From-SVN: r129871

re PR libfortran/33985 (access="stream",form="unformatted" doesn't buffer)

2007-11-03  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR libfortran/33985
* io/transfer.c (finalize_transfer): Do not flush for
unformatted STREAM I/O.

From-SVN: r129870

gfortran.h: Shorten comment.

* gfortran.h: Shorten comment.
* trans-types.c (gfc_get_function_type): Allow argument to have
flavor FL_PROGRAM.
* trans-decl.c (gfc_sym_mangled_function_id): Mangle main program
name into MAIN__.
(build_function_decl): Fix comment.
* parse.c (main_program_symbol): Give the main program its proper
name, if any. Set its flavor to FL_PROGRAM.
(gfc_parse_file): Likewise.

From-SVN: r129869

re PR rtl-optimization/28940 (address selection does not work correctly)

PR rtl-optimization/28940
* gcc.target/i386/addr-sel-1.c: New test.

From-SVN: r129868

Daily bump.

From-SVN: r129866

re PR middle-end/33670 (cc1 segfault with -O2 -fsched-stalled-insns=0 for twolf)

PR middle-end/33670
* haifa-sched.c (ok_for_early_queue_removal): Don't walk out of the
current sched region.

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

From-SVN: r129863

re PR c++/33516 (Rejects typedef qualified name-lookup)

PR c++/33516
* parser.c (cp_parser_nested_name_specifier_opt): Use
TYPE_MAIN_VARIANT (new_scope) as scope if new_scope is an incomplete
typedef of currently open class.

* g++.dg/lookup/typedef1.C: New test.

From-SVN: r129862

ia64.c (struct reg_write_state): Change into unsigned short bitfields rather than unsigned int...

* config/ia64/ia64.c (struct reg_write_state): Change into
unsigned short bitfields rather than unsigned int, decrease
first_pred to just 10 bits.
(rws_insn): Change into a bitmap or if not ENABLE_CHECKING
into two char array.
(rws_insn_set, rws_insn_test): New functions.
(in_safe_group_barrier): New variable.
(rws_update): Remove first argument, always set rws_sum array.
(rws_access_regno): Use rws_insn_set macro.  Only call rws_update
or update rws_sum if !in_safe_group_barrier, adjust rws_update
args.
(rtx_needs_barrier): Use rws_insn_test macro.
(safe_group_barrier_needed): Don't save/restore rws_sum array,
instead set/clear in_safe_group_barrier flag.

From-SVN: r129861

re PR java/33765 (gcj internal compiler error when reading an empty file)

PR java/33765:
* jcf-parse.c (java_parse_file): Ignore ZIPEMPTYMAGIC files.
* zipfile.h (ZIPEMPTYMAGIC): New define.

From-SVN: r129860

re PR testsuite/32076 ("gcc.dg/tree-ssa/pr17141-1.c scan-tree-dump locp.*->i =" is the same name twice)

PR testsuite/32076
* lib/scandump.exp (dump-suffix): New.
(scan-dump, scan-dump-times, scan-dump-dem, scan-dump-dem-not):
Include dump suffix in pass/fail messages, put regexp in quotes.

From-SVN: r129858

* intrinsic.texi (ALLOCATED): Fix typo.

From-SVN: r129857

xtensa.c (xtensa_expand_prologue): Put a REG_FRAME_RELATED_EXPR note on the last insn that sets up the stack...

* config/xtensa/xtensa.c (xtensa_expand_prologue): Put a
REG_FRAME_RELATED_EXPR note on the last insn that sets up the stack
pointer or frame pointer.
* config/xtensa/xtensa.h (DWARF_UNWIND_INFO): Delete.
(MUST_USE_SJLJ_EXCEPTIONS): Define.
(DWARF2_UNWIND_INFO): Define.
(INCOMING_RETURN_ADDR_RTX): Define.
(DWARF_FRAME_RETURN_COLUMN): Define.

From-SVN: r129854

stl_algo.h (minmax, [...]): Add.

2007-11-02  Paolo Carlini  <pcarlini@suse.de>

* include/bits/stl_algo.h (minmax, minmax_element): Add.
* include/bits/algorithmfwd.h: Update.
* testsuite/25_algorithms/minmax/requirements/
explicit_instantiation/2.cc: New.
* testsuite/25_algorithms/minmax/requirements/
explicit_instantiation/pod.cc: Likewise.
* testsuite/25_algorithms/minmax/1.cc: Likewise.
* testsuite/25_algorithms/minmax_element/check_type.cc: Likewise.
* testsuite/25_algorithms/minmax_element/requirements/
explicit_instantiation/2.cc: Likewise.
* testsuite/25_algorithms/minmax_element/requirements/
explicit_instantiation/pod.cc: Likewise.
* testsuite/25_algorithms/minmax_element/1.cc: Likewise.
* testsuite/25_algorithms/headers/algorithm/synopsis.cc: Update.

From-SVN: r129853

re PR libstdc++/33892 ([libstdc++ v3 parallel mode] Parallel mode algorithms use critical sections with global scope)

2007-11-02  Johannes Singler  <singler@ira.uka.de>

      PR libstdc++/33892

      * include/parallel/workstealing.h: Replaced pragma by function
        call lock.
      * include/parallel/search.h: Same
      * include/parallel/partition.h: Same
      * include/parallel/find.h: Same

From-SVN: r129852

varpool.c (dump_varpool): Use 'next', not 'next_needed' when traversing pool.

* varpool.c (dump_varpool): Use 'next', not 'next_needed' when
traversing pool.

From-SVN: r129851

re PR c++/33495 (Broken diagnostic: Trouble pretty-printing statement expressions)

2007-11-02  Paolo Carlini  <pcarlini@suse.de>

PR c++/33495
* error.c (dump_expr): Deal specially with statements.

2007-11-02  Paolo Carlini  <pcarlini@suse.de>

PR c++/33495
* g++.dg/other/error19.C: New.

From-SVN: r129850

re PR rtl-optimization/28062 (ICE in simplify_subreg, at simplify-rtx.c:4466)

PR rtl-optimization/28062
* gcc.c-torture/compile/20071102-1.c: New test.

From-SVN: r129846

langhooks.h (struct lang_hooks_for_callgraph): Remove third argument from function pointer ANALYZE_EXPR.

* langhooks.h (struct lang_hooks_for_callgraph): Remove third
argument from function pointer ANALYZE_EXPR.  Update all
users.
* cgraph.c (debug_cgraph_node): New.
(debug_cgraph): New.

From-SVN: r129845

re PR c++/30897 (ICE with default argument in template template parameter)

        PR c++/30897
        * pt.c (push_template_decl_real): Set DECL_CONTEXT on template
        template parms.
        (lookup_template_class): Use it to get the outer template args
        for instantiating one.

        PR c++/29236
        * pt.c (reduce_template_parm_level): tsubst the parameters
        of a template template parm.

From-SVN: r129844

re PR c++/33955 (internal compiler error: in dependent_type_p, at cp/pt.c:15245 (vararg template problem))

2007-11-01  Douglas Gregor  <doug.gregor@gmail.com>

PR c++/33955
* pt.c (find_parameter_packs_r): Handle TYPENAME_TYPE.

2007-11-01  Douglas Gregor  <doug.gregor@gmail.com>

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

From-SVN: r129843

Daily bump.

From-SVN: r129841

re PR preprocessor/30805 (Internal compiler error when using "x##,##__VA_ARGS__" in macro)

PR preprocessor/30805:
* gcc.dg/cpp/pr30805.c: Use -std=gnu89.

From-SVN: r129838

re PR rtl-optimization/33648 (ICE in verify_flow_info for -fmodulo-sched -freorder-blocks-and-partition)

PR rtl-optimization/33648
* cfgrtl.c (cfg_layout_split_edge): Initialize BB_PARTITION of
the newly created basic block.

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

From-SVN: r129837

re PR c++/32384 (Pseudo-dtor in template class rejected)

PR c++/32384
* parser.c (cp_parser_postfix_dot_deref_expression): If
POSTFIX_EXPRESSION is type dependent, try to parse it as pseudo dtor
first and if that succeeds and type is SCALAR_TYPE_P, create
PSEUDO_DTOR_EXPR.

* g++.dg/template/pseudodtor1.C: New test.
* g++.dg/template/pseudodtor2.C: New test.

From-SVN: r129836

re PR c++/32260 (too many warning: dereferencing type-punned pointer will break strict-aliasing rules)

PR c++/32260
* rtti.c (enum_tinfo_kind): Fix TK_TYPE_INFO_TYPE comment.
(typeid_ok_p): Use the same alias set for abi::__type_info_pseudo
as for std::type_info.

* g++.dg/rtti/typeid7.C: New test.

From-SVN: r129835

ggc-page.c (extra_order_size_tab): Add bitmap_head size.

2007-11-01  Richard Guenther  <rguenther@suse.de>

        * ggc-page.c (extra_order_size_tab): Add bitmap_head size.

From-SVN: r129833

re PR rtl-optimization/33828 (Issues with code hoisting implementation in gcse.c)

PR rtl-optimization/33828
* gcse.c (compute_code_hoist_vbeinout): Fix order of computation
of VBEIN and VBEOUT.

From-SVN: r129832

optabs.c (prepare_cmp_insn): Merge a couple of conditional blocks.

* optabs.c (prepare_cmp_insn): Merge a couple of conditional blocks.
* sched-rgn.c (compute_trg_info): Zero 'el' local variable.
* tree-if-conv.c (process_phi_nodes): Zero 'cond' local variable.

From-SVN: r129830

Make-lang.in (java/jcf-dump.o): Depend on zipfile.h.

* Make-lang.in (java/jcf-dump.o): Depend on zipfile.h.
(java/jcf-parse.o): Depend on jcf-reader.c, zipfile.h, and jcf.h.
(java/jcf-io.o): Depend on zipfile.h.

From-SVN: r129829

re PR preprocessor/30805 (Internal compiler error when using "x##,##__VA_ARGS__" in macro)

libcpp
PR preprocessor/30805:
* macro.c (paste_tokens): Handle padding token.
(paste_tokens): Don't abort unless padding has PASTE_LEFT flag.
gcc/testsuite
PR preprocessor/30805:
* gcc.dg/cpp/pr30805.c: New file.

From-SVN: r129827

lang-specs.h: Move translation of -fRTS= after -gnatez switch.

* lang-specs.h: Move translation of -fRTS= after -gnatez switch.

From-SVN: r129826

gcc.c (getenv_spec_function): Escape the environment variable's value.

* gcc.c (getenv_spec_function): Escape the environment variable's
value.

From-SVN: r129825

invoke.texi (Optimize Options): Under -fcse-follow-jumps, show that CSE means common subexpression elimination.

* doc/invoke.texi (Optimize Options): Under -fcse-follow-jumps,
show that CSE means common subexpression elimination.  Change wording
for -fsee and define LCM.  Remove capitalization of optimizations
for -ftree-reassoc, -ftree-pre, and -ftree-fre.

From-SVN: r129824

re PR testsuite/25352 (xfail within dg-do command has no effect)

gcc/
PR testsuite/25352
* doc/sourcebuild.texi (Test Directives): Document that xfail
has no effect for dg-do except when dg-do-what is "run".

libstdc++-v3/
PR testsuite/25352
* testsuite/26_numerics/headers/cmath/c99_classification_macros_c.cc:
Remove xfail from dg-do and add dg-skip-if.

gcc/testsuite/
PR testsuite/25352
* gcc.c-torture/compile/20000804-1.c: Remove xfail from dg-do and
add dg-skip-if.
* gcc.c-torture/compile/20001205-1.c: Ditto.
* gcc.c-torture/compile/20001226-1.c: Ditto.
* gcc.c-torture/compile/20020312-1.c: Ditto.
* gcc.c-torture/compile/20020604-1.c: Ditto.
* gcc.c-torture/compile/920501-12.c: Ditto.
* gcc.c-torture/compile/920501-4.c: Ditto.
* gcc.c-torture/compile/920520-1.c: Ditto.
* gcc.c-torture/compile/980506-1.c: Ditto.
* gcc.c-torture/compile/990617-1.c: Ditto.
* gcc.dg/compare6.c: Ditto.
* g++.old-deja/g++.brendan/crash43.C: Ditto.
* g++.old-deja/g++.brendan/synth1.C: Ditto.
* g++.old-deja/g++.oliva/dwarf2.C: Ditto.
* g++.old-deja/g++.oliva/dwarf3.C: Ditto.
* g++.old-deja/g++.pt/static6.C: Ditto.
* g++.old-deja/g++.pt/crash16.C: Ditto.
* g++.old-deja/g++.mike/p10416.C: Ditto.
* g++.old-deja/g++.mike/ns15.C: Ditto.
* g++.old-deja/g++.mike/eh46.C: Ditto.

From-SVN: r129823

c-decl.c (grokdeclarator): Set decl source locations.

gcc
* c-decl.c (grokdeclarator): Set decl source locations.
* c-parser.c (c_parser_enum_specifier): Set location.
(c_parser_struct_or_union_specifier): Likewise.
gcc/testsuite
* gcc.dg/redecl-1.c: Update.
* gcc.dg/pr20368-3.c: Update.
* gcc.dg/inline-14.c: Update.
* gcc.dg/builtins-30.c: Update.
* gcc.dg/dremf-type-compat-4.c: Update.
* gcc.dg/pr20368-2.c: Update.

From-SVN: r129822

* print-tree.c (print_node): Print column number.

From-SVN: r129821

re PR debug/33537 (C++ arguments passed by invisible reference have wrong type)

PR debug/33537
* dwarf2out.c (gen_formal_parameter_die, gen_variable_die,
gen_decl_die): Use TREE_TYPE (TREE_TYPE (decl)) as type
rather than TREE_TYPE (decl) if DECL_BY_REFERENCE (decl).

From-SVN: r129820