gcc_os216

Fork

Merge master r11-1769.

* Merge master r11-1769-g039a630d787dc.

analyzer: Fix -Wanalyzer-possible-null-argument warning (PR 96014)

gcc/testsuite/ChangeLog:

PR testsuite/96014
* g++.dg/analyzer/pr94028.C: Make operator new non-throwing so
that the compiler doesn't implicitly mark it as returning
non-null.

bootstrap: Don't translate assignment to hint[].

error array must be initialized with a brace-enclosed initializer

gcc/fortran/ChangeLog

2020-07-01 David Edelsohn <dje.gcc@gmail.com>

* check.c (gfc_invalid_boz): Fix bootstrap. Revert
Mark hint for translation using _().

Merge master r11-1767.

* Merge master r11-1767-gb260e9123e3c.

testsuite: Adjust gfortran.dg/pr95690.f90 line number.

gfortran produces associates a different line number for the same error
message depending on x86 versus other architectures. This patch adjusts
the dg-error line number depending on the target.

gcc/testsuite/ChangeLog

2020-07-01 David Edelsohn <dje.gcc@gmail.com>

* gfortran.dg/pr95690.f90: Adjust dg-error line number.

testsuite: Restore lp64 for some gcc.target/powerpc testcases.

gcc/testsuite/ChangeLog

2020-07-01 David Edelsohn <dje.gcc@gmail.com>

* gcc.target/powerpc/direct-move-double1.c: Require lp64.
* gcc.target/powerpc/direct-move-float1.c: Same.
* gcc.target/powerpc/direct-move-float3.c: Same.
* gcc.target/powerpc/direct-move-vint1.c: Same.
* gcc.target/powerpc/vsx-vector-5.c: Same.
* gcc.target/powerpc/vsx-vector-6.p7.c: Same.
* gcc.target/powerpc/vsx-vector-6.p8.c: Same.
* gcc.target/powerpc/vsx-vector-6.p9.c: Same.

Fix bootstrap for m68k.

gcc/
* config/m68k/m68k.c (m68k_output_btst): Drop "register" keyword.
(emit_move_sequence, output_iorsi3, output_xorsi3): Likewise.

Fortran : Fortran translation issues PR52279

Mark strings for translation by enclosing in G_() and _().

2020-06-24 Mark Eggleston <markeggleston@gcc.gnu.org>

gcc/fortran/

PR fortran/52279
* arith.c (reduce_binary_aa): Mark for translation the string
parameter to gfc_check_conformance with G_().
* check.c (gfc_invalid_boz): Mark hint for translation using
_(). (gfc_check_achar): Mark for translation the message
parameter to gfc_invalid_boz using G_(). (gfc_check_char):
Mark for translation the message parameter to gfc_invalid_boz
using G_(). (gfc_check_complex): Mark for translation the
message parameter to gfc_invalid_boz using G_().
(gfc_check_float): Mark for translation the message
parameter to gfc_invalid_boz using G_(). (check_rest): Mark
for translation the string parameter to gfc_check_conformance
with _(). (gfc_check_minloc_maxloc): Mark for translation
the string parameter to gfc_check_conformance with _().
(gfc_check_findloc): Mark for translation the string parameter
to gfc_check_conformance with _(). (check_reduction): Mark
for translation the string parameter to gfc_check_conformance
with _(). (gfc_check_pack): Mark for translation the string
parameter to gfc_check_conformance with _().
* decl.c (match_old_style_init): Mark for translation the
message parameter to gfc_invalid_boz using G_().
* expr.c (gfc_check_assign): Mark for translation the string
parameter to gfc_check_conformance with _().
* intrinsic.c (check_specific): Mark for translation the string
parameter to gfc_check_conformance with _().
(gfc_check_intrinsic_standard): Mark symstd_msg strings for
translation using G_(). No need to mark symstd_msg for
translation in call to gfc_warning or when setting symstd.
* io.c (check_open_constraints): Mark strings for translation
using G_() in all calls to warn_or_error. (match_io_element):
Mark for translation the message parameter to gfc_invalid_boz
using G_().
* primary.c (match_boz_constant): Mark for translation the
message parameter to gfc_invalid_boz using G_().
* resolve.c (resolve_elemental_actual): Mark for translation
the string parameter to gfc_check_conformance with _().
(resolve_operator): Mark for translation the string parameter
to gfc_check_conformance with _(). Mark translation strings
assigned to msg using G_() for use in a call to cfg_warning.

