runtime: Delete from a nil map is now a no-op.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194462 138bc75d-0d04-0410-961f-82ee72b054a4

PR debug/55665
* tree-inline.c (remap_decls): Change nonlocalized_list
to pointer to pointer to vector from pointer to vector.
(remap_block): Pass address of BLOCK_NONLOCALIZED_VARS.

* g++.dg/guality/pr55665.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194461 138bc75d-0d04-0410-961f-82ee72b054a4

libgo: Update to current master library sources.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194460 138bc75d-0d04-0410-961f-82ee72b054a4

PR sanitizer/55508
* builtin-attrs.def (ATTR_TMPURE_NOTHROW_LEAF_LIST,
ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST): New.
* asan.c (ATTR_TMPURE_NOTHROW_LEAF_LIST,
ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST): Define.
* sanitizer.def: Make __asan_report_* and __asan_handle_no_return
builtins tm pure.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194459 138bc75d-0d04-0410-961f-82ee72b054a4

* lib/gcc-dg.exp (${tool}_load): Handle non-existing
set_target_env_var the same as if it is empty list.
(dg-set-target-env-var): Fix up error message.
(set-target-env-var): Record both preexisting env var values
as well as info that env wasn't set.
(restore-target-env-var): Iterate on reversed list, if second
sublist element is 1, setenv the env var to the third sublist
element, otherwise unsetenv it.
(gcc-dg-runtest): Don't initialize set_target_env_var.
(dg-test): Unset set_target_env_var if it was set.

* g++.dg/asan/deep-tail-call-1.C: Whitespace fixes.  Don't rely
on argc being one.
* g++.dg/asan/interception-malloc-test-1.C: Only run on linux.
Whitespace fixes.  Avoid unnecessary * sizeof(char).
* g++.dg/asan/deep-thread-stack-1.C: Add -lasan -lpthread to
dg-options.  Whitespace fixes.
* g++.dg/asan/deep-stack-uaf-1.C: Skip for -flto.  Whitespace fixes.
* g++.dg/asan/interception-test-1.C: Whitespace fixes.
* g++.dg/asan/interception-failure-test-1.C: Whitespace fixes.
Avoid unnecessary * sizeof(char).  Remove // CHECK: comment.
* g++.dg/asan/default-options-1.C: Whitespace fixes.
* g++.dg/asan/symbolize-callback-1.C: Whitespace fixes.  Make
first __asan_symbolize argument unnamed.  Avoid unnecessary
* sizeof(char).
* g++.dg/asan/large-func-test-1.C: Whitespace fixes.  Don't rely
on argc being one.  Allow both _Znwj and _Znwm as operator new.
Ignore everything in the backtrace above operator new.  Fix up
dg-output regexps.
* c-c++-common/asan/null-deref-1.c: Add -fno-omit-frame-pointer
and for x86 -mno-omit-leaf-frame-pointer.  Fix up dg-output regexps.
* c-c++-common/asan/clone-test-1.c: Whitespace fixes.  Return non-zero
on failures.  Avoid pointless PASS dg-output check. Remove bogus
dg-shouldfail.
* c-c++-common/asan/sanity-check-pure-c-1.c: Fix up dg-output regexps.
Avoid unnecessary * sizeof(char).
* c-c++-common/asan/heap-overflow-1.c: Fix up dg-output regexps.
Don't rely on argc being one.
* c-c++-common/asan/sleep-before-dying-1.c: Whitespace fixes.
Avoid unnecessary * sizeof(char).
* c-c++-common/asan/rlimit-mmap-test-1.c: Whitespace fixes.
* c-c++-common/asan/stack-overflow-1.c: Fix up dg-output regexps.
* c-c++-common/asan/global-overflow-1.c: Add -fno-builtin-memset.
Fix up dg-output regexps.
* c-c++-common/asan/strncpy-overflow-1.c: Fix up dg-output regexps.
* c-c++-common/asan/memcmp-1.c: Don't rely on argc being one.
* c-c++-common/asan/use-after-free-1.c: Fix up dg-output regexps.
* c-c++-common/asan/swapcontext-test-1.c: Don't rely on argc being
one.
* c-c++-common/asan/force-inline-opt0-1.c: Remove dg-skip-if.
* c-c++-common/asan/strip-path-prefix-1.c: Whitespace fixes.
Avoid unnecessary * sizeof(char).

2012-12-12  Wei Mi  <wmi@google.com>

