gcc.git
6 years agoPR c++/86200 - ICE with unexpanded pack in lambda parameter.
Jason Merrill [Tue, 19 Jun 2018 00:38:32 +0000 (20:38 -0400)]
PR c++/86200 - ICE with unexpanded pack in lambda parameter.

* pt.c (find_parameter_packs_r) [LAMBDA_EXPR]: Also look into the
function type.

From-SVN: r261726

6 years agoPR c++/81060 - ICE with unexpanded parameter pack.
Jason Merrill [Tue, 19 Jun 2018 00:38:26 +0000 (20:38 -0400)]
PR c++/81060 - ICE with unexpanded parameter pack.

* pt.c (check_for_bare_parameter_packs): Add loc parameter.
* decl.c (grokdeclarator): Call it for qualifying_scope.

From-SVN: r261725

6 years agoDaily bump.
GCC Administrator [Tue, 19 Jun 2018 00:16:40 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r261724

6 years agoPR middle-end/85602 - -Wsizeof-pointer-memaccess for strncat with size of source
Martin Sebor [Mon, 18 Jun 2018 22:17:57 +0000 (22:17 +0000)]
PR middle-end/85602 - -Wsizeof-pointer-memaccess for strncat with size of source

gcc/c-family/ChangeLog:

PR middle-end/85602
* c-warn.c (sizeof_pointer_memaccess_warning): Check for attribute
nonstring.

gcc/ChangeLog:

PR middle-end/85602
* calls.c (maybe_warn_nonstring_arg): Handle strncat.
* tree-ssa-strlen.c (is_strlen_related_p): Make extern.
Handle integer subtraction.
(maybe_diag_stxncpy_trunc): Handle nonstring source arguments.
* tree-ssa-strlen.h (is_strlen_related_p): Declare.

gcc/testsuite/ChangeLog:

PR middle-end/85602
* gcc.dg/attr-nonstring-2.c: Adjust text of expected warning.
* c-c++-common/attr-nonstring-8.c: New test.

From-SVN: r261718

6 years agoMakefile.def (fortran): Add check-target-libgomp-fortran.
Eric Botcazou [Mon, 18 Jun 2018 22:01:58 +0000 (22:01 +0000)]
Makefile.def (fortran): Add check-target-libgomp-fortran.

* Makefile.def (fortran): Add check-target-libgomp-fortran.
* Makefile.tpl (check-target-libgomp-fortran): New phony target.
* Makefile.in: Regenerate.

From-SVN: r261717

6 years agoLWG 2975 ensure construct(pair<T,U>*, ...) used to construct pairs
Jonathan Wakely [Mon, 18 Jun 2018 20:17:44 +0000 (21:17 +0100)]
LWG 2975 ensure construct(pair<T,U>*, ...) used to construct pairs

* include/std/scoped_allocator (__not_pair): Define SFINAE helper.
(construct(_Tp*, _Args&&...)): Remove from overload set when _Tp is
a specialization of std::pair.
* testsuite/20_util/scoped_allocator/construct_pair.cc: Ensure
pair elements are constructed correctly.

From-SVN: r261716

6 years agoMore rtx to rtx_insn * cleanups
David Malcolm [Mon, 18 Jun 2018 19:59:13 +0000 (19:59 +0000)]
More rtx to rtx_insn * cleanups

gcc/ChangeLog:
* config/frv/frv-protos.h (frv_ifcvt_modify_insn): Strengthen 3rd
param from rtx to rtx_insn *.
* config/frv/frv.c (frv_ifcvt_add_insn): Likewise for "insn"
param.
(frv_ifcvt_modify_insn): Likwise.
(frv_ifcvt_modify_final): Likwise for local "existing_insn",
adding an as_a <rtx_insn *> cast.  Likewise for local "insn".
* config/mips/mips.c (r10k_insert_cache_barriers): Add an
as_a <rtx_insn *> cast to local "unprotected_region" once
it's been established that it's not NULL or pc_rtx.
* config/nds32/nds32-relax-opt.c (nds32_group_insns): Strengthen
param "sethi" from rtx to rtx_insn *.
(nds32_group_float_insns): Likewise for param "insn".
* config/vax/vax-protos.h (vax_output_int_add): Likewise for 1st
param.
(vax_output_int_subtract): Likewise.
* config/vax/vax.c (vax_output_int_add): Likewise for param
"insn".
(vax_output_int_subtract): Likewise.
* emit-rtl.c (set_insn_deleted): Likewise, removing cast.
(emit_pattern_after): Likewise for param "after".
(emit_insn_after): Likewise.
(emit_jump_insn_after): Likewise.
(emit_call_insn_after): Likewise.
(emit_debug_insn_after): Likewise.
(emit_pattern_before): Likewise for param "before".
(emit_insn_before): Likewise.
(emit_jump_insn_before): Likewise.
* final.c (get_insn_template): Likewise for param "insn", removing
a cast.
* output.h (get_insn_template): Likewise for 2nd param.
* rtl.h (emit_insn_before): Likewise.
(emit_jump_insn_before): Likewise.
(emit_debug_insn_before_noloc): Likewise.
(emit_insn_after): Likewise.
(emit_jump_insn_after): Likewise.
(emit_call_insn_after): Likewise.
(emit_debug_insn_after): Likewise.
(set_insn_deleted): Likewise for param.

From-SVN: r261715

6 years agore PR target/85358 (PowerPC: Using -mabi=ieeelongdouble -mcpu=power9 breaks __ibm128)
Michael Meissner [Mon, 18 Jun 2018 19:10:08 +0000 (19:10 +0000)]
re PR target/85358 (PowerPC: Using -mabi=ieeelongdouble -mcpu=power9 breaks __ibm128)

[gcc]
2018-06-18  Michael Meissner  <meissner@linux.ibm.com>

PR target/85358
* config/rs6000/rs6000-modes.def (toplevel): Rework the 128-bit
floating point modes, so that IFmode is numerically greater than
TFmode, which is greater than KFmode using FRACTIONAL_FLOAT_MODE
to declare the ordering.  This prevents IFmode from being
converted to TFmode when long double is IEEE 128-bit on an ISA 3.0
machine.  Include rs6000-modes.h to share the fractional values
between genmodes* and the rest of the compiler.
(IFmode): Likewise.
(KFmode): Likewise.
(TFmode): Likewise.
* config/rs6000/rs6000-modes.h: New file.
* config/rs6000/rs6000.c (rs6000_debug_reg_global): Change the
meaning of rs6000_long_double_size so that 126..128 selects an
appropriate 128-bit floating point type.
(rs6000_option_override_internal): Likewise.
* config/rs6000/rs6000.h (toplevel): Include rs6000-modes.h.
(TARGET_LONG_DOUBLE_128): Change the meaning of
rs6000_long_double_size so that 126..128 selects an appropriate
128-bit floating point type.
(LONG_DOUBLE_TYPE_SIZE): Update comment.
* config/rs6000/rs6000.md (trunciftf2): Correct the modes of the
source and destination to match the standard usage.
(truncifkf2): Likewise.
(copysign<mode>3, IEEE iterator): Rework copysign of float128 on
ISA 2.07 to use an explicit clobber, instead of passing in a
temporary.
(copysign<mode>3_soft): Likewise.

[libgcc]
2018-06-18  Michael Meissner  <meissner@linux.ibm.com>

* config/rs6000/t-float128 (FP128_CFLAGS_SW): Compile float128
support modules with -mno-gnu-attribute.
* config/rs6000/t-float128-hw (FP128_CFLAGS_HW): Likewise.

From-SVN: r261712

6 years agoLWG 2989 hide path iostream operators from normal lookup
Jonathan Wakely [Mon, 18 Jun 2018 18:59:44 +0000 (19:59 +0100)]
LWG 2989 hide path iostream operators from normal lookup

By only defining these operators as friends (with no namespace-scope
declaration) they can only be found by ADL and do not participate in
overload resolution for arguments of types other than path.

LWG 2989 hide path iostream operators from normal lookup
* include/bits/fs_path.h (operator<<, operator>>): Define inline as
friends.
* testsuite/27_io/filesystem/path/io/dr2989.cc: New.

From-SVN: r261711

6 years agoIntroduce DUMP_VECT_SCOPE macro
David Malcolm [Mon, 18 Jun 2018 18:49:40 +0000 (18:49 +0000)]
Introduce DUMP_VECT_SCOPE macro

gcc/ChangeLog:
* tree-vect-data-refs.c (vect_analyze_data_ref_dependences):
Replace dump_printf_loc call with DUMP_VECT_SCOPE.
(vect_slp_analyze_instance_dependence): Likewise.
(vect_enhance_data_refs_alignment): Likewise.
(vect_analyze_data_refs_alignment): Likewise.
(vect_slp_analyze_and_verify_instance_alignment
(vect_analyze_data_ref_accesses): Likewise.
(vect_prune_runtime_alias_test_list): Likewise.
(vect_analyze_data_refs): Likewise.
* tree-vect-loop-manip.c (vect_update_inits_of_drs): Likewise.
* tree-vect-loop.c (vect_determine_vectorization_factor): Likewise.
(vect_analyze_scalar_cycles_1): Likewise.
(vect_get_loop_niters): Likewise.
(vect_analyze_loop_form_1): Likewise.
(vect_update_vf_for_slp): Likewise.
(vect_analyze_loop_operations): Likewise.
(vect_analyze_loop): Likewise.
(vectorizable_induction): Likewise.
(vect_transform_loop): Likewise.
* tree-vect-patterns.c (vect_pattern_recog): Likewise.
* tree-vect-slp.c (vect_analyze_slp): Likewise.
(vect_make_slp_decision): Likewise.
(vect_detect_hybrid_slp): Likewise.
(vect_slp_analyze_operations): Likewise.
(vect_slp_bb): Likewise.
* tree-vect-stmts.c (vect_mark_stmts_to_be_vectorized): Likewise.
(vectorizable_bswap): Likewise.
(vectorizable_call): Likewise.
(vectorizable_simd_clone_call): Likewise.
(vectorizable_conversion): Likewise.
(vectorizable_assignment): Likewise.
(vectorizable_shift): Likewise.
(vectorizable_operation): Likewise.
* tree-vectorizer.h (DUMP_VECT_SCOPE): New macro.

From-SVN: r261710

6 years agoPR c++/86171 - ICE with recursive alias instantiation.
Jason Merrill [Mon, 18 Jun 2018 18:16:38 +0000 (14:16 -0400)]
PR c++/86171 - ICE with recursive alias instantiation.

* pt.c (tsubst_decl): Handle recursive alias instantiation.

From-SVN: r261709

6 years agoLWG 3050 Fix cv-qualification of convertibility constraints
Jonathan Wakely [Mon, 18 Jun 2018 18:02:24 +0000 (19:02 +0100)]
LWG 3050 Fix cv-qualification of convertibility constraints

LWG 3050 Fix cv-qualification of convertibility constraints
* include/std/chrono (duration, operator*, operator/, operator%): Use
const-qualified type as source type in is_convertible constraints.
* testsuite/20_util/duration/arithmetic/dr3050.cc: New.
* testsuite/20_util/duration/cons/dr3050.cc: New.
* testsuite/20_util/duration/literals/range.cc: Rename to...
* testsuite/20_util/duration/literals/range_neg.cc: Here. Adjust
dg-error lineno.

From-SVN: r261708

6 years agocrossconfig.m4: Handle OpenBSD just like NetBSD.
Maya Rashish [Mon, 18 Jun 2018 17:28:53 +0000 (17:28 +0000)]
crossconfig.m4: Handle OpenBSD just like NetBSD.

2018-06-18  Maya Rashish  <coypu@sdf.org>

* crossconfig.m4: Handle OpenBSD just like NetBSD.
* configure: Rebuilt.

* config/alpha/openbsd.h (TARGET_DEFAULT): Define.
(LINK_SPEC, STARTFILE_SPEC, ENDFILE_SPEC): Likewise.
(INTMAX_TYPE, UINTMAX_TYPE, WINT_TYPE): Likewise.

* config/alpha/elf.h (STARTFILE_SPEC, ENDFILE_SPEC): Move from
here to ...
* config/alpha/linux.h (STARTFILE_SPEC, ENDFILE_SPEC): Here.

From-SVN: r261707

6 years agoP0754R2 <version> header
Jonathan Wakely [Mon, 18 Jun 2018 16:42:11 +0000 (17:42 +0100)]
P0754R2 <version> header

* include/Makefile.am: Add new header.
* include/Makefile.in: Regenerate.
* include/bits/c++config: Change doxygen comment to suggest <version>
instead of <iosfwd>.
* include/precompiled/stdc++.h: Include <cwchar> and <cwctype>
unconditionally.  Add C++17 and C++20 headers.
* include/std/version: New header.
* testsuite/17_intro/headers/c++2017/all_attributes.cc: New.
* testsuite/17_intro/headers/c++2017/all_no_exceptions.cc: New.
* testsuite/17_intro/headers/c++2017/all_no_rtti.cc: New.
* testsuite/17_intro/headers/c++2017/all_pedantic_errors.cc: New.
* testsuite/17_intro/headers/c++2017/operator_names.cc: New.
* testsuite/17_intro/headers/c++2017/stdc++.cc: New.
* testsuite/17_intro/headers/c++2017/stdc++_multiple_inclusion.cc:
New.
* testsuite/17_intro/headers/c++2020/all_attributes.cc: New.
* testsuite/17_intro/headers/c++2020/all_no_exceptions.cc: New.
* testsuite/17_intro/headers/c++2020/all_no_rtti.cc: New.
* testsuite/17_intro/headers/c++2020/all_pedantic_errors.cc: New.
* testsuite/17_intro/headers/c++2020/operator_names.cc: New.
* testsuite/17_intro/headers/c++2020/stdc++.cc: New.
* testsuite/17_intro/headers/c++2020/stdc++_multiple_inclusion.cc:
New.
* testsuite/18_support/headers/version/macros.cc: New.
* testsuite/18_support/headers/version/macros.cc: New.

From-SVN: r261706

6 years agoPR tree-optimization/81384 - built-in form of strnlen missing
Martin Sebor [Mon, 18 Jun 2018 16:32:59 +0000 (16:32 +0000)]
PR tree-optimization/81384 - built-in form of strnlen missing

gcc/ChangeLog:

PR tree-optimization/81384
* builtin-types.def (BT_FN_SIZE_CONST_STRING_SIZE): New.
* builtins.c (expand_builtin_strnlen): New function.
(expand_builtin): Call it.
(fold_builtin_n): Avoid setting TREE_NO_WARNING.
* builtins.def (BUILT_IN_STRNLEN): New.
* calls.c (maybe_warn_nonstring_arg): Handle BUILT_IN_STRNLEN.
Warn for bounds in excess of maximum object size.
* tree-ssa-strlen.c (maybe_set_strlen_range): Return tree representing
single-value ranges.  Handle strnlen.
(handle_builtin_strlen): Handle strnlen.
(strlen_check_and_optimize_stmt): Same.
* doc/extend.texi (Other Builtins): Document strnlen.

gcc/testsuite/ChangeLog:

PR tree-optimization/81384
* gcc.c-torture/execute/builtins/lib/strnlen.c: New test.
* gcc.c-torture/execute/builtins/strnlen-lib.c: New test.
* gcc.c-torture/execute/builtins/strnlen.c: New test.
* gcc.dg/attr-nonstring-2.c: New test.
* gcc.dg/attr-nonstring-3.c: New test.
* gcc.dg/attr-nonstring-4.c: New test.
* gcc.dg/strlenopt-45.c: New test.
* gcc.dg/strlenopt.h (strnlen):  Declare.

From-SVN: r261705

6 years agoFix bootstrap failure for bare metal due to autoconf link tests
Jonathan Wakely [Mon, 18 Jun 2018 16:01:24 +0000 (17:01 +0100)]
Fix bootstrap failure for bare metal due to autoconf link tests

The AC_CHECK_FUNCS tests cause the build to fail for bare metal cross
compilers, where link tests are not allowed. Replace them with
GCC_TRY_COMPILE_OR_LINK tests instead. Skip all the Filesystem
dependency checks if not building the filesystem library.

* acinclude.m4 (GLIBCXX_CHECK_FILESYSTEM_DEPS): Only check when
enable_libstdcxx_filesystem_ts = yes. Check for link, readlink and
symlink.
* config.h.in: Regenerate.
* configure: Regenerate.
* configure.ac: Remove AC_CHECK_FUNCS for link, readlink and symlink.

From-SVN: r261704

6 years agoLWG 3035. std::allocator's constructors should be constexpr
Jonathan Wakely [Mon, 18 Jun 2018 15:47:07 +0000 (16:47 +0100)]
LWG 3035. std::allocator's constructors should be constexpr

LWG 3035. std::allocator's constructors should be constexpr
* include/bits/allocator.h (allocator): Add constexpr to constructors
for C++2a. Replace dynamic exception specifications with NOTHROW
macro.
(allocator, operator==, operator!=): Replace USE_NOEXCEPT macro with
NOTHROW.
* include/bits/c++config (_GLIBCXX20_CONSTEXPR): Define.
* include/ext/malloc_allocator.h (malloc_allocator): Add constexpr
to constructors for C++2a.
* include/ext/new_allocator.h (new_allocator): Likewise.

From-SVN: r261703

6 years agodecl.c (duplicate_decls): Consistently use DECL_SOURCE_LOCATION in errors about redef...
Paolo Carlini [Mon, 18 Jun 2018 14:34:50 +0000 (14:34 +0000)]
decl.c (duplicate_decls): Consistently use DECL_SOURCE_LOCATION in errors about redefined default...

2018-06-18  Paolo Carlini  <paolo.carlini@oracle.com>

* decl.c (duplicate_decls): Consistently use DECL_SOURCE_LOCATION
in errors about redefined default arguments; tidy.

From-SVN: r261702

6 years agotree.c (escaped_string::escape): Replace cast to char * by const_cast<char *> (unesca...
Prathamesh Kulkarni [Mon, 18 Jun 2018 14:04:37 +0000 (14:04 +0000)]
tree.c (escaped_string::escape): Replace cast to char * by const_cast<char *> (unescaped).

2018-06-18  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>

* tree.c (escaped_string::escape): Replace cast to char * by
const_cast<char *> (unescaped).

From-SVN: r261700

6 years ago[testsuite] Add target pthread to pr86076.c
Wilco Dijkstra [Mon, 18 Jun 2018 12:17:10 +0000 (12:17 +0000)]
[testsuite] Add target pthread to pr86076.c

Add missing target pthread to ensure test doesn't fail on bare-metal
targets. Committed as obvious.

    testsuite/
PR tree-optimization/86076
* gcc.dg/pr86076.c: Add target pthread for bare-metal targets.

From-SVN: r261699

6 years ago[testsuite] Remove xfail from vect-abs-compile.c
Wilco Dijkstra [Mon, 18 Jun 2018 11:10:51 +0000 (11:10 +0000)]
[testsuite] Remove xfail from vect-abs-compile.c

Since PR64946 has been fixed, we can remove the xfail from this test.
Committed as obvious.

    testsuite/
PR tree-optimization/64946
* gcc.target/aarch64/vect-abs-compile.c: Remove xfail.

From-SVN: r261698

6 years agoEnsure that control characters in user supplied error and warning messages are escaped.
Nick Clifton [Mon, 18 Jun 2018 10:39:01 +0000 (10:39 +0000)]
Ensure that control characters in user supplied error and warning messages are escaped.

PR 84195
* tree.c (escaped_string): New class.  Converts an unescaped
string into its escaped equivalent.
(warn_deprecated_use): Use the new class to convert the
deprecation message, if present.
(test_escaped_strings): New self test.
(test_c_tests): Add test_escaped_strings.

From-SVN: r261697

6 years agotree.c (decl_value_expr_lookup): Revert latest change.
Eric Botcazou [Mon, 18 Jun 2018 07:52:22 +0000 (07:52 +0000)]
tree.c (decl_value_expr_lookup): Revert latest change.

* tree.c (decl_value_expr_lookup): Revert latest change.
(decl_value_expr_insert): Likewise.
fortran/
* trans-decl.c (gfc_get_fake_result_decl): Revert latest change.

From-SVN: r261696

6 years agoDaily bump.
GCC Administrator [Mon, 18 Jun 2018 00:16:42 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r261695

6 years agoRemove superfluous prefix
Eric Botcazou [Sun, 17 Jun 2018 14:24:46 +0000 (14:24 +0000)]
Remove superfluous prefix

From-SVN: r261688

6 years agogimplify.c (nonlocal_vlas): Delete.
Eric Botcazou [Sun, 17 Jun 2018 11:36:58 +0000 (11:36 +0000)]
gimplify.c (nonlocal_vlas): Delete.

* gimplify.c (nonlocal_vlas): Delete.
(nonlocal_vla_vars): Likewise.
(gimplify_var_or_parm_decl): Do not add debug VAR_DECLs for non-local
referenced VLAs.
(gimplify_body): Do not create and destroy nonlocal_vlas.
* tree-nested.c: Include diagnostic.h.
(use_pointer_in_frame): Tweak.
(lookup_field_for_decl): Add assertion and declare the transformation.
(convert_nonlocal_reference_op) <PARM_DECL>: Rework and issue an
internal error when the reference is in a wrong context.  Do not
create a debug decl by default.
(note_nonlocal_block_vlas): Delete.
(convert_nonlocal_reference_stmt) <GIMPLE_BIND>: Do not call it.
(convert_local_reference_op) <PARM_DECL>: Skip the frame decl.  Do not
create a debug decl by default.
(convert_gimple_call) <GIMPLE_CALL>: Issue an internal error when the
call is in a wrong context.
(fixup_vla_decls): New function.
(finalize_nesting_tree_1): Adjust comment.  Call fixup_vla_decls if no
debug variables were created.
* tree.c (decl_value_expr_lookup): Add checking assertion.
(decl_value_expr_insert): Likewise.
fortran/
* fortran/trans-decl.c (nonlocal_dummy_decl_pset): Delete.
(nonlocal_dummy_decls): Likewise.
(gfc_nonlocal_dummy_array_decl): Likewise.
(gfc_get_symbol_decl): Do not call gfc_nonlocal_dummy_array_decl.
(gfc_get_fake_result_decl): Do not generate a new DECL if simply
reusing the result of a recursive call.
(gfc_generate_function_code): Do not create, insert and destroy
nonlocal_dummy_decls.

From-SVN: r261687

6 years agoDaily bump.
GCC Administrator [Sun, 17 Jun 2018 00:16:41 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r261686

6 years agore PR middle-end/82479 (missing popcount builtin detection)
Kugan Vivekanandarajah [Sat, 16 Jun 2018 21:39:31 +0000 (21:39 +0000)]
re PR middle-end/82479 (missing popcount builtin detection)

gcc/ChangeLog:

2018-06-16  Kugan Vivekanandarajah  <kuganv@linaro.org>

PR middle-end/82479
* ipa-fnsummary.c (will_be_nonconstant_expr_predicate): Handle CALL_EXPR.
* tree-scalar-evolution.c (interpret_expr): Likewise.
(expression_expensive_p): Likewise.
* tree-ssa-loop-ivopts.c (contains_abnormal_ssa_name_p): Likewise.
* tree-ssa-loop-niter.c (number_of_iterations_popcount): New.
(number_of_iterations_exit_assumptions): Use number_of_iterations_popcount.
(ssa_defined_by_minus_one_stmt_p): New.

gcc/testsuite/ChangeLog:

2018-06-16  Kugan Vivekanandarajah  <kuganv@linaro.org>

PR middle-end/82479
* gcc.dg/tree-ssa/popcount.c: New test.
* gcc.dg/tree-ssa/popcount2.c: New test.

From-SVN: r261682

6 years agore PR tree-optimization/64946 ([AArch64] gcc.target/aarch64/vect-abs-compile.c -...
Kugan Vivekanandarajah [Sat, 16 Jun 2018 21:34:29 +0000 (21:34 +0000)]
re PR tree-optimization/64946 ([AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types)

gcc/ChangeLog:

2018-06-16  Kugan Vivekanandarajah  <kuganv@linaro.org>

PR middle-end/64946
* cfgexpand.c (expand_debug_expr): Hande ABSU_EXPR.
* config/i386/i386.c (ix86_add_stmt_cost): Likewise.
* dojump.c (do_jump): Likewise.
* expr.c (expand_expr_real_2): Check operand type's sign.
* fold-const.c (const_unop): Handle ABSU_EXPR.
(fold_abs_const): Likewise.
* gimple-pretty-print.c (dump_unary_rhs): Likewise.
* gimple-ssa-backprop.c (backprop::process_assign_use): Likesie.
(strip_sign_op_1): Likesise.
* match.pd: Add new pattern to generate ABSU_EXPR.
* optabs-tree.c (optab_for_tree_code): Handle ABSU_EXPR.
* tree-cfg.c (verify_gimple_assign_unary): Likewise.
* tree-eh.c (operation_could_trap_helper_p): Likewise.
* tree-inline.c (estimate_operator_cost): Likewise.
* tree-pretty-print.c (dump_generic_node): Likewise.
* tree-vect-patterns.c (vect_recog_sad_pattern): Likewise.
* tree.def (ABSU_EXPR): New.

gcc/c-family/ChangeLog:

2018-06-16  Kugan Vivekanandarajah  <kuganv@linaro.org>

* c-common.c (c_common_truthvalue_conversion): Handle ABSU_EXPR.

gcc/c/ChangeLog:

2018-06-16  Kugan Vivekanandarajah  <kuganv@linaro.org>

* c-typeck.c (build_unary_op): Handle ABSU_EXPR;
* gimple-parser.c (c_parser_gimple_statement): Likewise.
(c_parser_gimple_unary_expression): Likewise.

gcc/cp/ChangeLog:

2018-06-16  Kugan Vivekanandarajah  <kuganv@linaro.org>

* constexpr.c (potential_constant_expression_1): Handle ABSU_EXPR.
* cp-gimplify.c (cp_fold): Likewise.

gcc/testsuite/ChangeLog:

2018-06-16  Kugan Vivekanandarajah  <kuganv@linaro.org>

PR middle-end/64946
* gcc.dg/absu.c: New test.
* gcc.dg/gimplefe-29.c: New test.
* gcc.target/aarch64/pr64946.c: New test.

From-SVN: r261681

6 years agore PR middle-end/86095 (documentation for -Wunsafe-loop-optimizations references...
Jakub Jelinek [Sat, 16 Jun 2018 06:51:32 +0000 (08:51 +0200)]
re PR middle-end/86095 (documentation for -Wunsafe-loop-optimizations references options which have no effect any more)

PR middle-end/86095
* common.opt (Wunsafe-loop-optimizations): Add Ignore, remove Var,
documented as preserved for backward compatibility only.
* doc/invoke.texi: Remove -Wunsafe-loop-optimizations documentation.

From-SVN: r261679

6 years agore PR rtl-optimization/86108 (crash during unwinding with -O2)
Jakub Jelinek [Sat, 16 Jun 2018 06:50:31 +0000 (08:50 +0200)]
re PR rtl-optimization/86108 (crash during unwinding with -O2)

PR rtl-optimization/86108
* bb-reorder.c (create_forwarder_block): Renamed to ...
(create_eh_forwarder_block): ... this.  Split OLD_BB after labels and
jump from new landing pad to the second part.
(sjlj_fix_up_crossing_landing_pad, dw2_fix_up_crossing_landing_pad):
Adjust callers.

From-SVN: r261678

6 years agoPR c++/86147 - wrong capture for template argument.
Jason Merrill [Sat, 16 Jun 2018 06:35:53 +0000 (02:35 -0400)]
PR c++/86147 - wrong capture for template argument.

* expr.c (mark_use): Look through NOP_EXPR.

From-SVN: r261676

6 years agoconfig.guess: Import latest version.
Ben Elliston [Sat, 16 Jun 2018 03:32:40 +0000 (13:32 +1000)]
config.guess: Import latest version.

* config.guess: Import latest version.
* config.sub: Likewise.

From-SVN: r261675

6 years agoDaily bump.
GCC Administrator [Sat, 16 Jun 2018 00:16:50 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r261674

6 years agoLWG 3076 basic_string CTAD ambiguity
Jonathan Wakely [Fri, 15 Jun 2018 23:47:33 +0000 (00:47 +0100)]
LWG 3076 basic_string CTAD ambiguity

When deduction guides are supported by the compiler (i.e. for C++17 and
later) replace two basic_string constructors by constrained function
templates as required by LWG 3075. In order to ensure that the pre-C++17
non-template constructors are still exported from the shared library
define a macro in src/c++11/string-inst.cc to force the non-template
declarations (this isn't strictly needed yet, because the string
instantiations are compiled with -std=gnu++11, but that is likely to
change).

LWG 3076 basic_string CTAD ambiguity
* doc/xml/manual/intro.xml: Document LWG 3076 change.
* include/bits/basic_string.h
[__cpp_deduction_guides && !_GLIBCXX_DEFINING_STRING_INSTANTIATIONS]
(basic_string(const _CharT*, const _Alloc&)): Turn into a function
template constrained by _RequireAllocator.
(basic_string(size_type, _CharT, const _Alloc&)): Likewise.
* src/c++11/string-inst.cc (_GLIBCXX_DEFINING_STRING_INSTANTIATIONS):
Define.
* testsuite/21_strings/basic_string/cons/char/deduction.cc: Test
deduction
* testsuite/21_strings/basic_string/cons/wchar_t/deduction.cc:
Likewise.

From-SVN: r261670

6 years agore PR c/86093 (volatile ignored on pointer in C)
Jakub Jelinek [Fri, 15 Jun 2018 20:53:54 +0000 (22:53 +0200)]
re PR c/86093 (volatile ignored on pointer in C)

PR c/86093
* c-typeck.c (pointer_diff): Cast both pointers to unqualified types
before doing POINTER_DIFF_EXPR.

* c-c++-common/pr86093.c: New test.

From-SVN: r261663

6 years agore PR middle-end/85878 (ICE in convert_mode_scalar, at expr.c:287)
Jakub Jelinek [Fri, 15 Jun 2018 20:36:38 +0000 (22:36 +0200)]
re PR middle-end/85878 (ICE in convert_mode_scalar, at expr.c:287)

PR middle-end/85878
* expr.c (expand_assignment): Remove now redundant COMPLEX_MODE_P
check from first store_expr, use to_mode instead of GET_MODE (to_rtx).
Only call store_expr for halves if the mode is the same.

* gfortran.fortran-torture/compile/pr85878.f90: New test.

From-SVN: r261659

6 years agopt.c (tsubst_default_argument): Use push_to/pop_from_top_level.
Jason Merrill [Fri, 15 Jun 2018 20:23:00 +0000 (16:23 -0400)]
pt.c (tsubst_default_argument): Use push_to/pop_from_top_level.

* pt.c (tsubst_default_argument): Use push_to/pop_from_top_level.

* name-lookup.c (do_pushtag): Don't look through complete types, but
don't add to them either.  Get context from current_binding_level.

From-SVN: r261656

6 years ago* decl.c (start_enum): Do compare dependent underlying type.
Jason Merrill [Fri, 15 Jun 2018 20:22:55 +0000 (16:22 -0400)]
* decl.c (start_enum): Do compare dependent underlying type.

From-SVN: r261655

6 years agoPR c++/82882 - ICE with lambda in template default argument.
Jason Merrill [Fri, 15 Jun 2018 20:22:44 +0000 (16:22 -0400)]
PR c++/82882 - ICE with lambda in template default argument.

* lambda.c (record_null_lambda_scope): New.
* pt.c (tsubst_lambda_expr): Use it.
* name-lookup.c (do_pushtag): Don't give a lambda DECL_CONTEXT of a
function that isn't open.

From-SVN: r261654

6 years ago* tree.c (maybe_warn_parm_abi): Inform the location of the class.
Jason Merrill [Fri, 15 Jun 2018 20:22:38 +0000 (16:22 -0400)]
* tree.c (maybe_warn_parm_abi): Inform the location of the class.

From-SVN: r261653

6 years agore PR middle-end/86123 (ICE in prepare_cmp_insn, at optabs.c:3967)
Jakub Jelinek [Fri, 15 Jun 2018 19:30:58 +0000 (21:30 +0200)]
re PR middle-end/86123 (ICE in prepare_cmp_insn, at optabs.c:3967)

PR middle-end/86123
* match.pd ((X / Y) == 0 -> X < Y): Don't transform complex divisions.
Fix up comment formatting.

* gcc.c-torture/compile/pr86123.c: New test.

From-SVN: r261647

6 years agotyped-splay-tree.h (typed_splay_tree::remove): New function.
Bernd Edlinger [Fri, 15 Jun 2018 19:17:19 +0000 (19:17 +0000)]
typed-splay-tree.h (typed_splay_tree::remove): New function.

2018-06-15  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        * typed-splay-tree.h (typed_splay_tree::remove): New function.
        (typed_splay_tree::closure,
        typed_splay_tree::inner_foreach_fn, typed_splay_tree::m_inner): Deleted.
        (typed_splay_tree::typed_splay_tree,
        typed_splay_tree::operator =): Declared private.
        (typed_splay_tree::splay_tree_key, typed_splay_tree::splay_tree_value,
        typed_splay_tree::splay_tree_node_s, typed_splay_tree::KDEL,
        typed_splay_tree::VDEL, typed_splay_tree::splay_tree_delete_helper,
        typed_splay_tree::rotate_left, typed_splay_tree::rotate_right,
        typed_splay_tree::splay_tree_splay,
        typed_splay_tree::splay_tree_foreach_helper,
        typed_splay_tree::splay_tree_insert,
        typed_splay_tree::splay_tree_remove,
        typed_splay_tree::splay_tree_lookup,
        typed_splay_tree::splay_tree_predecessor,
        typed_splay_tree::splay_tree_successor,
        typed_splay_tree::splay_tree_min,
        typed_splay_tree::splay_tree_max): Took over from splay-tree.c/.h.
        (typed_splay_tree::root, typed_splay_tree::comp,
        typed_splay_tree::delete_key,
        typed_splay_tree::delete_value): New data members.
        * typed-splay-tree.c (selftest::test_str_to_int): Add a test for
        typed_splay_tree::remove.

From-SVN: r261645

6 years ago[testsuite] Run dg-final.exp sequentially
Tom de Vries [Fri, 15 Jun 2018 18:51:07 +0000 (18:51 +0000)]
[testsuite] Run dg-final.exp sequentially

2018-06-15  Tom de Vries  <tdevries@suse.de>

* gcc.dg-selftests/dg-final.exp: Force sequential execution.

From-SVN: r261643

6 years agoPR libstdc++/86169 unshare COW string when non-const data() called
Jonathan Wakely [Fri, 15 Jun 2018 18:47:29 +0000 (19:47 +0100)]
PR libstdc++/86169 unshare COW string when non-const data() called

PR libstdc++/86169
* include/bits/basic_string.h [!_GLIBCXX_USE_CXX11_ABI]
(basic_string::data()): Unshare string.
* testsuite/21_strings/basic_string/operations/data/char/86169.cc:
New.

From-SVN: r261642

6 years agoDecorate string_view members with nonnull attribute
Jonathan Wakely [Fri, 15 Jun 2018 16:47:55 +0000 (17:47 +0100)]
Decorate string_view members with nonnull attribute

The C++ committee has confirmed that passing a null pointer to the
unary basic_string_view constructor is undefined. This removes the check
from our implementation, and adds the nonnull attribute to warn when the
compiler can detect undefined input.

* include/std/string_view (basic_string_view(const CharT*)): Remove
check for null pointer and add nonnull attribute.
(compare(const CharT*), compare(size_type, size_type, const CharT*))
(find(const CharT*, size_type), rfind(const CharT*, size_type))
(find_first_of(const CharT*, size_type))
(find_last_of(const CharT*, size_type))
(find_first_not_of(const CharT*, size_type))
(find_last_not_of(const CharT*, size_type)): Add nonnull attribute.
* testsuite/21_strings/basic_string_view/cons/char/nonnull.cc: New.
* testsuite/21_strings/basic_string_view/operations/compare/char/
nonnull.cc: New.
* testsuite/21_strings/basic_string_view/operations/find/char/
nonnull.cc: New.
* testsuite/21_strings/basic_string_view/operations/rfind/char/
nonnull.cc: New.

From-SVN: r261638

6 years agoPR libstdc++/86168 fix ambiguous default constructor
Jonathan Wakely [Fri, 15 Jun 2018 16:11:12 +0000 (17:11 +0100)]
PR libstdc++/86168 fix ambiguous default constructor

PR libstdc++/86168
* include/bits/random.h (random_device(const string&)): Remove
default argument.

From-SVN: r261636

6 years agoMIPS: Add support for -mcrc and -mginv options.
Matthew Fortune [Fri, 15 Jun 2018 15:50:25 +0000 (15:50 +0000)]
MIPS: Add support for -mcrc and -mginv options.

gcc/ChangeLog:

2018-06-15  Matthew Fortune  <matthew.fortune@mips.com>

* config/mips/mips.h (ASM_SPEC): Pass through -mcrc, -mno-crc,
-mginv and -mno-ginv to the assembler.
* config/mips/mips.opt (-mcrc): New option.
(-mginv): Likewise.
* doc/invoke.text (-mcrc): Document.
(-mginv): Likewise.

From-SVN: r261635

6 years agoOnly define __cpp_lib_constexpr_char_traits for C++17
Jonathan Wakely [Fri, 15 Jun 2018 15:47:56 +0000 (16:47 +0100)]
Only define __cpp_lib_constexpr_char_traits for C++17

* include/bits/char_traits.h (__cpp_lib_constexpr_char_traits): Only
define for C++17 and above.

From-SVN: r261634

6 years agoForce user provided warning and error messages to only occupy one line.
Nick Clifton [Fri, 15 Jun 2018 15:25:16 +0000 (15:25 +0000)]
Force user provided warning and error messages to only occupy one line.

  PR 84195
gcc:  * tree.c (escaped_string): New class.  Converts an unescaped
  string into its escaped equivalent.
  (warn_deprecated_use): Use the new class to convert the
  deprecation message, if present.
  (test_escaped_strings): New self test.
  (test_c_tests): Add test_escaped_strings.
  * doc/extend.texi (deprecated): Add a note that the
  deprecation message is affected by the -fmessage-length
  option, and that control characters will be escaped.
  (#pragma GCC error): Document this pragma.
  (#pragma GCC warning): Likewise.
  * doc/invoke.texi (-fmessage-length): Document this option's
  effect on the #warning and #error preprocessor directives and
  the deprecated attribute.

testsuite;
  * gcc.c-torture/compile/pr84195.c: New test.

From-SVN: r261633

6 years agoLWG 2993 reference_wrapper<T> conversion from T&&
Jonathan Wakely [Fri, 15 Jun 2018 14:19:47 +0000 (15:19 +0100)]
LWG 2993 reference_wrapper<T> conversion from T&&

* doc/xml/manual/intro.xml: Document LWG 2993 change.
* include/bits/refwrap.h (reference_wrapper(_Tp&)): Remove.
(reference_wrapper(_Tp&&)): Remove.
(reference_wrapper<_Up>(_Up&&)): Define new constructor as constrained
template.
(reference_wrapper): Add deduction guide.
* testsuite/20_util/reference_wrapper/deduction.cc: New.
* testsuite/20_util/reference_wrapper/lwg2993.cc: New.

From-SVN: r261632

6 years agotree-vect-slp.c (vect_slp_bb): Dump MSG_OPTIMIZED_LOCATIONS here, also noting vector...
Richard Biener [Fri, 15 Jun 2018 12:41:46 +0000 (12:41 +0000)]
tree-vect-slp.c (vect_slp_bb): Dump MSG_OPTIMIZED_LOCATIONS here, also noting vector size used.

2018-06-15  Richard Biener  <rguenther@suse.de>

* tree-vect-slp.c (vect_slp_bb): Dump MSG_OPTIMIZED_LOCATIONS
here, also noting vector size used.
* tree-vectorizer.c (vectorize_loops): Adjust.  Note vector
size used in MSG_OPTIMIZED_LOCATIONS dump.
(pass_slp_vectorize::execute): Adjust.

From-SVN: r261626

6 years ago[ARC] Fix warning in arc_return_address_register.
Claudiu Zissulescu [Fri, 15 Jun 2018 11:22:10 +0000 (13:22 +0200)]
[ARC] Fix warning in arc_return_address_register.

The if condition in arc_return_address_register which selects the arc
return address is not correct. The issue is signalized in bugzilla 85968.

gcc/
2018-06-15  Claudiu Zissulescu  <claziss@synopsys.com>

* config/arc/arc.c (arc_return_address_register): Fix if-condition.

From-SVN: r261623

6 years agore PR tree-optimization/86159 (g++ ICE at -O1 and above on valid code: incorrect...
Richard Biener [Fri, 15 Jun 2018 11:08:30 +0000 (11:08 +0000)]
re PR tree-optimization/86159 (g++ ICE at -O1 and above on valid code: incorrect type of vector CONSTRUCTOR elements)

2018-06-15  Richard Biener  <rguenther@suse.de>

PR middle-end/86159
* tree-cfg.c (gimplify_build3): Do not strip sign conversions,
leave useless conversion stripping to force_gimple_operand_gsi.
(gimplify_build2): Likewise.
(gimplify_build1): Likewise.

* g++.dg/pr86159.C: New testcase.

From-SVN: r261622

6 years agore PR tree-optimization/86076 (ICE: verify_gimple failed (error: location references...
Richard Biener [Fri, 15 Jun 2018 07:25:13 +0000 (07:25 +0000)]
re PR tree-optimization/86076 (ICE: verify_gimple failed (error: location references block not in block tree))

2018-06-15  Richard Biener  <rguenther@suse.de>

PR middle-end/86076
* tree-cfg.c (move_stmt_op): unshare invariant addresses
before adjusting their block.

* gcc.dg/pr86076.c: New testcase.

From-SVN: r261620

6 years agoRISC-V: Add custom RTEMS multilibs
Sebastian Huber [Fri, 15 Jun 2018 05:19:44 +0000 (05:19 +0000)]
RISC-V: Add custom RTEMS multilibs

Add multilib variants for -march=rv64imafd, e.g. to support the BOOMv2 core.

Add -mcmodel=medany as a variant of the 64-bit multilibs for RTEMS.  The
rationale for this change is that several existing RISC-V chips map the
RAM at 0x80000000.  In RTEMS, we do not use virtual memory, so
applications will run at this location which is outside the +-2GiB range
in a 64-bit configuration.

gcc/
* config.gcc (riscv*-*-elf* | riscv*-*-rtems*): Use custom
multilibs for *-*-rtems*.
* config/riscv/t-rtems: New file.

From-SVN: r261619

6 years agoLWG 3039 Unnecessary decay in thread and packaged_task
Jonathan Wakely [Fri, 15 Jun 2018 00:19:07 +0000 (01:19 +0100)]
LWG 3039 Unnecessary decay in thread and packaged_task

* include/std/future (__constrain_pkgdtask): Replace with ...
(packaged_task::__not_same): New alias template, using
__remove_cvref_t instead of decay.
* include/std/thread (thread::__not_same): Add comment.

From-SVN: r261618

6 years agoDaily bump.
GCC Administrator [Fri, 15 Jun 2018 00:16:45 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r261617

6 years agore PR c++/86063 (g++ ICE at tree check: expected tree_list, have expr_pack_expansion...
Marek Polacek [Thu, 14 Jun 2018 21:07:14 +0000 (21:07 +0000)]
re PR c++/86063 (g++ ICE at  tree check: expected tree_list, have expr_pack_expansion in cp_check_const_attributes, at cp/decl2.c:1391)

PR c++/86063
* decl2.c (cp_check_const_attributes): Skip trees that are not
TREE_LISTs.

* g++.dg/cpp0x/gen-attrs-65.C: New test.

From-SVN: r261613

6 years agoLWG 3075 basic_string needs deduction guides from basic_string_view
Jonathan Wakely [Thu, 14 Jun 2018 20:27:04 +0000 (21:27 +0100)]
LWG 3075 basic_string needs deduction guides from basic_string_view

* testsuite/21_strings/basic_string/cons/char/deduction.cc: Test
deduction from string views.
* testsuite/21_strings/basic_string/cons/wchar_t/deduction.cc:
Likewise.

From-SVN: r261612

6 years agoLWG 3074 make scalar types non-deduced in valarray non-member functions
Jonathan Wakely [Thu, 14 Jun 2018 19:36:54 +0000 (20:36 +0100)]
LWG 3074 make scalar types non-deduced in valarray non-member functions

* include/bits/valarray_after.h (_DEFINE_EXPR_BINARY_FUNCTION): Change
scalar parameters to be a non-deduced context.
* include/std/valarray (_DEFINE_BINARY_OPERATOR): Likewise. Adjust
whitespace.
* testsuite/26_numerics/valarray/operators.cc: Test scalar operands.
* testsuite/26_numerics/valarray/transcend.cc: New.

From-SVN: r261610

6 years agore PR target/86048 (.seh_savexmm offset is negative error when compiling libpng)
Jakub Jelinek [Thu, 14 Jun 2018 19:16:14 +0000 (21:16 +0200)]
re PR target/86048 (.seh_savexmm offset is negative error when compiling libpng)

PR target/86048
* gcc.target/i386/pr86048.c: Require sse2 effective target.  Add
-msse2 to dg-options.

From-SVN: r261608

6 years agore PR middle-end/86122 (ICE in useless_type_conversion_p, at gimple-expr.c:87)
Jakub Jelinek [Thu, 14 Jun 2018 19:07:45 +0000 (21:07 +0200)]
re PR middle-end/86122 (ICE in useless_type_conversion_p, at gimple-expr.c:87)

PR middle-end/86122
* match.pd ((A +- CST1) +- CST2): Punt if last resort
unsigned_type_for returns NULL.

* gcc.c-torture/compile/pr86122.c: New test.

From-SVN: r261606

6 years agoP0624R2 - Default constructible and assignable stateless lambdas
Jakub Jelinek [Thu, 14 Jun 2018 19:05:13 +0000 (21:05 +0200)]
P0624R2 - Default constructible and assignable stateless lambdas

P0624R2 - Default constructible and assignable stateless lambdas
* method.c (synthesized_method_walk): For C++2a don't mark
sfk_constructor or sfk_copy_assignment as deleted if lambda has
no lambda-captures.

* g++.dg/cpp2a/lambda1.C: New test.
* g++.dg/cpp0x/lambda/lambda-ice2.C: Adjust expected diagnostics
for -std=c++2a.

From-SVN: r261605

6 years agoPartially revert move of std::tuple_element_t to <tuple>
Jonathan Wakely [Thu, 14 Jun 2018 19:02:40 +0000 (20:02 +0100)]
Partially revert move of std::tuple_element_t to <tuple>

Defining std::tuple_element_t in <utility> makes it available wherever
std::tuple_element is available.

* include/std/tuple (__cpp_lib_tuple_element_t, tuple_element_t):
Move back to <utility>.
* include/std/utility (__cpp_lib_tuple_element_t. tuple_element_t):
Restore to here.

From-SVN: r261604

6 years agodecl.c (duplicate_decls): Use DECL_SOURCE_LOCATION in OPT_Wshadow warning_at.
Paolo Carlini [Thu, 14 Jun 2018 17:49:21 +0000 (17:49 +0000)]
decl.c (duplicate_decls): Use DECL_SOURCE_LOCATION in OPT_Wshadow warning_at.

/cp
2018-06-14  Paolo Carlini  <paolo.carlini@oracle.com>

* decl.c (duplicate_decls): Use DECL_SOURCE_LOCATION in
OPT_Wshadow warning_at.
(grokfndecl): Consistently use the location_t argument in
literal operator diagnostic messages.
(grokdeclarator): Use declspecs->locations[ds_storage_class]
in error_at call.
* decl2.c (finish_static_data_member_decl): Use DECL_SOURCE_LOCATION
in permerror call.

/testsuite
2018-06-14  Paolo Carlini  <paolo.carlini@oracle.com>

* g++.dg/other/static3.C: New.
* g++.dg/other/static4.C: Likewise.
* g++.dg/warn/Wshadow-15.C: Likewise.
* g++.dg/cpp0x/gnu_fext-numeric-literals.C: Test locations too.
* g++.dg/cpp0x/std_fext-numeric-literals.C: Likewise.
* g++.dg/cpp0x/std_fno-ext-numeric-literals.C: Likewise.
* g++.dg/cpp0x/udlit-args-neg.C: Likewise.
* g++.dg/cpp0x/udlit-clink-neg.C: Likewise.
* g++.dg/cpp0x/udlit-extern-c.C: Likewise.
* g++.dg/cpp0x/udlit-member-neg.C: Likewise.

From-SVN: r261601

6 years agoP0935R0 Eradicating unnecessarily explicit default constructors
Jonathan Wakely [Thu, 14 Jun 2018 14:12:24 +0000 (15:12 +0100)]
P0935R0 Eradicating unnecessarily explicit default constructors

More pieces of P0935R0, making default constructors non-explicit.

* include/backward/strstream (strstreambuf): Add non-explicit default
constructor.
* include/bits/locale_conv.h (wbuffer_convert, wstring_convert):
Likewise.
* include/bits/regex.h (match_results): Likewise.
* testsuite/22_locale/conversions/buffer/1.cc: Test for non-explicit
default constructor.
* testsuite/22_locale/conversions/string/1.cc: Likewise.
* testsuite/28_regex/match_results/ctors/char/default.cc: Likewise.
* testsuite/28_regex/match_results/ctors/wchar_t/default.cc: Likewise.

From-SVN: r261597

6 years agoDefine __cpp_lib_tuple_element_t in <tuple> not <utility>
Jonathan Wakely [Thu, 14 Jun 2018 14:01:29 +0000 (15:01 +0100)]
Define __cpp_lib_tuple_element_t in <tuple> not <utility>

* include/std/tuple (__cpp_lib_tuple_element_t): Move feature test
macro from <utility> and change type to long.
* include/std/utility (__cpp_lib_tuple_element_t): Remove.
* testsuite/20_util/tuple/tuple_element_t.cc: Check for feature test
macro.

From-SVN: r261596

6 years agore PR target/85945 (ICE in resolve_subreg_use, at lower-subreg.c:751)
Jakub Jelinek [Thu, 14 Jun 2018 13:35:06 +0000 (15:35 +0200)]
re PR target/85945 (ICE in resolve_subreg_use, at lower-subreg.c:751)

PR target/85945
* lower-subreg.c (find_decomposable_subregs): Don't decompose float
subregs of multi-word pseudos unless the float mode has word size.

* gcc.c-torture/compile/pr85945.c: New test.

From-SVN: r261593

6 years agoP0935R0 Eradicating unnecessarily explicit default constructors
Jonathan Wakely [Thu, 14 Jun 2018 13:32:53 +0000 (14:32 +0100)]
P0935R0 Eradicating unnecessarily explicit default constructors

The param_type constructors of each random number distribution should
mirror the constructors of the distribution itself, so make the same
changes w.r.t explicit on default constructors.

* include/bits/random.h (uniform_real_distribution::param_type)
(normal_distribution::param_type, lognormal_distribution::param_type)
(gamma_distribution::param_type, chi_squared_distribution::param_type)
(cauchy_distribution::param_type, fisher_f_distribution::param_type)
(student_t_distribution::param_type)
(bernoulli_distribution::param_type)
(binomial_distribution::param_type)
(geometric_distribution::param_type)
(negative_binomial_distribution::param_type)
(poisson_distribution::param_type)
(exponential_distribution::param_type)
(weibull_distribution::param_type)
(extreme_value_distribution::param_type): Add non-explicit default
constructors. Remove default argument for first parameter of explicit
constructors.
* include/bits/uniform_int_dist.h
(uniform_int_distribution::param_type): Likewise.
* include/ext/random
(beta_distribution::param_type, rice_distribution::param_type)
(nakagami_distribution::param_type, pareto_distribution::param_type)
(k_distribution::param_type, arcsine_distribution::param_type)
(hoyt_distribution::param_type, triangular_distribution::param_type)
(von_mises_distribution::param_type)
(hypergeometric_distribution::param_type)
(logistic_distribution::param_type)
(uniform_inside_sphere_distribution::param_type): Likewise.
(uniform_on_sphere_distribution::param_type): Make default constructor
non-explicit.
* testsuite/26_numerics/random/bernoulli_distribution/cons/default.cc:
Test param_type for non-explicit default constructor.
* testsuite/26_numerics/random/binomial_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/cauchy_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/chi_squared_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/discrete_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/exponential_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/extreme_value_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/fisher_f_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/gamma_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/geometric_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/lognormal_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/negative_binomial_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/normal_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/piecewise_constant_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/piecewise_linear_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/poisson_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/student_t_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/uniform_int_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/uniform_real_distribution/cons/default.cc:
Likewise.
* testsuite/26_numerics/random/weibull_distribution/cons/default.cc:
Likewise.
* testsuite/ext/random/arcsine_distribution/cons/default.cc: Likewise.
* testsuite/ext/random/beta_distribution/cons/default.cc: Likewise.
* testsuite/ext/random/hoyt_distribution/cons/default.cc: Likewise.
* testsuite/ext/random/hypergeometric_distribution/cons/default.cc:
Likewise.
* testsuite/ext/random/k_distribution/cons/default.cc: Likewise.
* testsuite/ext/random/logistic_distribution/cons/default.cc: Likewise.
* testsuite/ext/random/nakagami_distribution/cons/default.cc: Likewise.
* testsuite/ext/random/normal_mv_distribution/cons/default.cc:
Likewise.
* testsuite/ext/random/pareto_distribution/cons/default.cc: Likewise.
* testsuite/ext/random/rice_distribution/cons/default.cc: Likewise.
* testsuite/ext/random/triangular_distribution/cons/default.cc:
Likewise.
* testsuite/ext/random/uniform_inside_sphere_distribution/cons/default.cc:
Likewise.
* testsuite/ext/random/uniform_on_sphere_distribution/cons/default.cc:
Likewise.
* testsuite/ext/random/von_mises_distribution/cons/default.cc:
Likewise.

From-SVN: r261592

6 years agoFix errors in libstdc++-v3/ChangeLog entries.
Jonathan Wakely [Thu, 14 Jun 2018 10:59:14 +0000 (11:59 +0100)]
Fix errors in libstdc++-v3/ChangeLog entries.

From-SVN: r261589

6 years agore PR target/86139 (ICE in in store_constructor, at expr.c:6849 on arm-linux-gnueabihf)
Richard Biener [Thu, 14 Jun 2018 10:55:31 +0000 (10:55 +0000)]
re PR target/86139 (ICE in in store_constructor, at expr.c:6849 on arm-linux-gnueabihf)

2018-06-14  Richard Biener  <rguenther@suse.de>

PR middle-end/86139
* tree-vect-generic.c (build_word_mode_vector_type): Remove
duplicate and harmful type_hash_canon.
* tree.c (type_hash_canon): Assert we didn't find ourselves.

From-SVN: r261588

6 years agore PR ipa/86124 (ICE in create_variable_info_for, at tree-ssa-structalias.c:6123)
Richard Biener [Thu, 14 Jun 2018 10:55:00 +0000 (10:55 +0000)]
re PR ipa/86124 (ICE in create_variable_info_for, at tree-ssa-structalias.c:6123)

2018-06-14  Richard Biener  <rguenther@suse.de>

PR ipa/86124
* tree-ssa-struct-alias.c (create_variable_info_for): Handle
NULL cgraph_node.

* gcc.dg/pr86124.c: New testcase.

From-SVN: r261587

6 years agoPR libstdc++/83982 fix exception-safety guarantee of std::vector::resize
Daniel Trebbien [Thu, 14 Jun 2018 09:26:51 +0000 (09:26 +0000)]
PR libstdc++/83982 fix exception-safety guarantee of std::vector::resize

Construct new elements before moving existing ones, so that if a default
constructor throws, the existing elements are not left in a moved-from
state.

2018-06-14  Daniel Trebbien <dtrebbien@gmail.com>
    Jonathan Wakely  <jwakely@redhat.com>

PR libstdc++/83982
* include/bits/vector.tcc (vector::_M_default_append(size_type)):
Default-construct new elements before moving existing ones.
* testsuite/23_containers/vector/capacity/resize/strong_guarantee.cc:
New.

Co-Authored-By: Jonathan Wakely <jwakely@redhat.com>
From-SVN: r261585

6 years agoRTEMS: Prefer int for int32_t
Sebastian Huber [Thu, 14 Jun 2018 05:10:51 +0000 (05:10 +0000)]
RTEMS: Prefer int for int32_t

Common systems like glibc and FreeBSD define int32_t to int.  This means
a lot of third party code works well in these cases:

  #include <stdint.h>

  void f(int32_t);

  void f(int);

  void g(int32_t *);

  void h(void)
  {
    int i;
    g(&i);
  }

On RTEMS you got however in C

  test.c:5:6: error: conflicting types for 'f'
    void f(int);
        ^
  test.c:3:6: note: previous declaration of 'f' was here
    void f(int32_t);
        ^
  test.c: In function 'h':
  test.c:12:4: warning: passing argument 1 of 'g' from incompatible
  pointer type [-Wincompatible-pointer-types]
    g(&i);
      ^
  test.c:7:6: note: expected 'int32_t * {aka long int *}' but argument
  is of type 'int *' void g(int32_t *);

and C++

  test.c: In function 'void h()':
  test.c:12:4: error: invalid conversion from 'int*' to 'int32_t* {aka
  long int*}' [-fpermissive]
    g(&i);
      ^~
  test.c:7:6: note:   initializing argument 1 of 'void g(int32_t*)'
    void g(int32_t *);
      ^

This was due to a Newlib speciality which uses long for int32_t if long
is a 32-bit type.  To ease the use of third party software in RTEMS we
override this Newlib option now and use int for int32_t if int is a
32-bit type.

gcc/
* config/rtems.h (STDINT_LONG32): Define.

From-SVN: r261582

6 years agoDaily bump.
GCC Administrator [Thu, 14 Jun 2018 00:16:19 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r261580

6 years agoPR c++/86099 - ICE with trivial copy and non-trivial default ctor.
Jason Merrill [Thu, 14 Jun 2018 00:02:42 +0000 (20:02 -0400)]
PR c++/86099 - ICE with trivial copy and non-trivial default ctor.

* constexpr.c (instantiate_cx_fn_r): Don't synthesize trivial
constructors.

From-SVN: r261576

6 years agoc-opts.c (c_common_post_options): Warn about useless -Wabi.
Jason Merrill [Wed, 13 Jun 2018 21:05:34 +0000 (17:05 -0400)]
c-opts.c (c_common_post_options): Warn about useless -Wabi.

* c-opts.c (c_common_post_options): Warn about useless -Wabi.

(c_common_handle_option) [OPT_Wabi_]: Remove flag_abi_compat_version
handling.

From-SVN: r261571

6 years agoMIPS: Add support for P6600.
Matthew Fortune [Wed, 13 Jun 2018 20:40:28 +0000 (20:40 +0000)]
MIPS: Add support for P6600.

gcc/ChangeLog:

2018-06-13  Matthew Fortune  <matthew.fortune@mips.com>
            Prachi Godbole  <prachi.godbole@imgtec.com>

* config/mips/mips-cpus.def: Define P6600.
* config/mips/mips-tables.opt: Regenerate.
* config/mips/mips.c (mips_ucbranch_type): New enum.
(mips_rtx_cost_data): Add support for P6600.
(mips_issue_rate): Likewise.
(mips_multipass_dfa_lookahead): Likewise.
(mips_avoid_hazard): Likewise.
(mips_reorg_process_insns): Likewise.
(mips_classify_branch_p6600): New function.
* config/mips/mips.h (TUNE_P6600): New define.
(MIPS_ISA_LEVEL_SPEC): Infer mips64r6 from p6600.
(ENABLE_LD_ST_PAIRS): Enable load/store bonding for p6600.
* config/mips/mips.md: Include p6600.md.
(processor): Add p6600.
* config/mips/p6600.md: New file.
* doc/invoke.texi: Add p6600 to supported architectures.

Co-Authored-By: Prachi Godbole <prachi.godbole@imgtec.com>
From-SVN: r261570

6 years agocompiler: avoid introducing redundant write barriers
Ian Lance Taylor [Wed, 13 Jun 2018 20:32:10 +0000 (20:32 +0000)]
compiler: avoid introducing redundant write barriers

    The traversal used by the write barrier insertion phase can sometimes
    wind up visiting new statements inserted during the traversal, which
    then results in duplicate / redundant write barrier guards. Example
    program to reproduce:

      package small
      type S struct {
            N *S
            K int
      }
      var G *S = &S{N: nil, K: 101}

    This patch changes the traversal code to keep track of statements
    already added and avoid processing them again later in the traversal.

    Fixes golang/go#25867

    Reviewed-on: https://go-review.googlesource.com/118637

From-SVN: r261568

6 years agoPR tree-optimization/86114 - ICE in gimple_fold_builtin_strlen with an invalid call...
Martin Sebor [Wed, 13 Jun 2018 20:29:04 +0000 (20:29 +0000)]
PR tree-optimization/86114 - ICE in gimple_fold_builtin_strlen with an invalid call to strnlen

gcc/testsuite/ChangeLog:

PR tree-optimization/86114
* gcc.dg/pr86114.c: New test.

gcc/ChangeLog:

PR tree-optimization/86114
* gimple-fold.c (gimple_fold_builtin_strlen): Only handle LHS
of integer types.
* tree-ssa-strlen.c (maybe_set_strlen_range): Same.

From-SVN: r261567

6 years ago2018-06-13 François Dumont <fdumont@gcc.gnu.org>
François Dumont [Wed, 13 Jun 2018 20:27:26 +0000 (20:27 +0000)]
2018-06-13  François Dumont  <fdumont@gcc.gnu.org>

* include/debug/helper_functions.h
(__gnu_debug::_Safe_iterator<>): Add declaration.
(__can_advance(_Ite, _Size)): New.
(__can_advance(const _Safe_iterator<>&, _Size)): Overload declaration.
* include/debug/functions.h
(__gnu_debug::_Safe_iterator<>): Remove declaration.
* include/debug/stl_iterator.h
(__can_advance(const _Safe_iterator<>&)): New definition.
* include/debug/stl_iterator.h
(__can_advance(const std::reverse_iterator<>&, _Size)): New.
(__can_advance(const std::move_iterator<>&, _Size)): New.
* include/debug/macros.h (__glibcxx_check_can_increment): New.
* include/debug/debug.h (__glibcxx_requires_can_increment): New.
* include/bits/stl_algobase.h (fill_n): Use latter.
* testsuite/25_algorithms/fill_n/2.cc: New.
* testsuite/25_algorithms/fill_n/debug/1_neg.cc: New.
* testsuite/25_algorithms/fill_n/debug/2_neg.cc: New.
* testsuite/25_algorithms/fill_n/debug/3_neg.cc: New.
* testsuite/25_algorithms/fill_n/debug/4_neg.cc: New.

From-SVN: r261566

6 years agore PR sanitizer/86090 ([ASAN] ASAN does not properly configure libbacktrace.)
Denis Khalikov [Wed, 13 Jun 2018 19:51:42 +0000 (19:51 +0000)]
re PR sanitizer/86090 ([ASAN] ASAN does not properly configure libbacktrace.)

2018-06-13  Denis Khalikov  <d.khalikov@partner.samsung.com>

libsanitizer/

PR sanitizer/86090
* configure.ac: Check for lstat and readlink.
* configure, config.h.in: Rebuild.

From-SVN: r261564

6 years agoPR c++/86094 - wrong code with defaulted move ctor.
Jason Merrill [Wed, 13 Jun 2018 19:39:36 +0000 (15:39 -0400)]
PR c++/86094 - wrong code with defaulted move ctor.

gcc/c-family/
* c-opts.c (c_common_post_options): Bump the current ABI version to
13.  Set warn_abi_version and flag_abi_compat_version to the current
version rather than 0.  Fix defaulting flag_abi_compat_version from
warn_abi_version.
gcc/cp/
* class.c (classtype_has_non_deleted_move_ctor): New.
* tree.c (maybe_warn_parm_abi, type_has_nontrivial_copy_init):
Handle v12 breakage.

From-SVN: r261562

6 years agore PR fortran/86110 (ICE in gfc_resolve_character_array_constructor, at fortran/array...
Steven G. Kargl [Wed, 13 Jun 2018 19:37:50 +0000 (19:37 +0000)]
re PR fortran/86110 (ICE in gfc_resolve_character_array_constructor, at fortran/array.c:2044)

2018-06-13  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/86110
* array.c (gfc_resolve_character_array_constructor): Avoid NULL
pointer dereference.

2018-06-13  Steven G. Kargl  <kargl@gcc.gnu.org>

PR fortran/86110
* gfortran.dg/pr86110.f90: New test.

From-SVN: r261561

6 years agocompiler: include global variable preinit blocks in ast dumps
Ian Lance Taylor [Wed, 13 Jun 2018 17:24:45 +0000 (17:24 +0000)]
compiler: include global variable preinit blocks in ast dumps

    Dump out the blocks corresponding to variable pre-inits when
    -fgo-dump-ast is in effect. Each preinit block is prefixed with a
    comment indicating the variable it is initializing.

    Reviewed-on: https://go-review.googlesource.com/118636

From-SVN: r261555

6 years agoPR libstdc++/86127 avoid unnecessary allocator conversions
Jonathan Wakely [Wed, 13 Jun 2018 15:14:48 +0000 (16:14 +0100)]
PR libstdc++/86127 avoid unnecessary allocator conversions

There is no need to use an allocator of the correct value_type when
calling allocator_traits::construct and allocator_traits::destroy. The
existing node allocator can be used, instead of constructing a new
allocator object every time.

There's also no benefit to using __gnu_cxx::__alloc_traits instead of
std::allocator_traits to get the pointer and const_pointer types.
std::forward_list is only available for C++11 and later, when
std::allocator_traits is available too.

PR libstdc++/86127
* include/bits/forward_list.h (_Fwd_list_base::_Tp_alloc_type): Remove
unused typedef.
(_Fwd_list_base::_Node_alloc_traits): Use allocator_traits instead of
__gnu_cxx::__alloc_traits.
(_Fwd_list_base::_M_create_node, _Fwd_list_base::_M_erase_after):
Use node allocator to create and destroy elements.
(forward_list::_Tp_alloc_type): Remove unused typedef.
(forward_list::_Alloc_traits): Use allocator_traits instead of
__gnu_cxx::__alloc_traits.

From-SVN: r261554

6 years agotree-vect-patterns.c (vect_recog_vector_vector_shift_pattern): Properly set vector...
Richard Biener [Wed, 13 Jun 2018 15:03:50 +0000 (15:03 +0000)]
tree-vect-patterns.c (vect_recog_vector_vector_shift_pattern): Properly set vector type of the intermediate stmt.

2018-06-13  Richard Biener  <rguenther@suse.de>

* tree-vect-patterns.c (vect_recog_vector_vector_shift_pattern):
Properly set vector type of the intermediate stmt.
* tree-vect-stmts.c (vectorizable_operation): The destination
var always has vectype_out type.

From-SVN: r261553

6 years agorl78.c (move_elim_pass): Use TDF_NONE rather than integer 0 for argument to print_rtl...
Jeff Law [Wed, 13 Jun 2018 14:45:52 +0000 (08:45 -0600)]
rl78.c (move_elim_pass): Use TDF_NONE rather than integer 0 for argument to print_rtl_with_bb.

        * config/rl78/rl78.c (move_elim_pass): Use TDF_NONE rather than
        integer 0 for argument to print_rtl_with_bb.
        (rl78_reorg): Likewise.

From-SVN: r261552

6 years agore PR fortran/85703 ([openacc] ICE in resolve_fntype, at fortran/resolve.c:16313)
Cesar Philippidis [Wed, 13 Jun 2018 14:31:17 +0000 (07:31 -0700)]
re PR fortran/85703 ([openacc] ICE in resolve_fntype, at fortran/resolve.c:16313)

PR fortran/85703

gcc/fortran/
* parse.c (decode_oacc_directive): Set gfc_matching_function
to false.
(decode_omp_directive): Likewise.

gcc/testsuite/
* gfortran.dg/goacc/pr85703.f90: New test.
* gfortran.dg/gomp/pr85703.f90: New test.

From-SVN: r261551

6 years agore PR fortran/85702 ([openacc] ICE in gfc_format_decoder, at fortran/error.c:943)
Cesar Philippidis [Wed, 13 Jun 2018 14:29:04 +0000 (07:29 -0700)]
re PR fortran/85702 ([openacc] ICE in gfc_format_decoder, at fortran/error.c:943)

PR fortran/85702

gcc/fortran/
* openmp.c (gfc_match_oacc_wait): Use %C to report error location.

gcc/testsuite/
* gfortran.dg/goacc/pr85702.f90: New test.

From-SVN: r261550

6 years agolibgo: update to Go 1.10.3 release
Ian Lance Taylor [Wed, 13 Jun 2018 13:51:23 +0000 (13:51 +0000)]
libgo: update to Go 1.10.3 release

    Reviewed-on: https://go-review.googlesource.com/118495

From-SVN: r261549

6 years agoemit-rtl.c: more typesafety
David Malcolm [Wed, 13 Jun 2018 13:43:32 +0000 (13:43 +0000)]
emit-rtl.c: more typesafety

This patch converts various rtx to rtx_insn * (or rtx_code_label *).
It also convert the various "_loc" params from int to location_t

gcc/ChangeLog:
* config/arc/arc.c (hwloop_optimize): Strengthen local "end_label"
from rtx to rtx_insn *.
* config/bfin/bfin.c (hwloop_optimize): Likewise for local
"label".
(add_sched_insns_for_speculation): Likewise for local "target",
converting usage of JUMP_LABEL to JUMP_LABEL_AS_INSN.
* config/c6x/c6x.c (reorg_split_calls): Strengthen param "call_labels"
from rtx_insn ** to rtx_code_label **.
(reorg_emit_nops): Likewise.
(c6x_reorg): Likewise for local "call_labels".
* config/sh/sh-protos.h (get_dest_uid): Strengthen 1st param from
rtx to rtx_insn *.
* config/sh/sh.c (dump_table): Strengthen local "lab" from rtx to
rtx_code_label *, adding safe_as_a <rtx_code_label *> casts to
the loops over LABEL_REFS.
(fixup_addr_diff_vecs): Add as_a <rtx_insn *> to usage of
braf_label.
(barrier_align): Convert usage of JUMP_LABEL to JUMP_LABEL_AS_INSN.
(get_dest_uid): Strengthen param "label" from rtx to rtx_insn *.
(split_branches): Strengthen local "olabel" from rtx to
rtx_insn *, adding a safe_as_a cast.
* emit-rtl.c (next_real_insn): Strengthen param from "rtx"
to "rtx_insn *".
(add_insn_after): Likewise for first two params.
(add_insn_before): Likewise.
(remove_insn): Likewise for param.
(emit_pattern_before_noloc): Likewise for second and third params.
(emit_jump_insn_before_noloc): Convert NULL_RTX to NULL.
(emit_call_insn_before_noloc): Likewise.
(emit_debug_insn_before_noloc): Strengthen "before" param from "rtx"
to "rtx_insn *".
(emit_barrier_before): Likewise.
(emit_label_before): Strengthen "label" param from "rtx" to
"rtx_code_label *".  Strengthen "before" param from "rtx" to
"rtx_insn *".
(emit_insn_after_1): Strengthen "after" param from "rtx" to
"rtx_insn *".
(emit_pattern_after_noloc): Likewise.
(emit_insn_after_noloc): Likewise.
(emit_jump_insn_after_noloc): Likewise.
(emit_call_insn_after_noloc): Likewise.
(emit_debug_insn_after_noloc): Likewise.
(emit_barrier_after): Likewise.
(emit_label_after): Likewise for both params.
(emit_pattern_after_setloc): Likewise for "after" param.  Convert
"loc" param from "int" to "location_t".
(emit_insn_after_setloc): Likewise.
(emit_jump_insn_after_setloc): Likewise.
(emit_call_insn_after_setloc): Likewise.
(emit_debug_insn_after_setloc): Likewise.
(emit_pattern_before_setloc): Likewise for "before" param.  Convert
"loc" param from "int" to "location_t".
(emit_pattern_before): Convert NULL_RTX to NULL.
(emit_insn_before_setloc): Convert "loc" param from "int" to
"location_t".
(emit_jump_insn_before_setloc): Likewise.
(emit_call_insn_before_setloc): Likewise.
(emit_debug_insn_before_setloc): Strengthen "before" param from rtx to
rtx_insn *.  Convert "loc" param from "int" to "location_t".
* rtl.h (emit_insn_before_setloc, emit_jump_insn_before_setloc,
emit_call_insn_before_setloc, emit_debug_insn_before_setloc):
Convert 3rd param from "int" to "location_t".
(emit_barrier_before, emit_barrier_after, next_real_insn):
Strengthen param from rtx to rtx_insn *.
(emit_label_before): Strengthen 1st param from "rtx" to
"rtx_code_label *".  Strengthen 2nd param from "rtx" to
"rtx_insn *".
(emit_insn_after_noloc, emit_jump_insn_after_noloc,
emit_call_insn_after_noloc, emit_debug_insn_after_noloc):
Strengthen 2nd param from "rtx" to "rtx_insn *".
(emit_insn_after_setloc, emit_jump_insn_after_setloc)
emit_call_insn_after_setloc, emit_debug_insn_after_setloc):
Likewise. Convert 3rd param from "int" to "location_t".
(emit_label_after): Strengthen 1st param from "rtx" to
"rtx_code_label *".
(next_real_insn, remove_insn): Strengthen param from "rtx" to
"rtx_insn *".
(add_insn_before, add_insn_after): Strengthen 1st and 2nd params
from "rtx" to "rtx_insn *".

From-SVN: r261547

6 years agocgraph.c (cgraph_node::get_untransformed_body): Dump function bodies streamed in...
Jan Hubicka [Wed, 13 Jun 2018 12:52:29 +0000 (12:52 +0000)]
cgraph.c (cgraph_node::get_untransformed_body): Dump function bodies streamed in with -Q.

* cgraph.c (cgraph_node::get_untransformed_body): Dump function
bodies streamed in with -Q.
* dumpfile.c (dump_files): Add lto-stream-out dump file.
* dumpfile.h (tree_dump_index): Add lto_stream_out.
* gimple-streamer-out.c: Include gimple-pretty-print.h
(output_bb): Dump stmts streamed.
* lto-section-out.c: Include print-tree.h
(lto_begin_section): Dump sections created.
(lto_output_decl_index): Dump decl encoded.
* lto-streamer-out.c: Include print-tree.h
(create_output_block): Dump output block created.
(DFS::DFS_write_tree_body): Dump DFS SCCs streamed.
(output_function): Dump function output.
(output_constructor): Dump constructor streamed.
(write_global_stream): Output indexes encoded.
(produce_asm_for_decls): Dump streams encoded.
* lto-streamer.c (streamer_dump_file): New global var.
* lto-streamer.h (streamer_dump_file): Declare.
* passes.c (ipa_write_summaries): Initialize streamer dump.
* varpool.c (varpool_node::get_constructor): Dump constructors streamed
in.

From-SVN: r261546

6 years agore PR target/86048 (.seh_savexmm offset is negative error when compiling libpng)
Eric Botcazou [Wed, 13 Jun 2018 11:20:23 +0000 (11:20 +0000)]
re PR target/86048 (.seh_savexmm offset is negative error when compiling libpng)

PR target/86048
* config/i386/winnt.c (i386_pe_seh_cold_init): Do not emit negative
offsets for register save directives.  Emit a second batch of save
directives, if need be, when the function accesses prior frames.

From-SVN: r261544

6 years ago[ARC] Update fma expansions.
Claudiu Zissulescu [Wed, 13 Jun 2018 08:54:09 +0000 (10:54 +0200)]
[ARC] Update fma expansions.

Accept at most a single constant for fma patterns.

gcc/
2018-03-21  Claudiu Zissulescu  <claziss@synopsys.com>

* config/arc/fpu.md (fmasf4): Force operand to register.
(fnmasf4): Likewise.

gcc/testsuite
2018-03-21  Claudiu Zissulescu  <claziss@synopsys.com>

* gcc.target/arc/fma-1.c: New test.

From-SVN: r261543

6 years ago[ARC] Reimplement return padding operation for ARC700.
Claudiu Zissulescu [Wed, 13 Jun 2018 08:43:56 +0000 (10:43 +0200)]
[ARC] Reimplement return padding operation for ARC700.

For ARC700, adding padding if necessary to avoid a mispredict.  A
return could happen immediately after the function start.  A
call/return and return/return must be 6 bytes apart to avoid
mispredict.

The old implementation was doing this operation very late in the
compilation process, and the additional nop instructions and/or
forcing some other instruction to take their long form was not taken
into account when generating brcc instructions. Thus, wrong code could
be generated.

gcc/
2017-03-24  Claudiu Zissulescu  <claziss@synopsys.com>

* config/arc/arc-protos.h (arc_pad_return): Remove.
* config/arc/arc.c (machine_function): Remove force_short_suffix
and size_reason.
(arc_print_operand): Adjust printing of '&'.
(arc_verify_short): Remove conditional printing of short suffix.
(arc_final_prescan_insn): Remove reference to size_reason.
(pad_return): New function.
(arc_reorg): Call pad_return.
(arc_pad_return): Remove.
(arc_init_machine_status): Remove reference to force_short_suffix.
* config/arc/arc.md (vunspec): Add VUNSPEC_ARC_BLOCKAGE.
(attr length): When attribute iscompact is true force to 2
regardless; in the case of maybe check if we want to force the
instruction to have 4 bytes length.
(nopv): Change it to generate 4 byte long nop as well.
(blockage): New pattern.
(simple_return): Remove call to arc_pad_return.
(p_return_i): Likewise.

gcc/testsuite/
2017-03-24  Claudiu Zissulescu  <claziss@synopsys.com>

* gcc.target/arc/pr9001107555.c: New file.

From-SVN: r261542

6 years ago[ARC] Define LINK_GCC_C_SEQUENCE_SPEC.
Claudiu Zissulescu [Wed, 13 Jun 2018 08:43:42 +0000 (10:43 +0200)]
[ARC] Define LINK_GCC_C_SEQUENCE_SPEC.

If no specs file is provided, default to nosys library.

gcc/
2017-05-03  Claudiu Zissulescu  <claziss@synopsys.com>

* config/arc/elf.h (LINK_GCC_C_SEQUENCE_SPEC): Define.

From-SVN: r261541

6 years ago[ARC] SYNC instruction is valid on all ARC cores.
Claudiu Zissulescu [Wed, 13 Jun 2018 08:43:19 +0000 (10:43 +0200)]
[ARC] SYNC instruction is valid on all ARC cores.

gcc/
2017-05-03  Claudiu Zissulescu  <claziss@synopsys.com>

* config/arc/builtins.def (SYNC): SYNC instruction is valid on all
ARC cores.

From-SVN: r261540

6 years ago[ARC] Allow EX instruction unconditionally
Claudiu Zissulescu [Wed, 13 Jun 2018 08:42:57 +0000 (10:42 +0200)]
[ARC] Allow EX instruction unconditionally

gcc/
2017-05-02  Claudiu Zissulescu  <claziss@synopsys.com>

* config/arc/arc.c (atomic_exchangesi): EX instruction is default
for ARC700 and ARCv2.

From-SVN: r261539