]> git.ipfire.org Git - thirdparty/gcc.git/log
thirdparty/gcc.git
7 years agoi386: Add missing AVX512VL or/xor intrinsics
hjl [Sun, 21 Oct 2018 10:23:58 +0000 (10:23 +0000)] 
i386: Add missing AVX512VL or/xor intrinsics

gcc/

PR target/87662
* i386/avx512vlintrin.h (_mm256_or_epi32): New.
(_mm_or_epi32): Likewise.
(_mm256_xor_epi32): Likewise.
(_mm_xor_epi32): Likewise.
(_mm256_or_epi64): Likewise.
(_mm_or_epi64): Likewise.
(_mm256_xor_epi64): Likewise.
(_mm_xor_epi64): Likewise.

gcc/testsuite/

PR target/87662
* gcc.target/i386/pr87662.c

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

7 years agoDaily bump.
gccadmin [Sun, 21 Oct 2018 00:16:34 +0000 (00:16 +0000)] 
Daily bump.

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

7 years agoi386: Enable AVX512 memory broadcast for FP div
hjl [Sat, 20 Oct 2018 20:41:10 +0000 (20:41 +0000)] 
i386: Enable AVX512 memory broadcast for FP div

Many AVX512 vector operations can broadcast from a scalar memory source.
This patch enables memory broadcast for FP div operations.

gcc/

PR target/72782
* config/i386/sse.md (*<avx512>_div<mode>3<mask_name>_bcst): New.

gcc/testsuite/

PR target/72782
* gcc.target/i386/avx512f-div-df-zmm-1.c: New test.
* gcc.target/i386/avx512f-div-sf-zmm-1.c: Likewise.
* gcc.target/i386/avx512f-div-sf-zmm-2.c: Likewise.
* gcc.target/i386/avx512f-div-sf-zmm-3.c: Likewise.
* gcc.target/i386/avx512f-div-sf-zmm-4.c: Likewise.
* gcc.target/i386/avx512f-div-sf-zmm-5.c: Likewise.
* gcc.target/i386/avx512vl-div-sf-xmm-1.c: Likewise.
* gcc.target/i386/avx512vl-div-sf-ymm-1.c: Likewise.

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

7 years ago2018-10-20 François Dumont <fdumont@gcc.gnu.org>
fdumont [Sat, 20 Oct 2018 20:00:45 +0000 (20:00 +0000)] 
2018-10-20  François Dumont  <fdumont@gcc.gnu.org>

* testsuite/util/testsuite_containers.h
(forward_members_unordered<>::forward_members_unordered
(const value_type&)): Add local_iterator pre and post increment checks.
* config/abi/pre/gnu.ver: Add GLIBCXX_3.4.26 new symbol.

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