* lib/target-supports.exp (check_effective_target_dlopen,
check_effective_target_clone, check_effective_target_setrlimit,
check_effective_target_swapcontext): New procedures.
* lib/gcc-dg.exp (${tool}_load): Handle dg-set-target-env-var.
(dg-set-target-env-var, set-target-env-var,
restore-target-env-var): New procedures.
(gcc-dg-runtest): Set set_target_env_var.
* g++.dg/asan/symbolize-callback-1.C: New test.
* g++.dg/asan/shared-lib-test-1-so.cc: New file.
* g++.dg/asan/deep-tail-call-1.C: New test.
* g++.dg/asan/default-options-1.C: New test.
* g++.dg/asan/interception-test-1.C: New test.
* g++.dg/asan/dlclose-test-1-so.cc: New file.
* g++.dg/asan/deep-thread-stack-1.C: New test.
* g++.dg/asan/interception-malloc-test-1.C: New test.
* g++.dg/asan/deep-stack-uaf-1.C: New test.
* g++.dg/asan/large-func-test-1.C: New test.
* g++.dg/asan/interception-failure-test-1.C: New test.
* c-c++-common/asan/strip-path-prefix-1.c: New test.
* c-c++-common/asan/force-inline-opt0-1.c: New test.
* c-c++-common/asan/swapcontext-test-1.c: New test.
* c-c++-common/asan/null-deref-1.c: New test.
* c-c++-common/asan/global-overflow-1.c: New test.
* c-c++-common/asan/strncpy-overflow-1.c: New test.
* c-c++-common/asan/rlimit-mmap-test-1.c: New test.
* c-c++-common/asan/stack-overflow-1.c: New test.
* c-c++-common/asan/use-after-free-1.c: New test.
* c-c++-common/asan/sanity-check-pure-c-1.c: New test.
* c-c++-common/asan/clone-test-1.c: New test.
* c-c++-common/asan/heap-overflow-1.c: New test.
* c-c++-common/asan/sleep-before-dying-1.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194458 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-12  Benjamin Kosnik  <bkoz@redhat.com>

* doc/xml/manual/documentation_hacking.xml: Fix validation issue.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194455 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-12  Steve Ellcey  <sellcey@mips.com>

* gcc.dg/pr55150-2.c: Add pic support check.
* gcc.dg/lto/pr54709_0.c: Ditto.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194454 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-12  Steve Ellcey  <sellcey@mips.com>

* config/mips/mips.c (mips_option_override): Set
mips_dbx_regno entries to IGNORED_DWARF_REGNUM by default.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194453 138bc75d-0d04-0410-961f-82ee72b054a4

Restore AM_MAKEFLAGS in libsanitizer

* Makefile.am (AM_MAKEFLAGS): Restored.
* asan/Makefile.am: Likewise.
* interception/Makefile.am: Likewise.
* sanitizer_common/Makefile.am: Likewise.
* tsan/Makefile.am: Likewise.
* Makefile.in: Regenerated.
* asan/Makefile.in: Likewise.
* interception/Makefile.in: Likewise.
* sanitizer_common/Makefile.in: Likewise.
* tsan/Makefile.in: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194452 138bc75d-0d04-0410-961f-82ee72b054a4

Restore MAKEOVERRIDES in libsanitizer

* Makefile.am (MAKEOVERRIDES): Restored.
* asan/Makefile.am: Likewise.
* interception/Makefile.am: Likewise.
* sanitizer_common/Makefile.am: Likewise.
* tsan/Makefile.am: Likewise.
* Makefile.in: Regenerated.
* asan/Makefile.in: Likewise.
* interception/Makefile.in: Likewise.
* sanitizer_common/Makefile.in: Likewise.
* tsan/Makefile.in: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194450 138bc75d-0d04-0410-961f-82ee72b054a4

Sync config.sub with src

2012-12-12  Jan-Benedict Glaw  <jbglaw@lug-owl.de>

* config.sub: Merge from config repo.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194449 138bc75d-0d04-0410-961f-82ee72b054a4

Use libstdc++-raw-cxx.m4 in libjava

config/

* libstdc++-raw-cxx.m4 (GCC_LIBSTDCXX_RAW_CXX_FLAGS): Also
AC_SUBST LIBSTDCXX_RAW_CXX_LDFLAGS.

libjava/

* Makefile.am (lib_gnu_awt_xlib_la_CPPFLAGS): Use
$(LIBSTDCXX_RAW_CXX_CXXLAGS).
(lib_gnu_awt_xlib_la_LDFLAGS): Use $(LIBSTDCXX_RAW_CXX_LDLAGS).
* configure.ac (GCC_LIBSTDCXX_RAW_CXX_FLAGS): New.
* aclocal.m4: Regenerated.
* Makefile.in:Likewise.
* configure: Likewise.

libsanitizer/

