gcc.git
6 years agoadjust dinst.adb's expectations for location views
Alexandre Oliva [Tue, 25 Sep 2018 19:04:44 +0000 (19:04 +0000)]
adjust dinst.adb's expectations for location views

The testcase failed when the compiler used .loc view syntax, because
it expected discriminators at the end of the .loc lines.

for  gcc/testsuite/ChangeLog

* gnat.dg/dinst.adb: Adjust for locviews.

From-SVN: r264583

6 years agoaltivec-6.C: Updated vec_splat() calls.
Will Schmidt [Tue, 25 Sep 2018 18:34:06 +0000 (18:34 +0000)]
altivec-6.C: Updated vec_splat() calls.

[testsuite]

2018-09-25  Will Schmidt  <will_schmidt@vnet.ibm.com>

    * g++.dg/ext/altivec-6.C: Updated vec_splat() calls.
    * gcc.target/powerpc/fold-vec-splat-char.c: Remove invalid
    vec_splat calls from recently added tests. Update instruction counts.
    * gcc.target/powerpc/fold-vec-splat-floatdouble.c: Same.
    * gcc.target/powerpc/fold-vec-splat-int.c: Same.
    * gcc.target/powerpc/fold-vec-splat-longlong.c: Same.
    * gcc.target/powerpc/fold-vec-splat-pixel.c: Same.
    * gcc.target/powerpc/fold-vec-splat-short.c: Same.

From-SVN: r264582

6 years agore PR c++/87425 (ICE with virtual assignment operator)
Marek Polacek [Tue, 25 Sep 2018 18:02:47 +0000 (18:02 +0000)]
re PR c++/87425 (ICE with virtual assignment operator)

PR c++/87425
* g++.dg/cpp2a/constexpr-virtual12.C: New test.

From-SVN: r264581