c++: Expose cloning form predicates

A further adjustment of the function cloning. Rather than have
copy_fndecl_with_name deduce whether a particular cdtor needs a
vtt_parm and/or has inherited parms to drop, pass that information in
from the caller. In particular build_cdtor_clones knows when its
building the particular cdtors that might need these. On the modules
branch I need to clone cdtors before the underlying class information
is necessarily complete. There build_cdtor_clones is externally
callable to facilitate that.

gcc/cp/
* class.c (copy_fndecl_with_name): Add additional predicate args, do
not deduce them locally.
(copy_operator_fn): Adjust copy_fndecl_with_name call.
(build_clone): Add vtt and inherited predicate args. Pass through
to copy_fndecl_with_name call.
(build_cdtor_clones): Likewise, pass through to build_clone as
needed.
(build_cdtor): Determine vtt and inherited here.
* cp-tree.h (DECL_NEEDS_CTT_PARM_P): Delete.

aarch64: Add 64 bit setter getter fpsr fpcr

gcc/ChangeLog

* config/aarch64/aarch64-builtins.c (aarch64_builtins): Add enums
for 64bits fpsr/fpcr getter setters builtin variants.
(aarch64_init_fpsr_fpcr_builtins): New function.
(aarch64_general_init_builtins): Modify to make use of the later.
(aarch64_expand_fpsr_fpcr_setter): New function.
(aarch64_general_expand_builtin): Modify to make use of the later.
* config/aarch64/aarch64.md (@aarch64_set_<fpscr_name><GPI:mode>)
(@aarch64_get_<fpscr_name><GPI:mode>): New patterns replacing and
generalizing 'get_fpcr', 'set_fpsr'.
* config/aarch64/iterators.md (GET_FPSCR, SET_FPSCR): New int
iterators.
(fpscr_name): New int attribute.
* doc/extend.texi (__builtin_aarch64_get_fpcr64)
(__builtin_aarch64_set_fpcr64, __builtin_aarch64_get_fpsr64)
(__builtin_aarch64_set_fpsr64): Add into AArch64 Built-in
Functions.

gcc/testsuite/ChangeLog

* gcc.target/aarch64/get_fpcr64_1.c: New test.
* gcc.target/aarch64/set_fpcr64_1.c: New test.
* gcc.target/aarch64/get_fpsr64_1.c: New test.
* gcc.target/aarch64/set_fpsr64_1.c: New test.

Fortran : False positive for optional arguments PR95446

Check that there is non-optional argument of the same rank in the
list of actual arguments. If there is the warning is not required.

2020-07-01 Steven G. Kargl <kargl@gcc.gnu.org>

gcc/fortran/

PR fortran/95446
* resolve.c (resolve_elemental_actual): Add code to check for
non-optional argument of the same rank. Revise warning message
to refer to the Fortran 2018 standard.

2020-07-01 Mark Eggleston <markeggleston@gcc.gnu.org>

gcc/testsuite/

PR fortran/95446
* gfortran.dg/elemental_optional_args_6.f90: Remove check
for warnings that were erroneously output.
* gfortran.dg/pr95446.f90: New test.

Adjust text of expected warnings changed in PR c++/86568.

libstdc++-v3/ChangeLog:

* testsuite/21_strings/basic_string_view/cons/char/nonnull.cc: Adjust
text of expected warning.
* testsuite/21_strings/basic_string_view/cons/wchar_t/nonnull.cc: Same.
* testsuite/21_strings/basic_string_view/operations/compare/char/nonnull.cc: Same.
* testsuite/21_strings/basic_string_view/operations/find/char/nonnull.cc: Same.
* testsuite/21_strings/basic_string_view/operations/rfind/char/nonnull.cc: Same.