* asan/Makefile.am (libasan_la_LIBADD): Use $(LIBSTDCXX_RAW_CXX_LDLAGS).
* tsan/Makefile.am (libtsan_la_LIBADD): Likewise.
* Makefile.in: Regenerated.
* configure: Likewise.
* asan/Makefile.in: Likewise.
* interception/Makefile.in: Likewise.
* sanitizer_common/Makefile.in: Likewise.
* tsan/Makefile.in: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194448 138bc75d-0d04-0410-961f-82ee72b054a4

Remove AM_MAKEFLAGS/MAKEOVERRIDES from libsanitizer

* Makefile.am (AM_MAKEFLAGS): Removed.
(MAKEOVERRIDES): Likewise.
* asan/Makefile.am: Likewise.
* interception/Makefile.am: Likewise.
* sanitizer_common/Makefile.am: Likewise.
* tsan/Makefile.am: Likewise.
* Makefile.in: Regenerated.
* asan/Makefile.in: Likewise.
* interception/Makefile.in: Likewise.
* sanitizer_common/Makefile.in: Likewise.
* tsan/Makefile.in: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194447 138bc75d-0d04-0410-961f-82ee72b054a4

* graph.c: Include sbitmap.h and cfgloop.h.
(draw_cfg_nodes_no_loops): New function to dump basic blocks in
topological order if the function does not have a loop tree.
Handle unreachable blocks also.
(draw_cfg_nodes_for_loop): New function to dump basic blocks in
one loop tree node as a named cluster of nodes.
(draw_cfg_nodes): New function to draw all CFG nodes.
(draw_cfg_edges): New function to draw all CFG edges.
(print_graph_cfg): Simplify using the new functions.
* Makefile.in (graph.o): Fix dependencies.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194446 138bc75d-0d04-0410-961f-82ee72b054a4

* dumpfile.h (enum tree_dump_index): Remove TDI_vcg.
* dumpfile.c (dump_files[]): Remove entry for TDI_vcg.
* tree-cfg.c (gimple_cfg2vcg): Remove.
(build_gimple_cfg): Don't call it.
* doc/invoke.texi (-fdump-tree-vcg): Remove documentation.
Correct GraphViz documentation, it does handle multiple functions
in a single dump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194445 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-12  Zdenek Dvorak  <ook@ucw.cz>

PR tree-optimization/55481
* tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Fall
back to general rewriting if we cannot leave an original biv
definition alone.

* gcc.dg/torture/pr55481.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194444 138bc75d-0d04-0410-961f-82ee72b054a4

* mmapio.c: Define MAP_FAILED if not defined.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194443 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/55659
Revert
2012-12-11  Jakub Jelinek  <jakub@redhat.com>

PR middle-end/43631
* var-tracking.c (emit_note_insn_var_location): If insn is followed
by BARRIER, put note after the BARRIER.
(next_non_note_insn_var_location): Skip over BARRIERs.
(emit_notes_in_bb): If call is followed by BARRIER, put note after
the BARRIER.

2012-12-06  Jakub Jelinek  <jakub@redhat.com>

PR middle-end/43631
* var-tracking.c (emit_note_insn_var_location, emit_notes_in_bb):
Clear BLOCK_FOR_INSN on notes emitted in between basic blocks,
don't adjust BB_END when inserting note after BB_END of some bb.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194442 138bc75d-0d04-0410-961f-82ee72b054a4

PR middle-end/52640
* varasm.c (pending_assemble_externals_set): New pointer set.
(process_pending_assemble_externals): Destroy the pointer set.
(assemble_external): See if decl is in pending_assemble_externals_set,
and add it to pending_assemble_externals if necessary.
(init_varasm_once): Allocate pending_assemble_externals_set.

* gcc.c-torture/compile/limits-externdecl.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194441 138bc75d-0d04-0410-961f-82ee72b054a4

* gfortran.dg/vect/fast-math-pr38968.f90: Decrease n
from 2000 to 400.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194440 138bc75d-0d04-0410-961f-82ee72b054a4

PR libgcc/55451
* fixed-bit.c (FIXED_SSADD, FIXED_SSSUB, FIXED_SSNEG): Avoid
undefined signed overflows.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194439 138bc75d-0d04-0410-961f-82ee72b054a4

PR fortran/55633
* tree-ssa-loop-niter.c (discover_iteration_bound_by_body_walk):
Ignore bounds on which bound += double_int_one overflowed.

* gcc.dg/torture/pr55633.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194438 138bc75d-0d04-0410-961f-82ee72b054a4

