gcc.git
5 years ago* gcc.pot: Regenerate.
Joseph Myers [Thu, 2 May 2019 20:30:14 +0000 (21:30 +0100)]
* gcc.pot: Regenerate.

From-SVN: r270822

5 years agors6000: Make debug regnums independent of internal ones
Segher Boessenkool [Thu, 2 May 2019 18:46:38 +0000 (20:46 +0200)]
rs6000: Make debug regnums independent of internal ones

Where we use "internal GCC register numbers" in debug info, that
defines an ABI, so we cannot change those numbers.  But we want to
change the internal numbers, and sometimes we do that without
remembering this gotcha anyway; so let's make everything independent
of the internal numbers.

For those registers that are not recognised here (we still have MQ for
example, but also the GCC-internal frame pointer and arg pointer
registers), this just returns the internal register number.  This is a
bit worrying: that number could be the same as that for a register we
validly want to have in debug info.  I first had a gcc_unreachable ()
for that, but this does now work because dwarf2cfi calls
rs6000_dbx_register_number for every internal register.  Then I just
returned 0 for the internal regs, but that causes various regression
tests to fail.  So now I return the internal register number again,
as it was before; but this needs to be fixed.

* config/rs6000/rs6000.c (rs6000_dbx_register_number): Do not use
the internal register number, for any "real" register.

From-SVN: r270820

5 years agors6000: Debug regnums for TM registers
Segher Boessenkool [Thu, 2 May 2019 18:45:22 +0000 (20:45 +0200)]
rs6000: Debug regnums for TM registers

Since GCC 8, we have output incorrect numbers for the transactional
memory registers.

Also, we didn't output the correct DWARF register numbers for those.
The number for sprN is 100+N.

This fixes both these issues.

* config/rs6000/rs6000.c (rs6000_dbx_register_number): Return the
correct numbers for TFHAR, TFIAR, TEXASR.

From-SVN: r270819

5 years agolibphobos: Correct my identity in the last ChangeLog entry
Maciej W. Rozycki [Thu, 2 May 2019 17:03:25 +0000 (17:03 +0000)]
libphobos: Correct my identity in the last ChangeLog entry

From-SVN: r270817

5 years agolibphobos: RISC-V: Fix soft-float build errors with IEEE exception flags
Maciej W. Rozycki [Thu, 2 May 2019 16:38:08 +0000 (16:38 +0000)]
libphobos: RISC-V: Fix soft-float build errors with IEEE exception flags

Fix assembly errors:

.../libphobos/src/std/math.d: Assembler messages:.../libphobos/src/std/math.d:4773: Error: unrecognized opcode `frflags a0'.../libphobos/src/std/math.d:4856: Error: unrecognized opcode `fsflags a5'.../libphobos/src/std/math.d:4856: Error: unrecognized opcode `fsflags a5'.../libphobos/src/std/math.d:4773: Error: unrecognized opcode `frflags a0'.../libphobos/src/std/math.d:5549: Error: unrecognized opcode `fscsr a5'.../libphobos/src/std/math.d:5456: Error: unrecognized opcode `frcsr a5'.../libphobos/src/std/math.d:5456: Error: unrecognized opcode `frcsr a5'.../libphobos/src/std/math.d:5549: Error: unrecognized opcode `fscsr a5'.../libphobos/src/std/math.d:5456: Error: unrecognized opcode `frcsr a5'.../libphobos/src/std/math.d:5549: Error: unrecognized opcode `fscsr a0'.../libphobos/src/std/math.d:5456: Error: unrecognized opcode `frcsr a0'.../libphobos/src/std/math.d:5456: Error: unrecognized opcode `frcsr a0'.../libphobos/src/std/math.d:5549: Error: unrecognized opcode `fscsr s2'make[8]: *** [Makefile:1119: std/math.lo] Error 1

triggered with the RISC-V lp64 multilib in a GCC build configured with
`--enable-multilib --enable-languages=all --target=riscv64-linux-gnu'.
This is due to unconditional explicit use of F extension instructions
within inline assembly, to access IEEE exception flags.  The use of
these instructions is not allowed when building for a soft-float ABI.

