gcc.git
5 years agoDaily bump.
GCC Administrator [Thu, 6 Dec 2018 00:16:36 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r266837

5 years agodwarf2out.c (field_byte_offset): Remove #ifdef PCC_BITFIELD_TYPE_MATTERS check.
Uros Bizjak [Thu, 6 Dec 2018 00:14:41 +0000 (01:14 +0100)]
dwarf2out.c (field_byte_offset): Remove #ifdef PCC_BITFIELD_TYPE_MATTERS check.

* dwarf2out.c (field_byte_offset): Remove
#ifdef PCC_BITFIELD_TYPE_MATTERS check.

From-SVN: r266834

5 years agore PR c/87028 (false positive -Wstringop-truncation strncpy with global variable...
Jeff Law [Wed, 5 Dec 2018 23:10:08 +0000 (16:10 -0700)]
re PR c/87028 (false positive -Wstringop-truncation strncpy with global variable source string)

PR c/87028
* calls.c (get_attr_nonstring_decl): Avoid setting *REF to
SSA_NAME_VAR.
* gcc/gimple-low.c (lower_stmt): Fold builtin calls here.
* gimplify (maybe_fold_stmt): Avoid folding builtin calls.

PR c/87028
* c-c++-common/Wstringop-truncation.c: Remove xfails.
* gcc.dg/Wstringop-truncation-5.c: New test.
* gcc.dg/strcmpopt_1.c: Adjust.
* gcc.dg/tree-ssa/pr79697.c: Same.

From-SVN: r266833

5 years agoruntime: add precise stack scan support
Ian Lance Taylor [Wed, 5 Dec 2018 23:09:51 +0000 (23:09 +0000)]
runtime: add precise stack scan support

    This CL adds support of precise stack scan using stack maps to
    the runtime. The stack maps are generated by the compiler (if
    supported). Each safepoint is associated with a (real or dummy)
    landing pad, and its "type info" in the exception table is a
    pointer to the stack map. When a stack is scanned, the stack map
    is found by the stack unwinding code by inspecting the exception
    table (LSDA).

    For precise stack scan we need to unwind the stack. There are
    three cases:

    - If a goroutine is scanning its own stack, it can unwind the
      stack and scan the frames.

    - If a goroutine is scanning another, stopped, goroutine, it
      cannot directly unwind the target stack. We handle this by
      switching (runtime.gogo) to the target g, letting it unwind
      and scan the stack, and switch back.

    - If we are scanning a goroutine that is blocked in a syscall,
      we send a signal to the target goroutine's thread, and let the
      signal handler unwind and scan the stack. Extra care is needed
      as this races with enter/exit syscall.

    Currently this is only implemented on linux.

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

From-SVN: r266832

5 years agodarwin - add configuration support for 'otool'
Iain Sandoe [Wed, 5 Dec 2018 21:57:00 +0000 (21:57 +0000)]
darwin - add configuration support for 'otool'

2018-12-05  Iain Sandoe  <iain@sandoe.co.uk>

* configure.ac (NCN_STRICT_CHECK_TOOLS): Check otool.
(ACX_CHECK_INSTALLED_TARGET_TOOL): Likewise
(GCC_TARGET_TOOL): Likewise.
* Makefile.tpl (HOST_EXPORTS): Add OTOOL, OTOOL_FOR_TARGET.
(BASE_TARGET_EXPORTS): OTOOL, export OTOOL_FOR_TARGET.
OTOOL, OTOOL_FOR_TARGET: New substitutions.
(EXTRA_HOST_FLAGS, EXTRA_TARGET_FLAGS): Add OTOOL.
* configure: Regenerate.
* Makefile.in: Likewise.

gcc/

* configure.ac (gcc_cv_otool): Set.
* configure: Regenerate.

From-SVN: r266831

5 years agocygming.h (PCC_BITFIELD_TYPE_MATTERS): Remove.
Uros Bizjak [Wed, 5 Dec 2018 20:40:56 +0000 (21:40 +0100)]
cygming.h (PCC_BITFIELD_TYPE_MATTERS): Remove.

* config/i386/cygming.h (PCC_BITFIELD_TYPE_MATTERS): Remove.
(GROUP_BITFIELDS_BY_ALIGN): Ditto.

From-SVN: r266830

5 years agoUse unsigned arithmetic for demoted vector plus/minus/mult (PR 88064)
Richard Sandiford [Wed, 5 Dec 2018 15:53:03 +0000 (15:53 +0000)]
Use unsigned arithmetic for demoted vector plus/minus/mult (PR 88064)

As Jakub pointed out, if we narrow a plus, minus or mult operation based
on the number of bits that consumers need, we have to convert a signed
operation to an unsigned one in order to avoid new undefined behaviour.
This patch does that and generalises vect_convert_input and
vect_recog_over_widening_pattern to cope with the extra casts.
(The changes to both functions are covered by existing tests.)

2018-12-03  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
PR tree-optimization/88064
* tree-vect-patterns.c (vect_convert_input): Convert the result of
an existing cast if it has the right width but the wrong sign.
Do not test the signedness of the required result when
considering whether to split an existing cast; instead split to
a type with the same signedness as the source of the cast, then
convert it to the opposite signedness where necessary.
(vect_recog_over_widening_pattern): Handle sign changes between
the final PLUS_EXPR and the RSHIFT_EXPR.
(vect_recog_average_pattern): Use an unsigned operation when
truncating an addition, subtraction or multiplication.  Cast the
result back to the "real" signedness before promoting.

gcc/testsuite/
PR tree-optimization/88064
* gcc.dg/vect/vect-over-widen-23.c: New test.

From-SVN: r266829

5 years agotestsuite: turn down verbosity of "process-message"
David Malcolm [Wed, 5 Dec 2018 15:16:05 +0000 (15:16 +0000)]
testsuite: turn down verbosity of "process-message"

When debugging a failing test, I typically invoke DejaGnu at
verbosity level 2 (via RUNTESTFLAGS="-v -v dg.exp=something"),
so that DejaGnu prints the command line used to invoke the
compiler; specifically these two sites:
  target.exp "Invoking the compiler as "
  remote.exp "Executing on $hostname"
which are both verbosity level 2.

Unfortunately I run into an O(n^2) issue with logging from
process-message:

  verbose "process-message:\n${dg-messages}" 2

where, as each message each processed, it emits the state
of dg-messages, containing the new message and all messages so far,
leading to exponentially-increasing output at level 2 as more test
messages are added.

This patch papers over the problem by moving the
problematic message to verbosity level 3.

gcc/testsuite/ChangeLog:
* lib/gcc-dg.exp (process-message): Change verbosity level of
"verbose" from 2 to 3.
(dg-locus): Likewise.

From-SVN: r266828

5 years agore PR middle-end/63184 (Fails to simplify comparison)
Richard Biener [Wed, 5 Dec 2018 14:55:59 +0000 (14:55 +0000)]
re PR middle-end/63184 (Fails to simplify comparison)

2018-12-05  Richard Biener  <rguenther@suse.de>

PR middle-end/63184
* c-c++-common/pr19807-2.c: New testcase.
* c-c++-common/pr19807-3.c: Likewise.

From-SVN: r266827

5 years ago* udivmodhi4.c (__udivmodhi4): Fix loop end check.
Paul Koning [Wed, 5 Dec 2018 14:25:11 +0000 (09:25 -0500)]
* udivmodhi4.c (__udivmodhi4): Fix loop end check.

From-SVN: r266826

5 years agoProvide SPARCv9 MAXALIGN in gcc.target/sparc/attr-aligned.c (PR testsuite/88208)
Rainer Orth [Wed, 5 Dec 2018 14:16:08 +0000 (14:16 +0000)]
Provide SPARCv9 MAXALIGN in gcc.target/sparc/attr-aligned.c (PR testsuite/88208)

PR testsuite/88208
* gcc.target/sparc/attr-aligned.c (MAXALIGN) [__sparcv9 ||
__arch64__]: Define.

From-SVN: r266825

5 years agoBuild gcc.target/sparc/20181129-?.c as C99
Rainer Orth [Wed, 5 Dec 2018 14:10:06 +0000 (14:10 +0000)]
Build gcc.target/sparc/20181129-?.c as C99

* gcc.target/sparc/20181129-1.c: Compile with -std=c99.
* gcc.target/sparc/20181129-2.c: Likewise.

From-SVN: r266824

5 years agore PR tree-optimization/86637 (ICE: tree check: expected block, have <invalid tree...
Richard Biener [Wed, 5 Dec 2018 11:36:03 +0000 (11:36 +0000)]
re PR tree-optimization/86637 (ICE: tree check: expected block, have <invalid tree code> in inlining_chain_to_json, at optinfo-emit-json.cc:293)

2018-12-05  Richard Biener  <rguenther@suse.de>

PR tree-optimization/86637
* tree-vectorizer.c (pass_slp_vectorize::execute): Reset
vect_location at the end.

From-SVN: r266821

5 years agore PR tree-optimization/87360 (ICE in remove_redundant_iv_tests at gcc/tree-ssa-loop...
Jakub Jelinek [Wed, 5 Dec 2018 11:05:59 +0000 (12:05 +0100)]
re PR tree-optimization/87360 (ICE in remove_redundant_iv_tests at gcc/tree-ssa-loop-ivcanon.c:571 since r255467)

PR tree-optimization/87360
* gimple-loop-jam.c (tree_loop_unroll_and_jam): On failure to analyze
data dependencies, don't return false, just continue.  Formatting
fixes.
(merge_loop_tree, bb_prevents_fusion_p, unroll_jam_possible_p,
fuse_loops): Formatting fixes.

* g++.dg/opt/pr87360.C: New test.
* gfortran.dg/pr87360.f90: New test.

From-SVN: r266820

5 years agore PR c++/87897 (ICE in maybe_constant_value, at cp/constexpr.c:5255 since r265788)
Jakub Jelinek [Wed, 5 Dec 2018 08:43:12 +0000 (09:43 +0100)]
re PR c++/87897 (ICE in maybe_constant_value, at cp/constexpr.c:5255 since r265788)

PR c++/87897
* g++.dg/init/const13.C: New test.

From-SVN: r266818

5 years agore PR sanitizer/88333 (ice in asan_emit_stack_protection, at asan.c:1574)
Jakub Jelinek [Wed, 5 Dec 2018 08:26:06 +0000 (09:26 +0100)]
re PR sanitizer/88333 (ice in asan_emit_stack_protection, at asan.c:1574)

PR sanitizer/88333
* cfgexpand.c (expand_stack_vars): If asan_vec is empty, start with
aligning frame offset to ASAN_RED_ZONE_SIZE bytes.

* c-c++-common/asan/pr88333.c: New test.

From-SVN: r266817

5 years ago[PR85569] skip constexpr target_expr constructor dummy type conversion
Alexandre Oliva [Wed, 5 Dec 2018 06:47:11 +0000 (06:47 +0000)]
[PR85569] skip constexpr target_expr constructor dummy type conversion

The testcase is the work-around testcase for the PR; even that had
started failing.  The problem was that, when unqualifying the type of
a TARGET_EXPR, we'd create a variant of the type, then request the
conversion of the TARGET_EXPR_INITIAL to that variant type.  Though
the types are different pointer-wise, they're the same_type_p, so the
resulting modified expr compares cp_tree_equal to the original, which
maybe_constant_value flags as an error.  There's no reason to
construct an alternate TARGET_EXPR or CONSTRUCTOR just because of an
equivalent type, except for another spot that expected pointer
equality that would no longer be satisfied.  Without relaxing the
assert in constexpr_call_hasher::equal, g++.robertl/eb73.C would
trigger an assertion failure.

for  gcc/cp/ChangeLog

PR c++/85569
* constexpr.c (adjust_temp_type): Test for type equality with
same_type_p.
(constexpr_call_hasher::equal): Likewise.

for  gcc/testsuite/ChangeLog

PR c++/85569
* g++.dg/cpp1z/pr85569.C: New.

From-SVN: r266816

5 years ago[MIPS][TESTSUITE][MSA] Adjusted clti to clei.
Chenghua Xu [Wed, 5 Dec 2018 03:30:49 +0000 (03:30 +0000)]
[MIPS][TESTSUITE][MSA] Adjusted clti to clei.

       * gcc.target/mips/msa.c: Adjusted clti_<su>.df $wn, $wn, 4
       to clei_<su>.df $wn, $wn, 4 in test31.

From-SVN: r266815

5 years agoconfig.gcc (csky-*-linux-gnu*): Force .init_array support.
Xianmiao Qu [Wed, 5 Dec 2018 01:34:15 +0000 (01:34 +0000)]
config.gcc (csky-*-linux-gnu*): Force .init_array support.

2018-12-05  Xianmiao Qu  <xianmiao_qu@c-sky.com>

gcc/
* config.gcc (csky-*-linux-gnu*): Force .init_array support.

From-SVN: r266813

5 years agosyscall: remove Flock for aix/ppc64
Ian Lance Taylor [Wed, 5 Dec 2018 01:11:02 +0000 (01:11 +0000)]
syscall: remove Flock for aix/ppc64

    CL 152397 removed it from gc's syscall package.

    Updates golang/go#29084

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

From-SVN: r266812

5 years agors6000: Fix AIX aggregate passing fix
Segher Boessenkool [Wed, 5 Dec 2018 01:04:11 +0000 (02:04 +0100)]
rs6000: Fix AIX aggregate passing fix

David's fix for the AIX aggregate passing from yesterday unfortunately
also triggers on powerpc64-linux.  This fixes it.

* config/rs6000/rs6000.c (rs6000_function_arg): Only do the special
aggregate handling on actual AIX, not on somewhat similar systems.
(rs6000_arg_partial_bytes): Ditto.

From-SVN: r266811

5 years agoDaily bump.
GCC Administrator [Wed, 5 Dec 2018 00:16:18 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r266810

5 years agore PR c++/84636 (internal compiler error: Segmentation fault (identifier_p()/grokdecl...
Paolo Carlini [Tue, 4 Dec 2018 23:48:45 +0000 (23:48 +0000)]
re PR c++/84636 (internal compiler error: Segmentation fault (identifier_p()/grokdeclarator()))

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

PR c++/84636
* decl.c (grokdeclarator): Avoid crashing on an anonymous bit-field
with function type.

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

PR c++/84636
* g++.dg/parse/bitfield6.C: New.

From-SVN: r266807

5 years agore PR tree-optimization/87320 (Last iteration of vectorized loop not executed when...
Jakub Jelinek [Tue, 4 Dec 2018 23:27:39 +0000 (00:27 +0100)]
re PR tree-optimization/87320 (Last iteration of vectorized loop not executed when peeling for gaps)

PR tree-optimization/87320
* gcc.dg/pr87320.c: New test.

From-SVN: r266805

5 years ago* gcc.dg/strlenopt-58.c: Handle targets with 2 byte wchar_t.
Jeff Law [Tue, 4 Dec 2018 23:23:03 +0000 (16:23 -0700)]
* gcc.dg/strlenopt-58.c: Handle targets with 2 byte wchar_t.

From-SVN: r266804

5 years agore PR rtl-optimization/88317 (ICE: Segmentation fault (in split_reg -> bitmap_set_bit...
Vladimir Makarov [Tue, 4 Dec 2018 22:50:14 +0000 (22:50 +0000)]
re PR rtl-optimization/88317 (ICE: Segmentation fault (in split_reg -> bitmap_set_bit -> bitmap_list_link_element))

2018-12-04  Vladimir Makarov  <vmakarov@redhat.com>

PR rtl-optimization/88317
* lra-constraints.c (split_reg): Don't set up check_only_regs if
we are outside the inheritance pass.

From-SVN: r266803

5 years agoipa-prop.c (jump_function_useful_p): New.
Jan Hubicka [Tue, 4 Dec 2018 21:38:01 +0000 (22:38 +0100)]
ipa-prop.c (jump_function_useful_p): New.

* ipa-prop.c (jump_function_useful_p): New.
(ipa_read_node_info): Do not allocated useless jump functions.

From-SVN: r266799

5 years agospellcheck.c: add another selftest for PR c/82967
David Malcolm [Tue, 4 Dec 2018 21:33:08 +0000 (21:33 +0000)]
spellcheck.c: add another selftest for PR c/82967

This adds another testcase for overzealous spellchecker suggestions,
reported on IRC.

gcc/ChangeLog:
PR c/82967
* spellcheck.c (selftest::test_suggestions): Add another
assertion.

From-SVN: r266798

5 years agoextend.texi (__builtin_has_attribute): Fix typo.
Martin Sebor [Tue, 4 Dec 2018 20:14:51 +0000 (20:14 +0000)]
extend.texi (__builtin_has_attribute): Fix typo.

gcc/testsuite/ChangeLog:

* doc/extend.texi (__builtin_has_attribute): Fix typo.

From-SVN: r266796

5 years agoattr-aligned-2.c: New test.
Martin Sebor [Tue, 4 Dec 2018 20:10:47 +0000 (20:10 +0000)]
attr-aligned-2.c: New test.

gcc/testsuite/ChangeLog:

* gcc.target/i386/attr-aligned-2.c: New test.
* gcc.target/i386/falign-functions-3.c: New test.

From-SVN: r266795

5 years agore PR target/88188 (ICE in print_operand, at config/rs6000/rs6000.c)
Jakub Jelinek [Tue, 4 Dec 2018 19:41:52 +0000 (20:41 +0100)]
re PR target/88188 (ICE in print_operand, at config/rs6000/rs6000.c)

PR target/88188
* config/rs6000/rs6000.c (ccr_bit): Return -1 instead of assertion
failures.
(print_operand): Use REG_P instead of GET_CODE == REG.
<case 'D'>: Also check CR_REGNO_P (REGNO (x)).
<case 't'>: Likewise.  Remove GET_MODE check.
* config/rs6000/rs6000.md (scc patterns): Assert ccr_bit didn't
return -1.

* gcc.target/powerpc/pr88188-2.c: New test.

From-SVN: r266794

5 years agoPR c++/88184 - ICE when treating name as template-name.
Marek Polacek [Tue, 4 Dec 2018 19:28:27 +0000 (19:28 +0000)]
PR c++/88184 - ICE when treating name as template-name.

* pt.c (lookup_template_function): Always build the TEMPLATE_ID_EXPR
with unknown_type_node.

* g++.dg/cpp2a/fn-template17.C: New test.
* g++.dg/cpp2a/fn-template18.C: New test.

From-SVN: r266793

5 years agoextend.texi (attribute aligned): Expand.
Martin Sebor [Tue, 4 Dec 2018 18:41:40 +0000 (18:41 +0000)]
extend.texi (attribute aligned): Expand.

gcc/ChangeLog:
* doc/extend.texi (attribute aligned): Expand.

From-SVN: r266792

5 years agoPR libstdc++/88341 - Complex norm doesn't compile with C++11
Edward Smith-Rowland [Tue, 4 Dec 2018 16:26:39 +0000 (16:26 +0000)]
PR libstdc++/88341 - Complex norm doesn't compile with C++11

2018-12-03  Edward Smith-Rowland  <3dw4rd@verizon.net>

PR libstdc++/88341 - Complex norm doesn't compile with C++11
* include/std/complex (_S_do_it): Make C++20 constexpr.
* testsuite/26_numerics/complex/value_operations/pr88341.cc: New test.

From-SVN: r266788

5 years ago* gcc.dg/live-patching-2.c: Require LTO.
David Edelsohn [Tue, 4 Dec 2018 15:55:34 +0000 (15:55 +0000)]
* gcc.dg/live-patching-2.c: Require LTO.

From-SVN: r266787

5 years agore PR target/61976 (aix64: Data corruption in struct passed by value)
David Edelsohn [Tue, 4 Dec 2018 15:51:51 +0000 (15:51 +0000)]
re PR target/61976 (aix64: Data corruption in struct passed by value)

        PR target/61976
        * config/rs6000/rs6000.c (rs6000_function_arg): Don't pass aggregates
        in FPRs on AIX.
        (rs6000_arg_partial_bytes): Same.

From-SVN: r266786

5 years agotestsuite - restore the tests for profiled + partitioned code.
Iain Sandoe [Tue, 4 Dec 2018 15:31:06 +0000 (15:31 +0000)]
testsuite - restore the tests for profiled + partitioned code.

2018-12-04  Iain Sandoe  <iain@sandoe.co.uk>

PR testsuite/88310
* lib/target-supports.exp (check_effective_target_freorder):
Suppress warnings for missing profile.

From-SVN: r266785

5 years agore PR target/88282 (ICE in df_install_refs at gcc/df-scan.c:2379)
Vladimir Makarov [Tue, 4 Dec 2018 15:10:46 +0000 (15:10 +0000)]
re PR target/88282 (ICE in df_install_refs at gcc/df-scan.c:2379)

2018-12-04  Vladimir Makarov  <vmakarov@redhat.com>

PR target/88282
* ira-costs.c (exec): Try bigger class to use smaller register
move cost.

From-SVN: r266784

5 years agocmd/vet: use default compiler when determining type sizes
Ian Lance Taylor [Tue, 4 Dec 2018 14:29:11 +0000 (14:29 +0000)]
cmd/vet: use default compiler when determining type sizes

    Fixes a segfault running vet on alpha.

    Patch by Uros Bizjak.

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

From-SVN: r266781

5 years agore PR lto/88297 (Assembler Error: symbol `_Z41__static_initialization_and_destruction...
Michael Ploujnikov [Tue, 4 Dec 2018 14:22:09 +0000 (14:22 +0000)]
re PR lto/88297 (Assembler Error: symbol `_Z41__static_initialization_and_destruction_0ii.constprop.0' is already defined)

PR ipa/88297
* ipa-cp.c (create_specialized_node): Track clone counters by
node assembler names.
(ipcp_driver): Change type of clone_num_suffixes key to const
char*.

From-SVN: r266780

5 years agotypename1.C: Don't expect any diagnostics for C++2a.
Jakub Jelinek [Tue, 4 Dec 2018 13:31:11 +0000 (14:31 +0100)]
typename1.C: Don't expect any diagnostics for C++2a.

* g++.old-deja/g++.oliva/typename1.C: Don't expect any diagnostics
for C++2a.
* g++.old-deja/g++.oliva/typename2.C: Likewise.

From-SVN: r266779

5 years agotree-vect-loop.c (vect_transform_loop): Fix epilogue iterations for epilogue vectoriz...
Richard Biener [Tue, 4 Dec 2018 13:23:13 +0000 (13:23 +0000)]
tree-vect-loop.c (vect_transform_loop): Fix epilogue iterations for epilogue vectorization.

2018-12-04  Richard Biener  <rguenther@suse.de>

* tree-vect-loop.c (vect_transform_loop): Fix epilogue iterations
for epilogue vectorization.

From-SVN: r266777

5 years agore PR tree-optimization/88285 (gcc.dg/predict-22.c fails on arm)
Jakub Jelinek [Tue, 4 Dec 2018 13:15:46 +0000 (14:15 +0100)]
re PR tree-optimization/88285 (gcc.dg/predict-22.c fails on arm)

PR tree-optimization/88285
* gcc.dg/predict-22.c: Only compile on freorder targets.

From-SVN: r266776

5 years agoOpenACC wait list diagnostic change
Julian Brown [Tue, 4 Dec 2018 12:35:06 +0000 (12:35 +0000)]
OpenACC wait list diagnostic change

2018-12-04  James Norris  <jnorris@codesourcery.com>
    Cesar Philippidis  <cesar@codesourcery.com>
    Julian Brown  <julian@codesourcery.com>

gcc/c/
* c-parser.c (c_parser_oacc_wait_list): Remove dead diagnostic
code.

gcc/cp/
* parser.c (cp_parser_oacc_wait_list): Fix error message and avoid
duplicate diagnostic.

gcc/testsuite/
* c-c++-common/goacc/asyncwait-1: Update expected errors and add a
test for "wait (".

Reviewed-by: Thomas Schwinge <thomas@codesourcery.com>
Reviewed-by: Joseph Myers <joseph@codesourcery.com>
From-SVN: r266774

5 years agore PR tree-optimization/88301 (Optimization regression with undefined unsigned overflow)
Richard Biener [Tue, 4 Dec 2018 11:26:14 +0000 (11:26 +0000)]
re PR tree-optimization/88301 (Optimization regression with undefined unsigned overflow)

2018-12-04  Richard Biener  <rguenther@suse.de>

PR tree-optimization/88301
* tree-vrp.c (register_edge_assert_for_2): Fix sign-conversion
issues in last commit.

From-SVN: r266773

5 years agore PR c++/88103 (Wrong value category when conditional expression result is used...
Jakub Jelinek [Tue, 4 Dec 2018 08:44:12 +0000 (09:44 +0100)]
re PR c++/88103 (Wrong value category when conditional expression result is used as object expression)

PR c++/88103
* typeck.c (build_class_member_access_expr): If unary_complex_lvalue
turned xvalue_p into non-xvalue_p, call move on it.

* g++.dg/cpp0x/rv-cond3.C: New test.

From-SVN: r266772

5 years agore PR tree-optimization/88315 (SAD and DOT_PROD SLP reductions with initial value...
Richard Biener [Tue, 4 Dec 2018 08:23:40 +0000 (08:23 +0000)]
re PR tree-optimization/88315 (SAD and DOT_PROD SLP reductions with initial value != 0 create wrong code)

2018-12-04  Richard Biener  <rguenther@suse.de>

PR tree-optimization/88315
* tree-vect-loop.c (get_initial_defs_for_reduction): Simplify
and fix initialization vector for SAD and DOT_PROD SLP reductions.

* gcc.dg/vect/slp-reduc-sad.c: Adjust to provide non-trivial
initial value.

From-SVN: r266771

5 years agore PR c/59039 (Undocumented __builtin_longjmp/__builtin_setjmp)
Sandra Loosemore [Tue, 4 Dec 2018 04:22:37 +0000 (23:22 -0500)]
re PR c/59039 (Undocumented __builtin_longjmp/__builtin_setjmp)

2018-12-03  Sandra Loosemore  <sandra@codesourcery.com>

PR c/59039

gcc/
* doc/extend.texi (Nonlocal gotos): New section.

From-SVN: r266770

5 years agoDaily bump.
GCC Administrator [Tue, 4 Dec 2018 00:16:24 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r266769

5 years agore PR middle-end/64242 (Longjmp expansion incorrect)
Jakub Jelinek [Mon, 3 Dec 2018 20:57:14 +0000 (21:57 +0100)]
re PR middle-end/64242 (Longjmp expansion incorrect)

PR middle-end/64242
* gcc.c-torture/execute/pr64242.c (foo, bar): New functions.
(p): Make it void *volatile instead of volatile void *.
(q): New variable.
(main): Add a dummy 32-byte aligned variable and escape its address.
Don't require that the two __builtin_alloca (0) calls return the
same address, just require that their difference is smaller than
1024 bytes.

From-SVN: r266766

5 years agosse.md (vec_concatv2df): Change (v,xm,C) alternative to (v,vm,c).
Uros Bizjak [Mon, 3 Dec 2018 20:44:37 +0000 (21:44 +0100)]
sse.md (vec_concatv2df): Change (v,xm,C) alternative to (v,vm,c).

* config/i386/sse.md (vec_concatv2df): Change (v,xm,C)
alternative to (v,vm,c).

From-SVN: r266765

5 years agocmd/go: allow buildmode c-archive for gccgo on ppc64
Ian Lance Taylor [Mon, 3 Dec 2018 20:25:11 +0000 (20:25 +0000)]
cmd/go: allow buildmode c-archive for gccgo on ppc64

    In buildmodeinit, the c-archive buildmode is flagged as invalid
    on linux/ppc64 for gccgo when it should be valid. This happens
    because the check against the gccgo flag is done after the checks
    for valid GOOS/GOARCH pairs instead of before as is done for all
    other buildmode cases in this switch. This corrects the problem and
    allows several of the gccgo gotools testcases to pass on linux/ppc64.

    Updates #29046

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

From-SVN: r266764

5 years agoDisallow configuring for powerpc*-*-linux*paired
Segher Boessenkool [Mon, 3 Dec 2018 19:34:22 +0000 (20:34 +0100)]
Disallow configuring for powerpc*-*-linux*paired

The proper way, that is.

* gcc/config.gcc (Unsupported targets): Add powerpc*-*-linux*paired*.
(powerpc*-*-linux*): Don't handle it here.

From-SVN: r266763

5 years agoh8300.md (<code>qi3_1): Add gcc_unreachable to keep warnings quiet.
Jeff Law [Mon, 3 Dec 2018 17:13:20 +0000 (10:13 -0700)]
h8300.md (<code>qi3_1): Add gcc_unreachable to keep warnings quiet.

* config/h8300/h8300.md (<code>qi3_1): Add gcc_unreachable to keep
warnings quiet.

From-SVN: r266762

5 years agore PR fortran/87919 (Incorrect fortran handling of -fno-* options)
Fritz Reese [Mon, 3 Dec 2018 17:10:50 +0000 (17:10 +0000)]
re PR fortran/87919 (Incorrect fortran handling of -fno-* options)

PR fortran/87919
* options.c (SET_FLAG, SET_BITFLAG, SET_BITFLAG2): New macros.
(set_dec_flags): Set/unset DEC and std flags according to value.
(post_dec_flags, set_init_local_zero): New functions.
(gfc_init_options): Use set_init_local_zero and post_dec_flags.
(gfc_handle_options) <case OPT_fcheck_array_temporaries>: Use
SET_BITFLAG.
<case OPT_finit_local_zero>: Use set_init_local_zero.
<case OPT_fdec>: Pass value to set_dec_flags.
<case OPT_fdec_structure>: Remove.

Co-Authored-By: Mark Eggleston <mark.eggleston@codethink.co.uk>
From-SVN: r266761

5 years ago* g++.dg/cpp1y/lambda-generic-83856.C: Use __SIZE_TYPE__.
Marek Polacek [Mon, 3 Dec 2018 16:06:54 +0000 (16:06 +0000)]
* g++.dg/cpp1y/lambda-generic-83856.C: Use __SIZE_TYPE__.

From-SVN: r266760

5 years ago[Ada] Fixes for various wrong and missing error messages on ACATS B85100[567]
Gary Dismukes [Mon, 3 Dec 2018 15:49:56 +0000 (15:49 +0000)]
[Ada] Fixes for various wrong and missing error messages on ACATS B85100[567]

GNAT was missing errors as well as issuing messages on legal lines in
new ACATS tests for illegal renamings of discriminant-dependent
components. Cases that are fixed include object names involving
qualified expressions, dereference cases, and generic formal access and
formal derived types. Better implements the "known to be constrained"
rules in the Ada RM.

Tested by new ACATS tests B85100[567] that are soon to be released.

2018-12-03  Gary Dismukes  <dismukes@adacore.com>

gcc/ada/

* sem_aux.adb (Object_Type_Has_Constrained_Partial_View): Return
True for an untagged discriminated formal derived type when
referenced within a generic body (augments existing test for
formal private types).
* sem_util.adb (Is_Dependent_Component_Of_Mutable_Type): If the
prefix of the name is a qualified expression, retrieve the
operand of that. Add a test of whether the (possible)
dereference prefix is a variable, and also test whether that
prefix might just be of an access type (occurs in some implicit
dereference cases) rather than being an explicit dereference.
Retrieve the Original_Node of the object name's main prefix and
handle the possibility of that being a qualified expression.
Remove special-case code for explicit dereferences that don't
come from source. Add test for the renaming not being within a
generic body for proper determination of whether a formal access
type is known to be constrained (it is within a generic spec,
but not in the body).  Fix an existing incorrect test for
renaming of a discriminant-dependent component of a untagged
generic formal type being within a generic body, adding test of
taggedness and calling In_Generic_Body (now properly checks for
cases where the renaming is in a nongeneric body nested within a
generic).  Return False in cases where the selector is not a
component (or discriminant), which can occur for
prefixed-notation calls.

From-SVN: r266759

5 years ago[Ada] Spurious error on dependent expression that is an array
Ed Schonberg [Mon, 3 Dec 2018 15:49:50 +0000 (15:49 +0000)]
[Ada] Spurious error on dependent expression that is an array

This patch fixes a spurious error on a array expression that is a
dependent expression of an if-expression, when the length of the array
matches that imposed by the context, but the bounds of both differ, in
particular when the expression and the context are both null arrays with
different bounds.

2018-12-03  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_res.adb (Apply_Check): For array types, apply a length
check rather than a qualification, to avoid spurious errors when
the value of a dependend expression has a matching length but
different bounds from those of the type of the contect.

gcc/testsuite/

* gnat.dg/array33.adb: New testcase.

From-SVN: r266758

5 years ago[Ada] Add leap seconds for 2015 and 2016
Hristian Kirtchev [Mon, 3 Dec 2018 15:49:42 +0000 (15:49 +0000)]
[Ada] Add leap seconds for 2015 and 2016

The following patch updates Ada.Calendar and helper utility Xleaps to
include the leap seconds for years 2015 and 2016.

2018-12-03  Hristian Kirtchev  <kirtchev@adacore.com>

gcc/ada/

* libgnat/a-calend.adb: Update the number of leap seconds. Add
the hard time values for year 2015 and 2016.

From-SVN: r266757

5 years ago[Ada] Spelling fixes and minor reformatting
Gary Dismukes [Mon, 3 Dec 2018 15:49:37 +0000 (15:49 +0000)]
[Ada] Spelling fixes and minor reformatting

2018-12-03  Gary Dismukes  <dismukes@adacore.com>

gcc/ada/

* exp_ch3.adb, libgnarl/s-taasde.adb, libgnarl/s-taenca.adb,
libgnarl/s-tarest.adb, libgnarl/s-tasini.adb,
libgnarl/s-taskin.ads, libgnarl/s-tasren.adb,
libgnarl/s-tassta.adb, libgnarl/s-tasuti.adb: Spelling fixes and
minor reformatting.

From-SVN: r266756

5 years ago[Ada] Fix recent regression on array aggregate with dynamic subtype
Eric Botcazou [Mon, 3 Dec 2018 15:49:23 +0000 (15:49 +0000)]
[Ada] Fix recent regression on array aggregate with dynamic subtype

This prevents either a crash or an assertion failure in gigi on an array
with dynamic subtype that is wrongly flagged as static by the front-end
because of a recent improvement made in the handling of nested
aggregates.

The patch reuses the existing Static_Array_Aggregate predicate instead
of fixing the problematic test, pluging a few loopholes in the process.
The predicate is conservatively correct but should be good enough in
practice.

2018-12-03  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* exp_aggr.adb (Convert_To_Positional): Use
Static_Array_Aggregate to decide whether to set
Compile_Time_Known_Aggregate on an already flat aggregate.
(Expand_Array_Aggregate): Remove test on
Compile_Time_Known_Aggregate that turns out to be dead and
simplify.
(Is_Static_Component): New predicate extracted from...
(Static_Array_Aggregate): ...here.  Test neither Is_Tagged_Type
nor Is_Controlled for the type, but test whether the component
type has discriminants.  Use the Is_Static_Component predicate
consistently for the positional and named cases.

gcc/testsuite/

* gnat.dg/array32.adb, gnat.dg/array32.ads: New testcase.

From-SVN: r266755

5 years ago[Ada] Fix internal error on package instantiation on private type
Eric Botcazou [Mon, 3 Dec 2018 15:49:17 +0000 (15:49 +0000)]
[Ada] Fix internal error on package instantiation on private type

This fixes an assertion failure in gigi triggered by the instantiation
of a generic package, in a visible part of another package, done on a
private type whose full view is a type derived from a scalar or an
access type.

The problem is that the front-end creates and inserts two different
freeze nodes in the expanded tree for the partial and the full views of
the private subtype created by the instantiation, which is not correct:
partial and full views of a given (sub)type must point to the same
freeze node, if any.

The patch also adds an assertion checking this property in the front-end
so as to catch the inconsistency higher in the chain.

2018-12-03  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* freeze.adb (Freeze_Entity): Do not freeze the partial view of
a private subtype if its base type is also private with delayed
freeze before the full type declaration of the base type has
been seen.
* sem_ch7.adb (Preserve_Full_Attributes): Add assertion on
freeze node.

gcc/testsuite/

* gnat.dg/generic_inst2.adb, gnat.dg/generic_inst2.ads,
gnat.dg/generic_inst2_c.ads: New testcase.

From-SVN: r266754

5 years ago[Ada] Fix problematic overloading of operator in Ada 95 mode
Eric Botcazou [Mon, 3 Dec 2018 15:49:12 +0000 (15:49 +0000)]
[Ada] Fix problematic overloading of operator in Ada 95 mode

The change reverts the test deciding whether an initialization procedure
can be inherited from parent to derived type to the original
implementation, which allowed inheriting a null procedure.

This prevents the creation of another null initialization procedure for
the derived type, which in turn can avoid an artificial overloading
which can wreak havoc in the analysis of private declarations of a
package.

2018-12-03  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* exp_ch3.adb (Build_Record_Init_Proc): Inherit an
initialization procedure if it is present, even if it is null.

gcc/testsuite/

* gnat.dg/overload2.adb, gnat.dg/overload2_p.adb,
gnat.dg/overload2_p.ads, gnat.dg/overload2_q.adb,
gnat.dg/overload2_q.ads: New testcase.

From-SVN: r266753

5 years ago[Ada] A task not executing an entry call consumes an Entry_Call slot
Patrick Bernardi [Mon, 3 Dec 2018 15:49:06 +0000 (15:49 +0000)]
[Ada] A task not executing an entry call consumes an Entry_Call slot

This patch resolves the issue where the ATC Level of a task's first
Entry_Call slot corresponds to a task not currently making an entry
call. Consequently, the first slot is never used to record an entry
call. To resolve this, the ATC Level of a such a task is now one less
than the first index of the Entry_Call array (and as result, the ATC
level corresponding to a completed task is now two less than the first
index of this array).

To aid the maintainability of code using ATC levels new constants are
introduced to represent key ATC nesting levels and comments are
introduce for the ATC level definitions.

As a result of this change, the GNAT Extended Ravenscar Profile now
works with the full runtime. The restricted runtime had assumed that the
first Entry_Call slot would be the only slot used for entry calls and
would only initialise this slot (and
System.Tasking.Protected_Objects.Single_Entry was coded this way).
However, Extended Ravenscar uses the native implementation of
System.Tasking.Protected_Objects where this assumption doesn't hold
until the implementation of this patch. Aside from enabling an extra
nested level, this is main functional change of this patch.

The following should compile and execute quietly:

gprbuild -q main.adb
./main

-- main.adb

pragma Profile (GNAT_Extended_Ravenscar);
pragma Partition_Elaboration_Policy (Sequential);

with Tasks;
with GNAT.OS_Lib;
with Ada.Synchronous_Task_Control;

procedure Main is
   pragma Priority (30);
begin
   Ada.Synchronous_Task_Control.Suspend_Until_True (Tasks.A_SO);
   Ada.Synchronous_Task_Control.Suspend_Until_True (Tasks.B_SO);

   GNAT.OS_Lib.OS_Exit (0);
end Main;

-- tasks.ads

with Ada.Synchronous_Task_Control;

package Tasks is
   A_SO : Ada.Synchronous_Task_Control.Suspension_Object;
   B_SO : Ada.Synchronous_Task_Control.Suspension_Object;

   task A with Priority => 25;
   task B with Priority => 20;
end Tasks;

--  tasks.adb

with Obj;

package body Tasks is

   task body A is
   begin
      for J in 1 .. 5 loop
         Obj.PO.Wait;
      end loop;
      Ada.Synchronous_Task_Control.Set_True (Tasks.A_SO);
   end A;

   task body B is
   begin
      for J in 1 .. 5 loop
         Obj.PO.Put;
      end loop;
      Ada.Synchronous_Task_Control.Set_True (Tasks.B_SO);
   end B;
end Tasks;

-- obj.ads

package Obj is
   protected type PT is
      pragma Priority (30);
      entry Put;
      entry Wait;
   private
      Wait_Ready : Boolean := False;
      Put_Ready  : Boolean := True;
   end PT;

   PO : PT;
end Obj;

-- obj.adb

package body Obj is
   protected body PT is
      entry Put when Put_Ready is
      begin
         Wait_Ready := True;
         Put_Ready  := False;
      end Put;

      entry Wait when Wait_Ready is
      begin
         Wait_Ready := False;
         Put_Ready  := True;
      end Wait;
   end PT;
end Obj;

2018-12-03  Patrick Bernardi  <bernardi@adacore.com>

gcc/ada/

* libgnarl/s-taskin.ads (ATC_Level_Base): Redefine to span from
-1 to Max_ATC_Nesting so that 0 represents no ATC nesting and -1
represented a completed task. To increase readability, new
constants are introduced to represent key ATC nesting levels.
Consequently, Level_No_Pending_Abort replaces
ATC_Level_Infinity.  ATC_Level related definitions now
documented.
(Ada_Task_Control_Block): The default initialization of
components ATC_Nesting_Level and Pending_ATC_Level now use new
ATC_Level_Base constants.  Comments improved
* libgnarl/s-taskin.adb (Initialize): Improve the initialisation
of the first element of the Entry_Calls array to facilitate
better maintenance.
* libgnarl/s-taasde.ads: Update comment.
* libgnarl/s-taasde.adb, libgnarl/s-taenca.adb,
libgnarl/s-tasren.adb, libgnarl/s-tassta.adb,
libgnarl/s-tasuti.ads, libgnarl/s-tasuti.adb: Use new
ATC_Level_Base constants.
* libgnarl/s-tarest.adb (Create_Restricted_Task): Improve the
initialisation of the first element of the task's Entry_Calls
array to facilitate better maintenance.
* libgnarl/s-tasini.ads (Locked_Abort_To_Level): Update
signature to accept ATC_Level_Base.
* libgnarl/s-tasini.adb (Locked_Abort_To_Level): Update
signature to accept ATC_Level_Base.  Use new ATC_Level_Base
constants and only modify the aborting task's Entry_Calls array
if any entry call is happening.
* libgnarl/s-tposen.adb (Protected_Single_Entry_Call): Reference
the first element of the task's Entry_Calls array via 'First
attribute to facilitate better maintenance.

From-SVN: r266752

5 years ago[Ada] Fix assertion failures with -gnatde and -gnatdv
Eric Botcazou [Mon, 3 Dec 2018 15:49:00 +0000 (15:49 +0000)]
[Ada] Fix assertion failures with -gnatde and -gnatdv

This fixes a couple of assertion failures when using -gnatde and -gnatdv
on a compiler built with assertions enabled.  No functional changes.

2018-12-03  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* einfo.adb (Write_Entity_Info): Don't take Scope of Standard
package.
* sem_ch4.adb (Remove_Abstract_Operations): Add missing blank
lines to -gnatdv output.
* sem_type.adb (Write_Overloads): Take Entity of entity names
only.

From-SVN: r266751

5 years ago[Ada] Minor reformattings
Hristian Kirtchev [Mon, 3 Dec 2018 15:48:34 +0000 (15:48 +0000)]
[Ada] Minor reformattings

2018-12-03  Hristian Kirtchev  <kirtchev@adacore.com>

gcc/ada/

* checks.adb, exp_aggr.adb, exp_attr.adb, exp_ch3.adb,
exp_util.adb, exp_util.ads, repinfo.adb, sem_attr.adb,
sem_ch3.adb, sem_res.adb, sem_util.adb: Minor reformatting.

From-SVN: r266750

5 years ago[Ada] Enhance comment
Ed Schonberg [Mon, 3 Dec 2018 15:48:03 +0000 (15:48 +0000)]
[Ada] Enhance comment

2018-12-03  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_ch3.adb (Complete_Private_Subtype): Enhance comment.

From-SVN: r266749

5 years ago[Ada] Gigi support for OpenACC pragmas
Olivier Hainque [Mon, 3 Dec 2018 15:47:57 +0000 (15:47 +0000)]
[Ada] Gigi support for OpenACC pragmas

Matching front-end bits to support Acc_Kernels, Acc_Parallel,
Acc_Loop and Acc_Data.

2018-12-03  Olivier Hainque  <hainque@adacore.com>

gcc/ada/

* gcc-interface/lang.opt (fopenacc): New option for Ada.
* gcc-interface/misc.c (gnat_handle_option): Handle it.
* gcc-interface/trans.c (struct loop_info_d): Add OMP
attributes.
(Iterate_Acc_Clause_Arg, Acc_gnat_to_gnu): New functions,
helpers for OpenACC pragmas processing in Pragma_to_gnu.
(Acc_Var_to_gnu, Acc_Reduc_Var_to_gnu, Acc_Reduc_to_gnu):
Likewise.
(Acc_Size_Expr_to_gnu, Acc_Size_List_to_gnu): Likewise.
(Pragma_Acc_Data_to_gnu): Likewise.
(Pragma_to_gnu): Handle Pragma_Acc_Loop, Pragma_Acc_Data,
Pragma_Acc_Kernels and Pragma_Acc_Parallel.
(Acc_Loop_to_gnu, Regular_Loop_to_gnu): New functions. Helpers
for ...
(Loop_Statement_to_gnu): Rework to handle OpenACC loops.

From-SVN: r266748

5 years ago[Ada] Adjust the default MALLOC_OBSERVABLE_ALIGNMENT to 2 * POINTER_SIZE
Olivier Hainque [Mon, 3 Dec 2018 15:47:52 +0000 (15:47 +0000)]
[Ada] Adjust the default MALLOC_OBSERVABLE_ALIGNMENT to 2 * POINTER_SIZE

Instead of 2 * LONG_TYPE_SIZE. POINTER_SIZE is believed to be the
correct base on more configurations than LONG_TYPE_SIZE and this
adjustment prevents the need for local patches to compensate on
configurations where the latter is inappropriate, for example
x86_64-mingw.

2018-12-03  Olivier Hainque  <hainque@adacore.com>

gcc/ada/

* gcc-interface/targtyps.c (MALLOC_OBSERVABLE_ALIGNMENT): Set to
2 * POINTER_SIZE.

From-SVN: r266747

5 years ago[Ada] Missing check on if-expression
Ed Schonberg [Mon, 3 Dec 2018 15:46:23 +0000 (15:46 +0000)]
[Ada] Missing check on if-expression

This patch fixes a constraint check on a dependent expression of an
if-expression, when the context if given by a slice or the 'Range of
an array. The constraint check is applied if the context is constrained,
but the corresponding flag was not set for the index subtype generated
for a slice (explicit or implicit).

Executing:
   gprbuild -P test -q main
   ./main

Must yield:
   raised CONSTRAINT_ERROR : foo.ads:13 range check failed

----
with Types;
generic
   Buffer : in out Types.Buffer;
package Foo
is
   function Get (Pos : Natural) return Integer;

private
   function Get (Pos : Natural) return Integer
   is (Buffer ((if Pos in Buffer'Range then Pos else Buffer'First)));
end Foo;
----
with Foo;
with Types;
with Usefoo;

procedure Main is
   Z : Types.Buffer := (Natural'Last .. Natural'Last - 1 => 0);
   R : Integer;
begin
   Usefoo.Do_Something (Z, R);
end Main;
----
pragma SPARK_Mode (On);
pragma Profile (Ravenscar);
pragma Partition_Elaboration_Policy (Sequential);
----
project Test is
  package Compiler is
    for Default_Switches ("Ada") use ("-gnatws");
    for Local_Configuration_Pragmas use "test.adc";
  end Compiler;
end Test;
----
package Types
is
   subtype Natural_Without_Last is Natural range 1 .. Natural'Last - 1;
   type Buffer is array (Natural_Without_Last range <>) of Integer;

end Types;
----
with Foo;

package body Usefoo
is

   procedure Do_Something (B : in out Types.Buffer;
                           R : out Integer)
   is
      package F is new Foo (B (B'First .. B'First + B'Length / 2 - 1));
   begin
      R := F.Get (B'First + B'Length / 2 - 1);
   end Do_Something;

end Usefoo;
----
with Types;

package Usefoo
is

   procedure Do_Something (B : in out Types.Buffer;
                           R : out Integer)
                           with Pre => B'First > 0;

end Usefoo;

2018-12-03  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_res.adb (Set_Slice_Subtype): The index type of a slice is
constrained.

From-SVN: r266746

5 years agore PR fortran/87919 (Incorrect fortran handling of -fno-* options)
Fritz Reese [Mon, 3 Dec 2018 15:42:51 +0000 (15:42 +0000)]
re PR fortran/87919 (Incorrect fortran handling of -fno-* options)

2018-12-03  Fritz Reese  <fritzoreese@gmail.com>
            Mark Eggleston <mark.eggleston@codethink.co.uk>

    PR fortran/87919

    gcc/fortran/ChangeLog:

PR fortran/87919
* options.c (SET_FLAG, SET_BITFLAG, SET_BITFLAG2): New macros.
(set_dec_flags): Set/unset DEC and std flags according to value.
(set_init_local_zero): New helper for -finit-local-zero flag group.
(gfc_init_options): Fix disabling of init flags, array temporaries
check, and dec flags when value is zero (from -fno-*).

    gcc/testsuite/ChangeLog:

PR fortran/87919
* gfortran.dg/array_temporaries_5.f90: New test.
* gfortran.dg/dec_bitwise_ops_3.f90: Ditto.
* gfortran.dg/dec_d_lines_3.f: Ditto.
* gfortran.dg/dec_exp_4.f90: Ditto.
* gfortran.dg/dec_exp_5.f90: Ditto.
* gfortran.dg/dec_io_7.f90: Ditto.
* gfortran.dg/dec_structure_24.f90: Ditto.
* gfortran.dg/dec_structure_25.f90: Ditto.
* gfortran.dg/dec_structure_26.f90: Ditto.
* gfortran.dg/dec_structure_27.f90: Ditto.
* gfortran.dg/dec_type_print_3.f90: Ditto.
* gfortran.dg/init_flag_20.f90: Ditto.

Co-Authored-By: Mark Eggleston <mark.eggleston@codethink.co.uk>
From-SVN: r266745

5 years agoh8300.md (low byte masking peepholes): Only accept nonimmediate_operand for the to...
Jeff Law [Mon, 3 Dec 2018 15:21:15 +0000 (08:21 -0700)]
h8300.md (low byte masking peepholes): Only accept nonimmediate_operand for the to-be-masked operand.

* config/h8300/h8300.md (low byte masking peepholes): Only accept
nonimmediate_operand for the to-be-masked operand.

From-SVN: r266744

5 years agopr59963-2.c: Make testnames unique.
Jeff Law [Mon, 3 Dec 2018 15:17:03 +0000 (08:17 -0700)]
pr59963-2.c: Make testnames unique.

* gcc.dg/pr59963-2.c: Make testnames unique.
* gcc.dg/tree-ssa/builtin-sprintf-warn-18.c: Likewise.

From-SVN: r266743

5 years agotree-ssa-sccvn.c (eliminate_dom_walker::eliminate_stmt): Only allow expected function...
Richard Biener [Mon, 3 Dec 2018 15:13:04 +0000 (15:13 +0000)]
tree-ssa-sccvn.c (eliminate_dom_walker::eliminate_stmt): Only allow expected function-pointer cast re-instantiation.

2018-12-03  Richard Biener  <rguenther@suse.de>

* tree-ssa-sccvn.c (eliminate_dom_walker::eliminate_stmt): Only
allow expected function-pointer cast re-instantiation.

From-SVN: r266742

5 years agoS/390: Add support for section anchors
Ilya Leoshkevich [Mon, 3 Dec 2018 15:07:36 +0000 (15:07 +0000)]
S/390: Add support for section anchors

gcc/ChangeLog:

2018-12-03  Ilya Leoshkevich  <iii@linux.ibm.com>

* common/config/s390/s390-common.c (s390_option_init_struct):
Use section anchors by default.
* config/s390/s390.c (s390_check_symref_alignment): Handle
anchors.
(TARGET_MAX_ANCHOR_OFFSET): Use short displacement.
* output.h (assemble_align): Pass `align' as unsigned int, so
that the value 0x80000000, which corresponds to `aligned(1 <<
28)', would pass the `align > BITS_PER_UNIT' check.
* varasm.c (assemble_align): Likewise.

gcc/testsuite/ChangeLog:

2018-12-03  Ilya Leoshkevich  <iii@linux.ibm.com>

* gcc.target/s390/nodatarel-1.c: Expect .LANCHOR0@GOTENT instead
of a@GOTENT.
* gcc.target/s390/section-anchors.c: New test.
* gcc.target/s390/section-anchors2.c: New test.
* gcc.target/s390/section-anchors3.c: New test.

From-SVN: r266741

5 years agoFix infinite recursion in OMP clause pretty-printing, default label
Julian Brown [Mon, 3 Dec 2018 13:46:19 +0000 (13:46 +0000)]
Fix infinite recursion in OMP clause pretty-printing, default label

gcc/
* tree-pretty-print.c (dump_omp_clause): Make default case
gcc_unreachable.

From-SVN: r266740

5 years agore PR tree-optimization/88301 (Optimization regression with undefined unsigned overflow)
Richard Biener [Mon, 3 Dec 2018 13:38:20 +0000 (13:38 +0000)]
re PR tree-optimization/88301 (Optimization regression with undefined unsigned overflow)

2018-12-03  Richard Biener  <rguenther@suse.de>

PR tree-optimization/88301
* tree-vrp.c (register_edge_assert_for_2): Handle conversions
that do not change the value by registering the same assert
for the operand.

* gcc.dg/tree-ssa/evrp13.c: New testcase.

From-SVN: r266739

5 years agore PR tree-optimization/71109 (gcc ICE at -O3 on valid code on x86_64-linux-gnu in...
Jakub Jelinek [Mon, 3 Dec 2018 13:30:41 +0000 (14:30 +0100)]
re PR tree-optimization/71109 (gcc ICE at -O3 on valid code on x86_64-linux-gnu in "maybe_record_trace_start")

PR tree-optimization/71109
* gcc.c-torture/compile/pr71109.c: New test.

From-SVN: r266738

5 years agotree-vect-loop.c (vect_transform_loop): Properly compute upper bound for the epilogue...
Richard Biener [Mon, 3 Dec 2018 13:24:08 +0000 (13:24 +0000)]
tree-vect-loop.c (vect_transform_loop): Properly compute upper bound for the epilogue when doing epilogue vectorization.

2018-12-03  Richard Biener  <rguenther@suse.de>

* tree-vect-loop.c (vect_transform_loop): Properly compute
upper bound for the epilogue when doing epilogue vectorization.

From-SVN: r266737

5 years agore PR target/88287 (aarch64/sve/vcond_1.C fails since r266620)
Jakub Jelinek [Mon, 3 Dec 2018 13:04:57 +0000 (14:04 +0100)]
re PR target/88287 (aarch64/sve/vcond_1.C fails since r266620)

PR target/88287
* g++.target/aarch64/sve/vcond_1.C: Adjust for comparison
canonicalization.

From-SVN: r266736

5 years agoRepeat jump threading after combine
Ilya Leoshkevich [Mon, 3 Dec 2018 09:49:02 +0000 (09:49 +0000)]
Repeat jump threading after combine

Consider the following RTL:

(insn (set (reg 65) (if_then_else (eq %cc 0) 1 0)))
(insn (parallel [(set %cc (compare (reg 65) 0)) (clobber %scratch)]))
(jump_insn (set %pc (if_then_else (ne %cc 0) (label_ref 23) %pc)))

Combine simplifies this into:

(note NOTE_INSN_DELETED)
(note NOTE_INSN_DELETED)
(jump_insn (set %pc (if_then_else (eq %cc 0) (label_ref 23) %pc)))

opening up the possibility to perform jump threading.

gcc/ChangeLog:

2018-12-03  Ilya Leoshkevich  <iii@linux.ibm.com>

PR target/80080
* cfgcleanup.c (class pass_postreload_jump): New pass.
(pass_postreload_jump::execute): Likewise.
(make_pass_postreload_jump): Likewise.
* passes.def: Add pass_postreload_jump before
pass_postreload_cse.
* tree-pass.h (make_pass_postreload_jump): New pass.

gcc/testsuite/ChangeLog:

2018-12-03  Ilya Leoshkevich  <iii@linux.ibm.com>

PR target/80080
* gcc.target/s390/pr80080-4.c: New test.

From-SVN: r266734

5 years agoMark x86_64 only tests as such.
Andi Kleen [Mon, 3 Dec 2018 01:06:56 +0000 (01:06 +0000)]
Mark x86_64 only tests as such.

2018-12-02  Andi Kleen  <ak@linux.intel.com>

* gcc.target/i386/returninst1.c: Run on 64bit only.
* gcc.target/i386/returninst2.c: Dito.
* gcc.target/i386/returninst3.c: Dito.

From-SVN: r266733

5 years agoDaily bump.
GCC Administrator [Mon, 3 Dec 2018 00:16:24 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r266732

5 years agoi386.c (inline_memory_move_cost): Correctly compute number of TFmode GPR moves.
Uros Bizjak [Sun, 2 Dec 2018 22:21:37 +0000 (23:21 +0100)]
i386.c (inline_memory_move_cost): Correctly compute number of TFmode GPR moves.

* config/i386/i386.c (inline_memory_move_cost): Correctly
compute number of TFmode GPR moves.

From-SVN: r266729

5 years agore PR target/88278 (Fails to elide zeroing of upper vector register)
Jakub Jelinek [Sun, 2 Dec 2018 20:43:49 +0000 (21:43 +0100)]
re PR target/88278 (Fails to elide zeroing of upper vector register)

PR target/88278
* config/i386/sse.md (*vec_concatv4sf_0, *vec_concatv4si_0): New insns.

* gcc.target/i386/pr88278.c: New test.
* gcc.target/i386/pr53759.c: Don't expect vmovlps insn, expect vmovq
instead.
* gcc.target/i386/pr53759-2.c: New test.

From-SVN: r266728

5 years agoh8300.md (call, call_value): Drop mode from operand containing number of bytes pushed.
Jeff Law [Sun, 2 Dec 2018 18:31:44 +0000 (11:31 -0700)]
h8300.md (call, call_value): Drop mode from operand containing number of bytes pushed.

* config/h8300/h8300.md (call, call_value): Drop mode from
operand containing number of bytes pushed.
(call_insn, call_value_insn): Use mode iterator for number
of bytes pushed operand.  Make pattern name vary appropriately.

From-SVN: r266727

5 years agobb-reorer.c (find_rarely_executed_basic_blocks_and_crossin_edges): trust precise...
Jan Hubicka [Sun, 2 Dec 2018 15:39:45 +0000 (16:39 +0100)]
bb-reorer.c (find_rarely_executed_basic_blocks_and_crossin_edges): trust precise profiles.

* bb-reorer.c (find_rarely_executed_basic_blocks_and_crossin_edges):
trust precise profiles.

From-SVN: r266726

5 years agoUse atomic load/store to access static backtrace state pointer
Janne Blomqvist [Sun, 2 Dec 2018 15:12:44 +0000 (17:12 +0200)]
Use atomic load/store to access static backtrace state pointer

As the static backtrace state pointer can be accessed from multiple
threads, use atomics to access it.

Regtested on x86_64-pc-linux-gnu.

libgfortran/ChangeLog:

2018-12-02  Janne Blomqvist  <jb@gcc.gnu.org>

PR libfortran/88137
* runtime/backtrace.c (show_backtrace): Use atomic load/store to
access the static lbstate pointer.

From-SVN: r266724

5 years agotree-nested.c (convert_nonlocal_omp_clauses, [...]): Handle OMP_CLAUSE_IN_REDUCTION...
Jakub Jelinek [Sun, 2 Dec 2018 12:50:50 +0000 (13:50 +0100)]
tree-nested.c (convert_nonlocal_omp_clauses, [...]): Handle OMP_CLAUSE_IN_REDUCTION...

* tree-nested.c (convert_nonlocal_omp_clauses,
convert_local_omp_clauses): Handle OMP_CLAUSE_IN_REDUCTION,
OMP_CLAUSE_TASK_REDUCTION and OMP_CLAUSE__SIMT_ clauses.
(convert_nonlocal_reference_stmt, convert_local_reference_stmt):
Convert clauses for GIMPLE_OMP_TASKGROUP.

* testsuite/libgomp.c/task-reduction-3.c: New test.

From-SVN: r266723

5 years agoomp-low.c (check_omp_nesting_restrictions): Allow cancel or cancellation point with...
Jakub Jelinek [Sun, 2 Dec 2018 12:48:42 +0000 (13:48 +0100)]
omp-low.c (check_omp_nesting_restrictions): Allow cancel or cancellation point with taskgroup clause inside of taskloop.

* omp-low.c (check_omp_nesting_restrictions): Allow cancel or
cancellation point with taskgroup clause inside of taskloop.  Consider
a taskloop construct without nogroup clause as implicit taskgroup for
diagnostics if cancel/cancellation point with taskgroup clause is
closely nested inside of taskgroup region.

* c-c++-common/gomp/cancel-1.c (f2): Add various taskloop related
tests.

* testsuite/libgomp.c-c++-common/cancel-taskgroup-4.c: New test.

From-SVN: r266722

5 years agore PR sanitizer/88291 (asan ICE in asan_clear_shadow)
Jakub Jelinek [Sun, 2 Dec 2018 12:39:26 +0000 (13:39 +0100)]
re PR sanitizer/88291 (asan ICE in asan_clear_shadow)

PR sanitizer/88291
* asan.c (asan_clear_shadow): Move assert that len is multiple of 4
to the start of the function.
(asan_emit_stack_protection): When emitting clearing sequence for
epilogue, align offset down to ASAN_RED_ZONE_SIZE granularity,
add last_size_aligned which is last_size padded to multiples of
ASAN_RED_ZONE_SIZE and emit asan_clear_shadow always on 4 byte
boundaries.

* c-c++-common/asan/pr88291.c: New test.

From-SVN: r266721

5 years agore PR c++/88258 (Infinite loop emitting diagnostics in the C++ front-end)
Jakub Jelinek [Sun, 2 Dec 2018 12:38:20 +0000 (13:38 +0100)]
re PR c++/88258 (Infinite loop emitting diagnostics in the C++ front-end)

PR c++/88258
* parser.c (cp_parser_skip_to_closing_parenthesis_1,
cp_parser_skip_to_end_of_statement,
cp_parser_skip_to_end_of_block_or_statement,
cp_parser_skip_to_closing_brace,
cp_parser_skip_to_closing_square_bracket,
cp_parser_skip_balanced_tokens): Don't treat CPP_PRAGMA_EOL specially
if in_pragma is false.

* g++.dg/gomp/pr88258.C: New test.

From-SVN: r266720

5 years agoMerge dmd upstream 5220ad51e
Iain Buclaw [Sun, 2 Dec 2018 11:47:49 +0000 (11:47 +0000)]
Merge dmd upstream 5220ad51e

Backports Ddoc fix that is present in upstream, but did not make its way
into the C++ port of the D front-end implementation.

The old special types for C long, unsigned long, and long double have
also been removed as neither the compiler nor druntime bindings support
handling it anymore.

Commits merged from dmd.

Backport Issue 14633: Fixed false DDoc warnings
https://github.com/dlang/dmd/pull/9027

Remove old support code for struct __c_long/ulong/long_double
https://github.com/dlang/dmd/pull/9028

From-SVN: r266719

5 years agoDaily bump.
GCC Administrator [Sun, 2 Dec 2018 00:16:22 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r266717

5 years agore PR c++/87523 (ICE: Closures apparently fail to capture constexpr)
Marek Polacek [Sat, 1 Dec 2018 21:53:07 +0000 (21:53 +0000)]
re PR c++/87523 (ICE: Closures apparently fail to capture constexpr)

PR c++/87523
* g++.dg/cpp1y/lambda-generic-87523.C: New test.

From-SVN: r266714

5 years agolibphobos: Add support for RISCV to glibc bindings
Iain Buclaw [Sat, 1 Dec 2018 21:48:43 +0000 (21:48 +0000)]
libphobos: Add support for RISCV to glibc bindings

Backported from upstream druntime master.

Reviewed-on: https://github.com/dlang/druntime/pull/2355

From-SVN: r266713

5 years agore PR c++/79629 (ICE on invalid code in tsubst_copy, at cp/pt.c:14477)
Marek Polacek [Sat, 1 Dec 2018 21:32:16 +0000 (21:32 +0000)]
re PR c++/79629 (ICE on invalid code in tsubst_copy, at cp/pt.c:14477)

PR c++/79629
* g++.dg/other/error35.C: New test.

From-SVN: r266712

5 years agore PR c++/83856 (ICE in tsubst_copy;)
Marek Polacek [Sat, 1 Dec 2018 21:09:31 +0000 (21:09 +0000)]
re PR c++/83856 (ICE in tsubst_copy;)

PR c++/83856
* g++.dg/cpp1y/lambda-generic-83856.C: New test.

From-SVN: r266711

5 years agoImplement P0634R3, Down with typename!
Marek Polacek [Sat, 1 Dec 2018 17:56:27 +0000 (17:56 +0000)]
Implement P0634R3, Down with typename!

* parser.c (CP_PARSER_FLAGS_TYPENAME_OPTIONAL): New enumerator.
(cp_parser_type_name): Remove declaration.
(cp_parser_postfix_expression): Pass CP_PARSER_FLAGS_TYPENAME_OPTIONAL
to cp_parser_type_id.
(cp_parser_new_type_id): Pass CP_PARSER_FLAGS_TYPENAME_OPTIONAL to
cp_parser_type_specifier_seq.
(cp_parser_lambda_declarator_opt): Pass
CP_PARSER_FLAGS_TYPENAME_OPTIONAL to
cp_parser_parameter_declaration_clause.
(cp_parser_condition): Pass CP_PARSER_FLAGS_NONE to
cp_parser_declarator.
(cp_parser_simple_declaration): Pass CP_PARSER_FLAGS_NONE to
cp_parser_init_declarator.
(cp_parser_conversion_type_id): Pass CP_PARSER_FLAGS_NONE to
cp_parser_type_specifier_seq.
(cp_parser_default_type_template_argument): Pass
CP_PARSER_FLAGS_TYPENAME_OPTIONAL to cp_parser_type_id.
(cp_parser_template_parameter): Pass CP_PARSER_FLAGS_TYPENAME_OPTIONAL
to cp_parser_parameter_declaration.
(cp_parser_explicit_instantiation): Pass CP_PARSER_FLAGS_NONE to
cp_parser_declarator.
(cp_parser_simple_type_specifier): Adjust call to cp_parser_type_name
to relay if we should treat the typename keyword as optional.  Maybe
call cp_parser_make_typename_type is parsing a template-id and it's
not a TYPE_DECL.
(cp_parser_type_name): Remove unused function.
(cp_parser_enum_specifier): Pass to CP_PARSER_FLAGS_NONE
cp_parser_type_specifier_seq.
(cp_parser_alias_declaration): Pass CP_PARSER_FLAGS_TYPENAME_OPTIONAL
to cp_parser_type_id.
(cp_parser_init_declarator): New parameter.  Pass it down to
cp_parser_declarator.
(cp_parser_declarator): New parameter.  Pass CP_PARSER_FLAGS_NONE to
cp_parser_declarator.  Pass the new parameter to
cp_parser_direct_declarator.
(cp_parser_direct_declarator): New parameter.  Pass it to
cp_parser_parameter_declaration_clause and cp_parser_declarator.
(cp_parser_declarator_id):
(cp_parser_type_id_1): New parameter.  Pass it to
cp_parser_type_specifier_seq.  Adjust call to cp_parser_declarator.
(cp_parser_type_id): New parameter.  Pass it to cp_parser_type_id_1.
(cp_parser_template_type_arg): Pass CP_PARSER_FLAGS_NONE to
cp_parser_type_id_1.
(cp_parser_trailing_type_id): Pass CP_PARSER_FLAGS_TYPENAME_OPTIONAL
to cp_parser_type_id_1.
(cp_parser_type_specifier_seq): New parameter.
(function_being_declared_is_template_p):
(cp_parser_parameter_declaration_clause): New parameter.  Pass it to
cp_parser_parameter_declaration_list.
(cp_parser_parameter_declaration_list): New parameter.  Pass it to
cp_parser_parameter_declaration.
(cp_parser_parameter_declaration): New parameter.  Pass it to
cp_parser_decl_specifier_seq.  Pass CP_PARSER_FLAGS_NONE to
cp_parser_declarator.
(cp_parser_member_declaration): Adjust call to
cp_parser_decl_specifier_seq to also include
CP_PARSER_FLAGS_TYPENAME_OPTIONAL.  Pass
CP_PARSER_FLAGS_TYPENAME_OPTIONAL to cp_parser_declarator.
(cp_parser_exception_declaration): Pass CP_PARSER_FLAGS_NONE to
cp_parser_type_specifier_seq and cp_parser_declarator.
(cp_parser_requirement_parameter_list): Pass CP_PARSER_FLAGS_NONE to
cp_parser_parameter_declaration_clause.
(cp_parser_constructor_declarator_p): Resolve the TYPENAME_TYPE.
(cp_parser_single_declaration): Pass CP_PARSER_FLAGS_TYPENAME_OPTIONAL
to cp_parser_decl_specifier_seq and cp_parser_init_declarator.
(cp_parser_cache_defarg): Pass CP_PARSER_FLAGS_NONE to
cp_parser_declarator and cp_parser_parameter_declaration_list.
(cp_parser_objc_method_tail_params_opt): Pass CP_PARSER_FLAGS_NONE to
cp_parser_parameter_declaration.
(cp_parser_objc_class_ivars): Pass CP_PARSER_FLAGS_NONE to
cp_parser_declarator.
(cp_parser_objc_try_catch_finally_statement): Pass CP_PARSER_FLAGS_NONE
to cp_parser_parameter_declaration
(cp_parser_objc_struct_declaration): Pass CP_PARSER_FLAGS_NONE to
cp_parser_declarator.
(cp_parser_omp_for_loop_init): Pass CP_PARSER_FLAGS_NONE to
cp_parser_declarator and cp_parser_type_specifier_seq.

* g++.dg/cpp0x/alias-decl-43.C: Adjust dg-error.
* g++.dg/cpp0x/decltype67.C: Only expect error in c++17_down.
* g++.dg/cpp1z/typename1.C: New test.
* g++.dg/cpp2a/typename1.C: New test.
* g++.dg/cpp2a/typename10.C: New test.
* g++.dg/cpp2a/typename11.C: New test.
* g++.dg/cpp2a/typename2.C: New test.
* g++.dg/cpp2a/typename3.C: New test.
* g++.dg/cpp2a/typename4.C: New test.
* g++.dg/cpp2a/typename5.C: New test.
* g++.dg/cpp2a/typename6.C: New test.
* g++.dg/cpp2a/typename7.C: New test.
* g++.dg/cpp2a/typename8.C: New test.
* g++.dg/cpp2a/typename9.C: New test.
* g++.dg/diagnostic/missing-typename.C: Only run the test in
c++17_down.
* g++.dg/other/crash-9.C: Add template disambiguator.
* g++.dg/other/nontype-1.C: Only expect error in c++17_down.
* g++.dg/parse/crash13.C: Likewise.
* g++.dg/parse/error36.C: Likewise.
* g++.dg/parse/no-typename1.C: Likewise.
* g++.dg/parse/typedef2.C: Likewise.
* g++.dg/parse/typename11.C: Likewise.
* g++.dg/template/crash48.C: Adjust dg-error.
* g++.dg/template/dependent-name5.C: Only expect error in c++17_down.
Add dg-error.
* g++.dg/template/error29.C: Only expect error in c++17_down.
* g++.dg/template/nested5.C: Add template disambiguator.
* g++.dg/template/pr84789.C: Only expect error in c++17_down.
* g++.dg/template/static30.C: Add dg-error.
* g++.dg/template/typedef6.C: Adjust dg-error.
* g++.dg/template/typename3.C: Only expect error in c++17_down.

From-SVN: r266710

5 years ago* gcc.dg/predict-22.c: Update expected output.
Jeff Law [Sat, 1 Dec 2018 16:52:22 +0000 (09:52 -0700)]
* gcc.dg/predict-22.c: Update expected output.

From-SVN: r266709