7 years ago * g++.dg/*.C: Use target c++17 instead of explicit dg-options.
mpolacek [Sat, 20 Oct 2018 17:21:19 +0000 (17:21 +0000)] 
* g++.dg/*.C: Use target c++17 instead of explicit dg-options.
* lib/g++-dg.exp: Don't test C++11 by default.  Add C++17 to
the list of default stds to test.

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

7 years ago PR middle-end/87647
jakub [Sat, 20 Oct 2018 08:58:00 +0000 (08:58 +0000)] 
PR middle-end/87647
* varasm.c (decode_addr_const): Handle COMPOUND_LITERAL_EXPR.

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

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

7 years ago* doc/ux.texi: Move @section directly after @node.
schwab [Sat, 20 Oct 2018 07:29:15 +0000 (07:29 +0000)] 
* doc/ux.texi: Move @section directly after @node.

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

7 years agoDaily bump.
gccadmin [Sat, 20 Oct 2018 00:17:03 +0000 (00:17 +0000)] 
Daily bump.

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

7 years ago PR middle-end/85488
jakub [Fri, 19 Oct 2018 22:52:06 +0000 (22:52 +0000)] 
PR middle-end/85488
PR middle-end/87649
* omp-low.c (check_omp_nesting_restrictions): Diagnose ordered without
depend closely nested inside of loop with ordered clause with
a parameter.

* c-c++-common/gomp/doacross-2.c: New test.
* c-c++-common/gomp/sink-3.c: Expect another error during error
recovery.

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

7 years agoSkip tests for GNU extensions when testing with strict mode
redi [Fri, 19 Oct 2018 21:50:15 +0000 (21:50 +0000)] 
Skip tests for GNU extensions when testing with strict mode

Tests for the implicit allocator rebinding extension will fail if the
extension is disabled, so skip them.

* testsuite/23_containers/array/requirements/explicit_instantiation/
3.cc: Skip test when compiled with a -std=c++NN strict mode.
* testsuite/23_containers/deque/requirements/explicit_instantiation/
3.cc: Likewise.
* testsuite/23_containers/forward_list/requirements/
explicit_instantiation/3.cc: Likewise.
* testsuite/23_containers/list/requirements/explicit_instantiation/
3.cc: Likewise.
* testsuite/23_containers/map/requirements/explicit_instantiation/
3.cc: Likewise.
* testsuite/23_containers/multimap/requirements/explicit_instantiation/
3.cc: Likewise.
* testsuite/23_containers/multiset/requirements/explicit_instantiation/
3.cc: Likewise.
* testsuite/23_containers/set/requirements/explicit_instantiation/
3.cc: Likewise.
* testsuite/23_containers/unordered_map/requirements/
explicit_instantiation/3.cc: Likewise.
* testsuite/23_containers/unordered_multimap/requirements/
explicit_instantiation/3.cc: Likewise.
* testsuite/23_containers/unordered_multiset/requirements/
explicit_instantiation/3.cc: Likewise.
* testsuite/23_containers/unordered_set/requirements/
explicit_instantiation/3.cc: Likewise.
* testsuite/23_containers/vector/ext_pointer/explicit_instantiation/
3.cc: Likewise.
* testsuite/23_containers/vector/requirements/explicit_instantiation/
3.cc: Likewise.

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

7 years agoFix testsuite failures due to extra errors in strict dialects
redi [Fri, 19 Oct 2018 21:50:03 +0000 (21:50 +0000)] 
Fix testsuite failures due to extra errors in strict dialects

When __STRICT_ANSI__ is defined the incorrect allocators used in these
tests also trigger and additional static assertion. Prune those extra
errors so that the tests don't fail when built with strict dialects.

* testsuite/23_containers/deque/48101_neg.cc: Prune additional errors
printed when __STRICT_ANSI__ is defined.
* testsuite/23_containers/forward_list/48101_neg.cc: Likewise.
* testsuite/23_containers/list/48101_neg.cc: Likewise.
* testsuite/23_containers/multiset/48101_neg.cc: Likewise.
* testsuite/23_containers/set/48101_neg.cc: Likewise.
* testsuite/23_containers/unordered_multiset/48101_neg.cc: Likewise.
* testsuite/23_containers/unordered_set/48101_neg.cc: Likewise.
* testsuite/23_containers/vector/48101_neg.cc: Likewise.

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

7 years agoConditionally disable tests of non-standard extensions
redi [Fri, 19 Oct 2018 21:49:49 +0000 (21:49 +0000)] 
Conditionally disable tests of non-standard extensions

These tests include uses of the extension to allow allocators with the
wrong value_type in containers. Skip those parts of the tests when
__STRICT_ANIS__ is defined.

* testsuite/23_containers/forward_list/requirements/
explicit_instantiation/5.cc [__STRICT_ANSI__]: Don't test non-standard
extension.
* testsuite/23_containers/list/requirements/explicit_instantiation/
5.cc [__STRICT_ANSI__]: Likewise.
* testsuite/23_containers/map/requirements/explicit_instantiation/5.cc
[__STRICT_ANSI__]: Likewise.
* testsuite/23_containers/multimap/requirements/explicit_instantiation/
5.cc [__STRICT_ANSI__]: Likewise.
* testsuite/23_containers/multiset/requirements/explicit_instantiation/
5.cc [__STRICT_ANSI__]: Likewise.
* testsuite/23_containers/set/requirements/explicit_instantiation/5.cc
[__STRICT_ANSI__]: Likewise.
* testsuite/23_containers/unordered_map/requirements/debug_container.cc
[__STRICT_ANSI__]: Likewise.
* testsuite/23_containers/unordered_map/requirements/
explicit_instantiation/5.cc [__STRICT_ANSI__]: Likewise.
* testsuite/23_containers/unordered_multimap/requirements/
explicit_instantiation/5.cc [__STRICT_ANSI__]: Likewise.
* testsuite/23_containers/unordered_multiset/requirements/
explicit_instantiation/5.cc [__STRICT_ANSI__]: Likewise.
* testsuite/23_containers/unordered_set/requirements/
explicit_instantiation/5.cc [__STRICT_ANSI__]: Likewise.

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

7 years agoFix tests that use allocators with incorrect value types
redi [Fri, 19 Oct 2018 21:49:40 +0000 (21:49 +0000)] 
Fix tests that use allocators with incorrect value types

As a GNU extension we allow containers to be instantiated with
allocators that use a different value type from the container, and
automatically rebind the allocator to the correct type. This extension
is disabled in strict modes (when __STRICT_ANSI__ is defined, i.e.
-std=c++NN dialects). These testcases unintentionally rely on the
extension and so fail for strict modes.

Tests which intentionally make use of the extension will still fail in
strict dialects, but will be addressed in a later change.

* testsuite/20_util/scoped_allocator/1.cc: Use allocator with correct
value type for the container.
* testsuite/23_containers/forward_list/cons/14.cc: Likewise.
* testsuite/23_containers/map/56613.cc: Likewise.
* testsuite/23_containers/unordered_map/55043.cc: Likewise.
* testsuite/23_containers/unordered_map/allocator/copy.cc: Likewise.
* testsuite/23_containers/unordered_map/allocator/copy_assign.cc:
Likewise.
* testsuite/23_containers/unordered_map/allocator/minimal.cc:
Likewise.
* testsuite/23_containers/unordered_map/allocator/move.cc: Likewise.
* testsuite/23_containers/unordered_map/allocator/move_assign.cc:
Likewise.
* testsuite/23_containers/unordered_map/allocator/noexcept.cc:
Likewise.
* testsuite/23_containers/unordered_map/cons/81891.cc: Likewise.
* testsuite/23_containers/unordered_map/requirements/exception/
basic.cc: Likewise.
* testsuite/23_containers/unordered_map/requirements/exception/
generation_prohibited.cc: Likewise.
* testsuite/23_containers/unordered_map/requirements/exception/
propagation_consistent.cc: Likewise.
* testsuite/23_containers/unordered_multimap/55043.cc: Likewise.
* testsuite/23_containers/unordered_multimap/allocator/copy.cc:
Likewise.
* testsuite/23_containers/unordered_multimap/allocator/copy_assign.cc:
Likewise.
* testsuite/23_containers/unordered_multimap/allocator/minimal.cc:
Likewise.
* testsuite/23_containers/unordered_multimap/allocator/move.cc:
Likewise.
* testsuite/23_containers/unordered_multimap/allocator/move_assign.cc:
Likewise.
* testsuite/23_containers/unordered_multimap/allocator/noexcept.cc:
Likewise.
* testsuite/23_containers/unordered_multimap/requirements/exception/
basic.cc: Likewise.
* testsuite/23_containers/unordered_multimap/requirements/exception/
generation_prohibited.cc: Likewise.
* testsuite/23_containers/unordered_multimap/requirements/exception/
propagation_consistent.cc: Likewise.
* testsuite/23_containers/unordered_multimap/requirements/
explicit_instantiation/5.cc: Likewise.
* testsuite/ext/malloc_allocator/sanity.cc: Likewise.

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

7 years agoDisable tests that only pass for GNU dialects
redi [Fri, 19 Oct 2018 21:49:32 +0000 (21:49 +0000)] 
Disable tests that only pass for GNU dialects

The airy and hypergeometric functions are non-standard extensions and
are only defined for -std=gnu++NN dialects, not -std=c++NN ones.

* ext/special_functions/airy_ai/check_nan.cc: Skip test for
non-standard extension when a strict -std=c++NN dialect is used.
* ext/special_functions/airy_ai/check_value.cc: Likewise.
* ext/special_functions/airy_ai/compile.cc: Likewise.
* ext/special_functions/airy_bi/check_nan.cc: Likewise.
* ext/special_functions/airy_bi/check_value.cc: Likewise.
* ext/special_functions/airy_bi/compile.cc: Likewise.
* ext/special_functions/conf_hyperg/check_nan.cc: Likewise.
* ext/special_functions/conf_hyperg/check_value.cc: Likewise.
* ext/special_functions/conf_hyperg/compile.cc: Likewise.
* ext/special_functions/hyperg/check_nan.cc: Likewise.
* ext/special_functions/hyperg/check_value.cc: Likewise.
* ext/special_functions/hyperg/compile.cc: Likewise.

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

7 years agoRemove duplicate tests
redi [Fri, 19 Oct 2018 21:49:19 +0000 (21:49 +0000)] 
Remove duplicate tests

These tests originally existed to check the containers in C++11 mode,
when the default was C++98 mode. Now that the default is C++14 (and we
run most tests for all modes) it serves no purpose to have two copies of
the tests when neither is explicitly using -std=gnu++98 anyway.

* testsuite/23_containers/list/requirements/explicit_instantiation/
5_c++0x.cc: Remove redundant test that is functionally identical to
the 5.cc test.
* testsuite/23_containers/map/requirements/explicit_instantiation/
5_c++0x.cc: Likewise.
* testsuite/23_containers/multimap/requirements/explicit_instantiation/
5_c++0x.cc: Likewise.
* testsuite/23_containers/multiset/requirements/explicit_instantiation/
5_c++0x.cc: Likewise.
* testsuite/23_containers/set/requirements/explicit_instantiation/
5_c++0x.cc: Likewise.

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

7 years agogccint.texi: add user experience guidelines
dmalcolm [Fri, 19 Oct 2018 19:50:02 +0000 (19:50 +0000)] 
gccint.texi: add user experience guidelines

gcc/ChangeLog:
* Makefile.in (TEXI_GCCINT_FILES): Add ux.texi.
* doc/gccint.texi: Include ux.texi and use it in top-level menu.
* doc/ux.texi: New file.

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

7 years ago compiler: don't export any functions with special names
ian [Fri, 19 Oct 2018 19:43:47 +0000 (19:43 +0000)] 
compiler: don't export any functions with special names

    This keeps init functions from appearing in the export data.  Checking
    for special names in general means that we don't need to check
    specifically for nested functions or thunks, which have special names.

    Reviewed-on: https://go-review.googlesource.com/c/143237

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

7 years ago[gcc]
wschmidt [Fri, 19 Oct 2018 18:28:11 +0000 (18:28 +0000)] 
[gcc]

2018-10-19  Bill Schmidt  <wschmidt@linux.ibm.com>

PR tree-optimization/87473
* gimple-ssa-strength-reduction.c (record_phi_increments_1): For
phi arguments identical to the base expression of the phi
candidate, record a phi-adjust increment of zero minus the index
expression of the hidden basis.
(phi_incr_cost_1): For phi arguments identical to the base
expression of the phi candidate, the difference to compare against
the increment is zero minus the index expression of the hidden
basis, and there is no potential savings from replacing the (phi)
statement.
(ncd_with_phi): For phi arguments identical to the base expression
of the phi candidate, the difference to compare against the
increment is zero minus the index expression of the hidden basis.
(all_phi_incrs_profitable_1): For phi arguments identical to the
base expression of the phi candidate, the increment to be checked
for profitability is zero minus the index expression of the hidden
basis.

[gcc/testsuite]

2018-10-19  Bill Schmidt  <wschmidt@linux.ibm.com>

PR tree-optimization/87473
* gcc.c-torture/compile/pr87473.c: New file.

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

7 years agors6000: Put CR0 first in REG_ALLOC_ORDER
segher [Fri, 19 Oct 2018 15:40:57 +0000 (15:40 +0000)] 
rs6000: Put CR0 first in REG_ALLOC_ORDER

IRA and LRA prefer to use CR7 (which is first in REG_ALLOC_ORDER) over
CR0, although the latter often is cheaper ("x" vs. "y" constraints).
We should figure out why this is and fix it; but until that is done,
this patch makes CR0 the first allocated register: it improves the
current code, and it is required for later patches to be effective.

(It changes two testcases to no longer look at what CR field is
allocated).

* config/rs6000/rs6000.h (REG_ALLOC_ORDER): Move 68 (that is, CR0) to
be the first CR field allocated.

gcc/testsuite/
* gcc.target/powerpc/safe-indirect-jump-2.c: Do not check assigned CR
field number.
* gcc.target/powerpc/safe-indirect-jump-3.c: Ditto.

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

7 years ago2018-10-19 Richard Biener <rguenther@suse.de>
rguenth [Fri, 19 Oct 2018 14:28:43 +0000 (14:28 +0000)] 
2018-10-19  Richard Biener  <rguenther@suse.de>

PR middle-end/87645
* gcc.dg/torture/pr87645.c: New testcase.

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

7 years ago2018-10-19 Richard Biener <rguenther@suse.de>
rguenth [Fri, 19 Oct 2018 14:27:57 +0000 (14:27 +0000)] 
2018-10-19  Richard Biener  <rguenther@suse.de>

PR target/87657
* config/i386/i386.c (ix86_builtin_vectorization_cost): Use
TYPE_VECTOR_SUBPARTS and avoid relying on vector mode.

* gcc.target/i386/pr87657.c: New testcase.

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

7 years agoFix compilation error with _GLIBCXX_PARALLEL
redi [Fri, 19 Oct 2018 13:46:24 +0000 (13:46 +0000)] 
Fix compilation error with _GLIBCXX_PARALLEL

* include/bits/regex_executor.tcc (_Backref_matcher::_M_apply): Use
_GLIBCXX_STD_A to refer to normal mode algorithms.
* testsuite/28_regex/headers/regex/parallel_mode.cc: New test.
* testsuite/28_regex/headers/regex/std_c++0x_neg.cc: Remove empty
whitespace.

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

7 years agoFix testsuite failures in Debug Mode
redi [Fri, 19 Oct 2018 13:37:05 +0000 (13:37 +0000)] 
Fix testsuite failures in Debug Mode

This fixes the following testsuite failures on ia32 when compiled with
-D_GLIBCXX_DEBUG:

FAIL: 23_containers/map/modifiers/erase/dr130-linkage-check.cc
FAIL: 23_containers/multimap/modifiers/erase/dr130-linkage-check.cc
FAIL: 23_containers/multiset/modifiers/erase/dr130-linkage-check.cc
FAIL: 23_containers/set/modifiers/erase/dr130-linkage-check.cc

The normal mode containers already use the abi-tag to mangle these
overloads differently, but the debug mode versions weren't fixed.

* include/debug/map.h (map::erase(iterator)): Add abi-tag so that
C++11 version mangles differently from incompatible C++98 version.
* include/debug/multimap.h (multimap::erase(iterator)): Likewise.
* include/debug/multiset.h (multiset::erase(iterator))
(multiset::erase(const_iterator, const_iterator)): Likewise.
* include/debug/set.h (set::erase(iterator))
(multiset::erase(const_iterator, const_iterator)): Likewise.

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

7 years agoFix oversight in previous commit
ebotcazou [Fri, 19 Oct 2018 10:06:40 +0000 (10:06 +0000)] 
Fix oversight in previous commit

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

7 years agoi386: Enable AVX512 memory broadcast for FP add
hjl [Fri, 19 Oct 2018 09:13:34 +0000 (09:13 +0000)] 
i386: Enable AVX512 memory broadcast for FP add

Many AVX512 vector operations can broadcast from a scalar memory source.
This patch enables memory broadcast for FP add operations.

gcc/

PR target/72782
* config/i386/sse.md
(*<plusminus_insn><mode>3<mask_name>_bcst_1): New.
(*add<mode>3<mask_name>_bcst_2): Likewise.

gcc/testsuite/

PR target/72782
* gcc.target/i386/avx512-binop-1.h: New file.
* gcc.target/i386/avx512-binop-2.h: Likewise.
* gcc.target/i386/avx512-binop-3.h: Likewise.
* gcc.target/i386/avx512-binop-4.h: Likewise.
* gcc.target/i386/avx512-binop-5.h: Likewise.
* gcc.target/i386/avx512-binop-6.h: Likewise.
* gcc.target/i386/avx512f-add-df-zmm-1.c: Likewise.
* gcc.target/i386/avx512f-add-sf-zmm-1.c: Likewise.
* gcc.target/i386/avx512f-add-sf-zmm-2.c: Likewise.
* gcc.target/i386/avx512f-add-sf-zmm-3.c: Likewise.
* gcc.target/i386/avx512f-add-sf-zmm-4.c: Likewise.
* gcc.target/i386/avx512f-add-sf-zmm-5.c: Likewise.
* gcc.target/i386/avx512f-add-sf-zmm-6.c: Likewise.
* gcc.target/i386/avx512f-sub-df-zmm-1.c: Likewise.
* gcc.target/i386/avx512f-sub-sf-zmm-1.c: Likewise.
* gcc.target/i386/avx512f-sub-sf-zmm-2.c: Likewise.
* gcc.target/i386/avx512f-sub-sf-zmm-3.c: Likewise.
* gcc.target/i386/avx512f-sub-sf-zmm-4.c: Likewise.
* gcc.target/i386/avx512f-sub-sf-zmm-5.c: Likewise.
* gcc.target/i386/avx512vl-add-sf-xmm-1.c: Likewise.
* gcc.target/i386/avx512vl-add-sf-ymm-1.c: Likewise.
* gcc.target/i386/avx512vl-sub-sf-xmm-1.c: Likewise.
* gcc.target/i386/avx512vl-sub-sf-ymm-1.c: Likewise.

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

7 years agoi386: Use register_operand in AVX512 FMA with memory broadcast
hjl [Fri, 19 Oct 2018 08:56:37 +0000 (08:56 +0000)] 
i386: Use register_operand in AVX512 FMA with memory broadcast

Use "register_operand" in AVX512 FMA with memory broadcast when only
registers are allowed.

* config/i386/sse.md
(*<sd_mask_codefor>fma_fmadd_<mode><sd_maskz_name>_bcst_1):
Replace nonimmediate_operand with register_operand.
(*<sd_mask_codefor>fma_fmadd_<mode><sd_maskz_name>_bcst_2):
Likewise.
(*<sd_mask_codefor>fma_fmadd_<mode><sd_maskz_name>_bcst_3):
Likewise.

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

7 years agolra: fix spill_hard_reg_in_range clobber check
iii [Fri, 19 Oct 2018 08:33:52 +0000 (08:33 +0000)] 
lra: fix spill_hard_reg_in_range clobber check

FROM..TO range might contain NOTE_INSN_DELETED insns, for which the
corresponding entries in lra_insn_recog_data[] are NULLs.  Example from
the problematic code from PR87596:

    (note 148 154 68 7 NOTE_INSN_DELETED)

lra_insn_recog_data[] is used directly only when the insn in question
is taken from insn_bitmap, which is not the case here.  In other
situations lra_get_insn_recog_data () guarded by INSN_P () or other
stricter predicate are used.  So we need to do this here as well.

A tiny detail worth noting: I put the INSN_P () check before the
insn_bitmap check, because I believe that insn_bitmap can contain only
real insns anyway.

gcc/ChangeLog:

2018-10-19  Ilya Leoshkevich  <iii@linux.ibm.com>

PR rtl-optimization/87596
* lra-constraints.c (spill_hard_reg_in_range): Use INSN_P () +
lra_get_insn_recog_data () instead of lra_insn_recog_data[]
for instructions in FROM..TO range.

gcc/testsuite/ChangeLog:

2018-10-19  Ilya Leoshkevich  <iii@linux.ibm.com>

PR rtl-optimization/87596
* gcc.target/i386/pr87596.c: New test.

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

7 years ago * cfgexpand.c (expand_one_var): Use specific wording in error message
ebotcazou [Fri, 19 Oct 2018 07:17:20 +0000 (07:17 +0000)] 
* cfgexpand.c (expand_one_var): Use specific wording in error message
for non-local frame variables.
* stor-layout.c (layout_decl): Do not issue a warning for them.

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

7 years agoReset insn priority after inc/ref replacement
rdapp [Fri, 19 Oct 2018 06:25:30 +0000 (06:25 +0000)] 
Reset insn priority after inc/ref replacement

This patch recomputes the insn priority when a replacement for one of its
dependent insns is applied.

gcc/ChangeLog:

* haifa-sched.c (priority): Add force_recompute parameter.
(apply_replacement): Call priority () with force_recompute = true.
(restore_pattern): Likewise.

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

7 years agoDaily bump.
gccadmin [Fri, 19 Oct 2018 00:17:06 +0000 (00:17 +0000)] 
Daily bump.

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

7 years ago compiler: add COMPARE_ALIASES flag for type compare and hash
ian [Thu, 18 Oct 2018 23:26:20 +0000 (23:26 +0000)] 
compiler: add COMPARE_ALIASES flag for type compare and hash

    Normally aliases compare as identical to the underlying type.  Add a
    COMPARE_ALIASES flag to let them compare (and hash) differently.  This
    will be used by later patches in this series.

    Reviewed-on: https://go-review.googlesource.com/c/143021

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

7 years ago compiler: list indirect imports separately in export data
ian [Thu, 18 Oct 2018 23:22:01 +0000 (23:22 +0000)] 
compiler: list indirect imports separately in export data

    Previously when export data referred to a type that was not defined in
    a directly imported package, we would write the package name as
    additional information in the type's export data.  That approach
    required all type information to be read in order.  This patch changes
    the compiler to find all references to indirectly imported packages,
    and write them out as an indirectimport line in the import data.  This
    will permit us to read exported type data out of order.

    The type traversal used to find indirect imports is a little more
    complicated than necessary in preparation for later patches in this
    series.

    Reviewed-on: https://go-review.googlesource.com/c/143020

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

7 years agoRemove ChangeLog entry for changes in gofrontend that were reverted.
ian [Thu, 18 Oct 2018 23:05:32 +0000 (23:05 +0000)] 
Remove ChangeLog entry for changes in gofrontend that were reverted.

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

7 years agoRevert SVN revision 264561, incorrectly committed directly to the GCC
ian [Thu, 18 Oct 2018 23:02:27 +0000 (23:02 +0000)] 
Revert SVN revision 264561, incorrectly committed directly to the GCC
repo rather than to the master repo.

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

7 years ago compiler: rewrite Type::are_identical to use flags
ian [Thu, 18 Oct 2018 22:55:34 +0000 (22:55 +0000)] 
compiler: rewrite Type::are_identical to use flags

    A single flags parameter replaces the Cmp_tags and errors_are_identical
    parameters. The existing behavior is unchanged.

    This is a simplification step for future work that will add a new flag.

    Reviewed-on: https://go-review.googlesource.com/c/143019

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

7 years agoLimit mask of vec_merge to HOST_BITS_PER_WIDE_INT
hjl [Thu, 18 Oct 2018 21:29:55 +0000 (21:29 +0000)] 
Limit mask of vec_merge to HOST_BITS_PER_WIDE_INT

Since mask of vec_merge is in HOST_WIDE_INT, HOST_BITS_PER_WIDE_INT is
the maximum number of vector elements.

* simplify-rtx.c (simplify_subreg): Limit mask of vec_merge to
HOST_BITS_PER_WIDE_INT.
(test_vector_ops_duplicate): Likewise.

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

7 years agoi386: Enable AVX512 memory broadcast for FMA
hjl [Thu, 18 Oct 2018 20:38:41 +0000 (20:38 +0000)] 
i386: Enable AVX512 memory broadcast for FMA

Many AVX512 vector operations can broadcast from a scalar memory source.
This patch enables memory broadcast for FMA operations.

gcc/

PR target/72782
* config/i386/sse.md (VF_AVX512): New.
(avx512bcst): Likewise.
(*<sd_mask_codefor>fma_fmadd_<mode><sd_maskz_name>_bcst_1):
Likewise.
(*<sd_mask_codefor>fma_fmadd_<mode><sd_maskz_name>_bcst_2):
Likewise.
(*<sd_mask_codefor>fma_fmadd_<mode><sd_maskz_name>_bcst_3):
Likewise.

gcc/testsuite/

PR target/72782
* gcc.target/i386/avx512-fma-1.h: New file.
* gcc.target/i386/avx512-fma-2.h: Likewise.
* gcc.target/i386/avx512-fma-3.h: Likewise.
* gcc.target/i386/avx512-fma-4.h: Likewise.
* gcc.target/i386/avx512-fma-5.h: Likewise.
* gcc.target/i386/avx512-fma-6.h: Likewise.
* gcc.target/i386/avx512-fma-7.h: Likewise.
* gcc.target/i386/avx512-fma-8.h: Likewise.
* gcc.target/i386/avx512f-fmadd-df-zmm-1.c: Likewise.
* gcc.target/i386/avx512f-fmadd-sf-zmm-1.c: Likewise.
* gcc.target/i386/avx512f-fmadd-sf-zmm-2.c: Likewise.
* gcc.target/i386/avx512f-fmadd-sf-zmm-3.c: Likewise.
* gcc.target/i386/avx512f-fmadd-sf-zmm-4.c: Likewise.
* gcc.target/i386/avx512f-fmadd-sf-zmm-5.c: Likewise.
* gcc.target/i386/avx512f-fmadd-sf-zmm-6.c: Likewise.
* gcc.target/i386/avx512f-fmadd-sf-zmm-7.c: Likewise.
* gcc.target/i386/avx512f-fmadd-sf-zmm-8.c: Likewise.
* gcc.target/i386/avx512vl-fmadd-sf-xmm-1.c: Likewise.
* gcc.target/i386/avx512vl-fmadd-sf-ymm-1.c: Likewise.

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

7 years agoFix tests that fail when built with different options
redi [Thu, 18 Oct 2018 20:04:55 +0000 (20:04 +0000)] 
Fix tests that fail when built with different options

* testsuite/20_util/duration/cons/2.cc: Add -ffloat-store to fix
failure when compiled without optimisation.
* testsuite/ext/profile/mutex_extensions_neg.cc: Prune additional
errors caused by C++17 std::pmr alias templates.

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

7 years agoPR libstdc++/87642 handle multibyte thousands separators from libc
redi [Thu, 18 Oct 2018 19:57:25 +0000 (19:57 +0000)] 
PR libstdc++/87642 handle multibyte thousands separators from libc

If a locale's THOUSANDS_SEP or MON_THOUSANDS_SEP string is not a
single character we either need to narrow it to a single char or
ignore it (and therefore disable digit grouping for that facet).

PR libstdc++/87642
* config/locale/gnu/monetary_members.cc
(moneypunct<char, true>::_M_initialize_moneypunct): Use
__narrow_multibyte_chars to convert multibyte thousands separators
to a single char.
* config/locale/gnu/numeric_members.cc
(numpunct<char>::_M_initialize_numpunct): Likewise.
(__narrow_multibyte_chars): New function.

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

7 years ago compiler: drop semicolons in export data
ian [Thu, 18 Oct 2018 19:35:46 +0000 (19:35 +0000)] 
compiler: drop semicolons in export data

    The export data, which is approximately readable and looks something
    like Go, was first implemented back when Go still used semicolons.
    Drop the semicolons, to make it look slightly more Go like and make it
    slightly smaller.

    This updates the compiler and the gccgoimporter package.

    This introduces a new version of the export data.  There are going to
    be more changes to the export data, so this version is still subject
    to change.

    Reviewed-on: https://go-review.googlesource.com/c/143018

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

7 years agoFix (re)alloc of polymorphic arrays
burnus [Thu, 18 Oct 2018 19:35:34 +0000 (19:35 +0000)] 
Fix (re)alloc of polymorphic arrays

        PR fortran/87625
        * trans-array.c (gfc_is_reallocatable_lhs): Detect allocatable
        polymorphic arrays.

        PR fortran/87625
        * gfortran.dg/realloc_on_assign_31.f90: New file.

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

7 years ago * udivmodsi4.c (__udivmodsi4): Rename to conform to coding
pkoning [Thu, 18 Oct 2018 18:01:15 +0000 (18:01 +0000)] 
* udivmodsi4.c (__udivmodsi4): Rename to conform to coding
standard.
* divmod.c: Update references to __udivmodsi4.
* udivmod.c: Ditto.
* udivhi3.c: New file.
* udivmodhi4.c: New file.
* config/pdp11/t-pdp11 (LIB2ADD): Add the new files.

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

7 years agoImprove -dumpversion and -dumpfullversion documentation
redi [Thu, 18 Oct 2018 17:43:00 +0000 (17:43 +0000)] 
Improve -dumpversion and -dumpfullversion documentation

* doc/invoke.texi (-dumpversion): Improve grammar.
(-dumpfullversion): Make more consistent with -dumpversion.

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

7 years ago * config/i386/i386.c (ix86_emit_fp_unordered_jump):
uros [Thu, 18 Oct 2018 16:49:20 +0000 (16:49 +0000)] 
* config/i386/i386.c (ix86_emit_fp_unordered_jump):
Set JUMP_LABEL to the jump insn.
(ix86_emit_i387_log1p): Use ix86_expand_branch to expand branch.
Predict emitted jump and add label to jump insn.

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

7 years agoFix missing entry to gcc/ada/ChangeLog for r265240
dmalcolm [Thu, 18 Oct 2018 16:09:56 +0000 (16:09 +0000)] 
Fix missing entry to gcc/ada/ChangeLog for r265240

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

7 years agoFix ICE in substring-handling building 502.gcc_r (PR 87562)
dmalcolm [Thu, 18 Oct 2018 15:44:39 +0000 (15:44 +0000)] 
Fix ICE in substring-handling building 502.gcc_r (PR 87562)

In r264887 I broke the build of 502.gcc_r due to an ICE.
The ICE occurs when generating a location for an sprintf warning within
a string literal, where the sprintf call is in a macro.

The root cause is a bug in the original commit of substring locations
(r239175).  get_substring_ranges_for_loc has code to handle the case
where the string literal is in a very long source line that exceeds the
length that the current linemap can represent: the start of the token
is in one line map, but then another line map is started, and the end
of the token is in the new linemap.  get_substring_ranges_for_loc handles
this by using the linemap of the end-point when building location_t
values within the string.  When extracting the linemap for the endpoint
in r239175 I erroneously used LRK_MACRO_EXPANSION_POINT, which should
have instead been LRK_SPELLING_LOCATION.

I believe this bug was dormant due to rejecting macro locations earlier
in the function, but in r264887 I allowed some macro locations in order
to deal with locations coming from the C++ lexer, and this uncovered
the bug: if a string literal was defined in a macro, locations within
the string literal would be looked up using the linemap of the expansion
point of the macro, rather than of the spelling point.  This would lead
to garbage location_t values, and, depending on the precise line numbers
of the two locations, an assertion failure (which was causing the build
failure in 502.gcc_r).

This patch fixes the bug by using LRK_SPELLING_LOCATION, and adds some
bulletproofing to the "two linemaps" case.

Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu
(g++.sum gained 5 PASS results; gcc.sum gained 3 PASS results).
I also verified that this fixes the build of 502.gcc_r.

gcc/ChangeLog:
PR tree-optimization/87562
* input.c (get_substring_ranges_for_loc): Use
LRK_SPELLING_LOCATION rather than LRK_MACRO_EXPANSION_POINT when
getting the linemap for the endpoint.  Verify that it's either
in the same linemap as the start point's spelling location, or
at least in the same file.

gcc/testsuite/ChangeLog:
PR tree-optimization/87562
* c-c++-common/substring-location-PR-87562-1-a.h: New file.
* c-c++-common/substring-location-PR-87562-1-b.h: New file.
* c-c++-common/substring-location-PR-87562-1.c: New test.
* gcc.dg/plugin/diagnostic-test-string-literals-1.c: Add test for
PR 87562.
* gcc.dg/plugin/pr87562-a.h: New file.
* gcc.dg/plugin/pr87562-b.h: New file.

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

7 years agoPR libstdc++/87641 correctly initialize accumulator in valarray::sum()
redi [Thu, 18 Oct 2018 15:38:50 +0000 (15:38 +0000)] 
PR libstdc++/87641 correctly initialize accumulator in valarray::sum()

Use the value of the first element as the initial value of the
__valarray_sum accumulator. Value-initialization might not create the
additive identity for the value type.

Make a similar change to __valarray_product even though it's only ever
used internally with a value_type of size_t.

PR libstdc++/87641
* include/bits/valarray_array.h (__valarray_sum): Use first element
to initialize accumulator instead of value-initializing it.
(__valarray_product<_Tp>): Move to ...
* src/c++98/valarray.cc (__valarray_product<_Tp>): Here. Use first
element to initialize accumulator.
(__valarray_product(const valarray<size_t>&)): Remove const_cast made
unnecessary by LWG 389.
* testsuite/26_numerics/valarray/87641.cc: New test.

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

7 years ago2018-10-18 Richard Biener <rguenther@suse.de>
rguenth [Thu, 18 Oct 2018 14:31:29 +0000 (14:31 +0000)] 
2018-10-18  Richard Biener  <rguenther@suse.de>

* config/i386/i386.c (ix86_builtin_vectorization_cost): Do not
feed width-specific load/store costs through ix86_vec_cost.
* config/i386/x86-tune-costs.h (athlon_cost): Adjust.
(k8_cost): Likewise.
(bdver_cost): Likewise.
(znver1_cost): Likewise.
(btver1_cost): Likewise.
(btver2_cost): Likewise.

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

7 years agoCall simplify_gen_subreg to simplify subreg of vec_merge
hjl [Thu, 18 Oct 2018 12:34:13 +0000 (12:34 +0000)] 
Call simplify_gen_subreg to simplify subreg of vec_merge

Simplify
(subreg (vec_merge (X)
   (vector)
   (const_int ((1 << N) | M)))
(N * sizeof (outermode)))
to
(subreg (X) (N * sizeof (outermode)))

* simplify-rtx.c (simplify_subreg): Call simplify_gen_subreg
to simplify subreg of vec_merge.

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

7 years ago2018-10-18 Richard Biener <rguenther@suse.de>
rguenth [Thu, 18 Oct 2018 12:19:44 +0000 (12:19 +0000)] 
2018-10-18  Richard Biener  <rguenther@suse.de>

* config/i386/i386.c: Fix costing of vector FMA.

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

7 years ago2018-10-18 Richard Biener <rguenther@suse.de>
rguenth [Thu, 18 Oct 2018 11:47:51 +0000 (11:47 +0000)] 
2018-10-18  Richard Biener  <rguenther@suse.de>

* config/i386/i386.c (ix86_vec_cost): Remove !parallel path
and argument.
(ix86_builtin_vectorization_cost): For vec_construct properly
cost insertion into SSE regs.
(...): Adjust calls to ix86_vec_cost.

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

7 years ago2018-10-18 Paul Thomas <pault@gcc.gnu.org>
pault [Thu, 18 Oct 2018 10:37:39 +0000 (10:37 +0000)] 
2018-10-18  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/58618
* trans-stmt.c (trans_associate_var): All strings that return
as pointer types can be assigned directly to the associate
name so remove 'attr' and the condition that uses it.

2018-10-18  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/58618
* gfortran.dg/associate_45.f90 : New test.

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

7 years ago2018-10-18 Paul Thomas <pault@gcc.gnu.org>
pault [Thu, 18 Oct 2018 10:33:25 +0000 (10:33 +0000)] 
2018-10-18  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/58618
* trans-decl.c (gfc_get_symbol_decl): Deal correctly with the
initialization with NULL() of a deferred length pointer.

2018-10-18  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/58618
* gfortran.dg/deferred_character_30.f90 : New test.

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

7 years ago2018-10-18 Richard Biener <rguenther@suse.de>
rguenth [Thu, 18 Oct 2018 08:40:54 +0000 (08:40 +0000)] 
2018-10-18  Richard Biener  <rguenther@suse.de>

PR middle-end/87087
Revert
2018-02-07  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/84204
        * tree-chrec.c (chrec_fold_plus_1): Remove size limiting in
        this place.

* gcc.dg/torture/pr87087.c: New testcase.
* gcc.dg/graphite/pr84204.c: XFAIL.
* gcc.dg/graphite/pr85935.c: Likewise.

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

7 years agoSimplify subreg of vec_merge of vec_duplicate
hjl [Thu, 18 Oct 2018 08:18:42 +0000 (08:18 +0000)] 
Simplify subreg of vec_merge of vec_duplicate

We can simplify

  (subreg (vec_merge (vec_duplicate X)
     (vector)
     (const_int ((1 << N) | M)))
  (N * sizeof (X)))

to X when mode of X is the same as of mode of subreg.

gcc/

PR target/87537
* simplify-rtx.c (simplify_subreg): Simplify subreg of vec_merge
of vec_duplicate.
(test_vector_ops_duplicate): Add test for a scalar subreg of a
VEC_MERGE of a VEC_DUPLICATE.

gcc/testsuite/

PR target/87537
* gcc.target/i386/pr87537-1.c: New test.

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

7 years ago2018-10-18 François Dumont <fdumont@gcc.gnu.org>
fdumont [Thu, 18 Oct 2018 05:36:02 +0000 (05:36 +0000)] 
2018-10-18  François Dumont  <fdumont@gcc.gnu.org>

Partial revert.
2018-10-08  François Dumont  <fdumont@gcc.gnu.org>

* include/debug/list (list<>::cbegin()): Use C++11 direct
initialization.
(list<>::cend()): Likewise.
(list<>::erase(const_iterator, const_iterator)): Ensure consistent
iterator comparisons.
(list<>::splice(const_iterator, list&&, const_iterator,
const_iterator)): Likewise.

Partial revert.
2018-10-15  François Dumont  <fdumont@gcc.gnu.org>

* include/debug/vector (vector<>::cbegin()): Use C++11 direct
initialization.
(vector<>::cend()): Likewise.
(vector<>::insert(const_iterator, const _Tp&)): Use consistent
iterator comparison.
(vector<>::erase(const_iterator)): Likewise.
(vector<>::erase(const_iterator, const_iterator)): Likewise.

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

7 years agoDaily bump.
gccadmin [Thu, 18 Oct 2018 00:16:50 +0000 (00:16 +0000)] 
Daily bump.

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

7 years agoAdd -std=c2x, -std=gnu2x, -Wc11-c2x-compat, C2X _Static_assert support.
jsm28 [Wed, 17 Oct 2018 23:58:54 +0000 (23:58 +0000)] 
Add -std=c2x, -std=gnu2x, -Wc11-c2x-compat, C2X _Static_assert support.

Now new features are starting to be added to a C2X draft (in the C2x
branch of the C standard git repository, no public WG14 document yet),
it's time to add -std=c2x and associated options to GCC for use in
enabling C2X features.

This patch adds the expected set of options: -std=c2x, -std=gnu2x,
-Wc11-c2x-compat.  A first C2X feature is added (the only one so far
in the repository that's obviously relevant to GCC): support (as in
C++) for the string constant to be omitted in _Static_assert.  This
feature is duly also supported as an extension in earlier standard
modes (diagnosed with -pedantic, unless -Wno-c11-c2x-compat is given,
or with -Wc11-c2x-compat even in C2X mode).

Bootstrapped with no regressions on x86_64-pc-linux-gnu.

gcc/
* doc/cpp.texi (__STDC_VERSION__): Document C2X handling.
* doc/invoke.texi (-std=c2x, -std=gnu2x): Document new options.
* doc/standards.texi (C Language): Document C2X.
* dwarf2out.c (highest_c_language), config/rl78/rl78.c
(rl78_option_override): Handle "GNU C2X" language name.

gcc/c/
* c-errors.c (pedwarn_c11): New function.
* c-parser.c (disable_extension_diagnostics): Save
warn_c11_c2x_compat and set it to 0.
(restore_extension_diagnostics): Restore warn_c11_c2x_compat.
(c_parser_static_assert_declaration_no_semi): Handle
_Static_assert without string constant.
* c-tree.h (pedwarn_c11): New prototype.

gcc/c-family/
* c-common.c (flag_isoc2x): New variable.
* c-common.h (clk_c): Update comment to reference C2X.
(flag_isoc99, flag_isoc11): Update comments to reference future
standard versions in general.
(flag_isoc2x): Declare.
* c-opts.c (set_std_c2x): New function.
(c_common_handle_option): Handle -std=c2x and -std=gnu2x.
(set_std_c89, set_std_c99, set_std_c11, set_std_c17): Set
flag_isoc2x to 0.
* c.opt (Wc11-c2x-compat, std=c2x, std=gnu2x): New options.

gcc/testsuite/
* gcc.dg/c11-static-assert-7.c, gcc.dg/c11-static-assert-8.c,
gcc.dg/c11-static-assert-9.c, gcc.dg/c2x-static-assert-1.c,
gcc.dg/c2x-static-assert-2.c, gcc.dg/c99-static-assert-2.c,
gcc.dg/gnu2x-static-assert-1.c: New tests.
* gcc.dg/missing-symbol-3.c: Update expected fix-it text.

libcpp/
* include/cpplib.h (enum c_lang): Add CLK_GNUC2X and CLK_STDC2X.
* init.c (lang_defaults): Add GNUC2X and STDC2X entries.
(cpp_init_builtins): Define __STDC_VERSION__ to 202000L for C2X.

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

7 years agoUpdate C17 option descriptions not to say "expected to be published".
jsm28 [Wed, 17 Oct 2018 21:41:42 +0000 (21:41 +0000)] 
Update C17 option descriptions not to say "expected to be published".

* c.opt (std=c17, std=c18, std=gnu17, std=gnu18, std=iso9899:2017)
(std=iso9899:2018): Document C17 as published in 2018.

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

7 years agoUpdate manual references for C17 having been published.
jsm28 [Wed, 17 Oct 2018 21:33:30 +0000 (21:33 +0000)] 
Update manual references for C17 having been published.

This patch makes references in the manual to C17 reflect it having
been published in July 2018.  (For the reasons it took so long to get
to ballot and publication, see the WG14 convenor's report to the last
SC22 plenary - SC22 N5297 - where it references "A troubling new trend
where ISO CS has begun enforcing undocumented rules that are approved
neither by the TMB nor by the WG 14 editors, leading to a decrease in
the usefulness of standards documents.".)

Tested with "make info html pdf".

* doc/invoke.texi (-std=c17), doc/standards.texi (C Language):
Document C17 as published in 2018.

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

7 years agoFix select-type regression
burnus [Wed, 17 Oct 2018 19:58:58 +0000 (19:58 +0000)] 
Fix select-type regression

        PR fortran/87632
        * resolve.c (resolve_select_type): Use correct variable.

        PR fortran/87632
        * gfortran.dg/select_type_47.f90: New.

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

7 years agoPR libstdc++/87619
ville [Wed, 17 Oct 2018 19:08:51 +0000 (19:08 +0000)] 
PR libstdc++/87619

* include/std/variant (__select_index): Fix an off-by-one.
* testsuite/20_util/variant/87619.cc: New.

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

7 years agolibgcc: apply LIB2FUNCS_EXCLUDE logic to LIB2FUNCS_ST
villemoes [Wed, 17 Oct 2018 18:39:48 +0000 (18:39 +0000)] 
libgcc: apply LIB2FUNCS_EXCLUDE logic to LIB2FUNCS_ST

One target file (config/c6x/t-elf) lists _printf and _gcc_bcmp in
LIB2FUNCS_EXCLUDE, but that does not have any effect, since those are
not filtered away from LIB2FUNCS_ST. Another option is to do as in
config/rl78/t-rl78, which explicitly sets LIB2FUNCS_ST

# Remove __gcc_bcmp from LIB2FUNCS_ST
LIB2FUNCS_ST = _eprintf

but honouring LIB2FUNCS_EXCLUDE also for LIB2FUNCS_ST seems more
natural.

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

7 years ago PR middle-end/87623
ebotcazou [Wed, 17 Oct 2018 17:49:28 +0000 (17:49 +0000)] 
PR middle-end/87623
* fold-const.c (fold_truth_andor_1): If the right side is not constant,
bail out if both sides do not have the same storage order.

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

7 years ago * bitmap.c (bitmap_head::dump): New.
aldyh [Wed, 17 Oct 2018 15:59:25 +0000 (15:59 +0000)] 
* bitmap.c (bitmap_head::dump): New.
* bitmap.h (bitmap_head): Add dump().
* gimple-ssa-evrp-analyze.c
(evrp_range_analyzer::try_find_new_range): Adjust for value_range API.
(evrp_range_analyzer::set_ssa_range_info): Same.
(evrp_range_analyzer::record_ranges_from_phis): Same.
(evrp_range_analyzer::record_ranges_from_stmt): Same.
* gimple-ssa-evrp.c (evrp_dom_walker::before_dom_children): Same.
* gimple-ssa-sprintf.c (get_int_range): Same.
(format_integer): Same.
(sprintf_dom_walker::handle_gimple_call): Same.
* ipa-cp.c (ipcp_vr_lattice::meet_with_1): Same.
(ipcp_vr_lattice::top_p): Same.
(ipcp_vr_lattice::bottom_p): Same.
(ipcp_vr_lattice::set_to_bottom): Same.
(ipa_vr_operation_and_type_effects): Same.
(propagate_vr_across_jump_function): Same.
(ipcp_store_vr_results): Same.
* ipa-prop.c (struct ipa_vr_ggc_hash_traits): Same.
(ipa_print_node_jump_functions_for_edge): Same.
(ipa_get_value_range): Same.
(ipa_compute_jump_functions_for_edge): Same.
(ipa_write_jump_function): Same.
* tree-ssa-dom.c (simplify_stmt_for_jump_threading): Same.
* tree-ssa-threadedge.c (record_temporary_equivalences_from_phis):
Same.
* vr-values.c (set_value_range_to_nonnegative): Same.
(set_value_range_to_truthvalue): Same.
(vr_values::get_value_range): Same.
(vr_values::set_defs_to_varying): Same.
(vr_values::update_value_range): Same.
(symbolic_range_based_on_p): Same.
(vr_values::op_with_boolean_value_range_p): Same.
(vr_values::extract_range_for_var_from_comparison_expr): Same.
(vr_values::extract_range_from_ssa_name): Same.
(vr_values::extract_range_from_binary_expr): Same.
(vr_values::extract_range_from_unary_expr): Same.
(vr_values::extract_range_from_cond_expr): Same.
(vr_values::extract_range_from_comparison): Same.
(vr_values::check_for_binary_op_overflow): Same.
(vr_values::extract_range_basic): Same.
(vr_values::extract_range_from_assignment): Same.
(compare_ranges): Same.
(compare_range_with_value): Same.
(vr_values::adjust_range_with_scev): Same.
(vrp_valueize): Same.
(vrp_valueize_1): Same.
(vr_values::get_vr_for_comparison): Same.
(vr_values::compare_name_with_value): Same.
(vr_values::compare_names): Same.
(vr_values::vrp_evaluate_conditional): Same.
(find_case_label_ranges): Same.
(vr_values::vrp_visit_switch_stmt): Same.
(vr_values::extract_range_from_phi_node): Same.
(vr_values::simplify_div_or_mod_using_ranges): Same.
(vr_values::simplify_bit_ops_using_ranges): Same.
(test_for_singularity): Same.
(range_fits_type_p): Same.
(vr_values::simplify_cond_using_ranges_1): Same.
(vr_values::simplify_switch_using_ranges): Same.
(vr_values::simplify_float_conversion_using_ranges): Same.
(vr_values::two_valued_val_range_p): Same.
(vr_values::add_equivalence): Move to value_range::equiv_add.
* vr-values.h (vr_values::add_equivalence): Remove.
(VR_INITIALIZER): Remove.
* tree-vrp.c (value_range::set): New.
(value_range::equiv_add): New.
(value_range::value_range): New.
(value_range::deep_copy): New.
(value_range::check): New.
(value_range::equal_p): New.
(value_range::ignore_equivs_equal_p): New.
(value_range::operator==): New.
(value_range::operator!=): New.
(value_range::symbolic_p): New.
(value_range::numeric_p): New.
(value_range::set_undefined): New.
(value_range::set_varying): New.
(value_range::may_contain_p): New.
(value_range::equiv_clear): New.
(value_range::singleton_p): New.
(value_range::intersect): New.
(value_range::dump): New.
(value_range::set_and_canonicalize): New.
(set_value_range): Adjust for value_range API.
(set_value_range_to_undefined): Same.
(set_value_range_to_varying): Same.
(set_and_canonicalize_value_range): Same.
(set_value_range_to_nonnull): Same.
(set_value_range_to_null): Same.
(range_is_null): Same.
(range_is_nonnull): Same.
(range_int_cst_p): Same.
(range_int_cst_singleton_p): Same.
(symbolic_range_p): Same.
(range_includes_zero_p): Same.
(value_range_constant_singleton): Same.
(vrp_set_zero_nonzero_bits): Same.
(ranges_from_anti_range): Same.
(extract_range_into_wide_ints): Same.
(extract_range_from_multiplicative_op): Same.
(set_value_range_with_overflow): Same.
(extract_range_from_binary_expr_1): Same.
(extract_range_from_unary_expr): Same.
(dump_value_range): Same.
(debug_value_range): Same.
(vrp_prop::check_array_ref): Same.
(vrp_prop::check_mem_ref): Same.
(vrp_prop::vrp_initialize): Same.
(vrp_prop::visit_stmt): Same.
(intersect_ranges): Same.
(vrp_prop::visit_phi): Same.
(vrp_prop::vrp_finalize): Same.
(determine_value_range_1): Same.
(determine_value_range): Same.
(vrp_intersect_ranges_1): Rename to...
(vrp_intersect_1): this.
(vrp_intersect_ranges): Rename to...
(value_range::intersect_helper): ...this.
(vrp_meet_1): Rename to...
(value_range::union_helper): ...this.
(vrp_meet): Rename to...
(value_range::union_): ...this.
(copy_value_range): Remove.
* tree-vrp.h (struct value_range): Rewrite into a proper class.
(value_range::vrtype): New.
(value_range::type): New.
(value_range::equiv): New.
(value_range::min): New.
(value_range::max): New.
(value_range::varying_p): New.
(value_range::undefined_p): New.
(value_range::null_p): New.
(value_range::equiv_add): New.
(copy_value_range): Remove.

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

7 years agoRun selftests for C++ as well as C
dmalcolm [Wed, 17 Oct 2018 13:56:05 +0000 (13:56 +0000)] 
Run selftests for C++ as well as C

gcc/ChangeLog:
* Makefile.in (SELFTEST_TARGETS): New.
(selftest) Change from s-selftest-c to $(SELFTEST_TARGETS).
(C_SELFTEST_FLAGS, C_SELFTEST_DEPS, s-selftest-c, selftest-c-gdb)
(selftest-gdb, selftest-c-valgrind, selftest-valgrind): Move to
c/Make-lang.in.
(CPP_SELFTEST_FLAGS, CPP_SELFTEST_DEPS, s-selftest-c++)
(selftest-c++-gdb, selftest-c++-valgrind): Move to
cp/Make-lang.in.
* configure: Regenerate.
* configure.ac (selftest_languages): New.

gcc/brig/ChangeLog:
* Make-lang.in (selftest-brig): New.

gcc/c/ChangeLog:
* Make-lang.in (selftest-c): New.
(C_SELFTEST_FLAGS, C_SELFTEST_DEPS, s-selftest-c, selftest-c-gdb)
(selftest-gdb, selftest-c-valgrind, selftest-valgrind): Move here
from gcc/Makefile.in.

gcc/cp/ChangeLog:
* Make-lang.in (selftest-c++): New.
(CPP_SELFTEST_FLAGS, CPP_SELFTEST_DEPS, s-selftest-c++)
(selftest-c++-gdb, selftest-c++-valgrind): Move here from
gcc/Makefile.in.

gcc/fortran/ChangeLog:
* Make-lang.in (selftest-fortran): New.

gcc/go/ChangeLog:
* Make-lang.in (selftest-go): New.

gcc/jit/ChangeLog:
* Make-lang.in (selftest-jit): New.

gcc/lto/ChangeLog:
* Make-lang.in (selftest-lto): New.

gcc/objc/ChangeLog:
* Make-lang.in (selftest-objc): New.

gcc/objcp/ChangeLog:
* Make-lang.in (selftest-obj-c++): New.

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

7 years ago * tree-vrp.c (extract_range_from_multiplicative_op): Remove
aldyh [Wed, 17 Oct 2018 12:32:08 +0000 (12:32 +0000)] 
    * tree-vrp.c (extract_range_from_multiplicative_op): Remove
overflow wraps argument.
        (extract_range_from_binary_expr_1): Do not pass overflow wraps to
wide_int_range_multiplicative_op.
        * wide-int-range.cc (wide_int_range_mult_wrapping): Remove
overflow wraps argument.
        (wide_int_range_multiplicative_op): Same.
        (wide_int_range_lshift): Same.
        (wide_int_range_div): Same.
        * wide-int-range.h (wide_int_range_multiplicative_op): Same.
        (wide_int_range_lshift): Same.
        (wide_int_range_div): Same.

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

7 years ago * wide-int-range.h (wide_int_range_shift_undefined_p): Adjust to
aldyh [Wed, 17 Oct 2018 12:31:58 +0000 (12:31 +0000)] 
* wide-int-range.h (wide_int_range_shift_undefined_p): Adjust to
use sign as argument.
* tree-vrp.c (extract_range_from_binary_expr_1): Pass sign to
wide_int_range_shift_undefined_p.

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

7 years ago2018-10-17 Paolo Carlini <paolo.carlini@oracle.com>
paolo [Wed, 17 Oct 2018 07:34:28 +0000 (07:34 +0000)] 
2018-10-17  Paolo Carlini  <paolo.carlini@oracle.com>

* Fix typo in ChangeLog.

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

7 years ago/cp
paolo [Wed, 17 Oct 2018 07:32:15 +0000 (07:32 +0000)] 
/cp
2018-10-17  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/84705
* init.c (build_cplus_new): Avoid duplicate diagnostic about
incomplete type, early return error_mark_node if the second
argument is error_mark_node.

/testsuite
2018-10-17  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/84705
* g++.dg/cpp0x/pr84705.C: New.

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

7 years ago2018-10-17 Paul Thomas <pault@gcc.gnu.org>
pault [Wed, 17 Oct 2018 07:16:16 +0000 (07:16 +0000)] 
2018-10-17  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/56386
PR fortran/58906
PR fortran/77385
PR fortran/80260
PR fortran/82077
* resolve.c (resolve_variable): Fix up expressions with array
associate names, where the parser did not detect that this is
array and there was no array part_ref in the expression.

2018-10-17  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/56386
PR fortran/58906
PR fortran/77385
* gfortran.dg/associate_44.f90 : New test.

PR fortran/80260
* gfortran.dg/select_type_45.f90 : New test.

PR fortran/82077
* gfortran.dg/select_type_46.f90 : New test.

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

7 years agoDaily bump.
gccadmin [Wed, 17 Oct 2018 00:17:01 +0000 (00:17 +0000)] 
Daily bump.

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

7 years ago * es.po: Update.
jsm28 [Wed, 17 Oct 2018 00:10:29 +0000 (00:10 +0000)] 
* es.po: Update.

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

7 years agoFix regression in std::random_device default constructor
redi [Tue, 16 Oct 2018 22:42:39 +0000 (22:42 +0000)] 
Fix regression in std::random_device default constructor

When the default constructor was split out into a separate function (in
r261522) I accidentally  made it call _M_init("mt19937") instead of
_M_init_pretr1("mt19937"). That means it will always throw an exception,
because "mt19937" isn't a valid token accepted by the _M_init function.
Restore the original behaviour by calling _M_init_pretr1("mt19937").

* include/bits/random.h (random_device) [!_GLIBCXX_USE_DEV_RANDOM]:
Fix default constructor to call correct function.

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

7 years agoExtend source-expr test case
burnus [Tue, 16 Oct 2018 21:07:31 +0000 (21:07 +0000)] 
Extend source-expr test case

        PR fortran/67125
        * gfortran.dg/allocate_with_source_26.f90: Extend
        testcase with polymorphic variables.

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

7 years agoFix bounds with ALLOCATE with source-expr
burnus [Tue, 16 Oct 2018 18:37:08 +0000 (18:37 +0000)] 
Fix bounds with ALLOCATE with source-expr

        PR fortran/67125
        * trans-array.c (gfc_array_init_size, gfc_array_allocate):
        Rename argument e3_is_array_constr to e3_has_nodescriptor
        and update comments.
        * trans-stmt.c (gfc_trans_allocate): Also fix lower bound
        to 1 for nonalloc/nonpointer func results/vars besides
        array constructors.

        PR fortran/67125
        * gfortran.dg/allocate_with_source_26.f90: New.

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

7 years agoHandle form_team w/ function args
burnus [Tue, 16 Oct 2018 18:32:11 +0000 (18:32 +0000)] 
Handle form_team w/ function args

        PR fortran/87556
        * trans-stmt.c (form_team, change_team, sync_team):
        Don't ignore argse.pre/argse.post.

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

7 years ago[AArch64] Use @ pattern to eliminate switch statement in one more place
ktkachov [Tue, 16 Oct 2018 17:28:56 +0000 (17:28 +0000)] 
[AArch64] Use @ pattern to eliminate switch statement in one more place

We can use the new '@' modifier to MD patterns to generate mode-parametrised gen_ functions
for the despeculate_copy patterns and therefore remove the switch on modes in aarch64.c
that is used to pick the right generator. This simplifies the code.

* config/aarch64/aarch64.md (despeculate_copy<ALLI_TI:mode>):
Rename to...
(@despeculate_copy<ALLI_TI:mode>): ... This.
* config/aarch64/aarch64.c (aarch64_speculation_safe_value): Remove
switch statement.

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

7 years agoRename namespace alias in test to avoid name collision
redi [Tue, 16 Oct 2018 16:13:00 +0000 (16:13 +0000)] 
Rename namespace alias in test to avoid name collision

* testsuite/experimental/net/internet/address/v4/creation.cc: Do not
declare ip in global namespace, to avoid collision with struct ip
defined in <netinet/ip.h>.

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

7 years agoFix versioned namespace macros for Networking TS
redi [Tue, 16 Oct 2018 16:12:51 +0000 (16:12 +0000)] 
Fix versioned namespace macros for Networking TS

We no longer put the versioned namespace macros on the innermost
namespace, but always nested directly below namespace std.

* include/experimental/bits/net.h: Move versioned namespace macros
to correct location.
* include/experimental/buffer: Likewise.
* include/experimental/executor: Likewise.
* include/experimental/internet: Likewise.
* include/experimental/io_context: Likewise.
* include/experimental/netfwd: Likewise.
* include/experimental/socket: Likewise.
* include/experimental/timer: Likewise.

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

7 years agoUse autoconf to check for features needed by Networking TS
redi [Tue, 16 Oct 2018 16:12:32 +0000 (16:12 +0000)] 
Use autoconf to check for features needed by Networking TS

* config.h.in: Regenerate.
* configure: Regenerate.
* configure.ac: Check for headers used by Networking TS.
* include/experimental/executor: Include <condition_variable>
instead of <mutex>.
* include/experimental/internet: Use autoconf macros for available
headers.  Include <sys/socket.h> for.  Remove <cstring> and use
__builtin_memcpy and __builtin_strchr.
(resolver_errc) [!_GLIBCXX_HAVE_NETDB_H]: Do not define.
(address_v4::to_string, address_v6::to_string)
[!_GLIBCXX_HAVE_ARPA_INET_H]: Likewise.
(basic_resolver_results) [!_GLIBCXX_HAVE_NETDB_H]: Make private
constructors report errors.
[!_GLIBCXX_HAVE_NETINET_TCP_H] (tcp::no_delay): Do not define.
* include/experimental/io_context: Likewise.
* include/experimental/socket: Likewise.
[!_GLIBCXX_HAVE_SYS_SOCKET_H, !_GLIBCXX_HAVE_POLL_H] (socket_base): Do
not define nested types when relevant header not available.
(__socket_impl::native_non_blocking) [!_GLIBCXX_HAVE_FCNTL_H]: Report
an error.
(__basic_socket_impl::open, __basic_socket_impl::local_endpoint)
(__basic_socket_impl::bind) [!_GLIBCXX_HAVE_SYS_SOCKET_H]: Likewise.
(__basic_socket_impl::io_control) [!_GLIBCXX_HAVE_SYS_IOCTL_H]:
Likewise.
(basic_socket::at_mark, basic_socket::shutdown)
(basic_socket::remote_endpoint, basic_socket::connect)
(basic_socket::async_connect) [!_GLIBCXX_HAVE_SYS_SOCKET_H]: Likewise.
(basic_socket::available) [_GLIBCXX_HAVE_SYS_IOCTL_H]: Check macro
for <sys/ioctl.h> availability.
(basic_socket::wait) [!_GLIBCXX_HAVE_POLL_H]: Likewise.
(basic_datagram_socket::receive, basic_datagram_socket::async_receive)
(basic_datagram_socket::receive_from)
(basic_datagram_socket::async_receive_from)
(basic_datagram_socket::send, basic_datagram_socket::async_send)
(basic_datagram_socket::send_to, basic_datagram_socket::async_send_to)
[!_GLIBCXX_HAVE_SYS_SOCKET_H]: Likewise.
(basic_stream_socket::receive, basic_stream_socket::async_receive)
(basic_stream_socket::send, basic_stream_socket::async_send)
[!_GLIBCXX_HAVE_SYS_SOCKET_H]: Likewise.
(basic_socket_acceptor::listen, basic_socket_acceptor::accept)
(basic_socket_acceptor::async_accept) [!_GLIBCXX_HAVE_SYS_SOCKET_H]:
Likewise.
(basic_socket_acceptor::wait) [!_GLIBCXX_HAVE_POLL_H]: Likewise.

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

7 years agoUse effective target in Networking TS tests
redi [Tue, 16 Oct 2018 15:37:10 +0000 (15:37 +0000)] 
Use effective target in Networking TS tests

* testsuite/experimental/net/headers.cc: Remove dg-options.
* testsuite/experimental/net/buffer/arithmetic.cc: Replace dg-options
with dg-do using effective target.
* testsuite/experimental/net/buffer/const.cc: Likewise.
* testsuite/experimental/net/buffer/creation.cc: Likewise.
* testsuite/experimental/net/buffer/mutable.cc: Likewise.
* testsuite/experimental/net/buffer/size.cc: Likewise.
* testsuite/experimental/net/buffer/traits.cc: Likewise.
* testsuite/experimental/net/execution_context/use_service.cc:
Likewise.
* testsuite/experimental/net/internet/address/v4/comparisons.cc:
Likewise.
* testsuite/experimental/net/internet/address/v4/cons.cc: Likewise.
* testsuite/experimental/net/internet/address/v4/creation.cc:
Likewise.
* testsuite/experimental/net/internet/address/v4/members.cc: Likewise.
* testsuite/experimental/net/internet/resolver/base.cc: Likewise.
* testsuite/experimental/net/internet/resolver/ops/lookup.cc:
Likewise.
* testsuite/experimental/net/internet/resolver/ops/reverse.cc:
Likewise.
* testsuite/experimental/net/timer/waitable/cons.cc: Likewise.
* testsuite/experimental/net/timer/waitable/dest.cc: Likewise.
* testsuite/experimental/net/timer/waitable/ops.cc: Likewise.

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

7 years agoAdd missing return
redi [Tue, 16 Oct 2018 15:24:00 +0000 (15:24 +0000)] 
Add missing return

* include/experimental/socket (basic_socket::at_mark): Add missing
return.

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

7 years agoDefine _GLIBCXX_USE_DEV_RANDOM as replacement for _GLIBCXX_USE_RANDOM_TR1
redi [Tue, 16 Oct 2018 14:49:29 +0000 (14:49 +0000)] 
Define _GLIBCXX_USE_DEV_RANDOM as replacement for _GLIBCXX_USE_RANDOM_TR1

Define and use a new macro with a more descriptive name. Only use the
old macro in <tr1/random.h>.

* acinclude.m4 (GLIBCXX_CHECK_RANDOM_TR1): Replace with ...
(GLIBCXX_CHECK_DEV_RANDOM): New macro with more descriptive name.
Define _GLIBCXX_USE_DEV_RANDOM as well as _GLIBCXX_USE_RANDOM_TR1.
* config.h.in: Regenerate.
* configure: Regenerate.
* configure.ac: Use GLIBCXX_CHECK_DEV_RANDOM instead of
GLIBCXX_CHECK_RANDOM_TR1.
crossconfig.m4: Likewise.
* include/bits/random.h (random_device): Use _GLIBCXX_USE_DEV_RANDOM
instead of _GLIBCXX_USE_RANDOM_TR1.
* testsuite/26_numerics/random/random_device/cons/token.cc: Likewise.

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

7 years agoIntroduce dg-add-options net_ts
ro [Tue, 16 Oct 2018 12:27:52 +0000 (12:27 +0000)] 
Introduce dg-add-options net_ts

* testsuite/lib/dg-options.exp (add_options_for_net_ts): New proc.
* testsuite/experimental/net/internet/address/v4/comparisons.cc:
Add dg-add-options net_ts.
* testsuite/experimental/net/internet/address/v4/cons.cc: Likewise.
* testsuite/experimental/net/internet/address/v4/creation.cc: Likewise.
* testsuite/experimental/net/internet/address/v4/members.cc: Likewise.
* testsuite/experimental/net/internet/resolver/base.cc: Likewise.
* testsuite/experimental/net/internet/resolver/ops/lookup.cc: Likewise.
* testsuite/experimental/net/internet/resolver/ops/reverse.cc: Likewise.

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

7 years agoFix tests that fail when compiled without optimisation
redi [Tue, 16 Oct 2018 12:06:05 +0000 (12:06 +0000)] 
Fix tests that fail when compiled without optimisation

* testsuite/20_util/duration/literals/range_neg.cc: Adjust pruned
diagnostic to account for quotes around 'constexpr'.
* testsuite/23_containers/deque/capacity/max_size.cc: Define static
variable.
* testsuite/23_containers/vector/capacity/max_size.cc: Likewise.

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

7 years agoPR libstdc++/87618 fix typos in linker script
redi [Tue, 16 Oct 2018 11:14:37 +0000 (11:14 +0000)] 
PR libstdc++/87618 fix typos in linker script

PR libstdc++/87618
* config/abi/pre/gnu.ver: Fix typos in patterns for basic_stringbuf.
* testsuite/27_io/basic_stringbuf/cons/char/default.cc: Disable
optimisation to check constructor definition can be linked to.
* testsuite/27_io/basic_stringbuf/cons/wchar_t/default.cc: Likewise.

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

7 years agofixincludes: vxworks: regs.h: Fix includes in regs.h wrapper
villemoes [Tue, 16 Oct 2018 09:40:27 +0000 (09:40 +0000)] 
fixincludes: vxworks: regs.h: Fix includes in regs.h wrapper

A quick experiment reveals that this hack is needed for C code - simply
removing this hack entirely breaks the build of libstdc++, since
regs.h (more accurately, the cpu-specific header it pulls in) defines
structs in terms of types from vxTypesOld. Those definitions are
properly guarded by #ifndef _ASMLANGUAGE, but the cpu-files do not take
care to include vxTypesOld.h for the types they depend on.

But when using regs.h from some assembly file, the assembler chokes on
the typedefs in vxTypesOld.h. We can fix that by guarding the include of
vxTypesOld by !_ASMLANGUAGE. This should not affect existing C code.

Now, the OS' regs.h contains preprocessor conditionals such as

#if     CPU_FAMILY==I960
...
#endif  /* CPU_FAMILY==I960 */
#if     CPU_FAMILY==MC680X0
...
#endif  /* CPU_FAMILY==MC680X0 */

