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

PR fortran/55395
* varpool.c (varpool_remove_node): Don't drop DECL_INITIAL
for -g for any kind of debug info.

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

PR bootstrap/54926
* Makefile.am (AM_CFLAGS): Add -frandom-seed=$@.
* Makefile.in: Regenerated.

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

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

PR tree-optimization/54886
* graphite-sese-to-poly.c (build_loop_iteration_domains): Properly
free all memory.

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

2012-12-07  Martin Jambor  <mjambor@suse.cz>

PR middle-end/55078
* ipa-inline-transform.c (inline_call): Turn #if 0 to #ifdef
ENABLE_CHECKING.
* ipa-prop.c (try_make_edge_direct_simple_call): Use
ipa_value_from_jfunc.
(try_make_edge_direct_virtual_call): Likewise.
(update_indirect_edges_after_inlining): Lookup new_root_info and pass
it to the functions above.

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

2012-12-07  Martin Jambor  <mjambor@suse.cz>

PR tree-optimization/55590
* tree-sra.c (build_ref_for_offset): Use get_object_alignment_1 to
get base alignment.

* testsuite/gcc.target/i386/pr55590-1.c: New test.
* testsuite/gcc.target/i386/pr55590-2.c: Likewise.

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

* config/i386/i386.c (legitimize_tls_address): Reorganize a tiny bit.

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

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

PR c++/54975
* g++.dg/cpp0x/lambda/lambda-typedef.C: New.

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

PR c++/54325
* tree.c (build_aggr_init_expr): Don't check for abstract class.

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

add PR 55245 marker

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

PR c++/55058
* pt.c (tsubst): Keep the quals when looking through a typedef.

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

PR c++/55249
* tree.c (build_vec_init_elt): Use the type of the initializer.

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

Daily bump.

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

Remove empty directory.

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

PR target/55597
* config/i386/i386.c (legitimize_tls_address): Zero-extend x to Pmode,
before using it as insn or call equivalent.

testsuite/ChangeLog:

PR target/55597
* gcc.target/i386/pr55597.c: New test.

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

libsanitizer/
* configure.tgt: Enable build on powerpc*-linux.

gcc/
* config/rs6000/sysv4.h (TARGET_ASAN_SHADOW_OFFSET): Define.
* config/rs6000/rs6000.c (rs6000_asan_shadow_offset): New function.
* config/rs6000/rs6000.h (FRAME_GROWS_DOWNWARD): Disable if using ASAN.

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

PR fortran/55395
* varpool.c (varpool_remove_node): Don't drop DECL_INITIAL
if -g and emitting DWARF2+.

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

* config/rs6000/rs6000.c (rs6000_option_override_internal): Set
default loop peeling limits.

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

PR c++/54744
* pt.c (resolve_typename_type): Check TYPENAME_IS_RESOLVING_P on scope.
* init.c (expand_member_init): Check for being in a template first.
* parser.c (cp_parser_mem_initializer_list): Only check class types
for equivalence to the current class.

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

PR c++/54913
* semantics.c (finish_qualified_id_expr): convert_from_reference
after building a SCOPE_REF.

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

PR c++/55032
* tree.c (build_array_type_1): Re-layout if we found it in the
hash table.

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

PR c++/54207
* except.c (build_noexcept_spec): Avoid direct comparison
with boolean_true_node or boolean_false_node, instead use
operand_equal_p and/or INTEGER_CST check.
* pt.c (tsubst_exception_specification): Likewise.
* typeck2.c (merge_exception_specifiers): Likewise.

* g++.dg/cpp0x/noexcept18.C: New test.

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

PR c++/55573
* semantics.c (adjust_temp_type): Handle VECTOR_CST.

* g++.dg/cpp0x/constexpr-55573.C: New test.

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

Fix PR55599/sanitizer by disabling static libasan on darwin

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

PR c++/54947
* parser.c (cp_parser_initializer_list): Don't require an
expression in [] to be constant until we know it's a C99
designator.

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

[libsanitizer] merge from upstream r169392

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

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@194252 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/55015
PR c++/53821
* semantics.c (maybe_add_lambda_conv_op): Revert earlier change.
* decl.c (start_preparsed_function): Make local class methods comdat
in templates, too.

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

PR c++/55137
* fold-const.c (fold_binary_loc) <associate>: Don't introduce
TREE_OVERFLOW through reassociation.  If type doesn't have defined
overflow, but one or both of the operands do, use the wrapping type
for reassociation and only convert to type at the end.

* g++.dg/opt/pr55137.C: New test.
* gcc.c-torture/execute/pr55137.c: New test.

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

