platform/upstream/gcc.git
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

6 years agore PR tree-optimization/86076 (ICE: verify_gimple failed (error: location references...
Chenghua Xu [Wed, 13 Jun 2018 06:50:12 +0000 (06:50 +0000)]
re PR tree-optimization/86076 (ICE: verify_gimple failed (error: location references block not in block tree))

2018-06-13  Chenghua Xu <paul.hua.gm@gmail.com>

PR target/86076
* config/mips/loongson.md (vec_setv4hi): Gen_lowpart for
operands[2] instead of operands[1].

From-SVN: r261538

6 years agodebug.h (__glibcxx_requires_can_increment_range): New.
François Dumont [Wed, 13 Jun 2018 06:10:03 +0000 (06:10 +0000)]
debug.h (__glibcxx_requires_can_increment_range): New.

2018-06-13  François Dumont  <fdumont@gcc.gnu.org>

* include/debug/debug.h (__glibcxx_requires_can_increment_range): New.
(__glibcxx_requires_can_decrement_range): New.

From-SVN: r261537

6 years agoPR c++/86098 - ICE with template placeholder for TTP.
Jason Merrill [Wed, 13 Jun 2018 03:33:06 +0000 (23:33 -0400)]
PR c++/86098 - ICE with template placeholder for TTP.

* typeck.c (structural_comptypes) [TEMPLATE_TYPE_PARM]: Check
CLASS_PLACEHOLDER_TEMPLATE.

From-SVN: r261536

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

From-SVN: r261535

6 years agoTighten LRA test for reloading the inner reg of a paradoxical subreg
Richard Sandiford [Tue, 12 Jun 2018 22:33:29 +0000 (22:33 +0000)]
Tighten LRA test for reloading the inner reg of a paradoxical subreg

This patch fixes an LRA cycling problem on the attached testcase.
The original insn was:

(insn 74 72 76 8 (set (reg:V2DI 287 [ _166 ])
        (subreg:V2DI (reg/v/f:DI 112 [ d ]) 0)) 1060 {*aarch64_simd_movv2di}
     (nil))

which IRA converted to:

(insn 74 72 580 8 (set (reg:V2DI 287 [ _166 ])
        (subreg:V2DI (reg/v/f:DI 517 [orig:112 d ] [112]) 0)) 1060 {*aarch64_simd_movv2di}
     (nil))

after creating loop allocnos.  It happens that the ALLOCNO_WMODEs for
both 112 and 517 were not set to V2DI due to another bug that I'll post
a separate patch for, but we nevertheless got a valid allocation of
register 1.

LRA's first try at constraining the instruction gave:

         Choosing alt 5 in insn 74:  (0) ?w  (1) r {*aarch64_simd_movv2di}

at which point all was good.  But LRA later decided it needed
to spill r517:

    Spill r517 after risky transformations

so the next constraint attempt gave:

         Choosing alt 0 in insn 74:  (0) =w  (1) m {*aarch64_simd_movv2di}

which was still good.  Then during inheritance we had:

      Creating newreg=672 from oldreg=517, assigning class GENERAL_REGS to inheritance r672
    Original reg change 517->672 (bb8):
   74: r287:V2DI=r672:DI#0
    Add inheritance<-original before:
  939: r672:DI=r517:DI

    Inheritance reuse change 517->672 (bb8):
  620: r572:DI=r672:DI
      REG_DEAD r672:DI

    Use smallest class of POINTER_REGS and GENERAL_REGS
      Creating newreg=673 from oldreg=517, assigning class POINTER_REGS to inheritance r673
    Original reg change 517->673 (bb8):
  936: r669:DI=r673:DI
    Add inheritance<-original before:
  940: r673:DI=r517:DI

("Use smallest class of POINTER_REGS and GENERAL_REGS" ought to
give GENERAL_REGS.  That might be a missed optimisation, and probably
due to both classes having the same number of allocatable registers.
I'll look at that as a follow-on.)

Thus LRA created two inheritance registers for r517, one (r673)
that included the unallocatable x31 and another (r672) that didn't.
The r672 references included the paradoxical subreg in insn 74 but the
r673 ones didn't.  LRA then allocated x30 to r673, which was a valid
choice.

Later LRA decided to "undo" the inheritance for insn 620, but because
of the double inheritance, it got confused as to what the original
situation was, and made insn 74 use the other inheritance register
instead of r517:

********** Undoing inheritance #2: **********

Inherit 11 out of 12 (91.67%)
   Insn after restoring regs:
  620: r572:DI=r517:DI
      REG_DEAD r517:DI
    Change reload insn:
   74: r287:V2DI=r673:DI#0       <-------------------
   Insn after restoring regs:
  939: r517:DI=r673:DI
      REG_DEAD r673:DI

This might be a bug in itself: we should probably look through sets
of other inheritance pseudos to find the "real" origin.

Either way, at this point we had a situation in which r673 was used in an
insn whose subreg was larger than the biggest_mode that r673 had when it
was allocated.  While x30 was valid for the original biggest_mode, it
wasn't valid for this subreg use.

The next attempt to constrain insn 74 was:

        Choosing alt 5 in insn 74:  (0) ?w  (1) r {*aarch64_simd_movv2di}
      Creating newreg=684, assigning class GENERAL_REGS to r684
   74: r287:V2DI=r684:V2DI
    Inserting insn reload before:
  951: r684:V2DI=r673:DI#0

where LRA reloaded the SUBREG rather than the SUBREG_REG.  And it
then cycled trying the same thing when reloading the reload (and the
reload of the reload, etc.).

What it should be doing here is reloading the SUBREG_REG instead.
There's already code to cope with this case when the paradoxical
subreg falls outside the class (which isn't true here, since r673
is POINTER_REGS and POINTER_REGS includes x31).  But I think we
should also test whether LRA is entitled to allocate the spanned
registers.  Not doing that seems like a bug regardless of the above
missed optimisation and the mix-up undoing inheritance.

2018-05-30  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
* lra-constraints.c (simplify_operand_subreg): In the paradoxical
case, check whether the outer register overlaps an unallocatable
register, not just whether it fits the required class.

gcc/testsuite/
* g++.dg/torture/aarch64-vect-init-1.C: New test.

From-SVN: r261531

6 years agoUse poly_int rtx accessors instead of hwi accessors
Richard Sandiford [Tue, 12 Jun 2018 22:31:14 +0000 (22:31 +0000)]
Use poly_int rtx accessors instead of hwi accessors

This patch generalises various places that used hwi rtx accessors so
that they can handle poly_ints instead.  In many cases these changes
are by inspection rather than because something had shown them to be
necessary.

2018-06-12  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
* poly-int.h (can_div_trunc_p): Add new overload in which all values
are poly_ints.
* alias.c (get_addr): Extend CONST_INT handling to poly_int_rtx_p.
(memrefs_conflict_p): Likewise.
(init_alias_analysis): Likewise.
* cfgexpand.c (expand_debug_expr): Likewise.
* combine.c (combine_simplify_rtx, force_int_to_mode): Likewise.
* cse.c (fold_rtx): Likewise.
* explow.c (adjust_stack, anti_adjust_stack): Likewise.
* expr.c (emit_block_move_hints): Likewise.
(clear_storage_hints, push_block, emit_push_insn): Likewise.
(store_expr_with_bounds, reduce_to_bit_field_precision): Likewise.
(emit_group_load_1): Use rtx_to_poly_int64 for group offsets.
(emit_group_store): Likewise.
(find_args_size_adjust): Use strip_offset.  Use rtx_to_poly_int64
to read the PRE/POST_MODIFY increment.
* calls.c (store_one_arg): Use strip_offset.
* rtlanal.c (rtx_addr_can_trap_p_1): Extend CONST_INT handling to
poly_int_rtx_p.
(set_noop_p): Use rtx_to_poly_int64 for the elements selected
by a VEC_SELECT.
* simplify-rtx.c (avoid_constant_pool_reference): Use strip_offset.
(simplify_binary_operation_1): Extend CONST_INT handling to
poly_int_rtx_p.
* var-tracking.c (compute_cfa_pointer): Take a poly_int64 rather
than a HOST_WIDE_INT.
(hard_frame_pointer_adjustment): Change from HOST_WIDE_INT to
poly_int64.
(adjust_mems, add_stores): Update accodingly.
(vt_canonicalize_addr): Track polynomial offsets.
(emit_note_insn_var_location): Likewise.
(vt_add_function_parameter): Likewise.
(vt_initialize): Likewise.

From-SVN: r261530

6 years agoconfig.gcc (alpha*-*-freebsd*): Remove.
Jeff Law [Tue, 12 Jun 2018 21:58:49 +0000 (15:58 -0600)]
config.gcc (alpha*-*-freebsd*): Remove.

* config.gcc (alpha*-*-freebsd*): Remove.
* config/alpha/freebsd.h: Remove.

contrib/

* config-list.mk (LIST): Remove alpha-freebsd6.

From-SVN: r261529

6 years agodecl2.c (coerce_new_type, [...]): Add location_t parameter and adjust error_at calls.
Paolo Carlini [Tue, 12 Jun 2018 21:23:27 +0000 (21:23 +0000)]
decl2.c (coerce_new_type, [...]): Add location_t parameter and adjust error_at calls.

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

* decl2.c (coerce_new_type, coerce_delete_type): Add location_t
parameter and adjust error_at calls.
* decl.c (grok_op_properties): Adjust calls.
* cp-tree.h (oerce_new_type, coerce_delete_type): Adjust decls.

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

* g++.dg/init/delete3.C: New.
* g++.dg/init/new49.C: Likewise.
* g++.dg/init/new25.C: Test locations too.
* g++.dg/template/new4.C: Likewise.
* g++.old-deja/g++.jason/operator.C: Likewise.

From-SVN: r261528

6 years agodecl2.c (coerce_new_type, [...]): Add location_t parameter and adjust error_at calls.
Paolo Carlini [Tue, 12 Jun 2018 21:22:10 +0000 (21:22 +0000)]
decl2.c (coerce_new_type, [...]): Add location_t parameter and adjust error_at calls.

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

* decl2.c (coerce_new_type, coerce_delete_type): Add location_t
parameter and adjust error_at calls.
* decl.c (grok_op_properties): Adjust calls.
* cp-tree.h (oerce_new_type, coerce_delete_type): Adjust decls.

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

* g++.dg/init/delete3.C: New.
* g++.dg/init/new49.C: Likewise.
* g++.dg/init/new25.C: Test locations too.
* g++.dg/template/new4.C: Likewise.
* g++.old-deja/g++.jason/operator.C: Likewise.

From-SVN: r261527

6 years agoCore issue 1331 - const mismatch with defaulted copy constructor
Marek Polacek [Tue, 12 Jun 2018 20:20:11 +0000 (20:20 +0000)]
Core issue 1331 - const mismatch with defaulted copy constructor

Core issue 1331 - const mismatch with defaulted copy constructor
* class.c (check_bases_and_members): When checking a defaulted
function, mark it as deleted rather than giving an error.

* g++.dg/cpp0x/defaulted15.C (struct F): Remove dg-error.
* g++.dg/cpp0x/defaulted52.C: New test.
* g++.dg/cpp0x/defaulted53.C: New test.
* g++.dg/cpp0x/defaulted54.C: New test.
* g++.dg/cpp0x/defaulted55.C: New test.
* g++.dg/cpp0x/defaulted56.C: New test.
* g++.dg/cpp0x/defaulted57.C: New test.
* g++.dg/cpp0x/defaulted58.C: New test.
* g++.dg/cpp0x/defaulted59.C: New test.
* g++.dg/cpp0x/defaulted60.C: New test.

From-SVN: r261526

6 years agomacros.h (__glibcxx_check_can_increment_range): New.
François Dumont [Tue, 12 Jun 2018 20:18:35 +0000 (20:18 +0000)]
macros.h (__glibcxx_check_can_increment_range): New.

2018-06-12  François Dumont  <fdumont@gcc.gnu.org>

* include/debug/macros.h (__glibcxx_check_can_increment_range): New.
(__glibcxx_check_can_decrement_range): New.
* include/debug/debug.h (__glibcxx_requires_can_increment_range): New.
(__glibcxx_requires_can_decrement_range): New.
* include/bits/stl_algobase.h (std::copy(_II, _II, _OI)): Use
__glibcxx_requires_can_increment_range.
(std::move(_II, _II, _OI)): Likewise.
(std::copy_backward(_BI, _BI, _BI2)): Use
__glibcxx_requires_can_decrement_range.
(std::move_backward(_BI, _BI, _BI2)): Likewise.
* testsuite/25_algorithms/copy_backward/debug/1_neg.cc: New.
* testsuite/25_algorithms/copy_backward/debug/2_neg.cc: New.
* testsuite/25_algorithms/copy_backward/debug/3_neg.cc: New.
* testsuite/25_algorithms/equal/debug/1_neg.cc: New.
* testsuite/25_algorithms/equal/debug/2_neg.cc: New.
* testsuite/25_algorithms/equal/debug/3_neg.cc: New.

From-SVN: r261525

6 years agoP0935R0 Eradicating unnecessarily explicit default constructors
Jonathan Wakely [Tue, 12 Jun 2018 19:10:55 +0000 (20:10 +0100)]
P0935R0 Eradicating unnecessarily explicit default constructors

Explicit default constructors are problematic, so this change removes
them from <random> and <ext/random>, as per P0935R0.

* include/bits/random.h (linear_congruential_engine)
(mersenne_twister_engine, subtract_with_carry_engine, random_device)
(uniform_real_distribution, normal_distribution)
(lognormal_distribution, gamma_distribution, chi_squared_distribution)
(cauchy_distribution, fisher_f_distribution, student_t_distribution)
(bernoulli_distribution, binomial_distribution,geometric_distribution)
(negative_binomial_distribution, exponential_distribution)
(weibull_distribution, extreme_value_distribution): Add non-explicit
default constructors. Remove default argument for first parameter of
explicit constructors.
(piecewise_constant_distribution, piecewise_linear_distribution):
Make default constructor non-explicit.
* include/bits/uniform_int_dist.h (uniform_int_distribution): Add
non-explicit default constructors. Remove default argument for first
parameter of explicit constructor.
(simd_fast_mersenne_twister_engine, beta_distribution)
(rice_distribution, nakagami_distribution, pareto_distribution)
(k_distribution, arcsine_distribution, hoyt_distribution)
(triangular_distribution, von_mises_distribution)
(hypergeometric_distribution, logistic_distribution)
(uniform_inside_sphere_distribution): Likewise.
(uniform_on_sphere_distribution): Make default constructor
non-explicit.
* testsuite/26_numerics/random/bernoulli_distribution/cons/default.cc:
Test for non-explicit default constructor. Fix references to standard.
* 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.
* testsuite/util/testsuite_common_types.h
(implicitly_default_constructible): New helper.

From-SVN: r261522

6 years agospellcheck: support transpositions aka Damerau-Levenshtein (PR other/69968)
David Malcolm [Tue, 12 Jun 2018 18:28:37 +0000 (18:28 +0000)]
spellcheck: support transpositions aka Damerau-Levenshtein (PR other/69968)

gcc/fortran/ChangeLog:
PR other/69968
* misc.c (gfc_closest_fuzzy_match): Update for renaming of
levenshtein_distance to get_edit_distance.

gcc/ChangeLog:
PR other/69968
* spellcheck-tree.c (levenshtein_distance): Rename to...
(get_edit_distance): ...this, and update for underlying renaming.
* spellcheck-tree.h (levenshtein_distance): Rename to...
(get_edit_distance): ...this.
* spellcheck.c (levenshtein_distance): Rename to...
(get_edit_distance): ...this.  Convert from Levenshtein distance
to Damerau-Levenshtein distance by supporting transpositions of
adjacent characters.  Rename "v1" to "v_next" and "v0" to
"v_one_ago".
(selftest::levenshtein_distance_unit_test_oneway): Rename to...
(selftest::test_edit_distance_unit_test_oneway): ...this, and
update for underlying renaming.
(selftest::levenshtein_distance_unit_test): Rename to...
(selftest::test_get_edit_distance_unit): ...this, and update for
underlying renaming.
(selftest::test_find_closest_string): Add example from PR 69968
where transposition helps
(selftest::test_metric_conditions): Update for renaming.
(selftest::test_metric_conditions): Likewise.
(selftest::spellcheck_c_tests): Likewise.
* spellcheck.h (levenshtein_distance): Rename both overloads to...
(get_edit_distance): ...this.
(best_match::consider): Update for renaming.

gcc/testsuite/ChangeLog:
PR other/69968
* gcc.dg/spellcheck-transposition.c: New test.

From-SVN: r261521

6 years agoPR tree-optimization/85259 - Missing -Wstringop-overflow= since r256683
Martin Sebor [Tue, 12 Jun 2018 18:05:13 +0000 (18:05 +0000)]
PR tree-optimization/85259 - Missing -Wstringop-overflow= since r256683

gcc/ChangeLog:

PR tree-optimization/85259
* builtins.c (compute_objsize): Handle constant offsets.
* gimple-ssa-warn-restrict.c (maybe_diag_offset_bounds): Return
true iff a warning has been issued.
* gimple.h (gimple_nonartificial_location): New function.
* tree-ssa-strlen.c (maybe_diag_stxncpy_trunc): Call
gimple_nonartificial_location and handle -Wno-system-headers.
(handle_builtin_stxncpy): Same.

gcc/testsuite/ChangeLog:

PR tree-optimization/85259
* gcc.dg/Wstringop-overflow-5.c: New test.
* gcc.dg/Wstringop-overflow-6.c: New test.

From-SVN: r261518

6 years agore PR fortran/44491 (Diagnostic just shows "<During initialization>" instead of a...
Steven G. Kargl [Tue, 12 Jun 2018 17:55:24 +0000 (17:55 +0000)]
re PR fortran/44491 (Diagnostic just shows "<During initialization>" instead of a locus)

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

PR fortran/44491
* expr.c (gfc_check_assign): Select non-NULL locus.

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

PR fortran/44491
* gfortran.dg/pr44491.f90: New testcase

From-SVN: r261516

6 years agoPR c/85931 - -Wsizeof-pointer-memaccess for strncpy with size of source
Martin Sebor [Tue, 12 Jun 2018 17:14:31 +0000 (17:14 +0000)]
PR c/85931 -  -Wsizeof-pointer-memaccess for strncpy with size of source

gcc/c-family/ChangeLog:

PR c/85931
* c-warn.c (sizeof_pointer_memaccess_warning): Avoid warning when
sizeof source and destination yields the same value.

gcc/ChangeLog:

PR c/85931
* fold-const.c (operand_equal_p): Handle SAVE_EXPR.

gcc/testsuite/ChangeLog:

PR c/85931
* gcc.dg/Wstringop-truncation-3.c: New test.

From-SVN: r261515

6 years agop8-vec-xl-xst-v2.c: New.(actually added this time).
Will Schmidt [Tue, 12 Jun 2018 16:07:37 +0000 (16:07 +0000)]
p8-vec-xl-xst-v2.c: New.(actually added this time).

[testsuite]

2018-05-31  Will Schmidt  <will_schmidt@vnet.ibm.com>

* gcc.target/powerpc/p8-vec-xl-xst-v2.c: New.(actually added this time).

From-SVN: r261510

6 years agop8-vec-xl-xst-v2.c: New.
Will Schmidt [Tue, 12 Jun 2018 16:06:09 +0000 (16:06 +0000)]
p8-vec-xl-xst-v2.c: New.

[testsuite]

2018-05-31  Will Schmidt  <will_schmidt@vnet.ibm.com>

* gcc.target/powerpc/p8-vec-xl-xst-v2.c: New.
* gcc.target/powerpc/p8-vec-xl-xst.c: Disable gimple-folding.
* gcc.target/powerpc/swaps-p8-17.c: Same.

From-SVN: r261509

6 years agofold-vec-store-vec_vsx_st-char.c: New.
Will Schmidt [Tue, 12 Jun 2018 16:04:52 +0000 (16:04 +0000)]
fold-vec-store-vec_vsx_st-char.c: New.

[testsuite]

2018-05-31  Will Schmidt  <will_schmidt@vnet.ibm.com>

* gcc.target/powerpc/fold-vec-store-vec_vsx_st-char.c: New.
* gcc.target/powerpc/fold-vec-store-vec_vsx_st-double.c: New.
* gcc.target/powerpc/fold-vec-store-vec_vsx_st-float.c: New.
* gcc.target/powerpc/fold-vec-store-vec_vsx_st-int.c: New.
* gcc.target/powerpc/fold-vec-store-vec_vsx_st-longlong.c: New.
* gcc.target/powerpc/fold-vec-store-vec_vsx_st-short.c: New.

From-SVN: r261508

6 years agofold-vec-store-builtin_vec_xst-char.c: New.
Will Schmidt [Tue, 12 Jun 2018 16:03:06 +0000 (16:03 +0000)]
fold-vec-store-builtin_vec_xst-char.c: New.

[testsuite]

2018-05-31  Will Schmidt  <will_schmidt@vnet.ibm.com>

* gcc.target/powerpc/fold-vec-store-builtin_vec_xst-char.c: New.
* gcc.target/powerpc/fold-vec-store-builtin_vec_xst-double.c: New.
* gcc.target/powerpc/fold-vec-store-builtin_vec_xst-float.c: New.
* gcc.target/powerpc/fold-vec-store-builtin_vec_xst-int.c: New.
* gcc.target/powerpc/fold-vec-store-builtin_vec_xst-longlong.c: New.
* gcc.target/powerpc/fold-vec-store-builtin_vec_xst-short.c: New.

From-SVN: r261507

6 years agofold-vec-store-vec_xst-char.c: New.
Will Schmidt [Tue, 12 Jun 2018 16:01:32 +0000 (16:01 +0000)]
fold-vec-store-vec_xst-char.c: New.

[testsuite]

    2018-05-31  Will Schmidt  <will_schmidt@vnet.ibm.com>

* gcc.target/powerpc/fold-vec-store-vec_xst-char.c: New.
* gcc.target/powerpc/fold-vec-store-vec_xst-double.c: New.
* gcc.target/powerpc/fold-vec-store-vec_xst-float.c: New.
* gcc.target/powerpc/fold-vec-store-vec_xst-int.c: New.
* gcc.target/powerpc/fold-vec-store-vec_xst-longlong.c: New.
* gcc.target/powerpc/fold-vec-store-vec_xst-short.c: New.

From-SVN: r261506

6 years agofold-vec-load-vec_vsx_ld-char.c: New.
Will Schmidt [Tue, 12 Jun 2018 15:57:48 +0000 (15:57 +0000)]
fold-vec-load-vec_vsx_ld-char.c: New.

[testsuite]

2018-05-31  Will Schmidt  <will_schmidt@vnet.ibm.com>

* gcc.target/powerpc/fold-vec-load-vec_vsx_ld-char.c: New.
* gcc.target/powerpc/fold-vec-load-vec_vsx_ld-double.c: New.
* gcc.target/powerpc/fold-vec-load-vec_vsx_ld-float.c: New.
* gcc.target/powerpc/fold-vec-load-vec_vsx_ld-int.c: New.
* gcc.target/powerpc/fold-vec-load-vec_vsx_ld-longlong.c: New.
* gcc.target/powerpc/fold-vec-load-vec_vsx_ld-short.c: New.

From-SVN: r261505

6 years agofold-vec-load-builtin_vec_xl-char.c: New.
Will Schmidt [Tue, 12 Jun 2018 15:56:00 +0000 (15:56 +0000)]
fold-vec-load-builtin_vec_xl-char.c: New.

[testsuite]

2018-05-31  Will Schmidt  <will_schmidt@vnet.ibm.com>

* gcc.target/powerpc/fold-vec-load-builtin_vec_xl-char.c: New.
* gcc.target/powerpc/fold-vec-load-builtin_vec_xl-double.c: New.
* gcc.target/powerpc/fold-vec-load-builtin_vec_xl-float.c: New.
* gcc.target/powerpc/fold-vec-load-builtin_vec_xl-int.c: New.
* gcc.target/powerpc/fold-vec-load-builtin_vec_xl-longlong.c: New.
* gcc.target/powerpc/fold-vec-load-builtin_vec_xl-short.c: New.

From-SVN: r261504

6 years agofold-vec-load-vec_xl-char.c: New testcase.
Will Schmidt [Tue, 12 Jun 2018 15:54:17 +0000 (15:54 +0000)]
fold-vec-load-vec_xl-char.c: New testcase.

[testsuite]

2018-06-12  Will Schmidt  <will_schmidt@vnet.ibm.com>

* gcc.target/powerpc/fold-vec-load-vec_xl-char.c: New testcase.
* gcc.target/powerpc/fold-vec-load-vec_xl-double.c: New testcase.
* gcc.target/powerpc/fold-vec-load-vec_xl-float.c: New testcase.
* gcc.target/powerpc/fold-vec-load-vec_xl-int.c: New testcase.
* gcc.target/powerpc/fold-vec-load-vec_xl-longlong.c: New testcase.
* gcc.target/powerpc/fold-vec-load-vec_xl-short.c: New testcase.

From-SVN: r261503

6 years agors6000-c.c (altivec_overloaded_builtins): Add BUILTIN_VEC_XST entries for pointer...
Will Schmidt [Tue, 12 Jun 2018 15:49:14 +0000 (15:49 +0000)]
rs6000-c.c (altivec_overloaded_builtins): Add BUILTIN_VEC_XST entries for pointer to double and long long.

[gcc]

2018-06-12  Will Schmidt  <will_schmidt@vnet.ibm.com>

* config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Add
BUILTIN_VEC_XST entries for pointer to double and long long.

From-SVN: r261502

6 years agoLinux/x86: Update TARGET_THREAD_SPLIT_STACK_OFFSET comments
H.J. Lu [Tue, 12 Jun 2018 15:35:22 +0000 (15:35 +0000)]
Linux/x86: Update TARGET_THREAD_SPLIT_STACK_OFFSET comments

Glibc 2.18 was changed by

commit ecbf434213c0333d81706074e4d107ac45011635
Author: Andreas Jaeger <aj@suse.de>
Date:   Wed May 15 20:20:54 2013 +0200

    Reserve new TLS field for x86 and x86_64

        [BZ #10686]
        * sysdeps/x86_64/tls.h (struct tcbhead_t): Add __private_ss
        field.
        * sysdeps/i386/tls.h (struct tcbhead_t): Likewise.

to reduce the size of __private_tm to make room for __private_ss, which
was supposed to be used for TARGET_THREAD_SPLIT_STACK_OFFSET:

typedef struct
{
  void *tcb;            /* Pointer to the TCB.  Not necessarily the
                           thread descriptor used by libpthread.  */
  dtv_t *dtv;
  void *self;           /* Pointer to the thread descriptor.  */
  int multiple_threads;
  uintptr_t sysinfo;
  uintptr_t stack_guard;
  uintptr_t pointer_guard;
  int gscope_flag;
  int __glibc_reserved1;
  /* Reservation of some values for the TM ABI.  */
  void *__private_tm[4];
  /* GCC split stack support.  */
  void *__private_ss;
} tcbhead_t;

But the offset of __private_ss for i386 was mistakenly set to 0x30,
instead of 0x34 and libgcc/config/i386/morestack.S has:

cmpl %gs:0x30,%eax # See if we have enough space.
movl %eax,%gs:0x30 # Save the new stack boundary.
movl %eax,%gs:0x30 # Save the new stack boundary.
movl %ecx,%gs:0x30 # Save new stack boundary.
movl %eax,%gs:0x30
movl %gs:0x30,%eax
movl %eax,%gs:0x30

Since update TARGET_THREAD_SPLIT_STACK_OFFSET changes split stack ABI,
glibc 2.28 has been changed by

commit 0221ce2a90be2d40fc90f0b5dcec77a1ec013f53
Author: H.J. Lu <hjl.tools@gmail.com>
Date:   Tue Jun 12 06:23:28 2018 -0700

    i386: Change offset of __private_ss to 0x30 [BZ #23250]

to match GCC:

typedef struct
{
  void *tcb; /* Pointer to the TCB.  Not necessarily the
   thread descriptor used by libpthread.  */
  dtv_t *dtv;
  void *self; /* Pointer to the thread descriptor.  */
  int multiple_threads;
  uintptr_t sysinfo;
  uintptr_t stack_guard;
  uintptr_t pointer_guard;
  int gscope_flag;
  int __glibc_reserved1;
  /* Reservation of some values for the TM ABI.  */
  void *__private_tm[3];
  /* GCC split stack support.  */
  void *__private_ss;
  void *__glibc_reserved2;
} tcbhead_t;

PR target/85990
* config/i386/gnu-user.h (TARGET_THREAD_SPLIT_STACK_OFFSET):
Update comments.
* config/i386/gnu-user64.h (TARGET_THREAD_SPLIT_STACK_OFFSET):
Likewise.

From-SVN: r261501

6 years agogenfixes: exit 1 when autogen not found.
Rasmus Villemoes [Tue, 12 Jun 2018 15:00:43 +0000 (17:00 +0200)]
genfixes: exit 1 when autogen not found.

* genfixes: exit 1 when autogen not found.
* genfixes: Remove some redundant code.
* genfixes: Update URL to autogen source code.

From-SVN: r261500

6 years agoinclhack.def: Fix fixup for assert.h on vxworks.
Rasmus Villemoes [Tue, 12 Jun 2018 14:58:24 +0000 (16:58 +0200)]
inclhack.def: Fix fixup for assert.h on vxworks.

* inclhack.def: Fix fixup for assert.h on vxworks.
* fixincl.x: Regenerate.

From-SVN: r261499

6 years agoDocument IntegerRange in internal documentation.
Martin Liska [Tue, 12 Jun 2018 14:41:10 +0000 (16:41 +0200)]
Document IntegerRange in internal documentation.

2018-06-12  Martin Liska  <mliska@suse.cz>

* doc/options.texi: Document IntegerRange.

From-SVN: r261498

6 years agoCome up with Deprecated option flag.
Martin Liska [Tue, 12 Jun 2018 14:21:10 +0000 (16:21 +0200)]
Come up with Deprecated option flag.

2018-06-12  Martin Liska  <mliska@suse.cz>

* doc/options.texi: Document Deprecated option flag.
2018-06-12  Martin Liska  <mliska@suse.cz>

* config/i386/i386.opt: Make MPX-related options as Deprecated.
* opt-functions.awk: Handle Deprecated flag.
* opts-common.c (decode_cmdline_option): Handle cl_deprecated
        and report error.
(read_cmdline_option): Report warning for a deprecated option.
* opts.h (struct cl_option): Add new field cl_deprecated.
(CL_ERR_DEPRECATED): New.
2018-06-12  Martin Liska  <mliska@suse.cz>

* c.opt: Make MPX-related options as Deprecated.
2018-06-12  Martin Liska  <mliska@suse.cz>

* g++.dg/opt/mpx.C: New test.
* gcc.target/i386/mpx.c: New test.

From-SVN: r261497

6 years ago[PATCH] [ARC][QuarkSE] Update
Claudiu Zissulescu [Tue, 12 Jun 2018 13:28:59 +0000 (15:28 +0200)]
[PATCH] [ARC][QuarkSE] Update

QuarkSE has lp_count width set to 16 bits. Update the compiler to
consider it.

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

* config/arc/arc-arch.h (arc_extras): New enum.
(arc_cpu_t):Add field extra.
(arc_cpu_types): Consider the extras.
* config/arc/arc-cpus.def: Add extras info.
* config/arc/arc-opts.h (processor_type): Consider extra field.
* config/arc/arc.c (arc_override_options): Handle extra field.

From-SVN: r261496

6 years ago[ARC] Update warning messges.
Claudiu Zissulescu [Tue, 12 Jun 2018 13:28:46 +0000 (15:28 +0200)]
[ARC] Update warning messges.

When we pass an mcpu to the compiler we have two types of (hardware
configuration) flags that are set:

1. Architecture specific, for example code-density is always enabled
for ARCHS architectures. These options are overwriting whatever the
corresponding user options with the preset ones.

2. CPU specific, for example archs is using LL64 option by
default. These options can be freely enabled or disabled.

Because of the above complexity, we need to throw some errors for the
user to know when he/she does something which goes against the above
rules. Thus, I came up with the following set of rules:

1. Overwriting default architecture specific hardware option: it is
ignored, a warning is thrown;

2. Overwriting default CPU specific hardware option: it is taken into
account, a warning is thrown.

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

* config/arc/arc-arch.h: Update ARC_OPTX macro.
* config/arc/arc-options.def (ARC_OPTX): Introduce a new doc
field.
* config/arc/arc.c (arc_init): Update pic warning.
(irq_range): Update irq range parsing warnings.
(arc_override_options): Update various warning messages.
(arc_handle_aux_attribute): Likewise.

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

* gcc.target/arc/builtin_simdarc.c: Update test.
* gcc.target/arc/mulsi3_highpart-2.c: Likewise.
* gcc.target/arc/tumaddsidi4.c: Likewise.

From-SVN: r261495