Without definitions of CPU_FAMILY, I960 etc., these would all be true,
which will not end well. Code using the fix-included regs.h
automatically get vxCpu.h via a chain of includes from vxTypesOld.h, but
we can make regs.h a little more self-contained for both C and asm users
by doing an explicit include of vxCpu.h.

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

7 years agoObsolete Solaris 10 support
ro [Tue, 16 Oct 2018 08:50:48 +0000 (08:50 +0000)] 
Obsolete Solaris 10 support

contrib:
* config-list.mk (LIST): Switch to i686-solaris2.11,
sparc64-sun-solaris2.11.

gcc:
* config.gcc: Obsolete *-*-solaris2.10*.
* doc/install.texi (Specific, *-*-solaris2*): Document it.

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

7 years agoDaily bump.
gccadmin [Tue, 16 Oct 2018 00:17:03 +0000 (00:17 +0000)] 
Daily bump.

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

7 years ago * config/ft32/ft32.md (ft32_general_movsrc_operand): Disable
law [Mon, 15 Oct 2018 23:22:05 +0000 (23:22 +0000)] 
* config/ft32/ft32.md (ft32_general_movsrc_operand): Disable
reg + sym +- const_int addressing modes.

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

7 years agodiagnostics: add minimum width to left margin for line numbers
dmalcolm [Mon, 15 Oct 2018 22:16:59 +0000 (22:16 +0000)] 
diagnostics: add minimum width to left margin for line numbers

