1. 19 Sep, 2018 12 commits
    • re PR c++/87324 (g++ ICE with overriding initializers: Segmentation fault) · ff5c3c9d
      /cp
      2018-09-19  Paolo Carlini  <paolo.carlini@oracle.com>
      
      	PR c++/87324
      	* parser.c (cp_parser_initializer_list): Assign error_mark_node
      	to the index upon error.
      
      /testsuite
      2018-09-19  Paolo Carlini  <paolo.carlini@oracle.com>
      
      	PR c++/87324
      	* g++.dg/cpp0x/desig5.C: New.
      
      From-SVN: r264428
      Paolo Carlini committed
    • re PR fortran/84109 (ICE in adjustl on allocatable array of strings) · ad9fe5f3
      2018-09-19  Paul Thomas  <pault@gcc.gnu.org>
      
      	PR fortran/84109
      	* trans-expr.c (gfc_trans_assignment_1): The rse.pre for the
      	assignment of deferred character intrinsic elemental function
      	results to a realocatable lhs must not be added to the exterior
      	block if they are array valued but must go to the loop body.
      
      2018-09-19  Paul Thomas  <pault@gcc.gnu.org>
      
      	PR fortran/84109
      	* gfortran.dg/elemental_function_3.f90 : New test.
      
      From-SVN: r264427
      Paul Thomas committed
    • combine: Use correct mode in new comparison (PR86902) · ebdf17cb
      This code in try_combine uses the wrong mode.  This fails (with RTL
      checking) in trunk, but not in any released branches.
      
      
      	PR rtl-optimization/86902
      	* combine.c (try_combine): When changing the CC mode used, don't change
      	an unrelated mode in other_insn to that new CC mode.
      
      From-SVN: r264426
      Segher Boessenkool committed
    • PR c++/87357 - missing -Wconversion warning · fce33808
      	PR c++/87357 - missing -Wconversion warning
      	* decl.c (grok_op_properties): Remove diagnostic parts mentioning
      	a conversion to a reference to void.  Use
      	same_type_ignoring_top_level_qualifiers_p rather than comparing types
      	directly.
      
      	* g++.dg/warn/Wconversion5.C: New test.
      
      From-SVN: r264425
      Marek Polacek committed
    • dump_printf: use %T and %G throughout · 3c2a8ed0
      As promised at Cauldron, this patch uses %T and %G with dump_printf and
      dump_printf_loc calls to eliminate calls to
      
        dump_generic_expr (MSG_*, arg, TDF_SLIM)  (via %T)
      
      and
      
        dump_gimple_stmt (MSG_*, TDF_SLIM, stmt, 0)  (via %G)
      
      throughout the middle-end, simplifying numerous dump callsites.
      
      A few calls to these functions didn't match the above pattern; I didn't
      touch these.  I wasn't able to use %E anywhere.
      
      gcc/ChangeLog:
      	* tree-data-ref.c (runtime_alias_check_p): Use formatted printing
      	with %T in place of calls to dump_generic_expr.
      	(prune_runtime_alias_test_list): Likewise.
      	(create_runtime_alias_checks): Likewise.
      	* tree-vect-data-refs.c (vect_check_nonzero_value): Likewise.
      	(vect_analyze_data_ref_dependence): Likewise.
      	(vect_slp_analyze_data_ref_dependence): Likewise.
      	(vect_record_base_alignment): Likewise.  Use %G in place of call
      	to dump_gimple_stmt.
      	(vect_compute_data_ref_alignment): Likewise.
      	(verify_data_ref_alignment): Likewise.
      	(vect_find_same_alignment_drs): Likewise.
      	(vect_analyze_group_access_1): Likewise.
      	(vect_analyze_data_ref_accesses): Likewise.
      	(dependence_distance_ge_vf): Likewise.
      	(dump_lower_bound): Likewise.
      	(vect_prune_runtime_alias_test_list): Likewise.
      	(vect_find_stmt_data_reference): Likewise.
      	(vect_analyze_data_refs): Likewise.
      	(vect_create_addr_base_for_vector_ref): Likewise.
      	(vect_create_data_ref_ptr): Likewise.
      	* tree-vect-loop-manip.c (vect_set_loop_condition): Likewise.
      	(vect_can_advance_ivs_p): Likewise.
      	(vect_update_ivs_after_vectorizer): Likewise.
      	(vect_gen_prolog_loop_niters): Likewise.
      	(vect_prepare_for_masked_peels): Likewise.
      	* tree-vect-loop.c (vect_determine_vf_for_stmt): Likewise.
      	(vect_determine_vectorization_factor): Likewise.
      	(vect_is_simple_iv_evolution): Likewise.
      	(vect_analyze_scalar_cycles_1): Likewise.
      	(vect_analyze_loop_operations): Likewise.
      	(report_vect_op): Likewise.
      	(vect_is_slp_reduction): Likewise.
      	(check_reduction_path): Likewise.
      	(vect_is_simple_reduction): Likewise.
      	(vect_create_epilog_for_reduction): Likewise.
      	(vect_finalize_reduction:): Likewise.
      	(vectorizable_induction): Likewise.
      	(vect_transform_loop_stmt): Likewise.
      	(vect_transform_loop): Likewise.
      	(optimize_mask_stores): Likewise.
      	* tree-vect-patterns.c (vect_pattern_detected): Likewise.
      	(vect_split_statement): Likewise.
      	(vect_recog_over_widening_pattern): Likewise.
      	(vect_recog_average_pattern): Likewise.
      	(vect_determine_min_output_precision_1): Likewise.
      	(vect_determine_precisions_from_range): Likewise.
      	(vect_determine_precisions_from_users): Likewise.
      	(vect_mark_pattern_stmts): Likewise.
      	(vect_pattern_recog_1): Likewise.
      	* tree-vect-slp.c (vect_get_and_check_slp_defs): Likewise.
      	(vect_record_max_nunits): Likewise.
      	(vect_build_slp_tree_1): Likewise.
      	(vect_build_slp_tree_2): Likewise.
      	(vect_print_slp_tree): Likewise.
      	(vect_analyze_slp_instance): Likewise.
      	(vect_detect_hybrid_slp_stmts): Likewise.
      	(vect_detect_hybrid_slp_1): Likewise.
      	(vect_slp_analyze_operations): Likewise.
      	(vect_slp_analyze_bb_1): Likewise.
      	(vect_transform_slp_perm_load): Likewise.
      	(vect_schedule_slp_instance): Likewise.
      	* tree-vect-stmts.c (vect_mark_relevant): Likewise.
      	(vect_mark_stmts_to_be_vectorized): Likewise.
      	(vect_init_vector_1): Likewise.
      	(vect_get_vec_def_for_operand): Likewise.
      	(vect_finish_stmt_generation_1): Likewise.
      	(vect_check_load_store_mask): Likewise.
      	(vectorizable_call): Likewise.
      	(vectorizable_conversion): Likewise.
      	(vectorizable_operation): Likewise.
      	(vectorizable_load): Likewise.
      	(vect_analyze_stmt): Likewise.
      	(vect_is_simple_use): Likewise.
      	(vect_get_vector_types_for_stmt): Likewise.
      	(vect_get_mask_type_for_stmt): Likewise.
      	* tree-vectorizer.c (increase_alignment): Likewise.
      
      From-SVN: r264424
      David Malcolm committed
    • Remove constant vec_select restriction. · 5bbb7115
      The vec_select operator is documented to require a const_int for the lane
      selector operand, but GCN has an instruction that can select the lane at
      runtime, so it seems reasonable to remove this restriction.
      
      This patch simply replaces assertions that the operand is constant with early
      exits from the optimizers.  I think it's reasonable that vec_select with a
      non-constant operand cannot be optimized, yet.
      
      Also included is the necessary documentation tweak.
      
      2018-09-19  Andrew Stubbs  <ams@codesourcery.com>
      
      	gcc/
      	* doc/rtl.texi: Adjust vec_select description.
      	* simplify-rtx.c (simplify_binary_operation_1): Allow VEC_SELECT to use
      	non-constant selectors.
      
      From-SVN: r264423
      Andrew Stubbs committed
    • Don't use __glibcxx_assert to check class invariants · dc9acaa9
      Assertions should be used to check preconditions that users must meet,
      not to check whether the implementation is correct.
      
      	* include/bits/regex_automaton.tcc (_StateSeq<_TraitsT>::_M_clone()):
      	Remove __glibcxx_assert statements and use map::find instead of
      	map::operator[].
      
      From-SVN: r264422
      Jonathan Wakely committed
    • [AARCH64] Use STLUR for atomic_store · 3c5af608
      Use the STLUR instruction introduced in Armv8.4-a.
      This instruction has the store-release semantic like STLR but can take a
      9-bit unscaled signed immediate offset.
      
      Example test case:
      ```
      void
      foo ()
      {
          int32_t *atomic_vals = calloc (4, sizeof (int32_t));
          atomic_store_explicit (atomic_vals + 1, 2, memory_order_release);
      }
      ```
      
      Before patch generates
      ```
      foo:
      	stp	x29, x30, [sp, -16]!
      	mov	x1, 4
      	mov	x0, x1
      	mov	x29, sp
      	bl	calloc
      	mov	w1, 2
      	add	x0, x0, 4
      	stlr	w1, [x0]
      	ldp	x29, x30, [sp], 16
      	ret
      ```
      
      After patch generates
      ```
      foo:
      	stp	x29, x30, [sp, -16]!
      	mov	x1, 4
      	mov	x0, x1
      	mov	x29, sp
      	bl	calloc
      	mov	w1, 2
      	stlur	w1, [x0, 4]
      	ldp	x29, x30, [sp], 16
      	ret
      ```
      
      We introduce a new feature flag to indicate the presence of this instruction.
      The feature flag is called AARCH64_ISA_RCPC8_4 and is included when targeting
      armv8.4 architecture.
      
      We also introduce an "arch" attribute to be checked called "rcpc8_4" after this
      feature flag.
      
      gcc/
      
      2018-09-19  Matthew Malcomson  <matthew.malcomson@arm.com>
      
      	* config/aarch64/aarch64-protos.h
      	(aarch64_offset_9bit_signed_unscaled_p): New declaration.
      	* config/aarch64/aarch64.md (arches): New "rcpc8_4" attribute value.
      	(arch_enabled): Add check for "rcpc8_4" attribute value of "arch".
      	* config/aarch64/aarch64.h (AARCH64_FL_RCPC8_4): New bitfield.
      	(AARCH64_FL_FOR_ARCH8_4): Include AARCH64_FL_RCPC8_4.
      	(AARCH64_FL_PROFILE): Move index so flags are ordered.
      	(AARCH64_ISA_RCPC8_4): New flag.
      	* config/aarch64/aarch64.c (offset_9bit_signed_unscaled_p): Renamed
      	to aarch64_offset_9bit_signed_unscaled_p.
      	* config/aarch64/atomics.md (atomic_store<mode>): Allow offset
      	and use stlur.
      	* config/aarch64/constraints.md (Ust): New constraint.
      	* config/aarch64/predicates.md.
      	(aarch64_9bit_offset_memory_operand): New predicate.
      	(aarch64_rcpc_memory_operand): New predicate.
      
      gcc/testsuite/
      
      2018-09-19  Matthew Malcomson  <matthew.malcomson@arm.com>
      
      	* gcc.target/aarch64/atomic-store.c: New.
      
      From-SVN: r264421
      Matthew Malcomson committed
    • re PR rtl-optimization/87361 (gcc.target/sparc/20161111-1.c FAILs) · 574f5885
      	PR rtl-optimization/87361
      	* rtlanal.c (nonzero_bits1): Revert accidental change.
      
      From-SVN: r264420
      Eric Botcazou committed
    • re PR tree-optimization/87349 (ICE: Segmentation fault (in… · d4eb08fe
      re PR tree-optimization/87349 (ICE: Segmentation fault (in useless_type_conversion_p or is_gimple_reg_type))
      
      2018-09-19  Richard Biener  <rguenther@suse.de>
      
      	PR tree-optimization/87349
      	PR tree-optimization/87342
      	* tree-ssa-sccvn.c (do_rpo_vn): Iterate max_rpo computation.
      
      	* gcc.dg/torture/pr87349-1.c: New testcase.
      	* gcc.dg/torture/pr87349-2.c: Likewise.
      	* gcc.dg/torture/pr87342.c: Likewise.
      
      From-SVN: r264419
      Richard Biener committed
    • libgnuintl.h (_INTL_MAY_RETURN_STRING_ARG, [...]): Backport changes from upstream gettext. · 90773931
      	* libgnuintl.h (_INTL_MAY_RETURN_STRING_ARG, gettext, dgettext,
      	dcgettext, ngettext, dngettext, dcngettext): Backport changes
      	from upstream gettext.
      
      From-SVN: r264418
      Simon Marchi committed
    • Daily bump. · 709f7ea1
      From-SVN: r264417
      GCC Administrator committed
  2. 18 Sep, 2018 23 commits
    • re PR libstdc++/87135 ([C++17] unordered containers violate iterator validity requirements) · a521e626
      2018-09-18  François Dumont  <fdumont@gcc.gnu.org>
      
      	PR libstdc++/87135
      	* src/c++11/hashtable_c++0x.cc:
      	(_Prime_rehash_policy::_M_next_bkt): Return a prime no smaller than
      	requested size, but not necessarily greater.
      	(_Prime_rehash_policy::_M_need_rehash): Rehash only if target size is
      	strictly greater than next resize threshold.
      	* testsuite/23_containers/unordered_map/modifiers/reserve.cc: Adapt test
      	to validate that there is no rehash as long as number of insertion is
      	lower or equal to the reserved number of elements.
      
      From-SVN: r264413
      François Dumont committed
    • re PR fortran/29550 (Optimize -fexternal-blas calls for conjg()) · 998511a6
      2018-09-18  Thomas Koenig  <tkoenig@gcc.gnu.org>
      
      	PR fortran/29550
      	* gfortran.h (gfc_expr): Add external_blas flag.
      	* frontend-passes.c (matrix_case): Add case A2TB2T.
      	(optimize_namespace): Handle flag_external_blas by
      	calling call_external_blas.
      	(get_array_inq_function): Add argument okind. If
      	it is nonzero, use it as the kind of argument
      	to be used.
      	(inline_limit_check): Remove m_case argument, add
      	limit argument instead.  Remove assert about m_case.
      	Set the limit for inlining from the limit argument.
      	(matmul_lhs_realloc): Handle case A2TB2T.
      	(inline_matmul_assign): Handle inline limit for other cases with
      	two rank-two matrices.  Remove no-op calls to inline_limit_check.
      	(call_external_blas): New function.
      	* trans-intrinsic.c (gfc_conv_intrinsic_funcall): Do not add
      	argument to external BLAS if external_blas is already set.
      
      2018-09-18  Thomas Koenig  <tkoenig@gcc.gnu.org>
      
      	PR fortran/29550
      	* gfortran.dg/inline_matmul_13.f90: Adjust count for
      	_gfortran_matmul.
      	* gfortran.dg/inline_matmul_16.f90: Likewise.
      	* gfortran.dg/promotion_2.f90: Add -fblas-matmul-limit=1.  Scan
      	for dgemm instead of dgemm_.  Add call to random_number to make
      	standard conforming.
      	* gfortran.dg/matmul_blas_1.f90: New test.
      	* gfortran.dg/matmul_bounds_14.f: New test.
      	* gfortran.dg/matmul_bounds_15.f: New test.
      	* gfortran.dg/matmul_bounds_16.f: New test.
      	* gfortran.dg/blas_gemm_routines.f: New test / additional file for
      	preceding tests.
      
      From-SVN: r264412
      Thomas Koenig committed
    • re PR fortran/29550 (Optimize -fexternal-blas calls for conjg()) · 5c470e0f
      2018-09-18  Thomas Koenig  <tkoenig@gcc.gnu.org>
      
      	PR fortran/29550
      	* gfortran.h (gfc_expr): Add external_blas flag.
      	* frontend-passes.c (matrix_case): Add case A2TB2T.
      	(optimize_namespace): Handle flag_external_blas by
      	calling call_external_blas.
      	(get_array_inq_function): Add argument okind. If
      	it is nonzero, use it as the kind of argument
      	to be used.
      	(inline_limit_check): Remove m_case argument, add
      	limit argument instead.  Remove assert about m_case.
      	Set the limit for inlining from the limit argument.
      	(matmul_lhs_realloc): Handle case A2TB2T.
      	(inline_matmul_assign): Handle inline limit for other cases with
      	two rank-two matrices.  Remove no-op calls to inline_limit_check.
      	(call_external_blas): New function.
      	* trans-intrinsic.c (gfc_conv_intrinsic_funcall): Do not add
      	argument to external BLAS if external_blas is already set.
      
      2018-09-18  Thomas Koenig  <tkoenig@gcc.gnu.org>
      
      	PR fortran/29550
      	* gfortran.dg/inline_matmul_13.f90: Adjust count for
      	_gfortran_matmul.
      	* gfortran.dg/inline_matmul_16.f90: Likewise.
      	* gfortran.dg/promotion_2.f90: Add -fblas-matmul-limit=1.  Scan
      	for dgemm instead of dgemm_.  Add call to random_number to make
      	standard conforming.
      	* gfortran.dg/matmul_blas_1.f90: New test.
      	* gfortran.dg/matmul_bounds_14.f: New test.
      	* gfortran.dg/matmul_bounds_15.f: New test.
      	* gfortran.dg/matmul_bounds_16.f: New test.
      	* gfortran.dg/blas_gemm_routines.f: New test / additional file for
      	preceding tests.
      
      From-SVN: r264411
      Thomas Koenig committed
    • re PR fortran/87239 (ICE in deferred-length string) · f435162f
      2018-09-18  Paul Thomas  <pault@gcc.gnu.org>
      
      	PR fortran/87239
      	* trans-expr.c (gfc_trans_assignment_1): The rse.pre for the
      	assignment of deferred character elemental function results to
      	a realocatable lhs must not be added to the exterior block but
      	must go to the loop body.
      
      2018-09-18  Paul Thomas  <pault@gcc.gnu.org>
      
      	PR fortran/87239
      	* gfortran.dg/elemental_function_2.f90 : New test.
      
      From-SVN: r264409
      Paul Thomas committed
    • P1064R0 - Allowing Virtual Function Calls in Constant Expressions · bf8d8309
      	P1064R0 - Allowing Virtual Function Calls in Constant Expressions
      	* call.c (build_over_call): No longer check if we're outside a template
      	function.
      	* class.c (build_vtbl_initializer): Build vtable's constructor with
      	indexes.
      	* constexpr.c (cxx_eval_constant_expression): Don't ignore _vptr's
      	initializer.  Handle OBJ_TYPE_REF.
      	(potential_constant_expression_1): Handle OBJ_TYPE_REF.
      	* decl.c (maybe_commonize_var): Bail out for any DECL_ARTIFICIAL.
      	(initialize_artificial_var): Mark the variable as constexpr.
      	(grokdeclarator): Change error to pedwarn.  Only warn when
      	pedantic and not C++2a.
      
      	* gimple-fold.c (gimple_get_virt_method_for_vtable): Adjust assert.
      
      	* g++.dg/cpp0x/constexpr-virtual5.C: Adjust dg-error.
      	* g++.dg/cpp2a/constexpr-virtual1.C: New test.
      	* g++.dg/cpp2a/constexpr-virtual2.C: New test.
      	* g++.dg/cpp2a/constexpr-virtual3.C: New test.
      	* g++.dg/cpp2a/constexpr-virtual4.C: New test.
      	* g++.dg/cpp2a/constexpr-virtual5.C: New test.
      	* g++.dg/cpp2a/constexpr-virtual6.C: New test.
      	* g++.dg/cpp2a/constexpr-virtual7.C: New test.
      	* g++.dg/cpp2a/constexpr-virtual8.C: New test.
      	* g++.dg/cpp2a/constexpr-virtual9.C: New test.
      	* g++.dg/diagnostic/virtual-constexpr.C: Skip for C++2a.  Use
      	-pedantic-errors.  Adjust dg-error.
      
      From-SVN: r264408
      Marek Polacek committed
    • re PR fortran/87336 (wrong output for pointer dummy assiocated to target actual argument) · e8db6cd5
      2018-09-18  Paul Thomas  <pault@gcc.gnu.org>
      
      	PR fortran/87336
      	* trans-array.c (gfc_get_array_span): Try to get the element
      	length of incomplete types. Return NULL_TREE otherwise.
      	(gfc_conv_expr_descriptor): Only set the 'span' field if the
      	above does not return NULL_TREE. Set 'span' field if possible
      	for all new descriptors.
      
      2018-09-18  Paul Thomas  <pault@gcc.gnu.org>
      
      	PR fortran/87336
      	* gfortran.dg/pointer_array_10.f90 : New test.
      	* gfortran.dg/assign_10.f90 : Increase 'parm' count to 20.
      	* gfortran.dg/transpose_optimization_2.f90 : Increase 'parm'
      	count to 72.
      
      From-SVN: r264405
      Paul Thomas committed
    • rs6000: Remove old "Cygnus sibcall" comment · b819cc44
      This comment is quite cryptic and very out-of-date by now.  Committing.
      
      
      	* config/rs6000/rs6000.md: Remove old "Cygnus sibcall" comment.
      
      From-SVN: r264403
      Segher Boessenkool committed
    • re PR c++/85065 ([concepts] ICE with invalid use of a concept) · c99fcada
      /cp
      2018-09-18  Paolo Carlini  <paolo.carlini@oracle.com>
      
      	PR c++/85065
      	* cp-tree.h (NON_ERROR): New.
      	* pt.c (auto_hash::hash): Use it.
      	(do_auto_deduction): Likewise.
      
      /testsuite
      2018-09-18  Paolo Carlini  <paolo.carlini@oracle.com>
      
      	PR c++/85065
      	* g++.dg/concepts/pr85065.C: New.
      
      From-SVN: r264402
      Paolo Carlini committed
    • Handle CLOBBER in reg_overlap_mentioned_p (PR86882) · b7663a76
      Combine will put CLOBBER (with a non-void mode) anywhere in a pattern
      to poison it.  reg_overlap_mentioned_p did not handle this.  This patch
      fixes that.
      
      
      	PR rtl-optimization/86882
      	* rtlanal.c (reg_overlap_mentioned_p): Handle CLOBBER.
      
      From-SVN: r264400
      Segher Boessenkool committed
    • Fix location of invocable check for unique_ptr deleter · a12c16de
      The deleter only needs to be invocable when the unique_ptr destructor
      and reset member function are instantiated. In other contexts it might
      not be possible to pass unique_ptr<T, D>::pointer to the deleter, if
      that requires a derived-to-base conversion from T* and T is incomplete.
      
      	* include/bits/unique_ptr.h (__uniq_ptr_impl): Remove static assertion
      	checking invocable condition.
      	(unique_ptr::~unique_ptr, unique_ptr::reset): Restore static assertion
      	here, where types must be complete. Pass pointer to deleter as an
      	rvalue.
      	* testsuite/20_util/unique_ptr/requirements/incomplete.cc: New test.
      
      From-SVN: r264399
      Jonathan Wakely committed
    • i386.md (*<code>extend<mode>xf2): Macroize insn from *<code>extendsfxf2 and… · f96c8666
      i386.md (*<code>extend<mode>xf2): Macroize insn from *<code>extendsfxf2 and *<code>extenddfxf2 using MODEF mode...
      
      	* config/i386/i386.md (*<code>extend<mode>xf2): Macroize insn from
      	*<code>extendsfxf2 and *<code>extenddfxf2 using MODEF mode iterator.
      
      From-SVN: r264398
      Uros Bizjak committed
    • [nvptx] Remove use of CUDA unified memory in libgomp · 2049befd
      	libgomp/
      	* plugin/plugin-nvptx.c (struct cuda_map): New.
      	(struct ptx_stream): Replace d, h, h_begin, h_end, h_next, h_prev,
      	h_tail with (cuda_map *) map.
      	(cuda_map_create): New function.
      	(cuda_map_destroy): New function.
      	(map_init): Update to use a linked list of cuda_map objects.
      	(map_fini): Likewise.
      	(map_pop): Likewise.
      	(map_push): Likewise.  Return CUdeviceptr instead of void.
      	(init_streams_for_device): Remove stales references to ptx_stream
      	members.
      	(select_stream_for_async): Likewise.
      	(nvptx_exec): Update call to map_init.
      
      From-SVN: r264397
      Cesar Philippidis committed
    • PR other/87353 fix formatting and grammar in manual · 5e594075
      The changes to invoke.texi in r242433 left some unwanted spaces that
      texi2pod.pl interprets as verbatim formatting. There are also some
      grammatical errors due to the removal of references to GCJ, where the
      G++ driver is referred to in the plural.
      
      	PR other/87353
      	* doc/invoke.texi (Link Options): Fix formatting and grammar.
      
      From-SVN: r264395
      Jonathan Wakely committed
    • Fix dg-do target · 538d2d7e
      From-SVN: r264394
      Nathan Sidwell committed
    • Add PR marker to previous commit · 89e1963a
      From-SVN: r264393
      Kyrylo Tkachov committed
    • Fix gcc.dg/warn-abs-1.c for arm and aarch64-none-elf · 6902e3a0
      This new test has some difficulties on the fabsl function.
      On arm this is because we don't support the _Float128 type which the test uses.
      This is handled in the patch by requiring a float128 target selector.
      
      On aarch64-none-elf, a Newlib target, it fails because fabsl is not available.
      long double support is known to be incomplete in newlib, and the fabsl function is not available
      for targets where long double is larger than a double.
      Therefore this patch skips the test on such targets.
      
      
      	* gcc.dg/warn-abs-1.c: Require float128 target.
      	Skip if large_long_double newlib target.
      
      From-SVN: r264392
      Kyrylo Tkachov committed
    • [PATCH c++/86881] -Wshadow-local-compatible ICE · 3897f134
      https://gcc.gnu.org/ml/gcc-patches/2018-09/msg00984.html
      	PR c++/86881
      	cp/
      	* name-lookup.c (check_local_shadow): Ignore auto types.
      
      	testsuite/
      	* g++.dg/warn/pr86881.C: New.
      
      From-SVN: r264391
      Nathan Sidwell committed
    • [AArch64][committed] Fix gcc.target/aarch64/spellcheck_1.c and spellcheck_4.c · 0dce5526
      These two tests started failing after commit r264335 that adjusted the cutoff point at which the diagnostic suggestions machinery decides a suggestion is meaningful.
      For these tests it means we no longer suggest anything as an alternative to "armv8-a-typo" as an "arch=" pargma value. We do still list the valid options, we just don't prefer one particular value over the others.
      
      When I first wrote this test it wasn't with a particular architecture suggestion in mind, but rather to test that the suggestion machinery is being sanely invoked.
      So this patch changes the dg-message check to treat the "did you mean...?" hunk as optional (in case the heuristics in the suggestions machinery change again).
      
      With this patch the two tests PASS again on aarch64. 
      
          * gcc.target/aarch64/spellcheck_1.c:
          Make architecture suggestion optional.
          * gcc.target/aarch64/spellcheck_4.c:
          Likewise.
      
      From-SVN: r264390
      Kyrylo Tkachov committed
    • [AArch64][testsuite][committed] Fix gcc.target/aarch64/combine_bfxil.c for -mabi=ilp32 · 92cb1fbc
      As described in https://gcc.gnu.org/ml/gcc-patches/2018-09/msg00963.html this test generates UXTW instructions with -mabi=ilp32
      because the foo* functions take pointers and store results into them. In ILP32 the callee clears the top bits with a UXTW.
      This trips the scan-assembler-not UXTW test that checks that the zero_extend form of the BFXIL pattern is used, which it is.
      
      This patch avoids this problem by not passing pointers to the results, but instead using global variables for which the foo* functions
      will synthesise the address using ADRP, avoiding the UXTW instructions.
      
      With this patch the test PASSes fully with -mabi=ilp32 and still PASSes on LP64.
      
      	* gcc.target/aarch64/combine_bfxil.c: Avoid passing pointers to
      	functions.
      
      From-SVN: r264389
      Kyrylo Tkachov committed
    • re PR middle-end/63155 (memory hog) · 6a8aa2e1
      2018-09-18  Richard Biener  <rguenther@suse.de>
      
      	PR middle-end/63155
      	* tree-ssa-coalesce.c (tree_int_map_hasher): Remove.
      	(compute_samebase_partition_bases): Likewise.
      	(coalesce_ssa_name): Always use compute_optimized_partition_bases.
      	(gimple_can_coalesce_p): Simplify.
      
      From-SVN: r264388
      Richard Biener committed
    • Use v2 map syntax in libgcc-unwind.map if Solaris ld supports it · 53c6feb2
      	* configure.ac (solaris_ld_v2_maps): New test.
      	* configure: Regenerate.
      	* Makefile.in (solaris_ld_v2_maps): New variable.
      	* config/t-slibgcc-sld (libgcc-unwind.map): Emit v2 mapfile syntax
      	if supported.
      
      From-SVN: r264382
      Rainer Orth committed
    • Handle a library implementation of ffs calling __builtin_ffs. · e6bf23cc
      	* config/mmix/mmix.c (TARGET_INIT_LIBFUNCS): Override with...
      	(mmix_init_libfuncs): New function: make __builtin_ffs expand
      	to __ffsdi2.
      
      From-SVN: r264381
      Hans-Peter Nilsson committed
    • Daily bump. · 18b0a762
      From-SVN: r264380
      GCC Administrator committed
  3. 17 Sep, 2018 5 commits
    • Add range_idx param to range_label::get_text · 9c4a4b3c
      This patch updates the pure virtual function range_label::get_text
      (and its implementations) so that the index of the range is passed
      in, allowing for one label instance to be shared by multiple ranges.
      
      gcc/c-family/ChangeLog:
      	* c-format.c (range_label_for_format_type_mismatch::get_text):
      	Update for new param.
      
      gcc/c/ChangeLog:
      	* c-objc-common.c (range_label_for_type_mismatch::get_text):
      	Update for new param.
      	* c-typeck.c (maybe_range_label_for_tree_type_mismatch::get_text):
      	Likewise.
      
      gcc/cp/ChangeLog:
      	* error.c (range_label_for_type_mismatch::get_text): Update for
      	new param.
      
      gcc/ChangeLog:
      	* diagnostic-show-locus.c (class layout_range): Add field
      	"m_original_idx".
      	(layout_range::layout_range): Add "original_idx" param and use it
      	to initialize new field.
      	(make_range): Use 0 for original_idx.
      	(layout::layout): Pass in index to calls to
      	maybe_add_location_range.
      	(layout::maybe_add_location_range): Add param "original_idx" and
      	pass it on to layout_range.
      	(layout::print_any_labels): Pass on range->m_original_idx to
      	get_text call.
      	(gcc_rich_location::add_location_if_nearby): Use 0 for
      	original_idx.
      	* gcc-rich-location.h (text_range_label::get_text): Update for new
      	param.
      	(range_label_for_type_mismatch::get_text): Likewise.
      
      libcpp/ChangeLog:
      	* include/line-map.h (range_label::get_text): Add param
      	"range_idx".
      
      From-SVN: r264376
      David Malcolm committed
    • i386.c (ix86_emit_i387_log1p): Emit fldln2 earlier. · 71b731be
      	* config/i386/i386.c (ix86_emit_i387_log1p): Emit fldln2 earlier.
      
      From-SVN: r264373
      Uros Bizjak committed
    • substring-locations: add class format_string_diagnostic_t · c896ecfe
      With the addition of ranges in r263564, format_warning_at_substring_n
      has 10 arguments.
      
      Reduce the number of args by bundling the shared ones into a
      class format_string_diagnostic_t.
      
      gcc/c-family/ChangeLog:
      	* c-format.c (format_warning_at_char): Update for introduction of
      	format_string_diagnostic_t.
      	(format_type_warning): Likewise.
      
      gcc/ChangeLog:
      	* gimple-ssa-sprintf.c (fmtwarn): Update for introduction of
      	format_string_diagnostic_t.
      	(fmtwarn_n): Likewise.
      	* substring-locations.c
      	(format_string_diagnostic_t::format_string_diagnostic_t) New ctor.
      	(format_warning_n_va): Convert to...
      	(format_string_diagnostic_t::emit_warning_n_va): ...this.
      	(format_warning_va): Convert to...
      	(format_string_diagnostic_t::emit_warning_va): ...this.
      	(format_warning_at_substring): Convert to...
      	(format_string_diagnostic_t::emit_warning): ...this.
      	(format_warning_at_substring_n): Convert to...
      	(format_string_diagnostic_t::emit_warning_n): ...this.
      	* substring-locations.h (class format_string_diagnostic_t): New
      	class.
      	(format_warning_va): Convert to
      	format_string_diagnostic_t::emit_warning_va.
      	(format_warning_n_va): Convert to
      	format_string_diagnostic_t::emit_warning_n_va.
      	(format_warning_at_substring): Convert to
      	format_string_diagnostic_t::emit_warning.
      	(format_warning_at_substring_n): Convert to
      	format_string_diagnostic_t::emit_warning_n.
      
      From-SVN: r264372
      David Malcolm committed
    • [nvptx] Add atomic_fetch* support for SImode arguments. · 69d7aabf
      	gcc/
      	* config/nvptx/nvptx.md (atomic_fetch_<logic><mode>): Enable with
      	SImode args.
      
      	gcc/testsuite/
      	* gcc.target/nvptx/atomic-fetch-2.c: Rename to ...
      	* gcc.target/nvptx/atomic_fetch-2.c: ... this.
      	* gcc.target/nvptx/atomic_fetch-3.c: New test.
      
      
      Co-Authored-By: Bernd Schmidt <bernds_cb1@t-online.de>
      
      From-SVN: r264371
      Cesar Philippidis committed
    • i386.md (truncxf<mode>2_i387_noop_unspec): Change operand 0 predicate to nonimmediate operand. · fa540cec
      	* config/i386/i386.md (truncxf<mode>2_i387_noop_unspec): Change
      	operand 0 predicate to nonimmediate operand.
      	(rint<mode>2_frndint): Remove insn pattern.
      	(rint<mode>2): Change operand 1 predicate to general_operand.
      	Extend operand 1 to XFmode and generate rintxf2 insn.
      	(frndintxf2_<rounding>): Rename from frndint<mode>2_<rounding>.
      	Do not use X87MODEF mode macro.
      	(frndintxf2_<rounding>_i387): Rename from
      	frndint<mode>2_<rounding>_i387.  Do not use X87MODEF mode macro.
      	(<rounding_insn><mode>2): For non-SSE modes, extend operand 1
      	to XFmode and generate significandxf3 insn.
      
      From-SVN: r264370
      Uros Bizjak committed