[asan] Fix a thinko leading to a crash

It appeared that in my previous patch, a stupid thinko can lead to a
crash when instrumenting some builtin functionsK.  Fixed thus.

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

gcc/
* asan.c (instrument_builtin_call):  Really put the length of the
second source argument into src1_len.

gcc/testsuite/

* c-c++-common/asan/memcmp-2.c: New test.

From-SVN: r196044

re PR c++/55670 ([C++11] This isn't a pure virtual method.)

PR c++/55670
* parser.c (cp_parser_member_declaration): Check the declarator
form when detecting a function declaration via typedef.

From-SVN: r196043

re PR c++/55680 ([C++11] Member specialization with lambda is rejected)

PR c++/55680
* pt.c (maybe_process_partial_specialization): A lambda
isn't what's being specialized.

From-SVN: r196042

re PR c++/55582 ([C++11] Unable to define string user-defined literal without leading underscore.)

gcc/libcpp/

2013-02-13  Ed Smith-Rowland  <3dw4rd@verizon.net>

PR c++/55582
* libcpp/lex.c (lex_raw_string): Allow string literal with suffix
beginning with 's' to be parsed as a C++11 user-defined literal.

gcc/testsuite/

2013-02-13  Ed Smith-Rowland  <3dw4rd@verizon.net>

PR c++/55582
* g++.dg/cpp0x/udlit-string-literal.h: New.
* g++.dg/cpp0x/udlit-string-literal.C: New.

From-SVN: r196041

Daily bump.

From-SVN: r196039

re PR libstdc++/56111 ({float,double,long double} complex not accepted anymore)

2013-02-13  Marc Glisse  <marc.glisse@inria.fr>

PR libstdc++/56111
* include/std/complex (complex): Undefine.
* include/c_compatibility/complex.h (complex): Only undefine if
<complex> has been included.
* testsuite/26_numerics/complex/56111.cc: New testcase.

From-SVN: r196034

mv12-aux.C: Delete, move to mv12-aux.cc.

2013-02-13  Sriraman Tallam  <tmsriram@google.com>

* g++.dg/ext/mv12-aux.C: Delete, move to mv12-aux.cc.
* g++.dg/ext/mv12-aux.cc: New file.
* g++.dg/ext/mv12.h: Remove directives. Fix comment.
* g++.dg/ext/mv12.C: Fix file name.

From-SVN: r196033

hashtable_policy.h (_Hash_code_base): Restore default constructor protected.

2013-02-13  François Dumont  <fdumont@gcc.gnu.org>

* include/bits/hashtable_policy.h (_Hash_code_base): Restore
default constructor protected.
* include/bits/hashtable.h: static assert that _Hash_code_base has
a default constructor available through inheritance.

From-SVN: r196030

asan.c (create_cond_insert_point): Add create_then_fallthru_edge argument.

* asan.c (create_cond_insert_point): Add create_then_fallthru_edge
argument.  If it is false, don't create edge from then_bb to
fallthru_bb.
(insert_if_then_before_iter): Pass true to it.
(build_check_stmt): Pass false to it.
(transform_statements): Flush hash table only on extended basic
block boundaries, rather than at the beginning of every bb.
Don't flush hash table on nonfreeing_call_p calls.
* tree-flow.h (nonfreeing_call_p): New prototype.
* tree-ssa-phiopt.c (nonfreeing_call_p): No longer static.

From-SVN: r196029

We should not strip subregs of non-scalars during shift expansion.

* expmed.c (expand_shift_1): Only strip scalar integer subregs.

From-SVN: r196027

Make sure mv12-aux.C has same directives as mv12.C.

Make sure mv12-aux.C has same directives as mv12.C. mv12-aux.C should not
compile for non-x86 targets.

2013-02-13  Sriraman Tallam  <tmsriram@google.com>

* g++.dg/ext/mv12-aux.C: Add directives to match mv12.C.

From-SVN: r196026

re PR c++/55710 ([C++11] Linkage errors with lambdas)

PR c++/55710
* semantics.c (maybe_add_lambda_conv_op): Mark static thunk
TREE_USED.

From-SVN: r196025

re PR c++/55879 ([C++11] nested constexpr Initialisation raises internal compiler error)

PR c++/55879
* semantics.c (cxx_bind_parameters_in_call): Undo DECL_BY_REFERENCE.

From-SVN: r196024

re PR c++/55993 ([C++11] derived-to-base conversion fails in constant expression)

PR c++/55993
* semantics.c (cxx_fold_indirect_ref): Handle empty bases at
non-zero offsets, too.

From-SVN: r196023

re PR c++/56155 ([C++11] enumeration with fixed underlying type - enumerators have wrong type within enumerator-list)

PR c++/56155
* decl.c (build_enumerator): Always convert the value to a
fixed underlying type.

From-SVN: r196022

re PR c++/56135 ([c++11] this incorrectly captured as null in template member function)

PR c++/56135
* pt.c (tsubst_copy_and_build): Don't forget any new
captures that arose from use of dependent names.

From-SVN: r196021

re PR target/56184 (Internal compiler error in push_reload during bootstrap stage 2)

2013-02-13  Vladimir Makarov  <vmakarov@redhat.com>

PR target/56184
* ira.c (max_regno_before_ira): Move from ...
(ira): ... here.
(fix_reg_equiv_init): Use max_regno_before_ira instead of
vec_safe_length.

2013-02-13  Vladimir Makarov  <vmakarov@redhat.com>

PR target/56184
* gcc.target/arm/pr56184.C: New test.

From-SVN: r196019

re PR c++/56302 (sys/sdt.h asms stopped working at -O0)

PR c++/56302
* semantics.c (finish_asm_stmt): If input constraints allow
neither register nor memory, try maybe_constant_value to get
a constant if possible.

* g++.dg/torture/pr56302.C: New test.
* g++.dg/cpp0x/constexpr-56302.C: New test.
* c-c++-common/pr56302.c: New test.

From-SVN: r196018

i386.c (ix86_asan_shadow_offset): Revert last change.

* config/i386/i386.c (ix86_asan_shadow_offset): Revert last change.

* asan/asan_mapping.h (SHADOW_OFFSET): Set to (1ULL << 44) on x86-64.

From-SVN: r196017

re PR lto/56295 (Missed optimization with LTO)

2013-02-13  Richard Biener  <rguenther@suse.de>

PR lto/56295
* gimple-streamer-out.c (output_gimple_stmt): Undo wrapping
globals in MEM_REFs.

From-SVN: r196013

re PR fortran/56204 (gfortran.dg/quad_[23].f90 FAIL on Solaris 9/x86)

2013-02-13  Tobias Burnus  <burnus@net-b.de>
            Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>

        PR fortran/56204
        * gfortran.dg/quad_2.f90: Use "< epsilon" instead of "==".
        * gfortran.dg/quad_3.f90: Ditto.

From-SVN: r196011

loop-init.c (loop_optimizer_init): Clear loop state when re-initializing preserved loops.

2013-02-13  Richard Biener  <rguenther@suse.de>

* loop-init.c (loop_optimizer_init): Clear loop state when
re-initializing preserved loops.
* loop-unswitch.c (unswitch_single_loop): Return whether
we unswitched the loop.  Do not verify loop state here.
(unswitch_loops): When we unswitched a loop discover new
loops.

From-SVN: r196010

libsanitizer merge from upstream r175049

From-SVN: r196009

[asan] Avoid instrumenting duplicated memory access in the same basic block

Like what Address Sanitizer does in LLVM, this patch avoids instrumented
duplicated memory accesses in the same basic blocks.

The approach taken is very conservative, to keep the pass simple, for
a start.

A memory access is considered to be a pair made of an expression tree
representing the beginning of the memory region that is accessed and
a the size of the access, in byte.  For now that size is either 1, 2,
4, 8 or 16 bytes.

The patch builds a hash table of the memory accesses that have been
instrumented in the current basic block.  Then it walks the gimple
statements of the current basic block.  For each statement, it tests
if the memory regions it references have already been instrumented.
If not, the statement is instrumented and each memory references that
are actually instrumented are added to the hash table.  When a memory
region is accessed (usually through builtin functions like memset),
then what gets added to the hash table is actually two memory
accesses: one for the beginning of the region, and the other for the
its end.

When the patch crosses a function call that is not a built-in function
that we ought to instrument, the hash table is cleared, because that
function call can possibly e.g free some memory that was instrumented.

Likewise, when a new basic block is visited, the hash table is
cleared.  I guess we could be smarter than just unconditionally
clearing the hash table in this later case, but this is what asan@llvm
does, and for now, I thought starting in a conservative manner might
have some value.

The hash table is destroyed at the end of the pass.

Bootstrapped and tested against trunk on x86-64-unknown-linux-gnu.

gcc/
* Makefile.in (asan.o): Add new dependency on hash-table.h
* asan.c (struct asan_mem_ref, struct mem_ref_hasher): New types.
(asan_mem_ref_init, asan_mem_ref_get_end, get_mem_ref_hash_table)
(has_stmt_been_instrumented_p, empty_mem_ref_hash_table)
(free_mem_ref_resources, has_mem_ref_been_instrumented)
(has_stmt_been_instrumented_p, update_mem_ref_hash_table)
(get_mem_ref_of_assignment): New functions.
(get_mem_refs_of_builtin_call): Extract from
instrument_builtin_call and tweak a little bit to make it fit with
the new signature.
(instrument_builtin_call): Use the new
get_mem_refs_of_builtin_call.  Use gimple_call_builtin_p instead
of is_gimple_builtin_call.
(instrument_derefs, instrument_mem_region_access): Insert the
instrumented memory reference into the hash table.
(maybe_instrument_assignment): Renamed instrument_assignment into
this, and change it to advance the iterator when instrumentation
actually happened and return true in that case.  This makes it
homogeneous with maybe_instrument_assignment, and thus give a
chance to callers to be more 'regular'.
(transform_statements): Clear the memory reference hash table
whenever we enter a new BB, when we cross a function call, or when
we are done transforming statements.  Use
maybe_instrument_assignment instead of instrumentation.  No more
need to special case maybe_instrument_assignment and advance the
iterator after calling it; it's now handled just like
maybe_instrument_call.  Update comment.

gcc/testsuite/

* c-c++-common/asan/no-redundant-instrumentation-1.c: New test.
* testsuite/c-c++-common/asan/no-redundant-instrumentation-2.c: Likewise.
* testsuite/c-c++-common/asan/no-redundant-instrumentation-3.c: Likewise.
* testsuite/c-c++-common/asan/inc.c: Likewise.

From-SVN: r196008

Fix typo in ChangeLog

From-SVN: r196005

re PR target/52122 (incorrect ln -s replacement for mingw like targets in configure files)

PR target/52122
* Makefile.in (LN_S_RECUSIVE): New.
(adainclude, adalib): Use LN_S_RECURSIVE for copy.

From-SVN: r196002

Revert rev. 195980

From-SVN: r196001

mn10300.c (mn10300_scan_for_setlb_lcc): Fix loop discovery code.

2013-02-13  Richard Biener  <rguenther@suse.de>

* config/mn10300/mn10300.c (mn10300_scan_for_setlb_lcc):
Fix loop discovery code.

From-SVN: r195998

Daily bump.

From-SVN: r195995

re PR c++/56285 ([C++11] Arguments to an inheriting constructor are not forwarded properly)

PR c++/56285
* method.c (add_one_base_init): Handle base constructor
taking rvalue reference parm.

From-SVN: r195990

Fix bootstrap with -O3.

From-SVN: r195989

re PR inline-asm/56148 (inline asm matching constraint with different mode)

2013-02-12  Vladimir Makarov  <vmakarov@redhat.com>

PR inline-asm/56148
* lra-constraints.c (process_alt_operands): Match early clobber
operand with itself.  Check conflicts with earlyclobner only if
the operand is not reloaded.  Prefer to reload conflicting operand
if earlyclobber and matching operands are the same.

2013-02-12  Vladimir Makarov  <vmakarov@redhat.com>

PR inline-asm/56148
* gcc.target/i386/pr56148.c: New test.

From-SVN: r195988

re PR c++/56291 (ICE for C++11 in output_constructor_regular_field, at varasm.c:4821)

PR c++/56291
* semantics.c (sort_constexpr_mem_initializers): Handle
vptr out of order.

From-SVN: r195986

int128 tests

From-SVN: r195985

re PR testsuite/56082 (FAIL: gfortran.dg/bind_c_bool_1.f90  -O   (test for errors, line 18) on powerpc-apple-darwin9 with -m32)

2013-02-12  Dominique d'Humieres  <dominiq@lps.ens.fr>
            Tobias Burnus  <burnus@net-b.de>

        PR fortran/56082
        * gfortran.dg/bind_c_bool_1.f90 (sub): Change kind=4
        to kind=2 as 32bit Darwin has C_Bool == 4.

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

re PR target/52122 (incorrect ln -s replacement for mingw like targets in configure files)

        PR target/52122
        * Makefile.in (LN_S_RECUSIVE): New.
        (adainclude, adalib): Use LN_S_RECURSIVE for copy.

From-SVN: r195980

re PR lto/56297 (LTO: multiple definition error with global register variables)

2013-02-12  Richard Biener  <rguenther@suse.de>

PR lto/56297
* lto-streamer-out.c (write_symbol): Do not output symbols
for hard register variables.

* gcc.dg/lto/pr56297_0.c: New testcase.
* gcc.dg/lto/pr56297_0.c: Likewise.

From-SVN: r195979

re PR target/54222 ([avr] Implement fixed-point support)

gcc/
PR target/54222
* config/avr/avr-dimode.md (umulsidi3, mulsidi3): New expanders.
(umulsidi3_insn, mulsidi3_insn): New insns.

libgcc/
PR target/54222
* config/avr/t-avr (LIB2FUNCS_EXCLUDE): Add: _usmulUHA, _usmulUSA,
_ssmulHA, _ssmulSA.
(LIB1ASMFUNCS): Add: _muldi3_6, _mulsidi3, _umulsidi3, _usmuluha3,
_ssmulha3, _usmulusa3, _ssmulsa3.
* config/avr/lib1funcs.S (__muldi3_6): Break out of __muldi3.
(__muldi3): XCALL __muldi3_6 instead of rcall.
(__umulsidi3, __mulsidi3): New functions.
(do_prologue_saves, do_epilogue_restores): New .macros.
(__divdi3_moddi3): Use them.
* config/avr/lib1funcs-fixed.S (__usmuluha3, __ssmulha3)
(__usmulusa3, __ssmulsa3): New functions.

From-SVN: r195978

arm-protos.h (struct cpu_vec_costs): New struct type.

2013-02-05  Christophe Lyon <christophe.lyon@linaro.org>

* config/arm/arm-protos.h (struct cpu_vec_costs): New struct type.
(struct tune_params): Add vec_costs field.
* config/arm/arm.c (arm_builtin_vectorization_cost)
(arm_add_stmt_cost): New functions.
(TARGET_VECTORIZE_BUILTIN_VECTORIZATION_COST)
(TARGET_VECTORIZE_ADD_STMT_COST): Define.
(arm_default_vec_cost): New struct of type cpu_vec_costs.
(arm_slowmul_tune, arm_fastmul_tune, arm_strongarm_tune)
(arm_xscale_tune, arm_9e_tune, arm_v6t2_tune, arm_cortex_tune)
(arm_cortex_a15_tune, arm_cortex_a5_tune, arm_cortex_a9_tune)
(arm_v6m_tune, arm_fa726te_tune): Define new vec_costs field.

From-SVN: r195977

re PR lto/56295 (Missed optimization with LTO)

2013-02-12  Richard Biener  <rguenther@suse.de>

PR lto/56295
* gimple-streamer-in.c (input_gimple_stmt): Strip MEM_REFs off
decls again if possible.

From-SVN: r195976

re PR fortran/46952 ([OOP] Spurious "recursive call" error with type bound procedure)

2013-02-12  Janus Weil  <janus@gcc.gnu.org>

PR fortran/46952
* resolve.c (resolve_call): Do not check deferred procedures for
recursiveness.

2013-02-12  Janus Weil  <janus@gcc.gnu.org>

PR fortran/46952
* gfortran.dg/typebound_deferred_1.f90: New.

From-SVN: r195975

cstdlib (at_quick_exit, quick_exit): Provide in C++11 mode.

2013-02-12  Paolo Carlini  <paolo.carlini@oracle.com>

* include/c_std/cstdlib (at_quick_exit, quick_exit): Provide in
C++11 mode.

From-SVN: r195974

re PR middle-end/56288 (always true conditional expression in verify_ssa_name)

2013-02-12  Richard Biener  <rguenther@suse.de>

PR middle-end/56288
* tree-ssa.c (verify_ssa_name): Fix check, move
SSA_NAME_IN_FREE_LIST check up.

From-SVN: r195973

re PR rtl-optimization/56151 (Performance degradation after r194054 on x86 Atom.)

PR rtl-optimization/56151
* optabs.c (add_equal_note): Don't return 0 if target is a MEM,
equal to op0 or op1, and last_insn pattern is CODE operation
with MEM dest and one of the operands matches that MEM.

* gcc.target/i386/pr56151.c: New test.

Co-Authored-By: Steven Bosscher <steven@gcc.gnu.org>
From-SVN: r195972

38081-1.cc (test01): Don't expect dots after abbreviated weekday names for ru_RU for glibc versions...

libstdc++-v3/
* testsuite/22_locale/time_get/get_weekday/char/38081-1.cc (test01):
Don't expect dots after abbreviated weekday names for ru_RU for
glibc versions >= 2.17.
* testsuite/22_locale/time_get/get_weekday/char/38081-2.cc (test01):
Likewise.

From-SVN: r195971

random.tcc (__transform): Remove.

2013-02-12  Paolo Carlini  <paolo.carlini@oracle.com>

* include/bits/random.tcc (__transform): Remove.
(__normalize): Add.
(discrete_distribution<>::param_type::_M_initialize): Adjust.
(piecewise_constant_distribution<>::param_type::_M_initialize):
Likewise.
(piecewise_linear_distribution<>::param_type::_M_initialize):
Likewise.

From-SVN: r195970

extend.texi: Document Function Multiversioning and "default" parameter string to target...

* doc/extend.texi: Document Function Multiversioning and "default"
parameter string to target attribute.
* g++.dg/ext/mv12.C: New test.
* g++.dg/ext/mv12.h: New file.
* g++.dg/ext/mv12-aux.C: New file.
* g++.dg/ext/mv13.C: New test.
* config/i386/i386.c (get_builtin_code_for_version): Return 0 if
target attribute parameter is "default".
(ix86_compare_version_priority): Remove checks for target attribute.
(ix86_mangle_function_version_assembler_name): Change error to sorry.
Remove check for target attribute equal to NULL. Add assert.
(ix86_generate_version_dispatcher_body): Change error to sorry.

From-SVN: r195967

Makefile.am (hashtable_c++0x.lo, [...]): Use -fimplicit-templates.

2013-02-11  Benjamin Kosnik  <bkoz@redhat.com>

* src/c++11/Makefile.am (hashtable_c++0x.lo, hashtable_c++0x.o):
Use -fimplicit-templates.
* src/c++11/Makefile.in: Regenerate.
* src/c++11/hashtable_c++0x.cc: Remove instantiation for
std::lower_bound template.

From-SVN: r195966

Daily bump.

From-SVN: r195965

cstdlib (at_quick_exit, quick_exit): Do not declare.

2013-02-11  Paolo Carlini  <paolo.carlini@oracle.com>

* include/c_std/cstdlib (at_quick_exit, quick_exit): Do not declare.
* include/c_global/cstdlib (at_quick_exit, quick_exit): Declare only
in C++11 mode and if available in the underlying C library.
* testsuite/18_support/quick_exit/quick_exit.cc: Compile with
-std=gnu++11; check _GLIBCXX_HAVE_AT_QUICK_EXIT and
_GLIBCXX_HAVE_QUICK_EXIT.

From-SVN: r195961

re PR libitm/55693 (libitm.c++/eh-1.C execution test fails on darwin from r193271)

/libgcc
2013-02-11  Iain Sandoe  <iain@codesourcery.com>
    Jack Howarth  <howarth@bromo.med.uc.edu>
    Patrick Marlier  <patrick.marlier@gmail.com>

PR libitm/55693
* config/darwin-crt-tm.c: Remove dummy functions hack.

/gcc
2013-02-11  Iain Sandoe  <iain@codesourcery.com>
    Jack Howarth  <howarth@bromo.med.uc.edu>
    Patrick Marlier  <patrick.marlier@gmail.com>

PR libitm/55693
* config/darwin.h: Replace ENDFILE_SPEC with TM_DESTRUCTOR and
define ENDFILE_SPEC as TM_DESTRUCTOR.
* config/i386/darwin.h (ENDFILE_SPEC): Use TM_DESTRUCTOR.

/libitm
2013-02-11  Iain Sandoe  <iain@codesourcery.com>
    Jack Howarth  <howarth@bromo.med.uc.edu>
    Patrick Marlier  <patrick.marlier@gmail.com>

PR libitm/55693
* alloc_cpp.cc: Enable function declarations on darwin.
* eh_cpp.cc: Likewise.

Co-Authored-By: Jack Howarth <howarth@bromo.med.uc.edu>
Co-Authored-By: Patrick Marlier <patrick.marlier@gmail.com>
From-SVN: r195960

*: Regenerate.

2013-02-11  Benjamin Kosnik  <bkoz@redhat.com>

* doc/html/*: Regenerate.

From-SVN: r195959

configure.tgt: Disable build on darwin9 and earlier.

2013-02-11  Jack Howarth  <howarth@bromo.med.uc.edu>

    * configure.tgt: Disable build on darwin9 and earlier.

From-SVN: r195958

2013-02-11  Sebastian Huber  <sebastian.huber@embedded-brains.de>

        * lib/target-supports.exp
        (check_effective_target_powerpc_eabi_ok): New.
        * gcc.target/powerpc/ppc-eabi.c: Use require effective target
        powerpc_eabi_ok.
        * gcc.target/powerpc/ppc-sdata-1.c: Likewise.
        * gcc.target/powerpc/spe-small-data-2.c: Likewise. Do not run, compile
        only.
        * gcc.target/powerpc/ppc-sdata-2.c: Add powerpc-*-rtems*.
        * gcc.target/powerpc/pr51623.c: Likewise.
        * gcc.target/powerpc/ppc-stackalign-1.c: Likewise.
        * gcc.target/powerpc/ppc-ldstruct.c: Likewise.

From-SVN: r195957

re PR sanitizer/55617 (static constructors are not being instrumented correctly on darwin)

2013-02-11  Alexander Potapenko <glider@google.com>
    Jack Howarth  <howarth@bromo.med.uc.edu>
    Jakub Jelinek  <jakub@redhat.com>

PR sanitizer/55617
* config/darwin.c (cdtor_record): Rename ctor_record.
(sort_cdtor_records): Rename sort_ctor_records.
(finalize_dtors): New routine to sort destructors by
priority before use in assemble_integer.
(machopic_asm_out_destructor): Use finalize_dtors if needed.

testsuite:
2013-02-11  Alexander Potapenko <glider@google.com>
    Jack Howarth  <howarth@bromo.med.uc.edu>
    Jakub Jelinek  <jakub@redhat.com>

PR sanitizer/55617
* g++.dg/asan/pr55617.C: Run on all targets.

Co-Authored-By: Jack Howarth <howarth@bromo.med.uc.edu>
Co-Authored-By: Jakub Jelinek <jakub@redhat.com>
From-SVN: r195956

Sync plugin-api.h with the copy in binutils.  Please see:

http://sourceware.org/ml/binutils/2013-02/msg00136.html
for a change committed to plugin-api.h

2013-02-11  Sriraman Tallam  <tmsriram@google.com>

* plugin-api.h (enum ld_plugin_level): Assign integers
explicitly for all values.

From-SVN: r195953

re PR go/56171 (syscall FAILs on Solaris)

PR go/56171
libgo: Solaris portability for syscall package.

From Rainer Orth.

From-SVN: r195950

linkage.m4 (GLIBCXX_CHECK_STDLIB_DECL_AND_LINKAGE): New.

* linkage.m4 (GLIBCXX_CHECK_STDLIB_DECL_AND_LINKAGE): New.
(GLIBCXX_CHECK_STDLIB_SUPPORT): Check for atexit and at_quick_exit.
* include/c_std/cstdlib: Add atexit and at_quick_exit.
* include/c_global/cstdlib: Add atexit and at_quick_exit.
* testsuite/18_support/quick_exit/quick_exit.cc: New.

From-SVN: r195948

re PR rtl-optimization/56275 (ICE in simplify_subreg, at simplify-rtx.c:5261 with vector code.)

PR rtl-optimization/56275
* simplify-rtx.c (avoid_constant_pool_reference): Check that
offset is non-negative and less than cmode size before
calling simplify_subreg.

testsuite/ChangeLog:

PR rtl-optimization/56275
* gcc.dg/pr56275.c: New test.

From-SVN: r195944

re PR c++/56268 (C++11 ICE with boost multi-precision and boost variant during assignment)

PR c++/56268
* semantics.c (classtype_has_nothrow_assign_or_copy_p): Call
maybe_instantiate_noexcept.

From-SVN: r195943

re PR tree-optimization/56273 (Bogus -Warray-bounds warning)

2013-02-11  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/56273
* gcc.dg/tree-ssa/vrp17.c: Disable tail-merging.

From-SVN: r195942

re PR tree-optimization/56264 (ICE in check_loop_closed_ssa_use, at  tree-ssa-loop-manip.c:557)

2013-02-11  Richard Biener  <rguenther@suse.de>

PR tree-optimization/56264
* cfgloop.h (fix_loop_structure): Adjust prototype.
* loop-init.c (fix_loop_structure): Return the number of
newly discovered loops.
* tree-cfgcleanup.c (repair_loop_structures): When new loops
are discovered, do a full loop-closed SSA rewrite.

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

From-SVN: r195941

re PR tree-optimization/56273 (Bogus -Warray-bounds warning)

2013-02-11  Richard Biener  <rguenther@suse.de>

PR tree-optimization/56273
* tree-vrp.c (simplify_cond_using_ranges): Disable for the
first VRP run.
(check_array_ref): Fix missing newline in dumps.
(search_for_addr_array): Likewise.

* g++.dg/warn/Warray-bounds-6.C: New testcase.
* gcc.dg/tree-ssa/pr21559.c: Adjust.
* gcc.dg/tree-ssa/vrp17.c: Likewise.
* gcc.dg/tree-ssa/vrp18.c: Likewise.
* gcc.dg/tree-ssa/vrp23.c: Likewise.
* gcc.dg/tree-ssa/vrp24.c: Likewise.

From-SVN: r195940

re PR libstdc++/56282 (std::basic_ios<char> broken with -std=c++11 (undefined reference))

2013-02-11  Paolo Carlini  <paolo.carlini@oracle.com>

PR libstdc++/56282
Revert:
2013-02-06  Edward Smith-Rowland  <3dw4rd@verizon.net>

PR libstdc++/56193
* include/bits/basic_ios.h: Replace operator void*() const
with explicit operator bool() const in C++11 and greater.
* testsuite/27_io/basic_ios/pr56193.cc: New file.

From-SVN: r195939

containers.xml: Add section on unordered containers.

2013-02-10  François Dumont  <fdumont@gcc.gnu.org>
    Jonathan Wakely  <jwakely.gcc@gmail.com>

* doc/xml/manual/containers.xml: Add section on unordered containers.
* doc/xml/manual/using.xml: Fix incomplete sentence.

Co-Authored-By: Jonathan Wakely <jwakely.gcc@gmail.com>
From-SVN: r195937

re PR libstdc++/56267 (unordered containers require Assignable hash function)

PR libstdc++/56267
* include/bits/hashtable.h (__cache_default): Check if hash function
is copy assignable.
* testsuite/23_containers/unordered_set/56267.cc: New.
* testsuite/23_containers/unordered_set/instantiation_neg.cc: Adjust
dg-error line number.
* testsuite/23_containers/unordered_set/
not_default_constructible_hash_neg.cc: Likewise.

From-SVN: r195936

re PR libstdc++/56278 (unordered containers fail static assertion)

PR libstdc++/56278
* include/bits/hashtable_policy.h (_Hash_code_base): Make default
constructor public.
* testsuite/23_containers/unordered_set/56278.cc: New.

From-SVN: r195935

Daily bump.

From-SVN: r195934

compiler, libgo: Permit testing package when test imports it circularly.

From-SVN: r195931

Daily bump.

From-SVN: r195930

re PR go/56017 (libgo testsuite does not support cross testing)

PR go/56017
libgo testsuite: If using DejaGNU, don't frob the log file.

From-SVN: r195927

re PR go/56017 (libgo testsuite does not support cross testing)

PR go/56017
libgo DejaGNU testsuite: Load timeout.exp before go.exp.

From-SVN: r195926

bessel_function.tcc (__cyl_bessel_ij_series): Code simplification.

2013-02-09  François Dumont  <fdumont@gcc.gnu.org>

* include/tr1/bessel_function.tcc (__cyl_bessel_ij_series): Code
simplification.

From-SVN: r195925

re PR c++/56247 (internal compiler error: in tsubst_copy, at cp/pt.c:12131)

PR c++/56247
* pt.c (eq_specializations): Set comparing_specializations.
* tree.c (cp_tree_equal): Check it.
* cp-tree.h: Declare it.

From-SVN: r195922

* decl.c (decls_match): Check versions later.

From-SVN: r195921

re PR c++/56238 (ICE in tree check: expected record_type or union_type or qual_union_type, have template_type_parm in lookup_conversions, at cp/search.c:2515)

PR c++/56238
* pt.c (build_non_dependent_expr): Don't try to fold
instantiation-dependent expressions.
(instantiation_dependent_r) [TRAIT_EXPR]: Split out.
[BIND_EXPR]: Treat as dependent.

From-SVN: r195920

re PR other/56245 (-fsanitize=address miscompiles GCC)

PR other/56245
* regex.c (PTR_INT_TYPE): Define.
(EXTEND_BUFFER): Change incr type from int to PTR_INT_TYPE.

From-SVN: r195918

* config/rs6000/aix61.h (OS_MISSING_ALTIVEC): Undefine.

From-SVN: r195917

asan_test.C: Compile with -D__NO_INLINE__ for *-*-linux-gnu targets.

* g++.dg/asan/asan_test.C: Compile with -D__NO_INLINE__
for *-*-linux-gnu targets.
* g++.dg/asan/interception-test-1.c: Ditto.
* g++.dg/asan/interception-failure-test-1.C: Ditto.
* g++.dg/asan/interception-malloc-test-1.C: Ditto.

From-SVN: r195916

re PR fortran/55362 (ICE with size() on character pointer)

2013-02-09  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/55362
* check.c (array_check): It is an error if a procedure is
passed.

2013-02-09  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/55362
* gfortran.dg/intrinsic_size_4.f90 : New test.

From-SVN: r195915

re PR target/56256 (inline asm with {|} alternatives in it no longer accepted)

PR target/56256
* config/rs6000/rs6000.h (ASSEMBLER_DIALECT): Define.

* gcc.target/powerpc/pr56256.c: New test.

From-SVN: r195913

* lib/go.exp: Load timeout.exp.

From-SVN: r195910

Daily bump.

From-SVN: r195909

re PR rtl-optimization/56246 (ICE in assign_by_spills, at lra-assigns.c:1262)

2013-02-08  Vladimir Makarov  <vmakarov@redhat.com>

PR rtl-optimization/56246
* lra-constraints.c (simplify_operand_subreg): Try tor reuse
reload pseudo.
* lra.c (lra): Clear lra_optional_reload_pseudos only when all
constraints are satisfied.

2013-02-08  Vladimir Makarov  <vmakarov@redhat.com>

PR rtl-optimization/56246
* gcc.target/i386/pr56246.c: New test.

From-SVN: r195902

re PR debug/53948 (Assignment line missing for -O0 -g)

       PR debug/53948
        * emit-rtl.c (reg_is_parm_p): New function.
        * regs.h (reg_is_parm_p): New prototype.
        * ira-conflicts.c (ira_build_conflicts): Allow parameters in
        callee-clobbered registers.

       PR debug/53948
        * gcc.dg/debug/dwarf2/pr53948.c: New test.

From-SVN: r195900

re PR target/56043 (ICE in rs6000_builtin_vectorized_libmass for vsx-mass-1.c)

[gcc]
2013-02-07  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR target/56043
* config/rs6000/rs6000.c (rs6000_builtin_vectorized_libmass):
If there is no implicit builtin declaration, just return NULL.

[gcc/testsuite]
2013-02-07  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR target/56043
* gcc.target/powerpc/vsx-mass-1.c: Only run this test on
powerpc*-*-linux*.

From-SVN: r195898

syscall: Always use _C_int for C libcalls.

From-SVN: r195897

sse.md (FMAMODEM): New mode iterator.

* config/i386/sse.md (FMAMODEM): New mode iterator.
(fma<mode>4, fms<mode>4, fnma<mode>4, fnms<mode>4): Use FMAMODEM
mode iterator. Do not use TARGET_SSE_MATH in insn constraint.

From-SVN: r195896

gnu-user.h (TARGET_CAN_SPLIT_STACK): Define only when HAVE_GAS_CFI_PERSONALITY_DIRECTIVE is set.

* config/i386/gnu-user.h (TARGET_CAN_SPLIT_STACK): Define only
when HAVE_GAS_CFI_PERSONALITY_DIRECTIVE is set.
* config/i386/gnu-user64.h (TARGET_CAN_SPLIT_STACK): Ditto.

From-SVN: r195895

config.gcc (microblaze*-linux*): Add TARGET_BIG_ENDIAN_DEFAULT

gcc:
* config.gcc (microblaze*-linux*): Add TARGET_BIG_ENDIAN_DEFAULT
(microblaze*-*-elf): Likewise
* config/microblaze/linux.h: Add -mbig-endian / -mlittle-endian to
LINK_SPEC
* config/microblaze/microblaze-c.c: Add builtin defines for _LITTLE_ENDIAN
and _BIG_ENDIAN
* config/microblaze/microblaze.h: Add TARGET_ENDIAN_DEFAULT and add to
TARGET_DEFAULT flags.
Expand ASM_SPEC and LINK_SPEC.
Update BYTES_BIG_ENDIAN and WORDS_BIG_ENDIAN
* config/microblaze/microblaze.md: Update extendsidi2 and movdi_internal
instructions to use low-order / high-order reg print_operands
* config/microblaze/microblaze.opt: Add mbig-endian and mlittle-endian
options and inversemask / mask of LITTLE_ENDIAN
* config/microblaze/t-microblaze: Expand multilib options to include mlittle-
endian (le) and update exceptions patterns
gcc/testsuite:
* 20101011-1.c: Add __MICROBLAZE__ exception to set DO_TEST 0

From-SVN: r195893

re PR rtl-optimization/56195 (Error: incorrect register `%rdi' used with `l' suffix (at -O2))

PR rtl-optimization/56195
* lra-constraints.c (get_reload_reg): Don't reuse regs
if they have smaller mode than requested, if they have
wider mode than requested, try to return a SUBREG.

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

From-SVN: r195891

re PR fortran/54107 ([F03] Memory hog with abstract interface)

fortran/
PR fortran/54107
* trans-types.c (gfc_get_function_type): Change a NULL backend_decl
to error_mark_node on entry.  Detect recursive types.  Build a variadic
procedure type if the type is recursive.  Restore the initial
backend_decl.

testsuite/
PR fortran/54107
* gfortran.dg/recursive_interface_2.f90: New test.

From-SVN: r195890

re PR tree-optimization/56250 (Wrong constant folding on unsigned int)

PR tree-optimization/56250
* fold-const.c (extract_muldiv_1) <case NEGATE_EXPR>: Don't optimize
if type is unsigned and code isn't MULT_EXPR.

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

From-SVN: r195888

re PR libstdc++/56216 (TR1 bessel functions bomb at x == 0!)

PR libstdc++/56216

From-SVN: r195886

re PR tree-optimization/56064 (Optimize VIEW_CONVERT_EXPR with FIXED_CST)

gcc/
PR tree-optimization/56064
* fixed-value.c (fixed_from_double_int): Sign/zero extend payload
bits according to mode.
* fixed-value.h (fixed_from_double_int)
(const_fixed_from_double_int): Adjust comments.

gcc/testsuite/
PR tree-optimization/56064
* gcc.dg/fixed-point/view-convert-2.c: New test.

From-SVN: r195885

re PR middle-end/56231 (warning traces have bogus line information when using LTO)

2013-02-08  Richard Biener  <rguenther@suse.de>

PR lto/56231
* lto-streamer.h (struct data_in): Remove current_file, current_line
and current_col members.
* lto-streamer-out.c (lto_output_location): Stream changed bits
en-block for efficiency.
* lto-streamer-in.c (clear_line_info): Remove.
(lto_input_location): Cache current file, line and column
globally via local statics.  Read changed bits en-block.
(input_function): Do not call clear_line_info.
(lto_read_body): Likewise.
(lto_input_toplevel_asms): Likewise.

lto/
* lto-lang.c (lto_init): Do not enter a dummy file.

From-SVN: r195884

re PR tree-optimization/52448 (cselim broken with calls)

PR tree-optimization/52448

* tree-ssa-phiopt.c (struct name_to_bb): Add phase member.
(nt_call_phase): New static.
(add_or_mark_expr): Only mark accesses with newer phase than any
call seen.
(nonfreeing_call_p): New.
(nt_init_block): Update nt_call_phase, mark blocks as visited.
(nt_fini_block): Keep blocks marked as visited.
(get_non_trapping): Initialize nt_call_phase, and reset aux pointer.

testsuite/
PR tree-optimization/52448
* gcc.dg/pr52448.c: New test.

From-SVN: r195883

ira.c (ira): Free broken dominator information.

2013-02-08  Richard Biener  <rguenther@suse.de>

* ira.c (ira): Free broken dominator information.

From-SVN: r195882

i386.c (ix86_spill_class): Use INTEGER_CLASS_P macro.

* config/i386/i386.c (ix86_spill_class): Use INTEGER_CLASS_P macro.

From-SVN: r195881

Add more checking of headers.

From-SVN: r195880