PR tree-optimization/55079
* gcc.dg/tree-ssa/ssa-pre-1.c: Adjust.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194437 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194435 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/54883
* decl2.c (min_vis_r): Handle anon visibility for enums.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194430 138bc75d-0d04-0410-961f-82ee72b054a4

PR libstdc++/55631
* include/ext/alloc_traits.h: Include missing header.
* include/ext/pointer.h: Likewise.
* include/ext/string_conversions.h: Require C++11.
* libsupc++/initializer_list: Reindent.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194429 138bc75d-0d04-0410-961f-82ee72b054a4

Add --with-build-config=bootstrap-asan support

* Makefile.def (target_modules): Add bootstrap=true and
raw_cxx=true to libsanitizer.
* configure.ac (bootstrap_target_libs): Add libsanitizer.
* Makefile.in: Regenerated.
* configure: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194425 138bc75d-0d04-0410-961f-82ee72b054a4

Add libstdc++-raw-cxx.m4 and use it in libsanitizer

config/

PR sanitizer/55533
* libstdc++-raw-cxx.m4: New file.

libsanitizer/

PR sanitizer/55533
* Makefile.am (AM_MAKEFLAGS): Remove CC and CXX.
* configure.ac (GCC_LIBSTDCXX_RAW_CXX_FLAGS): New.
* asan/Makefile.am (AM_CXXFLAGS): Add $(LIBSTDCXX_RAW_CXX_CXXFLAGS).
(AM_MAKEFLAGS): Remove CC and CXX.
* interception/Makefile.am: Likewise.
* sanitizer_common/Makefile.am: Likewise.
* tsan/Makefile.am: Likewise.
* Makefile.in: Regenerated.
* aclocal.m4: Likewise.
* configure: Likewise.
* asan/Makefile.in: Likewise.
* interception/Makefile.in: Likewise.
* sanitizer_common/Makefile.in: Likewise.
* tsan/Makefile.in: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194424 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-11  Marc Glisse  <marc.glisse@inria.fr>

PR c++/53094
cp/
* tree.c (cp_tree_equal): Handle VECTOR_CST.
* semantics.c (cxx_eval_bare_aggregate): Protect a dereference.
Handle VECTOR_CST.
testsuite/
* g++.dg/cpp0x/constexpr-53094-1.C: New testcase.
* g++.dg/cpp0x/constexpr-53094-2.C: Likewise.
* g++.dg/cpp0x/constexpr-53094-3.C: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194421 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/55643
* expr.c (mark_exp_read): Handle FLOAT_EXPR similarly to NOP_EXPR.

* g++.dg/warn/Wunused-var-19.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194415 138bc75d-0d04-0410-961f-82ee72b054a4

* g++.dg/asan/asan_test.C: Link -lasan before -lpthread.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194414 138bc75d-0d04-0410-961f-82ee72b054a4

PR bootstrap/54926
* Makefile.am (AM_CFLAGS): Remove -frandom-seed=$@.
* configure.ac: If --with-target-subdir, add -frandom-seed=$@
to EXTRA_FLAGS unconditionally, otherwise check whether the compiler
accepts it.
* Makefile.in: Regenerated.
* configure: Regenerated.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194412 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/54121
* config/sparc/sparc.md (tldo_stb_sp32): Fix pasto.
(tldo_stb_sp64): Likewise.
(tldo_sth_sp32): Likewise.
(tldo_sth_sp64): Likewise.
(tldo_stw_sp32): Likewise.
(tldo_stw_sp64): Likewise.
(tldo_stx_sp64): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194410 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/54416
* pt.c (maybe_process_partial_specialization): Don't accept
definition of a specialization without the appropriate header.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194408 138bc75d-0d04-0410-961f-82ee72b054a4

* pt.c (maybe_process_partial_specialization): Handle aliases first.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194407 138bc75d-0d04-0410-961f-82ee72b054a4

PR rtl-optimization/55193
* lra-constraints.c (loc_equivalence_callback): New function.
(lra_constraints): Call simplify_replace_fn_rtx instead of
loc_equivalence_change_p on DEBUG_INSNs.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194405 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/55619
* semantics.c (finish_asm_stmt): Don't call decay_conversion
on input operands that can be only in memory.

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194404 138bc75d-0d04-0410-961f-82ee72b054a4

PR tree-optimization/54570
* gcc.dg/builtin-object-size-8.c: Xfail.
* gcc.dg/builtin-object-size-13.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194401 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog

2012-12-11  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>

PR target/55642
* config/arm/thumb2.md (*thumb2_abssi2):
Set ce_count attribute to 2.
(*thumb2_neg_abssi2): Likewise.

gcc/testsuite/ChangeLog