This patch adds a minimum width to the left margin used for printing
line numbers.   I set the default to 6.  Hence rather than:

some-filename:9:1: some message
9 | some source text
  | ^~~~~~~~~~~~~~~~
some-filename:10:1: another message
10 | more source text
   | ^~~~~~~~~~~~~~~~

we now print:

some-filename:9:42: some message
    9 | some source text
      | ^~~~~~~~~~~~~~~~
some-filename:10:42: another message
   10 | more source text
      | ^~~~~~~~~~~~~~~~

This implicitly fixes issues with margins failing to line up due
to different lengths of the number when we haven't read the full
file yet and so don't know the highest possible line number, for
line numbers up to 99999.

Doing so adds some whitespace on the left-hand side, for non-huge
files, at least.  I believe that this makes it easier to see where each
diagnostic starts, by visually breaking things up at the leftmost
column; my hope is to make it easier for the eye to see the different
diagnostics as if they were different "paragraphs".

gcc/ChangeLog:
* common.opt (fdiagnostics-minimum-margin-width=): New option.
* diagnostic-show-locus.c (layout::layout): Apply the minimum
margin width.
(layout::start_annotation_line): Only print up to 3 of the
margin character, to avoid touching the left-hand side.
(selftest::test_diagnostic_show_locus_fixit_lines): Update for
minimum margin width, as set by test_diagnostic_context's ctor.
(selftest::test_fixit_insert_containing_newline): Likewise.
(selftest::test_fixit_insert_containing_newline_2): Likewise.
(selftest::test_line_numbers_multiline_range): Clear
dc.min_margin_width.
* diagnostic.c (diagnostic_initialize): Initialize
min_margin_width.
* diagnostic.h (struct diagnostic_context): Add field
"min_margin_width".
* doc/invoke.texi: Add -fdiagnostics-minimum-margin-width=.
* opts.c (common_handle_option): Handle
OPT_fdiagnostics_minimum_margin_width_.
* selftest-diagnostic.c
(selftest::test_diagnostic_context::test_diagnostic_context):
Initialize min_margin_width to 6.
* toplev.c (general_init): Initialize global_dc->min_margin_width.

