gcc.git
8 years agoFix PR c++/21802 (two-stage name lookup fails for operators)
Patrick Palka [Tue, 15 Dec 2015 03:33:53 +0000 (03:33 +0000)]
Fix PR c++/21802 (two-stage name lookup fails for operators)

gcc/cp/ChangeLog:

PR c++/21802
PR c++/53223
* cp-tree.h (cp_tree_code_length): Declare.
(build_min_non_dep_op_overload): Declare.
* tree.c (cp_tree_code_length): Define.
(build_min_non_dep_op_overload): Define.
(build_win_non_dep_call_vec): Copy the KOENIG_LOOKUP_P flag.
* typeck.c (build_x_indirect_ref): Use
build_min_non_dep_op_overload when the given expression
has been resolved to an operator overload.
(build_x_binary_op): Likewise.
(build_x_array_ref): Likewise.
(build_x_unary_op): Likewise.
(build_x_compound_expr): Likewise.
(build_x_modify_expr): Likewise.
* decl2.c (grok_array_decl): Likewise.
* call.c (build_new_op_1): If during template processing we
chose an operator overload that is a hidden friend function, set
the call's KOENIG_LOOKUP_P flag to 1.

gcc/testsuite/ChangeLog:

PR c++/21802
PR c++/53223
* g++.dg/cpp0x/pr53223.C: New test.
* g++.dg/lookup/pr21802.C: New test.
* g++.dg/lookup/two-stage4.C: Remove XFAIL.

From-SVN: r231640

8 years agoPR libfortran/pr68867
Jerry DeLisle [Tue, 15 Dec 2015 03:16:26 +0000 (03:16 +0000)]
PR libfortran/pr68867

2015-12-14  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR libfortran/pr68867
* io/write.c (set_fnode_default): For kind=16, set the decimal precision
depending on the platform binary precision, 106 or 113.

From-SVN: r231639

