gcc.git
6 years ago[NDS32] Implment n9 pipeline.
Kito Cheng [Sun, 8 Apr 2018 08:12:19 +0000 (08:12 +0000)]
[NDS32] Implment n9 pipeline.

gcc/
* config.gcc (nds32*): Add nds32-utils.o into extra_objs.
* config/nds32/nds32-n9-2r1w.md: New file.
* config/nds32/nds32-n9-3r2w.md: New file.
* config/nds32/nds32-opts.h (nds32_cpu_type, nds32_mul_type,
nds32_register_ports): New or modify for cpu n9.
* config/nds32/nds32-pipelines-auxiliary.c: Implementation for n9
pipeline.
* config/nds32/nds32-protos.h: More declarations for n9 pipeline.
* config/nds32/nds32-utils.c: New file.
* config/nds32/nds32.h (TARGET_PIPELINE_N9, TARGET_PIPELINE_SIMPLE,
TARGET_MUL_SLOW): Define.
* config/nds32/nds32.md (pipeline_model): New attribute.
* config/nds32/nds32.opt (mcpu, mconfig-mul, mconfig-register-ports):
New options that support cpu n9.
* config/nds32/pipelines.md: Include n9 settings.
* config/nds32/t-nds32 (nds32-utils.o): Add dependency.

Co-Authored-By: Chung-Ju Wu <jasonwucj@gmail.com>
From-SVN: r259218

6 years ago[NDS32] New option -malways-align and -malign-functions.
Chung-Ju Wu [Sun, 8 Apr 2018 06:00:34 +0000 (06:00 +0000)]
[NDS32] New option -malways-align and -malign-functions.

gcc/
* config/nds32/nds32-md-auxiliary.c (output_cond_branch): Output align
information if necessary.
(output_cond_branch_compare_zero): Likewise.
* config/nds32/nds32.c (nds32_adjust_insn_length): Consider align case.
(nds32_target_alignment): Refine for alignment.
* config/nds32/nds32.h (NDS32_ALIGN_P): Define.
(FUNCTION_BOUNDARY): Modify.
* config/nds32/nds32.md (call_internal, call_value_internal): Consider
align case.
* config/nds32/nds32.opt (malways-align, malign-functions): New.

From-SVN: r259217

6 years ago[NDS32] Add intrinsic functions for TLB operation and data prefech.
Monk Chiang [Sun, 8 Apr 2018 03:21:08 +0000 (03:21 +0000)]
[NDS32] Add intrinsic functions for TLB operation and data prefech.

gcc/
* config/nds32/constants.md (unspec_volatile_element): Add values for
TLB operation and data prefetch.
* config/nds32/nds32-intrinsic.c: Implementation of intrinsic
functions for TLB operation and data prefetch.
* config/nds32/nds32-intrinsic.md: Likewise.
* config/nds32/nds32_intrinsic.h: Likewise.
* config/nds32/nds32.c (nds32_dpref_names): Likewise.
(nds32_print_operand): Likewise.
* config/nds32/nds32.h (nds32_builtins): Likewise.

From-SVN: r259216