gcc/testsuite/ChangeLog:
* gcc.dg/missing-header-fixit-3.c: Update expected indentation
to reflect minimum margin width.
* gcc.dg/missing-header-fixit-4.c: Likewise.
* gcc.dg/plugin/diagnostic-test-show-locus-bw-line-numbers.c:
Likewise.
* gcc.dg/plugin/diagnostic-test-show-locus-color-line-numbers.c:
Likewise.
* gcc.dg/plugin/diagnostic-test-show-locus-bw-line-numbers-2.c:
New test.
* gcc.dg/plugin/plugin.exp (plugin_test_list): Add it.

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

7 years agoRemove stray reference to error_at_rich_loc
dmalcolm [Mon, 15 Oct 2018 22:09:51 +0000 (22:09 +0000)] 
Remove stray reference to error_at_rich_loc

"error_at_rich_loc" went away in r254280 (in favor of overloading
"error_at"), but there was a stray reference in a comment.

Remove it.

gcc/ChangeLog:
* gcc-rich-location.h (gcc_rich_location::add_location_if_nearby):
Fix usage of "error_at_rich_loc" in the comment.

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

7 years ago2018-10-15 Tobias Burnus <burnus@net-b.de>
burnus [Mon, 15 Oct 2018 18:58:17 +0000 (18:58 +0000)] 
2018-10-15  Tobias Burnus  <burnus@net-b.de>

       PR fortran/87597
       * gfortran.dg/inline_matmul_24.f90: Tweak scan-tree.

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