8 years agoDaily bump.
GCC Administrator [Tue, 15 Dec 2015 00:16:12 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r231638

8 years agossa-fre-4.c: Remove mips*-*-* target.
Steve Ellcey [Mon, 14 Dec 2015 23:58:31 +0000 (23:58 +0000)]
ssa-fre-4.c: Remove mips*-*-* target.

2015-12-14  Steve Ellcey  <sellcey@imgtec.com>

* gcc.dg/tree-ssa/ssa-fre-4.c: Remove mips*-*-* target.
* gcc.target/mips/ext-2.c: Update scan checks.

From-SVN: r231635

8 years agomips.c (mips_promote_function_mode): New function.
Steve Ellcey [Mon, 14 Dec 2015 23:56:28 +0000 (23:56 +0000)]
mips.c (mips_promote_function_mode): New function.

2015-12-14  Steve Ellcey  <sellcey@imgtec.com>

* config/mips/mips.c (mips_promote_function_mode): New function.
(TARGET_PROMOTE_FUNCTION_MODE): Define as above function.
(TARGET_PROMOTE_PROTOTYPES): Remove.

From-SVN: r231634

8 years agore PR c++/68309 (ICE: Segmentation fault)
Jason Merrill [Mon, 14 Dec 2015 20:54:17 +0000 (15:54 -0500)]
re PR c++/68309 (ICE: Segmentation fault)

PR c++/68309
gcc/
* hash-table.h: Add copy constructor.
* hash-map.h: Add copy constructor.
gcc/cp/
* pt.c (instantiate_decl): Copy local_specializations for nested
function.

From-SVN: r231632

8 years agore PR fortran/68850 (Coarray events: EVENT_QUERY not documented as intrinsic subroutine)
Tobias Burnus [Mon, 14 Dec 2015 19:31:51 +0000 (20:31 +0100)]
re PR fortran/68850 (Coarray events: EVENT_QUERY not documented as intrinsic subroutine)

2014-12-14  Tobias Burnus  <burnus@net-b.de>

        PR fortran/68850
        * gfortran.texi (Standards): Mention TS 18508.
        (Fortran 2003 and 2008 Status): Add section on TS 18508 status.
        * intrinsic.texi (EVENT_QUERY): Add.

From-SVN: r231631

8 years agoDump default defs for arguments, static chain and decl-by-reference
Tom de Vries [Mon, 14 Dec 2015 19:29:48 +0000 (19:29 +0000)]
Dump default defs for arguments, static chain and decl-by-reference

2015-12-14  Tom de Vries  <tom@codesourcery.com>

PR other/68882
* gimple-pretty-print.c (dump_ssaname_info_to_file): New function.
* gimple-pretty-print.h (dump_ssaname_info_to_file): Declare.
* tree-cfg.c (dump_default_def): New function.
(dump_function_to_file): Dump default defs for arguments, static chain,
and decl-by-reference.

From-SVN: r231630

8 years agonvptx.h (PARM_BOUNDARY): Set to 32.
Nathan Sidwell [Mon, 14 Dec 2015 19:26:49 +0000 (19:26 +0000)]
nvptx.h (PARM_BOUNDARY): Set to 32.

gcc/
* config/nvptx/nvptx.h (PARM_BOUNDARY): Set to 32.
* config/nvptx/nvptx.c (PASS_IN_REG_P, RETURN_IN_REG_P): Delete.
(pass_in_memory, promote_arg, promote_return): New.
(nvptx_function_arg_boundary): Delete.
(nvptx_function_value): Use promote_return.
(nvptx_pass_by_reference): Use pass_in_memory.
(nvptx_return_in_memory): Use pass_in_memory.
(nvptx_promote_function_mode): Use promote_arg.
(write_arg): Adjust arg splitting logic.
(write_return): Check and clear ret_reg_mode, if needed.
(write_fn_proto, nvptx_declare_function_name): Adust write_return
calls.
(TARGET_RUNCTION_ARG_BOUNDARY,
TARGET_FUNCTION_ARG_ROUND_BOUNDARY): Don't override.

gcc/testsuite/
* g++.dg/abi/nvptx-nrv1.C: New.
* g++.dg/abi/nvptx-ptrmem1.C: New.
* gcc.target/nvptx/abi-complex-arg.c: New.
* gcc.target/nvptx/abi-complex-ret.c: New.
* gcc.target/nvptx/abi-enum-arg.c: New.
* gcc.target/nvptx/abi-enum-ret.c: New.
* gcc.target/nvptx/abi-knr-arg.c: New.
* gcc.target/nvptx/abi-knr-ret.c: New.
* gcc.target/nvptx/abi-scalar-arg.c: New.
* gcc.target/nvptx/abi-scalar-ret.c: New.
* gcc.target/nvptx/abi-struct-arg.c: New.
* gcc.target/nvptx/abi-struct-ret.c: New.
* gcc.target/nvptx/abi-vararg-1.c: New.
* gcc.target/nvptx/abi-vararg-2.c: New.
* gcc.target/nvptx/abi-vect-arg.c: New.
* gcc.target/nvptx/abi-vect-ret.c: New.

From-SVN: r231628

8 years agore PR c/68833 (-Werror=format issues an error now)
Jakub Jelinek [Mon, 14 Dec 2015 16:59:05 +0000 (17:59 +0100)]
re PR c/68833 (-Werror=format issues an error now)

PR c/68833
* common.opt (Wmissing-noreturn): Add Warning option.
* opts-common.c (control_warning_option): If opt is
alias_target with alias_arg, set arg to it.

* c.opt (Wmissing-format-attribute, Wnormalized): Add Warning option.

* c-c++-common/pr68833-1.c: New test.
* c-c++-common/pr68833-2.c: New test.

From-SVN: r231624

8 years agolibgomp.h (gomp_device_state): New enum.
Ilya Verbin [Mon, 14 Dec 2015 16:46:54 +0000 (16:46 +0000)]
libgomp.h (gomp_device_state): New enum.

libgomp/
* libgomp.h (gomp_device_state): New enum.
(struct gomp_device_descr): Replace is_initialized with state.
(gomp_fini_device): Remove declaration.
* oacc-host.c (host_dispatch): Use state instead of is_initialized.
* oacc-init.c (acc_init_1): Use state instead of is_initialized.
(acc_shutdown_1): Likewise.  Inline gomp_fini_device.
(acc_set_device_type): Use state instead of is_initialized.
(acc_set_device_num): Likewise.
* target.c (resolve_device): Use state instead of is_initialized.
Do not initialize finalized device.
(gomp_map_vars): Do nothing if device is finalized.
(gomp_unmap_vars): Likewise.
(gomp_update): Likewise.
(GOMP_offload_register_ver): Use state instead of is_initialized.
(GOMP_offload_unregister_ver): Likewise.
(gomp_init_device): Likewise.
(gomp_unload_device): Likewise.
(gomp_fini_device): Remove.
(gomp_get_target_fn_addr): Do nothing if device is finalized.
(GOMP_target): Go to host fallback if device is finalized.
(GOMP_target_ext): Likewise.
(gomp_exit_data): Do nothing if device is finalized.
(gomp_target_task_fn): Go to host fallback if device is finalized.
(gomp_target_fini): New static function.
(gomp_target_init): Use state instead of is_initialized.
Call gomp_target_fini at exit.
liboffloadmic/
* plugin/libgomp-plugin-intelmic.cpp (unregister_main_image): Remove.
(register_main_image): Do not call unregister_main_image at exit.
(GOMP_OFFLOAD_fini_device): Allow for OpenMP.  Unregister main image.

From-SVN: r231623

8 years agors6000: Fix a mistake in cstore_si_as_di (PR68865, PR68879)
Segher Boessenkool [Mon, 14 Dec 2015 16:13:33 +0000 (17:13 +0100)]
rs6000: Fix a mistake in cstore_si_as_di (PR68865, PR68879)

convert_move does not know how to zero-extend a constant integer to the
target mode -- simply because it does not know the source mode.  As a
result, 32-bit SImode with the high bit set would be effectively sign-
extended instead of zero-extended.

This patch fixes it.

PR target/68865
PR target/68879
* config/rs6000/rs6000.md (cstore_si_as_di): Force all operands
into registers.

From-SVN: r231621

8 years agore PR tree-optimization/68707 (testcase gcc.dg/vect/O3-pr36098.c vectorized using...
Richard Biener [Mon, 14 Dec 2015 15:33:20 +0000 (15:33 +0000)]
re PR tree-optimization/68707 (testcase gcc.dg/vect/O3-pr36098.c vectorized using VEC_PERM_EXPR rather than VEC_LOAD_LANES)

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

PR tree-optimization/68707
PR tree-optimization/67323
* tree-vect-slp.c (vect_analyze_slp_instance): Drop SLP instances
if they can be vectorized using load/store-lane instructions.

From-SVN: r231620

8 years agore PR middle-end/68852 (ICE in vect_is_simple_use (tree-vect-stmts.c:8750) using...
Richard Biener [Mon, 14 Dec 2015 15:26:24 +0000 (15:26 +0000)]
re PR middle-end/68852 (ICE in vect_is_simple_use (tree-vect-stmts.c:8750) using -O3)

2015-12-14  Richard Biener  <rguenther@suse.de>

PR tree-optimization/68852
* tree-vectorizer.h (struct _slp_tree): Add def_type member.
(SLP_TREE_DEF_TYPE): New accessor.
* tree-vect-stmts.c (vect_is_simple_use): Remove BB vectorization
hack.
* tree-vect-slp.c (vect_create_new_slp_node): Initialize
SLP_TREE_DEF_TYPE.
(vect_build_slp_tree): When a node is to be built up from scalars
do not push a NULL as child but instead set its def_type to
vect_external_def.
(vect_analyze_slp_cost_1): Check for child def-type instead
of NULL.
(vect_detect_hybrid_slp_stmts): Likewise.
(vect_bb_slp_scalar_cost): Likewise.
(vect_get_slp_defs): Likewise.
(vect_slp_analyze_node_operations): Likewise.  Before
processing node push the children def-types to the underlying
stmts vinfo and restore it afterwards.
(vect_schedule_slp_instance): Likewise.
(vect_slp_analyze_bb_1): Do not mark stmts not in SLP instances
as not vectorizable.

* g++.dg/torture/pr68852.C: New testcase.

From-SVN: r231619

8 years agore PR tree-optimization/68775 (spec2006 test case 465.tonto fails with the gcc 6...
Richard Biener [Mon, 14 Dec 2015 13:42:03 +0000 (13:42 +0000)]
re PR tree-optimization/68775 (spec2006 test case 465.tonto fails with the gcc 6.0 fortran compiler)

2015-12-14  Richard Biener  <rguenther@suse.de>

PR tree-optimization/68775
* tree-vect-slp.c (vect_build_slp_tree): Make sure to apply
a operand swapping even if replacing the op with scalars.

From-SVN: r231617

8 years ago[combine] Don't create LSHIFTRT of zero bits in change_zero_ext
Kyrylo Tkachov [Mon, 14 Dec 2015 11:33:00 +0000 (11:33 +0000)]
[combine] Don't create LSHIFTRT of zero bits in change_zero_ext

* combine.c (change_zero_ext): Do not create a shift of zero length.

From-SVN: r231613

8 years agoBad date on the Changelog entry, boo hiss.
Ville Voutilainen [Mon, 14 Dec 2015 11:11:03 +0000 (13:11 +0200)]
Bad date on the Changelog entry, boo hiss.

From-SVN: r231612

8 years agoDocument the implementation of Logical Operator Type Traits.
Ville Voutilainen [Mon, 14 Dec 2015 11:08:30 +0000 (13:08 +0200)]
Document the implementation of Logical Operator Type Traits.

* doc/html/index.html: Regenerate.
* doc/html/manual/status.html: Likewise.
* doc/xml/manual/status_cxx2017.xml: Add P0013R1 to C++ 201z
and to Library Fundamentals 2 TS.

From-SVN: r231611

8 years agobuiltin-return-1.c: Correct effective-target test.
Alexander Monakov [Mon, 14 Dec 2015 10:15:13 +0000 (13:15 +0300)]
builtin-return-1.c: Correct effective-target test.

* gcc.dg/builtin-return-1.c: Correct effective-target test.
* gcc.dg/stack-usage-2.c: Use effective-target test.

From-SVN: r231610

8 years ago[ARC] Use TARGET_NO_SPECULATION_IN_DELAY_SLOTS_P hook.
Claudiu Zissulescu [Mon, 14 Dec 2015 09:59:02 +0000 (10:59 +0100)]
[ARC] Use TARGET_NO_SPECULATION_IN_DELAY_SLOTS_P hook.

gcc/
2015-12-14  Claudiu Zissulescu  <claziss@synopsys.com>

* config/arc/arc.c (TARGET_NO_SPECULATION_IN_DELAY_SLOTS_P):
Provide target hook.
(arc_no_speculation_in_delay_slots_p): New function.

From-SVN: r231609

8 years ago[ARC] Refurbish emitting DWARF2 related information when expanding epilogue.
Claudiu Zissulescu [Mon, 14 Dec 2015 09:46:13 +0000 (10:46 +0100)]
[ARC] Refurbish emitting DWARF2 related information when expanding epilogue.

gcc/
2015-12-14  Claudiu Zissulescu  <claziss@synopsys.com>
    Andrew Burgess  <andrew.burgess@embecosm.com>

* config/arc/arc.c (frame_move): Set frame related flag.
(arc_save_restore): Emit epilogue related DWARF2 information.
(arc_expand_epilogue): Likewise.
* config/arc/arc.opt (mno-epilogue-cfi): Remove.
(mepilogue-cfi): Likewise.
* doc/invoke.texi: Remove -m[no]-epilogue-cfi documentation.

Co-Authored-By: Andrew Burgess <andrew.burgess@embecosm.com>
From-SVN: r231608

8 years ago[PR 66616] Check for thunks when adding extra constants to clones
Martin Jambor [Mon, 14 Dec 2015 09:33:12 +0000 (10:33 +0100)]
[PR 66616] Check for thunks when adding extra constants to clones

2015-12-14  Martin Jambor  <mjambor@suse.cz>

PR ipa/66616
* ipa-cp.c (propagate_constants_accross_call): Move thuk check...
(call_passes_through_thunk_p): ...here.
(find_more_scalar_values_for_callers_subset): Perform thunk checks
like propagate_constants_accross_call does.

testsuite/
* g++.dg/ipa/pr66616.C: New test.

From-SVN: r231607

8 years agore PR rtl-optimization/68730 (wrong code at -O3 on x86_64-linux-gnu (in 32-bit mode))
Jakub Jelinek [Mon, 14 Dec 2015 08:04:37 +0000 (09:04 +0100)]
re PR rtl-optimization/68730 (wrong code at -O3 on x86_64-linux-gnu (in 32-bit mode))

PR rtl-optimization/68730
* cfgrtl.c (cfg_layout_finalize): Free dominators.

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

From-SVN: r231606

8 years agore PR testsuite/68629 (FAIL: c-c++-common/attr-simd-3.c)
Thomas Preud'homme [Mon, 14 Dec 2015 02:05:16 +0000 (02:05 +0000)]
re PR testsuite/68629 (FAIL: c-c++-common/attr-simd-3.c)

2015-12-14  Thomas Preud'homme  <thomas.preudhomme@arm.com>

    PR testsuite/68629
    * lib/target-supports.exp (check_effective_target_cilkplus): Also
    check that compiling with -fcilkplus does not give an error.
    * c-c++-common/attr-simd-3.c: Require cilkplus effective target.

From-SVN: r231605

8 years agoDaily bump.
GCC Administrator [Mon, 14 Dec 2015 00:16:17 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r231604

8 years ago[PR67355] drop dummy zero from reverse VTA ops, fix infinite recursion
Alexandre Oliva [Sun, 13 Dec 2015 20:37:26 +0000 (20:37 +0000)]
[PR67355] drop dummy zero from reverse VTA ops, fix infinite recursion

VTA's cselib expression hashing compares expressions with the same
hash before adding them to the hash table.  When there is a collision
involving a self-referencing expression, we could get infinite
recursion, in spite of the cycle breakers already in place.  The
problem is currently latent in the trunk, because by chance we don't
get a collision.

Such value cycles are often introduced by reverse_op; most often,
they're indirect, and then value canonicalization takes care of the
cycle, but if the reverse operation simplifies to the original value,
we used to issue a (plus V (const_int 0)), because at some point
adding a plain value V to a location list as a reverse_op equivalence
caused other problems.

This dummy zero, in turn, caused the value canonicalizer to not fully
realize the equivalence, leading to more complex graphs and,
occasionally, to infinite recursion when comparing such
value-plus-zero expressions recursively.

Simply using V solves the infinite recursion from the PR testcase,
since the extra equivalence and the preexisting value canonicalization
together prevent recursion while the unrecognized equivalence
wouldn't, but it exposed another infinite recursion in
memrefs_conflict_p: get_addr had a cycle breaker in place, to skip RTL
referencing values introduced after the one we're examining, but it
wouldn't break the cycle if the value itself appeared in the
expression being examined.

After removing the dummy zero above, this kind of cycle in the
equivalence graph is no longer introduced by VTA itself, but dummy
zeros are also present in generated code, such as in the 32-bit x86's
pro_epilogue_adjust_stack_si_add epilogue insn generated as part of
the builtin longjmp in _Unwind_RaiseException building libgcc's
unwind-dw2.o.  So, break the recursion cycle for them too.

for  gcc/ChangeLog

PR debug/67355
* var-tracking.c (reverse_op): Don't add dummy zero to reverse
ops that simplify back to the original value.
* alias.c (refs_newer_value_p): Cut off recursion for
expressions containing the original value.

From-SVN: r231599

8 years ago* gcc.dg/graphite/pr42729.c: XFAIL AIX.
David Edelsohn [Sun, 13 Dec 2015 13:10:33 +0000 (13:10 +0000)]
* gcc.dg/graphite/pr42729.c: XFAIL AIX.

From-SVN: r231598

8 years ago[PATCH][PR target/19201] Peephole to improve clearing items in structure for m68k
Kazu Kirata [Sun, 13 Dec 2015 13:06:12 +0000 (06:06 -0700)]
[PATCH][PR target/19201] Peephole to improve clearing items in structure for m68k

[PATCH][PR target/19201] Peephole to improve clearing items in structure for m68k
* config/m68k/m68k.md (load feeding clear byte): New peephole2.

* gcc.target/m68k/pr19201.c: New test.

From-SVN: r231597

8 years ago[PATCH] m68k testsuite TLC
Jeff Law [Sun, 13 Dec 2015 12:51:02 +0000 (05:51 -0700)]
[PATCH] m68k testsuite TLC

* gcc.target/m68k/pr63347.c: Remove #include <stdlib> add -w to
command line options.
* gcc.target/m68k/20090709-1.c: Adjust expected output.

From-SVN: r231596

8 years agoHandle sizes and kinds params of GOACC_paralllel in find_func_clobbers
Tom de Vries [Sun, 13 Dec 2015 12:43:21 +0000 (12:43 +0000)]
Handle sizes and kinds params of GOACC_paralllel in find_func_clobbers

2015-12-13  Tom de Vries  <tom@codesourcery.com>

* tree-ssa-structalias.c (find_func_clobbers): Handle sizes and kinds
parameters of GOACC_paralllel.

From-SVN: r231595

8 years agocgraph.c (cgraph_node::get_untransformed_body): Pass compressed flag to lto_get_secti...
Jan Hubicka [Sun, 13 Dec 2015 02:13:15 +0000 (02:13 +0000)]
cgraph.c (cgraph_node::get_untransformed_body): Pass compressed flag to lto_get_section_data.

* cgraph.c (cgraph_node::get_untransformed_body): Pass compressed
flag to lto_get_section_data.
* varpool.c (varpool_node::get_constructor): Likewise.
* lto-section-in.c (lto_get_section_data): Add new flag decompress.
(lto_free_section_data): Likewise.
(lto_get_raw_section_data): New function.
(lto_free_raw_section_data): New function.
(copy_function_or_variable): Copy sections w/o decompressing.
(lto_output_decl_state_refs): Picke compressed bit.
* lto-streamer.h (lto_in_decl_state): New flag compressed.
(lto_out_decl_state): Likewise.
(lto_get_section_data, lto_free_section_data): Update prototypes
(lto_get_raw_section_data, lto_free_raw_section_data): Declare.
(lto_write_raw_data): Declare.
(lto_begin_section): Remove FIXME.
(lto_write_raw_data): New function.
(lto_write_stream): Remove FIXME.
(lto_new_out_decl_state): Set compressed flag.

From-SVN: r231594

8 years agocgraph.c (cgraph_node::get_untransformed_body): Pass compressed flag to lto_get_secti...
Jan Hubicka [Sun, 13 Dec 2015 02:12:15 +0000 (03:12 +0100)]
cgraph.c (cgraph_node::get_untransformed_body): Pass compressed flag to lto_get_section_data.

* cgraph.c (cgraph_node::get_untransformed_body): Pass compressed
flag to lto_get_section_data.
* varpool.c (varpool_node::get_constructor): Likewise.
* lto-section-in.c (lto_get_section_data): Add new flag decompress.
(lto_free_section_data): Likewise.
(lto_get_raw_section_data): New function.
(lto_free_raw_section_data): New function.
(copy_function_or_variable): Copy sections w/o decompressing.
(lto_output_decl_state_refs): Picke compressed bit.
* lto-streamer.h (lto_in_decl_state): New flag compressed.
(lto_out_decl_state): Likewise.
(lto_get_section_data, lto_free_section_data): Update prototypes
(lto_get_raw_section_data, lto_free_raw_section_data): Declare.
(lto_write_raw_data): Declare.
(lto_begin_section): Remove FIXME.
(lto_write_raw_data): New function.
(lto_write_stream): Remove FIXME.
(lto_new_out_decl_state): Set compressed flag.

* lto.c (lto_read_in_decl_state): Unpickle compressed bit.

From-SVN: r231593

8 years agopr48549.C: XFAIL AIX.
David Edelsohn [Sun, 13 Dec 2015 01:55:02 +0000 (20:55 -0500)]
pr48549.C: XFAIL AIX.

        * g++.dg/opt/pr48549.C: XFAIL AIX.
        * g++.dg/abi/anon1.C: XFAIL AIX.
        * gcc.dg/graphite/pr42917.c: XFAIL AIX.

From-SVN: r231592

8 years agoDaily bump.
GCC Administrator [Sun, 13 Dec 2015 00:16:12 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r231591

8 years agotree.c (free_lang_data_in_type, [...]): Also free unnecesary type decls.
Jan Hubicka [Sat, 12 Dec 2015 21:41:31 +0000 (22:41 +0100)]
tree.c (free_lang_data_in_type, [...]): Also free unnecesary type decls.

* tree.c (free_lang_data_in_type, find_decls_types_r): Also free
unnecesary type decls.
* tree.h (is_redundant_typedef): Declare.
* dwarf2out.c (is_redundant_typedef): Export; booleanize

From-SVN: r231588

8 years agoFix date
Eric Botcazou [Sat, 12 Dec 2015 21:11:40 +0000 (21:11 +0000)]
Fix date

From-SVN: r231587

8 years agosparc.h (TARGET_SUPPORTS_WIDE_INT): Define to 1.
Eric Botcazou [Sat, 12 Dec 2015 21:10:35 +0000 (21:10 +0000)]
sparc.h (TARGET_SUPPORTS_WIDE_INT): Define to 1.

* config/sparc/sparc.h (TARGET_SUPPORTS_WIDE_INT): Define to 1.
* config/sparc/sparc.c (sparc_emit_set_const64): Remove code
conditionalized on HOST_BITS_PER_WIDE_INT == 32.
(sparc_cannot_force_const_mem) <CONST_WIDE_INT>: New case.
<CONST_DOUBLE>: Remove VOIDmode test.
(epilogue_renumber) <CONST_WIDE_INT>: New case.
(sparc_print_operand): Remove support for CONST_DOUBLE with VOIDmode.
(sparc_assemble_integer): Likewise.
(set_extends): Likewise.
(sparc_rtx_costs) <CONST_INT>: Use SMALL_INT.
<CONST_WIDE_INT>: New case.
<CONST_DOUBLE>: Remove support for VOIDmode.
<MULT>: Remove support for CONST_DOUBLE with VOIDmode.
* config/sparc/predicates.md (const_zero_operand): Add const_wide_int.
(const_all_ones_operand): Likewise.
(uns_small_int_operand): Remove const_double and code conditionalized
on HOST_BITS_PER_WIDE_INT == 32.
(arith_double_operand): Likewise.
(arith_double_add_operand): Likewise.
(input_operand): Remove support for CONST_DOUBLE with DImode.
* config/sparc/sparc.md (DImode CONST_INT splitter): Remove code
conditionalized on HOST_BITS_PER_WIDE_INT == 32.
(DFmode CONST_DOUBLE splitter): Likewise.
(*adddi3_insn_sp32): Likewise.
(*subdi3_insn_sp32): Likewise.
(DImode logical splitter): Likewise.
(DImode CONST_DOUBLE splitter): Delete.

From-SVN: r231586

8 years agore PR fortran/45859 ([Coarray, F2008, IR] Rejects valid actuals to coarray dummies)
Tobias Burnus [Sat, 12 Dec 2015 19:00:32 +0000 (20:00 +0100)]
re PR fortran/45859 ([Coarray, F2008, IR] Rejects valid actuals to coarray dummies)

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

gcc/fortran
        PR fortran/45859
        * expr.c (gfc_is_simply_contiguous): Optionally permit array
        * elements.
        (gfc_check_pointer_assign): Update call.
        * interface.c (compare_parameter): Ditto.
        * trans-array.c (gfc_conv_array_parameter): Ditto.
        * trans-intrinsic.c (gfc_conv_intrinsic_transfer,
        conv_isocbinding_function): Ditto.
        * gfortran.h (gfc_is_simply_contiguous): Update prototype.

gcc/testsuite/
        PR fortran/45859
        * gcc/testsuite/gfortran.dg/coarray_args_2.f90: Remove dg-error.

From-SVN: r231585

8 years agore PR fortran/68815 (Error/warning diagnostic: '%s' should be converted to %qs-like...
Tobias Burnus [Sat, 12 Dec 2015 18:55:25 +0000 (19:55 +0100)]
re PR fortran/68815 (Error/warning diagnostic: '%s' should be converted to %qs-like or %<%s%>-like string strings)

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

gcc/c-family/
        PR fortran/68815
        * c-format.c (gcc_gfc_char_table): Add 'q' flag to remaining
        specifiers (%d, %i,%u and %c).

gcc/fortran/
        PR fortran/68815
        * check.c (gfc_check_reshape): Replace %<%d%> by %qd.
        * matchexp.c (gfc_match_defined_op_name): Use %qc.
        * symbol.c (gfc_add_new_implicit_range,
        gfc_merge_new_implicit): Ditto.

From-SVN: r231584

8 years agopr67808.c: Add -mlong-double-128 option.
David Edelsohn [Sat, 12 Dec 2015 13:12:10 +0000 (13:12 +0000)]
pr67808.c: Add -mlong-double-128 option.

        * gcc.target/powerpc/pr67808.c: Add -mlong-double-128 option.
        * g++.dg/cpp1y/pr58708.C: Test appropriate value for size of
        wchar_t.

From-SVN: r231583

8 years agore PR sanitizer/68418 (ubsan complains about left shifts even with -fwrapv)
Paolo Bonzini [Sat, 12 Dec 2015 08:29:27 +0000 (08:29 +0000)]
re PR sanitizer/68418 (ubsan complains about left shifts even with -fwrapv)

gcc:
PR sanitizer/68418
* c-family/c-ubsan.c (ubsan_instrument_shift): Disable
sanitization of left shifts for wrapping signed types as well.

gcc/testsuite:
PR sanitizer/68418
* gcc.dg/ubsan/c99-wrapv-shift-1.c,
gcc.dg/ubsan/c99-wrapv-shift-2.c: New testcases.

From-SVN: r231582

8 years agoDaily bump.
GCC Administrator [Sat, 12 Dec 2015 00:16:12 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r231580

8 years ago[PATCH][PR tree-optimization/68844] Fix testcase expected output
Jeff Law [Fri, 11 Dec 2015 23:18:22 +0000 (16:18 -0700)]
[PATCH][PR tree-optimization/68844] Fix testcase expected output

PR tree-optimization/68844
* gcc.dg/tree-ssa/ssa-dom-thread-4.c: Update expected output.

2015-12-11  Jan Beulich  <jbeulich@suse.com>

From-SVN: r231577

8 years agore PR middle-end/68215 (FAIL: c-c++-common/opaque-vector.c -std=c++11 (internal...
Eric Botcazou [Fri, 11 Dec 2015 21:58:48 +0000 (21:58 +0000)]
re PR middle-end/68215 (FAIL: c-c++-common/opaque-vector.c  -std=c++11 (internal compiler error))

PR middle-end/68215
* tree-vect-generic.c (tree_vec_extract): Remove GSI parameter.
Do not gimplify the result.
(do_unop): Adjust call to tree_vec_extract.
(do_binop): Likewise.
(do_compare): Likewise.
(do_plus_minus): Likewise.
(do_negate): Likewise.
(expand_vector_condition): Likewise.
(do_cond): Likewise.

From-SVN: r231575

8 years agoFix std::invoke support for reference_wrappers
Jonathan Wakely [Fri, 11 Dec 2015 21:45:51 +0000 (21:45 +0000)]
Fix std::invoke support for reference_wrappers

PR libstdc++/59768
* include/std/functional (_Unwrap, __invfwd): Define.
(__invoke_impl): Remove reference_wrapper overloads and use __invfwd.
* include/std/type_traits (__result_of_memobj, __result_of_memfun):
Add partial specializations for const reference_wrappers and simplify.
* testsuite/20_util/bind/ref_neg.cc: Use dg-excess-errors.
* testsuite/20_util/function_objects/invoke/59768.cc: New.

From-SVN: r231574

8 years agonvptx.h (RETURN_ADDR_REGNO): Delete.
Nathan Sidwell [Fri, 11 Dec 2015 18:06:37 +0000 (18:06 +0000)]
nvptx.h (RETURN_ADDR_REGNO): Delete.

* config/nvptx/nvptx.h (RETURN_ADDR_REGNO): Delete.
(OUTGOING_ARG_POINTER_REGNUM): Delete.
(ASM_OUTPUT_COMMON, ASM_OUTPUT_LOCAL): Delete.
(REGISTER_NAMES): Name static chain regs.
* config/nvptx/nvptx.c (nvptx_function_arg): Add ARG_UNUSED, merge
ifs.
(nvptx_incoming_arg): Merge ifs.
(nvptx_function_arg_boundary): Reimplement to avoid mixing units.
(nvptx_function_value): Tail call nvptx_libcall_value.
(nvptx_pass_by_reference): Add ARG_UNUSED.
(nvptx_static_chain): Use conditional op.
(nvptx_handle_kernel_attribute): Use VOID_TYPE_P.

From-SVN: r231572

8 years agore PR target/26427 (with -fsection-anchors with zero sized structs)
Jan-Benedict Glaw [Fri, 11 Dec 2015 16:39:49 +0000 (16:39 +0000)]
re PR target/26427 (with -fsection-anchors with zero sized structs)

2015-12-11  Jan-Benedict Glaw  <jbglaw@lug-owl.de>
    Dominique d'Humieres  <dominiq@lps.ens.fr>

PR target/26427
PR target/33120
PR testsuite/35710

* config/darwin.c (darwin_use_anchors_for_symbol_p): Fix indention and
trailing whitespace.

Co-Authored-By: Dominique d'Humieres <dominiq@lps.ens.fr>
From-SVN: r231571

8 years ago* gcc.dg/pr59605-1.c: Reduce iterations for nvptx.
Nathan Sidwell [Fri, 11 Dec 2015 15:55:48 +0000 (15:55 +0000)]
* gcc.dg/pr59605-1.c: Reduce iterations for nvptx.

From-SVN: r231570

8 years agoavoid alignment of static variables affecting stack's
Jan Beulich [Fri, 11 Dec 2015 15:53:24 +0000 (15:53 +0000)]
avoid alignment of static variables affecting stack's

Function (or more narrow) scope static variables (as well as others not
placed on the stack) should also not have any effect on the stack
alignment. I noticed the issue first with Linux'es dynamic_pr_debug()
construct using an 8-byte aligned sub-file-scope local variable.

According to my checking bad behavior started with 4.6.x (4.5.3 was
still okay), but generated code got quite a bit worse as of 4.9.0.

gcc/
2015-12-11  Jan Beulich  <jbeulich@suse.com>

* cfgexpand.c (expand_one_var): Exit early for static and
external variables when adjusting stack alignment related.

gcc/testsuite/
2015-12-11  Jan Beulich  <jbeulich@suse.com>

* gcc.c-torture/execute/stkalign.c: New.

From-SVN: r231569

8 years ago* ChangeLog: Remove confusign PR marker.
Uros Bizjak [Fri, 11 Dec 2015 15:08:00 +0000 (16:08 +0100)]
* ChangeLog: Remove confusign PR marker.

From-SVN: r231567

8 years agoS/390: Wide int support.
Dominik Vogt [Fri, 11 Dec 2015 14:43:26 +0000 (14:43 +0000)]
S/390: Wide int support.

gcc/ChangeLog

* config/s390/s390.c (s390_rtx_costs)
(s390_cannot_force_const_mem, legitimate_pic_operand_p)
(s390_preferred_reload_class, s390_reload_symref_address)
(legitimate_reload_constant_p, print_operand): Wide int support.
* config/s390/predicates.md ("const0_operand", "constm1_operand")
("consttable_operand"): Likewise.
("larl_operand"): Add a comment.
* config/s390/s390.h (TARGET_SUPPORTS_WIDE_INT): Enable wide int
support.

From-SVN: r231566

8 years agoMakefile.am (libmpx_la_LDFLAGS): Add -version-info option.
Tsvetkova Alexandra [Fri, 11 Dec 2015 14:38:53 +0000 (14:38 +0000)]
Makefile.am (libmpx_la_LDFLAGS): Add -version-info option.

libmpx/

2015-12-11  Tsvetkova Alexandra  <aleksandra.tsvetkova@intel.com>

* mpxrt/Makefile.am (libmpx_la_LDFLAGS): Add -version-info
option.
* libmpxwrap/Makefile.am (libmpx_la_LDFLAGS): Likewise and
fix include path.
* libmpx/Makefile.in: Regenerate.
* mpxrt/Makefile.in: Regenerate.
* libmpxwrap/Makefile.in: Regenerate.
* mpxrt/libtool-version: New version.
* libmpxwrap/libtool-version: Likewise.
* mpxrt/libmpx.map: Add new version and a new symbol.
* mpxrt/mpxrt.h: New file.
* mpxrt/mpxrt.c (NUM_L1_BITS): Moved to mpxrt.h.
(REG_IP_IDX): Moved to mpxrt.h.
(REX_PREFIX): Moved to mpxrt.h.
(XSAVE_OFFSET_IN_FPMEM): Moved to mpxrt.h.
(MPX_L1_SIZE): Moved to mpxrt.h.
* libmpxwrap/mpx_wrappers.c (mpx_pointer): New type.
(mpx_bt_entry): New type.
(alloc_bt): New function.
(get_bt): New function.
(copy_if_possible): New function.
(copy_if_possible_from_end): New function.
(move_bounds): New function.
(__mpx_wrapper_memmove): Use move_bounds to copy bounds.

gcc/testsuite/

2015-12-11  Tsvetkova Alexandra  <aleksandra.tsvetkova@intel.com>

* gcc.target/i386/mpx/memmove-1.c: New test.
* gcc.target/i386/mpx/memmove-2.c: New test.

From-SVN: r231565

8 years agonvptx.h (TARGET_SUPPORTS_WIDE_INT): Define.
Nathan Sidwell [Fri, 11 Dec 2015 13:52:05 +0000 (13:52 +0000)]
nvptx.h (TARGET_SUPPORTS_WIDE_INT): Define.

gcc/
* config/nvptx/nvptx.h (TARGET_SUPPORTS_WIDE_INT): Define.
* config/nvptx/nvptx.c (nvptxx_assemble_integer): Return false for
unrecognizable RTX.

gcc/testsuite/
* gcc.target/nvptx/ary-init.c: Repair dg_final syntax.
* gcc.target/nvptx/decl-init.c: Likewise.  Add TI case.

From-SVN: r231564

8 years agore PR libstdc++/68139 (rethrow_if_nested should tolerate overloaded unary operator&)
Ville Voutilainen [Fri, 11 Dec 2015 12:04:23 +0000 (14:04 +0200)]
re PR libstdc++/68139 (rethrow_if_nested should tolerate overloaded unary operator&)

PR libstdc++/68139

From-SVN: r231562

8 years agoRemove unpaired TERMINATE_PASS_LIST in passes.def
Tom de Vries [Fri, 11 Dec 2015 11:33:44 +0000 (11:33 +0000)]
Remove unpaired TERMINATE_PASS_LIST in passes.def

2015-12-11  Tom de Vries  <tom@codesourcery.com>

* passes.def: Remove unpaired TERMINATE_PASS_LIST.

From-SVN: r231561

8 years agohash-map.h (hash_map::hash_map): Gather statistics only when GATHER_STATISTICS is...
Michael Matz [Fri, 11 Dec 2015 11:29:02 +0000 (11:29 +0000)]
hash-map.h (hash_map::hash_map): Gather statistics only when GATHER_STATISTICS is true.

* hash-map.h (hash_map::hash_map): Gather statistics only
when GATHER_STATISTICS is true.
* hash-set.h (hash_set::hash_set): Ditto.
* hash-table.h (hash_table::hash_table): Ditto.
(hash_table::create_ggc): Ditto.

From-SVN: r231560

8 years agoAdd an asssert and testcase for PR 68064
Martin Jambor [Fri, 11 Dec 2015 11:27:11 +0000 (12:27 +0100)]
Add an asssert and testcase for PR 68064

2015-12-11  Martin Jambor  <mjambor@suse.cz>

PR ipa/68064
* ipa-prop.c (ipa_compute_jump_functions_for_edge): Add checking
assert that align is nonzero.

testsuite/
* g++.dg/torture/pr68064.C: New test.

From-SVN: r231559

8 years agoS/390: Fix warnings in "*setmem_long..." patterns.
Dominik Vogt [Fri, 11 Dec 2015 11:16:13 +0000 (11:16 +0000)]
S/390: Fix warnings in "*setmem_long..." patterns.

gcc/ChangeLog

* config/s390/s390.c (s390_expand_setmem): Use new expanders.
* config/s390/s390.md ("*setmem_long")
("*setmem_long_and", "*setmem_long_31z"): Fix warnings.
("*setmem_long_and_31z"): New define_insn.
("setmem_long_<P:mode>"): New expanders.
* (<modesize>): New mode attribute

gcc/testsuite/ChangeLog

* gcc.target/s390/md/setmem_long-1.c: New test.

From-SVN: r231558

8 years agoS/390: Fix warnings in "*setmem_long..." patterns.
Dominik Vogt [Fri, 11 Dec 2015 11:03:21 +0000 (11:03 +0000)]
S/390: Fix warnings in "*setmem_long..." patterns.

gcc/ChangeLog

* config/s390/s390.md ("movstr", "*movstr"): Fix warning.
("movstr<P:mode>"): New indirect expanders used by "movstr".

gcc/testsuite/ChangeLog

* gcc.target/s390/md/movstr-1.c: New test.
* gcc.target/s390/s390.exp: Add subdir md.
Do not run hotpatch tests twice.

From-SVN: r231557

8 years agore PR target/67484 (options-save.c sanitizer asan detects freed storage referenced...
Martin Liska [Fri, 11 Dec 2015 10:59:29 +0000 (11:59 +0100)]
re PR target/67484 (options-save.c sanitizer asan detects freed storage referenced  heap-use-after-free)

Fix PR target/67484

    Uros Bizjak  <ubizjak@gmail.com>

PR target/67484
* config/i386/i386.c (ix86_valid_target_attribute_tree):
Use ggc_strdup to copy option_strings to opts->x_ix86_arch_string and
opts->x_ix86_tune_string.

From-SVN: r231556

8 years agolto-streamer.h (lto_simple_header_with_strings): Remove main_size field already in...
Richard Biener [Fri, 11 Dec 2015 10:53:53 +0000 (10:53 +0000)]
lto-streamer.h (lto_simple_header_with_strings): Remove main_size field already in lto_simple_header.

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

* lto-streamer.h (lto_simple_header_with_strings): Remove
main_size field already in lto_simple_header.

From-SVN: r231555

8 years agotree-vect-stmts.c (vectorizable_mask_load_store): Check mask vectype.
Ilya Enkovich [Fri, 11 Dec 2015 10:51:04 +0000 (10:51 +0000)]
tree-vect-stmts.c (vectorizable_mask_load_store): Check mask vectype.

gcc/

* tree-vect-stmts.c (vectorizable_mask_load_store): Check
mask vectype.

From-SVN: r231554

8 years agoi386.c (ix86_get_mask_mode): Use scalar modes for 32 and 16 byte boolean vectors...
Ilya Enkovich [Fri, 11 Dec 2015 09:43:52 +0000 (09:43 +0000)]
i386.c (ix86_get_mask_mode): Use scalar modes for 32 and 16 byte boolean vectors when possible.

gcc/

* config/i386/i386.c (ix86_get_mask_mode): Use scalar
modes for 32 and 16 byte boolean vectors when possible.

gcc/testsuite/

* gcc.dg/vect/vect-32-chars.c: New test.

From-SVN: r231553

8 years agoFix shrink-wrapping bug (PR67778, PR68634)
Segher Boessenkool [Fri, 11 Dec 2015 00:27:14 +0000 (01:27 +0100)]
Fix shrink-wrapping bug (PR67778, PR68634)

After shrink-wrapping has found the "tightest fit" for where to place
the prologue, it tries move it earlier (so that frame saves are run
earlier) -- but without copying any more basic blocks.

Unfortunately a candidate block we select can be inside a loop, and we
will still allow it (because the loop always exits via our previously
chosen block).  We can do that just fine if we make a duplicate of the
block, but we do not want to here.

So we need to detect this situation.  We can place the prologue at a
previous block PRE only if PRE dominates every block reachable from
it, because then we will never need to duplicate that block (it will
always be executed with prologue).

2015-12-11  Segher Boessenkool  <segher@kernel.crashing.org>

PR rtl-optimization/67778
PR rtl-optimization/68634
* shrink-wrap.c (try_shrink_wrapping): Add a comment about why we want
to put the prologue earlier.  When determining if an earlier block is
suitable, make sure it dominates every block reachable from it.

From-SVN: r231552

8 years agoDaily bump.
GCC Administrator [Fri, 11 Dec 2015 00:16:12 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r231551

8 years agore PR lto/61886 (LTO breaks fread with _FORTIFY_SOURCE=2)
Jan Hubicka [Thu, 10 Dec 2015 23:57:15 +0000 (00:57 +0100)]
re PR lto/61886 (LTO breaks fread with _FORTIFY_SOURCE=2)

PR ipa/61886
* lto-symtab.c (lto_symtab_merge_p): Avoid merging across different
values of error and warning attributes.
* gcc.dg/lto/pr61886_0.c: New testcase

From-SVN: r231548

8 years agortlanal: Fix bits/bytes confusion in set_noop_p (PR68814)
Segher Boessenkool [Thu, 10 Dec 2015 23:47:31 +0000 (00:47 +0100)]
rtlanal: Fix bits/bytes confusion in set_noop_p (PR68814)

The meaning of ZERO_EXTRACT depends on BITS_BIG_ENDIAN, not on
BYTES_BIG_ENDIAN.  This caused PR68814.

2015-12-11  Segher Boessenkool  <segher@kernel.crashing.org>

PR rtl-optimization/68814
* rtlanal.c (set_noop_p): Use BITS_BIG_ENDIAN instead of
BYTES_BIG_ENDIAN.

From-SVN: r231547

8 years agonvptx.c (nvptx_function_arg, [...]): Move earlier.
Nathan Sidwell [Thu, 10 Dec 2015 20:13:14 +0000 (20:13 +0000)]
nvptx.c (nvptx_function_arg, [...]): Move earlier.

* config/nvptx/nvptx.c (nvptx_function_arg,
nvptx_function_incoming_arg, nvptx_function_arg_advance,
nvptx_strict_argument_naming, nvptx_function_arg_boundary,
nvptx_libcall_value, nvptx_function_value,
nvptx_function_value_regno_p, nvptx_pass_by_reference,
nvptx_return_in_memory, nvptx_promote_function_mode,
nvptx_static_chain): Move earlier.
(write_one_arg): Break out as helper fn for ...
(write_arg): ... this new function.  Adjust all callers.

From-SVN: r231543

8 years ago* lto-streamer-out.c (wrap_refs): Only wrap public decls.
Jan Hubicka [Thu, 10 Dec 2015 19:21:31 +0000 (20:21 +0100)]
* lto-streamer-out.c (wrap_refs): Only wrap public decls.

From-SVN: r231541

8 years agoipa-cp.c (ipcp_cloning_candidate_p): Use node->optimize_for_size_p.
Jan Hubicka [Thu, 10 Dec 2015 19:20:14 +0000 (20:20 +0100)]
ipa-cp.c (ipcp_cloning_candidate_p): Use node->optimize_for_size_p.

* ipa-cp.c (ipcp_cloning_candidate_p): Use node->optimize_for_size_p.
(good_cloning_opportunity_p): Likewise.
(gather_context_independent_values): Do not return true when
polymorphic call context is known or when we have known aggregate
value of unused parameter.
(estimate_local_effects): Try to create clone for all context
when either some params are substituted or devirtualization is possible
or some params can be removed; use local flag instead of
node->will_be_removed_from_program_if_no_direct_calls_p.
(identify_dead_nodes): Likewise.

* gcc.c-torture/execute/20010122-1.c: Disable cloning.

From-SVN: r231540

8 years agoAdd -Wmisleading-indentation to -Wall
David Malcolm [Thu, 10 Dec 2015 18:21:00 +0000 (18:21 +0000)]
Add -Wmisleading-indentation to -Wall

gcc/c-family/ChangeLog:
* c.opt (Wmisleading-indentation): Add to -Wall for C and C++.

gcc/ChangeLog:
* doc/invoke.texi (-Wall): Add -Wmisleading-indentation to the
list.
(-Wmisleading-indentation): Update documentation to reflect
being enabled by -Wall in C/C++.

From-SVN: r231539

8 years agore PR rtl-optimization/68691 (ICE at -O3 with -g enabled on x86_64-linux-gnu in alter...
Vladimir Makarov [Thu, 10 Dec 2015 18:00:47 +0000 (18:00 +0000)]
re PR rtl-optimization/68691 (ICE at -O3 with -g enabled on x86_64-linux-gnu in alter_subregs, at lra-spills.c:610 (in 32-bit mode))

2015-12-10  Vladimir Makarov  <vmakarov@redhat.com>

PR rtl-optimization/68691
* lra-spills.c (lra_final_code_change): Check pseudo occurrence
number in non-debug insns and remove debug insns if necessary.

2015-12-10  Vladimir Makarov  <vmakarov@redhat.com>

PR rtl-optimization/68691
* gcc.target/i386/pr68691.c: New.

From-SVN: r231538

8 years agoinvoke.texi (Warning Options): Update -Wall options.
Martin Sebor [Thu, 10 Dec 2015 17:16:32 +0000 (17:16 +0000)]
invoke.texi (Warning Options): Update -Wall options.

        * invoke.texi (Warning Options): Update -Wall options.  Clarify
        when some -Wextra options are enabled.  Add -Wplacement-new example.

From-SVN: r231533

8 years agore PR tree-optimization/68619 (error: loop with header 6 not in loop tree)
Uros Bizjak [Thu, 10 Dec 2015 17:14:07 +0000 (18:14 +0100)]
re PR tree-optimization/68619 (error: loop with header 6 not in loop tree)

PR tree-optimization/68619
* graphite-scop-detection.c (gather_bbs::before_dom_children):
Change return type to an edge.  Always return NULL.

From-SVN: r231532

8 years agotestsuite/lib/multline.exp: show test name and line numbers
David Malcolm [Thu, 10 Dec 2015 17:12:38 +0000 (17:12 +0000)]
testsuite/lib/multline.exp: show test name and line numbers

gcc/testsuite/ChangeLog:
* lib/multiline.exp (_multiline_expected_outputs): Update comment.
(dg-end-multiline-output): Capture line numbers within
_multiline_expected_outputs.
(handle-multiline-outputs): Access global $testname_with_flags
and add it as a prefix to pass/fail results.  Extract line numbers
from $_multiline_expected_outputs and print them within pass/fail
results, replacing the printing of $index.  Consolidate the
string prefix shared between pass/fail into a new local ($title).

From-SVN: r231530

8 years agore PR tree-optimization/68619 (error: loop with header 6 not in loop tree)
Jeff Law [Thu, 10 Dec 2015 16:34:43 +0000 (09:34 -0700)]
re PR tree-optimization/68619 (error: loop with header 6 not in loop tree)

2015-12-10  Jeff Law  <law@redhat.com>

PR tree-optimization/68619
* tree-ssa-dom.c (dom_opt_dom_walker::before_dom_children): Propgate
return value from optimize_stmt.
(dom_opt_dom_walker): Add new argument to dom_walker constructor.
(pass_dominator:execute): If a block has an unreachable edge,
remove all jump threads through any successor of the affected block.
(record_equivalences_from_phis): Ignore alternative if the edge
does not have EDGE_EXECUTABLE set.
(single_incoming_edge_ignoring_loop_edges): Similarly.
(optimize_stmt): If a gimple_code has a compile-time constant
condition, return the edge taken for that constant value.  Also
change the condition to true/false as necessary.
* domwalk.h (dom_walker::dom_walker): Add new argument
skip_unreachable_blocks.  Don't provide empty constructor body.
(dom_walker::before_dom_children): Change return type.
(dom_walker::bb_reachable): Declare new private method.
(dom_walker::propagate_unreachable_to_edges): Likewise.
(dom_walker::m_unreachable_dom): Declare new private data member.
(dom_walker::m_skip_unreachable_blocks): Likewise.
* domwalk.c: Include dumpfile.h.
(dom_walker::dom_walker): New constructor.  Initialize private data
members.  If needed, set EDGE_EXECUTABLE for all edges in the CFG,
extracted from tree-ssa-sccvn.c.
(dom_walker::bb_reachable): New method extracted from tree-ssa-sccvn.c
(dom_walker::propagate_unreachable_to_edges): Likewise.
(dom_walker::walk): Only call before_dom_children on reachable
blocks.  If before_dom_children returns an edge, then clear
EDGE_EXECUTABLE for all other outgoing edges from the same block.
For unreachable blocks, call propagate_unreachable_to_edges.
Similarly, only call after_dom_children on reachable blocks.  For
unreachable blocks, conditionally clear m_unreachable_dom.
* tree-ssa-sccvn.c (sccvn_dom_walker::unreachable_dom): Remove
private data member.
(sccvn_dom_walker::after_dom_children): Use methods from dom_walker
class.
(run_scc_vn): Likewise.
(sccvn_dom_walker::before_dom_children): Likewise.  Return the taken
outgoing edge if a COND, SWITCH, or GOTO are optimized.
* compare-elim.c (find_comparison_dom_walker::before_dom_children):
Change return type to an edge.  Always return NULL.
* fwprop.c (single_def_use_dom_walker::before_dom_children): Likewise.
* gimple-ssa-strength-reduction.c
(find_candidates_dom_walker::before_dom_children): Likewise.
* ipa-prop.c (analysis_dom_walker::before_dom_children): Likewise.
(ipcp_modif_dom_walker::before_dom_children): Likewise.
* tree-into-ssa.c (rewrite_dom_walker::before_dom_children): Likewise.
(rewrite_update_dom_walker::before_dom_children): Likewise.
(mark_def_dom_children::before_dom_children): Likewise.
* tree-ssa-dse.c (dse_dom_walker::before_dom_children): Likewise.
* tree-ssa-loop-im.c
(invariantness_dom_walker::before_dom_children): Likewise.
(move_computations_dom_walker::before_dom_walker): Likewise.
* tree-ssa-phiopt.c
(nontrapping_dom_walker::before_dom_children): Likewise.
* tree-ssa-pre.c
(eliminate_dom_walker::before_dom_children): Likewise.
* tree-ssa-propagate.c
(substitute_and_fold_dom_walker::before_dom_children): Likewise.
* tree-ssa-strlen.c
(strlen_dom_walker::before_dom_children): Likewise.
* tree-ssa-uncprop.c
(uncprop_dom_walker::before_dom_children): Likewise.

PR tree-optimization/68619
* gcc.dg/tree-ssa/pr68619-1.c: New test.
* gcc.dg/tree-ssa/pr68619-2.c: New test.
* gcc.dg/tree-ssa/pr68619-3.c: New test.
* gcc.dg/tree-ssa/pr68619-4.c: New test.
* gcc.dg/tree-ssa/pr68619-5.c: New test.

From-SVN: r231527

8 years agore PR rtl-optimization/68376 (wrong code at -O1 and above on x86_64-linux-gnu)
Jakub Jelinek [Thu, 10 Dec 2015 16:11:49 +0000 (17:11 +0100)]
re PR rtl-optimization/68376 (wrong code at -O1 and above on x86_64-linux-gnu)

PR rtl-optimization/68376
PR rtl-optimization/68670
* ifcvt.c (noce_try_abs): For one_cmpl allow < 0, >= 0
or > -1 conditions regardless of negate, and disallow
all other conditions.

* gcc.c-torture/execute/pr68376-2.c (f5, f6, f7, f8): New
tests.
(main): Call them.
* gcc.dg/pr68670-1.c: New test.
* gcc.dg/pr68670-2.c: New test.

From-SVN: r231526

8 years agotree-chkp.c (chkp_call_returns_bounds_p): Return true for VA_ARG call.
Ilya Enkovich [Thu, 10 Dec 2015 16:01:42 +0000 (16:01 +0000)]
tree-chkp.c (chkp_call_returns_bounds_p): Return true for VA_ARG call.

gcc/

* tree-chkp.c (chkp_call_returns_bounds_p): Return true
for VA_ARG call.
(chkp_fixup_inlined_call): New.
* tree-chkp.h (chkp_fixup_inlined_call): New.
* tree-stdarg.c: Include tree-chkp.h.
(expand_ifn_va_arg_1): Fixup bndret calls for removed
VA_ARG calls.

From-SVN: r231525

8 years agore PR c++/68348 (ICE: segfault in cxx_eval_constant_expression at cp/constexpr.c...
Marek Polacek [Thu, 10 Dec 2015 15:45:49 +0000 (15:45 +0000)]
re PR c++/68348 (ICE: segfault in cxx_eval_constant_expression at cp/constexpr.c:3172)

PR c++/68348
* g++.dg/cpp0x/pr68348.C: New test.

From-SVN: r231524

8 years agotree-inline.c (duplicate_remap_omp_clause_seq): New function.
Martin Jambor [Thu, 10 Dec 2015 15:40:57 +0000 (16:40 +0100)]
tree-inline.c (duplicate_remap_omp_clause_seq): New function.

2015-12-10  Martin Jambor  <mjambor@suse.cz>

* tree-inline.c (duplicate_remap_omp_clause_seq): New function.
(replace_locals_op): Duplicate gimple sequences in OMP clauses.

From-SVN: r231523

8 years agoFix -Wmisleading-indentation warning in graphite-optimize-isl.c
David Malcolm [Thu, 10 Dec 2015 15:20:53 +0000 (15:20 +0000)]
Fix -Wmisleading-indentation warning in graphite-optimize-isl.c

../../../src/gcc/graphite-optimize-isl.c: In function ‘isl_union_set* scop_get_domains(scop_p)’:
../../../src/gcc/graphite-optimize-isl.c:362:5: error: statement is indented as if it were guarded by... [-Werror=misleading-indentation]
     return res;
     ^~~~~~

In file included from ../../../src/gcc/hash-table.h:236:0,
                 from ../../../src/gcc/coretypes.h:348,
                 from ../../../src/gcc/graphite-optimize-isl.c:28:
../../../src/gcc/vec.h:1343:3: note: ...this ‘for’ clause, but it is not
   for (I = 0; (V).iterate ((I), &(P)); ++(I))
   ^

../../../src/gcc/graphite-optimize-isl.c:359:3: note: in expansion of macro ‘FOR_EACH_VEC_ELT’
   FOR_EACH_VEC_ELT (scop->pbbs, i, pbb)
   ^~~~~~~~~~~~~~~~

   351  static isl_union_set *
   352  scop_get_domains (scop_p scop ATTRIBUTE_UNUSED)
   353  {
   354    int i;
   355    poly_bb_p pbb;
   356    isl_space *space = isl_set_get_space (scop->param_context);
   357    isl_union_set *res = isl_union_set_empty (space);
   358
   359    FOR_EACH_VEC_ELT (scop->pbbs, i, pbb)
   360      res = isl_union_set_add_set (res, isl_set_copy (pbb->domain));
   361
   362      return res;
            ^ warning is here
   363  }

gcc/ChangeLog:
* graphite-optimize-isl.c (scop_get_domains): Fix indentation.

From-SVN: r231522

8 years agoFix -Wmisleading-indentation warning in ifcvt.c
David Malcolm [Thu, 10 Dec 2015 15:18:26 +0000 (15:18 +0000)]
Fix -Wmisleading-indentation warning in ifcvt.c

../../../src/gcc/ifcvt.c: In function ‘bool noce_try_inverse_constants(noce_if_info*)’:
../../../src/gcc/ifcvt.c:1233:2: error: statement is indented as if it were guarded by... [-Werror=misleading-indentation]
  seq = end_ifcvt_sequence (if_info);
  ^~~

../../../src/gcc/ifcvt.c:1230:7: note: ...this ‘if’ clause, but it is not
       if (target != if_info->x)
       ^~

due to the lack of an outdent after the conditional at lines 1230-1:

  1220    if (target)
  1221      {
  1222        rtx_insn *seq = get_insns ();
  1223
  1224        if (!seq)
  1225          {
  1226            end_sequence ();
  1227            return false;
  1228          }
  1229
>>1230        if (target != if_info->x)
>>1231          noce_emit_move_insn (if_info->x, target);
  1232
>>1233          seq = end_ifcvt_sequence (if_info);
  1234
  1235          if (!seq)
  1236            return false;
  1237
  1238          emit_insn_before_setloc (seq, if_info->jump,
  1239                                   INSN_LOCATION (if_info->insn_a));
  1240          return true;
  1241      }

gcc/ChangeLog:
* ifcvt.c (noce_try_inverse_constants): Fix indentation.

From-SVN: r231521

8 years agoFix -Wmisleading-indentation warning in gcc/regrename.c
David Malcolm [Thu, 10 Dec 2015 15:13:49 +0000 (15:13 +0000)]
Fix -Wmisleading-indentation warning in gcc/regrename.c

../../../src/gcc/regrename.c: In function ‘void scan_rtx_address(rtx_insn*, rtx_def**, reg_class, scan_actions, machine_mode, addr_space_t)’:
../../../src/gcc/regrename.c:1314:7: error: statement is indented as if it were guarded by... [-Werror=misleading-indentation]
       break;
       ^
../../../src/gcc/regrename.c:1311:5: note: ...this ‘if’ clause, but it is not
     if (!AUTO_INC_DEC)
     ^

gcc/ChangeLog:
* regrename.c (scan_rtx_address): Fix indentation.

From-SVN: r231520

8 years agoFix misleading indentation in gcc/fortran/io.c
David Malcolm [Thu, 10 Dec 2015 15:11:37 +0000 (15:11 +0000)]
Fix misleading indentation in gcc/fortran/io.c

Fix this warning:
../../../src/gcc/fortran/io.c: In function ‘match gfc_match_open()’:
../../../src/gcc/fortran/io.c:2003:4: error: statement is indented as if it were guarded by... [-Werror=misleading-indentation]
    if (!compare_to_allowed_values ("DELIM", delim, NULL, NULL,
    ^
../../../src/gcc/fortran/io.c:2000:2: note: ...this ‘if’ clause, but it is not
  if (!is_char_type ("DELIM", open->delim))
  ^

gcc/fortran/ChangeLog:
* io.c (gfc_match_open): Fix indentation.

From-SVN: r231519

8 years agoFix -Wmisleading-indentation warning in function.c
David Malcolm [Thu, 10 Dec 2015 15:06:05 +0000 (15:06 +0000)]
Fix -Wmisleading-indentation warning in function.c

Fix this warning:
../../../src/gcc/function.c: In function ‘void locate_and_pad_parm(machine_mode, tree, int, int, int, tree, args_size*, locate_and_pad_arg_data*)’:
../../../src/gcc/function.c:4123:2: error: statement is indented as if it were guarded by... [-Werror=misleading-indentation]
  {
  ^
../../../src/gcc/function.c:4119:7: note: ...this ‘if’ clause, but it is not
       if (initial_offset_ptr->var)
       ^

gcc/ChangeLog:
* function.c (locate_and_pad_parm): Fix indentation.

From-SVN: r231518

8 years agoChange tests to use -std=gnu++14 not -std=gnu++1y
Jonathan Wakely [Thu, 10 Dec 2015 14:39:07 +0000 (14:39 +0000)]
Change tests to use -std=gnu++14 not -std=gnu++1y

* testsuite/experimental/memory/shared_ptr/assign/assign.cc: Replace
-std=gnu++1y with -std=gnu++14.
* testsuite/experimental/memory/shared_ptr/cast/cast.cc: Likewise.
* testsuite/experimental/memory/shared_ptr/comparison/comparison.cc:
Likewise.
* testsuite/experimental/memory/shared_ptr/cons/alias_ctor.cc:
Likewise.
* testsuite/experimental/memory/shared_ptr/cons/alloc_ctor.cc:
Likewise.
* testsuite/experimental/memory/shared_ptr/cons/copy_ctor.cc:
Likewise.
* testsuite/experimental/memory/shared_ptr/cons/copy_ctor_neg.cc:
Likewise.
* testsuite/experimental/memory/shared_ptr/cons/default_ctor.cc:
Likewise.
* testsuite/experimental/memory/shared_ptr/cons/move_ctor.cc:
Likewise.
* testsuite/experimental/memory/shared_ptr/cons/pointer_ctor.cc:
Likewise.
* testsuite/experimental/memory/shared_ptr/cons/unique_ptr_ctor.cc:
Likewise.
* testsuite/experimental/memory/shared_ptr/cons/weak_ptr_ctor.cc:
Likewise.
* testsuite/experimental/memory/shared_ptr/dest/dest.cc: Likewise.
* testsuite/experimental/memory/shared_ptr/modifiers/reset.cc:
Likewise.
* testsuite/experimental/memory/shared_ptr/modifiers/swap.cc:
Likewise.
* testsuite/experimental/memory/shared_ptr/observers/bool_conv.cc:
Likewise.
* testsuite/experimental/memory/shared_ptr/observers/operators.cc:
Likewise.
* testsuite/experimental/memory/shared_ptr/observers/owner_before.cc:
Likewise.
* testsuite/experimental/memory/shared_ptr/observers/use_count.cc:
Likewise.

From-SVN: r231517

8 years agoFix dejagnu directives in shared_ptr test
Jonathan Wakely [Thu, 10 Dec 2015 14:32:16 +0000 (14:32 +0000)]
Fix dejagnu directives in shared_ptr test

PR libstdc++/68825
* include/experimental/bits/shared_ptr.h (__shared_ptr, __weak_ptr,
experimental::shared_ptr, experimental::weak_ptr): Constrain
assignment operators.
* testsuite/experimental/memory/shared_ptr/cons/copy_ctor_neg.cc:
Change to a compile-only test and change dg-excess-errors to dg-error.

From-SVN: r231516

8 years agore PR ada/48013 (generic instantiation breaks the No_Elaboration_Code restriction)
Eric Botcazou [Thu, 10 Dec 2015 14:20:50 +0000 (14:20 +0000)]
re PR ada/48013 (generic instantiation breaks the No_Elaboration_Code restriction)

PR ada/48013
* gcc-interface/trans.c (empty_stmt_list_p): New predicate.
(gigi): Invoke it to compute the No_Elaboration_Code property.
(insert_code_for): Do not insert the code if it's empty.

From-SVN: r231515

8 years agotree-ssa-structalias.c (struct variable_info): Add is_ipa_escape_point flag.
Richard Biener [Thu, 10 Dec 2015 14:15:34 +0000 (14:15 +0000)]
tree-ssa-structalias.c (struct variable_info): Add is_ipa_escape_point flag.

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

* tree-ssa-structalias.c (struct variable_info): Add
is_ipa_escape_point flag.
(new_var_info): Initialize to false.
(find_func_aliases): Generate escape constraints for stores
properly in IPA mode.
(ipa_pta_execute): Compute is_ipa_escape_point for globals.

From-SVN: r231514

8 years agotrans.c (Call_to_gnu): Remove guard for NULL_EXPR.
Eric Botcazou [Thu, 10 Dec 2015 14:06:15 +0000 (14:06 +0000)]
trans.c (Call_to_gnu): Remove guard for NULL_EXPR.

* gcc-interface/trans.c (Call_to_gnu): Remove guard for NULL_EXPR.
* gcc-interface/utils2.c (gnat_rewrite_reference) <ERROR_MARK>: Return
the reference unmodified.
<NULL_EXPR>: New case.  Likewise.

From-SVN: r231513

8 years agoImprove generated libstdc++ API docs
Jonathan Wakely [Thu, 10 Dec 2015 14:02:52 +0000 (14:02 +0000)]
Improve generated libstdc++ API docs

* doc/doxygen/user.cfg.in: Use EXTENSION_MAPPING tag. Add new headers
to INPUT. Remove obsolete XML_SCHEMA and XML_DTD tags. Update
PREDEFINED macros. Set BRIEF_MEMBER_DESC for man-pages.
* include/backward/strstream: Correct @file comment.
* include/bits/forward_list.h: Improve Doxygen comments.
* include/bits/locale_facets_nonio.h: Likewise.
* include/bits/mutex.h: Likewise.
* include/bits/shared_ptr.h: Likewise.
* include/bits/stl_deque.h: Likewise.
* include/debug/vector (_Safe_vector): Add @brief section to comment.
* include/experimental/bits/fs_dir.h: Correct @file comment.
* include/experimental/bits/fs_fwd.h: Likewise.
* include/experimental/bits/fs_ops.h: Likewise.
* include/experimental/bits/fs_path.h: Likewise.
* include/experimental/bits/string_view.tcc: Likewise.
* include/experimental/optional: Document experimental status.
* include/experimental/string_view: Correct @file comment.
* include/ext/pb_ds/detail/bin_search_tree_/traits.hpp: Reduce
whitespace to avoid Doxygen bug.
* include/std/bitset: Remove redundant @class Doxygen command. Add
parentheses to avoid Doxygen bug.
* include/std/mutex: Improve Doxygen comments.
* include/tr2/dynamic_bitset: Add missing @param documentation.
* scripts/run_doxygen: Rename man pages for std::experimental types.

From-SVN: r231512

8 years agogigi.h (create_var_decl): Adjust comment.
Eric Botcazou [Thu, 10 Dec 2015 13:46:38 +0000 (13:46 +0000)]
gigi.h (create_var_decl): Adjust comment.

* gcc-interface/gigi.h (create_var_decl): Adjust comment.
(create_subprog_decl): Likewise.
* gcc-interface/utils.c (create_var_decl): Likewise.
(create_subprog_decl): Likewise.

From-SVN: r231511

8 years ago[ARC] Add support for atomic memory built-in. Add atomic.md file.
Claudiu Zissulescu [Thu, 10 Dec 2015 13:40:21 +0000 (14:40 +0100)]
[ARC] Add support for atomic memory built-in. Add atomic.md file.

gcc/

2015-12-10  Claudiu Zissulescu  <claziss@synopsys.com>

* config/arc/atomic.md: Add new file.

From-SVN: r231510

8 years ago[ARC] Add support for atomic memory built-in.
Claudiu Zissulescu [Thu, 10 Dec 2015 13:32:21 +0000 (14:32 +0100)]
[ARC] Add support for atomic memory built-in.

gcc/

2015-12-10  Claudiu Zissulescu  <claziss@synopsys.com>

* config/arc/arc-protos.h (arc_expand_atomic_op): Prototype.
(arc_split_compare_and_swap): Likewise.
(arc_expand_compare_and_swap): Likewise.
* config/arc/arc.c (arc_init): Check usage atomic option.
(arc_pre_atomic_barrier): New function.
(arc_post_atomic_barrier): Likewise.
(emit_unlikely_jump): Likewise.
(arc_expand_compare_and_swap_qh): Likewise.
(arc_expand_compare_and_swap): Likewise.
(arc_split_compare_and_swap): Likewise.
(arc_expand_atomic_op): Likewise.
* config/arc/arc.h (TARGET_CPU_CPP_BUILTINS): New C macro.
(ASM_SPEC): Enable mlock option when matomic is used.
* config/arc/arc.md (UNSPEC_ARC_MEMBAR): Define.
(VUNSPEC_ARC_CAS): Likewise.
(VUNSPEC_ARC_LL): Likewise.
(VUNSPEC_ARC_SC): Likewise.
(VUNSPEC_ARC_EX): Likewise.
* config/arc/arc.opt (matomic): New option.
* config/arc/constraints.md (ATO): New constraint.
* config/arc/predicates.md (mem_noofs_operand): New predicate.
* doc/invoke.texi: Document -matomic.
* config/arc/atomic.md: New file.

gcc/testsuite

2015-12-10  Claudiu Zissulescu  <claziss@synopsys.com>

* lib/target-supports.exp (check_effective_target_arc_atomic): New
function.
(check_effective_target_sync_int_long): Add checks for ARC atomic
feature.
(check_effective_target_sync_char_short): Likewise.

From-SVN: r231509

8 years agore PR tree-optimization/68817 (internal compiler error: Segmentation fault (program...
Richard Biener [Thu, 10 Dec 2015 13:23:22 +0000 (13:23 +0000)]
re PR tree-optimization/68817 (internal compiler error: Segmentation fault (program f951))

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

PR tree-optimization/68817
* tree-vect-slp.c (vect_attempt_slp_rearrange_stmts): Detect
gaps early.

* gfortran.dg/pr68817.f90: New testcase.

From-SVN: r231508

8 years agoRevert [testsuite][ARM target attributes] Fix effective_target tests
Christophe Lyon [Thu, 10 Dec 2015 13:11:27 +0000 (13:11 +0000)]
Revert [testsuite][ARM target attributes] Fix effective_target tests

From-SVN: r231507

8 years ago* alias.c (get_alias_set): Add cut-off for recursion.
Eric Botcazou [Thu, 10 Dec 2015 12:12:59 +0000 (12:12 +0000)]
* alias.c (get_alias_set): Add cut-off for recursion.

From-SVN: r231505

8 years agofix typo in date format
Christian Bruel [Thu, 10 Dec 2015 11:41:38 +0000 (12:41 +0100)]
fix typo in date format

From-SVN: r231504

8 years agotree-vect-stmts.c (vectorizable_assignment): Support useless boolean conversion.
Ilya Enkovich [Thu, 10 Dec 2015 11:23:50 +0000 (11:23 +0000)]
tree-vect-stmts.c (vectorizable_assignment): Support useless boolean conversion.

gcc/

* tree-vect-stmts.c (vectorizable_assignment): Support
useless boolean conversion.

From-SVN: r231503

8 years agoCorrect previous ChangeLog (targets is correct, not hosts)
Alan Lawrence [Thu, 10 Dec 2015 10:49:52 +0000 (10:49 +0000)]
Correct previous ChangeLog (targets is correct, not hosts)

From-SVN: r231501