Correct the problem by wrapping said inline assembly into a conditional
such that if `D_SoftFloat' is true, then reads from IEEE exception flags
return 0 and writes are ignored instead, complementing r270522
("libphobos: Add D support for RISC-V Linux"), which is an updated
version of <https://gcc.gnu.org/ml/gcc-patches/2019-04/msg00325.html>,
where the problematic code has originated from.

libphobos/ChangeLog:

2019-05-02  Maciej W. Rozycki  <macro@wdc.com>

* std/math.d (IeeeFlags.getIeeeFlags): Handle RISC-V soft-float ABI.
(IeeeFlags.resetIeeeFlags): Likewise.
(FloatingPointControl.getControlState): Likewise.
(FloatingPointControl.setControlState): Likewise.

From-SVN: r270815

5 years agoMiscellaneous API doc improvements
Jonathan Wakely [Thu, 2 May 2019 15:46:50 +0000 (16:46 +0100)]
Miscellaneous API doc improvements

* include/bits/basic_string.h: Fix iterator/index confusion in
Doxygen comments.
* include/bits/range_access.h: Fix Doxygen warnings.
* include/bits/refwrap.h: Do not document implementation details.
(ref, cref): Group docs with reference_wrapper.
* include/std/fstream: Fix Doxygen markup.
* libsupc++/initializer_list (begin, end): Group docs with
initializer_list.

From-SVN: r270814

5 years agoAllow Markdown formatting in Doxygen comments
Jonathan Wakely [Thu, 2 May 2019 15:46:46 +0000 (16:46 +0100)]
Allow Markdown formatting in Doxygen comments

* doc/doxygen/user.cfg.in: Set MARKDOWN_SUPPORT=YES.

From-SVN: r270813

5 years agoImprove docs for mutexes
Jonathan Wakely [Thu, 2 May 2019 15:46:42 +0000 (16:46 +0100)]
Improve docs for mutexes

* include/bits/unique_lock.h: Fix/improve doxygen markup.
* include/std/mutex: Likewise.
* include/std/shared_mutex: Likewise.

From-SVN: r270812

5 years agoImprove docs for C++17 Filesystem library
Jonathan Wakely [Thu, 2 May 2019 15:46:38 +0000 (16:46 +0100)]
Improve docs for C++17 Filesystem library

* include/bits/fs_dir.h: Fix/improve doxygen markup.
* include/bits/fs_fwd.h: Likewise.
* include/bits/fs_ops.h: Likewise.
* include/bits/fs_path.h: Likewise.
* include/std/filesystem: Likewise.

From-SVN: r270811

5 years agoImprove docs for Networking TS
Jonathan Wakely [Thu, 2 May 2019 15:46:34 +0000 (16:46 +0100)]
Improve docs for Networking TS

* include/experimental/bits/net.h: Fix/improve doxygen markup.
* include/experimental/buffer: Likewise.
* include/experimental/executor: Likewise.
* include/experimental/internet: Likewise.
* include/experimental/io_context: Likewise.
* include/experimental/net: Likewise.
* include/experimental/netfwd: Likewise.
* include/experimental/socket: Likewise.
* include/experimental/timer: Likewise.

From-SVN: r270810

5 years agoImprove docs for Library Fundamentals TS
Jonathan Wakely [Thu, 2 May 2019 15:46:29 +0000 (16:46 +0100)]
Improve docs for Library Fundamentals TS

* doc/doxygen/doxygroups.cc: Move description of experimental group
here.
* include/experimental/algorithm: Add to libfund-ts doc group.
* include/experimental/any: Likewise. Do not document implementation
details.
* include/experimental/array: Add to libfund-ts doc group.
* include/experimental/bits/lfts_config.h: Define libfund-ts doc group
for Library Fundamentals.
* include/experimental/chrono: Add to libfund-ts doc group.
* include/experimental/deque: Likewise.
* include/experimental/forward_list: Likewise.
* include/experimental/functional: Likewise.
* include/experimental/iterator: Likewise.
* include/experimental/list: Likewise.
* include/experimental/map: Likewise.
* include/experimental/memory: Likewise.
* include/experimental/memory_resource: Likewise. Improve docs.
details.
* include/experimental/numeric: Add to libfund-ts doc group.
* include/experimental/optional: Likewise.
* include/experimental/propagate_const: Likewise.
* include/experimental/random: Likewise.
* include/experimental/ratio: Likewise.
* include/experimental/regex: Likewise.
* include/experimental/set: Likewise.
* include/experimental/source_location: Likewise.
* include/experimental/string: Likewise.
* include/experimental/string_view: Likewise.
* include/experimental/system_error: Likewise.
* include/experimental/tuple: Likewise.
* include/experimental/type_traits: Likewise.
* include/experimental/unordered_map: Likewise.
* include/experimental/unordered_set: Likewise.
* include/experimental/utility: Likewise.
* include/experimental/vector: Likewise.
* testsuite/experimental/any/misc/any_cast_neg.cc: Adjust dg-error.
* testsuite/experimental/array/neg.cc: Adjust dg-error.
* testsuite/experimental/propagate_const/assignment/move_neg.cc:
Likewise.
* testsuite/experimental/propagate_const/cons/move_neg.cc: Likewise.
* testsuite/experimental/propagate_const/requirements2.cc: Likewise.
* testsuite/experimental/propagate_const/requirements3.cc: Likewise.
* testsuite/experimental/propagate_const/requirements4.cc: Likewise.
* testsuite/experimental/propagate_const/requirements5.cc: Likewise.

From-SVN: r270809

5 years agoImprove docs for Filesystem TS
Jonathan Wakely [Thu, 2 May 2019 15:45:32 +0000 (16:45 +0100)]
Improve docs for Filesystem TS

* include/experimental/bits/fs_dir.h: Fix Doxygen markup.
* include/experimental/bits/fs_fwd.h: Improve docs.
* include/experimental/bits/fs_ops.h: fix Doxygen markup.
* include/experimental/bits/fs_path.h: Likewise.
(path, filesystem_error, u8path): Improve docs.
* include/experimental/filesystem: Link to docs for TS.

From-SVN: r270808

5 years agoImprove API docs for <memory> and <scoped_allocator>
Jonathan Wakely [Thu, 2 May 2019 15:45:04 +0000 (16:45 +0100)]
Improve API docs for <memory> and <scoped_allocator>

* config/allocator/new_allocator_base.h (__allocator_base): Add
workaround for Doxygen bug #6945.
* include/std/memory: Improve docs. Define group for pointer safety.
* include/std/scoped_allocator: Improve docs. Use "undocumented"
conditional to suppress documentation for implementation details.

From-SVN: r270807

5 years agoImprove API docs for mathematical special functions
Jonathan Wakely [Thu, 2 May 2019 15:44:59 +0000 (16:44 +0100)]
Improve API docs for mathematical special functions

This prevents "Mathematical Special Functions" appearing in the
top-level menu of the generated HTML docs, and adds "TR1" to the title
for the TR1 docs, to avoid duplicate titles.

* include/bits/specfun.h: Improve docs.
* include/tr1/cmath: Likewise. Fix nesting of preprocessor conditions
and namespaces.

From-SVN: r270806

5 years agoImprove Doxygen docs for nested namespaces
Jonathan Wakely [Thu, 2 May 2019 15:44:55 +0000 (16:44 +0100)]
Improve Doxygen docs for nested namespaces

* doc/doxygen/doxygroups.cc (std::tr2, std::__gnu_cxx): Improve docs.
(std::experimental): Add docs.
* doc/doxygen/user.cfg.in (PREDEFINED): Expand macros for __cxx11
namespace to nothing when generating docs.
* include/bits/regex_constants.h (std::regex_constants): Improve docs.
* include/std/chrono (std::chrono): Likewise.
* include/std/functional (std::placeholders): Likewise.
* include/std/thread (std::this_thread): Likewise.

From-SVN: r270805

5 years agoFix markup for Parallel Mode docs
Jonathan Wakely [Thu, 2 May 2019 15:44:51 +0000 (16:44 +0100)]
Fix markup for Parallel Mode docs

* include/parallel/settings.h: Fix Doxygen markup.

From-SVN: r270804

5 years agoAdjust Doxygen processing of pb_ds containers
Jonathan Wakely [Thu, 2 May 2019 15:44:46 +0000 (16:44 +0100)]
Adjust Doxygen processing of pb_ds containers

Several of the pb_ds headers are intended to be included multiple times,
within the definition of various class templates. The including files
define macros like PB_DS_CLASS_C_DEC and PB_DS_GEN_POS before including
these headers.

In some cases the types defined in the headers are actually nested types
within other classes, and so should not have been documented as though
they are declared in the global namespace, as in:
https://gcc.gnu.org/onlinedocs/gcc-8.3.0/libstdc++/api/a12028.html

In other cases the headers provide inline member function definitions,
but when processed by Doxygen the class name "PB_DS_CLASS_C_DEC" is not
recognised.

This patch makes Doxygen ignore definitions that only make sense when
included in the right context with the right macros defined.

* include/ext/pb_ds/detail/bin_search_tree_/*_imps.hpp: Do not define
anything unless PB_DS_CLASS_C_DEC is defined.
* include/ext/pb_ds/detail/binary_heap_/*_imps.hpp: Likewise.
* include/ext/pb_ds/detail/binomial_heap_/*_imps.hpp: Likewise.
* include/ext/pb_ds/detail/binomial_heap_base_/*_imps.hpp: Likewise.
* include/ext/pb_ds/detail/cc_hash_table_map_/*_imps.hpp: Likewise.
* include/ext/pb_ds/detail/gp_hash_table_map_/*_imps.hpp: Likewise.
* include/ext/pb_ds/detail/hash_fn/*_imp.hpp: Likewise.
* include/ext/pb_ds/detail/left_child_next_sibling_heap_/*_imps.hpp:
Likewise.
* include/ext/pb_ds/detail/list_update_map_/*_imps.hpp: Likewise.
* include/ext/pb_ds/detail/ov_tree_map_/*_imps.hpp: Likewise.
* include/ext/pb_ds/detail/pairing_heap_/*_imps.hpp: Likewise.
* include/ext/pb_ds/detail/pat_trie_/*_imps.hpp: Likewise.
* include/ext/pb_ds/detail/rb_tree_map_/*_imps.hpp: Likewise.
* include/ext/pb_ds/detail/rc_binomial_heap_/*_imps.hpp: Likewise.
* include/ext/pb_ds/detail/resize_policy*_imp.hpp: Likewise.
* include/ext/pb_ds/detail/splay_tree_/*_imps.hpp: Likewise.
* include/ext/pb_ds/detail/thin_heap_/*_imps.hpp: Likewise.
* include/ext/pb_ds/detail/trie_policy*_imp.hpp: Likewise.
* include/ext/pb_ds/detail/unordered_iterator/const_iterator.hpp:
Likewise.
* include/ext/pb_ds/detail/unordered_iterator/iterator.hpp: Likewise.
* include/ext/pb_ds/detail/unordered_iterator/point_const_iterator.hpp:
Likewise.
* include/ext/pb_ds/detail/unordered_iterator/point_iterator.hpp:
Likewise.

From-SVN: r270803

5 years agoUpdate libstdc++ Doxygen config
Jonathan Wakely [Thu, 2 May 2019 15:44:16 +0000 (16:44 +0100)]
Update libstdc++ Doxygen config

The GROUP_NESTED_COMPOUNDS option means that types nested inside inline
namespaces or other classes will be automatically added to a Doxygen
group, e.g. this actually works as intended:

  /**
   * @defgroup chrono Time
   * @ingroup utilities
   *
   * Classes and functions for time.
   * @{
   */

  namespace chrono
  {
    template<typename _Rep, typename _Period = ratio<1>>
      struct duration;

    template<typename _Clock, typename _Dur = typename _Clock::duration>
      struct time_point;
  }

  /// @}

Currently chrono::duration and chrono::time_point are not added to the
"chrono" group. They would need an explicit @ingroup tag added to them
individually. With GROUP_NESTED_COMPOUNDS=YES they get added to the
enclosing group.

The SORT_BY_SCOPE_NAME option means that the list of classes will sort
by class name, not the full qualified-id. Currently the alphabetical
Class List for classes beginning with 'c' looks like:

  char_traits (__gnu_cxx)
  character (__gnu_cxx)
  condition_base (__gnu_cxx)
  const_iterator_
  condition_variable_any (std::_V2)
  cauchy_distribution (std)
  char_traits (std)

i.e. the list is sorted by the namespaces first, then the class names.
This is not helpful when you don't know which namespace a class might be
in, and inline namespaces with reserved names are not hidden (see
https://github.com/doxygen/doxygen/issues/5914 for a feature request to
allow that).

With SORT_BY_SCOPE_NAME=NO the list looks like:

  cauchy_distribution (std)
  char_traits (__gnu_cxx)
  char_traits (std)
  character (__gnu_cxx)
  condition_base (__gnu_cxx)
  condition_variable_any (std::_V2)
  const_iterator_

This allows you to find a class by name more easily.

Also add PREDEFINED macros so that __attribute__ and various macros like
_GLIBCXX_NO_DISCARD, _GLIBCXX14_CONSTEXPR don't appear in the generated
docs.

* doc/doxygen/user.cfg.in: Regenerate with Doxygen 1.8.14 and set
GROUP_NESTED_COMPOUNDS=YES and SORT_BY_SCOPE_NAME=NO. Add various
_GLIBCXX_xxx macros and __attribute__(X) to PREDEFINED macros that
Doxygen expands.

From-SVN: r270802

5 years agodarwin, testsuite, fix a failing test.
Iain Sandoe [Thu, 2 May 2019 14:55:21 +0000 (14:55 +0000)]
darwin, testsuite, fix a failing test.

The istantiate2.C test has started to fail since Darwin's impl. of
this part of the ABI was fixed. It now emits the same output as
other platforms (and clang).

2019-05-02  Iain Sandoe  <iain@sandoe.co.uk>

* g++.dg/ext/instantiate2.C: Remove special-caseing for Darwin.

From-SVN: r270801

5 years agore PR tree-optimization/89653 (Missing vectorization of loop containing std::min...
Richard Biener [Thu, 2 May 2019 14:08:08 +0000 (14:08 +0000)]
re PR tree-optimization/89653 (Missing vectorization of loop containing std::min/std::max and temporary)

2019-05-02  Richard Biener  <rguenther@suse.de>

PR tree-optimization/89653
* tree-ssa-loop.c (pass_data_tree_loop_init): Execute
update-address-taken before the pass.
* passes.def (pass_tree_loop_init): Put comment before it.

* g++.dg/vect/pr89653.cc: New testcase.

From-SVN: r270800

5 years agore PR tree-optimization/89509 (restrict doesnt work with subfield accesses)
Richard Biener [Thu, 2 May 2019 14:05:27 +0000 (14:05 +0000)]
re PR tree-optimization/89509 (restrict doesnt work with subfield accesses)

2019-05-02  Richard Biener  <rguenther@suse.de>

PR tree-optimization/89509
* tree-ssa-structalias.c (compute_dependence_clique): Look
at the first subvar when determining whether it is restrict.

* gcc.dg/torture/restrict-8.c: New testcase.

From-SVN: r270799

5 years agore PR lto/85574 (LTO bootstapped binaries differ)
Richard Biener [Thu, 2 May 2019 13:58:47 +0000 (13:58 +0000)]
re PR lto/85574 (LTO bootstapped binaries differ)

2019-05-02  Richard Biener  <rguenther@suse.de>

PR bootstrap/85574
* Makefile.tpl (compare target): Also compare extra-compare
files.
* Makefile.in: Regenerate.

config/
* bootstrap-lto.mk (extra-compare): Set to gcc/lto1$(exeext).

From-SVN: r270798

5 years agodarwin - fix a failing test
Iain Sandoe [Thu, 2 May 2019 13:44:17 +0000 (13:44 +0000)]
darwin - fix a failing test

An inflexible regex caused these tests to regress.

2019-05-02  Iain Sandoe  <iain@sandoe.co.uk>

* gcc.dg/tree-prof/section-attr-1.c: Update scan-asm regex
for cold section label.
* gcc.dg/tree-prof/section-attr-2.c: Likewise.
* gcc.dg/tree-prof/section-attr-3.c: Likewise.

From-SVN: r270797

5 years agoRestrict gcc.target/i386/spellcheck-options-5.c to Linux targets
Rainer Orth [Thu, 2 May 2019 13:31:04 +0000 (13:31 +0000)]
Restrict gcc.target/i386/spellcheck-options-5.c to Linux targets

* gcc.target/i386/spellcheck-options-5.c: Restrict to Linux and
GNU targets.

From-SVN: r270795

5 years agoMakefile.am (gfor_cdir): Remove $(MULTISUBDIR).
Jakub Jelinek [Thu, 2 May 2019 13:02:27 +0000 (15:02 +0200)]
Makefile.am (gfor_cdir): Remove $(MULTISUBDIR).

* Makefile.am (gfor_cdir): Remove $(MULTISUBDIR).
* Makefile.in: Regenerated.

From-SVN: r270793

5 years ago[C++ PATCH] remove unreachable code
Nathan Sidwell [Thu, 2 May 2019 12:42:32 +0000 (12:42 +0000)]
[C++ PATCH] remove unreachable code

https://gcc.gnu.org/ml/gcc-patches/2019-05/msg00039.html
* semantics.c (finish_id_expression_1): Remove unreachable code.

From-SVN: r270792

5 years agore PR tree-optimization/90273 (GCC runs out of memory building Firefox)
Richard Biener [Thu, 2 May 2019 11:17:00 +0000 (11:17 +0000)]
re PR tree-optimization/90273 (GCC runs out of memory building Firefox)

2019-05-02  Richard Biener  <rguenther@suse.de>

PR tree-optimization/90273
* tree-ssa-dce.c (eliminate_unnecessary_stmts): Eliminate
useless debug stmts.

From-SVN: r270791

5 years ago[Aarch64][SVE] Dot product support
Alejandro Martinez [Thu, 2 May 2019 09:58:00 +0000 (09:58 +0000)]
[Aarch64][SVE] Dot product support

This patch does two things. For the general vectoriser, it adds support to
perform fully masked reductions over expressions that don't support masking.
This is achieved by using VEC_COND_EXPR where possible.  At the moment this is
implemented for DOT_PROD_EXPR only, but the framework is there to extend it to
other expressions.

Related to that, this patch adds support to vectorize dot product using SVE.  It
also uses the new functionality to ensure that the resulting loop is masked.

Given this input code:

uint32_t
dotprod (uint8_t *restrict x, uint8_t *restrict y, int n)
{
  uint32_t sum = 0;

  for (int i = 0; i < n; i++)
    {
      sum += x[i] * y[i];
    }

  return sum;
}

The resulting SVE code is:

0000000000000000 <dotprod>:
   0: 7100005f  cmp w2, #0x0
   4: 5400024d  b.le 4c <dotprod+0x4c>
   8: d2800003  mov x3, #0x0                    // #0
   c: 93407c42  sxtw x2, w2
  10: 2538c001  mov z1.b, #0
  14: 25221fe0  whilelo p0.b, xzr, x2
  18: 2538c003  mov z3.b, #0
  1c: d503201f  nop
  20: a4034002  ld1b {z2.b}, p0/z, [x0, x3]
  24: a4034020  ld1b {z0.b}, p0/z, [x1, x3]
  28: 0430e3e3  incb x3
  2c: 0523c000  sel z0.b, p0, z0.b, z3.b
  30: 25221c60  whilelo p0.b, x3, x2
  34: 44820401  udot z1.s, z0.b, z2.b
  38: 54ffff41  b.ne 20 <dotprod+0x20>  // b.any
  3c: 2598e3e0  ptrue p0.s
  40: 04812021  uaddv d1, p0, z1.s
  44: 1e260020  fmov w0, s1
  48: d65f03c0  ret
  4c: 1e2703e1  fmov s1, wzr
  50: 1e260020  fmov w0, s1
  54: d65f03c0  ret

Notice how udot is used inside a fully masked loop.

I tested this patch in an aarch64 machine bootstrapping the compiler and
running the checks.
gcc/Changelog:

2019-05-02  Alejandro Martinez  <alejandro.martinezvicente@arm.com>

* config/aarch64/aarch64-sve.md (<sur>dot_prod<vsi2qi>): Taken from SVE
ACLE branch.
* config/aarch64/iterators.md: Copied Vetype_fourth, VSI2QI and vsi2qi from
SVE ACLE branch.
* tree-vect-loop.c (use_mask_by_cond_expr_p): New function to check if a
VEC_COND_EXPR be inserted to emulate a conditional internal function.
(build_vect_cond_expr): Emit the VEC_COND_EXPR.
(vectorizable_reduction): Use the functions above to vectorize in a
fully masked loop codes that don't have a conditional internal
function.

gcc/testsuite/Changelog:

2019-05-02  Alejandro Martinez  <alejandro.martinezvicente@arm.com>

* gcc.target/aarch64/sve/dot_1.c: New test for dot product.

From-SVN: r270790

5 years agoEnhance target and target_clone error messages.
Martin Liska [Thu, 2 May 2019 08:43:25 +0000 (10:43 +0200)]
Enhance target and target_clone error messages.

2019-05-02  Martin Liska  <mliska@suse.cz>

* cgraphclones.c: Call valid_attribute_p with 1 for
target_clone.
* config/i386/i386-c.c (ix86_pragma_target_parse): Use 0 as
it's for target attribute.
* config/i386/i386-protos.h (ix86_valid_target_attribute_tree):
Add new boolean argument.
* config/i386/i386.c (ix86_valid_target_attribute_inner_p):
Likewise.
(ix86_valid_target_attribute_tree): Pass target_clone_attr
to ix86_valid_target_attribute_inner_p.
(ix86_valid_target_attribute_p): Pass flags argument to
ix86_valid_target_attribute_inner_p.
(get_builtin_code_for_version): Use 0 as it's target attribute.
2019-05-02  Martin Liska  <mliska@suse.cz>

* gcc.target/i386/funcspec-4.c: Update scanned pattern.
* g++.target/i386/pr57362.C: Likewise.

From-SVN: r270789

5 years agoPostpone print of --help=* option.
Martin Liska [Thu, 2 May 2019 08:16:12 +0000 (10:16 +0200)]
Postpone print of --help=* option.

2019-05-02  Martin Liska  <mliska@suse.cz>

* gcc.c (process_command): Add dummy file only
if n_infiles == 0.
* opts-global.c (decode_options): Pass lang_mask.
* opts.c (print_help): New function.
(finish_options): Print --help if help_option_argument
is set.
(common_handle_option): Factor out content of OPT__help_
into print_help.
* opts.h (finish_options): Add new argument.

From-SVN: r270788

5 years agoPrefer to use strlen call instead of inline expansion (PR target/88809).
Martin Liska [Thu, 2 May 2019 07:57:38 +0000 (09:57 +0200)]
Prefer to use strlen call instead of inline expansion (PR target/88809).

2019-05-02  Martin Liska  <mliska@suse.cz>

PR target/88809
* config/i386/i386.c (ix86_expand_strlen): Use strlen call.
With -minline-all-stringops use inline expansion using 4B loop.
* doc/invoke.texi: Document the change of
-minline-all-stringops.
2019-05-02  Martin Liska  <mliska@suse.cz>

PR target/88809
* gcc.target/i386/pr88809.c: New test.
* gcc.target/i386/pr88809-2.c: New test.

From-SVN: r270787

5 years agoDaily bump.
GCC Administrator [Thu, 2 May 2019 00:16:20 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r270786

5 years agocompiler: recognize and optimize map range clear
Ian Lance Taylor [Wed, 1 May 2019 21:37:00 +0000 (21:37 +0000)]
compiler: recognize and optimize map range clear

    Recognize

            for k := range m { delete(m, k) }

    for map m, and rewrite it to runtime.mapclear, as the gc compiler
    does.

    Reviewed-on: https://go-review.googlesource.com/c/gofrontend/+/169397

From-SVN: r270780

5 years agocompiler,runtime: do more direct interfaces
Ian Lance Taylor [Wed, 1 May 2019 21:34:16 +0000 (21:34 +0000)]
compiler,runtime: do more direct interfaces

    A direct interface is an interface whose data word contains the
    actual data value, instead of a pointer to it. The gc toolchain
    creates a direct interface if the value is pointer shaped, that
    includes pointers (including unsafe.Pointer), functions, channels,
    maps, and structs and arrays containing a single pointer-shaped
    field. In gccgo, we only do this for pointers. This CL unifies
    direct interface types with gc. This reduces allocations when
    converting such types to interfaces.

    Our method functions used to always take pointer receivers, to
    make interface calls easy. Now for direct interface types, their
    value methods will take value receivers. For a pointer to those
    types, when converted to interface, the interface data contains
    the pointer. For that interface to call a value method, it will
    need a wrapper method that dereference the pointer and invokes
    the value method. The wrapper method, instead of the actual one,
    is put into the itable of the pointer type.

    In the runtime, adjust funcPC for the new layout of interfaces of
    functions.

    Reviewed-on: https://go-review.googlesource.com/c/gofrontend/+/168409

From-SVN: r270779

5 years agoruntime: persistentalloc and cache itabs
Ian Lance Taylor [Wed, 1 May 2019 20:27:36 +0000 (20:27 +0000)]
runtime: persistentalloc and cache itabs

    Previously, each time we do an interface conversion for which the
    method table is not known at compile time, we allocate a new
    method table.

    This CL ports the mechanism of itab caching from the gc runtime,
    adapted to our itab representation and method finding mechanism.
    With the cache, we reuse the same itab for the same (interface,
    concrete) type pair. This reduces allocations in interface
    conversions.

    Unlike the gc runtime, we don't prepopulate the cache with
    statically allocated itabs, as currently we don't have a way to
    find them. This means we don't deduplicate run-time allocated
    itabs with compile-time allocated ones. But that is not too bad
    -- it is just a cache anyway.

    As now itabs are never freed, it is also possible to drop the
    write barrier for writing the first word of an interface header.
    I'll leave this optimization for the future.

    Reviewed-on: https://go-review.googlesource.com/c/gofrontend/+/171617

From-SVN: r270778

5 years agomodule.c (write_module): Initialize module_column before writing module to ensure...
Andrew Benson [Wed, 1 May 2019 19:47:51 +0000 (19:47 +0000)]
module.c (write_module): Initialize module_column before writing module to ensure line break occurs at...

* module.c (write_module): Initialize module_column before writing
module to ensure line break occurs at correct column

From-SVN: r270777

5 years agore PR fortran/60144 (Misleading error message when missing "then" after "if" and...
Dominique d'Humieres [Wed, 1 May 2019 17:40:22 +0000 (19:40 +0200)]
re PR fortran/60144 (Misleading error message when missing "then" after "if" and "else if")

2019-05-01 Dominique d'Humieres  <dominiq@gcc.gnu.org>

PR fortran/60144
* match.c (gfc_match_parens): Change the location for missing ')'.
(gfc_match_if): Detect a missing '('. Remove the spurious named
constant error. Change the wording of some errors.
(gfc_match_else): Change the wording of an error.
(gfc_match_elseif): Detect a missing '('. Improve the matching
process to get a better syntax analysis.

PR fortran/60144
* gfortran.dg/block_name_2.f90: Adjust dg-error.
* gfortran.dg/dec_type_print_3.f90.f90: Likewise
* gfortran.dg/pr60144.f90: New test.

From-SVN: r270776

5 years agore PR tree-optimization/88797 (Unneeded branch added when function is inlined (functi...
Jeff Law [Wed, 1 May 2019 17:33:32 +0000 (11:33 -0600)]
re PR tree-optimization/88797 (Unneeded branch added when function is inlined (function runs faster if not inlined))

PR tree-optimization/88797
* gimple-ssa-split-paths (is_feasible_trace): Reject cases where the
PHI feeds a conditional on the RHS of an assignment.

PR tree-optimization/88797
* g++.dg/tree-ssa/pr88797.C: New test.

From-SVN: r270775

5 years agoUpdate Solaris baselines for GCC 9.1
Rainer Orth [Wed, 1 May 2019 16:14:30 +0000 (16:14 +0000)]
Update Solaris baselines for GCC 9.1

* config/abi/post/i386-solaris2.10/baseline_symbols.txt: Regenerate.
* config/abi/post/i386-solaris2.10/amd64/baseline_symbols.txt: Likewise.
* config/abi/post/i386-solaris2.11/baseline_symbols.txt: Likewise.
* config/abi/post/i386-solaris2.11/amd64/baseline_symbols.txt: Likewise.
* config/abi/post/sparc-solaris2.10/baseline_symbols.txt: Likewise.
* config/abi/post/sparc-solaris2.10/sparcv9/baseline_symbols.txt:
Likewise.
* config/abi/post/sparc-solaris2.11/baseline_symbols.txt: Likewise.
* config/abi/post/sparc-solaris2.11/sparcv9/baseline_symbols.txt:
Likewise.

From-SVN: r270773

5 years ago[C++ PATCH] Simplify class member lookup
Nathan Sidwell [Wed, 1 May 2019 11:38:54 +0000 (11:38 +0000)]
[C++ PATCH] Simplify class member lookup

https://gcc.gnu.org/ml/gcc-patches/2019-05/msg00004.html
gcc/cp/
* name-lookup.h (get_class_binding_direct): Change final arg to
bool.
(get_class_binding): Likewise.
* name-lookup.c (get_class_binding_direct): Replace TYPE_OR_FNS
arg with WANT_TYPE bool.  Simplify.
(get_class_binding): Adjust final arg.
* decl.c (reshape_init_class): Adjust get_class_binding calls.

gcc/testsuite/
* g++.dg/cpp0x/decltype9.C: Adjust expected diagnostics.

From-SVN: r270765

5 years agoRISC-V: Update last ChangeLog entry to mention Andrew Waterman.
Andrew Waterman [Wed, 1 May 2019 04:45:34 +0000 (21:45 -0700)]
RISC-V: Update last ChangeLog entry to mention Andrew Waterman.

From-SVN: r270764

5 years agoDaily bump.
GCC Administrator [Wed, 1 May 2019 00:16:14 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r270763

5 years agoPR libstdc++/61761 fix std::proj for targets without C99 cproj
Jonathan Wakely [Wed, 1 May 2019 00:08:36 +0000 (01:08 +0100)]
PR libstdc++/61761 fix std::proj for targets without C99 cproj

The current generic implementation of __complex_proj used when cproj is
not available calculates the wrong projection, giving a different result
than given by C99's cproj.

When C99 cproj is not available but isinf and copysign are, use those to
give correct results for float, double and long double. Otherwise, and
for other specializations of std::complex, just use a generic version
that returns its argument, and so doesn't support infinities.

We might want to consider adding additional overloads of __complex_proj
to support extended types such as _Float64x, _Float128 etc.

PR libstdc++/61761
* include/std/complex (__complex_proj): Return parameter unchanged.
[_GLIBCXX_USE_C99_COMPLEX] (__complex_proj): Change overloads for
floating-point types to take std::complex arguments.
[_GLIBCXX_USE_C99_MATH_TR1] (__complex_proj): Add overloads for
floating-point types.
* testsuite/26_numerics/complex/proj.cc: New test.

From-SVN: r270759

5 years agoRISC-V: Short-forward-branch opt for SiFive 7 series cores.
Andrew Waterman [Tue, 30 Apr 2019 23:45:36 +0000 (16:45 -0700)]
RISC-V: Short-forward-branch opt for SiFive 7 series cores.

gcc/
* config/riscv/constraints.md (L): New.
* config/riscv/predicates.md (lui_operand): New.
(sfb_alu_operand): New.
* config/riscv/riscv-protos.h (riscv_expand_conditional_move): Declare.
* config/riscv/riscv.c (riscv_expand_conditional_move): New.
* config/riscv/riscv.h (TARGET_SFB_ALU): New.
* config/riscv/risc.md (type): Add sfb_alu.
(branch<mode>): Renamed from branch_order<mode>.  Change predicate for
operand 3 to reg_or_0_operand.  In output string, change %3 to %z3.
(branch_zero<mode>): Delete.
(mov<mode>cc): New.
(mov<GPR:mode><X:mode>cc): Likewise.
* config/riscv/sifive-7.md (sifive_7_sfb_alu): New.  Use in bypasses.

From-SVN: r270758

5 years ago[GC PATCH] Correct TS marking of _EXPR nodes
Nathan Sidwell [Tue, 30 Apr 2019 20:23:45 +0000 (20:23 +0000)]
[GC PATCH] Correct TS marking of _EXPR nodes

https://gcc.gnu.org/ml/gcc-patches/2019-04/msg01266.html
gcc/
* tree.h (MARK_TS_EXP): New.

gcc/c-family/
* c-common.c (c_common_init_ts): Use MARK_TS_EXP.  Mark SIZEOF_EXPR.

gcc/cp/
* cp-objcp-common.c (cp_common_init_ts): Use MARK_TS_EXP for _EXPR
nodes.  Call c_common_init_ts.

From-SVN: r270711

5 years ago* de.po: Update.
Joseph Myers [Tue, 30 Apr 2019 19:57:37 +0000 (20:57 +0100)]
* de.po: Update.

From-SVN: r270709

5 years agore PR target/89093 (C++ exception handling clobbers d8 VFP register)
Jakub Jelinek [Tue, 30 Apr 2019 16:30:44 +0000 (18:30 +0200)]
re PR target/89093 (C++ exception handling clobbers d8 VFP register)

PR target/89093
* gcc.target/aarch64/return_address_sign_3.c: Remove extra space in
target attribute.

From-SVN: r270705

5 years ago* check-internal-format-escaping.py: New version using polib.
Roland Illig [Tue, 30 Apr 2019 16:14:40 +0000 (16:14 +0000)]
* check-internal-format-escaping.py: New version using polib.

From-SVN: r270704

5 years agosinhatanh-2.c: Count the number of functions.
Giuliano Belinassi [Tue, 30 Apr 2019 15:06:31 +0000 (15:06 +0000)]
sinhatanh-2.c: Count the number of functions.

* gcc.dg/sinhatanh-2.c: Count the number of functions.
* gcc.dg/sinhatanh-3.c: Likewise.

From-SVN: r270703

5 years agod-demangle.c (dlang_parse_assocarray): Correctly handle error result.
Ben L [Tue, 30 Apr 2019 14:39:14 +0000 (14:39 +0000)]
d-demangle.c (dlang_parse_assocarray): Correctly handle error result.

     * d-demangle.c (dlang_parse_assocarray): Correctly handle error result.
     * testsuite/d-demangle-expected: Add testcase.

From-SVN: r270700

5 years agod-demangle.c (dlang_parse_tuple): Correctly handle error result.
Ben L [Tue, 30 Apr 2019 14:37:51 +0000 (14:37 +0000)]
d-demangle.c (dlang_parse_tuple): Correctly handle error result.

     * d-demangle.c (dlang_parse_tuple): Correctly handle error result.
     * testsuite/d-demangle-expected: Add testcase.

From-SVN: r270699

5 years agod-demangle.c (dlang_parse_structlit): Correctly handle error result.
Ben L [Tue, 30 Apr 2019 14:36:24 +0000 (14:36 +0000)]
d-demangle.c (dlang_parse_structlit): Correctly handle error result.

    * d-demangle.c (dlang_parse_structlit): Correctly handle error result.
    * testsuite/d-demangle-expected: Add testcase.

From-SVN: r270698

5 years agod-demangle.c (dlang_parse_arrayliteral): Correctly handle error result.
Ben L [Tue, 30 Apr 2019 14:34:52 +0000 (14:34 +0000)]
d-demangle.c (dlang_parse_arrayliteral): Correctly handle error result.

    * d-demangle.c (dlang_parse_arrayliteral): Correctly handle error result.
    * testsuite/d-demangle-expected: Add testcase.

From-SVN: r270697

5 years agod-demangle.c (dlang_parse_integer): Fix stack underflow.
Ben L [Tue, 30 Apr 2019 14:32:38 +0000 (14:32 +0000)]
d-demangle.c (dlang_parse_integer): Fix stack underflow.

     * d-demangle.c (dlang_parse_integer): Fix stack underflow.
     * testsuite/d-demangle-expected: Add testcase.

From-SVN: r270696

5 years agocp-demangle (d_print_comp_inner): Guard against a NULL 'typed_name'.
Ben L [Tue, 30 Apr 2019 14:22:41 +0000 (14:22 +0000)]
cp-demangle (d_print_comp_inner): Guard against a NULL 'typed_name'.

    * cp-demangle (d_print_comp_inner): Guard against a NULL 'typed_name'.
    * testsuite/demangle-expected: Add testcase.

From-SVN: r270695

5 years agocp-demangle.c (d_encoding): Guard against NULL return values from d_right (dc).
Ben L [Tue, 30 Apr 2019 14:20:11 +0000 (14:20 +0000)]
cp-demangle.c (d_encoding): Guard against NULL return values from d_right (dc).

     * cp-demangle.c (d_encoding): Guard against NULL return values from
     d_right (dc).
     * testsuite/demangle-expected: Add testcase.

From-SVN: r270694

5 years agoAdd option suggestion for -Werror=foo and corresponding pragma.
Martin Liska [Tue, 30 Apr 2019 13:50:24 +0000 (15:50 +0200)]
Add option suggestion for -Werror=foo and corresponding pragma.

2019-04-30  Martin Liska  <mliska@suse.cz>

* opts.c (enable_warning_as_error): Provide hints
for unknown options.
2019-04-30  Martin Liska  <mliska@suse.cz>

* c-pragma.c (handle_pragma_diagnostic): Provide hints
for unknown options.
2019-04-30  Martin Liska  <mliska@suse.cz>

* gcc.dg/Werror-13.c: Add new tests for it.
* gcc.dg/pragma-diag-6.c: Likewise.

From-SVN: r270693

5 years agoAdd missing dash for 2 options in documentation (PR debug/90288).
Martin Liska [Tue, 30 Apr 2019 13:31:22 +0000 (15:31 +0200)]
Add missing dash for 2 options in documentation (PR debug/90288).

2019-04-30  Martin Liska  <mliska@suse.cz>

PR debug/90288
* doc/invoke.texi: Add missing dash for gas-locview-support
and gno-as-locview-support.

From-SVN: r270692

5 years agoRemove unintended part of r270680 commit.
Jakub Jelinek [Tue, 30 Apr 2019 12:11:18 +0000 (14:11 +0200)]
Remove unintended part of r270680 commit.

From-SVN: r270691

5 years agore PR target/89093 (C++ exception handling clobbers d8 VFP register)
Jakub Jelinek [Tue, 30 Apr 2019 12:07:27 +0000 (14:07 +0200)]
re PR target/89093 (C++ exception handling clobbers d8 VFP register)

PR target/89093
* config/aarch64/aarch64.c (aarch64_process_one_target_attr): Don't skip
whitespace at the start of target attribute string.

* gcc.target/aarch64/pr89093.c: New test.
* gcc.target/aarch64/pr63304_1.c: Remove space from target string.

From-SVN: r270690

5 years agognu.ver (GLIBCXX_3.4.26): Change _Lock_policyE2 exports to _Lock_policyE[012].
Jakub Jelinek [Tue, 30 Apr 2019 11:40:28 +0000 (13:40 +0200)]
gnu.ver (GLIBCXX_3.4.26): Change _Lock_policyE2 exports to _Lock_policyE[012].

* config/abi/pre/gnu.ver (GLIBCXX_3.4.26): Change _Lock_policyE2 exports
to _Lock_policyE[012].
* config/abi/post/riscv64-linux-gnu/baseline_symbols.txt: Update.

From-SVN: r270687

5 years ago[Patch AArch64] Add __ARM_FEATURE_ATOMICS
Ramana Radhakrishnan [Tue, 30 Apr 2019 11:22:11 +0000 (11:22 +0000)]
[Patch AArch64] Add __ARM_FEATURE_ATOMICS

This keeps coming up repeatedly and the ACLE has finally added
__ARM_FEATURE_ATOMICS for the LSE feature in GCC. This is now part of
the latest ACLE release
(https://developer.arm.com/docs/101028/latest/5-feature-test-macros)

I know it's late for GCC-9 but this is a simple macro which need not
wait  for another year.

Ok for trunk and to backport to all release branches ?

Tested with a simple build and a smoke test.

PR target/86538
* config/aarch64/aarch64-c.c (aarch64_update_cpp_builtins): Define
__ARM_FEATURE_ATOMICS

From-SVN: r270686

5 years agoFix filesystem::path tests
Jonathan Wakely [Tue, 30 Apr 2019 10:39:59 +0000 (11:39 +0100)]
Fix filesystem::path tests

The root_path.cc test had some debugging macros left in accidentally, so
didn't FAIL correctly if an assertion failed.

The string-char8_t.cc tests didn't compile on Windows.

* testsuite/27_io/filesystem/path/decompose/root_path.cc: Remove
macros accidentally left in.
* testsuite/27_io/filesystem/path/native/string-char8_t.cc: Remove
unnecessary -lstdc++fs option. Fix test for mingw.
* testsuite/experimental/filesystem/path/native/string-char8_t.cc:
Fix test for mingw.

From-SVN: r270685

5 years agoRefactor gimple_fold_builtin_memory_op function.
Martin Liska [Tue, 30 Apr 2019 09:19:41 +0000 (11:19 +0200)]
Refactor gimple_fold_builtin_memory_op function.

2019-04-30  Martin Liska  <mliska@suse.cz>

* gimple-fold.c (gimple_fold_builtin_memory_op): Change endp
into built_in_function enum. Remove code for endp == 2 and
use BUILT_IN_* constants.
(gimple_fold_builtin): Call the function with fcode.

From-SVN: r270682

5 years agoFix -Wenum-compare-switch warning in i386.c.
Martin Liska [Tue, 30 Apr 2019 09:16:36 +0000 (11:16 +0200)]
Fix -Wenum-compare-switch warning in i386.c.

2019-04-30  Martin Liska  <mliska@suse.cz>

* config/i386/i386.c (ix86_builtin_reciprocal): Cast
DECL_FUNCTION_CODE into ix86_builtins enum before
the switch statement.

From-SVN: r270681

5 years agore PR tree-optimization/89475 (Teach ccp about __builtin_bswap{16,32,64})
Jakub Jelinek [Tue, 30 Apr 2019 09:07:28 +0000 (11:07 +0200)]
re PR tree-optimization/89475 (Teach ccp about __builtin_bswap{16,32,64})

PR tree-optimization/89475
* tree-ssa-ccp.c (evaluate_stmt): Handle BUILT_IN_BSWAP{16,32,64}
calls.

* gcc.dg/tree-ssa/pr89475.c: New test.

From-SVN: r270680

5 years ago* config/abi/post/riscv64-linux-gnu/baseline_symbols.txt: Update.
Jakub Jelinek [Tue, 30 Apr 2019 08:55:12 +0000 (10:55 +0200)]
* config/abi/post/riscv64-linux-gnu/baseline_symbols.txt: Update.

From-SVN: r270678

5 years agoWrap a string with _ for translation (PR translation/90274).
Martin Liska [Tue, 30 Apr 2019 08:33:29 +0000 (10:33 +0200)]
Wrap a string with _ for translation (PR translation/90274).

2019-04-30  Martin Liska  <mliska@suse.cz>

PR translation/90274
* opts.c (print_filtered_help): Wrap string in _(...).

From-SVN: r270675

5 years agore PR tree-optimization/90240 (ICE in try_improve_iv_set, at tree-ssa-loop-ivopts...
Bin Cheng [Tue, 30 Apr 2019 03:00:59 +0000 (03:00 +0000)]
re PR tree-optimization/90240 (ICE in try_improve_iv_set, at tree-ssa-loop-ivopts.c:6694)

PR tree-optimization/90240
Revert:
2019-04-23  Bin Cheng  <bin.cheng@linux.alibaba.com>

PR tree-optimization/90078
* tree-ssa-loop-ivopts.c (comp_cost::operator +,-,+=,-+,/=,*=): Add
checks for infinite_cost overflow.

* gcc/testsuite/g++.dg/tree-ssa/pr90078.C: New test.

From-SVN: r270673

5 years agoDaily bump.
GCC Administrator [Tue, 30 Apr 2019 00:16:15 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r270672

5 years ago* sv.po: Update.
Joseph Myers [Mon, 29 Apr 2019 22:45:23 +0000 (23:45 +0100)]
* sv.po: Update.

From-SVN: r270667

5 years ago* gcc.pot: Regenerate.
Joseph Myers [Mon, 29 Apr 2019 22:27:52 +0000 (23:27 +0100)]
* gcc.pot: Regenerate.

From-SVN: r270665

5 years agocp-demangle.c (d_expression_1): Don't peek ahead unless the current char is valid.
Ben L [Mon, 29 Apr 2019 22:19:01 +0000 (22:19 +0000)]
cp-demangle.c (d_expression_1): Don't peek ahead unless the current char is valid.

* cp-demangle.c (d_expression_1): Don't peek ahead unless the current
char is valid.
* testsuite/demangle-expected: Add testcase.

From-SVN: r270664

5 years ago* passes.def: Move -Wrestrict pass after copy propagation.
Jeff Law [Mon, 29 Apr 2019 20:21:57 +0000 (14:21 -0600)]
* passes.def: Move -Wrestrict pass after copy propagation.

From-SVN: r270662

5 years agoconfig.gcc (default_gnu_indirect_function): Default to yes for arm*-*-netbsd*...
Maya Rashish [Mon, 29 Apr 2019 19:48:52 +0000 (19:48 +0000)]
config.gcc (default_gnu_indirect_function): Default to yes for arm*-*-netbsd*...

* config.gcc (default_gnu_indirect_function): Default to yes
for arm*-*-netbsd*, i[34567]86-*-netbsd*, powerpc*-*-netbsd*,
sparc*-*-netbsd*, x86_64-*-netbsd*

From-SVN: r270661

5 years agotree-ssa-uninit.c (is_pred_expr_subset_of): Correctly handle cases where cond2 is...
Vladislav Ivanishin [Mon, 29 Apr 2019 19:47:17 +0000 (19:47 +0000)]
tree-ssa-uninit.c (is_pred_expr_subset_of): Correctly handle cases where cond2 is NE_EXPR.

* tree-ssa-uninit.c (is_pred_expr_subset_of): Correctly handle cases
where cond2 is NE_EXPR.
(is_value_included_in): Update comment.

        * gcc.dg/uninit-25-gimple.c: New test.
        * gcc.dg/uninit-25.c: New test.
        * gcc.dg/uninit-26.c: New test.
        * gcc.dg/uninit-27-gimple.c: New test.

From-SVN: r270660

5 years agognatvsn.ads: Bump Library_Version to 10.
Michael K. Darling [Mon, 29 Apr 2019 19:31:24 +0000 (19:31 +0000)]
gnatvsn.ads: Bump Library_Version to 10.

2019-04-29  Michael K. Darling  <darlingm@gmail.com>

        * gnatvsn.ads: Bump Library_Version to 10.

From-SVN: r270659

5 years agocompiler: avoid crash on real declaration of type with existing method
Ian Lance Taylor [Mon, 29 Apr 2019 18:56:24 +0000 (18:56 +0000)]
compiler: avoid crash on real declaration of type with existing method

    This avoids a compiler crash on invalid code.

    Fixes https://gcc.gnu.org/PR90272

    Reviewed-on: https://go-review.googlesource.com/c/gofrontend/+/174377

From-SVN: r270658

5 years agore PR tree-optimization/90278 (ICE: verify_gimple failed (error: statement marked...
Richard Biener [Mon, 29 Apr 2019 17:53:36 +0000 (17:53 +0000)]
re PR tree-optimization/90278 (ICE: verify_gimple failed (error: statement marked for throw, but doesn't))

2019-04-29  Richard Biener  <rguenther@suse.de>

PR tree-optimization/90278
* tree-ssa-forwprop.c (pass_forwprop::execute): Transfer/clean
EH on comparison simplification.

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

From-SVN: r270657

5 years agoPR c++/82081 - tail call optimization breaks noexcept
Jason Merrill [Mon, 29 Apr 2019 17:27:13 +0000 (13:27 -0400)]
PR c++/82081 - tail call optimization breaks noexcept

If a noexcept function calls a function that might throw, doing the tail
call optimization means that an exception thrown in the called function
will propagate out, breaking the noexcept specification.  So we need to
prevent the optimization in that case.

* tree-tailcall.c (find_tail_calls): Don't turn a call from a
nothrow function to a might-throw function into a tail call.

From-SVN: r270656

5 years ago[C++ PATCH] some cleanups
Nathan Sidwell [Mon, 29 Apr 2019 15:22:41 +0000 (15:22 +0000)]
[C++ PATCH] some cleanups

https://gcc.gnu.org/ml/gcc-patches/2019-04/msg01174.html
* decl.c (duplicate_decls): Add whitespace, move comments into
conditional blocks.
* method.c (explain_implicit_non_constexpr): Refactor.
* pt.c (check_explicit_specialization): Fix indentation.
* semantics.c (process_outer_var_ref): Reformat.
(finish_id_expression_1): Use STRIP_TEMPLATE.

From-SVN: r270655

5 years agoRemove DDR_INNER_LOOP
Richard Sandiford [Mon, 29 Apr 2019 15:17:01 +0000 (15:17 +0000)]
Remove DDR_INNER_LOOP

...since it was only ever zero in practice.  I wondered about making
it a symbolic constant instead, but it didn't seem worth it when
there was only one user (and that user was part of the internal
tree-data-ref.c implementation).

2019-04-29  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* tree-data-ref.h (data_dependence_relation::inner_loop): Delete.
(DDR_INNER_LOOP): Likewise.
* tree-data-ref.c (dump_data_dependence_relation): Update accordingly.
(initialize_data_dependence_relation): Likewise.
(insert_innermost_unit_dist_vector): Use 0 instead of DDR_INNER_LOOP.

From-SVN: r270654

5 years agore PR rtl-optimization/90257 (8% degradation on cpu2006 403.gcc starting with r270484)
Jakub Jelinek [Mon, 29 Apr 2019 14:18:55 +0000 (16:18 +0200)]
re PR rtl-optimization/90257 (8% degradation on cpu2006 403.gcc starting with r270484)

PR rtl-optimization/90257
* cfgrtl.c (flow_active_insn_p): Return true for USE of a function
return value.

Revert the revert:
2019-04-21  H.J. Lu  <hongjiu.lu@intel.com>

PR target/90178
Revert:
2018-11-21  Uros Bizjak  <ubizjak@gmail.com>

Revert the revert:
2013-10-26  Vladimir Makarov  <vmakarov@redhat.com>

Revert:
2013-10-25  Vladimir Makarov  <vmakarov@redhat.com>

* lra-spills.c (lra_final_code_change): Remove useless move insns.

From-SVN: r270653

5 years agotree-ssa.c (insert_debug_temp_for_var_def): For {CLOBBER} rhs issue a reset.
Richard Biener [Mon, 29 Apr 2019 13:54:58 +0000 (13:54 +0000)]
tree-ssa.c (insert_debug_temp_for_var_def): For {CLOBBER} rhs issue a reset.

2019-04-29  Richard Biener  <rguenther@suse.de>

* tree-ssa.c (insert_debug_temp_for_var_def): For {CLOBBER}
rhs issue a reset.

From-SVN: r270652

5 years agoAdjust doxygen comment for std::generate_n
Jonathan Wakely [Mon, 29 Apr 2019 13:31:50 +0000 (14:31 +0100)]
Adjust doxygen comment for std::generate_n

* include/bits/stl_algo.h (generate_n): Adjust doxygen comment.

From-SVN: r270651

5 years agoUse _GLIBCXX_NOEXCEPT_IF for std::swap
Jonathan Wakely [Mon, 29 Apr 2019 13:25:38 +0000 (14:25 +0100)]
Use _GLIBCXX_NOEXCEPT_IF for std::swap

* include/bits/move.h (swap(T&, T&), swap(T (&)[N], T (&)[N])): Use
_GLIBCXX_NOEXCEPT_IF to simplify declarations.

From-SVN: r270650

5 years agoPR libstdc++/71312 Increase alignment of pooled mutexes
Jonathan Wakely [Mon, 29 Apr 2019 12:55:29 +0000 (13:55 +0100)]
PR libstdc++/71312 Increase alignment of pooled mutexes

PR libstdc++/71312
* src/c++11/shared_ptr.cc (get_mutex): Align pool mutexes to 64 bytes.

From-SVN: r270649

5 years agoAdd nodiscard to std::vector<bool>::empty()
Jonathan Wakely [Mon, 29 Apr 2019 12:35:24 +0000 (13:35 +0100)]
Add nodiscard to std::vector<bool>::empty()

We already added it to the std::vector primary template.

* include/bits/stl_bvector.h (vector<bool>::empty()): Add nodiscard
attribute.

From-SVN: r270648

5 years agoRemove unused std::_Iter_base class template
Jonathan Wakely [Mon, 29 Apr 2019 12:12:46 +0000 (13:12 +0100)]
Remove unused std::_Iter_base class template

This class template has been unused since __gnu_debug::__base was
removed in r263786.

* include/bits/stl_iterator_base_types.h (_Iter_base): Remove unused
class template and partial specialization.

From-SVN: r270647

5 years agoPR libstdc++/87982 Fix generate_n and fill_n use of _Size parameter
Jonathan Wakely [Mon, 29 Apr 2019 12:12:43 +0000 (13:12 +0100)]
PR libstdc++/87982 Fix generate_n and fill_n use of _Size parameter

The standard only requires that _Size can be converted to an integral
type, not that it can be used for arithmetic. Add a new set of
__size_to_integer helper functions to do the conversion (which will be
ambiguous if there is no one conversion that is better than any others).

Also add tests for DR 426 which requires these algorithms and search_n
to handle negative values of n.

PR libstdc++/87982
* include/bits/stl_algo.h (generate_n): Convert _Size parameter to
an integral type.
* include/bits/stl_algobase.h (__size_to_integer): New overloaded
functions to convert a value to an integral type.
(__fill_n_a, __fill_n_a): Assert that __n is already an integral type.
(fill_n): Convert _Size parameter to an integral type.
* testsuite/25_algorithms/fill_n/dr426.cc: New test.
* testsuite/25_algorithms/generate_n/87982.cc: New test.
* testsuite/25_algorithms/generate_n/dr426.cc: New test.

From-SVN: r270646

5 years agolibphobos: Fix multilib builds for s390x-linux-gnu
Iain Buclaw [Mon, 29 Apr 2019 05:42:48 +0000 (05:42 +0000)]
libphobos: Fix multilib builds for s390x-linux-gnu

Merges upstream druntime aab44549, phobos 3dc363783.

Reviewed-on: https://github.com/dlang/druntime/pull/2590
     https://github.com/dlang/phobos/pull/6983

libphobos/ChangeLog:

2019-04-28  Iain Buclaw  <ibuclaw@gdcproject.org>

* libdruntime/gcc/sections/elf_shared.d (IBMZ_Any): Define when
version S390 or SystemZ.  Use condition instead of SystemZ.
(getTLSRange): Return null on GNU_EMUTLS targets.

From-SVN: r270639

5 years agolibphobos: Backport minimal MinGW support patches.
Iain Buclaw [Mon, 29 Apr 2019 05:42:36 +0000 (05:42 +0000)]
libphobos: Backport minimal MinGW support patches.

Merges upstream druntime 1ca80e4e, phobos b5e9661a0.

Reviewed-on: https://github.com/dlang/druntime/pull/2587
     https://github.com/dlang/phobos/pull/6981

From-SVN: r270638

5 years agoDaily bump.
GCC Administrator [Mon, 29 Apr 2019 00:16:17 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r270637

5 years agoFix ChangeLog format
Jonathan Wakely [Sun, 28 Apr 2019 21:38:19 +0000 (22:38 +0100)]
Fix ChangeLog format

From-SVN: r270633

5 years agoAdding noexcept-specification on tuple constructors (LWG 2899)
Nina Dinka Ranns [Sun, 28 Apr 2019 21:17:50 +0000 (21:17 +0000)]
Adding noexcept-specification on tuple constructors (LWG 2899)

2019-04-28 Nina Dinka Ranns <dinka.ranns@gmail.com>

* libstdc++-v3/include/std/tuple:
(tuple()): Add noexcept-specification.
(tuple(const _Elements&...)): Likewise
(tuple(_UElements&&...)): Likewise
(tuple(const tuple<_UElements...>&)): Likewise
(tuple(tuple<_UElements...>&&)): Likewise
(tuple(const _T1&, const _T2&)): Likewise
(tuple(_U1&&, _U2&&)): Likewise
(tuple(const tuple<_U1, _U2>&): Likewise
(tuple(tuple<_U1, _U2>&&): Likewise
(tuple(const pair<_U1, _U2>&): Likewise
(tuple(pair<_U1, _U2>&&): Likewise
* libstdc++-v3/testsuite/20_util/tuple/cons/noexcept_specs.cc: New

From-SVN: r270632

5 years agoDaily bump.
GCC Administrator [Sun, 28 Apr 2019 00:16:20 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r270630

5 years agore PR c++/90173 (ICE: Segmentation fault (in strip_declarator_types))
Jakub Jelinek [Sat, 27 Apr 2019 21:56:17 +0000 (23:56 +0200)]
re PR c++/90173 (ICE: Segmentation fault (in strip_declarator_types))

PR c++/90173
* g++.dg/cpp1z/class-deduction66.C: Use dg-do compile instead of
dg-do run.

From-SVN: r270626

5 years ago[netbsd] d: Fix build failures on sparc*-netbsd
Iain Buclaw [Sat, 27 Apr 2019 16:52:26 +0000 (16:52 +0000)]
[netbsd] d: Fix build failures on sparc*-netbsd

gcc/ChangeLog:

2019-04-27  Iain Buclaw  <ibuclaw@gdcproject.org>

* config/netbsd-d.c: Include memmodel.h.  Remove unused tree.h,
varasm.h, and netbsd-protos.h.

From-SVN: r270625

5 years agoUse __restrict for __relocate_object_a
Marc Glisse [Sat, 27 Apr 2019 14:09:20 +0000 (16:09 +0200)]
Use __restrict for __relocate_object_a

2019-04-27  Marc Glisse  <marc.glisse@inria.fr>

PR libstdc++/87106
* include/bits/stl_uninitialized.h (__relocate_object_a): Mark the
arguments with __restrict.

From-SVN: r270624

5 years agore PR target/89261 (ix86_data_alignment has wrong argument type)
Uros Bizjak [Sat, 27 Apr 2019 13:38:19 +0000 (15:38 +0200)]
re PR target/89261 (ix86_data_alignment has wrong argument type)

PR target/89261
* config/i386/i386-protos.h (ix86_data_alignment): Change
the second argument type to unsigned int.
* config/i386/i386.c (ix86_data_alignment): Change "align"
argument type to unsigned int.

testsuite/ChangeLog:

PR target/89261
* gcc.target/i386/pr89261.c: New test.

From-SVN: r270623