2012-12-11  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
PR target/55642
* gcc.target/arm/pr55642.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194398 138bc75d-0d04-0410-961f-82ee72b054a4

* varasm.c (get_variable_section): Don't return lcomm_section
for asan_protect_global decls.
* asan.c (asan_protect_global): Only avoid public common variables.
Don't call get_variable_section here.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194393 138bc75d-0d04-0410-961f-82ee72b054a4

PR middle-end/43631
PR bootstrap/55615
* var-tracking.c (emit_note_insn_var_location): If insn is followed
by BARRIER, put note after the BARRIER.
(next_non_note_insn_var_location): Skip over BARRIERs.
(emit_notes_in_bb): If call is followed by BARRIER, put note after
the BARRIER.

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194392 138bc75d-0d04-0410-961f-82ee72b054a4

* sanitizer.def: Add comment about importance of ordering of
BUILT_IN_ASAN_REPORT* builtins.
* cfgcleanup.c (old_insns_match_p): Don't cross-jump __asan_report_*
builtins.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194391 138bc75d-0d04-0410-961f-82ee72b054a4

* sanitizer.def (BUILT_IN_ASAN_HANDLE_NO_RETURN): New builtin.
* asan.c (instrument_builtin_call): Change is_gimple_builtin_call
gcc_assert to gcc_checking_assert.
(maybe_instrument_call): Imit __builtin___asan_handle_no_return ()
before noreturn calls other than __builtin_trap () and
__builtin_unreachable ().

* c-c++-common/asan/clone-test-1.c: Remove bogus dg-shouldfail.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194390 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-11  Richard Biener  <rguenther@suse.de>

PR other/54324
* doc/install.texi (Tools/packages necessary for building GCC):
State ISO C++98 host compiler requirement.  Increment minimum
GCC version required for building all languages for a cross-compiler
to 3.4 or later.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194389 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-11  Richard Biener  <rguenther@suse.de>

PR tree-optimization/55079
* tree-vrp.c (extract_range_from_binary_expr_1): Handle MAX/MIN_EXPR
for more cases.
(register_edge_assert_for_2): Register asserts for post-in/decrement
tests.
(check_array_ref): Dump what expression we emit array bound
warnings for.
(search_for_addr_array): Likewise.

* gcc.dg/Warray-bounds-9.c: New testcase.
* gcc.dg/Warray-bounds-10.c: Likewise.
* gcc.dg/tree-ssa/ssa-pre-1.c: Adjust.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194388 138bc75d-0d04-0410-961f-82ee72b054a4

* tree-ssa-loop-ivopts.c (prepare_decl_rtl) <ADDR_EXPR>: Generate RTL
only for a DECL which HAS_RTL_P.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194387 138bc75d-0d04-0410-961f-82ee72b054a4

* ChangeLog: Fix whitespace.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194386 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-11  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

* config/s390/predicates.md ("execute_operation"): New predicate.
* config/s390/s390.md ("*execute_rl", "*execute"): Use the new
predicate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194385 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc-interface/Make-lang.in (RTS_DIR): Define only if Ada is enabled.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194384 138bc75d-0d04-0410-961f-82ee72b054a4

* doc/xsl/customization.xsl.in: Set svn:mime-type property to text/xml.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194383 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-10  Benjamin Kosnik  <bkoz@redhat.com>

* doc/Makefile.am (xml_sources_manual): Add
policy_data_structures_biblio.xml.
(${docbook_outdir}/latex): Add.
(doc-xml-validate-docbook): Split into..
(doc-xml-validate-dtd-db):... this for DTD.
(doc-xml-validate-rng-db):... this for Relax NG.
(doc-pdf-docbook-dirs): Add.
(doc-pdf-docbook-pre): Add.
* doc/xml/manual/build_hacking.xml: Add literal markup.
* doc/xml/manual/documentation_hacking.xml: Clean whitespace in
<filename> markup. Add notes about debugging the generation process.
* doc/xml/manual/policy_data_structures.xml: Split biblio into...
* doc/xml/manual/policy_data_structures_biblio.xml: ... this. New.
* doc/xml/manual/test_policy_data_structures.xml: Fixup <filename>
markup.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194379 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194378 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-10  Janus Weil  <janus@gcc.gnu.org>

PR fortran/52909
* trans-decl.c (get_proc_pointer_decl): Apply name mangling.

2012-12-10  Janus Weil  <janus@gcc.gnu.org>

PR fortran/52909
* gfortran.dg/proc_ptr_39.f90: New test case.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194375 138bc75d-0d04-0410-961f-82ee72b054a4

Enable push/pop for latest x86 CPUs

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194374 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-10  Steve Ellcey  <sellcey@mips.com>