arm: Fix handler-align.c testcase [PR target/94743]

This testcase triggers the new warning, so compile it with
-mgeneral-regs-only.

2020-07-01 Christophe Lyon <christophe.lyon@linaro.org>

PR target/94743

gcc/testsuite/
* gcc.target/arm/handler-align.c: Add -mgeneral-regs-only.

gcov: avoid trailing space.

gcc/ChangeLog:

* gcov.c (print_usage): Avoid trailing space for -j option.

tree-optimization/95839 - teach SLP vectorization about vector inputs

This teaches SLP analysis about vector typed externals that are
fed into the SLP operations via lane extracting BIT_FIELD_REFs.
It shows that there's currently no good representation for
vector code on the SLP side so I went a half way and represent
such vector externals uses always using a SLP permutation node
with a single external SLP child which has a non-standard
representation of no scalar defs but only a vector def. That
works best for shielding the rest of the vectorizer from it.

2020-06-26 Richard Biener <rguenther@suse.de>

PR tree-optimization/95839
* tree-vect-slp.c (vect_slp_tree_uniform_p): Pre-existing
vectors are not uniform.
(vect_build_slp_tree_1): Handle BIT_FIELD_REFs of
vector registers.
(vect_build_slp_tree_2): For groups of lane extracts
from a vector register generate a permute node
with a special child representing the pre-existing vector.
(vect_prologue_cost_for_slp): Pre-existing vectors cost nothing.
(vect_slp_analyze_node_operations): Use SLP_TREE_LANES.
(vectorizable_slp_permutation): Do not generate or cost identity
permutes.
(vect_schedule_slp_instance): Handle pre-existing vector
that are function arguments.

* gcc.dg/vect/bb-slp-pr95839-2.c: New testcase.

move ILS include to system.h

This moves ISL system header includes to system.h.

* system.h (INCLUDE_ISL): New guarded include.
* graphite-dependences.c: Use it.
* graphite-isl-ast-to-gimple.c: Likewise.
* graphite-optimize-isl.c: Likewise.
* graphite-poly.c: Likewise.
* graphite-scop-detection.c: Likewise.
* graphite-sese-to-poly.c: Likewise.
* graphite.c: Likewise.
* graphite.h: Drop the includes here.

gcov: shorted one option help message

gcc/ChangeLog:

* gcov.c (print_usage): Shorted option description for -j
option.

gcov: rename 2 options.

gcc/ChangeLog:

* doc/gcov.texi: Rename 2 options.
* gcov.c (print_usage): Rename -i,--json-format to
-j,--json-format and -j,--human-readable to -H,--human-readable.
(process_args): Fix up parsing. Document obsolete options and
how are they changed.

gcc/testsuite/ChangeLog:

* g++.dg/gcov/loop.C: Use -H option instead of -j option.

Fortran : Bogus error with additional blanks in type(*) PR95829

Checking for "* ) " instead of "*)" clears the bogus error.

2020-07-01 Steven G. Kargl <kargl@gcc.gnu.org>

gcc/fortran/

PR fortran/95829
* decl.c (gfc_match_decl_type_spec): Compare with "* ) " instead
of "*)".

2020-07-01 Mark Eggleston <markeggleston@gcc.gnu.org>

gcc/testsuite/

PR fortran/95829
* gfortran.dg/pr95829.f90: New test.

arm: Fix typos in testcases [PR target/94743]

In my commit r11-1732, I updated the warning message to include
quotes, but I forgot to update the testcases.

2020-01-07 Christophe Lyon <christophe.lyon@linaro.org>

PR target/94743

gcc/testsuite/
* gcc.target/arm/pr94743-1-hard.c: Add missing quotes in expected
warning.
* gcc.target/arm/pr94743-1-softfp.c: Likewise.

Fix bootstrap failure on PA

