trap-1.c, [...]: New tests.

* gcc.target/cris/torture/trap-1.c,
gcc.target/cris/torture/trap-2.c,
gcc.target/cris/torture/trap-3.c,
gcc.target/cris/torture/trap-v0.c,
gcc.target/cris/torture/trap-v3.c: New tests.

From-SVN: r187943

cris.h (TARGET_HAS_BREAK, [...]): New macros.

* config/cris/cris.h (TARGET_HAS_BREAK, TARGET_TRAP_USING_BREAK8):
New macros.
* config/cris/cris.md ("trap"): Define, enabled for
TARGET_TRAP_USING_BREAK8.
* config/cris/cris.opt (mtrap-using-break8): New option.

From-SVN: r187942

Daily bump.

From-SVN: r187941

re PR c++/25137 (Warning "missing braces around initializer" causing problems with tr1::array)

/c-family
2012-05-28  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/25137
* c-opts.c (c_common_handle_option): For C++ -Wall doesn't enable
-Wmissing_braces.

2012-05-28  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/25137
* doc/invoke.texi: Document -Wmissing-braces not enabled by -Wall
for C++.

/testsuite
2012-05-28  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/25137
* g++.dg/warn/Wbraces3.C: New.
* g++.dg/warn/Wbraces4.C: Likewise.

From-SVN: r187937

Fix grammo in last CL entry.

From-SVN: r187936

* doc/md.texi (Standard Names): Fix typos in documentation for atomic patterns.

From-SVN: r187935

md.texi (stack_protect_test): Remove negation of branch to label.

* doc/md.texi (stack_protect_test): Remove negation of
        branch to label.

From-SVN: r187934

re PR c++/53505 (bitfield with bool type generated broken object file)

PR tree-optimization/53505
* c-c++-common/torture/pr53505.c: New test.

From-SVN: r187931

re PR c++/53503 ([C++0x] unexpected AST of kind ltgt_expr)

gcc/cp
2012-05-28  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/53503
* semantics.c (potential_constant_expression_1): Handle LTGT_EXPR.

libstdc++-v3
2012-05-28  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/53503
* testsuite/26_numerics/headers/cmath/53503.cc: New.

From-SVN: r187928

Daily bump.

From-SVN: r187927

tree.c (build_constructor): Propagate TREE_SIDE_EFFECTS.

* tree.c (build_constructor): Propagate TREE_SIDE_EFFECTS.
testsuite/
* gcc.dg/stmt-expr-4.c: New.

From-SVN: r187923

Minor timing cleanups.

2012-05-27  Janne Blomqvist  <jb@gcc.gnu.org>

* intrinsics/time_1.h (gf_cputime): Don't reevaluate HZ expression
for times fallback, clarify operation ordering for times and clock
fallbacks.
(gf_gettime): Fix comment typo.

From-SVN: r187922

Daily bump.

From-SVN: r187921

re PR c++/53491 (ICE in build_target_expr_with_type, at cp/tree.c:587)

/cp
2012-05-26  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/53491
* tree.c (stabilize_expr): Handle exp of void type.

/testsuite
2012-05-26  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/53491
* g++.dg/parse/crash60.C: New.

From-SVN: r187917

re PR c++/53220 (g++ mis-compiles compound literals)

PR c++/53220
gcc/
* c-typeck.c (array_to_pointer_conversion): Give -Wc++-compat warning
about array compound literals.
gcc/cp/
* call.c (convert_like_real) [ck_list]: Take array address directly.
* typeck.c (decay_conversion): Reject decay of an array compound
literal.

From-SVN: r187916

re PR ada/50294 (ICE in output_constructor_regular_field)

PR ada/50294
* gnat.dg/array21.adb: New test.

From-SVN: r187914

cfgcleanup.c (try_optimize_cfg): Do not delete forwarder blocks if CLEANUP_NO_INSN_DEL.

* cfgcleanup.c (try_optimize_cfg): Do not delete forwarder blocks
if CLEANUP_NO_INSN_DEL.
* cfgrtl.c (unique_locus_on_edge_between_p): New function extracted
from cfg_layout_merge_blocks.
(emit_nop_for_unique_locus_between): New function.
(rtl_merge_blocks): Invoke emit_nop_for_unique_locus_between.
(cfg_layout_merge_blocks): Likewise.

From-SVN: r187913

* gnat.dg/renaming5.adb: Adjust dg-final directive.

From-SVN: r187912

df-scan.c (df_def_record_1): Assert a parallel must contain an EXPR_LIST at this point.

2012-05-26  Dimitrios Apostolou  <jimis@gmx.net>
    Paolo Bonzini  <bonzini@gnu.org>

* df-scan.c (df_def_record_1): Assert a parallel must contain an
EXPR_LIST at this point.  Receive the LOC and move its extraction...
(df_defs_record): ... here. Change if-else to a switch statement.
(df_find_hard_reg_defs, df_find_hard_reg_defs_1): New.
(df_get_call_refs): Changed defs_generated from bitmap to HARD_REG_SET
and compute it from df_find_hard_reg_defs(). Record DF_REF_BASE
DEFs in REGNO order. Use HARD_REG_SET instead of bitmap for
regs_invalidated_by_call.
(df_insn_refs_collect): Record DF_REF_REGULAR DEFs after
df_get_call_refs().

Co-Authored-By: Paolo Bonzini <bonzini@gnu.org>
From-SVN: r187911

