gcc.git
7 years agoPR 36313 Replace int with gfc_charlen_type, take 3
Janne Blomqvist [Fri, 24 Nov 2017 08:51:15 +0000 (10:51 +0200)]
PR 36313 Replace int with gfc_charlen_type, take 3

Still some prototypes that didn't match the implementation.

2017-11-24  Janne Blomqvist  <jb@gcc.gnu.org>
        PR fortran/36313
        * m4/maxloc2s.m4: Replace int with gfc_charlen_type, take 3.
        * m4/minloc2s.m4: Likewise.
        * generated/maxloc2_16_s1.c: Regenerated.
        * generated/maxloc2_16_s4.c: Regenerated.
        * generated/maxloc2_4_s1.c: Regenerated.
        * generated/maxloc2_4_s4.c: Regenerated.
        * generated/maxloc2_8_s1.c: Regenerated.
        * generated/maxloc2_8_s4.c: Regenerated.
        * generated/minloc2_16_s1.c: Regenerated.
        * generated/minloc2_16_s4.c: Regenerated.
        * generated/minloc2_4_s1.c: Regenerated.
        * generated/minloc2_4_s4.c: Regenerated.
        * generated/minloc2_8_s1.c: Regenerated.
        * generated/minloc2_8_s4.c: Regenerated.

From-SVN: r255135

7 years agore PR sanitizer/83014 (ICE in pretty-print with -fsanitize=bounds)
Jakub Jelinek [Fri, 24 Nov 2017 08:35:10 +0000 (09:35 +0100)]
re PR sanitizer/83014 (ICE in pretty-print with -fsanitize=bounds)

PR sanitizer/83014
* ubsan.c (ubsan_type_descriptor): Use pp_unsigned_wide_integer
instead of pp_printf with HOST_WIDE_INT_PRINT_DEC.  Avoid calling
tree_to_uhwi twice.

* gcc.dg/ubsan/pr83014.c: New test.

From-SVN: r255134

7 years agotree-object-size.c (pass_through_call): Use gimple_call_return_flags ERF_RETURN*ARG...
Jakub Jelinek [Fri, 24 Nov 2017 08:34:13 +0000 (09:34 +0100)]
tree-object-size.c (pass_through_call): Use gimple_call_return_flags ERF_RETURN*ARG* for builtins other than...

* tree-object-size.c (pass_through_call): Use gimple_call_return_flags
ERF_RETURN*ARG* for builtins other than BUILT_IN_ASSUME_ALIGNED,
check for the latter with gimple_call_builtin_p.  Do not handle
BUILT_IN_STPNCPY_CHK which is not a pass through call.

* gcc.dg/builtin-object-size-18.c: New test.

From-SVN: r255133

7 years agoAdd missing gcc/config.gcc hunks from r255121.
Kirill Yukhin [Fri, 24 Nov 2017 07:39:57 +0000 (07:39 +0000)]
Add missing gcc/config.gcc hunks from r255121.

From-SVN: r255132

7 years agoAdd missing hunks from r255121.
Kirill Yukhin [Fri, 24 Nov 2017 06:49:04 +0000 (06:49 +0000)]
Add missing hunks from r255121.

From-SVN: r255131