PR c++/54653
* parser.c (cp_parser_class_head): A partial specialization scope
counts as a template.
* pt.c (tsubst_template_parms): Handle template template parm parms.
(tsubst_decl) [TEMPLATE_DECL]: Handle getting a template template
argument back.

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

PR c++/55564
* pt.c (unify) [ARRAY_TYPE]: Unify the element type before the bounds.

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

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

* gimple-fold.c (fold_stmt_1): Remove code handling folding
stmts away.

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

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

gcc/
* doc/sourcebuild.texi: Document arm_v8_neon_ok.

gcc/testsuite/
* lib/target-supports.exp (check_effective_target_arm_v8_neon_ok):
New procedure.
(add_options_for_arm_v8_neon): Likewise.

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

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

* config/arm/arm.c (neon_itype): Define NEON_RINT enum element.
(neon_builtin_data): Register vrintn, vrinta, vrintp, vrintm,
vrintz, vrintx neon builtins.
(arm_init_neon_builtins): Handle NEON_RINT.
(arm_expand_neon_builtin): Likewise.
* config/arm/unspecs.md: New file.
* config/arm/arm.md ("unspec"): Move to unspecs.md.
* config/arm/iterators.md (NEON_VRINT): New int iterator.
(nvrint_variant): New int attribute.
* config/arm/neon.md
(neon_vrint<NEON_VRINT:nvrint_variant><VCVTF:mode>): New pattern.
("unspec"): Move to unspecs.md.
* config/arm/iwmmxt2.md ("unspec"): Move to unspecs.md.

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

* config/i386/sfp-machine.h (FP_EX_ALL): Define.
(FP_TRAPPING_EXCEPTIONS): Define.
* config/i386/32/sfp-machine.h (FP_EX_SHIFT): Define.
* config/i386/64/sfp-machine.h (FP_EX_SHIFT): Ditto.

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

compiler: Correct test for whether go/defer arg is parenthesized.

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

os: Clean up directory reading code.

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

* config/pa/pa.md: Use "const_int 0" instead of match_test to simplify
opaque cond in all call insns.

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

Daily bump.

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

* g++.dg/pr55604.C: New test.

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

PR rtl-optimization/55604
* lra-lives.c (lra_create_live_ranges): If there are no referenced
pseudos left, do not compute live ranges.

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

* doc/tm.texi.in (TARGET_CLASS_LIKELY_SPILLED_P): Update documentation.
* doc/tm.texi: Regenerate.
* regs.h (REG_LIVE_LENGTH): Update comments to not refer to no longer
existing files global.c and local-alloc.c.
* regmove.c (copy_src_to_dest): Likewise.
* function.h (struct rtl_data): Likewise.
* ira-color.c (allocno_priority_compare_func): Likewise.
* regstat.c (regstat_compute_ri): Likewise.
* config/epiphany/epiphany.h, config/vax/vax.h, config/cris/cris.h,
config/h8300/h8300.h, config/alpha/alpha.h, config/sparc/sparc.h,
config/rs6000/rs6000.h, config/pdp11/pdp11.h, config/pa/pa.h,
config/v850/v850.h, config/mn10300/mn10300.h, config/m32r/m32r.h,
config/i386/i386.h, config/mcore/mcore.h, config/sh/sh.h,
config/arm/arm.h (REGNO_OK_FOR_BASE_P): Likewise.

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

PR target/54160
* config/t-darwin (darwin-c.o): Depend on $(CPP_INTERNAL_H).
* config/darwin-c.c (darwin_cpp_builtins): Only set __OBJC2__
when in obj mode.
Include libcpp/internal.h.

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

PR rtl-optimization/54739
* config/microblaze/microblaze.md: (anddi3, iordi3, xordi3): Delete patterns.

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

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

        * resolve.c (generate_component_assignments): Fix memleak.

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

[libsanitizer] merge from upstream r169371

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

[AARCH64] Add zip{1, 2}, uzp{1, 2}, trn{1, 2} support
for vector permute.

gcc/

* config/aarch64/aarch64-simd-builtins.def: Add new builtins.
* config/aarch64/aarch64-simd.md (simd_type): Add uzp.
(aarch64_<PERMUTE:perm_insn><PERMUTE:perm_hilo><mode>): New.
* config/aarch64/aarch64.c (aarch64_evpc_trn): New.
(aarch64_evpc_uzp): Likewise.
(aarch64_evpc_zip): Likewise.
(aarch64_expand_vec_perm_const_1): Check for trn, zip, uzp patterns.
* config/aarch64/iterators.md (unspec): Add neccessary unspecs.
(PERMUTE): New.
(perm_insn): Likewise.
(perm_hilo): Likewise.

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

[AARCH64] Implement Vector Permute Support.

gcc/