decl.c (variant_desc): Rename 'record' to 'new_type'.

* gcc-interface/decl.c (variant_desc): Rename 'record' to 'new_type'.
(build_variant_list): Adjust to above renaming.
(gnat_to_gnu_entity) <E_Record_Subtype>: Likewise.  Give a unique name
to the type of the variant containers.
(create_variant_part_from): Likewise.  Give a unique name to the type
of the variant part.

From-SVN: r187908

Daily bump.

From-SVN: r187906

re PR c++/32054 (Storage classes on anonymous unions in classes)

/cp
2012-05-25  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/32054
* parser.c (cp_parser_member_declaration): A storage class is not
allowed in a declaration of an anonymous aggregate in a class scope.

/testsuite
2012-05-25  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/32054
* g++.dg/other/anon-union3.C: New.

From-SVN: r187902

runtime: More efficient implementation of trampolines.

From-SVN: r187899

compiler: Don't create a closure if not needed.

From-SVN: r187897

morestack.S (__morestack_non_split): Check whether caller is varargs and needs %bp to hold the stack frame on return.

libgcc/:
* config/i386/morestack.S (__morestack_non_split): Check whether
caller is varargs and needs %bp to hold the stack frame on return.
gcc/testsuite/:
* gcc.dg/split-6.c: New test.

From-SVN: r187894

re PR lto/52178 (Ada bootstrap failure in LTO mode)

PR lto/52178
* tree-inline.c (remap_gimple_op_r): Fix handling of FIELD_DECL.
* tree.c (RETURN_TRUE_IF_VAR): Do not return true for PLACEHOLDER_EXPR.

From-SVN: r187892

t-linux64: Delete the 32-bit multilib that uses software floating point emulation.

2012-05-25  Michael Meissner  <meissner@linux.vnet.ibm.com>

* config/rs6000/t-linux64: Delete the 32-bit multilib that uses
software floating point emulation.  No longer build the multilibs
with -mstrict-align.

From-SVN: r187891

runtime: Fix cast error in print.c on 32-bit systems.

From-SVN: r187889

re PR objc++/53441 (obj-c++.dg/ivar-invalid-type-1.mm ICE)

PR obj-c++/53441
* decl.c (grokdeclarator): Check that current_class_type is non-NULL
before calling constructor_name_p.

From-SVN: r187888

re PR middle-end/53008 (abort in _ITM_getTMCloneSafe)

        PR middle-end/53008
        * trans-mem.c (ipa_tm_create_version_alias): Output new_node if
        accessed indirectly.
        (ipa_tm_create_version): Same.

From-SVN: r187887

* decl.c: Revert unwanted commit.

From-SVN: r187886

re PR target/53474 (Solaris/x86 bootstrap with Sun as broken: j.e)

PR target/53474
* config/i386/i386.c (ix86_print_operand) <case 'O'>: Print '.' here.
<case 'C', case 'c', case 'F', case 'f'>: Print '.' only for C and c.

From-SVN: r187885

re PR target/53435 ((ix86_expand_vec_perm) and (ix86_expand_vec_perm) do not pass arguments to avx2_permvar8s[f,i] correctly)

2012-05-21  Alexander Ivchenko  <alexander.ivchenko@intel.com>

       PR target/53435
       * config/i386/i386.c (ix86_expand_vec_perm): Use correct op.
       (ix86_expand_vec_perm): Use int mode instead of float.
       (expand_vec_perm_pshufb): Remove handling of useseless type
       conversion.

From-SVN: r187881

Remove any .comment sections if the first cmp failed

PR bootstrap/53472
* contrib/compare-debug (remove_comment): New function.
Remove any .comment sections if the first cmp failed.

From-SVN: r187879

Fix formatting

From-SVN: r187875

re PR ada/52362 (gnat.dg/lto8.adb FAILs with gas/gld)