6 years agore PR c++/87398 (g++ ICE on valid code: tree check: expected record_type or union_typ...
Jakub Jelinek [Tue, 25 Sep 2018 16:40:57 +0000 (18:40 +0200)]
re PR c++/87398 (g++ ICE on valid code: tree check: expected record_type or union_type or qual_union_type, have array_type in cxx_eval_constant_expression, at cp/constexpr.c:4820)

PR c++/87398
* constexpr.c (cxx_eval_constant_expression) <case OBJ_TYPE_REF>: Only
look through COMPONENT_REFs with DECL_FIELD_IS_BASE FIELD_DECLs.

* g++.dg/other/pr87398.C: New test.
* g++.dg/cpp2a/constexpr-virtual10.C: New test.
* g++.dg/cpp2a/constexpr-virtual11.C: New test.

From-SVN: r264580

6 years ago[PR 87339] Fix failure of gcc.dg/warn-abs-1.c on some targets
Martin Jambor [Tue, 25 Sep 2018 16:28:40 +0000 (18:28 +0200)]
[PR 87339] Fix failure of gcc.dg/warn-abs-1.c on some targets

2018-09-25  Martin Jambor  <mjambor@suse.cz>

PR testsuite/87339
* gcc.dg/warn-abs-1.c: Do not test _Float128.  Remove dg-skip-if and
float125 target.
* gcc.target/i386/warn-abs-3.c: New test.

From-SVN: r264579

6 years ago* config/i386/i386.md: Move nearbyint patterns closer to rint.
Uros Bizjak [Tue, 25 Sep 2018 16:06:36 +0000 (18:06 +0200)]
* config/i386/i386.md: Move nearbyint patterns closer to rint.

From-SVN: r264578

6 years agore PR c++/81246 (ICE on invalid C++ code (with a non-type template parameter having...
Paolo Carlini [Tue, 25 Sep 2018 16:05:48 +0000 (16:05 +0000)]
re PR c++/81246 (ICE on invalid C++ code (with a non-type template parameter having type 'float'): Segmentation fault)

2018-09-25  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/81246
* g++.dg/cpp0x/pr81246.C: New.

From-SVN: r264577

6 years agoUse steady_clock to implement condition_variable::wait_for with predicate
Mike Crowe [Tue, 25 Sep 2018 14:59:27 +0000 (14:59 +0000)]
Use steady_clock to implement condition_variable::wait_for with predicate

In r263225 (d2e378182a12d68fe5caeffae681252662a2fe7b), I fixed
condition_variable::wait_for to use std::chrono::steady_clock for the wait.
Unfortunately, I failed to spot that the same fix is required for the
wait_for variant that takes a predicate too.

2018-09-25  Mike Crowe  <mac@mcrowe.com>

* include/std/condition_variable (condition_variable::wait_for): Use
steady clock in overload that uses a predicate.

From-SVN: r264575

6 years agoPR libstdc++/87431 optimise valueless_by_exception()
Jonathan Wakely [Tue, 25 Sep 2018 14:59:16 +0000 (15:59 +0100)]
PR libstdc++/87431 optimise valueless_by_exception()

If a std::variant can never get into valueless state then we don't need
to do a runtime check for a valid alternative.

PR libstdc++/87431
* include/std/variant (_Variant_storage<true, _Types...>::_M_valid):
Avoid runtime test when all alternatives are scalars and so cannot
throw during initialization.

From-SVN: r264574

6 years agore PR debug/83941 (Debug info generated with -flto contains useless forwarders)
Richard Biener [Tue, 25 Sep 2018 14:51:39 +0000 (14:51 +0000)]
re PR debug/83941 (Debug info generated with -flto contains useless forwarders)

2018-09-25  Richard Biener  <rguenther@suse.de>

PR debug/83941
* dwarf2out.c (add_AT_external_die_ref): Remove now redundant
GC-ification.
(maybe_create_die_with_external_ref): Do not create
DW_TAG_imported_unit here.
(add_abstract_origin_attribute): Handle external BLOCK refs.
(dwarf2out_abstract_function): Simplify LTO case.
(dwarf2out_early_finish): Create DW_TAG_imported_unit explicitely
rather than using maybe_create_die_with_external_ref.

From-SVN: r264573

6 years agointernal/bytealg, internal/cpu, internal/poll: portability fixes
Ian Lance Taylor [Tue, 25 Sep 2018 14:31:57 +0000 (14:31 +0000)]
internal/bytealg, internal/cpu, internal/poll: portability fixes

    In internal/bytealg correct a +build tag to never build indexbyte_generic.go
    for the gofrontend, where we always use indexbyte_native.go.

    For internal/cpu let the Makefile define CacheLineSize using goarch.sh,
    rather than trying to enumerate all the possibilities in cpu_ARCH.go files.

    In internal/poll call the C fcntl function rather than using SYS_FCNTL.
    Change mksysinfo.sh to ensure that F_GETPIPE_SZ is always defined,
    and check that in internal/poll.

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

From-SVN: r264572

6 years agoi386.md (frndintxf2_mask_pm): Remove.
Uros Bizjak [Tue, 25 Sep 2018 14:26:11 +0000 (16:26 +0200)]
i386.md (frndintxf2_mask_pm): Remove.

* config/i386/i386.md (frndintxf2_mask_pm): Remove.
(frndintxf2_mask_pm_i387): Ditto.
(nearbyintxf2): Rewrite expander pattern to match rintxf2.
Enable for !flag_trapping_math.
(nearbyint<mode>2): Enable x87 modes for !flag_trapping_math.
Enable SSE modes for TARGET_SSE4_1 and expand them with round insn.
Change operand 1 predicate to nonimmediate_operand.
(attr "i387_cw"): Remove mask_pm.
* config/i386/i386.h (enum ix86_stack_slot): Remove SLOT_CW_MASK_PM.
(enum ix86_entity): Remove I387_MASK_PM.
* config/i386/i386.c (ix86_i387_mode_needed): Do not
handle I387_MASK_PM.
(ix86_mode_needed): Ditto.
(ix86_mode_after): Ditto.
(ix86_mode_entry): Ditto.
(ix86_mode_exit): Ditto.
(emit_i387_cw_initialization): Do not handle I387_CW_MASK_PM.

From-SVN: r264571

6 years agocmd/go: pass down testing gccgo in TestScript
Ian Lance Taylor [Tue, 25 Sep 2018 14:16:32 +0000 (14:16 +0000)]
cmd/go: pass down testing gccgo in TestScript

    This permits TestScript to work when gccgo is not installed.
    Previous testing was using a previously installed gccgo, not the newly
    built one.

    This revealed that the testing of whether an internal package is
    permitted was incorrect for standard library packages, since the
    uninstalled gccgo can see internal packages in the uninstalled libgo.
    Fix the internal package tests.

    This permitted removing a couple of gccgo-specific changes in the
    testsuite.

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

From-SVN: r264570

6 years agoi386: Compile pr82699-5.c and pr82699-6.c with -fno-pic
H.J. Lu [Tue, 25 Sep 2018 13:51:45 +0000 (13:51 +0000)]
i386: Compile pr82699-5.c and pr82699-6.c with -fno-pic

Compile pr82699-5.c and pr82699-6.c with -fno-pic to avoid

FAIL: gcc.target/i386/pr82699-5.c (test for excess errors)
Excess errors:
cc1: sorry, unimplemented: -mfentry isn't supported for 32-bit in combination with -fpic
FAIL: gcc.target/i386/pr82699-6.c (test for excess errors)
Excess errors:
cc1: error: -mnop-mcount is not implemented for -fPIC
cc1: sorry, unimplemented: -mfentry isn't supported for 32-bit in combination with -fpic

when running GCC testsuite with --target_board='unix{-fpic\ -m32,-fpic}'.

PR target/82699
* gcc.target/i386/pr82699-5.c: Add -fno-pic for ia32.
* gcc.target/i386/pr82699-6.c: Add -fno-pic.

From-SVN: r264569

6 years agocoarray_lock_7.f90: Adjust scan-tree-dump-times for ILP32.
Jakub Jelinek [Tue, 25 Sep 2018 13:21:44 +0000 (15:21 +0200)]
coarray_lock_7.f90: Adjust scan-tree-dump-times for ILP32.

* gfortran.dg/coarray_lock_7.f90: Adjust scan-tree-dump-times for
ILP32.

From-SVN: r264568

6 years agovr-values.c (vr_values::vr_values): Initialize to_remove_edges and to_update_switch_s...
Jakub Jelinek [Tue, 25 Sep 2018 13:18:06 +0000 (15:18 +0200)]
vr-values.c (vr_values::vr_values): Initialize to_remove_edges and to_update_switch_stmts to vNULL instead of...

* vr-values.c (vr_values::vr_values): Initialize to_remove_edges and
to_update_switch_stmts to vNULL instead of calling create on them
immediately.

From-SVN: r264567

6 years agore PR tree-optimization/87402 (ICE in set_ssa_val_to, at tree-ssa-sccvn.c:3645)
Richard Biener [Tue, 25 Sep 2018 12:51:57 +0000 (12:51 +0000)]
re PR tree-optimization/87402 (ICE in set_ssa_val_to, at tree-ssa-sccvn.c:3645)

2018-09-25  Richard Biener  <rguenther@suse.de>

PR tree-optimization/87402
* tree-ssa-sccvn.c (SSA_VISITED): Remove unused function.
(visit_phi): Re-instantiate handling of supposed to be VARYING
but non-VARYING backedge value.

* gcc.dg/torture/pr87402.c: New testcase.

From-SVN: r264566

6 years agoCheck pie_enabled target in PIC tests
H.J. Lu [Tue, 25 Sep 2018 12:25:44 +0000 (12:25 +0000)]
Check pie_enabled target in PIC tests

We need to check pie_enabled target in PIC tests to support GCC where
PIE is enabled by default when configured with --enable-default-pie.

PR testsuite/70150
* gcc.dg/20020312-2.c (dg-additional-options): Set to "-no-pie"
for pie_enabled target.
* gcc.dg/uninit-19.c: Check pie_enabled for PIC.
* gcc.target/i386/pr34256.c: Likewise.

From-SVN: r264565

6 years agore PR debug/83941 (Debug info generated with -flto contains useless forwarders)
Richard Biener [Tue, 25 Sep 2018 07:30:56 +0000 (07:30 +0000)]
re PR debug/83941 (Debug info generated with -flto contains useless forwarders)

2018-09-25  Richard Biener  <rguenther@suse.de>

PR debug/83941
* dwarf2out.c (struct sym_off_pair): New.
(external_die_map): New global.
(lookup_decl_die): When in LTO create DIEs lazily from the
external_die_map.
(lookup_block_die): New function, create DIEs lazily in LTO.
(equate_block_to_die): New function.
(dwarf2out_die_ref_for_decl): During WPA get the association
from the external DIE map.
(dwarf2out_register_external_die): Record mapping into the
external DIE map.
(maybe_create_die_with_external_ref): New function split out from
DIE generation part of old dwarf2out_register_external_die.
(add_abstract_origin_attribute): Do not return the DIE.  When
in LTO reference externals directly.
(dwarf2out_abstract_function): When in LTO ignore calls for
decls with external DIEs (already present abstract instances).
(gen_call_site_die): Adjust.
(add_high_low_attributes): Likewise.
(gen_lexical_block_die): Likewise.
(gen_inlined_subroutine_die): Likewie.
(gen_block_die): Likewise.
(dwarf2out_inline_entry): Likewise.
(dwarf2out_early_finish): In LTRANS phase create DW_TAG_imported_unit
DIEs.

From-SVN: r264564

6 years agoFix scaling of a sreal number.
Martin Liska [Tue, 25 Sep 2018 07:14:38 +0000 (09:14 +0200)]
Fix scaling of a sreal number.

2018-09-25  Martin Liska  <mliska@suse.cz>

* ipa-fnsummary.c (estimate_node_size_and_time): Scale by two
integers and not by a float value.

From-SVN: r264563

6 years agoFix small coding style issues (PR fortran/87394).
Martin Liska [Tue, 25 Sep 2018 07:13:59 +0000 (09:13 +0200)]
Fix small coding style issues (PR fortran/87394).

2018-09-25  Martin Liska  <mliska@suse.cz>

PR fortran/87394
* dbgcnt.c (dbg_cnt_process_single_pair): Return false
instead of NULL.
* dumpfile.c (dump_enable_all): Remove extra parenthesis.
* gcov-tool.c: Declare the function with ATTRIBUTE_NORETURN.
* godump.c (go_format_type): Remove extra parenthesis.
2018-09-25  Martin Liska  <mliska@suse.cz>

PR fortran/87394
* decl.c (add_hidden_procptr_result): Simplify condition
as we are in branch witch 'case1 || case2'.

From-SVN: r264562

6 years agoRemove unused functions and fields.
Martin Liska [Tue, 25 Sep 2018 07:13:40 +0000 (09:13 +0200)]
Remove unused functions and fields.

2018-09-25  Martin Liska  <mliska@suse.cz>

* alias.c (set_dest_equal_p): Remove unused function.
* config/i386/i386.c (def_builtin_pure2): Likewise.
* diagnostic-show-locus.c (class layout): Remove
unused field.
(layout::layout): Likewise here.
* dump-context.h (class temp_dump_context): Likewise.
* dwarf2out.c (add_AT_fde_ref): Remove unused function.
(add_AT_loclistsptr): Likewise.
(add_AT_offset): Likewise.
(get_AT_hi_pc): Likewise.
(is_comdat_die): Likewise.
(type_is_enum): Likewise.
(ceiling): Likewise.
(add_AT_vms_delta): Likewise.
(is_class_die): Likewise.
* edit-context.c (class line_event): Remove unused field.
* graphite-sese-to-poly.c (tree_int_to_gmp): Remove
unused function.
* ipa-cp.c (ipa_get_vr_lat): Likewise.
* lra-constraints.c (ok_for_index_p_nonstrict): Likewise.
(ok_for_base_p_nonstrict): Likewise.
* tree-chrec.c (is_not_constant_evolution): Likewise.
(chrec_fold_poly_cst): Likewise.
* tree-if-conv.c (has_pred_critical_p): Likewise.
* tree-ssa-coalesce.c (print_exprs): Likewise.
* tree-ssa-pre.c (bitmap_set_contains_expr): Likewise.
* tree-ssa-uninit.c (is_and_or_or_p): Likewise.
* tree-vrp.c (value_ranges_intersect_p): Likewise.
(value_range_nonnegative_p): Likewise.
2018-09-25  Martin Liska  <mliska@suse.cz>

* name-lookup.c (namespace_scope_ht_size): Remove
unused function.
* parser.c (cp_lexer_next_token_is_not_keyword): Likewise.
2018-09-25  Martin Liska  <mliska@suse.cz>

* trans.c (remove_suffix): Remove
unused function.
2018-09-25  Martin Liska  <mliska@suse.cz>

* gofrontend/escape.cc (Gogo::analyze_escape): Remove
usage of a parameter.
(Gogo::assign_connectivity): Likewise.
(class Escape_analysis_tag): Likewise.
(Gogo::tag_function): Likewise.
* gofrontend/expressions.cc (Call_expression::do_type): Likewise.
* gofrontend/gogo.h (class Gogo): Likewise.
* gofrontend/types.cc (class Call_multiple_result_type): Likewise.
(Type::make_call_multiple_result_type): Likewise.
* gofrontend/types.h (class Type): Likewise.
* gofrontend/wb.cc (class Check_escape): Likewise.
(Gogo::add_write_barriers): Likewise.

From-SVN: r264561

6 years agoAdd filter-rtags-warnings.py script.
Martin Liska [Tue, 25 Sep 2018 07:12:52 +0000 (09:12 +0200)]
Add filter-rtags-warnings.py script.

2018-09-25  Martin Liska  <mliska@suse.cz>

* filter-rtags-warnings.py: New file.

From-SVN: r264560

6 years agoRemove Pascal-related entries in code and comments.
Martin Liska [Tue, 25 Sep 2018 07:11:05 +0000 (09:11 +0200)]
Remove Pascal-related entries in code and comments.

2018-09-25  Martin Liska  <mliska@suse.cz>

* config/powerpcspe/powerpcspe.c (rs6000_output_function_epilogue):
Do not handle "GNU Pascal".
* config/rs6000/rs6000.c (rs6000_output_function_epilogue):
Likewise.
* config/sparc/sparc.c (sparc_pass_by_reference): Remove Pascal
from documentation. Likewise.
* dbxout.c (dbxout_range_type): Likewise.
* doc/cpp.texi: Likewise.
* doc/extend.texi: Likewise.
* doc/frontends.texi: Likewise.
* doc/invoke.texi: Remove Pascal entry.
* tree.def (CLEANUP_POINT_EXPR): Likewise.
* doc/rtl.texi (MODE_FUNCTION): Remove not used entry.
2018-09-25  Martin Liska  <mliska@suse.cz>

* c-common.c (c_common_truthvalue_conversion):
Remove Pascal from documentation.

From-SVN: r264559

6 years agoDocument all param values and remove defaults (PR middle-end/86078).
Martin Liska [Tue, 25 Sep 2018 07:08:44 +0000 (09:08 +0200)]
Document all param values and remove defaults (PR middle-end/86078).

2018-09-25  Martin Liska  <mliska@suse.cz>

PR middle-end/86078
* doc/invoke.texi: Document all parameters and remove default
of the parameters.
2018-09-25  Martin Liska  <mliska@suse.cz>

PR middle-end/86078
* check-params-in-docs.py: New file.

From-SVN: r264558

6 years agoFix EQ_ATTR_ALT size calculation (PR bootstrap/87417)
Ilya Leoshkevich [Tue, 25 Sep 2018 06:38:20 +0000 (06:38 +0000)]
Fix EQ_ATTR_ALT size calculation (PR bootstrap/87417)

"r264537: Change EQ_ATTR_ALT to support up to 64 alternatives" changed
the format of EQ_ATTR_ALT from ii to ww.  This broke the bootstrap on
32-bit systems, because the formula for rtx_code_size assumed that only
certain codes contain HOST_WIDE_INTs.  This did not surface on 64-bit
systems, because rtunion is 8 bytes anyway, but on 32-bit systems it's
only 4 bytes.  This resulted in out-of-bounds writes and memory
corruptions in genattrtab.

gcc/ChangeLog:

2018-09-25  Ilya Leoshkevich  <iii@linux.ibm.com>

PR bootstrap/87417
* rtl.c (rtx_code_size): Take into account that EQ_ATTR_ALT
contains HOST_WIDE_INTs when computing its size.

From-SVN: r264556

6 years agoRISC-V: Fix problems with ilp32e ABI support.
Jim Wilson [Tue, 25 Sep 2018 01:27:06 +0000 (01:27 +0000)]
RISC-V: Fix problems with ilp32e ABI support.

gcc/
PR target/87391
* config/riscv/riscv.h (STACK_BOUNDARY): Test riscv_abi == ABI_ILP32E
not TARGET_RVE.
(ABI_STACK_BOUNDARY, MAX_ARGS_IN_REGISTERS): Likewise.

From-SVN: r264555

6 years agoDaily bump.
GCC Administrator [Tue, 25 Sep 2018 00:16:39 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r264552

6 years agoaarch64.c (aarch_macro_fusion_pair_p): Don't access prev before checking it for NULLn...
Andrew Pinski [Tue, 25 Sep 2018 00:12:18 +0000 (00:12 +0000)]
aarch64.c (aarch_macro_fusion_pair_p): Don't access prev before checking it for NULLness in the...

2018-09-24  Andrew Pinski  <apinski@marvell.com>

        *  config/aarch64/aarch64.c (aarch_macro_fusion_pair_p): Don't
        access prev before checking it for NULLness in the
        AARCH64_FUSE_CMP_BRANCH case.

From-SVN: r264548

6 years agocodecvt.xml: Move link to "UTF-8 and Unicode FAQ" to https.
Gerald Pfeifer [Mon, 24 Sep 2018 22:01:49 +0000 (22:01 +0000)]
codecvt.xml: Move link to "UTF-8 and Unicode FAQ" to https.

* doc/xml/manual/codecvt.xml: Move link to "UTF-8 and Unicode FAQ"
to https.

From-SVN: r264547

6 years agolibgo: update to Go 1.11
Ian Lance Taylor [Mon, 24 Sep 2018 21:46:21 +0000 (21:46 +0000)]
libgo: update to Go 1.11

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

gotools/:
* Makefile.am (mostlyclean-local): Run chmod on check-go-dir to
make sure it is writable.
(check-go-tools): Likewise.
(check-vet): Copy internal/objabi to check-vet-dir.
* Makefile.in: Rebuild.

From-SVN: r264546

6 years agocp-tree.h (build_noexcept_spec, [...]): Adjust declarations.
Marek Polacek [Mon, 24 Sep 2018 19:26:04 +0000 (19:26 +0000)]
cp-tree.h (build_noexcept_spec, [...]): Adjust declarations.

* cp-tree.h (build_noexcept_spec, add_exception_specifier): Adjust
declarations.
* except.c (build_noexcept_spec): Change the type of the complain
parameter to tsubst_flags_t.
* typeck2.c (add_exception_specifier): Likewise.

From-SVN: r264543

6 years agore PR c++/85070 (ICE on C++ code: in lazily_declare_fn, at cp/method.c:2409)
Paolo Carlini [Mon, 24 Sep 2018 17:42:45 +0000 (17:42 +0000)]
re PR c++/85070 (ICE on C++ code: in lazily_declare_fn, at cp/method.c:2409)

/cp
2018-09-24  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/85070
* method.c (lazily_declare_fn): During error-recovery add_method
may return false.

/testsuite
2018-09-24  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/85070
* g++.dg/cpp0x/pr85070.C: New.

From-SVN: r264541

6 years agoi386: Insert ENDBR before the profiling counter call
H.J. Lu [Mon, 24 Sep 2018 17:20:58 +0000 (17:20 +0000)]
i386: Insert ENDBR before the profiling counter call

ENDBR must be the first instruction of a function.  This patch queues
ENDBR if we need to put the profiling counter call before the prologue
and generate ENDBR before the profiling counter call.

gcc/

PR target/82699
* config/i386/i386.c (rest_of_insert_endbranch): Set
endbr_queued_at_entrance to true and don't insert ENDBR if
x86_function_profiler will be called.
(x86_function_profiler): Insert ENDBR if endbr_queued_at_entrance
is true.
* config/i386/i386.h (machine_function): Add
endbr_queued_at_entrance.

gcc/testsuite/

PR target/82699
* gcc.target/i386/pr82699-1.c: New file.
* gcc.target/i386/pr82699-2.c: Likewise.
* gcc.target/i386/pr82699-3.c: Likewise.
* gcc.target/i386/pr82699-4.c: Likewise.
* gcc.target/i386/pr82699-5.c: Likewise.
* gcc.target/i386/pr82699-6.c: Likewise.

From-SVN: r264540

6 years agore PR fortran/87397 (Clobbering intent(out) variables caused regression in OpenCoarra...
Thomas Koenig [Mon, 24 Sep 2018 17:12:34 +0000 (17:12 +0000)]
re PR fortran/87397 (Clobbering intent(out) variables caused regression in OpenCoarrays testsuite)

2018-09-24  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/87397
* gfc_conv_procedure_call: Do not add clobber on INTENT(OUT)
for variables in an associate statement.

2018-09-24  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/87401
* gfortran.dg/intent_out_12.f90: New test.

From-SVN: r264539

6 years agore PR target/86952 (Avoid jump table for switch statement with -mindirect-branch...
Will Schmidt [Mon, 24 Sep 2018 15:47:22 +0000 (15:47 +0000)]
re PR target/86952 (Avoid jump table for switch statement with -mindirect-branch=thunk)

[testsuite]

2018-09-24  Will Schmidt  <will_schmidt@vnet.ibm.com>

PR testsuite/86952
* gcc.target/powerpc/p8-vec-xl-xst-v2.c: Add and
update expected codegen

From-SVN: r264538

6 years agoChange EQ_ATTR_ALT to support up to 64 alternatives
Ilya Leoshkevich [Mon, 24 Sep 2018 15:01:57 +0000 (15:01 +0000)]
Change EQ_ATTR_ALT to support up to 64 alternatives

On S/390 there is a need to support more than 32 instruction
alternatives per define_insn.  Currently this is not explicitly
prohibited or unsupported: MAX_RECOG_ALTERNATIVES is equal 35, and,
futhermore, the related code uses uint64_t for bitmaps in most places.

However, genattrtab contains the logic to convert (eq_attr "attribute"
"value") RTXs to (eq_attr_alt bitmap) RTXs, where bitmap contains
alternatives, whose "attribute" has the corresponding "value".
Unfortunately, bitmap is only 32 bits.

When adding the 33rd alternative, this led to (eq_attr "type" "larl")
becoming (eq_attr_alt -1050625 1), where -1050625 == 0xffeff7ff.  The
cleared bits 12, 21 and 32 correspond to two existing and one newly
added insn of type "larl".  compute_alternative_mask sign extended this
to 0xffffffffffeff7ff, which contained non-existent alternatives, and
this made simplify_test_exp fail with "invalid alternative specified".

I'm not sure why it didn't fail the same way before, since the top bit,
which led to sign extension, should have been set even with 32
alternatives.  Maybe simplify_test_exp was not called for "type"
attribute for some reason?

This patch widens EQ_ATTR_ALT bitmap to 64 bits, making it possible to
gracefully handle up to 64 alternatives.  It eliminates the problem with
the 33rd alternative on S/390.

gcc/ChangeLog:

2018-09-24  Ilya Leoshkevich  <iii@linux.ibm.com>

* genattrtab.c (mk_attr_alt): Use alternative_mask.
(attr_rtx_1): Adjust caching to match the new EQ_ATTR_ALT field
        types.
(check_attr_test): Use alternative_mask.
(get_attr_value): Likewise.
(compute_alternative_mask): Use alternative_mask and XWINT.
(make_alternative_compare): Use alternative_mask.
(attr_alt_subset_p): Use XWINT.
(attr_alt_subset_of_compl_p): Likewise.
(attr_alt_intersection): Use alternative_mask and XWINT.
(attr_alt_union): Likewise.
(attr_alt_complement): Use HOST_WIDE_INT and XWINT.
        (mk_attr_alt): Use alternative_mask and HOST_WIDE_INT.
(simplify_test_exp): Use alternative_mask and XWINT.
(write_test_expr): Use alternative_mask and XWINT, adjust bit
        number calculation to support 64 bits.  Generate code that
        checks 64-bit masks.
(main): Use alternative_mask.
* rtl.def (EQ_ATTR_ALT): Change field types from ii to ww.

From-SVN: r264537

6 years ago[OpenACC] update fortran nested parallelism error messages
Cesar Philippidis [Mon, 24 Sep 2018 14:51:25 +0000 (07:51 -0700)]
[OpenACC] update fortran nested parallelism error messages

gcc/fortran/
* openmp.c (resolve_oacc_loop_blocks):

gcc/testsuite/
* gfortran.dg/goacc/nested-parallelism.f90: New test.

From-SVN: r264536

6 years agoS/390: Fix conditional returns on z196+
Ilya Leoshkevich [Mon, 24 Sep 2018 14:21:03 +0000 (14:21 +0000)]
S/390: Fix conditional returns on z196+

S/390 epilogue ends with (parallel [(return) (use %r14)]) instead of
the more usual (return) or (simple_return).  This sequence is not
recognized by the conditional return logic in try_optimize_cfg ().

This was introduced for processors older than z196, where it is
sometimes profitable to use call-clobbered register for returning
instead of %r14.  On newer processors we always return via %r14,
for which the fact that it's used is already reflected by
EPILOGUE_USES.  In this case a simple (return) suffices.

This patch changes return_use () to emit simple (return)s when
returning via %r14.  The resulting sequences are recognized by the
conditional return logic in try_optimize_cfg ().

gcc/ChangeLog:

2018-09-24  Ilya Leoshkevich  <iii@linux.ibm.com>

PR target/80080
* config/s390/s390.c (s390_emit_epilogue): Do not use PARALLEL
RETURN+USE when returning via %r14.

gcc/testsuite/ChangeLog:

2018-09-24  Ilya Leoshkevich  <iii@linux.ibm.com>

PR target/80080
* gcc.target/s390/risbg-ll-3.c: Expect conditional returns.
* gcc.target/s390/zvector/vec-cmp-2.c: Likewise.

From-SVN: r264535

6 years agoImprove colorization legend in gcov reports.
Martin Liska [Mon, 24 Sep 2018 11:28:38 +0000 (13:28 +0200)]
Improve colorization legend in gcov reports.

2018-09-24  Martin Liska  <mliska@suse.cz>

* gcov.c (output_lines): Print colorization legend
for both flag_use_colors and flag_use_hotness_colors.
Reword the help.

From-SVN: r264531

6 years agoImprove location information of -Wcoverage-mismatch.
Martin Liska [Mon, 24 Sep 2018 11:28:23 +0000 (13:28 +0200)]
Improve location information of -Wcoverage-mismatch.

2018-09-24  Martin Liska  <mliska@suse.cz>

* coverage.c (get_coverage_counts): Use warning_at
with current_function_decl location. Use %qD in warning
message.

From-SVN: r264530

6 years agoGuard memory block allocation.
Martin Liska [Mon, 24 Sep 2018 11:23:35 +0000 (13:23 +0200)]
Guard memory block allocation.

2018-09-24  Martin Liska  <mliska@suse.cz>

* memory-block.h (memory_block_pool::release): Annotate with
valgrind that the memory is not accessible.

From-SVN: r264529

6 years agoUnpoison variable partition properly (PR sanitizer/85774).
Martin Liska [Mon, 24 Sep 2018 11:22:38 +0000 (13:22 +0200)]
Unpoison variable partition properly (PR sanitizer/85774).

2018-09-24  Martin Liska  <mliska@suse.cz>

PR sanitizer/85774
* asan.c: Make asan_handled_variables extern.
* asan.h: Likewise.
* cfgexpand.c (expand_stack_vars): Make sure
a representative is unpoison if another
variable in the partition is handled by
use-after-scope sanitization.
2018-09-24  Martin Liska  <mliska@suse.cz>

PR sanitizer/85774
* g++.dg/asan/pr85774.C: New test.

From-SVN: r264528

6 years agopolicy_data_structures_biblio.xml: Update link to "Priority Queues and the STL".
Gerald Pfeifer [Mon, 24 Sep 2018 11:14:36 +0000 (11:14 +0000)]
policy_data_structures_biblio.xml: Update link to "Priority Queues and the STL".

* doc/xml/manual/policy_data_structures_biblio.xml: Update link
to "Priority Queues and the STL".

From-SVN: r264527

6 years ago[PR87054] adjust testcase for 32-bit x86
Alexandre Oliva [Mon, 24 Sep 2018 11:03:34 +0000 (11:03 +0000)]
[PR87054] adjust testcase for 32-bit x86

The test assumed __int128 to be available whenever __SSE__ was
defined, but this assumption doesn't hold on 32-bit x86.  Fixed.

for  gcc/testsuite/ChangeLog

PR middle-end/87054
* gcc.dg/pr87054.c: Adjust for no __int128 on x86.

From-SVN: r264526

6 years agore PR ada/87396 (ada/gcc-interface/decl.c:8798:53:Value Conversion Issue: implicit...
Eric Botcazou [Mon, 24 Sep 2018 10:29:07 +0000 (10:29 +0000)]
re PR ada/87396 (ada/gcc-interface/decl.c:8798:53:Value Conversion Issue: implicit conversion from 'int' to 'char' changes value from 132 to -124: -Wconstant-conversion)

PR ada/87396
* fe.h (Get_Attribute_Definition_Clause): Use 'unsigned char' instead
of 'char' as the type of the second parameter.

From-SVN: r264525

6 years agore PR middle-end/63155 (memory hog)
Richard Biener [Mon, 24 Sep 2018 07:08:24 +0000 (07:08 +0000)]
re PR middle-end/63155 (memory hog)

2018-09-24  Richard Biener  <rguenther@suse.de>

PR tree-optimization/63155
* tree-ssa-propagate.c (add_ssa_edge): Avoid adding PHIs to
the worklist when the edge of the respective argument isn't
executable.

From-SVN: r264523

6 years agoDaily bump.
GCC Administrator [Mon, 24 Sep 2018 00:16:34 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r264522

6 years agore PR fortran/87397 (Clobbering intent(out) variables caused regression in OpenCoarra...
Thomas Koenig [Sun, 23 Sep 2018 20:17:25 +0000 (20:17 +0000)]
re PR fortran/87397 (Clobbering intent(out) variables caused regression in OpenCoarrays testsuite)

2018-09-23  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/87397
* gfc_conv_procedure_call: Do not add clobber on INTENT(OUT)
for variables having the dimension attribute.

2018-09-23  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/87395
* gfortran.dg/intent_out_11.f90: New test.

From-SVN: r264518

6 years agoi386.h (enum reg_class): Rename MASK_REGS to ALL_MASK_REGS and MASK_EVEX_REGS to...
Uros Bizjak [Sun, 23 Sep 2018 15:37:30 +0000 (17:37 +0200)]
i386.h (enum reg_class): Rename MASK_REGS to ALL_MASK_REGS and MASK_EVEX_REGS to MASK_REGS.

* config/i386/i386.h (enum reg_class): Rename MASK_REGS to
ALL_MASK_REGS and MASK_EVEX_REGS to MASK_REGS.
(MASK_CLASS_P): Update for rename.
(MAYBE_MASK_CLASS_P): Ditto.
(REG_CLASS_NAMES): Update.
(REG_CLASS_CONTENT): Update.
* config/i386/i386.c (regclass_map): Update for MASK_REG
and ALL_MASK_REGS rename.
* config/i386/constraints.md (Yk): Update for rename.
(k): Ditto.

* config/i386/i386.h (enum reg_class): Remove
EVEX_SSE_REGS and MOD4_SSE_REGS.
(REG_CLASS_NAMES): Update.
(REG_CLASS_CONTENT): Update.
* config/i386/i386.c (regclass_map): Declare AVX-512 SSE
registers as ALL_SSE_REGS.
(ix86_additional_allocno_class_p): Remove.
(TARGET_ADDITIONAL_ALLOCNO_CLASS_P): Remove.
(ix86_register_priority): Lower priority of EVEX SSE registers.
Use IN_RANGE macro where appropriate.
(ix86_hard_regno_mode_ok): Merge AVX-5124FMAPS and
AVX-5124VNNIW checks.
(ix86_modes_tieable_p): Tie 512-bit SSE modes.
* config/i386/sse.md (avx5124fmaddps_4fmaddps)
(avx5124fmaddps_4fmaddps_mask, avx5124fmaddps_4fmaddps_maskz)
(avx5124fmaddps_4fmaddss, avx5124fmaddps_4fmaddss_mask)
(avx5124fmaddps_4fmaddss_maskz, avx5124fmaddps_4fnmaddps)
(avx5124fmaddps_4fnmaddps_mask, avx5124fmaddps_4fnmaddps_maskz)
(avx5124fmaddps_4fnmaddss, avx5124fmaddps_4fnmaddss_mask)
(avx5124fmaddps_4fnmaddss_maskz, avx5124vnniw_vp4dpwssd)
(avx5124vnniw_vp4dpwssd_mask, avx5124vnniw_vp4dpwssd_maskz)
(avx5124vnniw_vp4dpwssds, avx5124vnniw_vp4dpwssds_mask)
(avx5124vnniw_vp4dpwssds_maskz): Use "v" instead of "Yh" constraint.
* config/i386/constraints.md (Yh): Remove.

* config/i386/i386.c (regclass_map): Declare integer REX registers
        as GENERAL_REGS.

From-SVN: r264516

6 years agousing_exceptions.xml: Move boost.orgs link to https.
Gerald Pfeifer [Sun, 23 Sep 2018 14:57:25 +0000 (14:57 +0000)]
using_exceptions.xml: Move boost.orgs link to https.

* doc/xml/manual/using_exceptions.xml: Move boost.orgs link to
https.

From-SVN: r264515

6 years ago* doc/service.texi (Service): Switch the fsf.org link to https.
Gerald Pfeifer [Sun, 23 Sep 2018 14:41:54 +0000 (14:41 +0000)]
* doc/service.texi (Service): Switch the fsf.org link to https.

From-SVN: r264514

6 years agoDo array index calculations in gfc_array_index_type
Janne Blomqvist [Sun, 23 Sep 2018 11:03:38 +0000 (14:03 +0300)]
Do array index calculations in gfc_array_index_type

It was recently noticed that for a few of the coarray intrinsics array
index calculations were done in integer_type_node instead of
gfc_array_index_type.  This patch fixes this.

Regtested on x86_64-pc-linux-gnu.

gcc/fortran/ChangeLog:

2018-09-23  Janne Blomqvist  <jb@gcc.gnu.org>

* trans-expr.c (gfc_caf_get_image_index): Do array index
calculations in gfc_array_index_type.
* trans-intrinsic.c (conv_intrinsic_event_query): Likewise.
* trans-stmt.c (gfc_trans_lock_unlock): Likewise.
(gfc_trans_event_post_wait): Likewise.

gcc/testsuite/ChangeLog:

2018-09-23  Janne Blomqvist  <jb@gcc.gnu.org>

* gfortran.dg/coarray_lib_alloc_4.f90: Fix scan patterns.
* gfortran.dg/coarray_lock_7.f90: Likewise.

From-SVN: r264513

6 years agore PR fortran/87395 (ICE in in lookup_field_for_decl with whizard)
Thomas Koenig [Sun, 23 Sep 2018 10:52:27 +0000 (10:52 +0000)]
re PR fortran/87395 (ICE in in lookup_field_for_decl with whizard)

2018-09-23  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/87395
* gfc_conv_procedure_call: Reformat comments slightly. Do not add
clobber on INTENT(OUT) for saved variables.

2018-09-23  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/87395
* gfortran.dg/intent_out_10.f90: New test.

From-SVN: r264512

6 years agoDaily bump.
GCC Administrator [Sun, 23 Sep 2018 00:16:19 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r264510

6 years agore PR middle-end/41453 (use INTENT(out) for optimization)
Thomas Koenig [Sat, 22 Sep 2018 18:44:01 +0000 (18:44 +0000)]
re PR middle-end/41453 (use INTENT(out) for optimization)

2018-09-22  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/41453
* trans.h (gfc_conv_expr_reference): Add optional argument
add_clobber to prototype.
(gfc_conv_procedure_call):  Set add_clobber argument to
gfc_conv_procedure_reference to true for scalar, INTENT(OUT),
non-pointer, non-allocatable, non-dummy variables whose type
is neither BT_CHARACTER, BT_DERIVED or BT_CLASS, but only if
the procedure is not elemental.
* trans-expr.c (gfc_conv_procedure_reference): Add clobber
statement before call if add_clobber is set.

2018-09-22  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/41453
* gfortran.dg/intent_optimize_2.f90: New test.

From-SVN: r264506

6 years agore PR fortran/87318 (gfortran.dg/dtio_1.f90 is invalid)
Jerry DeLisle [Sat, 22 Sep 2018 17:49:19 +0000 (17:49 +0000)]
re PR fortran/87318 (gfortran.dg/dtio_1.f90 is invalid)

2018-09-22  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/87318
* gfortran.dg/dtio_1.f90: Update test to valid code.

From-SVN: r264505

6 years agore PR target/86798 (nds32 port needs updating for CVE-2017-5753)
Chung-Ju Wu [Sat, 22 Sep 2018 12:30:50 +0000 (12:30 +0000)]
re PR target/86798 (nds32 port needs updating for CVE-2017-5753)

PR target/86798
* config/nds32/nds32.c (TARGET_HAVE_SPECULATION_SAFE_VALUE):
Define to speculation_safe_value_not_needed.

From-SVN: r264503

6 years agore PR fortran/85603 (ICE with character array substring assignment)
Paul Thomas [Sat, 22 Sep 2018 10:21:25 +0000 (10:21 +0000)]
re PR fortran/85603 (ICE with character array substring assignment)

2018-09-22  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/85603
* trans-array.c (gfc_alloc_allocatable_for_assignment): Test
the charlen backend_decl before using the VAR_P macro.

2018-09-22  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/85603
* gfortran.dg/deferred_character_23.f90 : New test.

From-SVN: r264502

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

From-SVN: r264500

6 years agore PR libstdc++/87135 ([C++17] unordered containers violate iterator validity require...
François Dumont [Fri, 21 Sep 2018 20:39:07 +0000 (20:39 +0000)]
re PR libstdc++/87135 ([C++17] unordered containers violate iterator validity requirements)

2018-09-21  François Dumont  <fdumont@gcc.gnu.org>

PR libstdc++/87135
* src/c++11/hashtable_c++0x.cc (_Prime_rehash_policy::_M_next_bkt):
Use __builtin_floor to compute _M_next_resize.
* testsuite/23_containers/unordered_set/hash_policy/71181.cc: Adapt.
* testsuite/23_containers/unordered_set/hash_policy/prime_rehash.cc:
Adapt.

From-SVN: r264494

6 years agogimple-ssa-evrp.c (evrp_dom_walker::cleanup): Call vr_values::cleanup_edges_and_switches.
Jeff Law [Fri, 21 Sep 2018 20:00:23 +0000 (14:00 -0600)]
gimple-ssa-evrp.c (evrp_dom_walker::cleanup): Call vr_values::cleanup_edges_and_switches.

* gimple-ssa-evrp.c (evrp_dom_walker::cleanup): Call
vr_values::cleanup_edges_and_switches.
* tree-vrp.c (to_remove_edges, to_update_switch_stmts): Moved into
vr_values class.
(identify_jump_threads): Remove EDGE_IGNORE handling.
(execute_vrp): Move handling of to_remove_edges and
to_update_switch_stmts into vr_values class member functions.
* tree-vrp.h (switch_update, to_remove_edges): Remove declarations.
(to_update_switch_stmts): Likewise.
* vr-values.c: Include cfghooks.h.
(vr_values::vr_values): Initialize to_remove_edges and
to_update_switch_stmts.
(vr_values::~vr_values): Verify to_remove_edges and
to_update_switch_stmts are empty.
(vr_values::simplify_switch_using_ranges): Set EDGE_IGNORE as needed.
(vr_values::cleanup_edges_and_switches): New member function.
* vr-values.h (vr_values): Add cleanup_edges_and_switches member
function.  Add new data members.

* gcc.dg/tree-ssa/vrp113.c: Disable EVRP.
* gcc.dg/tree-ssa/vrp120.c: New test.

From-SVN: r264491

6 years agoDocument that attribute noreturn inhibits tail call optimization
Florian Weimer [Fri, 21 Sep 2018 19:49:36 +0000 (21:49 +0200)]
Document that attribute noreturn inhibits tail call optimization

PR middle-end/81035
* doc/extend.texi (Common Function Attributes): Mention that
noreturn suppresses tail call optimization.

From-SVN: r264490

6 years agoPR c++/87372 - __func__ constexpr evaluation.
Marek Polacek [Fri, 21 Sep 2018 18:45:59 +0000 (18:45 +0000)]
PR c++/87372 - __func__ constexpr evaluation.

* constexpr.c (maybe_constant_init_1): Pass false for strict down to
cxx_eval_outermost_constant_expr.

* g++.dg/cpp1y/func_constexpr2.C: New test.

From-SVN: r264489

6 years agoUse vectored writes when reporting errors and warnings.
Janne Blomqvist [Fri, 21 Sep 2018 18:12:59 +0000 (21:12 +0300)]
Use vectored writes when reporting errors and warnings.

When producing error and warning messages, libgfortran writes a
message by using many system calls.  By using vectored writes (the
POSIX writev function) when available and feasible to use without
major surgery, we reduce the chance that output gets intermingled with
other output to stderr.

In practice, this is done by introducing a new function estr_writev in
addition to the existing estr_write.  In order to use this, the old
st_vprintf is removed, replaced by direct calls of vsnprintf, allowing
more message batching.

Regtested on x86_64-pc-linux-gnu.

libgfortran/ChangeLog:

2018-09-21  Janne Blomqvist  <jb@gcc.gnu.org>

* config.h.in: Regenerated.
* configure: Regenerated.
* configure.ac: Check for writev and sys/uio.h.
* libgfortran.h: Include sys/uio.h.
(st_vprintf): Remove prototype.
(struct iovec): Define if not available.
(estr_writev): New prototype.
* runtime/backtrace.c (error_callback): Use estr_writev.
* runtime/error.c (ST_VPRINTF_SIZE): Remove.
(estr_writev): New function.
(st_vprintf): Remove.
(gf_vsnprintf): New function.
(ST_ERRBUF_SIZE): New macro.
(st_printf): Use vsnprintf.
(os_error): Use estr_writev.
(runtime_error): Use vsnprintf and estr_writev.
(runtime_error_at): Likewise.
(runtime_warning_at): Likewise.
(internal_error): Use estr_writev.
(generate_error_common): Likewise.
(generate_warning): Likewise.
(notify_std): Likewise.
* runtime/pause.c (pause_string): Likewise.
* runtime/stop.c (report_exception): Likewise.
(stop_string): Likewise.
(error_stop_string): Likewise.

From-SVN: r264487

6 years agore PR fortran/77325 (ICE in gimplify_var_or_parm_decl, at gimplify.c:1933)
Paul Thomas [Fri, 21 Sep 2018 17:33:29 +0000 (17:33 +0000)]
re PR fortran/77325 (ICE in gimplify_var_or_parm_decl, at gimplify.c:1933)

2018-09-21  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/77325
* trans-array.c (gfc_alloc_allocatable_for_assignment): If the
rhs has a charlen expression, convert that and use it.
* trans-expr.c (gfc_trans_assignment_1): The rse.pre for the
assignment of deferred character array vars to a realocatable
lhs should not be added to the exterior block since vector
indices, for example, generate temporaries indexed within the
loop.

2018-09-21  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/77325
* gfortran.dg/deferred_character_22.f90 : New test.

From-SVN: r264486

6 years agore PR fortran/87359 (pointer being freed was not allocated)
Paul Thomas [Fri, 21 Sep 2018 17:26:23 +0000 (17:26 +0000)]
re PR fortran/87359 (pointer being freed was not allocated)

2018-09-21  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/87359
* trans-stmt.c (gfc_trans_allocate): Don't deallocate alloc
components if must_finalize is set for expr3.

2018-09-21  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/87359
* gfortran.dg/finalize_33.f90 : New test.

From-SVN: r264485

6 years ago* constexpr.c (cxx_eval_outermost_constant_expr): Update comment.
Jason Merrill [Fri, 21 Sep 2018 17:22:20 +0000 (13:22 -0400)]
* constexpr.c (cxx_eval_outermost_constant_expr): Update comment.

From-SVN: r264484

6 years agoUn-split hypot<long double> tests
Jonathan Wakely [Fri, 21 Sep 2018 15:36:53 +0000 (16:36 +0100)]
Un-split hypot<long double> tests

Remove the hypot-long-double.cc file that used dg-xfail-run-if and
simply use the lower tolerance for double if long double is not larger
than double.

* testsuite/26_numerics/headers/cmath/hypot-long-double.cc: Remove.
* testsuite/26_numerics/headers/cmath/hypot.cc: Restore test for
long double unconditionally, but use lower tolerance when
sizeof(long double) == sizeof(double).

From-SVN: r264483

6 years agodumpfile.c: fix stray dump_loc output (PR tree-optimization/87309)
David Malcolm [Fri, 21 Sep 2018 14:17:07 +0000 (14:17 +0000)]
dumpfile.c: fix stray dump_loc output (PR tree-optimization/87309)

In r262891 I reimplemented this call:
  dump_printf_loc (MSG_NOTE, loc, "=== %s ===\n", name);
in dump_begin_scope to use direct calls to dump_loc:
  if (dump_file)
    {
      dump_loc (MSG_NOTE, dump_file, loc.get_location_t ());
      fprintf (dump_file, "=== %s ===\n", name);
    }

  if (alt_dump_file)
   {
     dump_loc (MSG_NOTE, alt_dump_file, loc.get_location_t ());
     fprintf (alt_dump_file, "=== %s ===\n", name);
   }

However ::dump_loc doesn't filter with pflags and alt_flags.

This lead to stray output of the form:
  test.cpp:1:6: note: test.cpp:1:11: note:
when using -fopt-info with "optimized" or "missed".

This patch adds this missing filtering, eliminating the stray partial
note output.

gcc/ChangeLog:
PR tree-optimization/87309
* dumpfile.c (dump_context::begin_scope): Filter the dump_loc
calls with pflags and alt_flags.
(selftest::test_capture_of_dump_calls): Add test of interaction of
MSG_OPTIMIZED_LOCATIONS with AUTO_DUMP_SCOPE.

gcc/testsuite/ChangeLog:
PR tree-optimization/87309
* gcc.dg/pr87309.c: New test.

From-SVN: r264481

6 years agoconfig.gcc: factorize and comment inclusion of vxworks-dummy.h
Olivier Hainque [Fri, 21 Sep 2018 13:12:36 +0000 (13:12 +0000)]
config.gcc: factorize and comment inclusion of vxworks-dummy.h

2018-09-21  Olivier Hainque  <hainque@adacore.com>

* gcc/config.gcc: Factorize and comment inclusion of
vxworks-dummy.h.

From-SVN: r264480

6 years agoLeverage cacheTextUpdate for __clear_cache on VxWorks
Olivier Hainque [Fri, 21 Sep 2018 13:09:51 +0000 (13:09 +0000)]
Leverage cacheTextUpdate for __clear_cache on VxWorks

2018-09-21  Alexandre Oliva  <oliva@adacore.com>

libgcc/
* config/vxcache.c: New file.  Provide __clear_cache, based on
the cacheTextUpdate VxWorks service.
* config/t-vxworks (LIB2ADD): Add vxcache.c.
(LIB2FUNCS_EXCLUDE): Add _clear_cache.
* config/t-vxwoks7: Likewise.
gcc/
* config/vxworks.h (CLEAR_INSN_CACHE): #define to 1.

From-SVN: r264479

6 years agoCleanup handling of libgcc and libc_internal for VxWorks
Olivier Hainque [Fri, 21 Sep 2018 13:05:19 +0000 (13:05 +0000)]
Cleanup handling of libgcc and libc_internal for VxWorks

2018-09-21  Olivier Hainque  <hainque@adacore.com>

* config/vxworks.h (VXWORKS_LIBGCC_SPEC): Remove -lc_internal.
Merge block comment with the one ahead of VXWORKS_LIBS_RTP. Then:
(VXWORKS_LIBS_RTP): Minor reordering.

From-SVN: r264477

6 years agoLeverage STARTFILE_PREFIX_SPEC for VxWorks7
Olivier Hainque [Fri, 21 Sep 2018 13:03:25 +0000 (13:03 +0000)]
Leverage STARTFILE_PREFIX_SPEC for VxWorks7

2018-09-21  Olivier Hainque  <hainque@adacore.com>

* config/vxworks.h (STARTFILE_PREFIX_SPEC): Define.
(VXWORKS_LIBS_DIR_RTP): Remove definition and use.

From-SVN: r264476

6 years agoAccount for TARGET_VXWORKS64 in default SIZE/PTRDIFF_TYPE for vxworks
Olivier Hainque [Fri, 21 Sep 2018 13:01:31 +0000 (13:01 +0000)]
Account for TARGET_VXWORKS64 in default SIZE/PTRDIFF_TYPE for vxworks

2018-09-21  Olivier Hainque  <hainque@adacore.com>

* config/vxworks.h (SIZE_TYPE): Account for TARGET_VXWORKS64.
(PTRDIFF_TYPE): Likewise.

From-SVN: r264475

6 years agoIntroduce TARGET_VXWORKS64 for VxWorks 64bit ports
Olivier Hainque [Fri, 21 Sep 2018 12:43:46 +0000 (12:43 +0000)]
Introduce TARGET_VXWORKS64 for VxWorks 64bit ports

2018-09-21  Olivier Hainque  <hainque@adacore.com>

* config.gcc: Enforce def of TARGET_VXWORKS64 to 1 from
triplet, similar to support for VxWorks7.
* config/vxworks-dummy.h: Provide a default definition
of TARGET_VXWORKS64 to 0.

From-SVN: r264474

6 years agoFix whitespace vs tab in entry
Olivier Hainque [Fri, 21 Sep 2018 12:39:51 +0000 (12:39 +0000)]
Fix whitespace vs tab in entry

From-SVN: r264473

6 years agoMove default #define TARGET_VXWORKS7 to vxworks-dummy.h
Olivier Hainque [Fri, 21 Sep 2018 12:38:57 +0000 (12:38 +0000)]
Move default #define TARGET_VXWORKS7 to vxworks-dummy.h

2018-09-21  Olivier Hainque  <hainque@adacore.com>

* config/vxworks.h (TARGET_VXWORKS7): Move default definition ...
* config/vxworks-dummy.h: here.

From-SVN: r264472

6 years agoPrepend vxworks-dummy.h to tm_file for powerpc*
Olivier Hainque [Fri, 21 Sep 2018 12:35:55 +0000 (12:35 +0000)]
Prepend vxworks-dummy.h to tm_file for powerpc*

2018-09-20  Olivier Hainque  <hainque@adacore.com>

* config.gcc (powerpc*-*-*): Prepend vxworks-dummy.h to tm_file.

From-SVN: r264471

6 years ago[aarch64] Add HiSilicon tsv110 CPU support
Shaokun Zhang [Fri, 21 Sep 2018 12:25:12 +0000 (12:25 +0000)]
[aarch64] Add HiSilicon tsv110 CPU support

This patch adds HiSilicon's an mcpu: tsv110, which supports v8_4A.
It has been tested on aarch64 and no regressions from this patch.

2018-09-21  Shaokun Zhang  <zhangshaokun@hisilicon.com>
            Bo Zhou  <zbo.zhou@hisilicon.com>

* config/aarch64/aarch64-cores.def (tsv110): New CPU.
* config/aarch64/aarch64-tune.md: Regenerated.
* doc/invoke.texi (AArch64 Options/-mtune): Add "tsv110".
* config/aarch64/aarch64.c (tsv110_tunings): New tuning table.
* config/aarch64/aarch64-cost-tables.h: Add "tsv110" extra costs.

Co-Authored-By: Bo Zhou <zbo.zhou@hisilicon.com>
From-SVN: r264470

6 years agoFix co-array allocation
Andrew Stubbs [Fri, 21 Sep 2018 11:25:54 +0000 (11:25 +0000)]
Fix co-array allocation

The Fortran front-end has a bug in which it uses "int" values for "size_t"
parameters.  I don't know why this isn't problem for all 64-bit architectures,
but GCN ends up with the data in the wrong argument register and/or stack slot,
and bad things happen.

This patch corrects the issue by setting the correct type.

2018-09-21  Andrew Stubbs  <ams@codesourcery.com>
            Kwok Cheung Yeung  <kcy@codesourcery.com>

gcc/fortran/
* trans-expr.c (gfc_trans_structure_assign): Ensure that the first
argument of a call to _gfortran_caf_register is of size_type_node.
* trans-intrinsic.c (conv_intrinsic_event_query): Convert computed
index to a size_type_node type.
* trans-stmt.c (gfc_trans_event_post_wait): Likewise.

Co-Authored-By: Kwok Cheung Yeung <kcy@codesourcery.com>
From-SVN: r264468

6 years agoPropagate address spaces to builtins.
Andrew Stubbs [Fri, 21 Sep 2018 11:25:39 +0000 (11:25 +0000)]
Propagate address spaces to builtins.

At present, pointers passed to builtin functions, including atomic operators,
are stripped of their address space properties.  This doesn't seem to be
deliberate, it just omits to copy them.

Not only that, but it forces pointer sizes to Pmode, which isn't appropriate
for all address spaces.

This patch attempts to correct both issues.  It works for GCN atomics and
GCN OpenACC gang-private variables.

2018-09-21  Andrew Stubbs  <ams@codesourcery.com>
    Julian Brown  <julian@codesourcery.com>

gcc/
* builtins.c (get_builtin_sync_mem): Handle address spaces.

Co-Authored-By: Julian Brown <julian@codesourcery.com>
From-SVN: r264467

6 years agoc-ada-spec.c: Include diagnostic.h.
Eric Botcazou [Fri, 21 Sep 2018 10:11:37 +0000 (10:11 +0000)]
c-ada-spec.c: Include diagnostic.h.

* c-ada-spec.c: Include diagnostic.h.
(dump_ada_declaration) <RECORD_TYPE>: Issue a warning on packed layout.

From-SVN: r264466

6 years agors6000.c (rs6000_function_ok_for_sibcall): Return false if the call takes a static...
Eric Botcazou [Fri, 21 Sep 2018 10:01:16 +0000 (10:01 +0000)]
rs6000.c (rs6000_function_ok_for_sibcall): Return false if the call takes a static chain.

* config/rs6000/rs6000.c (rs6000_function_ok_for_sibcall): Return false
if the call takes a static chain.

From-SVN: r264463

6 years agoRemove arc profile histogram in non-LTO mode.
Martin Liska [Fri, 21 Sep 2018 08:41:17 +0000 (10:41 +0200)]
Remove arc profile histogram in non-LTO mode.

2018-09-21  Martin Liska  <mliska@suse.cz>

* auto-profile.c (autofdo_source_profile::read): Do not
set sum_all.
(read_profile): Do not add working sets.
(read_autofdo_file): Remove sum_all.
(afdo_callsite_hot_enough_for_early_inline): Remove const
qualifier.
* coverage.c (struct counts_entry): Remove gcov_summary.
(read_counts_file): Read new GCOV_TAG_OBJECT_SUMMARY,
do not support GCOV_TAG_PROGRAM_SUMMARY.
(get_coverage_counts): Remove summary and expected
arguments.
* coverage.h (get_coverage_counts): Likewise.
* doc/gcov-dump.texi: Remove -w option.
* gcov-dump.c (dump_working_sets): Remove.
(main): Do not support '-w' option.
(print_usage): Likewise.
(tag_summary): Likewise.
* gcov-io.c (gcov_write_summary): Do not dump
histogram.
(gcov_read_summary): Likewise.
(gcov_histo_index): Remove.
(gcov_histogram_merge): Likewise.
(compute_working_sets): Likewise.
* gcov-io.h (GCOV_TAG_OBJECT_SUMMARY): Mark
it not obsolete.
(GCOV_TAG_PROGRAM_SUMMARY): Mark it obsolete.
(GCOV_TAG_SUMMARY_LENGTH): Adjust.
(GCOV_HISTOGRAM_SIZE): Remove.
(GCOV_HISTOGRAM_BITVECTOR_SIZE): Likewise.
(struct gcov_summary): Simplify rapidly just
to runs and sum_max fields.
(gcov_histo_index): Remove.
(NUM_GCOV_WORKING_SETS): Likewise.
(compute_working_sets): Likewise.
* gcov-tool.c (print_overlap_usage_message): Remove
trailing empty line.
* gcov.c (read_count_file): Read GCOV_TAG_OBJECT_SUMMARY.
(output_lines): Remove program related line.
* ipa-profile.c (ipa_profile): Do not consider GCOV histogram.
* lto-cgraph.c (output_profile_summary): Do not stream GCOV
histogram.
(input_profile_summary): Do not read it.
(merge_profile_summaries): And do not merge it.
(input_symtab): Do not call removed function.
* modulo-sched.c (sms_schedule): Do not print sum_max.
* params.def (HOT_BB_COUNT_FRACTION): Reincarnate param that was
removed when histogram method was invented.
(HOT_BB_COUNT_WS_PERMILLE): Mention that it's used only in LTO
mode.
* postreload-gcse.c (eliminate_partially_redundant_load): Fix
GCOV coding style.
* predict.c (get_hot_bb_threshold): Use HOT_BB_COUNT_FRACTION
and dump selected value.
* profile.c (add_working_set): Remove.
(get_working_sets): Likewise.
(find_working_set): Likewise.
(get_exec_counts): Do not work with working sets.
(read_profile_edge_counts): Do not inform as sum_max is removed.
(compute_branch_probabilities): Likewise.
(compute_value_histograms): Remove argument for call of
get_coverage_counts.
* profile.h: Do not make gcov_summary const.
2018-09-21  Martin Liska  <mliska@suse.cz>

* libgcov-driver.c (crc32_unsigned): Remove.
(gcov_histogram_insert): Likewise.
(gcov_compute_histogram): Likewise.
(compute_summary): Simplify rapidly.
(merge_one_data): Do not handle PROGRAM_SUMMARY tag.
(merge_summary): Rapidly simplify.
(dump_one_gcov): Ignore gcov_summary.
(gcov_do_dump): Do not handle program summary, it's not
used.
* libgcov-util.c (tag_summary): Remove.
(read_gcda_finalize): Fix coding style.
(read_gcda_file): Initialize curr_object_summary.
(compute_summary): Remove.
(calculate_overlap): Remove settings of run_max.

From-SVN: r264462

6 years ago[NDS32] Sync glibc and kernel structure, all use _rt_sigframe.
Monk Chiang [Fri, 21 Sep 2018 08:39:35 +0000 (08:39 +0000)]
[NDS32] Sync glibc and kernel structure, all use _rt_sigframe.

libgcc/
* config/nds32/linux-unwind.h (struct _rt_sigframe): Use struct
ucontext_t type instead.
(nds32_fallback_frame_state): Remove struct _sigframe statement.

From-SVN: r264461

6 years ago[NDS32] Add t-nds32-glibc file.
Kito Cheng [Fri, 21 Sep 2018 08:11:40 +0000 (08:11 +0000)]
[NDS32] Add t-nds32-glibc file.

libgcc/
* config/nds32/t-nds32-glibc: New file.

From-SVN: r264460

6 years ago[NDS32] Turn off default option -mtlsdesc-trampoline.
Monk Chiang [Fri, 21 Sep 2018 07:35:49 +0000 (07:35 +0000)]
[NDS32] Turn off default option -mtlsdesc-trampoline.

gcc/
* config.gcc (nds32*-*-*): Set TARGET_DEFAULT_TLSDESC_TRAMPOLINE=0.

From-SVN: r264459

6 years agore PR tree-optimization/86990 (wrong code at -O2 on x86_64-linux-gnu in 64-bit mode)
Eric Botcazou [Fri, 21 Sep 2018 07:28:42 +0000 (07:28 +0000)]
re PR tree-optimization/86990 (wrong code at -O2 on x86_64-linux-gnu in 64-bit mode)

PR tree-optimization/86990
* gimple-ssa-store-merging.c (imm_store_chain_info:coalesce_immediate):
Check that the entire merged store group is made of constants only for
overlapping stores.

From-SVN: r264458

6 years agoDaily bump.
GCC Administrator [Fri, 21 Sep 2018 00:17:01 +0000 (00:17 +0000)]
Daily bump.

From-SVN: r264456

6 years agoPR c++/87109 - wrong ctor with maybe-rvalue semantics.
Marek Polacek [Thu, 20 Sep 2018 23:20:19 +0000 (23:20 +0000)]
PR c++/87109 - wrong ctor with maybe-rvalue semantics.

* call.c (build_user_type_conversion_1): Refine the maybe-rvalue
check to only return if we're converting the return value to a base
class.

* g++.dg/cpp0x/ref-qual19.C: Adjust the expected results.
* g++.dg/cpp0x/ref-qual20.C: New test.

From-SVN: r264452

6 years agoFix and document -r option
Allan Sandfeld Jensen [Thu, 20 Sep 2018 19:38:24 +0000 (01:38 +0600)]
Fix and document -r option

The option has existed and been working for years,
make sure it implies the right extra options, and list
it in the documentation.

2018-09-20  Allan Sandfeld Jensen  <allan.jensen@qt.io>

gcc/
* gcc.c (LINK_COMMAND_SPEC): Handle -r like -nostdlib.
(VTABLE_VERIFICATION_SPEC): Likewise.
(SANITIZER_EARLY_SPEC): Likewise.
(SANITIZER_SPEC): Likewise.
* config/darwin.h (LINK_COMMAND_SPEC): Likewise.
* doc/invoke.texi (Link Options): Document -r.

gcc/cp/
* g++spec.c (lang_specific_driver): Handle -r like -nostdlib.

gcc/fortran/
* gfortranspec.c (lang_specific_driver): Handle -r like -nostdlib.

gcc/go/
* gospec.c (lang_specific_driver): Handle -r like -nostdlib.

gcc/testsuite/
* g++.dg/ipa/pr64059.C: Removed now redundant -nostdlib.
* g++.dg/lto/20081109-1_0.C: Likewise.
* g++.dg/lto/20090302_0.C: Likewise.
* g++.dg/lto/pr45621_0.C: Likewise.
* g++.dg/lto/pr60567_0.C: Likewise.
* g++.dg/lto/pr62026.C: Likewise.
* gcc.dg/lto/pr45736_0.c: Likewise.
* gcc.dg/lto/pr52634_0.c: Likewise.
* gfortran.dg/lto/20091016-1_0.f90: Likewise.
* gfortran.dg/lto/pr79108_0.f90: Likewise.

From-SVN: r264451

6 years ago[PR87054] fix unaligned access
Alexandre Oliva [Thu, 20 Sep 2018 19:34:44 +0000 (19:34 +0000)]
[PR87054] fix unaligned access

Building an ADDR_EXPR uses the canonical type to build the pointer
type, but then, as we dereference it, we lose track of lax alignment
known to apply to the dereferenced object.  This might not be a
problem in general, but it is when the compiler implicitly introduces
address taking and dereferencing, as it does for asm statements, and
as it may do in some loop optimizations.

From: Richard Biener <rguenther@suse.de>
for  gcc/ChangeLog

PR middle-end/87054
* gimplify.c (gimplify_expr): Retain alignment of
addressable lvalue in dereference.

From: Alexandre Oliva <oliva@adacore.com>
for  gcc/testsuite/ChangeLog

PR middle-end/87054
* gcc.dg/pr87054.c: New.

From-SVN: r264450

6 years ago[PR87013] check for .loc is_stmt support in the assembler
Alexandre Oliva [Thu, 20 Sep 2018 19:34:30 +0000 (19:34 +0000)]
[PR87013] check for .loc is_stmt support in the assembler

Back when we had the logic to output is_stmt but never exercised it,
it didn't matter that we didn't test for assembler support for it.
But there are still assemblers out there that do not support it, so
now that we enable the formerly latent is_stmt logic, we'd better make
sure the assembler can deal with it.

for  gcc/ChangeLog

PR bootstrap/87013
* configure.ac: Check for .loc is_stmt support.
* configure, config.in: Rebuilt.
* dwarf2out.c (dwarf2out_source_line): Skip is_stmt
if not supported.

From-SVN: r264449

6 years agogfortran.h (gfc_str_startswith): New macro.
Janus Weil [Thu, 20 Sep 2018 19:33:05 +0000 (21:33 +0200)]
gfortran.h (gfc_str_startswith): New macro.

2018-09-20  Janus Weil  <janus@gcc.gnu.org>

* gfortran.h (gfc_str_startswith): New macro.
* decl.c (variable_decl, gfc_match_end): Use it.
* iresolve.c (is_trig_resolved): Ditto.
* module.c (load_omp_udrs, read_module): Ditto.
* options.c (gfc_handle_runtime_check_option): Ditto.
* primary.c (match_arg_list_function): Ditto.
* trans-decl.c (gfc_get_symbol_decl): Ditto.
* trans-expr.c (gfc_conv_procedure_call): Ditto.
* interface.c (dtio_op): Replace strncmp by strcmp.
* resolve.c (resolve_actual_arglist, resolve_function): Ditto.
* trans-expr.c (conv_arglist_function): Ditto.
* trans-intrinsic.c (gfc_conv_ieee_arithmetic_function): Replace macro
STARTS_WITH by gfc_str_startswith.

From-SVN: r264448

6 years agors6000: Remove -misel={yes,no}
Segher Boessenkool [Thu, 20 Sep 2018 19:04:42 +0000 (21:04 +0200)]
rs6000: Remove -misel={yes,no}

These options have been deprecated for many years, supplanted by -misel
and -mno-isel.  This patch finally removes them.

* config/rs6000/rs6000.opt (misel=no, misel=yes): Delete.
* doc/invoke.texi (RS/6000 and PowerPC Options): Delete -misel=yes and
-misel=no.

From-SVN: r264447

6 years ago[OpenACC] handle missing OMP_LIST_ clauses in fortran's parse tree debugger
Cesar Philippidis [Thu, 20 Sep 2018 18:42:57 +0000 (11:42 -0700)]
[OpenACC] handle missing OMP_LIST_ clauses in fortran's parse tree debugger

gcc/fortran/
* dump-parse-tree.c (show_omp_clauses): Add missing omp list_types
and reorder the switch cases to match the enum in gfortran.h.

From-SVN: r264446

6 years agors6000: Delete VECTOR_OTHER
Segher Boessenkool [Thu, 20 Sep 2018 17:21:54 +0000 (19:21 +0200)]
rs6000: Delete VECTOR_OTHER

It's never used.

* config/rs6000/rs6000-opts.h (enum rs6000_vector): Delete
VECTOR_OTHER.
* config/rs6000/rs6000.c (rs6000_debug_vector_unit): Delete
case VECTOR_OTHER.

From-SVN: r264444

6 years agohypot-long-double.cc: Skip on arm*.
Christophe Lyon [Thu, 20 Sep 2018 17:09:31 +0000 (17:09 +0000)]
hypot-long-double.cc: Skip on arm*.

2018-09-20  Christophe Lyon  <christophe.lyon@linaro.org>

* testsuite/26_numerics/headers/cmath/hypot-long-double.cc: Skip
on arm*.

From-SVN: r264443

6 years agoPR c++/87075 - ICE with constexpr array initialization.
Jason Merrill [Thu, 20 Sep 2018 17:09:19 +0000 (13:09 -0400)]
PR c++/87075 - ICE with constexpr array initialization.

My patch of 2016-08-26 to avoid calling a trivial default constructor
introduced TARGET_EXPRs initialized with void_node to express trivial
initialization.  But when this shows up in a VEC_INIT_EXPR, we weren't
prepared to handle it.  Fixed by handling it explicitly in
cxx_eval_vec_init_1.

* constexpr.c (cxx_eval_vec_init_1): Handle trivial initialization.

From-SVN: r264442