* config/aarch64/aarch64-protos.h
(aarch64_split_combinev16qi): New.
(aarch64_expand_vec_perm): Likewise.
(aarch64_expand_vec_perm_const): Likewise.
* config/aarch64/aarch64-simd.md (vec_perm_const<mode>): New.
(vec_perm<mode>): Likewise.
(aarch64_tbl1<mode>): Likewise.
(aarch64_tbl2v16qi): Likewise.
(aarch64_combinev16qi): New.
* config/aarch64/aarch64.c
(aarch64_vectorize_vec_perm_const_ok): New.
(aarch64_split_combinev16qi): Likewise.
(MAX_VECT_LEN): Define.
(expand_vec_perm_d): New.
(aarch64_expand_vec_perm_1): Likewise.
(aarch64_expand_vec_perm): Likewise.
(aarch64_evpc_tbl): Likewise.
(aarch64_expand_vec_perm_const_1): Likewise.
(aarch64_expand_vec_perm_const): Likewise.
(aarch64_vectorize_vec_perm_const_ok): Likewise.
(TARGET_VECTORIZE_VEC_PERM_CONST_OK): Likewise.
* config/aarch64/iterators.md
(unspec): Add UNSPEC_TBL, UNSPEC_CONCAT.
(V_cmp_result): Add mapping for V2DF.

gcc/testsuite/

* lib/target-supports.exp
(check_effective_target_vect_perm): Allow aarch64*-*-*.
(check_effective_target_vect_perm_byte): Likewise.
(check_effective_target_vect_perm_short): Likewise.
(check_effective_target_vect_char_mult): Likewise.
(check_effective_target_vect_extract_even_odd): Likewise.
(check_effective_target_vect_interleave): Likewise.

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

2012-12-05  Robert Dewar  <dewar@adacore.com>

* par_sco.adb, sem_prag.adb, put_scos.adb, get_scos.adb: Minor
reformatting.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb: Code clean up.

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

* gcc-interface/Make-lang.in: Update dependencies.
* gcc-interface/lang.opt: New language AdaSCIL.
* gcc-interface/lang-specs.h: Add specs for adascil language.

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

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* par_sco.adb (Traverse_Aspects): Ensure we always have
an entry in the sloc -> SCO map for invariants, since
Set_SCO_Pragma_Enabled is called with that sloc when checks
are enabled.

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* exp_ch4.adb: Minor reformatting.

2012-12-05  Hristian Kirtchev  <kirtchev@adacore.com>

* par-prag.adb: Checks and processing of pragma Assume are
carried out by Sem_Prag.
* sem_prag.adb (Analyze_Pragma): Check the legality of pragma
Assume.
* snames.ads-tmpl: Add new name Assume. Add a pragma identifier
for Assume.

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

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* aspects.ads, aspects.adb: Add aspect Relative_Deadline.
* sem_ch13.adb (Analyze_Aspect_Specifications): Process aspect
Relative_Deadline, and introduce the corresponding pragma within
the task definition of the task type to which it applies.
(Check_Aspect_At_Freeze_Point): Expression in a Relative_Deadline
aspect is of type Time_Span.

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

2012-12-05  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Check_Loop_Invariant_Variant_Placement): When pragma
Loop_[In]variant does not appear immediately within the statements
of a loop, it must appear in a chain of nested blocks.

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* sem_ch13.adb: Minor reformatting.
 Remove redundant assertion.

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

Minor reformatting.

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

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* par_sco.adb, scos.ads, put_scos.adb, put_scos.ads,
get_scos.adb: Generation of SCOs for aspects.

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* sem_prag.adb (Check_Precondition_Postcondition): Remove
redundant call to Set_SCO_Pragma_Enabled (the pragma will be
rewritten into a pragma Check later on, and the call will be
made when processing the rewritten pragma).
(Analyze_Pragma, case Pragma_Check): Omit call to
Set_SCO_Pragma_Enabled if Split_PPC is set.

2012-12-05  Olivier Hainque  <hainque@adacore.com>

* tracebak.c: Add partial support for Lynx178.

2012-12-05  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_attr.adb (Analyze_Attribute): Improve
the error message related to loop assertions.

2012-12-05  Gary Dismukes  <dismukes@adacore.com>

* atree.ads: Minor reformatting.

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

2012-12-05  Robert Dewar  <dewar@adacore.com>

* atree.ads, par-ch4.adb, sem_attr.adb, sem_ch13.adb: Minor
reformatting.

2012-12-05  Eric Botcazou  <ebotcazou@adacore.com>