7 years ago[PR87563][AARCH64-SVE]: Don't keep ifcvt loop when COND_<OP> ifn could not be vectorized.
renlin [Mon, 15 Oct 2018 16:49:05 +0000 (16:49 +0000)] 
[PR87563][AARCH64-SVE]: Don't keep ifcvt loop when COND_<OP> ifn could not be vectorized.

ifcvt will created versioned loop and it will permissively generate
scalar COND_<OP> ifn.

If in the loop vectorize pass, COND_<OP> could not get vectoized,
the if-converted loop should be abandoned when the target doesn't support
such ifn.

gcc/

2018-10-12  Renlin Li  <renlin.li@arm.com>

PR target/87563
* tree-vectorizer.c (try_vectorize_loop_1): Don't use
if-conversioned loop when it contains ifn with types not
supported by backend.
* internal-fn.c (expand_direct_optab_fn): Add an assert.
(direct_internal_fn_supported_p): New helper function.
* internal-fn.h (direct_internal_fn_supported_p): Declare.

gcc/testsuite/

2018-10-12  Renlin Li  <renlin.li@arm.com>

PR target/87563
* gcc.target/aarch64/sve/pr87563.c: New.

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

7 years ago2018-10-15 Paul Thomas <pault@gcc.gnu.org>
pault [Mon, 15 Oct 2018 16:31:15 +0000 (16:31 +0000)] 
2018-10-15  Paul Thomas  <pault@gcc.gnu.org>
    Tobias Burnus  <burnus@gcc.gnu.org>