PR ada/52362
* config.gcc (i[34567]86-*-mingw* | x86_64-*-mingw*): Set gas and
gnu_ld variables to yes.
* configure.ac (HAVE_GNU_LD): Move to after config.gcc inclusion.
(HAVE_GNU_AS): Likewise.
* config.in: Regenerate.
* configure: Likewise.
ada/
* link.c (__gnat_object_file_option): Set to "-Wl,@" for GNU linker.
(__gnat_using_gnu_linker): Delete.
* gnatlink.adb (Gnatlink): Declare Object_File_Option_Ptr here...
Declare Object_File_Option string constant and Using_GNU_response_file
boolean constant.
(Process_Binder_File): ...instead of here.  Delete Using_GNU_Linker,
Opening and Closing local variables.  Do not handle the GNU linker
specially.
(Write_RF): New procedure to write into the response file.  Escape some
characters if a GNU response file is used.  Keep track of error status.
Invoke Write_RF to write into the response file.  Delete the file only
if the link was successful.
* mlib-utl.adb: Do not `with' package System.
(Gcc): Likewise.  Declare Object_File_Option string constant and
Using_GNU_response_file boolean constant.
(Write_RF): Take a string instead of address and length.  Escape some
characters if a GNU response file is used.
Invoke Write_RF to write into the response file.  Delete the file only
if the link was successful.  Do not warn if it cannot be deleted.

From-SVN: r187874

i386.c (struct ix86_frame): Remove unused frame field.

gcc/
2012-05-25  Tristan Gingold  <gingold@adacore.com>

* config/i386/i386.c (struct ix86_frame): Remove unused frame field.
(ix86_compute_frame_layout): Fix type of stack_alignment_needed
and preferred_alignment.

gcc/testsuite
2012-05-25  Tristan Gingold  <gingold@adacore.com>

* gcc.target/i386/large-frame.c: New.

From-SVN: r187873

ia64-common.c (ia64_except_unwind_info): Fix typo.

2012-05-25  Tristan Gingold  <gingold@adacore.com>

        * common/config/ia64/ia64-common.c (ia64_except_unwind_info): Fix typo.

From-SVN: r187872

tramp.S (trampoline_setup): Use a longcall sequence in the non pic case on VxWorks.

        libgcc/
        * config/rs6000/vxworks/tramp.S (trampoline_setup): Use a longcall
        sequence in the non pic case on VxWorks.

From-SVN: r187871

fold-const.c (optimize_bit_field_compare): Abort early in the strict volatile bitfields case.

gcc/
* fold-const.c (optimize_bit_field_compare): Abort early in the strict
volatile bitfields case.

From-SVN: r187869

Daily bump.

From-SVN: r187865

runtime: Make runtime.Stack actually work.

From-SVN: r187854

PR bootstrap/53459 - unused local typedef when building on altivec

libcpp/

PR bootstrap/53459
* lex.c (search_line_fast): Remove unused typedef check_count.

From-SVN: r187853

runtime: Correct definition of __go_file_line to match declaration.

From Rainer Orth.

From-SVN: r187851

runtime: Copy runtime_printf from other Go library.

From-SVN: r187850

runtime: Copy runtime_printf from other Go library.

From-SVN: r187848

rs6000.c (rs6000_option_override_internal): Change rs6000_sched_costly_dep default to true_store_to_load_dep_costly.

* config/rs6000/rs6000.c (rs6000_option_override_internal): Change
rs6000_sched_costly_dep default to true_store_to_load_dep_costly.
(adjacent_mem_locations): Move some code to and call...
(get_memref_parts): ...new function.
(mem_locations_overlap): New function.
(rs6000_adjust_priority): Adjust calls to is_load_insn/is_store_insn.
(is_mem_ref): Rename to...
(find_mem_ref): ...this. Return MEM rtx.
(get_store_dest): Remove function.
(is_load_insn1, is_load_insn, is_store_insn1, is_store_insn): Add
new parameter and adjust calls.
(rs6000_is_costly_dependence): Update calls for extra arg. Make sure
mem refs overlap for true_store_to_load_dep_costly.
(rs6000_sched_reorder2): Update calls for extra arg. Adjust args
passed to adjacent_mem_locations.
(is_costly_group): Walk resolved dependency list.
(force_new_group): Emit group ending nop for Power6/Power7.
* config/rs6000/rs6000.md (UNSPEC_GRP_END_NOP): New enum value.
(group_ending_nop): New define_insn.

* gcc.target/powerpc/lhs-1.c: New.
* gcc.target/powerpc/lhs-2.c: New.
* gcc.target/powerpc/lhs-3.c: New.

From-SVN: r187847

PR 53456 CPU timing fallback using clock_gettime.

2012-05-24  Janne Blomqvist  <jb@gcc.gnu.org>

PR fortran/53456
* intrinsics/time_1.h (gf_cputime): Fallback for clock_gettime.

From-SVN: r187846

Make unwound macro expansion trace less redundant

As discussed previously, the unwinder for macro expansion is quite
verbose [1].  This patch proposes to address that shortcoming.

Consider this test case:

    $ cat -n test.c
 1 #define MYMAX(A,B) __extension__ ({ __typeof__(A) __a = (A); \
 2  __typeof__(B) __b = (B); __a < __b ? __b : __a; })
 3
 4 struct mystruct {};
 5 void
 6 foo()
 7 {
 8   struct mystruct p;
 9   float f = 0.0;
10   MYMAX (p, f);
11 }
    $

The output of the compiler from trunk yields:

    $ cc1 -quiet ./test.c
    ./test.c: In function ‘foo’:
    ./test.c:2:31: error: invalid operands to binary < (have ‘struct mystruct’ and ‘float’)
      __typeof__(B) __b = (B); __a < __b ? __b : __a; })
   ^
    ./test.c:2:31: note: in expansion of macro 'MYMAX'
      __typeof__(B) __b = (B); __a < __b ? __b : __a; })
   ^
    ./test.c:10:3: note: expanded from here
       MYMAX (p, f);
       ^
    $

After this patch, the compiler yields:

    $ ./cc1 -quiet ./test.c
    ./test.c: In function ‘foo’:
    ./test.c:2:31: error: invalid operands to binary < (have ‘struct mystruct’ and ‘float’)
      __typeof__(B) __b = (B); __a < __b ? __b : __a; })
   ^
    ./test.c:10:3: note: in expansion of macro 'MYMAX'
       MYMAX (p, f);
       ^
    $

The gotcha is, in the general case, we cannot simply eliminate the
context of the macro definition.  That is, the line from the first
output that is redundant with the first diagnostic line that has
line/column number:

    ./test.c:2:31: note: in expansion of macro 'MYMAX'
      __typeof__(B) __b = (B); __a < __b ? __b : __a; })
                                   ^

We cannot simply eliminate that context of macro definition because
there are cases where the first diagnostic that has a line/column
number doesn't point to a location inside the definition of the macro
where the relevant token is used.  For instance:

    $ cat -n test2.c
 1 #define OPERATE(OPRD1, OPRT, OPRD2) \
 2   OPRD1 OPRT OPRD2;
 3
 4 #define SHIFTL(A,B) \
 5   OPERATE (A,<<,B)
 6
 7 #define MULT(A) \
 8   SHIFTL (A,1)
 9
10 void
11 g ()
12 {
13   MULT (1.0);// 1.0 << 1; <-- so this is an error.
14 }
    $

Which yields without the patch:

    $ cc1 -quiet ./test2.c
    ./test2.c: In function ‘g’:
    ./test2.c:5:14: error: invalid operands to binary << (have ‘double’ and ‘int’)
       OPERATE (A,<<,B)
  ^
    ./test2.c:2:9: note: in expansion of macro 'OPERATE'
       OPRD1 OPRT OPRD2;
     ^
    ./test2.c:5:3: note: expanded from here
       OPERATE (A,<<,B)
       ^
    ./test2.c:5:14: note: in expansion of macro 'SHIFTL'
       OPERATE (A,<<,B)
  ^
    ./test2.c:8:3: note: expanded from here
       SHIFTL (A,1)
       ^
    ./test2.c:8:3: note: in expansion of macro 'MULT'
       SHIFTL (A,1)
       ^
    ./test2.c:13:3: note: expanded from here
       MULT (1.0);// 1.0 << 1; <-- so this is an error.
       ^
    $

Here, the line that has the context of macro definition:

    ./test2.c:2:9: note: in expansion of macro 'OPERATE'
       OPRD1 OPRT OPRD2;
     ^
is useful, because the first diagnostic that has line/column number
wasn't pointing into the definition of the macro OPERATE, where the
token '<<' is used.

    ./test2.c:5:14: error: invalid operands to binary << (have ‘double’ and ‘int’)
       OPERATE (A,<<,B)
  ^
So in this this case, displaying the macro definition context is not
redundant.  I think it is even desirable.

The patch changes the output in that case to be:

    ./test2.c: In function ‘g’:
    ./test2.c:5:14: erreur: invalid operands to binary << (have ‘double’ and ‘int’)
       OPERATE (A,<<,B)
  ^
    ./test2.c:2:9: note: in definition of macro 'OPERATE'
       OPRD1 OPRT OPRD2;
     ^
    ./test2.c:8:3: note: in expansion of macro 'SHIFTL'
       SHIFTL (A,1)
       ^
    ./test2.c:13:3: note: in expansion of macro 'MULT'
       MULT (1.0);// 1.0 << 1; <-- so this is an error.
       ^
    $

It's shorter, but I believe it has all the information that was
present before the patch.

[1]: http://gcc.gnu.org/ml/gcc-patches/2012-05/msg00321.html

Bootstrapped and tested on x86_64-unknown-linux-gnu against trunk.

gcc/

Make unwound macro expansion trace less redundant
* tree-diagnostic.c (maybe_unwind_expanded_macro_loc): Don't print
context of macro definition in the trace, when it's redundant.
Update comments.

gcc/testsuite/

Make unwound macro expansion trace less redundant
* gcc.dg/cpp/macro-exp-tracking-1.c: Adjust.
* gcc.dg/cpp/macro-exp-tracking-2.c: Likewise.
* gcc.dg/cpp/macro-exp-tracking-3.c: Likewise.
* gcc.dg/cpp/macro-exp-tracking-4.c: Likewise.
* gcc.dg/cpp/macro-exp-tracking-5.c: Likewise.
* gcc.dg/cpp/pragma-diagnostic-2.c: Likewise.

From-SVN: r187845

re PR c++/53464 (Invalid default value for non-type template parameter is accepted)

2012-05-24  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/53464
* g++.dg/cpp0x/constexpr-default1.C: New.

From-SVN: r187842

Fix typo in latest ChangeLog entry addition.

From-SVN: r187840

Makefile.in: move dependency on install-unwind_h from "install-leaf" to "install".

        libgcc/
        * Makefile.in: move dependency on install-unwind_h from
        "install-leaf" to "install".

From-SVN: r187839

Makefile.in (clean): Remove libgcc_tm.stamp as well.

        libgcc/
        * Makefile.in (clean): Remove libgcc_tm.stamp as well.
        Use a separate command for stamp removals.

From-SVN: r187838

re PR c++/32080 (Can goto a function try-block)

/cp
2012-05-24  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/32080
* parser.c (cp_parser_ctor_initializer_opt_and_function_body,
cp_parser_function_body): Add a bool parameter, true when parsing
a function-try-block.
(cp_parser_function_try_block): Pass true to the above.
(cp_parser_function_definition_after_declarator,
cp_parser_function_transaction): Adjust.

/testsuite
2012-05-24  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/32080
* g++.dg/eh/goto2.C: New.

From-SVN: r187837

re PR middle-end/53460 (Internal compiler error: in calc_dfs_tree, at dominance.c:395)

2012-05-24  Richard Guenther  <rguenther@suse.de>

PR middle-end/53460
* tree-profile.c (tree_profiling): Cleanup the CFG if
execute_fixup_cfg requests it.

* g++.dg/tree-prof/pr53460.C: New testcase.

From-SVN: r187831

re PR bootstrap/53466 (Bootstrap failure)

2012-05-24  Richard Guenther  <rguenther@suse.de>

PR bootstrap/53466
* g++.dg/debug/pr53466.C: New testcase.

From-SVN: r187830

tree-flow.h (create_var_ann): Remove.

2012-05-24  Richard Guenther  <rguenther@suse.de>

* tree-flow.h (create_var_ann): Remove.
* tree-dfa.c (create_var_ann): Remove and inline into its
single caller ...
(add_referenced_var_1): ... here.
* varpool.c (add_new_static_var): Do not call add_referenced_var
for global vars.
* gimple-fold.c (canonicalize_constructor_val): Likewise.
* tree-switch-conversion.c (build_one_array): Likewise.
* tree-profile.c (gimple_gen_ic_profiler): Likewise.
* tree-flow-inline.h (gimple_referenced_vars): Guard against
NULL fn argument.
* tree-inline.c (remap_gimple_op_r): Likewise.  Check
gimple_referenced_vars instead of gimple_in_ssa_p.
(copy_tree_body_r): Likewise.
(setup_one_parameter): Likewise.
(declare_return_variable): Likewise.
(tree_function_versioning): Likewise.

From-SVN: r187829

re PR tree-optimization/53465 (wrong code with -O1 -ftree-vrp)

PR tree-optimization/53465
* tree-vrp.c (extract_range_from_cond_expr): First copy_value_range
vr0 into *vr, then vrp_meet that.
(vrp_meet): If one vr type is VR_UNDEFINED, ensure the result doesn't
have any equivalences.
(vrp_visit_phi_node): Call copy_value_range instead of vrp_meet the
first time.

* gcc.c-torture/execute/pr53465.c: New test.

From-SVN: r187827

recog.c (reg_fits_class_p): Check both regno and regno + offset are hard registers.

2012-05-24  Jim MacArthur<jim.macarthur@arm.com>

* recog.c (reg_fits_class_p): Check both regno and regno + offset are
hard registers.
* regs.h (in_hard_reg_set_p): Assert that regno is a hard register and
check end_regno - 1 is a hard register.

From-SVN: r187826

varpool.c (add_new_static_var): Remove call to create_var_ann.

2012-05-24  Richard Guenther  <rguenther@suse.de>

* varpool.c (add_new_static_var): Remove call to create_var_ann.
* tree-ssa-operands.c (create_vop_var): Likewise.

From-SVN: r187825

re PR bootstrap/53466 (Bootstrap failure)

2012-05-24  Richard Guenther  <rguenther@suse.de>

PR bootstrap/53466
* tree-ssa-live.c (remove_unused_scope_block_p): Properly
handle globals.
(remove_unused_locals): Pass global_unused_vars to
remove_unused_scope_block_p.  Restore code walking all
referenced vars and pruning them.

From-SVN: r187824

tree.h (alias_diag_flags): Remove.

* tree.h (alias_diag_flags): Remove.
(alias_pair): Remove emitted_diags.
(finish_aliases_1, finish_aliases_2, remove_unreachable_alias_pairs,
symbol_alias_set_t, symbol_alias_set_destroy,
symbol_alias_set_contains, propagate_aliases_backward): Remove.
* toplev.c (compile_file): Do not call finish_aliases_2
* cgraphunit.c (cgraph_process_new_functions): Do not call finish_aliases_1.
(handle_alias_pairs): Output diagnostics about aliases to externals.
(assemble_thunks_and_aliases): Use do_assemble_alias.
(output_weakrefs): Likewise.
(finalize_compilation_unit): Do not call finish_aliases_1.
* ipa.c (symtab_remove_unreachable_nodes): De not call remove_unreachable_alias_pairs.
* varasm.c (do_assemble_alias): Export.
(symbol_alias_set_create, symbol_alias_set_destroy, symbol_alias_set_contains,
symbol_alias_set_insert, propagate_aliases_forward, propagate_aliases_backward,
propagate_aliases_backward, trivially_visible_alias, trivially_defined_alias,
remove_unreachable_alias_pairs, finish_aliases_1, finish_aliases_2,
assemble_alias): Remove.
* output.h (do_assemble_alias): Declare.
* varpool.c (varpool_remove_unreferenced_decls): Do not call finish_aliases_1.

From-SVN: r187823

Daily bump.

From-SVN: r187822

leb128.h: #include stdint.h, inttypes.h.

* leb128.h: #include stdint.h, inttypes.h.
(read_uleb128_to_uint64): Renamed from read_uleb128_to_ull.
Change to take a uint64_t * argument instead of unsigned long long.
(read_sleb128_to_uint64): Renamed from read_sleb128_to_ll.
Change to take an int64_t * argument instead of long long.

From-SVN: r187818

ipa-inline-analysis.c (inline_merge_summary): Free operand_map.

2012-05-23  Martin Jambor  <mjambor@suse.cz>

    * ipa-inline-analysis.c (inline_merge_summary): Free operand_map.

From-SVN: r187817

re PR fortran/51055 (deferred length character allocation: allocate(character(len=i)::s) rejected)

2012-05-23  Tobias Burnus  <burnus@net-b.de>

        PR fortran/51055
        PR fortran/45170
        * match.c (gfc_match_allocate): Set length_from_typespec
        for characters.
        * resolve.c (resolve_charlen): If set, don't check whether
        the len is a specification expression.

2012-05-23  Tobias Burnus  <burnus@net-b.de>

        PR fortran/51055
        PR fortran/45170
        * gfortran.dg/allocate_with_typespec_6.f90: New.

From-SVN: r187811

gimple.c (gimple_types_compatible_p_1): Remove bogus size handling.

* gimple.c (gimple_types_compatible_p_1) <ARRAY_TYPE>: Remove bogus
size handling.
(gimple_canonical_types_compatible_p) <ARRAY_TYPE>: Likewise.
(iterative_hash_gimple_type): Adjust comment.
(iterative_hash_canonical_type): Likewise.  Hash the bounds of the
domain for an array type instead of the domain type itself.

From-SVN: r187807

PR 53456 clock_gettime fallback for gf_gettime

2012-05-23  Janne Blomqvist  <jb@gcc.gnu.org>

PR fortran/53456
* intrinsics/time_1.h (gf_gettime): Fallback for clock_gettime.

From-SVN: r187806

Index...

Index: gcc/tree-sra.c
===================================================================
--- gcc/tree-sra.c (revision 187800)
+++ gcc/tree-sra.c (working copy)
@@ -2096,9 +2096,12 @@ analyze_access_subtree (struct access *root, struc
    && (TREE_CODE (root->type) != INTEGER_TYPE
        || TYPE_PRECISION (root->type) != root->size)
    /* But leave bitfield accesses alone.  */
-   && (root->offset % BITS_PER_UNIT) == 0)
+   && (TREE_CODE (root->expr) != COMPONENT_REF
+       || !DECL_BIT_FIELD (TREE_OPERAND (root->expr, 1))))
  {
    tree rt = root->type;
+   gcc_assert ((root->offset % BITS_PER_UNIT) == 0
+       && (root->size % BITS_PER_UNIT) == 0);
    root->type = build_nonstandard_integer_type (root->size,
         TYPE_UNSIGNED (rt));
    root->expr = build_ref_for_offset (UNKNOWN_LOCATION,

From-SVN: r187805

re PR target/53448 ([avr] ignoring __attribute__((aligned(2))))

PR target/53448
* config/avr/avr.h (ASM_OUTPUT_ALIGN): Don't inhibit .p2align 1.
* config/avr/elf.h (ASM_OUTPUT_BEFORE_CASE_LABEL): Use
ASM_OUTPUT_ALIGN.

From-SVN: r187803

re PR c++/29185 (inconsistent warning: deleting array)

/cp
2012-05-23  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/29185
* decl2.c (delete_sanity): Extend 'deleting array' warning to
any array type.

/testsuite
2012-05-23  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/29185
* g++.dg/warn/delete-array-1.C: New.

From-SVN: r187801

tree-dfa.c (add_referenced_var_1): Do not add global vars.

2012-05-23  Richard Guenther  <rguenther@suse.de>

* tree-dfa.c (add_referenced_var_1): Do not add global vars.
* tree-ssa-live.c (mark_all_vars_used_1): Handle global vars
via the global_unused_vars bitmap.
(remove_unused_locals): Handle global vars in local-decls via
a global_unused_vars bitmap instead of the used flag in the
var annotation.  Simplify global variable handling and removal.

* gcc.dg/torture/pr39074-2.c: Adjust.
* gcc.dg/torture/pr39074.c: Likewise.
* gcc.dg/torture/pta-structcopy-1.c: Likewise.
* gcc.dg/tree-ssa/alias-19.c: Likewise.

From-SVN: r187800

re PR tree-optimization/53426 (ICE:create_variable_info_for  at ../../gcc-trunk/gcc/tree-ssa-structalias.c:5581)

PR middle-end/53426
* tree-ssa-structalias.c (create_variable_info_for): Skip constructors from
other partitions.

From-SVN: r187799

re PR middle-end/53161 (ICE with weakref function and a function which takes vector types)

PR middle-end/53161
* symtab.c (symtab_register_node): Fix ordering issue.

From-SVN: r187798

re PR libfortran/53445 (No sticky bit on VxWorks - fix chmod.c)

2012-05-23  Robert Mason  <rbmj@verizon.net>
            Tobias Burnus  <burnus@net-b.de>

        PR libfortran/53445
        * intrinsics/chmod.c (chmod_func): Ignore S_ISVTX on VxWorks.

Co-Authored-By: Tobias Burnus <burnus@net-b.de>
From-SVN: r187797

re PR libfortran/53444 (Accommodate non-compliant strerror_r() on VxWorks.)

2012-05-23  Tobias Burnus  <burnus@net-b.de>

        PR libfortran/53444
        * acinclude.m4 (LIBGFOR_CHECK_STRERROR_R): Add configure checks
        * for
        two- and three-argument versions of strerror_r.
        * configure.ac (LIBGFOR_CHECK_STRERROR_R): Use it.
        * runtime/error.c (gf_strerror): Handle two-argument version
        of strerror_r.
        * config.h.in: Regenerate.
        * configure: Regenerate.

From-SVN: r187796

Daily bump.

From-SVN: r187788

re PR other/53231 (libatomic/tas_n.c:100:10: error: 'ret' undeclared (first use in this function))

PR other/53231
* tas_n.c (libat_test_and_set): Correct return.  Remove unused variable.

From-SVN: r187783

runtime: Tweak runtime.Callers for Go 1 compatibility.

From-SVN: r187781

* leb128.h: New file.

From-SVN: r187780

runtime: Use getcontext, not setjmp, to save regs for GC.

From-SVN: r187777

gcc.c (do_spec_1): Add %M spec token to output multilib_os_dir.

2012-05-22  Steven Drake <sbd@NetBSD.org>

* gcc.c (do_spec_1): Add %M spec token to output multilib_os_dir.

From-SVN: r187775

rs6000.c (rs6000_aix_asm_output_dwarf_table_ref): Use strip_name_encoding target hook.

* config/rs6000/rs6000.c (rs6000_aix_asm_output_dwarf_table_ref):
Use strip_name_encoding target hook.

From-SVN: r187774

demangle-expected: Add regression test.

http://sourceware.org/bugzilla/show_bug.cgi?id=14065
* testsuite/demangle-expected: Add regression test.
* cp-demangle.c (d_find_pack): Return NULL for
DEMANGLE_COMPONENT_UNNAMED_TYPE.

From-SVN: r187773

tree.h (VAR_DECL_IS_VIRTUAL_OPERAND): New.

2012-05-22  Richard Guenther  <rguenther@suse.de>

* tree.h (VAR_DECL_IS_VIRTUAL_OPERAND): New.
(init_function_for_compilation): Remove.
* tree-dfa.c (find_vars_r): Take struct function argument.
(find_referenced_vars_in): Adjust.
* tree-ssa-operands.c (clobber_stats): Remove.
(create_vop_var): Take struct function argument.  Mark
virtual operand with VAR_DECL_IS_VIRTUAL_OPERAND.
(init_ssa_operands): Take struct function argument.
(fini_ssa_operands): Do not dump dead stats.
* tree-ssa-operands.h (init_ssa_operands): Take struct function
argument.
* cgraphunit.c (init_lowered_empty_function): Adjust.
* lto-streamer-in.c (input_cfg): Likewise.
* tree-inline.c (initialize_cfun): Likewise.
* tree-into-ssa.c (rewrite_into_ssa): Likewise.
* omp-low.c (expand_omp_taskreg): Likewise.  Avoid switching
cfun.
* gimple.c (is_gimple_reg): Optimize the SSA_NAME case,
virtual operands are not registers.

From-SVN: r187772

tree-cfg.c (verify_gimple_assign_unary): Fix typo in previous commit.

2012-05-22  Richard Guenther  <rguenther@suse.de>

* tree-cfg.c (verify_gimple_assign_unary): Fix typo in previous
commit.

From-SVN: r187771

re PR fortran/53389 (-frealloc-lhs: memory leak when assigning array function result to allocatable array, where one of its supplied arguments is itself an array function result)

2012-05-22  Tobias Burnus  <burnus@net-b.de>

        PR fortran/53389
        * trans-array.c (gfc_add_loop_ss_code): Don't evaluate
        * expression, if
        ss->is_alloc_lhs is set.

2012-05-22  Tobias Burnus  <burnus@net-b.de>

        PR fortran/53389
        * gfortran.dg/realloc_on_assign_15.f90: New.

From-SVN: r187769

re PR middle-end/51071 (ICE in gimple_has_side_effects, at gimple.c:2513)

2012-05-22  Richard Guenther  <rguenther@suse.de>

PR middle-end/51071
* gcc.dg/torture/pr51071-2.c: New testcase.

From-SVN: r187768

re PR middle-end/53437 (FAIL: gcc.dg/guality/inline-params.c  -O0)

2012-05-22  Richard Guenther  <rguenther@suse.de>

PR middle-end/53437
* tree-inline.c (setup_one_parameter): Create a dummy init
statement for unused parameters when not optimizing.

From-SVN: r187767

tree-flow.h (add_referenced_var_1): Declare.

2012-05-22  Richard Guenther  <rguenther@suse.de>

* tree-flow.h (add_referenced_var_1): Declare.
(add_referenced_var): Define.
* tree-dfa.c (referenced_var_check_and_insert): Avoid one hash
lookup.
(add_referenced_var): Rename to ...
(add_referenced_var_1): ... this.  Take struct function argument.

From-SVN: r187766

re PR target/53334 (ICE in extract_insn, at recog.c:2131)

Fix PR target/53334

2012-05-22  Ramana Radhakrishnan  <ramana.radhakrishnan@linaro.org>

PR target/53334
* config/arm/arm-protos.h (arm_validize_comparison): Declare.
* config/arm/arm.c (arm_validize_comparison): Define.
* config/arm/arm.md ("cbranchsi4"): Cleanup expansion and use
arm_validize_comparison.
("cbranchdi4"): Likewise.
("cstoredi4"): Likewise.
("movsicc"): Likewise.
("movsfcc"): Likewise.
("movdfcc"): Likewise.

From-SVN: r187761

df-scan.c (df_scan_alloc): Round up allocation pools size, reduce the mw_reg_pool size.

2012-05-22  Dimitrios Apostolou  <jimis@gmx.net>

* df-scan.c (df_scan_alloc): Round up allocation pools size, reduce
the mw_reg_pool size.

From-SVN: r187760

re PR tree-optimization/53336 (invalid types in nop conversion)

gcc:
2012-05-16  Paolo Bonzini  <bonzini@gnu.org>

PR tree-optimization/53336
* tree-cfg.c (verify_gimple_assign_unary): Allow conversion from
non-integer integral types to offset type and vice versa.

gcc/testsuite:
2012-05-16  Paolo Bonzini  <bonzini@gnu.org>

PR tree-optimization/53336
* g++.dg/torture/pr53336.C: New testcase.

From-SVN: r187759

fix paths in previous ChangeLog entry

From-SVN: r187758

PR c++/53322 - -Wunused-local-typedefs is not enabled by Wall or Wunused

As the audit trail of this shows, -Wunused-local-typedefs is not
turned on by -Wunused after all.  Sigh.

Now that we have the EnabledBy construct for the *.opt files, it's
more precise and concise to use that to make -Wunused-local-typedefs
be triggered by -Wunused.

I have changed the gcc+.dg/warn/Wunused-local-typedefs.C test case to
make it use -Wunused instead of -Wunused-local-typedefs.  I had to
adjust it to avoid the warnings due to the other -W* options triggered
by -Wunused there.

While testing the compiler, it turned out that some local typedefs
were not being used when the experimental "Concepts" support is turned
off, in the libstdc++ test suite.  I also had to remove some obvious
useless local typedef usage in the fortran front-end.  Fixed thus.

Bootstrapped and tested on x86_64-unknown-linux-gnu against trunk.

gcc/c-family/

PR c++/53322
* c.opt (Wunused-local-typedefs): Use EnabledBy(Wunused).

libstdc++-v3/

PR c++/53322
* include/bits/stl_algobase.h (lower_bound)
(lexicographical_compare): Do not declare unused local typedefs
here when Concepts are turned off.

gcc/fortran/

PR c++/53322
* f95-lang.c (gfc_init_builtin_functions): Remove the unused
typedef builtin_type.

gcc/testsuite/

PR c++/53322
* g++.dg/warn/Wunused-local-typedefs.C: Adjust to use -Wunused
instead of -Wunused-local-typedefs.

From-SVN: r187757

Daily bump.

From-SVN: r187755

9780-2.cc: Avoid -Wall warnings.

2012-05-21  Paolo Carlini  <paolo.carlini@oracle.com>

* testsuite/22_locale/num_put/put/char/9780-2.cc: Avoid -Wall warnings.
* testsuite/29_atomics/atomic/cons/49445.cc: Likewise.
* testsuite/29_atomics/atomic/operators/pointer_partial_void.cc:
* Likewise.
* testsuite/23_containers/unordered_map/observers.cc: Likewise.
* testsuite/23_containers/unordered_map/erase/1.cc: Likewise.
* testsuite/23_containers/unordered_multimap/erase/1.cc: Likewise.
* testsuite/23_containers/unordered_multimap/erase/2.cc: Likewise.
* testsuite/23_containers/unordered_multimap/insert/53115.cc: Likewise.
* testsuite/23_containers/unordered_multimap/observers.cc: Likewise.
* testsuite/23_containers/vector/debug/alloc_prop.cc: Likewise.
* testsuite/23_containers/unordered_set/observers.cc: Likewise.
* testsuite/23_containers/unordered_set/erase/1.cc: Likewise.
* testsuite/23_containers/unordered_multiset/erase/1.cc: Likewise.
* testsuite/23_containers/unordered_multiset/erase/2.cc: Likewise.
* testsuite/23_containers/unordered_multiset/insert/53115.cc: Likewise.
* testsuite/23_containers/unordered_multiset/insert/multiset_range.cc:
* Likewise.
* testsuite/23_containers/unordered_multiset/observers.cc: Likewise.

From-SVN: r187751

aix.h (FP_SAVE_INLINE, [...]): Delete.

* aix.h (FP_SAVE_INLINE, GP_SAVE_INLINE): Delete.
* darwin.h (FP_SAVE_INLINE, GP_SAVE_INLINE): Delete.
* sysv4.h (FP_SAVE_INLINE, GP_SAVE_INLINE, V_SAVE_INLINE): Delete.
* config/rs6000/rs6000.c (V_SAVE_INLINE): Delete.
(rs6000_savres_strategy): Reimplement GP/FP/V_SAVE_INLINE logic.
For ELF targets, use out-of-line restores for -Os and any number
of regs if the restore exits, and out-of-line gp save for two or
more regs.  Use save_reg_p to test for holes in reg restore set.
Replace "#if" with "if".

From-SVN: r187750

rs6000.c (save_reg_p): New function.

* config/rs6000/rs6000.c (save_reg_p): New function.
(first_reg_to_save, first_fp_reg_to_save): Use it here.
(first_altivec_reg_to_save, restore_saved_cr): Likewise.
(emit_frame_save): Use gen_frame_store.
(gen_frame_mem_offset): Correct SPE condition requiring reg+reg.
(rs6000_emit_prologue): Use save_reg_p.  Use gen_frame_store for
vrsave and toc.
(rs6000_emit_epilogue): Use save_reg_p.  Use gen_frame_load for
vrsave, toc, gp and fp restores.

From-SVN: r187749

rs6000.c: Delete unnecessary forward declarations.

* config/rs6000/rs6000.c: Delete unnecessary forward declarations.
Move those with ATTRIBUTE_UNUSED to immediately before definitions.
Move function pointer variables after forward declarations.
(rs6000_builtin_support_vector_misalignment): Make static.
(rs6000_legitimate_address_p, rs6000_gimplify_va_arg): Likewise.
(rs6000_function_value, rs6000_can_eliminate): Likewise.

From-SVN: r187748