* gnat_ugn.texi (Switches for gcc): Document -flto and reorder.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* par-ch5.adb (P_Condition): Handle properly Ada 2012
expressions that must be parenthesized before checking for
redundant parentheses when that check is enabled.

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

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* par-ch4.adb (P_Allocator): In Ada 2012 (AI05-0104)  an
uninitialized allocator cannot carry an explicit not null
indicator.
* sem_ch4.adb (Analyze_Allocator): Remove code that implements
the check for AI05-0104, the check is syntactic and performed
in the parser.

2012-12-05  Geert Bosch  <bosch@adacore.com>

* sem_attr.adb (Analyze_Attribute): Use base type for floating
point attributes.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Analyze_Aspect_Specifications,
Ahalyze_Aspect_Default_Value): For a scalar type attach default
value to base type as well, because it is a type-specific aspect
even though it can be specified on a first subtype.

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

gcc/

2012-12-05  Yufeng Zhang  <yufeng.zhang@arm.com>

* config/aarch64/aarch64.c (aarch64_simd_mangle_map_entry): New
typedef.
(aarch64_simd_mangle_map): New table.
(aarch64_mangle_type): Locate and return the mangled name for
a given AdvSIMD vector type.

gcc/testsuite/

2012-12-05  Yufeng Zhang  <yufeng.zhang@arm.com>

* g++.dg/abi/mangle-neon-aarch64.C: New test.

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

2012-12-05  Yannick Moy  <moy@adacore.com>

* urealp.ads: Minor rewording.

2012-12-05  Yannick Moy  <moy@adacore.com>

* aspects.ads (No_Duplicates_Allowed): Forbid use of duplicate
Contract_Cases aspects.
* sem_prag.adb (Analyze_Pragma/Pragma_Contract_Case): Rename
POST_CASE into CONTRACT_CASE in both grammar and code, to be
consistent with current language definition.  Issue a more precise
error message when the pragma duplicates another pragma or aspect.

2012-12-05  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_attr.adb (Expand_N_Attribute_Reference): Add processing
for attribute Update.
(Expand_Update_Attribute): New routine.
* par-ch4.adb (P_Name): The sole expression of attribute Update
is an aggregate, parse it accordingly.
* sem_attr.adb (Analyze_Attribute): Verify the legality of
attribute Update.
(Eval_Attribute): Attribute Update does not
need evaluation because it is never static.
* snames.ads-tmpl: Add Name_Update to the list of special names
recognized by the compiler. Add an Attribute_Id for Update.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* exp_util.adb (Remove_Side_Effects): For purposes of removing
side effects, qualified expressions do not receive a special
treatment, even though in Ada 2012 they are defined  as object
references.

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* par-ch3.adb: Minor reformatting.

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

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* exp_dist.adb (Build_From_Any_Call, Build_To_Any_Call,
Build_TypeCode_Call): For a used-defined subtype, always go to
the first subtype of the base type.

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

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* exp_dist.adb: Minor reformatting.

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

* Make-generated.in: Remove the VMS host specific part, as VMS
compilers aren't built anymore on VMS.

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* sem.adb, errout.ads, atree.adb, atree.ads (Check_Error_Detected):
Only return quietly if a serious error of configurable run time
violation has been found.

2012-12-05  Yannick Moy  <moy@adacore.com>

* sem_res.adb (Resolve_Type_Conversion): In Alfa_Mode, do not apply
conversion checks.

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

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* exp_ch5.adb (Expand_N_Assignment_Statement): Handle properly
the generation of discriminant checks when the left-hand side
has a type with hidden discriminants.
* sem_ch3.ads (Is_Visible_Component): Add defaulted parameter to
specify the node on which component visibility is being checked.
* sem_ch3.adb (Is_Visible_Component): Use new parameter to
determine whether the reference comes from a type conversion to
a full view of a private type with unknown discriminants.
* sem_ch4.adb (Analyze_Selected_Component): Call
Is_Visible_Component with added parameter.

2012-12-05  Arnaud Charlet  <charlet@adacore.com>

* make.adb: Minor comment update.

2012-12-05  Arnaud Charlet  <charlet@adacore.com>

* gnatlink.adb: Also use -x adascil in CodePeer mode when
calling gcc.
* exp_ch5.adb: Minor reformatting.

2012-12-05  Bob Duff  <duff@adacore.com>

* exp_ch4.adb: Minor comment.

2012-12-05  Bob Duff  <duff@adacore.com>

* par-ch4.adb: Set Paren_Count correctly for a parenthesized expression
containing a conditional expression or quantified expression.
* sprint.adb: Update comment.

2012-12-05  Bob Duff  <duff@adacore.com>

* style.adb, scans.ads, styleg.adb: Update comments.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Find_Selected_Component): Handle properly an
expanded name whose prefix is the expanded name of an enclosing
entry, that is to say a construct such as T.E.X, where T is an
enclosing concurrent type and E is an enclosing entry.

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