* config/mips/gnu-user.h (NO_SHARED_SPECS): Add space before option.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194373 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-10  Steve Ellcey  <sellcey@mips.com>

PR target/54061
rtl.h (IGNORED_DWARF_REGNUM): New.
* dwarf2out.c (reg_loc_descriptor): Check for IGNORED_DWARF_REGNUM.
(mem_loc_descriptor): Ditto.
* config/mips/mips.h (ALL_COP_REG_FIRST): New.
(ALL_COP_REG_LAST): New.
(ALL_COP_REG_NUM): Redefine using above macros.
* config/mips/mips.c (mips_option_override): Set mips_dbx_regno
coprocessor entries to IGNORED_DWARF_REGNUM.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194372 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/testsuite/
* gcc.target/mips/octeon-bbit-2.c: Restructure loops so that no
code duplication is required.  Allow BNE to appear.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194370 138bc75d-0d04-0410-961f-82ee72b054a4

* Make-lang.in (cp/typeck.o): Add dependency on $(PARAMS_H).
(cp/name-lookup.o): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194369 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/testsuite/
* gcc.target/mips/ext-2.c: Require -mlong64.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194368 138bc75d-0d04-0410-961f-82ee72b054a4

Fix ChangeLog entry, move entry from toplevel ChangeLog to gcc/ChangeLog.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194364 138bc75d-0d04-0410-961f-82ee72b054a4

* decl2.c (cp_write_global_declarations): Return after writing a PCH.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194363 138bc75d-0d04-0410-961f-82ee72b054a4

Record the global variables if WPA isn't enabled

PR lto/55466
* lto-symtab.c (lto_symtab_merge_decls_1): Don't record the
prevailing variable.
* lto.c (lto_register_var_decl_in_symtab): Don't record static
variables.
(lto_main): Record the global variables if WPA isn't enabled.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194359 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-10  Richard Biener  <rguenther@suse.de>

PR tree-optimization/55107
* tree-ssa-pre.c (struct pre_stats): Remove constified field.
(bitmap_set_replace_value): Add gcc_unreachable.
(do_regular_insertion): Re-write all_same handling.  Insert
an assignment instead of a PHI in this case.
(eliminate_bb): Record availability also for SSA names defined
by a constant.
(do_pre): Do not record constified events.
(execute_fre): Likewise.

* gcc.dg/torture/pr55107.c: New testcase.
* gcc.dg/tree-ssa/ssa-pre-5.c: Adjust.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194358 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-10  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

* config/spu/spu.md: Replace "operands" with "operands != NULL" in
insn conditions.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194357 138bc75d-0d04-0410-961f-82ee72b054a4

* g++.dg/asan/asan_test.cc: Sync from upstream.
* g++.dg/asan/asan_test_utils.h: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194356 138bc75d-0d04-0410-961f-82ee72b054a4

* asan.c (asan_init_shadow_ptr_types): Move earlier in the file.
Call initialize_sanitizer_builtins at the end.
(asan_pp_string): Use TREE_TYPE (shadow_ptr_types[0])
as character type instead of char_type_node.
(asan_emit_stack_protection): Call asan_init_shadow_ptr_types
if shadow_ptr_types isn't initialized.
(asan_protect_global): Return true for STRING_CSTs except those
created by asan_pp_string.
(count_string_csts, add_string_csts): New functions.
(struct asan_add_string_csts_data): New type.
(asan_finish_file): Clear flag_asan at the beginning, restore at the
end.  Traverse constant_pool_htab () to look for protected
STRING_CSTs.  Don't call initialize_sanitizer_builtins,
instead call asan_init_shadow_ptr_types if shadow_ptr_types isn't
initialized yet.
(asan_instrument): Don't call initialize_sanitizer_builtins.
* varasm.c (output_constant_def_contents): If STRING_CST should be
asan protected, align it sufficiently and emit padding after it.
(categorize_decl_for_section): If flag_asan, don't put STRING_CSTs
that should be asan protected into mergeable sections.  For
-fmerge-all-constants, ignore it for -fmudflap or if decl is
asan protected.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194355 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog

2012-12-10  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>

* config/arm/neon.ml (opcode): Add Vrintn, Vrinta, Vrintp, Vrintm,
Vrintz to type.
(type features): Add Requires_arch type constructor.
(ops): Define Vrintn, Vrinta, Vrintp, Vrintm, Vrintz features.
* config/arm/neon-docgen.ml (intrinsic_groups): Define Vrintn,
Vrinta, Vrintp, Vrintm, Vrintz, Vrintx.
* config/arm/neon-testgen.ml (effective_target): Define check for
Requires_arch 8.
* config/arm/neon-gen.ml
(print_feature_test_start): Handle Requires_arch.
(print_feature_test_end): Likewise.
Add 2012 to Copyright notice.
* doc/arm-neon-intrinsics.texi: Regenerate.
* config/arm/arm_neon.h: Regenerate.