gcc/
* config/pa/pa.c (pa_emit_move_sequence): Drop register keyword.
(pa_output_ascii): Likewise.

RISC-V: Preserve arch version info during normalizing arch string

- Arch version should preserved if user explicitly specified the version.
e.g.
After normalize, -march=rv32if3d should be -march=rv32i_f3p0d
instead of-march=rv32ifd.

gcc/ChangeLog:

* common/config/riscv/riscv-common.c (riscv_subset_t): New field
added.
(riscv_subset_list::parsing_subset_version): Add parameter for
indicate explicitly version, and handle explicitly version.
(riscv_subset_list::handle_implied_ext): Ditto.
(riscv_subset_list::add): Ditto.
(riscv_subset_t::riscv_subset_t): Init new field.
(riscv_subset_list::to_string): Always output version info if version
explicitly specified.
(riscv_subset_list::parsing_subset_version): Handle explicitly
arch version.
(riscv_subset_list::parse_std_ext): Ditto.
(riscv_subset_list::parse_multiletter_ext): Ditto.

gcc/testsuite/ChangeLog:

* gcc.target/riscv/attribute-13.c: New.

testsuite: enable gcc.target/powerpc direct move tests.

Remove unnecessary requirements for direct-move-* tests.

gcc/testsuite/ChangeLog

2020-06-30 David Edelsohn <dje.gcc@gmail.com>

* gcc.target/powerpc/direct-move-double1.c: Remove lp64 requirement.
* gcc.target/powerpc/direct-move-double2.c: Same.
* gcc.target/powerpc/direct-move-float1.c: Same.
* gcc.target/powerpc/direct-move-float2.c: Same.
* gcc.target/powerpc/direct-move-float3.c: Same.
* gcc.target/powerpc/direct-move-vint1.c: Same.
* gcc.target/powerpc/direct-move-vint2.c: Same.
* gcc.target/powerpc/direct-move-long1.c: Remove linux requirement..
* gcc.target/powerpc/direct-move-long2.c: Same.

testsuite: Remove dg-skip SPE.

Remove testsuite directives to skip SPE and SPE specific tests.

gcc/testsuite/ChangeLog

2020-06-30 David Edelsohn <dje.gcc@gmail.com>

* gcc.target/powerpc/20030218-1.c: Delete.
* gcc.target/powerpc/20030505.c: Delete.
* gcc.target/powerpc/20081204-1.c: Delete.
* gcc.target/powerpc/bcd-1.c: Remove dg-skip-if SPE.
* gcc.target/powerpc/bcd-2.c: Same.
* gcc.target/powerpc/bcd-3.c: Same.
* gcc.target/powerpc/direct-move-double1.c: Same.
* gcc.target/powerpc/direct-move-double2.c: Same.
* gcc.target/powerpc/direct-move-float1.c: Same.
* gcc.target/powerpc/direct-move-float2.c: Same.
* gcc.target/powerpc/direct-move-float3.c: Same.
* gcc.target/powerpc/direct-move-long1.c: Same.
* gcc.target/powerpc/direct-move-long2.c: Same.
* gcc.target/powerpc/direct-move-vint1.c: Same.
* gcc.target/powerpc/direct-move-vint2.c: Same.
* gcc.target/powerpc/extend-divide-1.c: Same.
* gcc.target/powerpc/extend-divide-2.c: Same.
* gcc.target/powerpc/pack01.c: Same.
* gcc.target/powerpc/pack02.c: Same.
* gcc.target/powerpc/pack03.c: Same.
* gcc.target/powerpc/pr52457.c: Same.
* gcc.target/powerpc/pr88845.c: Same.
* gcc.target/powerpc/quad-atomic.c: Same.
* gcc.target/powerpc/recip-6.c: Same.
* gcc.target/powerpc/recip-7.c: Same.

testsuite: p8vector-int128 require int128 not lp64.

Change testsuite requirements from lp64 to int128 support.

gcc/testsuite/ChangeLog