6 years agoDaily bump.
GCC Administrator [Sun, 8 Apr 2018 00:16:24 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r259215

6 years agore PR middle-end/82976 (Error: non-trivial conversion at assignment since r254526)
Thomas Koenig [Sat, 7 Apr 2018 23:52:03 +0000 (23:52 +0000)]
re PR middle-end/82976 (Error: non-trivial conversion at assignment since r254526)

2018-04-07  Thomas Koenig  <tkoenig@gcc.gnu.org>
Andrew Pinski <pinsika@gcc.gnu.org>

PR middle-end/82976
* match.pd: Use constant_boolean_node of correct type instead of
boolean_true_node or boolean_false_node for simplifying
pointer comparisons to zero.

2018-04-07  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR middle-end/82976
* gfortran.dg/realloc_on_assign_16a.f90: New test.

Co-Authored-By: Andrew Pinski <pinskia@gcc.gnu.org>
From-SVN: r259212

6 years agore PR tree-optimization/80021 (untranslateable diagnostic "type variant differs by...
Jakub Jelinek [Sat, 7 Apr 2018 10:57:53 +0000 (12:57 +0200)]
re PR tree-optimization/80021 (untranslateable diagnostic "type variant differs by " #flag ".")

PR tree-optimization/80021
* tree.c (verify_type_variant): Make error call in verify_variant_match
translatable and remove final full stop.

From-SVN: r259211

6 years ago[NDS32] Support dwarf exception handling.
Chung-Ju Wu [Sat, 7 Apr 2018 10:52:19 +0000 (10:52 +0000)]
[NDS32] Support dwarf exception handling.

gcc/
* config/nds32/constants.md (unspec_volatile_element): Add
UNSPEC_VOLATILE_EH_RETURN.
* config/nds32/nds32-md-auxiliary.c (nds32_output_stack_push,
nds32_output_stack_pop): Support dwarf exception handling process.
* config/nds32/nds32-protos.h (nds32_dynamic_chain_address): Declare.
* config/nds32/nds32.c (nds32_init_machine_status): Support dwarf
exception handling process.
(nds32_compute_stack_frame): Likewise.
(nds32_return_addr_rtx): Likewise.
(nds32_initial_elimination_offset): Likewise.
(nds32_expand_prologue): Likewise.
(nds32_expand_epilogue): Likewise.
(nds32_dynamic_chain_address): New function.
* config/nds32/nds32.h (machine_function): Add fields for dwarf
exception handling.
(DYNAMIC_CHAIN_ADDRESS): Define.
(EH_RETURN_DATA_REGNO): Define.
(EH_RETURN_STACKADJ_RTX): Define.
* config/nds32/nds32.md (eh_return, nds32_eh_return): Implement
patterns for dwarf exception handling.

From-SVN: r259210

6 years ago[NDS32] Clean up nds32.h.
Chung-Ju Wu [Sat, 7 Apr 2018 10:12:48 +0000 (10:12 +0000)]
[NDS32] Clean up nds32.h.

gcc/
* config/nds32/nds32.h: Clean up obsolete macros.

From-SVN: r259209

6 years ago[NDS32] Add intrinsic functions for particular instructions.
Monk Chiang [Sat, 7 Apr 2018 08:16:41 +0000 (08:16 +0000)]
[NDS32] Add intrinsic functions for particular instructions.

gcc/
* config/nds32/constants.md (unspec_element, unspec_volatile_element):
Add enum values for particular instructions.
* config/nds32/nds32-intrinsic.c: Implementation of expanding
particular intrinsic functions.
* config/nds32/nds32-intrinsic.md: Likewise.
* config/nds32/nds32_intrinsic.h: Likewise.
* config/nds32/nds32.h (nds32_builtins): Likewise.
* config/nds32/nds32.md (type): Add pbsad and pbsada.
(btst, ave): New patterns for particular instructions.

From-SVN: r259208

6 years ago[NDS32] Add intrinsic functions for atomic load/store and memory sync.
Monk Chiang [Sat, 7 Apr 2018 07:40:49 +0000 (07:40 +0000)]
[NDS32] Add intrinsic functions for atomic load/store and memory sync.

gcc/
* config/nds32/constants.md (unspec_element, unspec_volatile_element):
Add enum values for atomic load/store and memory sync.
* config/nds32/nds32-intrinsic.c: Implementation for atomic load/store
and memory sync.
* config/nds32/nds32-intrinsic.md: Likewise.
* config/nds32/nds32_intrinsic.h: Likewise.
* config/nds32/nds32.h (nds32_builtins): Likewise.

From-SVN: r259207

6 years agore PR tree-optimization/85257 (wrong code with -O -fno-tree-ccp and reading zeroed...
Jakub Jelinek [Sat, 7 Apr 2018 07:20:42 +0000 (09:20 +0200)]
re PR tree-optimization/85257 (wrong code with -O -fno-tree-ccp and reading zeroed vector member)

PR tree-optimization/85257
* fold-const.c (native_encode_vector): If not all elts could fit
and off is -1, return 0 rather than offset.
* tree-ssa-sccvn.c (vn_reference_lookup_3): Pass
(offseti - offset2) / BITS_PER_UNIT as 4th argument to
native_encode_expr.  Verify len * BITS_PER_UNIT >= maxsizei.  Don't
adjust buffer in native_interpret_expr call.

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

From-SVN: r259206

6 years ago[NDS32] Add intrinsic functions for cache control.
Monk Chiang [Sat, 7 Apr 2018 06:21:56 +0000 (06:21 +0000)]
[NDS32] Add intrinsic functions for cache control.

gcc/
* config/nds32/constants.md (unspec_volatile_element): Add cache
control enum values.
* config/nds32/nds32-intrinsic.c: Add cache control expand functions.
* config/nds32/nds32-intrinsic.md: Add cache control patterns.
* config/nds32/nds32.c (nds32_cctl_names): New.
(nds32_print_operand): Handle cache control register names.
* config/nds32/nds32.h (nds32_builtins): New enum values.
* config/nds32/nds32_intrinsic.h: Add cache control enum types and
macros.
* config/nds32/nds32.md (type): Add mmu.
* config/nds32/pipelines.md (simple_insn): Add mmu.

From-SVN: r259205

6 years ago[NDS32] Remove unused insn type: call.
Chung-Ju Wu [Sat, 7 Apr 2018 05:49:58 +0000 (05:49 +0000)]
[NDS32] Remove unused insn type: call.

gcc/
* config/nds32/nds32.md (type): Remove call.
* config/nds32/pipelines.md (simple_insn): Likewise.

From-SVN: r259204

6 years ago[NDS32] Add intrinsic functions for FPU.
Monk Chiang [Sat, 7 Apr 2018 05:40:07 +0000 (05:40 +0000)]
[NDS32] Add intrinsic functions for FPU.

gcc/
* config/nds32/constants.md (unspec_volatile_element): Add
UNSPEC_VOLATILE_FMFCSR, UNSPEC_VOLATILE_FMTCSR and
UNSPEC_VOLATILE_FMFCFG.
* config/nds32/nds32-intrinsic.c (bdesc_noarg): New builtin
description for fmfcfg and fmfcsr.
(bdesc_1arg): Add fmtcsr.
(bdesc_2arg): Add fcpynss, fcpyss, fcpynsd and fcpysd.
(nds32_expand_builtin_impl): Deal with FPU intrinsic functions.
* config/nds32/nds32-intrinsic.md (unspec_fcpynsd, unspec_fcpysd,
unspec_fcpynss, unspec_fcpysd, unspec_fcpyss, unspec_fmfcsr,
unspec_fmfcfg): New patterns.
* config/nds32/nds32.h (nds32_builtins): Add NDS32_BUILTIN_FMFCFG,
NDS32_BUILTIN_FMFCSR, NDS32_BUILTIN_FMTCSR, NDS32_BUILTIN_FCPYNSS,
NDS32_BUILTIN_FCPYSS,NDS32_BUILTIN_FCPYNSD and NDS32_BUILTIN_FCPYSD.
* config/nds32/nds32_intrinsic.h (__nds32__fcpynsd, __nds32__fcpynss,
__nds32__fcpysd, __nds32__fcpyss, __nds32__fmfcsr, __nds32__fmtcsr,
__nds32__fmfcfg): Define.

From-SVN: r259203

6 years ago[NDS32] Add more intrinsic register names.
Monk Chiang [Sat, 7 Apr 2018 04:24:48 +0000 (04:24 +0000)]
[NDS32] Add more intrinsic register names.

gcc/
* config/nds32/nds32.c (nds32_intrinsic_register_names): Add more
intrinsic register names.
* config/nds32/nds32_intrinsic.h (nds32_intrinsic_registers): Add more
intrinsic register enum values and macros.

From-SVN: r259202

6 years ago[NDS32] Support [$ra + $rb << 3] form for load/store address.
Chung-Ju Wu [Sat, 7 Apr 2018 04:07:53 +0000 (04:07 +0000)]
[NDS32] Support [$ra + $rb << 3] form for load/store address.

gcc/
* config/nds32/nds32.c (nds32_legitimate_index_p): Modify condition
for load/store addressing form.
(nds32_print_operand_address): Likewise.

From-SVN: r259201

6 years agoDaily bump.
GCC Administrator [Sat, 7 Apr 2018 00:16:14 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r259200

6 years agore PR middle-end/85196 (ICE in extract_insn, at recog.c:2311: unrecognizable insn)
Eric Botcazou [Fri, 6 Apr 2018 22:30:05 +0000 (22:30 +0000)]
re PR middle-end/85196 (ICE in extract_insn, at recog.c:2311: unrecognizable insn)

PR target/85196
* config/sparc/sparc.c (sparc_expand_move): Deal with symbolic operands
based on LABEL_REF.  Remove useless assertion.
(pic_address_needs_scratch): Fix formatting.
(sparc_legitimize_pic_address): Minor tweaks.
(sparc_delegitimize_address): Adjust assertion accordingly.
* config/sparc/sparc.md (movsi_pic_label_ref): Change label_ref_operand
into symbolic_operand.
(movsi_high_pic_label_ref): Likewise.
(movsi_lo_sum_pic_label_ref): Likewise.
(movdi_pic_label_ref): Likewise.
(movdi_high_pic_label_ref): Likewise.
(movdi_lo_sum_pic_label_ref): Likewise.

From-SVN: r259194

6 years agoFix ChangeLog
Joel Sherrill [Fri, 6 Apr 2018 21:07:38 +0000 (21:07 +0000)]
Fix ChangeLog

From-SVN: r259193

6 years agoconfig.gcc (x86_64-*-rtems*): Add rtems.h to tm_file for custom LIB_SPEC setup.
Amaan Cheval [Fri, 6 Apr 2018 21:01:23 +0000 (21:01 +0000)]
config.gcc (x86_64-*-rtems*): Add rtems.h to tm_file for custom LIB_SPEC setup.

2018-04-06  Amaan Cheval  <amaan.cheval@gmail.com>

* config.gcc (x86_64-*-rtems*): Add rtems.h to tm_file for
custom LIB_SPEC setup.

From-SVN: r259192

6 years agoRISC-V: Support for FreeBSD.
Ruslan Bukin [Fri, 6 Apr 2018 20:04:17 +0000 (13:04 -0700)]
RISC-V: Support for FreeBSD.

gcc/
* config.gcc (riscv*-*-freebsd*): Add RISC-V FreeBSD support.
* config/riscv/freebsd.h: New.
libgcc/
* config.host (riscv*-*-freebsd*): Add RISC-V FreeBSD support.

From-SVN: r259190

6 years agore PR libfortran/85253 (asan detects heap-buffer-overflow in matmul_r4.c)
Thomas Koenig [Fri, 6 Apr 2018 18:49:21 +0000 (18:49 +0000)]
re PR libfortran/85253 (asan detects heap-buffer-overflow in matmul_r4.c)

2018-04-06  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR libfortran/85253
* m4/matmul_internal.m4: If ycount == 1, add one more row to
the internal buffer.
* generated/matmul_c10.c: Regenerated.
* generated/matmul_c16.c: Regenerated.
* generated/matmul_c4.c: Regenerated.
* generated/matmul_c8.c: Regenerated.
* generated/matmul_i1.c: Regenerated.
* generated/matmul_i16.c: Regenerated.
* generated/matmul_i2.c: Regenerated.
* generated/matmul_i4.c: Regenerated.
* generated/matmul_i8.c: Regenerated.
* generated/matmul_r10.c: Regenerated.
* generated/matmul_r16.c: Regenerated.
* generated/matmul_r4.c: Regenerated.
* generated/matmul_r8.c: Regenerated.
* generated/matmulavx128_c10.c: Regenerated.
* generated/matmulavx128_c16.c: Regenerated.
* generated/matmulavx128_c4.c: Regenerated.
* generated/matmulavx128_c8.c: Regenerated.
* generated/matmulavx128_i1.c: Regenerated.
* generated/matmulavx128_i16.c: Regenerated.
* generated/matmulavx128_i2.c: Regenerated.
* generated/matmulavx128_i4.c: Regenerated.
* generated/matmulavx128_i8.c: Regenerated.
* generated/matmulavx128_r10.c: Regenerated.
* generated/matmulavx128_r16.c: Regenerated.
* generated/matmulavx128_r4.c: Regenerated.
* generated/matmulavx128_r8.c: Regenerated.

From-SVN: r259188

6 years ago[NDS32] Refine ADJUST_INSN_LENGTH implementation.
Chung-Ju Wu [Fri, 6 Apr 2018 18:36:28 +0000 (18:36 +0000)]
[NDS32] Refine ADJUST_INSN_LENGTH implementation.

gcc/
* config/nds32/nds32.c (nds32_adjust_insn_length): Refine.
* config/nds32/nds32.h (ADJUST_INSN_LENGTH): Change the location in
file.

From-SVN: r259187

6 years ago[NDS32] Refine call and return patterns.
Chung-Ju Wu [Fri, 6 Apr 2018 18:27:51 +0000 (18:27 +0000)]
[NDS32] Refine call and return patterns.

gcc/
* config/nds32/nds32-md-auxiliary.c (nds32_output_return,
nds32_output_call, nds32_symbol_binds_local_p): New functions.
* config/nds32/nds32-protos.h (nds32_output_call,
nds32_output_return): Declare.
* config/nds32/nds32.md: Refine all the call and return patterns.

Co-Authored-By: Kito Cheng <kito.cheng@gmail.com>
From-SVN: r259186

6 years agoPR c++/85214 - ICE with alias, generic lambda, constexpr if.
Jason Merrill [Fri, 6 Apr 2018 18:09:53 +0000 (14:09 -0400)]
PR c++/85214 - ICE with alias, generic lambda, constexpr if.

Here, since the condition for the constexpr if depends on the type of 'j',
it's still dependent when we are partially instantiating the inner lambda,
so we need to defer instantiating the constexpr if.  When we instantiated
the inner lambda, we tried to substitute into the typename, which failed
because we didn't have a declaration of 'i' available.

Fixed by teaching extract_locals_r to capture local typedefs such as 'ar';
if we have the typedef handy, we don't need to substitute into its
definition.

* pt.c (extract_locals_r): Remember local typedefs.

From-SVN: r259185

6 years agoC++: more std header hints; filter on C++ dialect (PR c++/84269)
David Malcolm [Fri, 6 Apr 2018 17:36:33 +0000 (17:36 +0000)]
C++: more std header hints; filter on C++ dialect (PR c++/84269)

This patch adds more suggestions as per:
  https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84269#c10
some of which need C++14 and C++17, and some of which use headers that
exist in earlier standards.

For example, <memory> exists in C++98, but if the user attempts to
use std::make_shared with -std=c++98, they are suggested to include
<memory>, even if they've already included it.

This patch adds the missing names, and fixes the nonsensical suggestions
by detecting if the name isn't available yet, based on the user's
dialect, and reporting things more intelligently:

t.cc: In function 'void test_make_shared()':
t.cc:5:8: error: 'make_shared' is not a member of 'std'
   std::make_shared<int>();
        ^~~~~~~~~~~
t.cc:5:8: note: 'std::make_shared' is only available from C++11 onwards

gcc/cp/ChangeLog:
PR c++/84269
* name-lookup.c (struct std_name_hint): Move out of
get_std_name_hint; add field "min_dialect".
(get_std_name_hint): Add min_dialect values to all initializers.
Add <any>, <atomic>, <bitset>, <condition_variable>, <functional>,
<future>, <istream>, <iterator>, <ostream>, <mutex>, <optional>,
<shared_mutex>, <string_view>, <thread>, and <variant>.
Add fstream, ifstream, and ofstream to <fstream>.
Add istringstream, ostringstream, and stringstream to <sstream>.
Add basic_string to <string>.
Add tuple_element and tuple_size to <tuple>.
Add declval to <utility>.
Fix ordering of <queue> and <tuple>.
Return a std_name_hint, rather than a const char *.
(get_cxx_dialect_name): New function.
(maybe_suggest_missing_std_header): Detect names that aren't yet
available in the current dialect, and instead of suggesting a
missing #include, warn about the dialect.

gcc/testsuite/ChangeLog:
PR c++/84269
* g++.dg/lookup/missing-std-include-6.C: Move std::array and
std::tuple here since they need C++11.
* g++.dg/lookup/missing-std-include-8.C: New test.
* g++.dg/lookup/missing-std-include.C: Move std::array and
std::tuple test to missing-std-include-6.C to avoid failures
with C++98.

From-SVN: r259184

6 years agore PR debug/85252 (ICE with -g for static zero-length array initialization)
Jakub Jelinek [Fri, 6 Apr 2018 17:28:54 +0000 (19:28 +0200)]
re PR debug/85252 (ICE with -g for static zero-length array initialization)

PR debug/85252
* dwarf2out.c (rtl_for_decl_init): For STRING_CST initializer only
build CONST_STRING if TYPE_MAX_VALUE is non-NULL and is INTEGER_CST.

* gcc.dg/debug/pr85252.c: New test.

From-SVN: r259183

6 years agore PR rtl-optimization/84872 (ICE in create_preheader, at cfgloopmanip.c:1536)
Jakub Jelinek [Fri, 6 Apr 2018 17:28:02 +0000 (19:28 +0200)]
re PR rtl-optimization/84872 (ICE in create_preheader, at cfgloopmanip.c:1536)

PR rtl-optimization/84872
* cfgloopmanip.c (create_preheader): Use make_forwarder_block even if
nentry == 1 when CP_FALLTHRU_PREHEADERS and single_entry is
EDGE_CROSSING edge.

* gcc.dg/graphite/pr84872.c: New test.

From-SVN: r259182

6 years agore PR c++/85210 (ICE with broken structured binding in template)
Jakub Jelinek [Fri, 6 Apr 2018 17:27:01 +0000 (19:27 +0200)]
re PR c++/85210 (ICE with broken structured binding in template)

PR c++/85210
* pt.c (tsubst_decomp_names): Return error_mark_node and assert
errorcount is set if tsubst doesn't return a VAR_DECL.

* g++.dg/cpp1z/decomp42.C: New test.

From-SVN: r259181

6 years agoC++: suggest missing headers for implicit use of "std" (PR c++/85021)
David Malcolm [Fri, 6 Apr 2018 15:46:04 +0000 (15:46 +0000)]
C++: suggest missing headers for implicit use of "std" (PR c++/85021)

We provide fix-it hints for the most common "std" names when an explicit
"std::" prefix is present, however we don't yet provide fix-it hints for
this implicit case:

  using namespace std;
  void f() {  cout << "test"; }

for which we emit:

  t.cc: In function 'void f()':
  t.cc:2:13: error: 'cout' was not declared in this scope
  void f() {  cout << "test"; }
              ^~~~

This patch detects if a "using namespace std;" directive is present
in the current namespace, and if so, offers a suggestion for
unrecognized names that are in our list of common "std" names:

  t.cc: In function 'void f()':
  t.cc:2:13: error: 'cout' was not declared in this scope
   void f() {  cout << "test"; }
               ^~~~
  t.cc:2:13: note: 'std::cout' is defined in header '<iostream>'; did you forget to '#include <iostream>'?
  +#include <iostream>
   using namespace std;
   void f() {  cout << "test"; }
               ^~~~

gcc/cp/ChangeLog:
PR c++/85021
* name-lookup.c (using_directives_contain_std_p): New function.
(has_using_namespace_std_directive_p): New function.
(suggest_alternatives_for): Simplify if/else logic using early
returns.  If no candidates were found, and there's a
"using namespace std;" directive, call
maybe_suggest_missing_std_header.
(maybe_suggest_missing_header): Split later part of the function
into..
(maybe_suggest_missing_std_header): New.

gcc/testsuite/ChangeLog:
PR c++/85021
* g++.dg/lookup/missing-std-include-7.C: New test.

From-SVN: r259179

6 years agoPR c++/85242 - ICE with class definition in template parm.
Jason Merrill [Fri, 6 Apr 2018 15:12:34 +0000 (11:12 -0400)]
PR c++/85242 - ICE with class definition in template parm.

* cp-tree.h (PROCESSING_REAL_TEMPLATE_DECL_P): False if
processing_template_parmlist.

From-SVN: r259178

6 years agoPR c++/85240 - LTO ICE with using of undeduced auto fn.
Jason Merrill [Fri, 6 Apr 2018 15:12:28 +0000 (11:12 -0400)]
PR c++/85240 - LTO ICE with using of undeduced auto fn.

* cp-gimplify.c (cp_genericize_r): Discard using of undeduced auto.

From-SVN: r259177

6 years agoReverted commit r254862
Tamar Christina [Fri, 6 Apr 2018 13:16:39 +0000 (13:16 +0000)]
Reverted commit r254862

From-SVN: r259169

6 years agore PR tree-optimization/85244 (Bad optimisation with flexible array member (may be...
Richard Biener [Fri, 6 Apr 2018 11:47:18 +0000 (11:47 +0000)]
re PR tree-optimization/85244 (Bad optimisation with flexible array member (may be related to -ftree-dominator-opts))

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

PR middle-end/85244
* tree-dfa.c (get_ref_base_and_extent): Reset seen_variable_array_ref
after seeing a component reference with an adjacent field.  Treat
refs to arrays at struct end of external decls similar to
refs to unconstrained commons.

* gcc.dg/torture/pr85244-1.c: New testcase.
* gcc.dg/torture/pr85244-2.c: Likewise.

From-SVN: r259168

6 years agore PR sanitizer/85213 (-fsanitize=undefined internal compiler error: in fold_convert_...
Jakub Jelinek [Fri, 6 Apr 2018 11:24:36 +0000 (13:24 +0200)]
re PR sanitizer/85213 (-fsanitize=undefined internal compiler error: in fold_convert_loc, at fold-const.c:2402)

PR sanitizer/85213
* fold-const.c (twoval_comparison_p): Remove SAVE_P argument and don't
look through SAVE_EXPRs with non-side-effects argument.  Adjust
recursive calls.
(fold_comparison): Adjust twoval_comparison_p caller, don't handle
save_p here.

* c-c++-common/ubsan/pr85213.c: New test.

From-SVN: r259167

6 years agore PR rtl-optimization/85180 (Infinite loop in RTL DSE optimizer)
Richard Biener [Fri, 6 Apr 2018 08:30:52 +0000 (08:30 +0000)]
re PR rtl-optimization/85180 (Infinite loop in RTL DSE optimizer)

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

PR middle-end/85180
* alias.c (find_base_term): New wrapper around find_base_term
unwinding CSELIB_VAL_PTR changes.
(find_base_term): Do not restore CSELIB_VAL_PTR during the
recursion.

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

From-SVN: r259166

6 years agoIBM Z: Fix vcond-shift testcase.
Andreas Krebbel [Fri, 6 Apr 2018 07:46:30 +0000 (07:46 +0000)]
IBM Z: Fix vcond-shift testcase.

gcc/testsuite/ChangeLog:

2018-04-06  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* gcc.target/s390/vector/vcond-shift.c: Use the proper conditions
to trigger the optimization. Do some cleanup and function
renaming.  Add more test functions.

From-SVN: r259165

6 years agoIBM Z: Use the dedicated NOP instructions for "nop"
Andreas Krebbel [Fri, 6 Apr 2018 07:45:42 +0000 (07:45 +0000)]
IBM Z: Use the dedicated NOP instructions for "nop"

We still use lr r0,r0 as a NOP instruction although we have some kind
of dedicated NOP instruction (nopr) which maps to a "branch never".

As a side-effect this fixes testcases scanning for NOPs
e.g. patchable_function_entry-*.

As another side-effect this makes it difficult to distingiush NOPs
generated for hotpatching from NOPs added when using -O0 to attach
location information to it.  Hence I had to make sure that the hotpatch
testcases get skipped when compiling without optimization.

gcc/ChangeLog:

2018-04-06  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* config/s390/s390.c (s390_z10_optimize_cmp): Expand dedicated NOP
instructions.
* config/s390/s390.md (UNSPECV_NOP_LR_0, UNSPECV_NOP_LR_1): New
constant definitions.
("nop"): lr 0,0 -> nopr r0
("nop_lr0", "nop_lr1"): New insn definitions.

gcc/testsuite/ChangeLog:

2018-04-06  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* gcc.target/s390/s390.exp: Remove -O0 from list of torture
options.
* gcc.target/s390/hotpatch-1.c: Skip when building without
optimization.
* gcc.target/s390/hotpatch-10.c: Likewise.
* gcc.target/s390/hotpatch-11.c: Likewise.
* gcc.target/s390/hotpatch-12.c: Likewise.
* gcc.target/s390/hotpatch-13.c: Likewise.
* gcc.target/s390/hotpatch-14.c: Likewise.
* gcc.target/s390/hotpatch-15.c: Likewise.
* gcc.target/s390/hotpatch-16.c: Likewise.
* gcc.target/s390/hotpatch-17.c: Likewise.
* gcc.target/s390/hotpatch-18.c: Likewise.
* gcc.target/s390/hotpatch-19.c: Likewise.
* gcc.target/s390/hotpatch-2.c: Likewise.
* gcc.target/s390/hotpatch-3.c: Likewise.
* gcc.target/s390/hotpatch-4.c: Likewise.
* gcc.target/s390/hotpatch-5.c: Likewise.
* gcc.target/s390/hotpatch-6.c: Likewise.
* gcc.target/s390/hotpatch-7.c: Likewise.
* gcc.target/s390/hotpatch-8.c: Likewise.
* gcc.target/s390/hotpatch-9.c: Likewise.

From-SVN: r259164

6 years agoWattributes.c testcase: Disable warning check for IBM Z.
Andreas Krebbel [Fri, 6 Apr 2018 07:43:53 +0000 (07:43 +0000)]
Wattributes.c testcase: Disable warning check for IBM Z.

On IBM Z we enforce function alignment to 8 bytes.  Hence we get an
error instead of a warning when trying to specify smaller alignments.

gcc/testsuite/ChangeLog:

2018-04-06  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* c-c++-common/Wattributes.c: Disable warning for s390* target and
check for an error instead.
* gcc.dg/Wattributes-6.c: Likewise.

From-SVN: r259163

6 years ago[NDS32] Refine condition of stack_push and stack_pop patterns.
Chung-Ju Wu [Fri, 6 Apr 2018 06:33:44 +0000 (06:33 +0000)]
[NDS32] Refine condition of stack_push and stack_pop patterns.

gcc/
* config/nds32/nds32.md (*stack_push, *stack_pop): Use
NDS32_V3PUSH_AVAILABLE_P macro.

From-SVN: r259162

6 years ago[NDS32] Add hard float support.
Monk Chiang [Fri, 6 Apr 2018 05:51:33 +0000 (05:51 +0000)]
[NDS32] Add hard float support.

gcc/
* config.gcc (nds32*-*-*): Add v2j v3f v3s checking.
(nds32*-*-*): Add float and fpu_config into supported_defaults.
* common/config/nds32/nds32-common.c (TARGET_DEFAULT_TARGET_FLAGS):
Include TARGET_DEFAULT_FPU_ISA and TARGET_DEFAULT_FPU_FMA.
* config/nds32/constants.md (unspec_element): Add UNSPEC_COPYSIGN,
UNSPEC_FCPYNSD, UNSPEC_FCPYNSS, UNSPEC_FCPYSD and UNSPEC_FCPYSS.
* config/nds32/constraints.md: New constraints and checking for hard
float configuration.
* config/nds32/iterators.md: New mode iterator and attribute for hard
float configuration.
* config/nds32/nds32-doubleword.md: Use hard float alternatives and
patterns.
* config/nds32/nds32-fpu.md: New file.
* config/nds32/nds32-md-auxiliary.c: New functions and checkings to
deal with hard float code generation.
* config/nds32/nds32-opts.h (nds32_arch_type): Add ARCH_V3F and
ARCH_V3S.
(abi_type, float_reg_number): New enum type.
* config/nds32/nds32-predicates.c: New predicates for hard float.
* config/nds32/nds32-protos.h: Declare functions for hard float.
* config/nds32/nds32.c: Implementation for hard float configuration.
* config/nds32/nds32.h: Definitions for hard float configuration.
* config/nds32/nds32.md: Include hard float machine description and
modify patterns for hard float configuration.
* config/nds32/nds32.opt: New options for hard float configuration.
* config/nds32/predicates.md: New predicates for hard float
configuration.

Co-Authored-By: Chung-Ju Wu <jasonwucj@gmail.com>
From-SVN: r259161

6 years ago[NDS32] Enable relax hint by default.
Kuan-Lin Chen [Fri, 6 Apr 2018 03:17:41 +0000 (03:17 +0000)]
[NDS32] Enable relax hint by default.

gcc/
* common/config/nds32/nds32-common.c
(nds32_option_optimization_table): Enable -mreleax-hint by default.

From-SVN: r259160

6 years agoDaily bump.
GCC Administrator [Fri, 6 Apr 2018 00:16:13 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r259159

6 years agore PR c++/85209 (ICE with lambda and structured binding)
Jakub Jelinek [Thu, 5 Apr 2018 21:30:47 +0000 (23:30 +0200)]
re PR c++/85209 (ICE with lambda and structured binding)

PR c++/85209
* pt.c (tsubst_decomp_names): Don't fail or ICE if DECL_CHAIN (decl3)
is not prev, if prev == decl.

* g++.dg/cpp1z/decomp39.C: New test.
* g++.dg/cpp1z/decomp40.C: New test.

From-SVN: r259156

6 years agore PR c++/85208 (ICE with #pragma weak and structured binding)
Jakub Jelinek [Thu, 5 Apr 2018 21:29:51 +0000 (23:29 +0200)]
re PR c++/85208 (ICE with #pragma weak and structured binding)

PR c++/85208
* decl.c (start_decl): For DECL_DECOMPOSITION_P decls, don't call
maybe_apply_pragma_weak here...
(cp_maybe_mangle_decomp): ... but call it here instead.

* g++.dg/cpp1z/decomp41.C: New test.

From-SVN: r259155

6 years agoPR c++/85136 - ICE with designated init in template.
Jason Merrill [Thu, 5 Apr 2018 19:43:39 +0000 (15:43 -0400)]
PR c++/85136 - ICE with designated init in template.

* decl.c (maybe_deduce_size_from_array_init): Handle dependent
designated initializer.
(check_array_designated_initializer): Update ce->index with the
constant value.

From-SVN: r259152

6 years agore PR middle-end/85195 (ICE: verify_gimple failed: non-trivial conversion at assignme...
Jakub Jelinek [Thu, 5 Apr 2018 18:35:16 +0000 (20:35 +0200)]
re PR middle-end/85195 (ICE: verify_gimple failed: non-trivial conversion at assignment with -O -fno-tree-ccp --param=sccvn-max-scc-size=10)

PR middle-end/85195
* match.pd (BIT_FIELD_REF CONSTRUCTOR@0 @1 @2): Use view_convert around
CONSTRUCTOR_ELT (ctor, ...)->value.

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

From-SVN: r259149

6 years agoUse dlsym to check if libdl is needed for plugin
H.J. Lu [Thu, 5 Apr 2018 17:49:39 +0000 (17:49 +0000)]
Use dlsym to check if libdl is needed for plugin

config/plugins.m4 has

 if test "$plugins" = "yes"; then
    AC_SEARCH_LIBS([dlopen], [dl])
  fi

Plugin uses dlsym, but libasan.so only intercepts dlopen, not dlsym:

[hjl@gnu-tools-1 binutils-text]$ nm -D /lib64/libasan.so.4| grep " dl"
0000000000038580 W dlclose
                 U dl_iterate_phdr
000000000004dc50 W dlopen
                 U dlsym
                 U dlvsym
[hjl@gnu-tools-1 binutils-text]$

Testing dlopen for libdl leads to false negative when -fsanitize=address
is used.  It results in link failure:

../bfd/.libs/libbfd.a(plugin.o): undefined reference to symbol 'dlsym@@GLIBC_2.16'

dlsym should be used to check if libdl is needed for plugin.

PR gas/22318
* plugins.m4 (AC_PLUGINS): Use dlsym to check if libdl is needed.

From-SVN: r259140

6 years agoPR c++/83808 - ICE with VLA initialization.
Jason Merrill [Thu, 5 Apr 2018 17:17:11 +0000 (13:17 -0400)]
PR c++/83808 - ICE with VLA initialization.

* typeck2.c (process_init_constructor_array): Don't require a VLA
initializer to have VLA type.

From-SVN: r259138

6 years agore PR c++/80956 (ICE with abstract class vector)
Paolo Carlini [Thu, 5 Apr 2018 17:08:21 +0000 (17:08 +0000)]
re PR c++/80956 (ICE with abstract class vector)

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

PR c++/80956
* call.c (convert_like_real): Fail gracefully for a broken
std::initializer_list, missing a definition.

* name-lookup.c (do_pushtag): Tweak message, use %< and %>.

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

PR c++/80956
* g++.dg/cpp0x/initlist100.C: New.
* g++.dg/cpp0x/initlist101.C: Likewise.

From-SVN: r259137

6 years agore PR c++/84792 (ICE with broken typedef of a struct)
Paolo Carlini [Thu, 5 Apr 2018 17:05:03 +0000 (17:05 +0000)]
re PR c++/84792 (ICE with broken typedef of a struct)

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

PR c++/84792
* decl.c (grokdeclarator): Fix diagnostic about typedef name used
as nested-name-specifier, keep type and TREE_TYPE (decl) in sync.

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

PR c++/84792
* g++.dg/other/pr84792-1.C: New.
* g++.dg/other/pr84792-2.C: Likewise.

From-SVN: r259136

6 years agoAdd another workaround to std::variant for Clang bug 31852
Jonathan Wakely [Thu, 5 Apr 2018 16:59:13 +0000 (17:59 +0100)]
Add another workaround to std::variant for Clang bug 31852

* include/std/variant (_VARIANT_RELATION_FUNCTION_TEMPLATE): Qualify
__get calls to avoid ADL and avoid ambiguity due to Clang bug.

From-SVN: r259135

6 years agore PR target/85193 (ICE: SIGSEGV in memory_operand at recog.c:1361 with -O2 -fno...
Uros Bizjak [Thu, 5 Apr 2018 16:50:49 +0000 (18:50 +0200)]
re PR target/85193 (ICE: SIGSEGV in memory_operand at recog.c:1361 with -O2 -fno-tree-ccp -fno-tree-fre -mno-sse)

PR target/85193
* config/i386/i386.md (define_attr "memory"): Handle rotate1 type.

testsuite/ChangeLog:

PR target/85193
* gcc.target/i386/pr85193.c: New test.

From-SVN: r259134

6 years agoPR c++/82152 - ICE with class deduction and inherited ctor.
Jason Merrill [Thu, 5 Apr 2018 16:42:09 +0000 (12:42 -0400)]
PR c++/82152 - ICE with class deduction and inherited ctor.

* pt.c (do_class_deduction): Ignore inherited ctors.

From-SVN: r259133

6 years agoPR c++/84665 - ICE with array of empty class.
Jason Merrill [Thu, 5 Apr 2018 16:04:08 +0000 (12:04 -0400)]
PR c++/84665 - ICE with array of empty class.

* decl2.c (cp_check_const_attributes): Use fold_non_dependent_expr.

From-SVN: r259132

6 years agoPR c++/85228 - ICE with lambda in enumerator.
Jason Merrill [Thu, 5 Apr 2018 14:48:40 +0000 (10:48 -0400)]
PR c++/85228 - ICE with lambda in enumerator.

* pt.c (bt_instantiate_type_proc): Don't assume
CLASSTYPE_TEMPLATE_INFO is non-null.

From-SVN: r259130

6 years agoImplement P0969
Ville Voutilainen [Thu, 5 Apr 2018 14:43:55 +0000 (17:43 +0300)]
Implement P0969

gcc/cp

Implement P0969
* decl.c (find_decomp_class_base): Check accessibility instead
of declared access, adjust diagnostic.

testsuite/

Implement P0969
* g++.dg/cpp1z/decomp4.C: Adjust.
* g++.dg/cpp1z/decomp38.C: New.

From-SVN: r259129

6 years agoImplement P0961
Ville Voutilainen [Thu, 5 Apr 2018 14:37:18 +0000 (17:37 +0300)]
Implement P0961

gcc/cp

Implement P0961
* decl.c (get_tuple_decomp_init): Check the templatedness
of a member get.

testsuite/

Implement P0961
* g++.dg/cpp1z/decomp10.C: Adjust.
* g++.dg/cpp1z/decomp37.C: New.

From-SVN: r259128

6 years agoPR c++/85200 - ICE with constexpr if in generic lambda.
Jason Merrill [Thu, 5 Apr 2018 14:20:53 +0000 (10:20 -0400)]
PR c++/85200 - ICE with constexpr if in generic lambda.

* pt.c (extract_locals_r): Don't record the local specs of variables
declared within the pattern.

From-SVN: r259127

6 years ago[nvptx] Fix neutering of bb with only cond jump
Tom de Vries [Thu, 5 Apr 2018 08:36:37 +0000 (08:36 +0000)]
[nvptx] Fix neutering of bb with only cond jump

2018-04-05  Tom de Vries  <tom@codesourcery.com>

PR target/85204
* config/nvptx/nvptx.c (nvptx_single): Fix neutering of bb with only
cond jump.

* testsuite/libgomp.oacc-c-c++-common/broadcast-1.c: New test.

From-SVN: r259125

6 years ago[PR c++/84979] reject auto in explicit tmpl args for tmpl-fn
Alexandre Oliva [Thu, 5 Apr 2018 04:26:36 +0000 (04:26 +0000)]
[PR c++/84979] reject auto in explicit tmpl args for tmpl-fn

With concepts, we accept auto in explicit template arguments, but we
should only accept them for template classes.  Passing them to
template functions or variables is not allowed.  So, reject it, at
parse time if possible, at specialization time otherwise.

for  gcc/cp/ChangeLog

PR c++/84979
* pt.c (check_auto_in_tmpl_args): New.
(tsubst_qualified_id): Use it to reject template args
referencing auto for non-type templates.
* parser.c (cp_parser_template_id): Likewise.
* cp-tree.h (check_auto_in_tmpl_args): Declare.
* typeck2.c (build_functional_cast): Report correct location
for invalid use of auto.

for  gcc/testsuite/ChangeLog

PR c++/84979
* g++.dg/concepts/pr84979.C: New.
* g++.dg/concepts/pr84979-2.C: New.
* g++.dg/concepts/pr84979-3.C: New.

From-SVN: r259124

6 years agoPR c++/85215 - ICE with copy-init from conversion.
Jason Merrill [Thu, 5 Apr 2018 04:01:15 +0000 (00:01 -0400)]
PR c++/85215 - ICE with copy-init from conversion.

* call.c (merge_conversion_sequences): Fix type of direct binding
sequence.

From-SVN: r259123

6 years ago[NDS32] Fine-tune memory address type.
Shiva Chen [Thu, 5 Apr 2018 03:35:28 +0000 (03:35 +0000)]
[NDS32] Fine-tune memory address type.

gcc/
* config/nds32/constraints.md (U33): Fine-tune checking condition.
* config/nds32/nds32-md-auxiliary.c (nds32_mem_format): Ditto.
* config/nds32/nds32.h (nds32_16bit_address_type): Add
ADDRESS_POST_MODIFY_LO_REG_IMM3U.

Co-Authored-By: Kito Cheng <kito.cheng@gmail.com>
From-SVN: r259122

6 years ago[NDS32] Add constraint for lwi45.fe instruction.
Shiva Chen [Thu, 5 Apr 2018 03:25:20 +0000 (03:25 +0000)]
[NDS32] Add constraint for lwi45.fe instruction.

gcc/
* config/nds32/constraints.md (Ufe): New memory constraint.
* config/nds32/nds32-md-auxiliary.c (nds32_mem_format,
nds32_output_16bit_load): Consider r8 register for lwi45.fe format.
* config/nds32/nds32.c (nds32_print_operand): Output lwi45.fe
operands.
* config/nds32/nds32.h (nds32_16bit_address_type): Add ADDRESS_R8_IMM7U.
* config/nds32/nds32.md (*mov<mode>): Adjust pattern.

Co-Authored-By: Kito Cheng <kito.cheng@gmail.com>
From-SVN: r259121

6 years ago[NDS32] Generate alu-shift instructions only for -Os.
Chung-Ju Wu [Thu, 5 Apr 2018 03:10:42 +0000 (03:10 +0000)]
[NDS32] Generate alu-shift instructions only for -Os.

gcc/
* config/nds32/nds32.md: Use optimize_size in the condition for
alu-shift instructions.

From-SVN: r259120

6 years ago[NDS32] Add divsi4 and udivsi4 patterns.
Chung-Ju Wu [Thu, 5 Apr 2018 03:05:45 +0000 (03:05 +0000)]
[NDS32] Add divsi4 and udivsi4 patterns.

gcc/
* config/nds32/nds32.md (divsi4, udivsi4): New patterns.

From-SVN: r259119

6 years ago[NDS32] Refine negsi2 pattern.
Chung-Ju Wu [Thu, 5 Apr 2018 02:58:19 +0000 (02:58 +0000)]
[NDS32] Refine negsi2 pattern.

gcc/
* config/nds32/nds32.md (negsi2): Refine pattern.

From-SVN: r259118

6 years ago[NDS32] Refine bit-wise operation and shift patterns.
Kito Cheng [Thu, 5 Apr 2018 02:51:45 +0000 (02:51 +0000)]
[NDS32] Refine bit-wise operation and shift patterns.

gcc/
* config/nds32/iterators.md (shift_rotate): New code iterator.
(shift): New code attribute.
* config/nds32/nds32-md-auxiliary.c (nds32_expand_constant): New.
* config/nds32/nds32-protos.h (nds32_expand_constant): Declare.
* config/nds32/nds32.c (nds32_print_operand): Deal with more cases.
* config/nds32/nds32.md (addsi3, *add_srli): Refine implementation for
bit-wise operations.
(andsi3, *andsi3): Ditto.
(iorsi3, *iorsi3, *or_slli, *or_srli): Ditto.
(xorsi3, *xorsi3, *xor_slli, *xor_srli): Ditto.
(<shift>si3, *ashlsi3, *ashrsi3, *lshrsi3, *rotrsi3): Ditto.
* config/nds32/predicates.md (nds32_rimm5u_operand, nds32_and_operand,
nds32_ior_operand, nds32_xor_operand): New predicates.

Co-Authored-By: Chung-Ju Wu <jasonwucj@gmail.com>
From-SVN: r259117

6 years ago[NDS32] The add and sub pattens should only accept si mode.
Chung-Ju Wu [Thu, 5 Apr 2018 02:23:19 +0000 (02:23 +0000)]
[NDS32] The add and sub pattens should only accept si mode.

gcc/
* config/nds32/nds32.md (add<mode>3, sub<mode>3): Rename to ...
(addsi3, subsi3): ... this.

From-SVN: r259116

6 years ago[NDS32] Fine-tune predicator for alu-shift patterns.
Chung-Ju Wu [Thu, 5 Apr 2018 02:05:06 +0000 (02:05 +0000)]
[NDS32] Fine-tune predicator for alu-shift patterns.

gcc/
* config/nds32/nds32.md (*sub_srli, *and_slli): Fine-tune predicator.

From-SVN: r259115

6 years ago[NDS32] Adjust asm patterns indention.
Chung-Ju Wu [Thu, 5 Apr 2018 01:49:13 +0000 (01:49 +0000)]
[NDS32] Adjust asm patterns indention.

gcc/
* config/nds32/nds32.md: Adjust indention.

From-SVN: r259114

6 years ago[NDS32] Add new instruction attribute: feature.
Kito Cheng [Thu, 5 Apr 2018 01:43:05 +0000 (01:43 +0000)]
[NDS32] Add new instruction attribute: feature.

gcc/
* config/nds32/nds32.md (feature): New attribute.

From-SVN: r259113

6 years ago[NDS32] Add subtype attribute for instructions.
Chung-Ju Wu [Thu, 5 Apr 2018 01:35:00 +0000 (01:35 +0000)]
[NDS32] Add subtype attribute for instructions.

gcc/
* config/nds32/nds32.md (subtype): New attribute.

From-SVN: r259112

6 years agoDaily bump.
GCC Administrator [Thu, 5 Apr 2018 00:16:23 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r259111

6 years agoPR c++/84938 - ICE with division by ~-1.
Jason Merrill [Thu, 5 Apr 2018 00:09:10 +0000 (20:09 -0400)]
PR c++/84938 - ICE with division by ~-1.

* call.c (set_up_extended_ref_temp): Call cp_fully_fold.

From-SVN: r259108

6 years agoPR c++/84936 - ICE with unexpanded pack in mem-initializer.
Jason Merrill [Thu, 5 Apr 2018 00:09:05 +0000 (20:09 -0400)]
PR c++/84936 - ICE with unexpanded pack in mem-initializer.

* parser.c (cp_parser_mem_initializer_list): Call
check_for_bare_parameter_packs.

From-SVN: r259107

6 years agore PR c++/84221 (spurious -Wunused warning on a variable of a template type declared...
Jason Merrill [Wed, 4 Apr 2018 19:59:20 +0000 (15:59 -0400)]
re PR c++/84221 (spurious -Wunused warning on a variable of a template type declared unused)

PR c++/84221
* g++.dg/warn/Wunused-var-32.C: Test explicit specialization.

From-SVN: r259106

6 years agore PR c++/80026 ([pending testcase installation] passing unresolved function pointer...
Paolo Carlini [Wed, 4 Apr 2018 19:57:33 +0000 (19:57 +0000)]
re PR c++/80026 ([pending testcase installation] passing unresolved function pointer to variadic function template yields "too many arguments" error)

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

PR c++/80026
* g++.dg/cpp0x/variadic174.C: New.

From-SVN: r259105

6 years agore PR inline-asm/85172 (internal compiler error: unexpected expression '<statement...
Jakub Jelinek [Wed, 4 Apr 2018 19:55:56 +0000 (21:55 +0200)]
re PR inline-asm/85172 (internal compiler error: unexpected expression '<statement>' of kind asm_expr)

PR inline-asm/85172
* constexpr.c (cxx_eval_builtin_function_call): For calls to
builtin_valid_in_constant_expr_p functions, don't call
cxx_eval_constant_expression if argument is not
potential_constant_expression.

* g++.dg/ext/builtin13.C: New test.
* g++.dg/ext/atomic-4.C: New test.

From-SVN: r259104

6 years agore PR c++/85146 (ICE with __direct_bases for declared but not defined struct)
Jakub Jelinek [Wed, 4 Apr 2018 19:34:18 +0000 (21:34 +0200)]
re PR c++/85146 (ICE with __direct_bases for declared but not defined struct)

PR c++/85146
* cp-tree.h (calculate_bases, calculate_direct_bases): Add complain
argument.
* semantics.c (calculate_bases): Add complain argument.  Use
complete_type_or_maybe_complain instead of just complete_type and
return an empty vector if it fails.  Move make_tree_vector () call
after early return.  Formatting fixes.
(calculate_direct_bases): Likewise.  Call release_tree_vector at the
end.
(dfs_calculate_bases_post, calculate_bases_helper): Formatting fixes.
* pt.c (tsubst_pack_expansion): Adjust calculate_bases and
calculate_direct_bases callers, formatting fixes.

* g++.dg/ext/bases2.C: Expect extra error diagnostics.
* g++.dg/ext/bases3.C: New test.

From-SVN: r259101

6 years agoPR c++/85006 - -fconcepts ICE with A<auto...> return type
Jason Merrill [Wed, 4 Apr 2018 19:19:34 +0000 (15:19 -0400)]
PR c++/85006 - -fconcepts ICE with A<auto...> return type

* pt.c (tsubst_pack_expansion): Allow unsubstituted auto pack.

From-SVN: r259100

6 years agoPR c++/85200 - ICE with constexpr if in generic lambda.
Jason Merrill [Wed, 4 Apr 2018 19:10:38 +0000 (15:10 -0400)]
PR c++/85200 - ICE with constexpr if in generic lambda.

* tree.c (cp_walk_subtrees): Walk into DECL_EXPR in templates.

From-SVN: r259099

6 years agoPR c++/84221 - bogus -Wunused with attribute and template.
Jason Merrill [Wed, 4 Apr 2018 19:10:32 +0000 (15:10 -0400)]
PR c++/84221 - bogus -Wunused with attribute and template.

* decl2.c (is_late_template_attribute): Handle unused and used
normally on non-TYPE_DECL.

From-SVN: r259098

6 years ago[ARM] Fix PR85203: cmse_nonsecure_caller returns wrong result
Thomas Preud'homme [Wed, 4 Apr 2018 17:31:46 +0000 (17:31 +0000)]
[ARM] Fix PR85203: cmse_nonsecure_caller returns wrong result

__builtin_cmse_nonsecure_caller implementation returns true in almost
all cases due to 2 separate bugs:

* gen_addsi is used instead of gen_andsi to retrieve the lsb
* the lsb boolean value is not negated but the specification says
  the intrinsic should return true for a nonsecure caller and a
  nonsecure caller is characterized with LR's lsb being 0

This was not caught due to (1) lack of runtime test and (2) the existing
RTL scan not taking into account that '.' matches newline in Tcl regular
expressions.

This commit fixes the implementation issues and improves testing of
cmse_nonsecure_caller by (1) adding a runtime test for the secure caller
case and (2) looking for an SET insn of an AND expression in the right
function. This leaves the nonsecure caller case only partly tested
since the exact value being AND and the negation are not covered by the
scan and the existing test infrastructure does not allow 2 separate
compilation and link to be performed. It is enough though to catch the
current incorrect behavior.

The commit also reorganize the scan directives in cmse-1.c to more
easily identify what function they are intended to test in the file.

2018-04-04  Thomas Preud'homme  <thomas.preudhomme@arm.com>

gcc/
    PR target/85203
    * config/arm/arm-builtins.c (arm_expand_builtin): Change
    expansion to perform a bitwise AND of the argument followed by a
    boolean negation of the result.

gcc/testsuite/
    PR target/85203
    * gcc.target/arm/cmse/cmse-1.c: Tighten cmse_nonsecure_caller RTL scan
    to match a single insn of the baz function.  Move scan directives at
    the end of the file below the functions they are trying to test for
    better readability.
    * gcc.target/arm/cmse/cmse-16.c: New testcase.

From-SVN: r259097

6 years agore PR other/85161 (Test case failures in libbacktrace on powerpc64 BE starting with...
Jakub Jelinek [Wed, 4 Apr 2018 17:18:14 +0000 (19:18 +0200)]
re PR other/85161 (Test case failures in libbacktrace on powerpc64 BE starting with r253456)

PR other/85161
* elf.c (elf_zlib_fetch): Fix up predefined macro names in test for
big endian, only use 32-bit loads if endianity macros are predefined
and indicate big or little endian.

From-SVN: r259096

6 years agoPR c++/85135 - ICE with omitted template arguments.
Jason Merrill [Wed, 4 Apr 2018 16:42:55 +0000 (12:42 -0400)]
PR c++/85135 - ICE with omitted template arguments.

* decl.c (grokdeclarator): Catch deduced class type in trailing
return type.

From-SVN: r259092

6 years agoPR c++/85133 - ICE with missing concept initializer.
Jason Merrill [Wed, 4 Apr 2018 16:42:50 +0000 (12:42 -0400)]
PR c++/85133 - ICE with missing concept initializer.

* decl.c (cp_finish_decl): If a concept initializer is missing, use
true.

From-SVN: r259091

6 years agoPR c++/85118 - wrong error with generic lambda and std::bind.
Jason Merrill [Wed, 4 Apr 2018 16:42:44 +0000 (12:42 -0400)]
PR c++/85118 - wrong error with generic lambda and std::bind.

* call.c (add_template_conv_candidate): Disable if there are any
call operators.

From-SVN: r259090

6 years agoPR c++/85141 - ICE with compound assignment and static member fn.
Jason Merrill [Wed, 4 Apr 2018 16:42:39 +0000 (12:42 -0400)]
PR c++/85141 - ICE with compound assignment and static member fn.

* typeck.c (cp_build_modify_expr): Call decay_conversion for RHS of
compound assignment.

From-SVN: r259089

6 years agoPR c++/85148 - ICE with 'this' in array NSDMI.
Jason Merrill [Wed, 4 Apr 2018 16:42:33 +0000 (12:42 -0400)]
PR c++/85148 - ICE with 'this' in array NSDMI.

* tree.c (replace_placeholders_r): Use handled_component_p.

From-SVN: r259088

6 years agore PR c++/65923 (False positive for warning about literal operator suffix and using)
Ville Voutilainen [Wed, 4 Apr 2018 16:05:11 +0000 (19:05 +0300)]
re PR c++/65923 (False positive for warning about literal operator suffix and using)

PR c++/65923

gcc/cp

PR c++/65923
* decl.c (grokfndecl): Handle standard UDL diagnostics here..
* parser.c (cp_parser_unqualified_id): ..not here.

testsuite/

PR c++/65923
* g++.dg/diagnostic/pr65923.C: New.

From-SVN: r259087

6 years agore PR rtl-optimization/84878 (ICE: Segmentation fault (in add_cross_iteration_registe...
Peter Bergner [Wed, 4 Apr 2018 15:35:03 +0000 (10:35 -0500)]
re PR rtl-optimization/84878 (ICE: Segmentation fault (in add_cross_iteration_register_deps))

gcc/
PR rtl-optimization/84878
* ddg.c (add_cross_iteration_register_deps): Use DF_REF_BB to determine
the basic block.  Assert the use reference is not artificial and that
it has an associated insn.

gcc/testsuite/
PR rtl-optimization/84878
* gcc.target/powerpc/pr84878.c: New test.

From-SVN: r259085

6 years agoFix -Wstringop-overflow regression
Michael Matz [Wed, 4 Apr 2018 14:49:06 +0000 (14:49 +0000)]
Fix -Wstringop-overflow regression

we shouldn't claim string overflows for character arrays at
end of structures; the code that tries to avoid these
accidentally passed the address of the accessed member to
array_at_struct_end_p(), but that one wants the component_ref
or array_ref itself.  Needs updating of one testcase that
incorrectly expected warning to occur in this situation.

From-SVN: r259083

6 years agore PR testsuite/85189 (g++.dg/inherit/override-attribs.C FAILs on 32-bit x86)
Jakub Jelinek [Wed, 4 Apr 2018 14:14:08 +0000 (16:14 +0200)]
re PR testsuite/85189 (g++.dg/inherit/override-attribs.C FAILs on 32-bit x86)

PR testsuite/85189
* g++.dg/inherit/override-attribs.C: Use dg-message instead of dg-error
for the diagnostics of overridden functions.  Adjust for new wording.

From-SVN: r259082

6 years agore PR debug/85176 (ICE in force_decl_die, at dwarf2out.c:25910)
Richard Biener [Wed, 4 Apr 2018 14:11:39 +0000 (14:11 +0000)]
re PR debug/85176 (ICE in force_decl_die, at dwarf2out.c:25910)

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

PR lto/85176
* dwarf2out.c (dwarf2out_register_external_die): Peel namespaces
from contexts for DINFO_LEVEL_TERSE and below.

* g++.dg/lto/pr85176_0.C: New testcase.

From-SVN: r259080

6 years ago[NDS32] Restrict mov pattern that has at least one register operand.
Kito Cheng [Wed, 4 Apr 2018 12:38:04 +0000 (12:38 +0000)]
[NDS32] Restrict mov pattern that has at least one register operand.

gcc/
* config/nds32/nds32-doubleword.md (move_<mode>): Require
resiter_operand condition.
* config/nds32/nds32.md (*move<mode>): Ditto.

From-SVN: r259077

6 years agore PR tree-optimization/85191 (gcc.dg/vect/slp-perm-9.c FAILs)
Richard Biener [Wed, 4 Apr 2018 12:16:21 +0000 (12:16 +0000)]
re PR tree-optimization/85191 (gcc.dg/vect/slp-perm-9.c FAILs)

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

PR testsuite/85191
* lib/target-supports.exp (check_effective_target_vect_perm_short):
Fix typo.

From-SVN: r259075

6 years agoDisable anchors and msdata for ASAN test-case (PR sanirizer/85174).
Martin Liska [Wed, 4 Apr 2018 10:40:57 +0000 (12:40 +0200)]
Disable anchors and msdata for ASAN test-case (PR sanirizer/85174).

2018-04-04  Martin Liska  <mliska@suse.cz>

PR sanitizer/85174
* c-c++-common/asan/pointer-compare-1.c: Disable section anchors
and msdata as a workaround for powerpc.

From-SVN: r259074

6 years ago[NDS32] Implement movmisalignsi and movmisaligndi pattern.
Kito Cheng [Wed, 4 Apr 2018 09:32:31 +0000 (09:32 +0000)]
[NDS32] Implement movmisalignsi and movmisaligndi pattern.

gcc/
* config/nds32/nds32.md (movmisalign<mode>): New pattern.

Co-Authored-By: Monk Chiang <sh.chiang04@gmail.com>
From-SVN: r259073

6 years agore PR libfortran/85166 ([nvptx, libgfortran] Libgomp fortran tests using stop in...
Thomas Koenig [Wed, 4 Apr 2018 09:26:13 +0000 (09:26 +0000)]
re PR libfortran/85166 ([nvptx, libgfortran] Libgomp fortran tests using stop in offloaded fns fail to compile)

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

PR libfortran/85166
* runtime/minimal.c (stop_numeric): Add new function in order to
implement numeric stop on minimal targets.

From-SVN: r259072