PR fortran/87566
* resolve.c (resolve_assoc_var): Add missing array spec for
class associate names.
(resolve_select_type): Handle case where last typed component
of the selector has a different type to the expression.
* trans-expr.c (gfc_find_and_cut_at_last_class_ref): Replace
call to gfc_expr_to_initialize with call to gfc_copy_expr.
(gfc_conv_class_to_class): Guard assignment to 'len' field
against case where zero constant is supplied.

2018-10-15  Paul Thomas  <pault@gcc.gnu.org>
    Tobias Burnus  <burnus@gcc.gnu.org>

PR fortran/87566
* gfortran.dg/select_type_44.f90: New test.
* gfortran.dg/associate_42.f90: New test.

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

7 years ago PR target/87572
jakub [Mon, 15 Oct 2018 16:08:09 +0000 (16:08 +0000)] 
PR target/87572
* common/config/i386/i386-common.c (OPTION_MASK_ISA_AVX512F_UNSET):
Remove OPTION_MASK_ISA_AVX5124FMAPS_UNSET and
OPTION_MASK_ISA_AVX5124VNNIW_UNSET.

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

7 years agoAdjust test to pass with latest glibc
redi [Mon, 15 Oct 2018 13:55:42 +0000 (13:55 +0000)] 
Adjust test to pass with latest glibc