2020-06-30 David Edelsohn <dje.gcc@gmail.com>

* gcc.target/powerpc/p8vector-int128-1.c: Require int128 not lp64.
* gcc.target/powerpc/p8vector-int128-2.c: Same.

testsuite: Remove restrictions on VSX tests.

Some of the testcases in gcc.target/powerpc have unnecessarily strict
requirements and run correctly on more powerpc targets. This patch
removes the restrictions and adds appropriate HW requirements.

gcc/testsuite/ChangeLog

2020-06-30 David Edelsohn <dje.gcc@gmail.com>

* gcc.target/powerpc/pr90763.c: Adjust requirements.
* gcc.target/powerpc/vsx-vector-1.c: Same.
* gcc.target/powerpc/vsx-vector-2.c: Same.
* gcc.target/powerpc/vsx-vector-3.c: Same.
* gcc.target/powerpc/vsx-vector-4.c: Same.
* gcc.target/powerpc/vsx-vector-5.c: Same.
* gcc.target/powerpc/vsx-vector-6.p7.c: Same.
* gcc.target/powerpc/vsx-vector-6.p8.c: Same.
* gcc.target/powerpc/vsx-vector-6.p9.c: Same.
* gcc.target/powerpc/vsx-vector-abss.c: Same.
* gcc.target/powerpc/vsx-vectorize-1.c: Same.
* gcc.target/powerpc/vsx-vectorize-2.c: Same.
* gcc.target/powerpc/vsx-vectorize-3.c: Same.
* gcc.target/powerpc/vsx-vectorize-4.c: Same.
* gcc.target/powerpc/vsx-vectorize-5.c: Same.
* gcc.target/powerpc/vsx-vectorize-6.c: Same.
* gcc.target/powerpc/vsx-vectorize-7.c: Same.
* gcc.target/powerpc/vsx-vectorize-8.c: Same.

testsuite: remove SPE tests.

SPE support was removed from the "rs6000" port. This patch removes some
left-over SPE-specific testcases from the gcc.target/powerpc directory.

gcc/testsuite/ChangeLog

2020-06-30 David Edelsohn <dje.gcc@gmail.com>

* gcc.target/powerpc/ppc-spe.c: Delete.
* gcc.target/powerpc/ppc-spe64-1.c: Delete.
* gcc.target/powerpc/pr60102.c: Delete.
* gcc.target/powerpc/pr60158.c: Delete.
* gcc.target/powerpc/pr60735.c: Delete.
* gcc.target/powerpc/pr78458.c: Delete.
* gcc.target/powerpc/pr80343.c: Delete.
* gcc.target/powerpc/spe-evmerge.c: Delete.
* gcc.target/powerpc/spe-small-data-1.c: Delete.
* gcc.target/powerpc/spe-small-data-2.c: Delete.
* gcc.target/powerpc/spe-unwind-1.c: Delete.
* gcc.target/powerpc/spe-vector-memcpy.c: Delete.
* gcc.target/powerpc/spe-vector-memset.c: Delete.
* gcc.target/powerpc/spe1.c: Delete.

Daily bump.

testsuite: change gcc.target/powerpc builtins lp64 to int128 requirement.

Some of the builtins* tests check for lp64 as a proxy for int128 support.
This patch changes the requirements to int128. It also removes
some redundant requirements from revb.

gcc/testsuite/ChangeLog

2020-06-30 David Edelsohn <dje.gcc@gmail.com>

* gcc.target/powerpc/builtins-2-p9-runnable.c: lp64 to int128.
* gcc.target/powerpc/builtins-6-p9-runnable.c: Same.
* gcc.target/powerpc/builtins-6-runnable.c: Same.
* gcc.target/powerpc/builtins-revb-runnable.c: Same.

PR fortran/88379 - ICE with allocatable coarray, class and associate

Catch NULL pointer dereference for ASSOCIATE on allocatable coarray variable.

gcc/fortran/
PR fortran/88379
* resolve.c (resolve_assoc_var): Avoid NULL pointer dereference.