1. 13 Oct, 2017 30 commits
    • * tree-ssa-reassoc.c (reassociate_bb): Clarify code slighly. · a1c47ade
      From-SVN: r253740
      Jeff Law committed
    • PR c++/82357 - bit-field in template · 5c9c546b
      	* tree.c (cp_stabilize_reference): Just return a NON_DEPENDENT_EXPR.
      
      From-SVN: r253739
      Jason Merrill committed
    • re PR fortran/81048 (incorrect derived type initialization) · e6110fa6
      2017-10-13  Paul Thomas  <pault@gcc.gnu.org>
      
      	PR fortran/81048
      	* resolve.c (resolve_symbol): Ensure that derived type array
      	results get default initialization.
      
      2017-10-13  Paul Thomas  <pault@gcc.gnu.org>
      
      	PR fortran/81048
      	* gfortran.dg/derived_init_4.f90 : New test.
      
      From-SVN: r253738
      Paul Thomas committed
    • re PR c++/69078 ([C++14] function local static not initialized when only used in… · d7327979
      re PR c++/69078 ([C++14] function local static not initialized when only used in a generic/variadic lambda)
      
      2017-10-13  Paolo Carlini  <paolo.carlini@oracle.com>
      
      	PR c++/69078
      	* g++.dg/cpp1y/lambda-generic-69078-1.C: New.
      	* g++.dg/cpp1y/lambda-generic-69078-2.C: Likewise.
      
      From-SVN: r253736
      Paolo Carlini committed
    • re PR target/82274 (__builtin_mul_overflow fails to detect overflow for int64_t… · e7176f75
      re PR target/82274 (__builtin_mul_overflow fails to detect overflow for int64_t when compiled with -m32)
      
      	PR target/82274
      	* internal-fn.c (expand_mul_overflow): If both operands have
      	the same highpart of -1 or 0 and the topmost bit of lowpart
      	is different, overflow is if res <= 0 rather than res < 0.
      
      	* libgcc2.c (__mulvDI3): If both operands have
      	the same highpart of -1 and the topmost bit of lowpart is 0,
      	multiplication overflows even if both lowparts are 0.
      
      	* gcc.dg/pr82274-1.c: New test.
      	* gcc.dg/pr82274-2.c: New test.
      
      From-SVN: r253734
      Jakub Jelinek committed
    • re PR c++/80873 (ICE in tsubst_copy when trying to use an overloaded function… · 8de71903
      re PR c++/80873 (ICE in tsubst_copy when trying to use an overloaded function without a definition in a lambda)
      
      2017-10-13  Paolo Carlini  <paolo.carlini@oracle.com>
      
      	PR c++/80873
      	* g++.dg/cpp1y/auto-fn41.C: New.
      	* g++.dg/cpp1y/auto-fn42.C: Likewise.
      
      From-SVN: r253733
      Paolo Carlini committed
    • rs6000.c (rs6000_builtin_vectorization_cost): Remove TARGET_P9_VECTOR code for unaligned_load case. · 96ec425f
      	* config/rs6000/rs6000.c (rs6000_builtin_vectorization_cost): Remove
      	TARGET_P9_VECTOR code for unaligned_load case.
      
      From-SVN: r253731
      Pat Haugen committed
    • fixinc.in (dirname): Change sed from 's|[^/]*/||' to 's|[^/]*//*||'. · b015bcbb
      2017-10-13  Mike Frysinger  <vapier@chromium.org>
      
      	* fixinc.in (dirname): Change sed from 's|[^/]*/||' to
      	's|[^/]*//*||'.
      
      From-SVN: r253730
      Mike Frysinger committed
    • cfghooks.c (verify_flow_info): Check that edge probabilities are set. · 9cdc325a
      
      	* cfghooks.c (verify_flow_info): Check that edge probabilities are
      	set.
      
      From-SVN: r253728
      Jan Hubicka committed
    • C++: show location of unclosed extern "C" specifications · 15f7a469
      If the user fails to close an extern "C" linkage specifier, and then
      uses templates, they will run into "template with C linkage" errors.
      
      From personal experience, it can be hard to tell where the
      extern "C" began.  As of r251026 there will be a message highlighting
      the unclosed '{', but this may be hard to spot at the very end of
      the errors.
      
      This patch adds a note to the various diagnostics that complain
      about C linkage, showing the user where the extern "C" specification
      began.
      
      gcc/cp/ChangeLog:
      	* cp-tree.h (maybe_show_extern_c_location): New decl.
      	* decl.c (grokfndecl): When complaining about literal operators
      	with C linkage, issue a note giving the location of the
      	extern "C".
      	* parser.c (cp_parser_new): Initialize new field
      	"innermost_linkage_specification_location".
      	(cp_parser_linkage_specification): Store the location
      	of the linkage specification within the cp_parser.
      	(cp_parser_explicit_specialization): When complaining about
      	template specializations with C linkage, issue a note giving the
      	location of the extern "C".
      	(cp_parser_explicit_template_declaration): Likewise for templates.
      	(maybe_show_extern_c_location): New function.
      	* parser.h (struct cp_parser): New field
      	"innermost_linkage_specification_location".
      
      gcc/testsuite/ChangeLog:
      	* g++.dg/cpp0x/udlit-extern-c.C: New test case.
      	* g++.dg/diagnostic/unclosed-extern-c.C: Add example of a template
      	erroneously covered by an unclosed extern "C".
      	* g++.dg/template/extern-c.C: New test case.
      
      From-SVN: r253726
      David Malcolm committed
    • PR libstdc++/82522 overload map insert functions for rvalues (LWG 2354) · 3b0dd4fe
      	PR libstdc++/82522
      	* doc/xml/manual/intro.xml: Document LWG 2354 changes.
      	* include/bits/stl_map.h (map::insert(value_type&&))
      	(map::insert(const_iterator, value_type&&)): Add overload for rvalues.
      	* include/bits/stl_multimap.h (multimap::insert(value_type&&))
      	(multimap::insert(const_iterator, value_type&&)): Likewise.
      	* include/bits/unordered_map.h (unordered_map::insert(value_type&&))
      	(unordered_map::insert(const_iterator, value_type&&))
      	(unordered_multimap::insert(value_type&&))
      	(unordered_multimap::insert(const_iterator, value_type&&)): Likewise.
      	* testsuite/23_containers/map/modifiers/insert/dr2354.cc: New test.
      	* testsuite/23_containers/multimap/modifiers/insert/dr2354.cc: New
      	test.
      	* testsuite/23_containers/unordered_map/insert/dr2354.cc: New test.
      	* testsuite/23_containers/unordered_multimap/insert/dr2354.cc: New
      	test.
      
      From-SVN: r253725
      Jonathan Wakely committed
    • PR libstdc++/82481 Suppress clang-tidy warnings · d1e85aa9
      	PR libstdc++/82481
      	* include/std/mutex (call_once): Suppress clang-tidy warnings about
      	dangling references.
      
      From-SVN: r253724
      Jonathan Wakely committed
    • [PATCH] Tree structure marking · 7143b9d6
      https://gcc.gnu.org/ml/gcc-patches/2017-10/msg00846.html
      	* tree-core.h (tree_contains_struct): Make bool.
      	* tree.c (tree_contains_struct): Likewise.
      	* tree.h (MARK_TS_BASE): Remove do ... while (0) idiom.
      	(MARK_TS_TYPED, MARK_TS_COMMON, MARK_TS_TYPE_COMMON,
      	MARK_TS_TYPE_WITH_LANG_SPECIFIC, MARK_TS_DECL_MINIMAL,
      	MARK_TS_DECL_COMMON, MARK_TS_DECL_WRTL, MARK_TS_DECL_WITH_VIS,
      	MARK_TS_DECL_NON_COMMON): Likewise, use comma operator.
      
      From-SVN: r253723
      Nathan Sidwell committed
    • 2017-10-13 Richard Biener <rguenther@suse.de> · 99758d1a
      	* graphite-isl-ast-to-gimple.c
      	(translate_isl_ast_to_gimple::get_rename_from_scev): Remove unused
      	parameters and dominance check.
      	(translate_isl_ast_to_gimple::graphite_copy_stmts_from_block): Adjust.
      	(translate_isl_ast_to_gimple::copy_bb_and_scalar_dependences): Likewise.
      	(translate_isl_ast_to_gimple::graphite_regenerate_ast_isl):
      	Do not update SSA form here or do intermediate IL verification.
      	* graphite.c: Include tree-ssa.h and tree-into-ssa.h.
      	(graphite_initialize): Remove check on the number of loops in
      	the function and inline into graphite_transform_loops.
      	(graphite_finalize): Inline into graphite_transform_loops.
      	(graphite_transform_loops): Perform SSA update and IL verification
      	here.
      	* params.def (PARAM_GRAPHITE_MIN_LOOPS_PER_FUNCTION): Remove.
      
      	* gcc.dg/graphite/pr35356-3.c: XFAIL again.
      	* gcc.dg/graphite/pr81373-2.c: Copy from gcc.dg/graphite/pr81373.c
      	with alternate flags.
      
      From-SVN: r253721
      Richard Biener committed
    • 2017-10-13 Richard Biener <rguenther@suse.de> · 6fe00fb7
      	* graphite-isl-ast-to-gimple.c
      	(translate_isl_ast_to_gimple::get_rename_from_scev): Remove unused
      	parameters and dominance check.
      	(translate_isl_ast_to_gimple::graphite_copy_stmts_from_block): Adjust.
      	(translate_isl_ast_to_gimple::copy_bb_and_scalar_dependences): Likewise.
      	(translate_isl_ast_to_gimple::graphite_regenerate_ast_isl):
      	Do not update SSA form here or do intermediate IL verification.
      	* graphite.c: Include tree-ssa.h and tree-into-ssa.h.
      	(graphite_initialize): Remove check on the number of loops in
      	the function and inline into graphite_transform_loops.
      	(graphite_finalize): Inline into graphite_transform_loops.
      	(graphite_transform_loops): Perform SSA update and IL verification
      	here.
      	* params.def (PARAM_GRAPHITE_MIN_LOOPS_PER_FUNCTION): Remove.
      
      	* gcc.dg/graphite/pr35356-3.c: XFAIL again.
      	* gcc.dg/graphite/pr81373-2.c: Copy from gcc.dg/graphite/pr81373.c
      	with alternate flags.
      
      From-SVN: r253720
      Richard Biener committed
    • graphite-isl-ast-to-gimple.c (max_mode_int_precision, [...]): Avoid global… · 1a8821c5
      graphite-isl-ast-to-gimple.c (max_mode_int_precision, [...]): Avoid global constructor by moving ...
      
      2017-10-13  Richard Biener  <rguenther@suse.de>
      
      	* graphite-isl-ast-to-gimple.c (max_mode_int_precision,
      	graphite_expression_type_precision): Avoid global constructor
      	by moving ...
      	(translate_isl_ast_to_gimple::translate_isl_ast_to_gimple): Here.
      	(translate_isl_ast_to_gimple::graphite_expr_type): Add type
      	member.
      	(translate_isl_ast_to_gimple::translate_isl_ast_node_for): Use it.
      	(translate_isl_ast_to_gimple::build_iv_mapping): Likewise.
      	(translate_isl_ast_to_gimple::graphite_create_new_guard): Likewise.
      	* graphite-sese-to-poly.c (build_original_schedule): Return nothing.
      
      	* gcc.dg/graphite/scop-10.c: Enlarge array to avoid undefined
      	behavior.
      	* gcc.dg/graphite/scop-7.c: Likewise.
      	* gcc.dg/graphite/scop-8.c: Likewise.
      
      From-SVN: r253719
      Richard Biener committed
    • i386: Check red zone size in push peephole2 · 2ecf9ac7
      Check red zone size, instead of if red zone is available, in push
      peephole2s.
      
      gcc/
      
      	PR target/82499
      	* config/i386/i386.h (ix86_red_zone_size): New.
      	* config/i386/i386.md (push peephole2s): Replace
      	"!ix86_using_red_zone ()" with "ix86_red_zone_size == 0".
      
      gcc/testsuite/
      
      	PR target/82499
      	* gcc.target/i386/pr82499-1.c: New file.
      	* gcc.target/i386/pr82499-2.c: Likewise.
      	* gcc.target/i386/pr82499-3.c: Likewise.
      
      From-SVN: r253718
      H.J. Lu committed
    • Prevent invalid register mode changes in combine · 8649149a
      This patch stops combine from changing the mode of an existing register
      in-place if doing so would change the size of the underlying register
      allocation size, as given by REGMODE_NATURAL_SIZE.  Without this,
      many tests fail in adjust_reg_mode after SVE is added.  One example
      is gcc.c-torture/compile/20090401-1.c.
      
      2017-10-13  Richard Sandiford  <richard.sandiford@linaro.org>
      	    Alan Hayward  <alan.hayward@arm.com>
      	    David Sherwood  <david.sherwood@arm.com>
      
      gcc/
      	* combine.c (can_change_dest_mode): Reject changes in
      	REGMODE_NATURAL_SIZE.
      
      Co-Authored-By: Alan Hayward <alan.hayward@arm.com>
      Co-Authored-By: David Sherwood <david.sherwood@arm.com>
      
      From-SVN: r253717
      Richard Sandiford committed
    • Make more use of GET_MODE_UNIT_BITSIZE · 250a60f3
      This patch is like the previous GET_MODE_UNIT_SIZE one,
      but for bit rather than byte sizes.
      
      2017-10-13  Richard Sandiford  <richard.sandiford@linaro.org>
      	    Alan Hayward  <alan.hayward@arm.com>
      	    David Sherwood  <david.sherwood@arm.com>
      
      gcc/
      	* cfgexpand.c (expand_debug_expr): Use GET_MODE_UNIT_BITSIZE.
      	(expand_debug_source_expr): Likewise.
      	* combine.c (combine_simplify_rtx): Likewise.
      	* cse.c (fold_rtx): Likewise.
      	* fwprop.c (canonicalize_address): Likewise.
      	* targhooks.c (default_shift_truncation_mask): Likewise.
      
      Co-Authored-By: Alan Hayward <alan.hayward@arm.com>
      Co-Authored-By: David Sherwood <david.sherwood@arm.com>
      
      From-SVN: r253716
      Richard Sandiford committed
    • Make more use of GET_MODE_UNIT_SIZE · fb98441a
      This patch uses GET_MODE_UNIT_SIZE instead of GET_MODE_SIZE in
      cases where, for compound modes, the mode of the scalar elements
      is what matters.  E.g. the choice between truncation and extension
      is really based on the modes of the consistuent scalars rather
      than the mode as a whole.
      
      None of the existing code was wrong.  The patch simply makes
      things easier when converting to variable-sized modes.
      
      2017-10-13  Richard Sandiford  <richard.sandiford@linaro.org>
      	    Alan Hayward  <alan.hayward@arm.com>
      	    David Sherwood  <david.sherwood@arm.com>
      
      gcc/
      	* optabs.c (add_equal_note): Use GET_MODE_UNIT_SIZE.
      	(widened_mode): Likewise.
      	(expand_unop): Likewise.
      	* ree.c (transform_ifelse): Likewise.
      	(merge_def_and_ext): Likewise.
      	(combine_reaching_defs): Likewise.
      	* simplify-rtx.c (simplify_unary_operation_1): Likewise.
      
      Co-Authored-By: Alan Hayward <alan.hayward@arm.com>
      Co-Authored-By: David Sherwood <david.sherwood@arm.com>
      
      From-SVN: r253715
      Richard Sandiford committed
    • Make more use of byte_lowpart_offset · 90f2b7e2
      This patch uses byte_lowpart_offset in places that open-coded the
      calculation.
      
      2017-10-13  Richard Sandiford  <richard.sandiford@linaro.org>
      	    Alan Hayward  <alan.hayward@arm.com>
      	    David Sherwood  <david.sherwood@arm.com>
      
      gcc/
      	* caller-save.c (replace_reg_with_saved_mem): Use byte_lowpart_offset.
      	* combine.c (gen_lowpart_for_combine): Likewise.
      	* dwarf2out.c (rtl_for_decl_location): Likewise.
      	* final.c (alter_subreg): Likewise.
      	* rtlhooks.c (gen_lowpart_general): Likewise.
      	(gen_lowpart_if_possible): Likewise.
      
      Co-Authored-By: Alan Hayward <alan.hayward@arm.com>
      Co-Authored-By: David Sherwood <david.sherwood@arm.com>
      
      From-SVN: r253714
      Richard Sandiford committed
    • Make more use of subreg_lowpart_offset · 610c45fc
      This patch uses subreg_lowpart_offset in places that open-coded
      the calculation.  It also uses it in regcprop.c to test whether,
      after a mode change, the first register in a multi-register group
      is still the right one.
      
      2017-10-13  Richard Sandiford  <richard.sandiford@linaro.org>
      	    Alan Hayward  <alan.hayward@arm.com>
      	    David Sherwood  <david.sherwood@arm.com>
      
      gcc/
      	* calls.c (expand_call): Use subreg_lowpart_offset.
      	* cse.c (cse_insn): Likewise.
      	* regcprop.c (copy_value): Likewise.
      	(copyprop_hardreg_forward_1): Likewise.
      
      Co-Authored-By: Alan Hayward <alan.hayward@arm.com>
      Co-Authored-By: David Sherwood <david.sherwood@arm.com>
      
      From-SVN: r253713
      Richard Sandiford committed
    • re PR target/82524 (expensive-optimizations produces wrong results) · 5752d1f7
      	PR target/82524
      	* config/i386/i386.md (addqi_ext_1, andqi_ext_1,
      	*andqi_ext_1_cc, *<code>qi_ext_1, *xorqi_ext_1_cc): Change
      	=Q constraints to +Q and into insn condition add check
      	that operands[0] and operands[1] are equal.
      	(*addqi_ext_2, *andqi_ext_2, *<code>qi_ext_2): Change
      	=Q constraints to +Q and into insn condition add check
      	that operands[0] is equal to either operands[1] or operands[2].
      
      	* gcc.c-torture/execute/pr82524.c: New test.
      
      From-SVN: r253710
      Jakub Jelinek committed
    • re PR target/82498 (Missed optimization for x86 rotate instruction) · a0e4174c
      	PR target/82498
      	* fold-const.c (fold_binary_loc) <bit_rotate>: Code cleanups,
      	instead of handling MINUS_EXPR twice (once for each argument),
      	canonicalize operand order and handle just once, use rtype where
      	possible.  Handle (A << B) | (A >> (-B & (Z - 1))).
      
      	* gcc.dg/tree-ssa/pr82498.c: New test.
      
      From-SVN: r253709
      Jakub Jelinek committed
    • re PR target/82498 (Missed optimization for x86 rotate instruction) · ef8c92e8
      	PR target/82498
      	* config/i386/ia32intrin.h (__rold, __rord, __rolq, __rorq): Allow
      	any values of __C while still being pattern recognizable as a simple
      	rotate instruction.
      
      	* gcc.dg/ubsan/pr82498.c: New test.
      
      From-SVN: r253708
      Jakub Jelinek committed
    • re PR tree-optimization/82451 ([GRAPHITE] codegen error in get_rename_from_scev) · a68f286c
      2017-10-13  Richard Biener  <rguenther@suse.de>
      
      	PR tree-optimization/82451
      	Revert
      	2017-10-02  Richard Biener  <rguenther@suse.de>
      
      	PR tree-optimization/82355
      	* graphite-isl-ast-to-gimple.c (build_iv_mapping): Also build
      	a mapping for the enclosing loop but avoid generating one for
      	the loop tree root.
      	(copy_bb_and_scalar_dependences): Remove premature codegen
      	error on PHIs in blocks duplicated into multiple places.
      	* graphite-scop-detection.c
      	(scop_detection::stmt_has_simple_data_refs_p): For a loop not
      	in the region use it as loop and nest to analyze the DR in.
      	(try_generate_gimple_bb): Likewise.
      	* graphite-sese-to-poly.c (extract_affine_chrec): Adjust.
      	(add_loop_constraints): For blocks in a loop not in the region
      	create a dimension with a single iteration.
      	* sese.h (gbb_loop_at_index): Remove assert.
      
      	* cfgloop.c (loop_preheader_edge): For the loop tree root
      	return the single successor of the entry block.
      	* graphite-isl-ast-to-gimple.c (graphite_regenerate_ast_isl):
      	Reset the SCEV hashtable and niters.
      	* graphite-scop-detection.c
      	(scop_detection::graphite_can_represent_scev): Add SCOP parameter,
      	assert that we only have POLYNOMIAL_CHREC that vary in loops
      	contained in the region.
      	(scop_detection::graphite_can_represent_expr): Adjust.
      	(scop_detection::stmt_has_simple_data_refs_p): For loops
      	not in the region set loop to NULL.  The nest is now the
      	entry edge to the region.
      	(try_generate_gimple_bb): Likewise.
      	* sese.c (scalar_evolution_in_region): Adjust for
      	instantiate_scev change.
      	* tree-data-ref.h (graphite_find_data_references_in_stmt):
      	Make nest parameter the edge into the region.
      	(create_data_ref): Likewise.
      	* tree-data-ref.c (dr_analyze_indices): Make nest parameter an
      	entry edge into a region and adjust instantiate_scev calls.
      	(create_data_ref): Likewise.
      	(graphite_find_data_references_in_stmt): Likewise.
      	(find_data_references_in_stmt): Pass the loop preheader edge
      	from the nest argument.
      	* tree-scalar-evolution.h (instantiate_scev): Make instantiate_below
      	parameter the edge into the region.
      	(instantiate_parameters): Use the loop preheader edge as entry.
      	* tree-scalar-evolution.c (analyze_scalar_evolution): Handle
      	NULL loop.
      	(get_instantiated_value_entry): Make instantiate_below parameter
      	the edge into the region.
      	(instantiate_scev_name): Likewise.  Adjust dominance checks,
      	when we cannot use loop-based instantiation instantiate by
      	walking use-def chains.
      	(instantiate_scev_poly): Adjust.
      	(instantiate_scev_binary): Likewise.
      	(instantiate_scev_convert): Likewise.
      	(instantiate_scev_not): Likewise.
      	(instantiate_array_ref): Remove.
      	(instantiate_scev_3): Likewise.
      	(instantiate_scev_2): Likewise.
      	(instantiate_scev_1): Likewise.
      	(instantiate_scev_r): Do not blindly handle N-operand trees.
      	Do not instantiate array-refs.  Handle all constants and invariants.
      	(instantiate_scev): Make instantiate_below parameter
      	the edge into the region.
      	(resolve_mixers): Use the loop preheader edge for the region
      	parameter to instantiate_scev_r.
      	* tree-ssa-loop-prefetch.c (determine_loop_nest_reuse): Adjust.
      
      	* gcc.dg/graphite/pr82451.c: New testcase.
      	* gfortran.dg/graphite/id-27.f90: Likewise.
      	* gfortran.dg/graphite/pr82451.f: Likewise.
      
      From-SVN: r253707
      Richard Biener committed
    • re PR tree-optimization/82525 ([GRAPHITE] codegen error for modulo operations we cannot represent) · 1163f058
      2017-10-13  Richard Biener  <rguenther@suse.de>
      
      	PR tree-optimization/82525
      	* graphite-isl-ast-to-gimple.c
      	(translate_isl_ast_to_gimple::widest_int_from_isl_expr_int): Split
      	out from ...
      	(translate_isl_ast_to_gimple::gcc_expression_from_isl_expr_int): Here.
      	Fail code generation when we cannot represent the isl integer.
      	(binary_op_to_tree): Elide modulo operations that are no-ops
      	in the type we code generate.  Remove now superfluous code
      	generation errors.
      
      	* gcc.dg/graphite/id-30.c: New testcase.
      	* gfortran.dg/graphite/id-28.f90: Likewise.
      
      From-SVN: r253706
      Richard Biener committed
    • graphite-scop-detection.c (loop_ivs_can_be_represented): Remove. · cae827b1
      2017-10-13  Richard Biener  <rguenther@suse.de>
      
      	* graphite-scop-detection.c (loop_ivs_can_be_represented): Remove.
      	(scop_detection::harmful_loop_in_region): Remove premature
      	IV type restriction.
      	(scop_detection::graphite_can_represent_scev): We can handle
      	pointer IVs just fine.
      
      From-SVN: r253705
      Richard Biener committed
    • Daily bump. · ca04e2cd
      From-SVN: r253704
      GCC Administrator committed
  2. 12 Oct, 2017 10 commits
    • Clobbers and Scratch Registers · 806aa9b2
      	* doc/extend.texi (Extended Asm <Clobbers>): Rename to
      	"Clobbers and Scratch Registers".  Add paragraph on
      	alternative to clobbers for scratch registers and OpenBLAS
      	example.
      
      From-SVN: r253701
      Alan Modra committed
    • Asm memory constraints · 7ff5eac3
      	* doc/extend.texi (Clobbers): Correct vax example.  Delete old
      	example of a memory input for a string of known length.  Move
      	commentary out of table.  Add a number of new examples
      	covering array memory inputs.
      testsuite/
      	* gcc.target/i386/asm-mem.c: New test.
      
      From-SVN: r253700
      Alan Modra committed
    • re PR tree-optimization/82493 (UBSAN in gcc/sbitmap.c:368:28: runtime error:… · 0af377c1
      re PR tree-optimization/82493 (UBSAN in gcc/sbitmap.c:368:28: runtime error: shift exponent 64 is too large for 64-bit type 'long unsigned int')
      
      	PR tree-optimization/82493
      	* sbitmap.c (bitmap_bit_in_range_p): Fix the implementation.
      	(test_range_functions): New function.
      	(sbitmap_c_tests): Likewise.
      	* selftest-run-tests.c (selftest::run_tests): Run new tests.
      	* selftest.h (sbitmap_c_tests): New function.
      
      	* tree-ssa-dse.c (live_bytes_read): Fix thinko.
      
      From-SVN: r253699
      Martin Liska committed
    • Fix spacing issue. · c64959bd
      From-SVN: r253696
      Michael Meissner committed
    • re PR target/82498 (Missed optimization for x86 rotate instruction) · 912a7ec3
      	PR target/82498
      	* config/i386/i386.md (*ashl<mode>3_mask_1,
      	*<shift_insn><mode>3_mask_1, *<rotate_insn><mode>3_mask_1,
      	*<btsc><mode>_mask_1, *btr<mode>_mask_1): New define_insn_and_split
      	patterns.
      
      	* gcc.target/i386/pr82498-1.c: New test.
      	* gcc.target/i386/pr82498-2.c: New test.
      
      From-SVN: r253695
      Jakub Jelinek committed
    • compiler: fix import of indirectly imported type alias · 1baafc8d
          
          We were looking for the " = " before the optional package name that
          appears for an indirect reference, but the exporter was putting it
          after.
          
          Test is https://golang.org/cl/70290.
          
          Reviewed-on: https://go-review.googlesource.com/70330
      
      From-SVN: r253694
      Ian Lance Taylor committed
    • [C++ PATCH] cp_expr tweak and delete unused enumerations · d89dac36
      https://gcc.gnu.org/ml/gcc-patches/2017-10/msg00784.html
      	* cp-tree.h (cp_expr): Add const operator * and operator->
      	accessors.
      	(cp_tree_node_structure_enum): Delete TS_CP_BINDING,
      	TS_CP_WRAPPER, LAST_TS_CP_ENUM.
      
      From-SVN: r253693
      Nathan Sidwell committed
    • profile-count.c (safe_scale_64bit): Fix GCC4.x path. · 83d502cf
      
      	* profile-count.c (safe_scale_64bit): Fix GCC4.x path.
      	(profile_probability): Set max_probability
      	to (uint32_t) 1 << (n_bits - 2) and update accessors to avoid overlfows
      	in temporaries.
      	* profile-count.c (profile_probability::differs_from_p): Do not
      	rely on max_probaiblity == 10000
      
      	* gcc.dg/predict-13.c: Update template for probaility change.
      	* gcc.dg/predict-8.c: Likewise.
      
      From-SVN: r253692
      Jan Hubicka committed
    • tree-ssa-dse.c (valid_ao_ref_for_dse): Reject ao_refs with negative offsets. · 8b48488f
      	* tree-ssa-dse.c (valid_ao_ref_for_dse): Reject ao_refs with
      	negative offsets.
      
      From-SVN: r253691
      Jeff Law committed
    • C/C++: add fix-it hints for various missing symbols · 62e1c678
      The patch improves our C/C++ frontends' handling of missing
      symbols, by making c_parser_require and cp_parser_require use
      "better" locations for the diagnostic, and insert fix-it hints,
      under certain circumstances (see the comments in the patch for
      full details).
      
      For example, for this code with a missing semicolon:
      
        $ cat test.c
        int missing_semicolon (void)
        {
          return 42
        }
      
        trunk currently emits:
      
        test.c:4:1: error: expected ';' before '}' token
         }
         ^
      
      This patch adds a fix-it hint for the missing semicolon, and puts
      the error at the location of the missing semicolon, printing the
      followup token as a secondary location:
      
        test.c:3:12: error: expected ';' before '}' token
           return 42
                    ^
                    ;
         }
         ~
      
      More examples can be seen in the test cases.
      
      gcc/c-family/ChangeLog:
      	* c-common.c (enum missing_token_insertion_kind): New enum.
      	(get_missing_token_insertion_kind): New function.
      	(maybe_suggest_missing_token_insertion): New function.
      	* c-common.h (maybe_suggest_missing_token_insertion): New decl.
      
      gcc/c/ChangeLog:
      	* c-parser.c (c_parser_require): Add "type_is_unique" param and
      	use it to guard calls to maybe_suggest_missing_token_insertion.
      	(c_parser_parms_list_declarator): Override default value of new
      	"type_is_unique" param to c_parser_require.
      	(c_parser_asm_statement): Likewise.
      	* c-parser.h (c_parser_require): Add "type_is_unique" param,
      	defaulting to true.
      
      gcc/cp/ChangeLog:
      	* parser.c (get_required_cpp_ttype): New function.
      	(cp_parser_error_1): Call it, using the result to call
      	maybe_suggest_missing_token_insertion.
      
      gcc/testsuite/ChangeLog:
      	* c-c++-common/cilk-plus/AN/parser_errors.c: Update expected
      	output to reflect changes to reported locations of missing
      	symbols.
      	* c-c++-common/cilk-plus/AN/parser_errors2.c: Likewise.
      	* c-c++-common/cilk-plus/AN/parser_errors3.c: Likewise.
      	* c-c++-common/cilk-plus/AN/pr61191.c: Likewise.
      	* c-c++-common/gomp/pr63326.c: Likewise.
      	* c-c++-common/missing-close-symbol.c: Likewise, also update for
      	new fix-it hints.
      	* c-c++-common/missing-symbol.c: Likewise, also add test coverage
      	for missing colon in ternary operator.
      	* g++.dg/cpp1y/digit-sep-neg.C: Likewise.
      	* g++.dg/cpp1y/pr65202.C: Likewise.
      	* g++.dg/missing-symbol-2.C: New test case.
      	* g++.dg/other/do1.C: Update expected output to reflect
      	changes to reported locations of missing symbols.
      	* g++.dg/parse/error11.C: Likewise.
      	* g++.dg/template/error11.C: Likewise.
      	* gcc.dg/missing-symbol-2.c: New test case.
      	* gcc.dg/missing-symbol-3.c: New test case.
      	* gcc.dg/noncompile/940112-1.c: Update expected output to reflect
      	changes to reported locations of missing symbols.
      	* gcc.dg/noncompile/971104-1.c: Likewise.
      	* obj-c++.dg/exceptions-6.mm: Likewise.
      	* obj-c++.dg/pr48187.mm: Likewise.
      	* objc.dg/exceptions-6.m: Likewise.
      
      From-SVN: r253690
      David Malcolm committed