gcc/testsuite/ChangeLog

2012-12-10  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>

* gcc.target/arm/neon/vrndaf32.c: New test.
* gcc.target/arm/neon/vrndqaf32.c: Likewise.
* gcc.target/arm/neon/vrndf32.c: Likewise.
* gcc.target/arm/neon/vrndqf32.c: Likewise.
* gcc.target/arm/neon/vrndmf32.c: Likewise.
* gcc.target/arm/neon/vrndqmf32.c: Likewise.
* gcc.target/arm/neon/vrndnf32.c: Likewise.
* gcc.target/arm/neon/vrndqnf32.c: Likewise.
* gcc.target/arm/neon/vrndpf32.c: Likewise.
* gcc.target/arm/neon/vrndqpf32.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194353 138bc75d-0d04-0410-961f-82ee72b054a4

* stmt.c (expand_sjlj_dispatch_table): Fix off by one.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194351 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/53912
* stmt.c (compute_cases_per_edge): Cast from pointer via intptr_t.
(expand_case): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194350 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/53912
* print-tree.c (print_node): Cast from pointer via uintptr_t.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194348 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-10  Matthias Klose  <doko@ubuntu.com>

        * src/Makefile.am (libstdc++-symbols.ver): Use CONFIG_HEADER.
        * src/Makefile.in: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194346 138bc75d-0d04-0410-961f-82ee72b054a4

* asan.c (instrument_derefs): Handle bitfield COMPONENT_REFs
accesses as reads/writes to their DECL_BIT_FIELD_REPRESENTATIVE.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194344 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194342 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc.misc-tests/gcov-12.c: Fix dg order.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194338 138bc75d-0d04-0410-961f-82ee72b054a4

PR middle-end/54470
* gcc.dg/ipa/iinline-4.c: xfail hooray4 test on 32-bit hppa*-*-*.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194337 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc.dg/torture/pr47917.c: Change "dg-xfail-if" to "dg-xfail-run-if"
for *-*-hpux10*.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194335 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/55344
* config/alpha/linux-unwind.h: Disable when inhibit_libc is defined.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194334 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc.dg/20030711-1.c: Define MAP_FAILED if not defined.
* gcc.dg/20050826-1.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194333 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-09  Tobias Burnus  <burnus@net-b.de>

        * trans-array.c (gfc_deallocate_scalar_with_status): Use
        NULL_TREE in the call to gfc_deallocate_scalar_with_status.
        * trans-decl.c (gfc_trans_deferred_vars): Pass symbol.
        * trans-stmt.c (gfc_trans_deallocate): Pass polymorphic
        * variable.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194332 138bc75d-0d04-0410-961f-82ee72b054a4

* gnat.dg/vect9.adb: Add -w to dg-options.
* gnat.dg/vect10.adb: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194331 138bc75d-0d04-0410-961f-82ee72b054a4

* testsuite/lib/libstdc++.exp (dg-test): Unset testname_with_flags
after running the test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194330 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-09  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/55593
* frontend-passes.c (doloop_code):  Use resolved_sym
instead of n.sym->formal for formal argument list
to get the correct version for all generic subroutines.

2012-12-09  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/55593
* gfortran.dg/do_check_8.f90:  New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194329 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194328 138bc75d-0d04-0410-961f-82ee72b054a4

Fix typo

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194325 138bc75d-0d04-0410-961f-82ee72b054a4

* lto-streamer-out.c (lto_write_tree): Do not reset the DECL_INITIAL of
variables in the global contant pool.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194324 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc-interface/trans.c (gnat_to_gnu) <N_Indexed_Component>: Assert
that the type of the prefix is ultimately an array.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194323 138bc75d-0d04-0410-961f-82ee72b054a4

PR rtl-optimization/55158
* sched-rgn.c (bb_state_array, bb_state): Add some explaining
comment, and initialize to NULL explicitly.
(realloc_bb_state_array): New function.
(free_bb_state_array): New function.
(schedule_region): Call realloc_bb_state_array after schedule_block.
(sched_rgn_init): Use realloc_bb_state_array to initialize bb_state.
(sched_rgn_finish): Use free_bb_state_array to free it.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194322 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc-interface/trans.c (Subprogram_Body_to_gnu): Be prepared for a
by-ref VAR_DECL in the case of an Out parameter passed by copy.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194321 138bc75d-0d04-0410-961f-82ee72b054a4