Glibc changed the it_IT locales to use thousands separators,
invalidating this test. Use nl_NL instead, as Dutch only uses grouping
for money not numbers.

* testsuite/22_locale/numpunct/members/char/3.cc: Adjust test to
account for change to glibc it_IT localedata (glibc bz#10797).

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

7 years agoPR libstdc++/87587 prevent -Wabi warnings
redi [Mon, 15 Oct 2018 12:58:51 +0000 (12:58 +0000)] 
PR libstdc++/87587 prevent -Wabi warnings

The warnings about changes to empty struct parameter passing can be
ignored because the callers are all internal to the library, and so
compiled with the same -fabi-version as the function definitions.

It would be preferable to use #pragma GCC diagnostic warning "-Wabi=12"
to get warnings about any other ABI changes in future versions, but
until PR c++/87611 is fixed the warnings must be completely disabled
with #pragma GCC diagnostic ignroed "-Wabi".

PR libstdc++/87587
* src/c++11/cxx11-shim_facets.cc: Suppress -Wabi warnings.

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

7 years ago PR tree-optimization/87022
amker [Mon, 15 Oct 2018 11:35:56 +0000 (11:35 +0000)] 
PR tree-optimization/87022
* tree-loop-distribution.c (pg_add_dependence_edges): Check all
bits in dist vector rather than the first one.

gcc/testsuite
PR tree-optimization/87022
* gcc.dg/tree-ssa/pr87022.c: New test.

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