7 years agoDaily bump.
GCC Administrator [Fri, 24 Nov 2017 00:16:21 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r255130

7 years agoAdd [[nodiscard]] attribute to std::launder
Jonathan Wakely [Fri, 24 Nov 2017 00:00:46 +0000 (00:00 +0000)]
Add [[nodiscard]] attribute to std::launder

* libsupc++/new (launder): Add nodiscard attribute.
* testsuite/18_support/launder/nodiscard.cc: New test.

From-SVN: r255127

7 years ago[ARM] Fix Dot Product NEON intrinsics
Christophe Lyon [Thu, 23 Nov 2017 23:24:51 +0000 (23:24 +0000)]
[ARM] Fix Dot Product NEON intrinsics

2017-11-24  Christophe Lyon  <christophe.lyon@linaro.org>

* config/arm/arm_neon.h: Fix pragma GCC push_options before
vdot_u32.

From-SVN: r255126

7 years agore PR ada/83091 (ICE with -g in arm-eabi compilation)
Eric Botcazou [Thu, 23 Nov 2017 22:55:05 +0000 (22:55 +0000)]
re PR ada/83091 (ICE with -g in arm-eabi compilation)

PR ada/83091
* gcc-interface/decl.c (gnat_to_gnu_entity): Do not build a variant
type for the implementation type of a packed array.

From-SVN: r255125

7 years agoAdd [[nodiscard]] attribute to C++17 components
Jonathan Wakely [Thu, 23 Nov 2017 22:11:21 +0000 (22:11 +0000)]
Add [[nodiscard]] attribute to C++17 components

* include/bits/fs_path.h (path::empty): Add nodiscard attribute.
* include/bits/range_access.h (empty): Likewise.
* include/std/string_view (basic_string_view::empty): Likewise.
* testsuite/21_strings/basic_string_view/capacity/empty_neg.cc: New
test.
* testsuite/24_iterators/range_access_cpp17_neg.cc: New test.
* testsuite/27_io/filesystem/path/query/empty_neg.cc: New test.

From-SVN: r255124

7 years agoPR libstdc++/83134 Ensure std::__not_ converts B::value to bool
Jonathan Wakely [Thu, 23 Nov 2017 21:35:27 +0000 (21:35 +0000)]
PR libstdc++/83134 Ensure std::__not_ converts B::value to bool

PR libstdc++/83134
* include/std/type_traits (__not_): Explicitly convert to bool.
* testsuite/20_util/declval/requirements/1_neg.cc: Adjust dg-error.
* testsuite/20_util/logical_traits/83134.cc: New test.
* testsuite/20_util/make_signed/requirements/typedefs_neg.cc: Adjust
dg-error.
* testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc:
Likewise.

From-SVN: r255122

7 years agoEnable VBMI2 support [3/7]
Julia Koval [Thu, 23 Nov 2017 21:03:55 +0000 (22:03 +0100)]
Enable VBMI2 support [3/7]

gcc/
config/i386/avx512vbmi2intrin.h (_mm512_mask_expand_epi8,
_mm512_maskz_expand_epi8, _mm512_mask_expandloadu_epi8,
_mm512_maskz_expandloadu_epi8, _mm512_mask_expand_epi16,
_mm512_maskz_expand_epi16, _mm512_mask_expandloadu_epi16,
_mm512_maskz_expandloadu_epi16): New intrinsics.
config/i386/avx512vbmi2vlintrin.h (_mm_mask_expand_epi8,
_mm_maskz_expand_epi8, _mm_mask_expandloadu_epi8,
_mm_maskz_expandloadu_epi8, _mm_mask_expand_epi16,
_mm_maskz_expand_epi16, _mm_mask_expandloadu_epi16,
_mm_maskz_expandloadu_epi16, _mm256_mask_expand_epi16,
_mm256_maskz_expand_epi16, _mm256_mask_expandloadu_epi16,
_mm256_maskz_expandloadu_epi16, _mm256_mask_expand_epi8,
_mm256_maskz_expand_epi8, _mm256_mask_expandloadu_epi8,
_mm256_maskz_expandloadu_epi8): New intrinsics.
config/i386/i386-builtin-types.def (V64QI_FTYPE_PCV64QI_V64QI_UDI,
V32HI_FTYPE_PCV32HI_V32HI_USI, V32QI_FTYPE_PCV32QI_V32QI_USI,
V16HI_FTYPE_PCV16HI_V16HI_UHI, V16QI_FTYPE_PCV16QI_V16QI_UHI,
V8HI_FTYPE_PCV8HI_V8HI_UQI): New types.
config/i386/i386.c (ix86_expand_special_args_builtin): Use new types.
config/i386/sse.md (VI248_VLBW): New iterator.
(expand<mode>_mask, expand<mode>_maskz): New patterns.

gcc/testsuite/
gcc.target/i386/avx512f-vpexpandb-1.c: New test.
gcc.target/i386/avx512f-vpexpandb-2.c: Ditto.
gcc.target/i386/avx512f-vpexpandw-1.c: Ditto.
gcc.target/i386/avx512f-vpexpandw-2.c: Ditto.
gcc.target/i386/avx512vl-vpexpandb-1.c: Ditto.
gcc.target/i386/avx512vl-vpexpandb-2.c: Ditto.
gcc.target/i386/avx512vl-vpexpandw-1.c: Ditto.
gcc.target/i386/avx512vl-vpexpandw-2.c: Ditto.

From-SVN: r255121

7 years agoEnable VBMI2 support [2/7]
Julia Koval [Thu, 23 Nov 2017 20:57:50 +0000 (21:57 +0100)]
Enable VBMI2 support [2/7]

gcc/
config.gcc (avx512vbmi2intrin.h, avx512vbmi2vlintrin): New headers.
config/i386/avx512vbmi2intrin.h (_mm512_mask_compress_epi8,
_mm512_maskz_compress_epi8, _mm512_mask_compressstoreu_epi8,
_mm512_mask_compress_epi16, _mm512_maskz_compress_epi16,
_mm512_mask_compressstoreu_epi16): New.
config/i386/avx512vbmi2vlintrin.h (_mm_mask_compress_epi8,
_mm_maskz_compress_epi8, _mm256_mask_compressstoreu_epi16,
_mm_mask_compress_epi16, _mm_maskz_compress_epi16,
_mm256_mask_compress_epi16, _mm256_maskz_compress_epi16,
_mm_mask_compressstoreu_epi8, _mm_mask_compressstoreu_epi16,
_mm256_mask_compress_epi8, _mm256_maskz_compress_epi8,
_mm256_mask_compressstoreu_epi8): New.
config/i386/i386-builtin-types.def (VOID_FTYPE_PV64QI_V64QI_UDI,
VOID_FTYPE_PV32HI_V32HI_USI, VOID_FTYPE_PV32QI_V32QI_USI,
VOID_FTYPE_PV16QI_V16QI_UHI, VOID_FTYPE_PV16HI_V16HI_UHI,
VOID_FTYPE_PV8HI_V8HI_UQI): New types.
config/i386/i386-builtin.def (__builtin_ia32_compressqi512_mask,
__builtin_ia32_compresshi512_mask, __builtin_ia32_compressqi256_mask,
__builtin_ia32_compressqi128_mask, __builtin_ia32_compresshi256_mask,
__builtin_ia32_compresshi128_mask,
__builtin_ia32_compressstoreuqi512_mask,
__builtin_ia32_compressstoreuhi512_mask,
__builtin_ia32_compressstoreuqi256_mask,
__builtin_ia32_compressstoreuqi128_mask,
__builtin_ia32_compressstoreuhi256_mask,
__builtin_ia32_compressstoreuhi128_mask): New builtins.
config/i386/i386.c (ix86_init_mmx_sse_builtins): Create special args
array for flags2.
(ix86_expand_special_args_builtin): Handle new types.
(s4fma_expand): Handle new builtin array.
config/i386/immintrin.h: Include new headers.
config/i386/sse.md (VI12_AVX512VLBW): New iterator.
(compress<mode>_mask, compressstore<mode>_mask): New patterns.

gcc/testsuite/
gcc.target/i386/avx512-check.h: Handle AVX512VBMI2 bit.
gcc.target/i386/avx512f-vpcompressb-1.c: New test.
gcc.target/i386/avx512f-vpcompressb-2.c: Ditto.
gcc.target/i386/avx512f-vpcompressw-1.c: Ditto.
gcc.target/i386/avx512f-vpcompressw-2.c: Ditto.
gcc.target/i386/avx512vl-vpcompressb-1.c: Ditto.
gcc.target/i386/avx512vl-vpcompressb-2.c: Ditto.
gcc.target/i386/avx512vl-vpcompressw-1.c: Ditto.
gcc.target/i386/avx512vl-vpcompressw-2.c: Ditto.
gcc.target/i386/i386.exp (check_effective_target_avx512vbmi2): New.

From-SVN: r255119

7 years agors6000.c (rs6000_gimple_fold_builtin): Formatting fixes.
Jakub Jelinek [Thu, 23 Nov 2017 20:19:01 +0000 (21:19 +0100)]
rs6000.c (rs6000_gimple_fold_builtin): Formatting fixes.

* config/rs6000/rs6000.c (rs6000_gimple_fold_builtin): Formatting
fixes.  Declare temp and g variables at the top in order to avoid
{} in most of the cases.

From-SVN: r255118

7 years agoparser.c (cp_parser_omp_declare): Change return type to bool from void, return true...
Jakub Jelinek [Thu, 23 Nov 2017 20:18:10 +0000 (21:18 +0100)]
parser.c (cp_parser_omp_declare): Change return type to bool from void, return true for declare simd.

* parser.c (cp_parser_omp_declare): Change return type to bool from
void, return true for declare simd.
(cp_parser_pragma): Return cp_parser_omp_declare returned value
rather than always false.

From-SVN: r255117

7 years agoc-parser.c (c_parser_omp_declare_simd): Reject declare simd in pragma_stmt context.
Jakub Jelinek [Thu, 23 Nov 2017 20:17:29 +0000 (21:17 +0100)]
c-parser.c (c_parser_omp_declare_simd): Reject declare simd in pragma_stmt context.

* c-parser.c (c_parser_omp_declare_simd): Reject declare simd in
pragma_stmt context.

* gcc.dg/gomp/declare-simd-1.c (f9): Remove.
* gcc.dg/gomp/declare-simd-5.c: New test.

From-SVN: r255116

7 years agore PR fortran/81841 (THREADPRIVATE (OpenMP) wrongly rejected in BLOCK DATA)
Jakub Jelinek [Thu, 23 Nov 2017 20:16:38 +0000 (21:16 +0100)]
re PR fortran/81841 (THREADPRIVATE (OpenMP) wrongly rejected in BLOCK DATA)

PR fortran/81841
* parse.c (parse_spec): Allow ST_OMP_THREADPRIVATE inside of
BLOCK DATA.

* libgomp.fortran/pr81841.f90: New test.

From-SVN: r255115

7 years agopr65240-1.C: Add -Wno-return-type to dg-options.
Jakub Jelinek [Thu, 23 Nov 2017 20:14:43 +0000 (21:14 +0100)]
pr65240-1.C: Add -Wno-return-type to dg-options.

* g++.dg/pr65240-1.C: Add -Wno-return-type to dg-options.
* g++.dg/pr65240-2.C: Likewise.
* g++.dg/pr65240-3.C: Likewise.
* g++.dg/pr65240-4.C: Likewise.

From-SVN: r255114

7 years agoSimplify ptr - 0
Marc Glisse [Thu, 23 Nov 2017 19:53:09 +0000 (20:53 +0100)]
Simplify ptr - 0

2017-11-23  Marc Glisse  <marc.glisse@inria.fr>

* match.pd (ptr-0): New transformation.

From-SVN: r255113

7 years agoThis patch adds support for modelling the varying costs of different addressing modes.
Charles Baylis [Thu, 23 Nov 2017 18:39:44 +0000 (18:39 +0000)]
This patch adds support for modelling the varying costs of different addressing modes.

This patch adds support for modelling the varying costs of
different addressing modes. The generic cost table treats
all addressing modes as having equal cost.

gcc/ChangeLog:

2017-11-23  Charles Baylis  <charles.baylis@linaro.org>

        * config/arm/arm-protos.h (enum arm_addr_mode_op): New.
        (struct addr_mode_cost_table): New.
        (struct tune_params): Add field addr_mode_costs.
        * config/arm/arm.c (generic_addr_mode_costs): New.
        (arm_slowmul_tune): Initialise addr_mode_costs field.
        (arm_fastmul_tune): Likewise.
        (arm_strongarm_tune): Likewise.
        (arm_xscale_tune): Likewise.
        (arm_9e_tune): Likewise.
        (arm_marvell_pj4_tune): Likewise.
        (arm_v6t2_tune): Likewise.
        (arm_cortex_tune): Likewise.
        (arm_cortex_a8_tune): Likewise.
        (arm_cortex_a7_tune): Likewise.
        (arm_cortex_a15_tune): Likewise.
        (arm_cortex_a35_tune): Likewise.
        (arm_cortex_a53_tune): Likewise.
        (arm_cortex_a57_tune): Likewise.
        (arm_exynosm1_tune): Likewise.
        (arm_xgene1_tune): Likewise.
        (arm_cortex_a5_tune): Likewise.
        (arm_cortex_a9_tune): Likewise.
        (arm_cortex_a12_tune): Likewise.
        (arm_cortex_a73_tune): Likewise.
        (arm_v7m_tune): Likewise.
        (arm_cortex_m7_tune): Likewise.
        (arm_v6m_tune): Likewise.
        (arm_fa726te_tune): Likewise.
        (arm_mem_costs): Use table lookup to calculate cost of addressing
        mode.

From-SVN: r255112

7 years ago[ARM] Refactor costs calculation for MEM.
Charles Baylis [Thu, 23 Nov 2017 18:37:18 +0000 (18:37 +0000)]
[ARM] Refactor costs calculation for MEM.

This patch moves the calculation of costs for MEM into a
separate function, and reforms the calculation into two
parts. Firstly any additional cost of the addressing mode
is calculated, and then the cost of the memory access itself
is added.

In this patch, the calculation of the cost of the addressing
mode is omitted, to be added in a subsequent patch.

gcc/ChangeLog:

<date>  Charles Baylis  <charles.baylis@linaro.org>

        * config/arm/arm.c (arm_mem_costs): New function.
        (arm_rtx_costs_internal): Use arm_mem_costs.

gcc/testsuite/ChangeLog:

<date>  Charles Baylis  <charles.baylis@linaro.org>

        * gcc.target/arm/addr-modes-float.c: New test.
        * gcc.target/arm/addr-modes-int.c: New test.
        * gcc.target/arm/addr-modes.h: New header.

From-SVN: r255111

7 years agore PR fortran/36313 ([F03] {MIN,MAX}{LOC,VAL} should accept character arguments)
Thomas Koenig [Thu, 23 Nov 2017 17:52:05 +0000 (17:52 +0000)]
re PR fortran/36313 ([F03] {MIN,MAX}{LOC,VAL} should accept character arguments)

2017-11-23  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/36313
* m4/maxloc2s.m4: Replace int for character length by
gfc_charlen_type.
* m4/minloc2s.m4: Likewise.
* generated./maxloc2_16_s1.c: Regenerated.
* generated./maxloc2_16_s4.c: Regenerated.
* generated./maxloc2_4_s1.c: Regenerated.
* generated./maxloc2_4_s4.c: Regenerated.
* generated./maxloc2_8_s1.c: Regenerated.
* generated./maxloc2_8_s4.c: Regenerated.
* generated./minloc2_16_s1.c: Regenerated.
* generated./minloc2_16_s4.c: Regenerated.
* generated./minloc2_4_s1.c: Regenerated.
* generated./minloc2_4_s4.c: Regenerated.
* generated./minloc2_8_s1.c: Regenerated.
* generated./minloc2_8_s4.c: Regenerated.

From-SVN: r255109

7 years agoFix .debug_rnglists generation with -gdwarf-5 -gsplit-dwarf.
Mark Wielaard [Thu, 23 Nov 2017 16:56:05 +0000 (16:56 +0000)]
Fix .debug_rnglists generation with -gdwarf-5 -gsplit-dwarf.

Early debug broke generation of .debug_rnglists when using both -gdwarf5
and -gsplit-dwarf. It introduces a generation for init_sections_and_labels,
but doesn't account for the generation of up to 4 unique ranges labels,
two created in init_sections_and_labels and two in output_rnglists.
Fix this by passing generation to output_rnglists and creating 4 unique
labels per generation.

Without this fix using -gdwarf-5 -gsplit-dwarf could result in:
  Error: symbol `.Ldebug_ranges2' is already defined

gcc/ChangeLog:

       * dwarf2out.c (init_sections_and_labels): Use generation to create
       unique ranges_section_label and ranges_base_label. Return generation.
       (output_rnglists): Add generation argument. Use generation to create
       unique ranges labels.
       (dwarf2out_finish): Get generation from init_sections_and_labels
       and pass generation to output_rnglists.

From-SVN: r255107

7 years agogeneric.texi (ANNOTATE_EXPR): Document 3rd operand.
Eric Botcazou [Thu, 23 Nov 2017 16:36:28 +0000 (16:36 +0000)]
generic.texi (ANNOTATE_EXPR): Document 3rd operand.

* doc/generic.texi (ANNOTATE_EXPR): Document 3rd operand.
* cfgloop.h (struct loop): Add unroll field.
* function.h (struct function): Add has_unroll bitfield.
* gimplify.c (gimple_boolify) <ANNOTATE_EXPR>: Deal with unroll kind.
(gimplify_expr) <ANNOTATE_EXPR>: Propagate 3rd operand.
* loop-init.c (pass_loop2::gate): Return true if cfun->has_unroll.
(pass_rtl_unroll_loops::gate): Likewise.
* loop-unroll.c (decide_unrolling): Tweak note message.  Skip loops
for which loop->unroll==1.
(decide_unroll_constant_iterations): Use note for consistency and
take loop->unroll into account.  Return early if loop->unroll is set.
Fix thinko in existing test.
(decide_unroll_runtime_iterations): Use note for consistency and
take loop->unroll into account.
(decide_unroll_stupid): Likewise.
* lto-streamer-in.c (input_cfg): Read loop->unroll.
* lto-streamer-out.c (output_cfg): Write loop->unroll.
* tree-cfg.c (replace_loop_annotate_in_block) <annot_expr_unroll_kind>:
        New case.
(replace_loop_annotate) <annot_expr_unroll_kind>: Likewise.
(print_loop): Print loop->unroll if set.
* tree-core.h (enum annot_expr_kind): Add annot_expr_unroll_kind.
* tree-inline.c (copy_loops): Copy unroll and set cfun->has_unroll.
* tree-pretty-print.c (dump_generic_node) <annot_expr_unroll_kind>:
New case.
* tree-ssa-loop-ivcanon.c (try_unroll_loop_completely): Bail out if
loop->unroll is set and smaller than the trip count.  Otherwise bypass
entirely the heuristics if loop->unroll is set.  Remove dead note.
Fix off-by-one bug in other note.
(try_peel_loop): Bail out if loop->unroll is set.  Fix formatting.
(tree_unroll_loops_completely_1): Force unrolling if loop->unroll
is greater than 1.
(tree_unroll_loops_completely): Make static.
(pass_complete_unroll::execute): Use correct type for variable.
(pass_complete_unrolli::execute): Fix formatting.
* tree.def (ANNOTATE_EXPR): Add 3rd operand.
ada/
* gcc-interface/trans.c (gnat_gimplify_stmt) <LOOP_STMT>: Pass 3rd
operand to ANNOTATE_EXPR and also pass unrolling hints.
c/
* c-parser.c (c_parser_while_statement): Pass 3rd operand to
ANNOTATE_EXPR.
(c_parser_do_statement): Likewise.
(c_parser_for_statement): Likewise.
cp/
* pt.c (tsubst_expr) <ANNOTATE_EXPR>: Recurse on 3rd operand.
* semantics.c (finish_while_stmt_cond): Pass 3rd operand to
ANNOTATE_EXPR.
(finish_do_stmt): Likewise.
(finish_for_cond): Likewise.
fortran/
* trans-stmt.c (gfc_trans_forall_loop): Pass 3rd operand to
ANNOTATE_EXPR.

From-SVN: r255106

7 years agoi386.h (TARGET_PREFER_AVX256): Also enable when TARGET_PREFER_AVX128 is set.
Sergey Shalnov [Thu, 23 Nov 2017 16:07:25 +0000 (16:07 +0000)]
i386.h (TARGET_PREFER_AVX256): Also enable when TARGET_PREFER_AVX128 is set.

* config/i386/i386.h (TARGET_PREFER_AVX256): Also
enable when TARGET_PREFER_AVX128 is set.

From-SVN: r255105

7 years agoipa-profile.c (ipa_propagate_frequency_1): Use count instead of frequency.
Jan Hubicka [Thu, 23 Nov 2017 15:59:07 +0000 (16:59 +0100)]
ipa-profile.c (ipa_propagate_frequency_1): Use count instead of frequency.

* ipa-profile.c (ipa_propagate_frequency_1): Use count instead of
frequency.
* cgraph.c (cgraph_edge::dump_edge_flags): Dump sreal frequencies.
(cgraph_edge::maybe_hot_p): Use sreal frequencies.

From-SVN: r255104

7 years agoipa-fnsummary.c (record_modified_bb_info): Use sreal frequencies.
Jan Hubicka [Thu, 23 Nov 2017 15:56:28 +0000 (16:56 +0100)]
ipa-fnsummary.c (record_modified_bb_info): Use sreal frequencies.

* ipa-fnsummary.c (record_modified_bb_info): Use sreal
frequencies. Fix estimation of aggregate parameters.

* gcc.dg/ipa/inline-1.c: Update template.

From-SVN: r255103

7 years agocgraphclones.c (cgraph_node::create_clone): Fix updating of profile when inlining.
Jan Hubicka [Thu, 23 Nov 2017 15:52:50 +0000 (16:52 +0100)]
cgraphclones.c (cgraph_node::create_clone): Fix updating of profile when inlining.

* cgraphclones.c (cgraph_node::create_clone): Fix updating of profile
when inlining.

From-SVN: r255102

7 years ago[libgccjit] Wrap RETURN_NULL_IF_FAIL_NONNULL_NUMERIC_TYPE in JIT_{BEGIN,END}_STMT.
Tom de Vries [Thu, 23 Nov 2017 15:03:48 +0000 (15:03 +0000)]
[libgccjit] Wrap RETURN_NULL_IF_FAIL_NONNULL_NUMERIC_TYPE in JIT_{BEGIN,END}_STMT.

2017-11-23  Tom de Vries  <tom@codesourcery.com>

* libgccjit.c (RETURN_NULL_IF_FAIL_NONNULL_NUMERIC_TYPE): Wrap in
JIT_{BEGIN,END}_STMT.

From-SVN: r255101

7 years ago[sh] Wrap ASM_OUTPUT_ADDR_VEC_ELT in do {} while (0)
Tom de Vries [Thu, 23 Nov 2017 15:03:39 +0000 (15:03 +0000)]
[sh] Wrap ASM_OUTPUT_ADDR_VEC_ELT in do {} while (0)

2017-11-23  Tom de Vries  <tom@codesourcery.com>

* config/sh/sh.h (ASM_OUTPUT_ADDR_VEC_ELT): Wrap in "do {} while (0)".

From-SVN: r255100

7 years ago[libobjc] Wrap CLASS_TABLE_HASH in do {} while (0)
Tom de Vries [Thu, 23 Nov 2017 15:03:29 +0000 (15:03 +0000)]
[libobjc] Wrap CLASS_TABLE_HASH in do {} while (0)

2017-11-23  Tom de Vries  <tom@codesourcery.com>

* class.c (CLASS_TABLE_HASH): Wrap in "do {} while (0)".

From-SVN: r255099

7 years ago[ft32] Remove semicolon after ASM_OUTPUT_ADDR_VEC_ELT
Tom de Vries [Thu, 23 Nov 2017 15:03:20 +0000 (15:03 +0000)]
[ft32] Remove semicolon after ASM_OUTPUT_ADDR_VEC_ELT

2017-11-23  Tom de Vries  <tom@codesourcery.com>

* config/ft32/ft32.h (ASM_OUTPUT_ADDR_VEC_ELT): Remove semicolon after
macro.

From-SVN: r255098

7 years agore PR target/83111 ([sh] stack smashing detected in gen_udivsi3)
Oleg Endo [Thu, 23 Nov 2017 14:06:15 +0000 (14:06 +0000)]
re PR target/83111 ([sh] stack smashing detected in gen_udivsi3)

gcc/
PR target/83111
* config/sh/sh.md (udivsi3, divsi3, sibcall_value_pcrel,
sibcall_value_pcrel_fdpic): Use local variable instead of
operands[3].
(calli_tbr_rel): Add missing operand 2.
(call_valuei_tbr_rel): Add missing operand 3.

From-SVN: r255096

7 years agore PR middle-end/82253 (ICE in convert_move, at expr.c:604)
Jakub Jelinek [Thu, 23 Nov 2017 11:26:32 +0000 (12:26 +0100)]
re PR middle-end/82253 (ICE in convert_move, at expr.c:604)

PR middle-end/82253
* expr.c (expand_assignment): For CONCAT to_rtx, complex type from and
bitpos/bitsize covering the whole destination, use store_expr only if
the complex mode is the same.  Otherwise, use expand_normal and if
it returns CONCAT, subreg each part separately instead of trying to
subreg the whole result.

* gfortran.dg/pr82253.f90: New test.

From-SVN: r255095

7 years agore PR fortran/82814 (ICE from submodule character function)
Paul Thomas [Thu, 23 Nov 2017 09:52:04 +0000 (09:52 +0000)]
re PR fortran/82814 (ICE from submodule character function)

2017-11-23  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/82814
* trans-types.c (gfc_sym_type): If a character function result
is missing the charlen backend_decl, use the one from the name-
space procedure symbol, if present.

2017-11-23  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/82814
* gfortran.dg/submodule_31.f08: New test.

From-SVN: r255094

7 years agore PR tree-optimization/23094 (store ccp, or store copy prop misses an optimization)
Richard Biener [Thu, 23 Nov 2017 09:05:11 +0000 (09:05 +0000)]
re PR tree-optimization/23094 (store ccp, or store copy prop misses an optimization)

2017-11-23  Richard Biener  <rguenther@suse.de>

PR tree-optimization/23094
* tree-ssa-sccvn.c (vuse_ssa_val): Handle VN_TOP when we
come here from walking over backedges in the first iteration.
(vn_reference_lookup_3): Skip clobbers that store the same value.

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

From-SVN: r255093

7 years agore PR tree-optimization/81403 (wrong code at -O3)
Richard Biener [Thu, 23 Nov 2017 08:30:41 +0000 (08:30 +0000)]
re PR tree-optimization/81403 (wrong code at -O3)

2017-11-23  Richard Biener  <rguenther@suse.de>

PR tree-optimization/81403
* tree-ssa-pre.c (get_representative_for): Add parameter specifying
a block we need a leader relative to.
(phi_translate_1): For nary processing require a leader from
get_representative_for given we run expression simplification
using match-and-simplify.  Remove previous fix.

From-SVN: r255092

7 years agore PR tree-optimization/83089 (ICE: Segmentation fault (in instantiate_scev_name))
Richard Biener [Thu, 23 Nov 2017 08:24:20 +0000 (08:24 +0000)]
re PR tree-optimization/83089 (ICE: Segmentation fault (in instantiate_scev_name))

2017-11-23  Richard Biener  <rguenther@suse.de>

PR tree-optimization/83089
* gcc.dg/pr83089.c: Require pthread.

From-SVN: r255091

7 years agocmd/go, go/internal/gccgoimporter: pass -X to ar on AIX
Ian Lance Taylor [Thu, 23 Nov 2017 00:24:21 +0000 (00:24 +0000)]
cmd/go, go/internal/gccgoimporter: pass -X to ar on AIX

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

From-SVN: r255090

7 years agoDaily bump.
GCC Administrator [Thu, 23 Nov 2017 00:16:14 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r255089

7 years agogimple-ssa-evrp-analyze.c (evrp_range_analyzer::try_find_new_range): Use new method...
Jeff Law [Thu, 23 Nov 2017 00:04:07 +0000 (17:04 -0700)]
gimple-ssa-evrp-analyze.c (evrp_range_analyzer::try_find_new_range): Use new method allocate_value_range rather than accessing the...

* gimple-ssa-evrp-analyze.c (evrp_range_analyzer::try_find_new_range):
Use new method allocate_value_range rather than accessing the
vrp_value_range_pool data member directly.
* tree-vrp.c (simplify_stmt_for_jump_threading): Tweak slightly
to use extract_range_from_stmt method to avoid need for
extract_range_from_assignment method.
(vrp_prop::vrp_finalize): Use set_lattice_propagation_complete
method rather than setting values_propgated data member directly.
* vr-values.h (class vr_values): Privatize vrp_value_range_pool,
and values propagated data members and extract_range_from_assignment
method.  Reorder private data members to conform to standards.
Add new methods set_lattice_propagation_complete and
allocate_value_range.

From-SVN: r255086

7 years ago* g++.dg/abi/pr68355.C: Don't expect tail call on ia32.
Jakub Jelinek [Wed, 22 Nov 2017 22:36:29 +0000 (23:36 +0100)]
* g++.dg/abi/pr68355.C: Don't expect tail call on ia32.

From-SVN: r255085

7 years agore PR c++/82401 (error: qsort comparator non-negative on sorted output: 1 in insert_l...
Jakub Jelinek [Wed, 22 Nov 2017 22:35:52 +0000 (23:35 +0100)]
re PR c++/82401 (error: qsort comparator non-negative on sorted output: 1 in insert_late_enum_def_bindings on an invalid code)

PR c++/82401
* name-lookup.c (member_name_cmp): Return 0 if a == b.

* g++.dg/cpp0x/pr82401.C: New test.

From-SVN: r255084

7 years agore PR rtl-optimization/83030 (ICE in create_pseudo_cfg, at dwarf2cfi.c:2840)
Eric Botcazou [Wed, 22 Nov 2017 21:43:22 +0000 (21:43 +0000)]
re PR rtl-optimization/83030 (ICE in create_pseudo_cfg, at dwarf2cfi.c:2840)

PR rtl-optimization/83030
* doc/rtl.texi (Flags in an RTL Expression): Alphabetize, add entry
for CROSSING_JUMP_P and mention usage of 'jump' for JUMP_INSNs.
(Insns): Delete entry for REG_CROSSING_JUMP in register notes.
* bb-reorder.c (update_crossing_jump_flags): Do not test whether the
CROSSING_JUMP_P flag is already set before setting it.
* cfgrtl.c (fixup_partition_crossing): Likewise.
* reorg.c (relax_delay_slots): Do not consider a CROSSING_JUMP_P insn
as useless.

From-SVN: r255083

7 years agojit: update test suite for change to -Warray-bounds
David Malcolm [Wed, 22 Nov 2017 21:12:36 +0000 (21:12 +0000)]
jit: update test suite for change to -Warray-bounds

jit.dg/test-error-array-bounds.c is a test of how libgccjit
handles errors coming from the middle-end, using -Warray-bounds as
an example.

It started failing as of r254830 (aka 987b3316c4e7c908e3c7d2151c20971f9707ad66),
due to that commit changing the wording of the message.

This commit fixes the jit testcase by updating it to use the new
wording.

gcc/testsuite/ChangeLog:
PR tree-optimization/82588
PR tree-optimization/82583
* jit.dg/test-error-array-bounds.c (verify_code): Update expected
error message from -Warray-bounds.

From-SVN: r255082

7 years ago* g++.dg/graphite/pr41562.C: Add -Wno-return-type.
Jakub Jelinek [Wed, 22 Nov 2017 21:03:36 +0000 (22:03 +0100)]
* g++.dg/graphite/pr41562.C: Add -Wno-return-type.

From-SVN: r255081

7 years agore PR libgomp/83106 (libgomp/target.c:2671:2: error: ‘strncat’ specified bound 5...
Jakub Jelinek [Wed, 22 Nov 2017 20:49:56 +0000 (21:49 +0100)]
re PR libgomp/83106 (libgomp/target.c:2671:2: error: ‘strncat’ specified bound 5 equals source length [-Werror=stringop-overflow=])

PR libgomp/83106
* target.c (gomp_target_init): Compute lengths just once and
use them in both malloc size and subsequent copying.

From-SVN: r255080

7 years agosimplify-rtx.c (simplify_binary_operation_1): Handle the case where both arguments...
Jakub Jelinek [Wed, 22 Nov 2017 20:48:38 +0000 (21:48 +0100)]
simplify-rtx.c (simplify_binary_operation_1): Handle the case where both arguments are using gen_const_vec_series.

* simplify-rtx.c (simplify_binary_operation_1) <case VEC_SERIES>:
Handle the case where both arguments are using gen_const_vec_series.

From-SVN: r255079

7 years agoMake shift argument to eoshift0 and eoshift2 be of type index_type
Janne Blomqvist [Wed, 22 Nov 2017 20:42:39 +0000 (22:42 +0200)]
Make shift argument to eoshift0 and eoshift2 be of type index_type

Test case that requires 4 GB RAM that exercises eoshift0:

program main
  implicit none
  integer(1) :: line(2_8**31+10)
  line = 42
  line = eoshift(line, 2_8**31+7)
  print *, line(1:4)
  print *, line((ubound(line, 1, kind=8)-4):ubound(line, 1, kind=8))
end program main

Before patch:
❯ ./a.out
    0    0    0    0
    42   42   42   42   42

With patch:
❯ ./a.out
   42   42   42    0
   0    0    0    0    0

Regtested on x86_64-pc-linux-gnu.

libgfortran/ChangeLog:

2017-11-22  Janne Blomqvist  <jb@gcc.gnu.org>

        * intrinsics/eoshift0.c (eoshift0): Make shift an index_type.
        * intrinsics/eoshift2.c (eoshift2): Make shift an index_type.

From-SVN: r255077

7 years agoC/C++: fix quoting of "aka" typedef information (PR 62170)
David Malcolm [Wed, 22 Nov 2017 20:37:58 +0000 (20:37 +0000)]
C/C++: fix quoting of "aka" typedef information (PR 62170)

PR 62170 describes a problem with how the quoting in pp_format
interacts with the "aka" information for typedefs in %qT for
the C family of frontends, and also now for %qH and %qI in the
C++ frontend: we print:

  'Py_ssize_t* {aka int*}'
   ^^^^^^^^^^^^^^^^^^^^^^ colorized as "quote"

i.e.
  '[START_COLOR]Py_ssize_t* {aka int*}[END_COLOR]'

when we should print:

  'Py_ssize_t*' {aka 'int*'}
   ^^^^^^^^^^^        ^^^^ colorized as "quote"

i.e.
  '[START_COLOR]Py_ssize_t*[END_COLOR]' {aka '[START_COLOR]int*[END_COLOR]'}

where the opening and closing quote characters and colorization are
added by the 'q' handling within pp_format.

This patch fixes the quoting by updating the %T handling in C and C++
and the %H/%I handling in C++ to insert the quoting appropriately.
It converts the "quote" param of the pp_format_decoder callback from
bool to bool *, allowing for the %T and %H/%I handlers to write
false back to it, to avoid printing the closing quote for the cases
like the above where the trailing closing quote isn't needed.

It introduces pp_begin_quote/pp_end_quote to simplify this.  These
take a "bool show_color", rather than using "pp_show_color (pp)"
since cxx_pp's pp_show_color isn't currently initialized (since
cxx_initialize_diagnostics happens before diagnostic_color_init).

gcc/c/ChangeLog:
PR c++/62170
* c-objc-common.c (c_tree_printer): Convert penultimate param from
bool to bool *.  Within '%T' handling, if showing an "aka", use
"quoted" param to add appropriate quoting.

gcc/cp/ChangeLog:
PR c++/62170
* error.c (type_to_string): Add leading comment.  Add params
"postprocessed", "quote", and "show_color", using them to fix
quoting of the "aka" for types involving typedefs.
(arg_to_string): Update for new params to type_to_string.
(cxx_format_postprocessor::handle): Likewise.
(cp_printer): Convert penultimate param from bool to bool *.
Update call to type_to_string and calls to
defer_phase_2_of_type_diff.

gcc/fortran/ChangeLog:
PR c++/62170
* error.c (gfc_notify_std): Convert "quoted" param from bool to
bool *.

gcc/ChangeLog:
PR c++/62170
* pretty-print.c (pp_format): Move quoting implementation to
pp_begin_quote and pp_end_quote.  Update pp_format_decoder call
to pass address of "quote" local.
(pp_begin_quote): New function.
(pp_end_quote): New function.
* pretty-print.h (printer_fn): Convert penultimate param from bool
to bool *.
(pp_begin_quote): New decl.
(pp_end_quote): New decl.
* tree-diagnostic.c (default_tree_printer): Convert penultimate
param from bool to bool *.
* tree-diagnostic.h (default_tree_printer): Likewise.

gcc/testsuite/ChangeLog:
PR c++/62170
* g++.dg/diagnostic/aka1.C: Update expected error messages to
reflect fixes to quoting.
* g++.dg/diagnostic/aka2.C: New test case.
* g++.dg/parse/error55.C: Update expected error messages to
reflect fixes to quoting.
* gcc.dg/diag-aka-1.c: Likewise.
* gcc.dg/diag-aka-2.c: New test case.
* gcc.dg/pr13804-1.c: Update expected error messages to reflect
fixes to quoting.
* gcc.dg/pr56980.c: Likewise.
* gcc.dg/pr65050.c: Likewise.
* gcc.dg/redecl-14.c: Likewise.
* gcc.dg/utf16-4.c Likewise.
* gcc.target/i386/sse-vect-types.c (__m128d): Likewise.
* obj-c++.dg/invalid-type-1.mm: Likewise.
* objc.dg/proto-lossage-4.m: Likewise.

From-SVN: r255076

7 years agotarget-supports.exp (check_effective_target_bswap16): Remove
Uros Bizjak [Wed, 22 Nov 2017 20:35:43 +0000 (21:35 +0100)]
target-supports.exp (check_effective_target_bswap16): Remove

* lib/target-supports.exp (check_effective_target_bswap16): Remove
(check_effective_target_bswap32): Ditto.
(check_effective_target_bswap64): Ditto.
* gcc.dg/optimize-bswaphi-1.c: Use bswap effective
target instead of bswap16.
* gcc.dg/optimize-bswapsi-1.c: Use bswap effective
target instead of bswap32.
* gcc.dg/optimize-bswapsi-2.c: Ditto.
* gcc.dg/optimize-bswapsi-3.c: Ditto.
* gcc.dg/optimize-bswapsi-4.c: Ditto.
* gcc.dg/optimize-bswapsi-5.c: Ditto.
* gcc.dg/pr77673.c: Ditto.
* gcc.dg/optimize-bswapdi-1.c: Use bswap effective
target instead of bswap64.
* gcc.dg/optimize-bswapdi-2.c: Ditto.
* gcc.dg/optimize-bswapdi-3.c: Ditto.

From-SVN: r255075

7 years ago* gimple-ssa-evrp-analyze.c (evrp_range_analyzer::evrp_range_analyzer)
Jeff Law [Wed, 22 Nov 2017 20:31:14 +0000 (13:31 -0700)]
* gimple-ssa-evrp-analyze.c (evrp_range_analyzer::evrp_range_analyzer)
Initialize vr_values.
(evrp_range_analyzer::try_find_new_range): Call methods attached to
vr_values via vr_values class instance rather than delegators.
(evrp_range_analyzer::record_ranges_from_phis): Likewise.
(evrp_range_analyzer::record_ranges_from_stmt): Likewise.
(evrp_range_analyzer::push_value_range): Likewise.
(evrp_range_analyzer::pop_value_range): Likewise.
* gimple-ssa-evrp-analyze.h (class evrp_range_analyzer): Remove
most delegators.  Those remaining are exposed as public interfaces.
Make vr_values a pointer and private.
(evrp_range_analyzer::~evrp_range_analyzer): Delete the attached
vr_values.
(evrp_range_analyzer::get_vr_value): New method.
* gimple-ssa-evrp.c (class evrp_folder): Use DISABLE_COPY_AND_ASSIGN.
(evrp_folder::evrp_folder): New ctor to initialize vr_values.
(class evrp_dom_walker): Attach evrp_folder class, initialize
it in the ctor.  Remove temporary delegators.
(evrp_dom_walker::before_dom_children): Call methods in attached
evrp_range_analyzer class via class instance pointer.  Use
free value_range_constant_singleton to remove need for
op_with_constant_singleton_value delegator method.  Do not
create a vrp_prop class instance for every call!  Narrow
scope of a couple variables.
(evrp_dom_walker::cleanup): Call methods in attached
evrp_range_analyzer class via class instance pointer.
* vr-values.h (class vr_values): Privatize many methods and
data members.

From-SVN: r255074

7 years agoReplace REDUC_*_EXPRs with internal functions.
Richard Sandiford [Wed, 22 Nov 2017 19:33:31 +0000 (19:33 +0000)]
Replace REDUC_*_EXPRs with internal functions.

This patch replaces the REDUC_*_EXPR tree codes with internal functions.
This is needed so that the upcoming in-order reductions can also use
internal functions without too much complication.

2017-11-22  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
* tree.def (REDUC_MAX_EXPR, REDUC_MIN_EXPR, REDUC_PLUS_EXPR): Delete.
* cfgexpand.c (expand_debug_expr): Remove handling for them.
* expr.c (expand_expr_real_2): Likewise.
* fold-const.c (const_unop): Likewise.
* optabs-tree.c (optab_for_tree_code): Likewise.
* tree-cfg.c (verify_gimple_assign_unary): Likewise.
* tree-inline.c (estimate_operator_cost): Likewise.
* tree-pretty-print.c (dump_generic_node): Likewise.
(op_code_prio): Likewise.
(op_symbol_code): Likewise.
* internal-fn.def (DEF_INTERNAL_SIGNED_OPTAB_FN): Define.
(IFN_REDUC_PLUS, IFN_REDUC_MAX, IFN_REDUC_MIN): New internal functions.
* internal-fn.c (direct_internal_fn_optab): New function.
(direct_internal_fn_array, direct_internal_fn_supported_p
(internal_fn_expanders): Handle DEF_INTERNAL_SIGNED_OPTAB_FN.
* fold-const-call.c (fold_const_reduction): New function.
(fold_const_call): Handle CFN_REDUC_PLUS, CFN_REDUC_MAX and
CFN_REDUC_MIN.
* tree-vect-loop.c: Include internal-fn.h.
(reduction_code_for_scalar_code): Rename to...
(reduction_fn_for_scalar_code): ...this and return an internal
function.
(vect_model_reduction_cost): Take an internal_fn rather than
a tree_code.
(vect_create_epilog_for_reduction): Likewise.  Build calls rather
than assignments.
(vectorizable_reduction): Use internal functions rather than tree
codes for the reduction operation.  Update calls to the functions
above.
* config/aarch64/aarch64-builtins.c (aarch64_gimple_fold_builtin):
Use calls to internal functions rather than REDUC tree codes.
* config/aarch64/aarch64-simd.md: Update comment accordingly.

From-SVN: r255073

7 years agoPR 83097 Use __BYTE_ORDER__ predefined macro instead of runtime check
Janne Blomqvist [Wed, 22 Nov 2017 19:19:13 +0000 (21:19 +0200)]
PR 83097 Use __BYTE_ORDER__ predefined macro instead of runtime check

By using the __BYTE_ORDER__ predefined macro we don't need the
determine_endianness function anymore.

Regtested on x86_64-pc-linux-gnu.

libgfortran/ChangeLog:

2017-11-22  Janne Blomqvist  <jb@gcc.gnu.org>

        PR libfortran/83097
* io/inquire.c (inquire_via_unit): Use __BYTE_ORDER__ predefined
macro.
* io/open.c (st_open): Likewise.
* io/transfer.c (data_transfer_init): Likewise.
* io/write.c (btoa_big): Likewise.
(otoa_big): Likewise.
(ztoa_big): Likewise.
* libgfortran.h (big_endian): Remove variable.
(GFOR_POINTER_TO_L1): Use __BYTE_ORDER__ macro.
* runtime/main.c (determine_endianness): Remove function.
(init): Remove call to determine_endianness.
* runtime/minimal.c: Remove setting big_endian variable.

From-SVN: r255072

7 years ago[PATCH] Add myself as GCC maintainer
Sudakshina Das [Wed, 22 Nov 2017 18:18:51 +0000 (18:18 +0000)]
[PATCH] Add myself as GCC maintainer

*** ChangeLog ***

2017-11-22  Sudakshina Das  <sudi.das@arm.com>

* MAINTAINERS (Write After Approval): Add myself.

From-SVN: r255071

7 years agore PR fortran/36313 ([F03] {MIN,MAX}{LOC,VAL} should accept character arguments)
Thomas Koenig [Wed, 22 Nov 2017 18:08:07 +0000 (18:08 +0000)]
re PR fortran/36313 ([F03] {MIN,MAX}{LOC,VAL} should accept character arguments)

2017-11-22  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/36313
* Makefile.am: Add i_maxloc0s_c, i_maxloc1s_c, i_maxloc2s_c,
i_minloc0s_c, i_minloc1s_c and i_minloc2s_c.
* Makefile.in: Regenerated.
        * generated/maxloc0_16_s1.c: New file.
        * generated/maxloc0_16_s4.c: New file.
        * generated/maxloc0_4_s1.c: New file.
        * generated/maxloc0_4_s4.c: New file.
        * generated/maxloc0_8_s1.c: New file.
        * generated/maxloc0_8_s4.c: New file.
        * generated/maxloc1_16_s1.c: New file.
        * generated/maxloc1_16_s4.c: New file.
        * generated/maxloc1_4_s1.c: New file.
        * generated/maxloc1_4_s4.c: New file.
        * generated/maxloc1_8_s1.c: New file.
        * generated/maxloc1_8_s4.c: New file.
        * generated/maxloc2_16_s1.c: New file.
        * generated/maxloc2_16_s4.c: New file.
        * generated/maxloc2_4_s1.c: New file.
        * generated/maxloc2_4_s4.c: New file.
        * generated/maxloc2_8_s1.c: New file.
        * generated/maxloc2_8_s4.c: New file.
        * generated/minloc0_16_s1.c: New file.
        * generated/minloc0_16_s4.c: New file.
        * generated/minloc0_4_s1.c: New file.
        * generated/minloc0_4_s4.c: New file.
        * generated/minloc0_8_s1.c: New file.
        * generated/minloc0_8_s4.c: New file.
        * generated/minloc1_16_s1.c: New file.
        * generated/minloc1_16_s4.c: New file.
        * generated/minloc1_4_s1.c: New file.
        * generated/minloc1_4_s4.c: New file.
        * generated/minloc1_8_s1.c: New file.
        * generated/minloc1_8_s4.c: New file.
        * generated/minloc2_16_s1.c: New file.
        * generated/minloc2_16_s4.c: New file.
        * generated/minloc2_4_s1.c: New file.
        * generated/minloc2_4_s4.c: New file.
        * generated/minloc2_8_s1.c: New file.
        * generated/minloc2_8_s4.c: New file.
        * m4/iforeach-s.m4: New file.
        * m4/ifunction-s.m4: New file.
        * m4/maxloc0s.m4: New file.
        * m4/maxloc1s.m4: New file.
        * m4/maxloc2s.m4: New file.
        * m4/minloc0s.m4: New file.
        * m4/minloc1s.m4: New file.
        * m4/minloc2s.m4: New file.
* gfortran.map: Add new functions.
* libgfortran.h: Add gfc_array_s1 and gfc_array_s4.

2017-11-22  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/36313
* check.c (int_or_real_or_char_check_f2003): New function.
* iresolve.c (gfc_resolve_maxloc): Add number "2" for
character arguments and rank-zero return value.
(gfc_resolve_minloc): Likewise.
* trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc): Handle case of
character arguments and rank-zero return value by removing
unneeded arguments and calling the library function.

2017-11-22  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/36313
* gfortran.dg/maxloc_string_1.f90: New test.
* gfortran.dg/minloc_string_1.f90: New test.

From-SVN: r255070

7 years agovxworks.c (vxworks_override_options): Pick default dwarf version from macro value...
Olivier Hainque [Wed, 22 Nov 2017 17:30:07 +0000 (17:30 +0000)]
vxworks.c (vxworks_override_options): Pick default dwarf version from macro value, VXWORKS_DWARF_VERSION_DEFAULT.

2017-11-22  Olivier Hainque  <hainque@adacore.com>

       * config/vxworks.c (vxworks_override_options): Pick default
dwarf version from macro value, VXWORKS_DWARF_VERSION_DEFAULT.
       * config/vxworks.h: Define VXWORKS_DWARF_VERSION_DEFAULT and
       DWARF_GNAT_ENCODINGS_DEFAULT.
       * config/vxworksae.h: Likewise.

From-SVN: r255069

7 years agoAvoid two_valued_val_range_p for pointers.
Marc Glisse [Wed, 22 Nov 2017 16:44:46 +0000 (17:44 +0100)]
Avoid two_valued_val_range_p for pointers.

2017-11-22  Marc Glisse  <marc.glisse@inria.fr>

PR tree-optimization/83104
gcc/
* vr-values.c (simplify_stmt_using_ranges): Check integral argument,
not result.

gcc/testsuite/
* gcc.c-torture/compile/pr83104.c: New file.

From-SVN: r255068

7 years ago[ARM] Fix more -Wreturn-type fallout (gcc.target/arm/pr56184.C).
Christophe Lyon [Wed, 22 Nov 2017 16:33:21 +0000 (16:33 +0000)]
[ARM] Fix more -Wreturn-type fallout (gcc.target/arm/pr56184.C).

2017-11-22  Christophe Lyon  <christophe.lyon@linaro.org>

* gcc.target/arm/pr56184.C: Add -Wno-return-type to dg-options.

From-SVN: r255067

7 years agore PR c++/60336 (empty struct value is passed differently in C and C++)
Marek Polacek [Wed, 22 Nov 2017 16:06:18 +0000 (16:06 +0000)]
re PR c++/60336 (empty struct value is passed differently in C and C++)

PR c++/60336
PR middle-end/67239
PR target/68355
* c-decl.c (grokdeclarator): Set DECL_PADDING_P on unnamed bit-fields.

* class.c (layout_class_type): Set DECL_PADDING_P on padding.
* decl.c (cxx_init_decl_processing): Set TRANSLATION_UNIT_WARN_EMPTY_P.
(grokdeclarator): Set DECL_PADDING_P on unnamed bit-fields.

* lto.c (compare_tree_sccs_1): Compare TYPE_EMPTY_P and DECL_PADDING_P.

* calls.c (initialize_argument_information): Call
warn_parameter_passing_abi target hook.
(store_one_arg): Use 0 for empty record size.  Don't push 0 size
argument onto stack.
(must_pass_in_stack_var_size_or_pad): Return false for empty types.
* common.opt: Update -fabi-version description.
* config/i386/i386.c (init_cumulative_args): Set cum->warn_empty.
(ix86_gimplify_va_arg): Call arg_int_size_in_bytes instead of
int_size_in_bytes.
(ix86_is_empty_record): New function.
(ix86_warn_parameter_passing_abi): New function.
(TARGET_EMPTY_RECORD_P): Redefine.
(TARGET_WARN_PARAMETER_PASSING_ABI): Redefine.
* config/i386/i386.h (CUMULATIVE_ARGS): Add warn_empty.
* doc/tm.texi: Regenerated.
* doc/tm.texi.in (TARGET_EMPTY_RECORD_P,
TARGET_WARN_PARAMETER_PASSING_ABI): Add.
* dwarf2out.c (get_ultimate_context): Move to tree.c.
* explow.c (hard_function_value): Call arg_int_size_in_bytes
instead of int_size_in_bytes.
* expr.c (copy_blkmode_to_reg): Likewise.
* function.c (aggregate_value_p): Return 0 for empty types.
(assign_parm_find_entry_rtl): Call warn_parameter_passing_abi target hook.
(locate_and_pad_parm): Call arg size_in_bytes instead
size_in_bytes.
* lto-streamer-out.c (hash_tree): Hash TYPE_EMPTY_P and DECL_PADDING_P.
* stor-layout.c (finalize_type_size): Set TYPE_EMPTY_P.
* target.def (empty_record_p, warn_parameter_passing_abi): New target
hooks.
* targhooks.c (hook_void_CUMULATIVE_ARGS_tree): New hook.
(std_gimplify_va_arg_expr): Skip empty records.  Call
arg_size_in_bytes instead size_in_bytes.
* targhooks.h (hook_void_CUMULATIVE_ARGS_tree): Declare.
* tree-core.h (tree_type_common): Add empty_flag.
(tree_decl_common): Update comments.
* tree-streamer-in.c (unpack_ts_decl_common_value_fields): Stream
DECL_PADDING_P.
(unpack_ts_type_common_value_fields): Stream TYPE_EMPTY_P.
* tree-streamer-out.c (pack_ts_decl_common_value_fields): Stream
DECL_PADDING_P.
(pack_ts_type_common_value_fields): Stream TYPE_EMPTY_P.
* tree.c (default_is_empty_type): New function.
(default_is_empty_record): New function.
(arg_int_size_in_bytes): New function.
(arg_size_in_bytes): New function.
(get_ultimate_context): New function.
* tree.h: Define TYPE_EMPTY_P, DECL_PADDING_P and
TRANSLATION_UNIT_WARN_EMPTY_P.
(default_is_empty_record, arg_int_size_in_bytes,
arg_size_in_bytes, get_ultimate_context): Declare.

* g++.dg/abi/empty12.C: New test.
* g++.dg/abi/empty12.h: New test.
* g++.dg/abi/empty12a.c: New test.
* g++.dg/abi/empty13.C: New test.
* g++.dg/abi/empty13.h: New test.
* g++.dg/abi/empty13a.c: New test.
* g++.dg/abi/empty14.C: New test.
* g++.dg/abi/empty14.h: New test.
* g++.dg/abi/empty14a.c: New test.
* g++.dg/abi/empty15.C: New test.
* g++.dg/abi/empty15.h: New test.
* g++.dg/abi/empty15a.c: New test.
* g++.dg/abi/empty16.C: New test.
* g++.dg/abi/empty16.h: New test.
* g++.dg/abi/empty16a.c: New test.
* g++.dg/abi/empty17.C: New test.
* g++.dg/abi/empty17.h: New test.
* g++.dg/abi/empty17a.c: New test.
* g++.dg/abi/empty18.C: New test.
* g++.dg/abi/empty18.h: New test.
* g++.dg/abi/empty18a.c: New test.
* g++.dg/abi/empty19.C: New test.
* g++.dg/abi/empty19.h: New test.
* g++.dg/abi/empty19a.c: New test.
* g++.dg/abi/empty20.C: New test.
* g++.dg/abi/empty21.C: New test.
* g++.dg/abi/empty22.C: New test.
* g++.dg/abi/empty22.h: New test.
* g++.dg/abi/empty22a.c: New test.
* g++.dg/abi/empty23.C: New test.
* g++.dg/abi/empty24.C: New test.
* g++.dg/abi/empty25.C: New test.
* g++.dg/abi/empty25.h: New test.
* g++.dg/abi/empty25a.c: New test.
* g++.dg/abi/empty26.C: New test.
* g++.dg/abi/empty26.h: New test.
* g++.dg/abi/empty26a.c: New test.
* g++.dg/abi/empty27.C: New test.
* g++.dg/abi/empty28.C: New test.
* g++.dg/abi/pr60336-1.C: New test.
* g++.dg/abi/pr60336-10.C: New test.
* g++.dg/abi/pr60336-11.C: New test.
* g++.dg/abi/pr60336-12.C: New test.
* g++.dg/abi/pr60336-2.C: New test.
* g++.dg/abi/pr60336-3.C: New test.
* g++.dg/abi/pr60336-4.C: New test.
* g++.dg/abi/pr60336-5.C: New test.
* g++.dg/abi/pr60336-6.C: New test.
* g++.dg/abi/pr60336-7.C: New test.
* g++.dg/abi/pr60336-8.C: New test.
* g++.dg/abi/pr60336-9.C: New test.
* g++.dg/abi/pr68355.C: New test.
* g++.dg/lto/pr60336_0.C: New test.

Co-Authored-By: H.J. Lu <hongjiu.lu@intel.com>
Co-Authored-By: Jason Merrill <jason@redhat.com>
From-SVN: r255066

7 years ago[ARM] Factor out CMSE register clearing code
Thomas Preud'homme [Wed, 22 Nov 2017 15:58:22 +0000 (15:58 +0000)]
[ARM] Factor out CMSE register clearing code

Functions cmse_nonsecure_call_clear_caller_saved and
cmse_nonsecure_entry_clear_before_return both contain very similar code
to clear registers. What's worse, they differ slightly at times so if a
bug is found in one careful thoughts is needed to decide whether the
other function needs fixing too.

This commit addresses the situation by factoring the two pieces of code
into a new function. In doing so the code generated to clear VFP
registers in cmse_nonsecure_call now uses the same sequence as
cmse_nonsecure_entry functions. Tests expectation are thus updated
accordingly.

2017-11-22  Thomas Preud'homme  <thomas.preudhomme@arm.com>

    gcc/
    * config/arm/arm.c (cmse_clear_registers): New function.
    (cmse_nonsecure_call_clear_caller_saved): Replace register clearing
    code by call to cmse_clear_registers.
    (cmse_nonsecure_entry_clear_before_return): Likewise.

    gcc/testsuite/
    * gcc.target/arm/cmse/mainline/hard-sp/cmse-13.c: Adapt expectations
    to vmov instructions now generated.
    * gcc.target/arm/cmse/mainline/hard-sp/cmse-7.c: Likewise.
    * gcc.target/arm/cmse/mainline/hard-sp/cmse-8.c: Likewise.
    * gcc.target/arm/cmse/mainline/hard/cmse-13.c: Likewise.
    * gcc.target/arm/cmse/mainline/hard/cmse-7.c: Likewise.
    * gcc.target/arm/cmse/mainline/hard/cmse-8.c: Likewise.

From-SVN: r255065

7 years ago2017-11-22 Tamar Christina <tamar.christina@arm.com>
Tamar Christina [Wed, 22 Nov 2017 15:54:48 +0000 (15:54 +0000)]
2017-11-22  Tamar Christina  <tamar.christina@arm.com>

* config/arm/arm_neon.h (vdot_u32, vdotq_u32)
(vdot_s32, vdotq_s32): New.
(vdot_lane_u32, vdotq_lane_u32): New.
(vdot_lane_s32, vdotq_lane_s32): New.

gcc/testsuite/
2017-11-22  Tamar Christina  <tamar.christina@arm.com>

* gcc.target/arm/simd/vdot-compile.c: New.
* gcc.target/arm/simd/vect-dot-qi.h: New.
* gcc.target/arm/simd/vect-dot-s8.c: New.
* gcc.target/arm/simd/vect-dot-u8.c: New

From-SVN: r255064

7 years agotarget-supports.exp (check_effective_target_bswap16): Do not skip on alpha and x86...
Uros Bizjak [Wed, 22 Nov 2017 15:50:14 +0000 (16:50 +0100)]
target-supports.exp (check_effective_target_bswap16): Do not skip on alpha and x86 targets.

* lib/target-supports.exp (check_effective_target_bswap16):
Do not skip on alpha and x86 targets.

From-SVN: r255063

7 years agocompiler: make comparison operator() methods const
Ian Lance Taylor [Wed, 22 Nov 2017 15:18:43 +0000 (15:18 +0000)]
compiler: make comparison operator() methods const

    This is required for new versions of libstdc++ in C++17 mode.

    Fixes GCC PR 83102.

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

From-SVN: r255062

7 years ago[ARM] Fix test armv8_2-fp16-move-1.c
Sudakshina Das [Wed, 22 Nov 2017 15:05:14 +0000 (15:05 +0000)]
[ARM] Fix test armv8_2-fp16-move-1.c

2017-11-22  Sudakshina Das  <sudi.das@arm.com>

* gcc.target/arm/armv8_2-fp16-move-1.c: Add -mfloat-abi=hard option.

From-SVN: r255061

7 years agoPR82547: Undetected overflow for UNSIGNED wide_ints
Richard Sandiford [Wed, 22 Nov 2017 13:58:57 +0000 (13:58 +0000)]
PR82547: Undetected overflow for UNSIGNED wide_ints

wi::add_large and wi::sub_large weren't setting the overflow bit
correctly for unsigned operations if the result needed fewer HWIs
than the precision.

2017-11-22  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
PR middle-end/82547
* wide-int.cc (wi::add_large, wi::sub_large): Fix overflow detection
for unsigned values with fewer HWIs than the precision.
(test_overflow): New function.
(wide_int_cc_tests): Call it.

From-SVN: r255059

7 years agoPR83004: Accidental change to pr81136.c for VECTOR_BITS==128
Richard Sandiford [Wed, 22 Nov 2017 13:58:46 +0000 (13:58 +0000)]
PR83004: Accidental change to pr81136.c for VECTOR_BITS==128

r254589 was supposed to leave tests unchanged for the default
VECTOR_BITS==128, but I must have got my sums wrong on pr81136.c.

2017-11-22  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/testsuite/
PR testsuite/83004
* gcc.dg/vect/pr81136.c: Restore previous alignment of 32
in the default case.

From-SVN: r255058

7 years agoFix calculation of ptr_mode for MODE_PARTIAL_INT Pmode
Richard Sandiford [Wed, 22 Nov 2017 13:58:20 +0000 (13:58 +0000)]
Fix calculation of ptr_mode for MODE_PARTIAL_INT Pmode

This patch fixes a regression caused by r251469, where I'd incorrectly
converted a call to mode_for_size that sometimes needs MODE_PARTIAL_INTs.

2017-11-22  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
* emit-rtl.c (init_derived_machine_modes): Make sure ptr_mode
has the same mode class as Pmode.

From-SVN: r255057

7 years agoarm.c (cmse_nonsecure_call_clear_caller_saved): Get rid of padding_bits_to_clear_ptr.
Thomas Preud'homme [Wed, 22 Nov 2017 13:57:48 +0000 (13:57 +0000)]
arm.c (cmse_nonsecure_call_clear_caller_saved): Get rid of padding_bits_to_clear_ptr.

2017-11-22  Thomas Preud'homme  <thomas.preudhomme@arm.com>

    gcc/
    * config/arm/arm.c (cmse_nonsecure_call_clear_caller_saved): Get rid of
    padding_bits_to_clear_ptr.
    (cmse_nonsecure_entry_clear_before_return): Likewise.

From-SVN: r255056

7 years ago[ARM] Use bitmap to control cmse_nonsecure_call register clearing
Thomas Preud'homme [Wed, 22 Nov 2017 13:32:21 +0000 (13:32 +0000)]
[ARM] Use bitmap to control cmse_nonsecure_call register clearing

As part of r253256, cmse_nonsecure_entry_clear_before_return has been
rewritten to use auto_sbitmap instead of an integer bitfield to control
which register needs to be cleared. This commit continues this work in
cmse_nonsecure_call_clear_caller_saved.

2017-11-22  Thomas Preud'homme  <thomas.preudhomme@arm.com>

    gcc/
    * config/arm/arm.c (cmse_nonsecure_call_clear_caller_saved): Use
    auto_sbitap instead of integer bitfield to control register needing
    clearing.

From-SVN: r255055

7 years agore PR tree-optimization/83044 (ice in contains_struct_check)
Jakub Jelinek [Wed, 22 Nov 2017 12:35:26 +0000 (13:35 +0100)]
re PR tree-optimization/83044 (ice in contains_struct_check)

PR tree-optimization/83044
* tree-vrp.c (vrp_prop::check_array_ref): If eltsize is not
INTEGER_CST or is 0, clear up_bound{,_p1} and later ignore tests
that need the upper bound.  Subtract offset from
get_addr_base_and_unit_offset only if positive and subtract it
before division by eltsize rather than after it.

* gcc.dg/pr83044.c: New test.
* c-c++-common/Warray-bounds.c (fb): Fix up MAX value.

From-SVN: r255054

7 years agore PR fortran/79072 (ICE with class(*) pointer function result and character value)
Paul Thomas [Wed, 22 Nov 2017 11:37:16 +0000 (11:37 +0000)]
re PR fortran/79072 (ICE with class(*) pointer function result and character value)

2017-11-22  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/79072
* trans-stmt.c (trans_associate_var): Weaken the over strong
condition for using the fake result decl.

2017-11-22  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/79072
* gfortran.dg/class_result_6.f90: New test for comment 10 of
the PR.

From-SVN: r255053

7 years agoPR go/83102 relax std::set checks for invocable comparison object
Jonathan Wakely [Wed, 22 Nov 2017 11:06:15 +0000 (11:06 +0000)]
PR go/83102 relax std::set checks for invocable comparison object

PR go/83102
* include/bits/stl_tree.h (_Rb_tree): Relax invocable checks for
comparison object pre-C++17.

From-SVN: r255052

7 years agore PR debug/83084 (-fcompare-debug failure on ppc64le)
Jakub Jelinek [Wed, 22 Nov 2017 10:02:19 +0000 (11:02 +0100)]
re PR debug/83084 (-fcompare-debug failure on ppc64le)

PR debug/83084
* valtrack.c (propagate_for_debug_subst, propagate_for_debug): Reset
debug insns if they would contain UNSPEC_VOLATILE or volatile asm.
(dead_debug_insert_temp): Likewise, but also ignore even non-volatile
asm.

* g++.dg/opt/pr83084.C: New test.

From-SVN: r255051

7 years agore PR middle-end/82875 (ICE at -Os on valid code on x86_64-linux-gnu: in find_widenin...
Jakub Jelinek [Wed, 22 Nov 2017 09:57:28 +0000 (10:57 +0100)]
re PR middle-end/82875 (ICE at -Os on valid code on x86_64-linux-gnu: in find_widening_optab_handler_and_mode, at optabs-query.c:414)

PR middle-end/82875
* optabs.c (expand_doubleword_mult, expand_binop): Before calling
expand_binop with *mul_widen_optab, make sure at least one of the
operands doesn't have VOIDmode.

* gcc.dg/pr82875.c: New test.
* gcc.c-torture/compile/pr82875.c: New test.

From-SVN: r255050

7 years agore PR debug/83034 (ice in mem_loc_descriptor, at dwarf2out.c :15669)
Jakub Jelinek [Wed, 22 Nov 2017 09:43:28 +0000 (10:43 +0100)]
re PR debug/83034 (ice in mem_loc_descriptor, at dwarf2out.c :15669)

PR debug/83034
* dwarf2out.c (mem_loc_descriptor): Handle VEC_SERIES.

* gcc.dg/pr83034.c: New test.

From-SVN: r255049

7 years agore PR rtl-optimization/82044 (runtime signed integer overflow in check_mem_read_rtx...
Jakub Jelinek [Wed, 22 Nov 2017 09:08:23 +0000 (10:08 +0100)]
re PR rtl-optimization/82044 (runtime signed integer overflow in check_mem_read_rtx() and all_positions_needed_p() in dse.c)

PR rtl-optimization/82044
PR tree-optimization/82042
* dse.c (record_store): Check for overflow.
(check_mem_read_rtx): Properly check for overflow if width == -1, call
add_wild_read instead of clear_rhs_from_active_local_stores on
overflow and log it into dump_file.

From-SVN: r255048

7 years agogimple-iterator.c (gimple_find_edge_insert_loc): Ignore fake edges to exit when looki...
Richard Biener [Wed, 22 Nov 2017 09:05:53 +0000 (09:05 +0000)]
gimple-iterator.c (gimple_find_edge_insert_loc): Ignore fake edges to exit when looking for a place to insert.

2017-11-22  Richard Biener  <rguenther@suse.de>

* gimple-iterator.c (gimple_find_edge_insert_loc): Ignore
fake edges to exit when looking for a place to insert.
* tree-ssa-pre.c (clear_expression_ids): Inline into callers
and remove.
(insert_into_preds_of_block): Commit edge insertion immediately,
assert that doesn't require new BBs.
(fini_pre): Release expressions.
(pass_pre::execute): Shuffle things around a bit, if the fn
is too large do not compute AVAIL either as this is really the
quadratic bit.

From-SVN: r255047

7 years agoPR 83070 Fix -Wsign-compare warning
Janne Blomqvist [Wed, 22 Nov 2017 08:51:21 +0000 (10:51 +0200)]
PR 83070 Fix -Wsign-compare warning

2017-11-22  Janne Blomqvist  <jb@gcc.gnu.org>

        PR libfortran/83070
        * intrinsics/eoshift0.c (eoshift0): Fix -Wsign-compare warning by
        making a_ex and r_ex index_type instead of size_t.

From-SVN: r255045

7 years agore PR tree-optimization/83089 (ICE: Segmentation fault (in instantiate_scev_name))
Richard Biener [Wed, 22 Nov 2017 08:47:47 +0000 (08:47 +0000)]
re PR tree-optimization/83089 (ICE: Segmentation fault (in instantiate_scev_name))

2017-11-22  Richard Biener  <rguenther@suse.de>

PR tree-optimization/83089
* tree-if-conv.c (pass_if_conversion::execute): If anything
changed reset SCEV and free the number of iteration estimates.

* gcc.dg/pr83089.c: New testcase.

From-SVN: r255044

7 years agolibgo: don't use grep -q in mksigtab.sh
Ian Lance Taylor [Wed, 22 Nov 2017 00:27:29 +0000 (00:27 +0000)]
libgo: don't use grep -q in mksigtab.sh

    Solaris grep does not support the -q option.

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

From-SVN: r255042

7 years agoDaily bump.
GCC Administrator [Wed, 22 Nov 2017 00:16:22 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r255041

7 years agoC: don't suggest names that came from earlier failures (PR c/83056)
David Malcolm [Tue, 21 Nov 2017 21:59:53 +0000 (21:59 +0000)]
C: don't suggest names that came from earlier failures (PR c/83056)

PR c/83056 reports an issue affecting trunk and gcc-7 in which
the C frontend's implementation of lookup_name_fuzzy uses undeclared
identifiers as suggestions when encountering subsequent undeclared
identifiers.

The fix is to filter out the names bound to error_mark_node
in lookup_name_fuzzy.

The C++ frontend is unaffected, as it already does this.

gcc/c/ChangeLog:
PR c/83056
* c-decl.c (lookup_name_fuzzy): Don't suggest names that came from
earlier failed lookups.

gcc/testsuite/ChangeLog:
PR c/83056
* gcc.dg/spellcheck-pr83056.c: New test case.

From-SVN: r255038

7 years agore PR tree-optimization/82945 (add warning for passing non-strings to functions that...
Martin Sebor [Tue, 21 Nov 2017 21:44:26 +0000 (21:44 +0000)]
re PR tree-optimization/82945 (add warning for passing non-strings to functions that expect string arguments)

gcc/ChangeLog:

PR tree-optimization/82945
* calls.h (warn_nonstring_bound): Remove unused function.

From-SVN: r255036

7 years agoPR libstdc++/48101 improve errors for invalid container specializations
Jonathan Wakely [Tue, 21 Nov 2017 20:47:09 +0000 (20:47 +0000)]
PR libstdc++/48101 improve errors for invalid container specializations

PR libstdc++/48101
* include/bits/allocator.h (allocator<const _Tp>)
(allocator<volatile _Tp>, allocator<const volatile _Tp>): Add partial
specializations.
* include/bits/forward_list.h (forward_list): Add static assertions.
* include/bits/hashtable.h (__cache_default): Use
__is_nothrow_invocable instead of __is_noexcept_hash.
(_Hashtable): Add static assertions.
* include/bits/hashtable_policy.h (__is_noexcept_hash): Remove.
* include/bits/stl_deque.h (deque): Add static assertions.
* include/bits/stl_function.h (_Identity<const _Tp>): Add partial
specialization.
* include/bits/stl_list.h (list): Add static assertions.
* include/bits/stl_map.h (map): Likewise.
* include/bits/stl_multimap.h (multimap): Likewise.
* include/bits/stl_multiset.h (multiset): Likewise.
* include/bits/stl_set.h (set): Likewise.
* include/bits/stl_tree.h (_Rb_tree): Likewise.
* include/bits/stl_vector.h (vector): Likewise.
* include/bits/unordered_map.h (unordered_map, unordered_multimap):
Use typename instead of class in template-parameter-list and remove
spaces.
* include/bits/unordered_set.h (unordered_set, unordered_multiset):
Likewise.
* testsuite/23_containers/deque/48101-2_neg.cc: New test.
* testsuite/23_containers/deque/48101_neg.cc: New test.
* testsuite/23_containers/forward_list/48101-2_neg.cc: New test.
* testsuite/23_containers/forward_list/48101_neg.cc: New test.
* testsuite/23_containers/list/48101-2_neg.cc: New test.
* testsuite/23_containers/list/48101_neg.cc: New test.
* testsuite/23_containers/map/48101-2_neg.cc: New test.
* testsuite/23_containers/map/48101_neg.cc: New test.
* testsuite/23_containers/map/operations/31440.cc: Fix comparison
object to have const-qualified call operator.
* testsuite/23_containers/multimap/48101-2_neg.cc: New test.
* testsuite/23_containers/multimap/48101_neg.cc: New test.
* testsuite/23_containers/multiset/48101-2_neg.cc: New test.
* testsuite/23_containers/multiset/48101_neg.cc: New test.
* testsuite/23_containers/set/48101-2_neg.cc: New test.
* testsuite/23_containers/set/48101_neg.cc: New test.
* testsuite/23_containers/unordered_map/48101-2_neg.cc: New test.
* testsuite/23_containers/unordered_map/48101_neg.cc: New test.
* testsuite/23_containers/unordered_multimap/48101-2_neg.cc: New test.
* testsuite/23_containers/unordered_multimap/48101_neg.cc: New test.
* testsuite/23_containers/unordered_multiset/48101-2_neg.cc: New test.
* testsuite/23_containers/unordered_multiset/48101_neg.cc: New test.
* testsuite/23_containers/unordered_set/48101-2_neg.cc: New test.
* testsuite/23_containers/unordered_set/48101_neg.cc: New test.
* testsuite/23_containers/unordered_set/instantiation_neg.cc: Adjust
dg-error line number.
* testsuite/23_containers/vector/48101-2_neg.cc: New test.
* testsuite/23_containers/vector/48101_neg.cc: New test.

From-SVN: r255035

7 years agoPR tree-optimization/82945 - add warning for passing non-strings to functions that...
Martin Sebor [Tue, 21 Nov 2017 20:01:58 +0000 (20:01 +0000)]
PR tree-optimization/82945 - add warning for passing non-strings to functions that expect string arguments

gcc/ChangeLog:

PR tree-optimization/82945
* builtins.c (expand_builtin_strlen): Call maybe_warn_nonstring_arg.
* calls.h (maybe_warn_nonstring_arg): Declare new function.
* calls.c (get_attr_nonstring_decl, maybe_warn_nonstring_arg): New
functions.
(initialize_argument_information): Call maybe_warn_nonstring_arg.
* calls.h (get_attr_nonstring_decl): Declare new function.
* doc/extend.texi (attribute nonstring): Update.
* gimple-fold.c (gimple_fold_builtin_strncpy): Call
get_attr_nonstring_decl and handle it.
* tree-ssa-strlen.c (maybe_diag_stxncpy_trunc): Same.  Improve
detection of nul-termination.
(strlen_to_stridx): Change to a pointer.
(handle_builtin_strlen, handle_builtin_stxncpy): Adjust.
(pass_strlen::execute): Same.

gcc/testsuite/ChangeLog:

PR tree-optimization/82945
* c-c++-common/Wstringop-truncation-2.c: New test.
* c-c++-common/Wstringop-truncation.c: Adjust.
* c-c++-common/attr-nonstring-2.c: Adjust.
* c-c++-common/attr-nonstring-3.c: New test.

From-SVN: r255031

7 years agoi386-opts.h (enum prefer_vector_width): Added new enum for the new option -mprefer...
Sergey Shalnov [Tue, 21 Nov 2017 19:52:01 +0000 (19:52 +0000)]
i386-opts.h (enum prefer_vector_width): Added new enum for the new option -mprefer-vector-width=[none|128|256|512].

* config/i386/i386-opts.h (enum prefer_vector_width): Added new enum
for the new option -mprefer-vector-width=[none|128|256|512].
* config/i386/i386.c (ix86_target_string): remove old style options
-mprefer-avx256 and make -mprefer-avx128 as alias.
(ix86_option_override_internal):  Apply defaults for the
-mprefer-vector-width=[128|256] option.
* config/i386/i386.h (TARGET_PREFER_AVX128, TARGET_PREFER_AVX256):
Implement macros to work with -mprefer-vector-width=.
* config/i386/i386.opt: Implemented option
-mprefer-vector-width=[none|128|256|512].
* doc/invoke.texi: Documentation for
-mprefer-vector-width=[none|128|256|512].

gcc/testsuite/

* g++.dg/ext/pr57362.C (__attribute__): Test
prefer-vector-width=[128|256] target attribute.
* gcc.target/i386/avx512f-constant-float-return.c (dg-optioins):
Use -mprefer-vector-width=256 instead of -mprefer-avx256.
* gcc.target/i386/avx512f-prefer.c: Ditto.
* gcc.target/i386/pr82460-2.c: Ditto.

From-SVN: r255030

7 years agoAdd quotes for constexpr keyword.
Martin Liska [Tue, 21 Nov 2017 18:58:49 +0000 (19:58 +0100)]
Add quotes for constexpr keyword.

2017-11-21  Martin Liska  <mliska@suse.cz>

* class.c (finalize_literal_type_property): Add quotes for
constexpr keyword.
(explain_non_literal_class): Likewise.
* constexpr.c (ensure_literal_type_for_constexpr_object): Likewise.
(is_valid_constexpr_fn): Likewise.
(check_constexpr_ctor_body): Likewise.
(register_constexpr_fundef): Likewise.
(explain_invalid_constexpr_fn): Likewise.
(cxx_eval_builtin_function_call): Likewise.
(cxx_eval_call_expression): Likewise.
(cxx_eval_loop_expr): Likewise.
(potential_constant_expression_1): Likewise.
* decl.c (check_previous_goto_1): Likewise.
(check_goto): Likewise.
(grokfndecl): Likewise.
(grokdeclarator): Likewise.
* error.c (maybe_print_constexpr_context): Likewise.
* method.c (process_subob_fn): Likewise.
(defaulted_late_check): Likewise.
* parser.c (cp_parser_compound_statement): Likewise.
2017-11-21  Martin Liska  <mliska@suse.cz>

* g++.dg/cpp0x/constexpr-48089.C: Add quotes for constexpr
keyword; add dg-message for 'in .constexpr. expansion of '.
* g++.dg/cpp0x/constexpr-50060.C: Likewise.
* g++.dg/cpp0x/constexpr-60049.C: Likewise.
* g++.dg/cpp0x/constexpr-70323.C: Likewise.
* g++.dg/cpp0x/constexpr-70323a.C: Likewise.
* g++.dg/cpp0x/constexpr-cast.C: Likewise.
* g++.dg/cpp0x/constexpr-diag3.C: Likewise.
* g++.dg/cpp0x/constexpr-ex1.C: Likewise.
* g++.dg/cpp0x/constexpr-generated1.C: Likewise.
* g++.dg/cpp0x/constexpr-ice16.C: Likewise.
* g++.dg/cpp0x/constexpr-ice5.C: Likewise.
* g++.dg/cpp0x/constexpr-incomplete2.C: Likewise.
* g++.dg/cpp0x/constexpr-neg1.C: Likewise.
* g++.dg/cpp0x/constexpr-recursion.C: Likewise.
* g++.dg/cpp0x/constexpr-shift1.C: Likewise.
* g++.dg/cpp1y/constexpr-70265-1.C: Likewise.
* g++.dg/cpp1y/constexpr-70265-2.C: Likewise.
* g++.dg/cpp1y/constexpr-79655.C: Likewise.
* g++.dg/cpp1y/constexpr-new.C: Likewise.
* g++.dg/cpp1y/constexpr-return2.C: Likewise.
* g++.dg/cpp1y/constexpr-shift1.C: Likewise.
* g++.dg/cpp1y/constexpr-throw.C: Likewise.
* g++.dg/cpp1z/constexpr-lambda6.C: Likewise.
* g++.dg/ext/constexpr-vla1.C: Likewise.
* g++.dg/ext/constexpr-vla2.C: Likewise.
* g++.dg/ext/constexpr-vla3.C: Likewise.
* g++.dg/cpp0x/static_assert10.C: Likewise.
* g++.dg/cpp1y/pr63996.C: Likewise.
* g++.dg/cpp1y/pr68180.C: Likewise.
* g++.dg/cpp1y/pr77830.C: Likewise.
* g++.dg/ubsan/pr63956.C: Likewise.

From-SVN: r255025

7 years agoppc-asm.h (f50, vs50): Fix values.
Pat Haugen [Tue, 21 Nov 2017 18:46:23 +0000 (18:46 +0000)]
ppc-asm.h (f50, vs50): Fix values.

* config/rs6000/ppc-asm.h (f50, vs50): Fix values.

From-SVN: r255024

7 years agoFix invalid XML in libstdc++ manual
Przemyslaw Wirkus [Tue, 21 Nov 2017 18:45:04 +0000 (18:45 +0000)]
Fix invalid XML in libstdc++ manual

2017-11-21  Przemyslaw Wirkus  <przemyslaw.wirkus@arm.com>

* doc/xml/manual/using.xml (manual.intro.using.macros): Move
variablelist element at the end of its list.

From-SVN: r255023

7 years agoImprove -Wmaybe-uninitialized documentation
Jonathan Wakely [Tue, 21 Nov 2017 18:38:18 +0000 (18:38 +0000)]
Improve -Wmaybe-uninitialized documentation

* doc/invoke.texi (-Wmaybe-uninitialized): Rephrase for clarity.

From-SVN: r255022

7 years agoNew POINTER_DIFF_EXPR
Marc Glisse [Tue, 21 Nov 2017 18:23:56 +0000 (19:23 +0100)]
New POINTER_DIFF_EXPR

2017-11-21  Marc Glisse  <marc.glisse@inria.fr>

gcc/c/
* c-fold.c (c_fully_fold_internal): Handle POINTER_DIFF_EXPR.
* c-typeck.c (pointer_diff): Use POINTER_DIFF_EXPR.

gcc/c-family/
* c-pretty-print.c (pp_c_additive_expression,
c_pretty_printer::expression): Handle POINTER_DIFF_EXPR.

gcc/cp/
* constexpr.c (cxx_eval_constant_expression,
potential_constant_expression_1): Handle POINTER_DIFF_EXPR.
* cp-gimplify.c (cp_fold): Likewise.
* error.c (dump_expr): Likewise.
* typeck.c (pointer_diff): Use POINTER_DIFF_EXPR.

gcc/
* doc/generic.texi: Document POINTER_DIFF_EXPR, update
POINTER_PLUS_EXPR.
* cfgexpand.c (expand_debug_expr): Handle POINTER_DIFF_EXPR.
* expr.c (expand_expr_real_2): Likewise.
* fold-const.c (const_binop, fold_addr_of_array_ref_difference,
fold_binary_loc): Likewise.
* match.pd (X-X, P+(Q-P), &D-P, (P+N)-P, P-(P+N), (P+M)-(P+N),
P-Q==0, -(A-B), X-Z<Y-Z, (X-Z)-(Y-Z), Z-X<Z-Y, (Z-X)-(Z-Y),
(A-B)+(C-A)): New transformations for POINTER_DIFF_EXPR, based on
MINUS_EXPR transformations.
* optabs-tree.c (optab_for_tree_code): Handle POINTER_DIFF_EXPR.
* tree-cfg.c (verify_expr, verify_gimple_assign_binary): Likewise.
* tree-inline.c (estimate_operator_cost): Likewise.
* tree-pretty-print.c (dump_generic_node, op_code_prio,
op_symbol_code): Likewise.
* tree-vect-stmts.c (vectorizable_operation): Likewise.
* vr-values.c (extract_range_from_binary_expr): Likewise.
* varasm.c (initializer_constant_valid_p_1): Likewise.
* tree.def: New tree code POINTER_DIFF_EXPR.

From-SVN: r255021

7 years ago* config/i386/i386.md: Missing file from my previous commit.
Uros Bizjak [Tue, 21 Nov 2017 17:46:38 +0000 (18:46 +0100)]
* config/i386/i386.md: Missing file from my previous commit.

From-SVN: r255019

7 years agore PR c++/83045 (-Wreturn-type regression in C++)
Jakub Jelinek [Tue, 21 Nov 2017 17:40:34 +0000 (18:40 +0100)]
re PR c++/83045 (-Wreturn-type regression in C++)

PR c++/83045
* tree-cfg.c (pass_warn_function_return::execute): Formatting fix.
Also warn if seen __builtin_unreachable () call with BUILTINS_LOCATION.
Use LOCATION_LOCUS when comparing against UNKNOWN_LOCATION.

* c-c++-common/pr61405.c (fn0, fn1): Add return stmts.
* c-c++-common/Wlogical-op-2.c (fn): Likewise.
* g++.dg/debug/pr53466.C: Add -Wno-return-type to dg-options.
* g++.dg/opt/combine.C: Likewise.
* g++.dg/ubsan/return-3.C: Likewise.
* g++.dg/pr59445.C: Likewise.
* g++.dg/pr49847.C: Likewise.
* g++.dg/ipa/pr61800.C: Likewise.
* g++.dg/ipa/pr63470.C: Likewise.
* g++.dg/ipa/pr68672-1.C: Likewise.
* g++.dg/pr58438.C: Likewise.
* g++.dg/torture/pr59265.C: Likewise.
* g++.dg/tree-ssa/ssa-dse-2.C: Likewise.
* g++.old-deja/g++.eh/catch13.C: Likewise.
* g++.old-deja/g++.eh/crash1.C: Likewise.
* g++.dg/tm/pr60004.C: Expect -Wreturn-type warning.
* g++.dg/torture/pr55740.C: Likewise.
* g++.dg/torture/pr43257.C: Likewise.
* g++.dg/torture/pr64280.C: Likewise.
* g++.dg/torture/pr54684.C: Likewise.
* g++.dg/torture/pr56694.C: Likewise.
* g++.dg/torture/pr68470.C: Likewise.
* g++.dg/torture/pr60648.C: Likewise.
* g++.dg/torture/pr71281.C: Likewise.
* g++.dg/torture/pr52772.C: Add -Wno-return-type dg-additional-options.
* g++.dg/torture/pr64669.C: Likewise.
* g++.dg/torture/pr58369.C: Likewise.
* g++.dg/torture/pr33627.C: Likewise.
* g++.dg/torture/predcom-1.C: Add
#pragma GCC diagnostic ignored "-Wreturn-type".
* g++.dg/lto/20090221_0.C: Likewise.
* g++.dg/lto/20091026-1_1.C: Likewise.
* g++.dg/lto/pr54625-1_1.C: Likewise.
* g++.dg/warn/pr83045.C: New test.

From-SVN: r255018

7 years agoi386.md (*bswap<mode>2_movbe): Add integer suffix to movbe mnemonic.
Uros Bizjak [Tue, 21 Nov 2017 17:35:23 +0000 (18:35 +0100)]
i386.md (*bswap<mode>2_movbe): Add integer suffix to movbe mnemonic.

* config/i386/i386.md (*bswap<mode>2_movbe): Add
integer suffix to movbe mnemonic.
(*bswaphi2_movbe): Ditto.
(bswaphi_lowpart): Merge with *bswaphi_lowpart_1.

testsuite/ChangeLog:

* gcc.target/i386/movbe-1.c: Update scan string for movbe
with integer suffix.
* gcc.target/i386/movbe-2.c: Ditto.
* gcc.target/i386/movbe-3.c: Ditto.
* gcc.target/i386/movbe-4.c: Ditto.
* gcc.target/i386/movbe-5.c: Ditto.

From-SVN: r255017

7 years ago* gcc.target/i386/pr82713.c: Fix dg directive.
Uros Bizjak [Tue, 21 Nov 2017 17:00:35 +0000 (18:00 +0100)]
* gcc.target/i386/pr82713.c: Fix dg directive.

From-SVN: r255016

7 years agore PR c++/83020 (('17) Class template constructor call skipped with no error when...
Paolo Carlini [Tue, 21 Nov 2017 15:36:25 +0000 (15:36 +0000)]
re PR c++/83020 (('17) Class template constructor call skipped with no error when substitution fails in default argument)

2017-11-21  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/83020
* g++.dg/cpp1z/pr83020.C: New.

From-SVN: r255006

7 years agoRemove not needed xstrdup_for_dump.
Martin Liska [Tue, 21 Nov 2017 14:59:27 +0000 (15:59 +0100)]
Remove not needed xstrdup_for_dump.

2017-11-21  Martin Liska  <mliska@suse.cz>

* tree-inline.c (expand_call_inline):
  Remove not needed xstrdup_for_dump.

From-SVN: r255005

7 years agore PR target/82880 (gcc --help=target --help=optimizers hangs on mips)
Jakub Jelinek [Tue, 21 Nov 2017 14:50:03 +0000 (15:50 +0100)]
re PR target/82880 (gcc --help=target --help=optimizers hangs on mips)

PR target/82880
* config/mips/frame-header-opt.c (mips_register_frame_header_opt):
Remove static keyword from f variable.

* gcc.dg/opts-8.c: New test.

From-SVN: r255004

7 years ago* c-common.c (get_nonnull_operand): Use tree_to_uhwi.
Jakub Jelinek [Tue, 21 Nov 2017 13:57:11 +0000 (14:57 +0100)]
* c-common.c (get_nonnull_operand): Use tree_to_uhwi.

From-SVN: r255003