* tree-ssa-loop-im.c (for_each_index) <CONST_DECL>: New case.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194320 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/55127
* search.c (accessible_in_template_p): New.
* cp-tree.h: Declare it.
* pt.c (instantiation_dependent_scope_ref_p): New.
(value_dependent_expression_p): Use it.
(instantiation_dependent_r): Likewise.
* semantics.c (finish_decltype_type): Handle SCOPE_REF.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194318 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/55419
* tree.c (build_target_expr): Don't set TREE_CONSTANT.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194317 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/55513
* semantics.c (cxx_eval_builtin_function_call): Set non_constant_p
after folding.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194316 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194315 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-07  Paolo Carlini  <paolo.carlini@oracle.com>

* tree.c (build_aggr_init_expr): Remove tsubst_flags_t parameter.
(build_cplus_new): Adjust.
* cp-tree.h: Adjust declaration.
* init.c (build_value_init): Adjust.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194312 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-07  Sriraman Tallan  <tmsriram@google.com>

* toplev.c (process_options): Do not warn when -ffunction-sections
and -fprofile are used together.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194311 138bc75d-0d04-0410-961f-82ee72b054a4

* ree.c (struct ext_cand): Remove GTY markers.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194310 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-07  Mike Stump  <mikestump@comcast.net>

    * gnat.dg/discr38.adb: Don't use ^M line endings.
    gnat.dg/loop_optimization13.adb: Likewise.
    gnat.dg/loop_optimization13.ads: Likewise.
    gnat.dg/discr36_pkg.adb: Likewise.
    gnat.dg/discr36_pkg.ads: Likewise.
    gnat.dg/loop_optimization11_pkg.ads: Likewise.
    gnat.dg/discr36.ads: Likewise.
    gnat.dg/loop_optimization11.adb: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194309 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-07  Vladimir Makarov  <vmakarov@redhat.com>

testsuite/gcc.target/i386/pr55141.c
* lra-constraints.c (lra_constraints): Use biggest mode for
df_set_regs_ever_live.

2012-12-07  Vladimir Makarov  <vmakarov@redhat.com>

PR rtl-optimization/55141
* gcc.target/i386/pr55141.c: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194308 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/54401 - Confusing diagnostics about type-alias at class scope

Consider this invalid example given in the PR, where T is not defined:

     1 template<typename>
     2 struct X {
     3     using type = T;
     4 };

g++ yields the confusing diagnostics:

test.cc:3:10: error: expected nested-name-specifier before 'type'
    using type = T;
          ^
test.cc:3:10: error: using-declaration for non-member at class scope
test.cc:3:15: error: expected ';' before '=' token
    using type = T;
               ^
test.cc:3:15: error: expected unqualified-id before '=' token

I think this is because in cp_parser_member_declaration we tentatively
parse an alias declaration; we then have a somewhat meaningful
diagnostic which alas is not emitted because we are parsing
tentatively.  As the parsing didn't succeed (because the input is
invalid) we try to parse a using declaration, which fails as well; but
then the diagnostic emitted is the one for the failed attempt at
parsing a using declaration, not an alias declaration.  Oops.

The idea of this patch is to commit the tentative parse when we see
the '=' token in the alias-declaration.  That way any error encounter
after that token is reported to the user.

We are now getting the following output:

    test.cc:3:18: erreur: expected type-specifier before ‘T’
 using type = T;
      ^
    test.cc:3:18: erreur: ‘T’ does not name a type

I don't really like the "before 'T'" there, but I think we maybe could
revisit the format of what cp_parser_error emits in general, now that
we have caret diagnostics;  We could maybe do away with the "before T"
altogether?

In the mean time, it seems to me that this patch brings an improvement
over what we already have in trunk, and the issue above could be
addressed separately.

Tested on x86_64-unknown-linux-gnu against trunk.

gcc/cp/

* parser.c (cp_parser_alias_declaration): Commit to tentative
parse when see the '=' token.  Get out if the type-id is invalid.
Update function comment.
(cp_parser_member_declaration): Don't try to parse a using
declaration if we know that we expected an alias declaration; that
is, if we see the '=' token after the identifier.

gcc/testsuite/

* g++.dg/cpp0x/alias-decl-28.C: New test.
* g++.dg/cpp0x/alias-decl-16.C: Update.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194306 138bc75d-0d04-0410-961f-82ee72b054a4

  * tree-ssa-loop-ivcanon.c (tree_estimate_loop_size): Add UPPER_BOUND
  parameter.
  (try_unroll_loop_completely) Update.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194305 138bc75d-0d04-0410-961f-82ee72b054a4