]> git.ipfire.org Git - thirdparty/gcc.git/log
thirdparty/gcc.git
5 years ago[Darwin, PPC, Mode Iterators 2/n] Eliminate picbase expanders.
iains [Thu, 26 Sep 2019 18:50:55 +0000 (18:50 +0000)] 
[Darwin, PPC, Mode Iterators 2/n] Eliminate picbase expanders.

We can use the mode iterators directly with an @pattern to avoid the
need for an expander that was only there to pass the mode through.

gcc/ChangeLog:

2019-09-26  Iain Sandoe  <iain@sandoe.co.uk>

* config/rs6000/darwin.md: Replace the expanders for
load_macho_picbase and reload_macho_picbase with use of '@'
in their respective define_insns.
(nonlocal_goto_receiver): Pass Pmode to gen_reload_macho_picbase.
* config/rs6000/rs6000-logue.c (rs6000_emit_prologue): Pass
Pmode to gen_load_macho_picbase.
* config/rs6000/rs6000.md: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276159 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago2019-09-25 Richard Biener <rguenther@suse.de>
rguenth [Thu, 26 Sep 2019 16:54:51 +0000 (16:54 +0000)] 
2019-09-25  Richard Biener  <rguenther@suse.de>

PR tree-optimization/91896
* tree-vect-loop.c (vectorizable_reduction): The single
def-use cycle optimization cannot apply when there's more
than one pattern stmt involved.

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276158 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago2019-09-26 Richard Biener <rguenther@suse.de>
rguenth [Thu, 26 Sep 2019 16:52:50 +0000 (16:52 +0000)] 
2019-09-26  Richard Biener  <rguenther@suse.de>

* tree-vect-loop.c (vect_analyze_loop_operations): Analyze
loop-closed PHIs that are vect_internal_def.
(vect_create_epilog_for_reduction): Exit early for nested cycles.
Simplify.
(vectorizable_lc_phi): New.
* tree-vect-stmts.c (vect_analyze_stmt): Call vectorize_lc_phi.
(vect_transform_stmt): Likewise.
* tree-vectorizer.h (stmt_vec_info_type): Add lc_phi_info_type.
(vectorizable_lc_phi): Declare.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276157 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoPR tree-optimization/91914 - Invalid strlen folding for offset into struct
msebor [Thu, 26 Sep 2019 16:17:22 +0000 (16:17 +0000)] 
PR tree-optimization/91914 - Invalid strlen folding for offset into struct

gcc/testsuite/CHangeLog:
* gcc.dg/strlenopt-79.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276156 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoDefine std::to_array for Debug Mode
redi [Thu, 26 Sep 2019 16:08:44 +0000 (16:08 +0000)] 
Define std::to_array for Debug Mode

* include/debug/array (to_array): Define for debug mode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276155 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoImplement C++20 constexpr changes to std::pair (P1032R1)
redi [Thu, 26 Sep 2019 16:08:39 +0000 (16:08 +0000)] 
Implement C++20 constexpr changes to std::pair (P1032R1)

* include/bits/stl_pair.h (pair): Add _GLIBCXX20_CONSTEXPR to
piecewise construction constructor, assignment operators, and swap.
* include/std/tuple (pair::pair(piecewise_construct_t, tuple, tuple)):
Add _GLIBCXX20_CONSTEXPR.
(pair::pair(tuple, tuple, _Index_tuple, _Index_tuple)): Likewise.
* testsuite/20_util/pair/constexpr_assign.cc: New test.
* testsuite/20_util/pair/constexpr_swap.cc: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276154 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoFix array index error in address_v6 comparisons
redi [Thu, 26 Sep 2019 16:08:33 +0000 (16:08 +0000)] 
Fix array index error in address_v6 comparisons

* include/experimental/internet (operator==, operator<): Fix loop
condition to avoid reading past the end of the array.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276153 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoRemove include directives for deleted Profile Mode headers
redi [Thu, 26 Sep 2019 16:08:24 +0000 (16:08 +0000)] 
Remove include directives for deleted Profile Mode headers

* include/std/array: Remove references to profile mode.
* include/std/bitset: Likewise.
* include/std/deque: Likewise.
* include/std/forward_list: Likewise.
* include/std/list: Likewise.
* include/std/map: Likewise.
* include/std/set: Likewise.
* include/std/unordered_map: Likewise.
* include/std/unordered_set: Likewise.
* include/std/vector: Likewise.
* testsuite/17_intro/headers/c++1998/profile_mode.cc: New test.
* testsuite/17_intro/headers/c++2011/profile_mode.cc: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276152 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago * osint.adb (OS_Time_To_GNAT_Time): Remove dependency on To_C/To_Ada
charlet [Thu, 26 Sep 2019 14:10:46 +0000 (14:10 +0000)] 
* osint.adb (OS_Time_To_GNAT_Time): Remove dependency on To_C/To_Ada

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276151 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago2019-09-26 Richard Biener <rguenther@suse.de>
rguenth [Thu, 26 Sep 2019 13:52:45 +0000 (13:52 +0000)] 
2019-09-26  Richard Biener  <rguenther@suse.de>

* tree-vect-loop.c (vect_analyze_loop_operations): Also call
vectorizable_reduction for vect_double_reduction_def.
(vect_transform_loop): Likewise.
(vect_create_epilog_for_reduction): Move double-reduction
PHI creation and preheader argument setting of PHIs ...
(vectorizable_reduction): ... here.  Also process
vect_double_reduction_def PHIs, creating the vectorized
PHI nodes, remembering the scalar adjustment computed for
the epilogue in STMT_VINFO_REDUC_EPILOGUE_ADJUSTMENT.
Remember the original reduction code in STMT_VINFO_REDUC_CODE.
* tree-vectorizer.c (vec_info::new_stmt_vec_info):
Initialize STMT_VINFO_REDUC_CODE.
* tree-vectorizer.h (_stmt_vec_info::reduc_epilogue_adjustment): New.
(_stmt_vec_info::reduc_code): Likewise.
(STMT_VINFO_REDUC_EPILOGUE_ADJUSTMENT): Likewise.
(STMT_VINFO_REDUC_CODE): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276150 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoAdd myself as an aarch64 maintainer
rsandifo [Thu, 26 Sep 2019 10:54:50 +0000 (10:54 +0000)] 
Add myself as an aarch64 maintainer

2019-09-26  Richard Sandiford  <richard.sandiford@arm.com>

* MAINTAINERS: Add myself as an aarch64 maintainer.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276149 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agodriver: Also prune joined switches with negation
ktkachov [Thu, 26 Sep 2019 10:52:42 +0000 (10:52 +0000)] 
driver: Also prune joined switches with negation

When -march=native is passed to host_detect_local_cpu to the backend,
it overrides all command lines after it.  That means

$ gcc -march=native -march=armv8-a

is treated as

$ gcc -march=armv8-a -march=native

Prune joined switches with Negative and RejectNegative to allow
-march=armv8-a to override previous -march=native on command-line.

This is the same fix as was applied for i386 in SVN revision 269164 but for
aarch64 and arm.

2019-09-26  Matt Turner  <mattst88@gmail.com>

PR driver/69471
* config/aarch64/aarch64.opt (march=): Add Negative(march=).
(mtune=): Add Negative(mtune=).
(mcpu=): Add Negative(mcpu=).
* config/arm/arm.opt: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276148 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[arm] Implement DImode SIMD32 intrinsics
ktkachov [Thu, 26 Sep 2019 10:48:02 +0000 (10:48 +0000)] 
[arm] Implement DImode SIMD32 intrinsics

This patch implements some more SIMD32, but these ones have a DImode result+addend.
Apart from that there's nothing too exciting about them.

Bootstrapped and tested on arm-none-linux-gnueabihf.

* config/arm/arm.md (arm_<simd32_op>): New define_insn.
* config/arm/arm_acle.h (__smlald, __smlaldx, __smlsld, __smlsldx):
Define.
* config/arm/arm_acle.h: Define builtins for the above.
* config/arm/iterators.md (SIMD32_DIMODE): New int_iterator.
(simd32_op): Handle the above.
* config/arm/unspecs.md: Define unspecs for the above.

* gcc.target/arm/acle/simd32.c: Update test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276147 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[arm] Implement non-GE-setting SIMD32 intrinsics
ktkachov [Thu, 26 Sep 2019 10:46:14 +0000 (10:46 +0000)] 
[arm] Implement non-GE-setting SIMD32 intrinsics

This patch is part of a series to implement the SIMD32 ACLE intrinsics [1].
The interesting parts implementation-wise involve adding support for setting and reading
the Q bit for saturation and the GE-bits for the packed SIMD instructions.
That will come in a later patch.

For now, this patch implements the other intrinsics that don't need anything special ;
just a mapping from arm_acle.h function to builtin to RTL expander+unspec.

I've compressed as many as I could with iterators so that we end up needing only 3
new define_insns.

Bootstrapped and tested on arm-none-linux-gnueabihf.

[1] https://developer.arm.com/docs/101028/latest/data-processing-intrinsics

* config/arm/arm.md (arm_<simd32_op>): New define_insn.
(arm_<sup>xtb16): Likewise.
(arm_usada8): Likewise.
* config/arm/arm_acle.h (__qadd8, __qsub8, __shadd8, __shsub8,
__uhadd8, __uhsub8, __uqadd8, __uqsub8, __qadd16, __qasx, __qsax,
__qsub16, __shadd16, __shasx, __shsax, __shsub16, __uhadd16, __uhasx,
__uhsax, __uhsub16, __uqadd16, __uqasx, __uqsax, __uqsub16, __sxtab16,
__sxtb16, __uxtab16, __uxtb16): Define.
* config/arm/arm_acle_builtins.def: Define builtins for the above.
* config/arm/unspecs.md: Define unspecs for the above.
* config/arm/iterators.md (SIMD32_NOGE_BINOP): New int_iterator.
(USXTB16): Likewise.
(simd32_op): New int_attribute.
(sup): Handle UNSPEC_SXTB16, UNSPEC_UXTB16.
* doc/sourcebuild.exp (arm_simd32_ok): Document.

* lib/target-supports.exp
(check_effective_target_arm_simd32_ok_nocache): New procedure.
(check_effective_target_arm_simd32_ok): Likewise.
(add_options_for_arm_simd32): Likewise.
* gcc.target/arm/acle/simd32.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276146 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[arm] Update FP16 tests
rsandifo [Thu, 26 Sep 2019 10:43:09 +0000 (10:43 +0000)] 
[arm] Update FP16 tests

My recent assemble_real patch (r275873) meant that we now output
negative FP16 constants in the same way as we'd output an integer
subreg of them.  This patch updates gcc.target/arm/fp16-* accordingly.

2019-09-26  Richard Sandiford  <richard.sandiford@arm.com>

gcc/testsuite/
* gcc.target/arm/fp16-compile-alt-3.c: Expect (__fp16) -2.0
to be written as a negative short rather than a positive one.
* gcc.target/arm/fp16-compile-ieee-3.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276145 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[PATCH] Fix quoting in a call to internal_error
jamborm [Thu, 26 Sep 2019 10:39:48 +0000 (10:39 +0000)] 
[PATCH] Fix quoting in a call to internal_error

2019-09-26  Martin Jambor  <mjambor@suse.cz>

* ipa-sra.c (verify_splitting_accesses): Fix quoting in a call to
internal_error.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276144 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[PATCH] Fix continue condition in IPA-SRA's process_scan_results
jamborm [Thu, 26 Sep 2019 10:32:45 +0000 (10:32 +0000)] 
[PATCH] Fix continue condition in IPA-SRA's process_scan_results

2019-09-26  Martin Jambor  <mjambor@suse.cz>

* ipa-sra.c (process_scan_results): Fix continue condition.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276143 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoAdd myself as aarch64 port maintainer
ktkachov [Thu, 26 Sep 2019 10:10:17 +0000 (10:10 +0000)] 
Add myself as aarch64 port maintainer

* MAINTAINERS: Add myself as aarch64 maintainer.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276142 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoAdd TODO_update_ssa for SLP BB vectorization (PR tree-optimization/91885).
marxin [Thu, 26 Sep 2019 07:40:09 +0000 (07:40 +0000)] 
Add TODO_update_ssa for SLP BB vectorization (PR tree-optimization/91885).

2019-09-26  Martin Liska  <mliska@suse.cz>

PR tree-optimization/91885
* tree-vectorizer.c (try_vectorize_loop_1):
Add TODO_update_ssa_only_virtuals similarly to what slp
pass does.
2019-09-26  Martin Liska  <mliska@suse.cz>

PR tree-optimization/91885
* gcc.dg/pr91885.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276141 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[AArch64] Fix cost of (plus ... (const_int -C))
rsandifo [Thu, 26 Sep 2019 07:38:21 +0000 (07:38 +0000)] 
[AArch64] Fix cost of (plus ... (const_int -C))

The PLUS handling in aarch64_rtx_costs only checked for nonnegative
constants, meaning that simple immediate subtractions like:

  (set (reg R1) (plus (reg R2) (const_int -8)))

had a cost of two instructions.

2019-09-26  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* config/aarch64/aarch64.c (aarch64_rtx_costs): Use
aarch64_plus_immediate rather than aarch64_uimm12_shift
to test for valid PLUS immediates.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276140 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoDaily bump.
gccadmin [Thu, 26 Sep 2019 00:16:23 +0000 (00:16 +0000)] 
Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276139 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agolibgcc: Rebuild autoconf files
rth [Wed, 25 Sep 2019 23:04:58 +0000 (23:04 +0000)] 
libgcc: Rebuild autoconf files

        * config.in, configure: Re-rebuild with stock autoconf 2.69,
        not the ubuntu modified 2.69.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276135 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoaarch64: Configure for sys/auxv.h in libgcc for lse-init.c
rth [Wed, 25 Sep 2019 22:51:55 +0000 (22:51 +0000)] 
aarch64: Configure for sys/auxv.h in libgcc for lse-init.c

PR target/91833
* config/aarch64/lse-init.c: Include auto-target.h.  Disable
initialization if !HAVE_SYS_AUXV_H.
* configure.ac (AC_CHECK_HEADERS): Add sys/auxv.h.
* config.in, configure: Rebuild.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276134 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoaarch64: Fix store-exclusive in load-operate LSE helpers
rth [Wed, 25 Sep 2019 21:48:41 +0000 (21:48 +0000)] 
aarch64: Fix store-exclusive in load-operate LSE helpers

PR target/91834
* config/aarch64/lse.S (LDNM): Ensure STXR output does not
overlap the inputs.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276133 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoColorize %L and %C text to match diagnostic_show_locus (PR fortran/91426)
dmalcolm [Wed, 25 Sep 2019 19:32:44 +0000 (19:32 +0000)] 
Colorize %L and %C text to match diagnostic_show_locus (PR fortran/91426)

gcc/fortran/ChangeLog:
PR fortran/91426
* error.c (curr_diagnostic): New static variable.
(gfc_report_diagnostic): New static function.
(gfc_warning): Replace call to diagnostic_report_diagnostic with
call to gfc_report_diagnostic.
(gfc_format_decoder): Colorize the text of %L and %C to match the
colorization used by diagnostic_show_locus.
(gfc_warning_now_at): Replace call to diagnostic_report_diagnostic with
call to gfc_report_diagnostic.
(gfc_warning_now): Likewise.
(gfc_warning_internal): Likewise.
(gfc_error_now): Likewise.
(gfc_fatal_error): Likewise.
(gfc_error_opt): Likewise.
(gfc_internal_error): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276132 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoRemove newly unused function and variable in tree-sra
jamborm [Wed, 25 Sep 2019 14:24:33 +0000 (14:24 +0000)] 
Remove newly unused function and variable in tree-sra

Hi,

Martin and his clang warnings discovered that I forgot to remove a
static inline function and a variable when ripping out the old IPA-SRA
from tree-sra.c and both are now unused.  Thus I am doing that now
with the patch below which I will commit as obvious (after including
it in a round of a bootstrap and testing on an x86_64-linux).

Thanks,

Martin

2019-09-25  Martin Jambor  <mjambor@suse.cz>

* tree-sra.c (no_accesses_p): Remove.
(no_accesses_representant): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276128 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago PR c++/91877 - ICE with converting member of packed struct.
mpolacek [Wed, 25 Sep 2019 13:53:04 +0000 (13:53 +0000)] 
PR c++/91877 - ICE with converting member of packed struct.
* call.c (convert_like_real): Use similar_type_p in an assert.

* g++.dg/conversion/packed1.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276127 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[AArch64] Use implementation namespace consistently in arm_neon.h
ktkachov [Wed, 25 Sep 2019 13:40:20 +0000 (13:40 +0000)] 
[AArch64] Use implementation namespace consistently in arm_neon.h

We're somewhat inconsistent in arm_neon.h when it comes to using the implementation namespace for local
identifiers. This means things like:
#define hash_abcd 0
#define hash_e 1
#define wk 2

#include "arm_neon.h"

uint32x4_t
foo (uint32x4_t a, uint32_t b, uint32x4_t c)
{
  return vsha1cq_u32 (a, b, c);
}

don't compile.
This patch fixes these issues throughout the whole of arm_neon.h
Bootstrapped and tested on aarch64-none-linux-gnu.
The advsimd-intrinsics.exp tests pass just fine.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276125 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago2019-09-25 Richard Biener <rguenther@suse.de>
rguenth [Wed, 25 Sep 2019 13:09:25 +0000 (13:09 +0000)] 
2019-09-25  Richard Biener  <rguenther@suse.de>

PR tree-optimization/91896
* tree-vect-loop.c (vectorizable_reduction): The single
def-use cycle optimization cannot apply when there's more
than one pattern stmt involved.

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276123 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[AARCH64] Add support for new control bits CTR_EL0.DIC and CTR_EL0.IDC
ktkachov [Wed, 25 Sep 2019 12:38:59 +0000 (12:38 +0000)] 
[AARCH64] Add support for new control bits CTR_EL0.DIC and CTR_EL0.IDC

The DCache clean & ICache invalidation requirements for instructions
to be data coherence are discoverable through new fields in CTR_EL0.
Let's support the two bits if they are enabled, the CPU core will
not execute the unnecessary DCache clean or Icache Invalidation
instructions.

2019-09-25  Shaokun Zhang  <zhangshaokun@hisilicon.com>

* config/aarch64/sync-cache.c (__aarch64_sync_cache_range): Add support for
CTR_EL0.IDC and CTR_EL0.DIC.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276122 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoImplement LWG 3296 for basic_regex::assign
redi [Wed, 25 Sep 2019 12:31:53 +0000 (12:31 +0000)] 
Implement LWG 3296 for basic_regex::assign

* include/bits/regex.h
(basic_regex::assign(const C*, size_t, flag_type)): Add default
argument (LWG 3296).
* testsuite/28_regex/basic_regex/assign/char/lwg3296.cc: New test.
* testsuite/28_regex/basic_regex/assign/wchar_t/lwg3296.cc: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276121 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoMove a target test-case to generic folder.
marxin [Wed, 25 Sep 2019 10:07:11 +0000 (10:07 +0000)] 
Move a target test-case to generic folder.

2019-09-25  Martin Liska  <mliska@suse.cz>

* gcc.target/s390/pr91014.c: Move to ...
* gcc.dg/pr91014.c: ... this.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276120 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago/cp
paolo [Wed, 25 Sep 2019 08:50:29 +0000 (08:50 +0000)] 
/cp
2019-09-25  Paolo Carlini  <paolo.carlini@oracle.com>

* name-lookup.c (check_extern_c_conflict): Use DECL_SOURCE_LOCATION.
(check_local_shadow): Use it in three additional places.

/testsuite
2019-09-25  Paolo Carlini  <paolo.carlini@oracle.com>

* g++.dg/diagnostic/redeclaration-1.C: New.
* g++.dg/lookup/extern-c-hidden.C: Test location(s) too.
* g++.dg/lookup/extern-c-redecl.C: Likewise.
* g++.dg/lookup/extern-c-redecl6.C: Likewise.
* g++.old-deja/g++.other/using9.C: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276119 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoFix location of dependent member CALL_EXPR.
jason [Wed, 25 Sep 2019 03:27:26 +0000 (03:27 +0000)] 
Fix location of dependent member CALL_EXPR.

The break here was skipping over the code that sets EXPR_LOCATION on the
call expressions, for no good reason.

* parser.c (cp_parser_postfix_expression): Do set location of
dependent member call.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276112 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoDaily bump.
gccadmin [Wed, 25 Sep 2019 00:16:42 +0000 (00:16 +0000)] 
Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276111 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[Darwin, PPC, Mode Iterators 1/n] Use mode iterators in picbase patterns.
iains [Tue, 24 Sep 2019 19:28:08 +0000 (19:28 +0000)] 
[Darwin, PPC, Mode Iterators 1/n] Use mode iterators in picbase patterns.

This switches the picbase load and reload patterns to use the 'P' mode
iterator instead of writing an SI and DI pattern for each.

gcc/ChangeLog:

2019-09-24  Iain Sandoe  <iain@sandoe.co.uk>

* config/rs6000/rs6000.md (load_macho_picbase_<mode>): New, using
the 'P' mode iterator, replacing the (removed) SI and DI variants.
(reload_macho_picbase_<mode>): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276107 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[Darwin, PPC, Mode Iterators 0/n] Make iterators visible to darwin.md.
iains [Tue, 24 Sep 2019 19:15:01 +0000 (19:15 +0000)] 
[Darwin, PPC, Mode Iterators 0/n] Make iterators visible to darwin.md.

As a clean-up, we want to be able to use mode iterators in darwin.md.
This patch moves the include point for the Darwin include until after
the definition of the mode iterators and attrs.  No functional change
intended.

gcc/ChangeLog:

2019-09-24  Iain Sandoe  <iain@sandoe.co.uk>

* config/rs6000/rs6000.md: Move darwin.md include until
after the definition of the mode iterators.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276106 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoPR tree-optimization/91570 - ICE in get_range_strlen_dynamic on a conditional
msebor [Tue, 24 Sep 2019 19:04:54 +0000 (19:04 +0000)] 
PR tree-optimization/91570 - ICE in get_range_strlen_dynamic on a conditional
of two strings

gcc/Changelog:
* tree-ssa-strlen.c (get_range_strlen_dynamic): Handle null and
non-constant minlen, maxlen and maxbound.

gcc/testsuite/Changelog:
* gcc.dg/pr91570.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276105 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago PR c++/91868 - improve -Wshadow location.
mpolacek [Tue, 24 Sep 2019 14:40:24 +0000 (14:40 +0000)] 
PR c++/91868 - improve -Wshadow location.
* name-lookup.c (check_local_shadow): Use DECL_SOURCE_LOCATION
instead of input_location.

* g++.dg/warn/Wshadow-16.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276103 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago PR c++/91845 - ICE with invalid pointer-to-member.
mpolacek [Tue, 24 Sep 2019 14:38:53 +0000 (14:38 +0000)] 
PR c++/91845 - ICE with invalid pointer-to-member.
* expr.c (mark_use): Use error_operand_p.
* typeck2.c (build_m_component_ref): Check error_operand_p after
calling mark_[lr]value_use.

* g++.dg/cpp1y/pr91845.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276102 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoRemove check for impossible condition in std::variant::index()
redi [Tue, 24 Sep 2019 14:17:08 +0000 (14:17 +0000)] 
Remove check for impossible condition in std::variant::index()

The __index_type is only ever unsigned char or unsigned short, so not
the same type as size_t.

* include/std/variant (variant::index()): Remove impossible case.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276100 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago2019-09-24 Richard Biener <rguenther@suse.de>
rguenth [Tue, 24 Sep 2019 13:43:07 +0000 (13:43 +0000)] 
2019-09-24  Richard Biener  <rguenther@suse.de>

* tree-vectorizer.h (_stmt_vec_info::const_cond_reduc_code):
Rename to...
(_stmt_vec_info::cond_reduc_code): ... this.
(_stmt_vec_info::induc_cond_initial_val): Add.
(STMT_VINFO_VEC_CONST_COND_REDUC_CODE): Rename to...
(STMT_VINFO_VEC_COND_REDUC_CODE): ... this.
(STMT_VINFO_VEC_INDUC_COND_INITIAL_VAL): Add.
* tree-vectorizer.c (vec_info::new_stmt_vec_info): Adjust.
* tree-vect-loop.c (get_initial_def_for_reduction): Pass in
the reduction code.
(vect_create_epilog_for_reduction): Drop special
induction condition reduction params, pass in reduction code
and simplify.
(vectorizable_reduction): Perform condition reduction kind
selection only at analysis time.  Adjust passing on state.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276099 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[AArch64] Don't split 64-bit constant stores to volatile location
ktkachov [Tue, 24 Sep 2019 13:39:40 +0000 (13:39 +0000)] 
[AArch64] Don't split 64-bit constant stores to volatile location

The optimisation to optimise:
   typedef unsigned long long u64;

   void bar(u64 *x)
   {
     *x = 0xabcdef10abcdef10;
   }

from:
        mov     x1, 61200
        movk    x1, 0xabcd, lsl 16
        movk    x1, 0xef10, lsl 32
        movk    x1, 0xabcd, lsl 48
        str     x1, [x0]

into:
        mov     w1, 61200
        movk    w1, 0xabcd, lsl 16
        stp     w1, w1, [x0]

ends up producing two distinct stores if the destination is volatile:
  void bar(u64 *x)
  {
    *(volatile u64 *)x = 0xabcdef10abcdef10;
  }
        mov     w1, 61200
        movk    w1, 0xabcd, lsl 16
        str     w1, [x0]
        str     w1, [x0, 4]

because we end up not merging the strs into an stp. It's questionable whether the use of STP is valid for volatile in the first place.
To avoid unnecessary pain in a context where it's unlikely to be performance critical [1] (use of volatile), this patch avoids this
transformation for volatile destinations, so we produce the original single STR-X.

Bootstrapped and tested on aarch64-none-linux-gnu.

[1] https://lore.kernel.org/lkml/20190821103200.kpufwtviqhpbuv2n@willie-the-truck/

* config/aarch64/aarch64.md (mov<mode>): Don't call
aarch64_split_dimode_const_store on volatile MEM.

* gcc.target/aarch64/nosplit-di-const-volatile_1.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276098 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[GCC][PATCH][AArch64] Update hwcap string for fp16fml in aarch64-option-extensions.def
ktkachov [Tue, 24 Sep 2019 13:31:04 +0000 (13:31 +0000)] 
[GCC][PATCH][AArch64] Update hwcap string for fp16fml in aarch64-option-extensions.def

This is a minor patch that fixes the entry for the fp16fml feature in
GCC's aarch64-option-extensions.def.

As can be seen in the Linux sources here
https://github.com/torvalds/linux/blob/master/arch/arm64/kernel/cpuinfo.c#L69
the correct string is "asimdfhm", not "asimdfml".

Cross-compiled and tested on aarch64-none-linux-gnu.

2019-09-24  Stamatis Markianos-Wright  <stam.markianos-wright@arm.com>

* config/aarch64/aarch64-option-extensions.def (fp16fml):
Update hwcap string for fp16fml.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276097 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago PR middle-end/91866
jakub [Tue, 24 Sep 2019 12:45:13 +0000 (12:45 +0000)] 
PR middle-end/91866
* match.pd (((T)(A)) + CST -> (T)(A + CST)): Formatting fix.
(((T)(A + CST1)) + CST2 -> (T)(A) + (T)CST1 + CST2): New optimization.

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276096 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoUse more switch statements.
marxin [Tue, 24 Sep 2019 11:38:29 +0000 (11:38 +0000)] 
Use more switch statements.

2019-09-24  Martin Liska  <mliska@suse.cz>

* cfgexpand.c (gimple_assign_rhs_to_tree): Use switch statement
instead of if-elseif-elseif-...
* gimple-expr.c (extract_ops_from_tree): Likewise.
* gimple.c (get_gimple_rhs_num_ops): Likewise.
* tree-ssa-forwprop.c (rhs_to_tree): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276095 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[PR 91831] Copy PARM_DECLs of artificial thunks
jamborm [Tue, 24 Sep 2019 11:20:57 +0000 (11:20 +0000)] 
[PR 91831] Copy PARM_DECLs of artificial thunks

Hi,

I am quite surprised I did not catch this before but the new
ipa-param-manipulation does not copy PARM_DECLs when creating
artificial thinks (I think it originally did but then I somehow
removed during one cleanups).  Fixed by adding the capability at the
natural place.  It is triggered whenever context of the PARM_DECL that
is just taken from the original function does not match the target
fndecl rather than by some constructor parameter because in such
situation it is always the correct thing to do.

Bootstrapped and tested on x86_64-linux.  OK for trunk?

Thanks,

Martin

2019-09-24  Martin Jambor  <mjambor@suse.cz>

PR ipa/91831
* ipa-param-manipulation.c (carry_over_param): Make a method of
ipa_param_body_adjustments, remove now unnecessary argument.  Also copy
in case of a context mismatch.
(ipa_param_body_adjustments::common_initialization): Adjust call to
carry_over_param.
* ipa-param-manipulation.h (class ipa_param_body_adjustments): Add
private method carry_over_param.

testsuite/
* g++.dg/ipa/pr91831.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276094 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[PR 91832] Do not ICE on negative offsets in ipa-sra
jamborm [Tue, 24 Sep 2019 11:16:57 +0000 (11:16 +0000)] 
[PR 91832] Do not ICE on negative offsets in ipa-sra

Hi,

IPA-SRA asserts that an offset obtained from get_ref_base_and_extent
is non-negative (after it verifies it is based on a parameter).  That
assumption is invalid as the testcase shows.  One could probably also write a
testcase with defined behavior, but unless I see a reasonable one
where the transformation is really desirable, I'd like to just punt on
those cases.

Bootstrapped and tested on x86_64-linux.  OK for trunk?

Thanks,

Martin

2019-09-24  Martin Jambor  <mjambor@suse.cz>

PR ipa/91832
* ipa-sra.c (scan_expr_access): Check that offset is non-negative.

testsuite/
* gcc.dg/ipa/pr91832.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276093 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago2019-09-24 Richard Biener <rguenther@suse.de>
rguenth [Tue, 24 Sep 2019 10:10:49 +0000 (10:10 +0000)] 
2019-09-24  Richard Biener  <rguenther@suse.de>

* tree-ssa-sccvn.c (vn_reference_lookup_3): Valueize MEM_REF
base.

* gcc.dg/torture/20190924-1.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276092 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoPR libstdc++/91871 fix Clang warnings in testsuite
redi [Tue, 24 Sep 2019 10:09:18 +0000 (10:09 +0000)] 
PR libstdc++/91871 fix Clang warnings in testsuite

PR libstdc++/91871
* testsuite/util/testsuite_hooks.h
(conversion::iterator_to_const_iterator()): Do not return an invalid
iterator. Test direct-initialization and direct-list-initialization
as well as implicit conversion.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276091 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoDaily bump.
gccadmin [Tue, 24 Sep 2019 00:16:40 +0000 (00:16 +0000)] 
Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276089 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoGNAT/testsuite: Pass the `ada' option to target compilation
macro [Mon, 23 Sep 2019 23:19:29 +0000 (23:19 +0000)] 
GNAT/testsuite: Pass the `ada' option to target compilation

Pass the `ada' option to DejaGNU's `target_compile' procedure, which by
default calls `default_target_compile', so that it arranges for an Ada
compilation rather the default of C.  We set the compiler to `gnatmake'
manually here, so that part of the logic in `default_target_compile' is
not used, but it affects other settings, such as the use of `adaflags'.

gcc/testsuite/
* lib/gnat.exp (gnat_target_compile): Pass the `ada' option to
`target_compile'.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276085 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoRS6000, add xxswapd support
carll [Mon, 23 Sep 2019 20:08:13 +0000 (20:08 +0000)] 
RS6000, add xxswapd support

gcc/ChangeLog:

2019-09-23  Carl Love  <cel@us.ibm.com>

* config/rs6000/vsx.md (xxswapd_v4si, xxswapd_v8hi, xxswapd_v16qi):
New define_insn.
(vsx_xxpermdi4_le_<mode> for VSX_W, vsx_xxpermdi8_le_V8HI,
vsx_xxpermdi16_le_V16QI): Removed define_insn.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276065 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago/cp
paolo [Mon, 23 Sep 2019 19:29:55 +0000 (19:29 +0000)] 
/cp
2019-09-23  Paolo Carlini  <paolo.carlini@oracle.com>

* pt.c (check_explicit_specialization): Use cp_expr_loc_or_input_loc.
(process_partial_specialization): Likewise.
(convert_nontype_argument_function): Likewise.
(invalid_tparm_referent_p): Likewise.
(convert_template_argument): Likewise.
(check_valid_ptrmem_cst_expr): Tidy.

/testsuite
2019-09-23  Paolo Carlini  <paolo.carlini@oracle.com>

* g++.dg/cpp0x/pr68724.C: Check location(s) too.
* g++.dg/cpp0x/variadic38.C: Likewise.
* g++.dg/cpp1z/nontype2.C: Likewise.
* g++.dg/parse/explicit1.C: Likewise.
* g++.dg/template/crash11.C: Likewise.
* g++.dg/template/non-dependent8.C: Likewise.
* g++.dg/template/nontype-array1.C: Likewise.
* g++.dg/template/nontype3.C: Likewise.
* g++.dg/template/nontype8.C: Likewise.
* g++.dg/template/partial5.C: Likewise.
* g++.dg/template/spec33.C: Likewise.
* g++.old-deja/g++.pt/memtemp64.C: Likewise.
* g++.old-deja/g++.pt/spec20.C: Likewise.
* g++.old-deja/g++.pt/spec21.C: Likewise.
* g++.old-deja/g++.robertl/eb103.C: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276064 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago2019-09-23 Sandra Loosemore <sandra@codesourcery.com>
sandra [Mon, 23 Sep 2019 19:28:10 +0000 (19:28 +0000)] 
2019-09-23  Sandra Loosemore  <sandra@codesourcery.com>

gcc/testsuite/
* lib/target-supports.exp
(check_effective_target_arm_vfp_ok_nocache): New.
(check_effective_target_arm_vfp_ok): Rewrite.
(add_options_for_arm_vfp): New.
(add_options_for_sqrt_insn): Add options for arm.
* gcc.target/arm/attr-neon-builtin-fail2.c: Use dg-add-options.
* gcc.target/arm/short-vfp-1.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276063 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago PR c++/91809 - bit-field and ellipsis.
jason [Mon, 23 Sep 2019 17:48:00 +0000 (17:48 +0000)] 
PR c++/91809 - bit-field and ellipsis.

decay_conversion converts a bit-field access to its declared type, which
isn't what we want here; it even has a comment that the caller is expected
to have already used default_conversion to perform integral promotion.  This
function handles arithmetic promotion differently, but we still don't want
to call decay_conversion before that happens.

* call.c (convert_arg_to_ellipsis): Don't call decay_conversion for
arithmetic arguments.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276059 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago PR c++/91844 - Implement CWG 2352, Similar types and reference binding.
mpolacek [Mon, 23 Sep 2019 17:37:54 +0000 (17:37 +0000)] 
PR c++/91844 - Implement CWG 2352, Similar types and reference binding.
* call.c (reference_related_p): Use similar_type_p instead of
same_type_p.
(reference_compatible_p): Update implementation to match CWG 2352.
* cp-tree.h (similar_type_p): Declare.
* typeck.c (similar_type_p): New.

* g++.dg/cpp0x/pr33930.C: Add dg-error.
* g++.dg/cpp0x/ref-bind1.C: New test.
* g++.dg/cpp0x/ref-bind2.C: New test.
* g++.dg/cpp0x/ref-bind3.C: New test.
* g++.old-deja/g++.pt/spec35.C: Remove dg-error.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276058 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[arm] Add missing Makefile dependency on arm_acle_builtins.def
ktkachov [Mon, 23 Sep 2019 16:28:09 +0000 (16:28 +0000)] 
[arm] Add missing Makefile dependency on arm_acle_builtins.def

arm-builtins.o is missing a Makefile dependency on arm_acle_builtins.def
which can cause inconsistent rebuilds
when adding builtins in there.

This patch adds the right Makefile-foo to fix that.

* config/arm/t-arm (arm-builtins.o): Add dependency on
arm_acle_builtins.def.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276057 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoPR libstdc++/91788 improve codegen for std::variant<T...>::index()
redi [Mon, 23 Sep 2019 15:54:16 +0000 (15:54 +0000)] 
PR libstdc++/91788 improve codegen for std::variant<T...>::index()

If __index_type is a smaller type than size_t, then the result of
size_t(__index_type(-1)) is not equal to size_t(-1), but to an incorrect
value such as size_t(255) or size_t(65535). The old implementation of
variant<T...>::index() uses (size_t(__index_type(_M_index + 1)) - 1)
which is always correct, but generates suboptimal code for many common
cases.

When the __index_type is size_t or valueless variants are not possible
we can just return the value directly.

When the number of alternatives is sufficiently small the result of
converting the _M_index value to the corresponding signed type will be
either non-negative or -1. In those cases converting to the signed type
and then to size_t will either produce the correct positive value or
will sign extend -1 to (size_t)-1 as desired.

For the remaining case we keep the existing arithmetic operations to
ensure the correct result.

PR libstdc++/91788 (partial)
* include/std/variant (variant::index()): Improve codegen for cases
where conversion to size_t already works correctly.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276056 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoFix non-canonical CONST_INTs in altivec_copysign_v4sf3 (PR91823)
rsandifo [Mon, 23 Sep 2019 11:56:47 +0000 (11:56 +0000)] 
Fix non-canonical CONST_INTs in altivec_copysign_v4sf3 (PR91823)

The pattern was generating zero-extended rather than sign-extended
CONST_INTs.

2019-09-23  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
PR target/91823
* config/rs6000/altivec.md (altivec_copysign_v4sf3): Generate
canonical CONST_INTs.  Use gen_rtvec.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276055 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago2019-09-23 Richard Biener <rguenther@suse.de>
rguenth [Mon, 23 Sep 2019 10:21:45 +0000 (10:21 +0000)] 
2019-09-23  Richard Biener  <rguenther@suse.de>

* tree-vect-loop.c (get_initial_def_for_reduction): Simplify,
avoid adjusting by + 0 or * 1.
(vect_create_epilog_for_reduction): Get reduction code only
when necessary.  Deal with adjustment_def only when necessary.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276054 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoSkip gcc.dg/ucnid-5-utf8.c unless ucn is supported
ro [Mon, 23 Sep 2019 09:29:21 +0000 (09:29 +0000)] 
Skip gcc.dg/ucnid-5-utf8.c unless ucn is supported

* gcc.dg/ucnid-5-utf8.c: Skip unless ucn is supported.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276053 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[AArch64] Fix memmodel index in aarch64_store_exclusive_pair
rsandifo [Mon, 23 Sep 2019 09:24:03 +0000 (09:24 +0000)] 
[AArch64] Fix memmodel index in aarch64_store_exclusive_pair

Found via an rtx checking failure.

2019-09-23  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* config/aarch64/atomics.md (aarch64_store_exclusive_pair): Fix
memmodel index.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276052 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago2019-09-23 Paul Thomas <pault@gcc.gnu.org>
pault [Mon, 23 Sep 2019 09:19:10 +0000 (09:19 +0000)] 
2019-09-23  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/91729
* match.c (gfc_match_select_rank): Initialise 'as' to NULL.
Check for a symtree in the selector expression before trying to
assign a value to 'as'. Revert to gfc_error and go to cleanup
after setting a MATCH_ERROR.

2019-09-23  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/91729
* gfortran.dg/select_rank_2.f90 : Add two more errors in foo2.
* gfortran.dg/select_rank_3.f90 : New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276051 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoUse underscore in IPA-SRA LTO section name (PR ipa/91835)
ro [Mon, 23 Sep 2019 09:17:57 +0000 (09:17 +0000)] 
Use underscore in IPA-SRA LTO section name (PR ipa/91835)

PR ipa/91835
* lto-section-in.c (lto_section_name): Use "ipa_sra" instead of
"ipa-sra".

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276050 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoProvide Task_Info.Number_Of_Processors on Solaris
ro [Mon, 23 Sep 2019 09:13:21 +0000 (09:13 +0000)] 
Provide Task_Info.Number_Of_Processors on Solaris

gcc/ada:
* libgnarl/s-osinte__solaris.ads (sysconf): Declare.
(SC_NPROCESSORS_ONLN): Define.
* libgnarl/s-tasinf__solaris.ads (Number_Of_Processors): Declare.
* libgnarl/s-tasinf__solaris.adb (N_CPU): New variable.
(Number_Of_Processors): New function.

gcc/testsuite:
* gnat.dg/system_info1.adb: Sort dg-do target list.
Add *-*-solaris2.*.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276049 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago * config/abi/post/riscv64-linux-gnu/baseline_symbols.txt: Update.
schwab [Mon, 23 Sep 2019 08:33:10 +0000 (08:33 +0000)] 
* config/abi/post/riscv64-linux-gnu/baseline_symbols.txt: Update.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276048 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago * gcc-interface/trans.c (Regular_Loop_to_gnu): Do not rotate the loop
ebotcazou [Mon, 23 Sep 2019 08:31:52 +0000 (08:31 +0000)] 
* gcc-interface/trans.c (Regular_Loop_to_gnu): Do not rotate the loop
if -Og is enabled.
(build_return_expr): Do not perform NRV if -Og is enabled.
(Subprogram_Body_to_gnu): Likewise.
(gnat_to_gnu) <N_Simple_Return_Statement>: Likewise.
(Handled_Sequence_Of_Statements_to_gnu): Do not inline finalizers if
-Og is enabled.
* gcc-interface/utils.c (convert_to_index_type): Return early if -Og
is enabled.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276047 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoFix typo
ebotcazou [Mon, 23 Sep 2019 08:28:36 +0000 (08:28 +0000)] 
Fix typo

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276046 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago * gcc-interface/trans.c (gnat_compile_time_expr_list): New variable.
ebotcazou [Mon, 23 Sep 2019 08:27:40 +0000 (08:27 +0000)] 
* gcc-interface/trans.c (gnat_compile_time_expr_list): New variable.
(Pragma_to_gnu): Rename local variable.  Save the (first) expression
of pragma Compile_Time_{Error|Warning} for later processing.
(Compilation_Unit_to_gnu): Process the expressions saved above.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276045 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago * gcc-interface/trans.c (Attribute_to_gnu): Test Can_Use_Internal_Rep
ebotcazou [Mon, 23 Sep 2019 08:08:08 +0000 (08:08 +0000)] 
* gcc-interface/trans.c (Attribute_to_gnu): Test Can_Use_Internal_Rep
on the underlying type of the node.
(Call_to_gnu): Likewise with the type of the prefix.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276041 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago * gcc-interface/decl.c (components_to_record): Do not reorder fields
ebotcazou [Mon, 23 Sep 2019 07:45:58 +0000 (07:45 +0000)] 
* gcc-interface/decl.c (components_to_record): Do not reorder fields
in packed record types if they contain fixed-size fields that cannot
be laid out in a packed manner.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276036 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoDaily bump.
gccadmin [Mon, 23 Sep 2019 00:16:24 +0000 (00:16 +0000)] 
Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276035 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[Darwin, PPC] Clean up symbol stubs code.
iains [Sun, 22 Sep 2019 19:24:14 +0000 (19:24 +0000)] 
[Darwin, PPC] Clean up symbol stubs code.

Remove dead code for the the TARGET_LINK_STACK which is not
applicable to Darwin. Use MACHOPIC_PURE instead of a hard-wired
PIC level to determine the stub kind.

Merge common code blocks.

gcc/ChangeLog:

2019-09-22  Iain Sandoe  <iain@sandoe.co.uk>

* config/rs6000/rs6000.c (machopic_output_stub): Remove dead
code.  Merge code blocks with common conditionals. Use declared
macro instead of a magic number for PIC level.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276030 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago PR c++/91819 - ICE with operator++ and enum.
mpolacek [Sun, 22 Sep 2019 12:35:00 +0000 (12:35 +0000)] 
PR c++/91819 - ICE with operator++ and enum.
* call.c (build_new_op_1): Set arg2_type.

* g++.dg/other/operator4.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276027 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoDaily bump.
gccadmin [Sun, 22 Sep 2019 00:16:15 +0000 (00:16 +0000)] 
Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276026 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoPR middle-end/91830 - Bogus -Warray-bounds on strcpy into a member
msebor [Sat, 21 Sep 2019 22:32:59 +0000 (22:32 +0000)] 
PR middle-end/91830 - Bogus -Warray-bounds on strcpy into a member
of a subobject compiling binutils

gcc/ChangeLog:
* gcc/gimple-ssa-warn-restrict.c (builtin_memref::set_base_and_offset):
Simplify computation of the offset of the referenced subobject.

gcc/testsuite/ChangeLog:
* gcc/testsuite/gcc.dg/Warray-bounds-47.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276022 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago PR c++/30277
jakub [Sat, 21 Sep 2019 21:54:38 +0000 (21:54 +0000)] 
PR c++/30277
* g++.dg/expr/bitfield14.C (struct S): Use signed long long instead
of signed long.
(foo): Use long long instead of long.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276021 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[Darwin] Update machopic_legitimize_pic_address.
iains [Sat, 21 Sep 2019 19:48:27 +0000 (19:48 +0000)] 
[Darwin] Update machopic_legitimize_pic_address.

Some changes were missed here in the transition to LRA.  The Darwin
archs are all using LRA now.

gcc/ChangeLog:

2019-09-21  Iain Sandoe  <iain@sandoe.co.uk>

* config/darwin.c (machopic_legitimize_pic_address): Check
for lra not reload.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276020 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago DR 2345 - Jumping across initializers in init-statements and conditions.
mpolacek [Sat, 21 Sep 2019 13:59:29 +0000 (13:59 +0000)] 
DR 2345 - Jumping across initializers in init-statements and conditions.
* g++.dg/cpp1z/init-statement10.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276019 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoAvoid adding impossible copies in ira-conflicts.c:process_reg_shuffles
rsandifo [Sat, 21 Sep 2019 12:57:13 +0000 (12:57 +0000)] 
Avoid adding impossible copies in ira-conflicts.c:process_reg_shuffles

If an insn requires two operands to be tied, and the input operand dies
in the insn, IRA acts as though there were a copy from the input to the
output with the same execution frequency as the insn.  Allocating the
same register to the input and the output then saves the cost of a move.

If there is no such tie, but an input operand nevertheless dies
in the insn, IRA creates a similar move, but with an eighth of the
frequency.  This helps to ensure that chains of instructions reuse
registers in a natural way, rather than using arbitrarily different
registers for no reason.

This heuristic seems to work well in the vast majority of cases.
However, for SVE, the handling of untied operands ends up creating
copies between dying predicate registers and vector outputs, even though
vector and predicate registers are distinct classes and can never be
tied.  This is a particular problem because the dying predicate tends
to be the loop control predicate, which is used by most instructions
in a vector loop and so (rightly) has a very high allocation priority.
Any copies involving the loop predicate therefore tend to get processed
before copies involving only vector registers.  The end result is that
we tend to allocate the output of the last vector instruction in a loop
ahead of its natural place in the allocation order and don't benefit
from chains created between vector registers.

This patch tries to avoid the problem by not adding register shuffle
copies if there appears to be no chance that the two operands could be
allocated to the same register.

2019-09-21  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* ira-conflicts.c (can_use_same_reg_p): New function.
(process_reg_shuffles): Take an insn parameter.  Ignore cases
in which input operand op_num could seemingly never be allocated
to the same register as the destination.
(add_insn_allocno_copies): Update call to process_reg_shuffles.

gcc/testsuite/
* gcc.target/aarch64/sve/cond_convert_1.c: Remove XFAILs.
* gcc.target/aarch64/sve/cond_convert_4.c: Likewise.
* gcc.target/aarch64/sve/cond_unary_2.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276018 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoExtend neg_const_int simplifications to other const rtxes
rsandifo [Sat, 21 Sep 2019 12:56:50 +0000 (12:56 +0000)] 
Extend neg_const_int simplifications to other const rtxes

This patch generalises some neg_const_int-based rtx simplifications
so that they handle all CONST_SCALAR_INTs and also CONST_POLY_INT.
This actually simplifies things a bit, since we no longer have
to treat HOST_WIDE_INT_MIN specially.

This is tested by later SVE patches.

2019-09-21  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* simplify-rtx.c (neg_const_int): Replace with...
(neg_poly_int_rtx): ...this new function.
(simplify_binary_operation_1): Extend (minus x C) -> (plus X -C)
to all CONST_SCALAR_INTs and to CONST_POLY_INT.
(simplify_plus_minus): Likewise for constant terms here.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276017 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoDaily bump.
gccadmin [Sat, 21 Sep 2019 00:16:17 +0000 (00:16 +0000)] 
Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276015 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago * config/microblaze/microblaze.h (ASM_OUTPUT_SKIP): Use
law [Fri, 20 Sep 2019 22:50:42 +0000 (22:50 +0000)] 
* config/microblaze/microblaze.h (ASM_OUTPUT_SKIP): Use
HOST_WIDE_PRINT_UNSIGNED.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276011 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago * config/pa/pa.c (pa_trampoline_init): Remove spurious extended
danglin [Fri, 20 Sep 2019 21:47:56 +0000 (21:47 +0000)] 
* config/pa/pa.c (pa_trampoline_init): Remove spurious extended
character.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276007 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago PR target/86811
law [Fri, 20 Sep 2019 20:23:29 +0000 (20:23 +0000)] 
PR target/86811
* config/vax/vax.c (TARGET_HAVE_SPECULATION_SAFE_VALUE):
Define to speculation_safe_value_not_needed.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276006 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago[Darwin, X86, testsuite] Fix naked-1.c fail.
iains [Fri, 20 Sep 2019 18:52:05 +0000 (18:52 +0000)] 
[Darwin, X86, testsuite] Fix naked-1.c fail.

This fails at m32 because the scan-asm is looking for an absence
of "ret". Darwin is generating the correct code for the function
but the picbase thunk has a 'ret' insn.  Fixed by making the test
use -mdynamic-no-pic for m32.

gcc/testsuite/ChangeLog:

2019-09-20  Iain Sandoe  <iain@sandoe.co.uk>

* gcc.target/i386/naked-1.c: Alter options to use non-
PIC codegen for m32 Darwin.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276004 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago2019-09-20 Tobias Burnus <tobias@codesourcery.com>
burnus [Fri, 20 Sep 2019 16:05:06 +0000 (16:05 +0000)] 
2019-09-20  Tobias Burnus  <tobias@codesourcery.com>

        PR fortran/78260
        * openmp.c (gfc_resolve_oacc_declare): Reject all
        non variables but accept function result variables.
        * trans-openmp.c (gfc_trans_omp_clauses): Handle
        function-result variables for remaing cases.

2019-09-20  Tobias Burnus  <tobias@codesourcery.com>

        PR fortran/78260
        * gfortran.dg/goacc/parameter.f95: Change
        dg-error as it is now detected earlier.
        * gfortran.dg/goacc/pr85701.f90: Modify to
        use a separate result variable.
        * gfortran.dg/goacc/pr78260.f90: New.
        * gfortran.dg/goacc/pr78260-2.f90: New.
        * gfortran.dg/gomp/pr78260.f90: New.
        * gfortran.dg/gomp/pr78260-2.f90: New.
        * gfortran.dg/gomp/pr78260-3.f90: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276002 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoRevert [ARM/FDPIC v6 13/24] [ARM] FDPIC: Force LSB bit for PC in Cortex-M architecture
clyon [Fri, 20 Sep 2019 13:32:20 +0000 (13:32 +0000)] 
Revert [ARM/FDPIC v6 13/24] [ARM] FDPIC: Force LSB bit for PC in Cortex-M architecture

This is causing regressions when mixing with user code compiled in ARM mode.

2019-09-20  Christophe Lyon  <christophe.lyon@st.com>

Revert:
2019-09-10  Christophe Lyon  <christophe.lyon@st.com>
Mickaël Guêné <mickael.guene@st.com>

* config/arm/unwind-arm.c (_Unwind_VRS_Set): Handle thumb-only
architecture.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276001 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoRestrict gnat.dg/system_info1.adb to Linux and Windows hosts
hainque [Fri, 20 Sep 2019 12:17:20 +0000 (12:17 +0000)] 
Restrict gnat.dg/system_info1.adb to Linux and Windows hosts

Where it is know to work, still covering the original test intent.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@275999 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago2019-09-20 Richard Biener <rguenther@suse.de>
rguenth [Fri, 20 Sep 2019 11:14:34 +0000 (11:14 +0000)] 
2019-09-20  Richard Biener  <rguenther@suse.de>
Uros Bizjak  <ubizjak@gmail.com>

PR target/91814
* config/i386/i386-features.c (gen_gpr_to_xmm_move_src): Revert
previous change.
(general_scalar_chain::convert_op): Force not suitable memory
operands to a register.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@275998 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago2019-09-20 Richard Biener <rguenther@suse.de>
rguenth [Fri, 20 Sep 2019 09:54:54 +0000 (09:54 +0000)] 
2019-09-20  Richard Biener  <rguenther@suse.de>

PR tree-optimization/91821
* tree-vect-loop.c (check_reduction_path): Check we can compute
reduc_idx.
(vect_is_simple_reduction): Set STMT_VINFO_REDUC_IDX.
* tree-vect-patterns.c (vect_reassociating_reduction_p): Return
operands in canonical order.
* tree-vectorizer.c (vec_info::new_stmt_vec_info): Initialize
STMT_VINFO_REDUC_IDX.
* tree-vectorizer.h (_stmt_vec_info::reduc_idx): New.
(STMT_VINFO_REDUC_IDX): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@275996 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago PR target/91269
ebotcazou [Fri, 20 Sep 2019 09:42:40 +0000 (09:42 +0000)] 
PR target/91269
* config/sparc/sparc.h (HARD_REGNO_CALLER_SAVE_MODE): Define.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@275994 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago PR c/91815
ebotcazou [Fri, 20 Sep 2019 09:11:20 +0000 (09:11 +0000)] 
PR c/91815
* c-decl.c (pushdecl): In C detect duplicate declarations across scopes
of identifiers in the external scope only for variables and functions.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@275992 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago2019-09-20 Richard Biener <rguenther@suse.de>
rguenth [Fri, 20 Sep 2019 08:35:59 +0000 (08:35 +0000)] 
2019-09-20  Richard Biener  <rguenther@suse.de>

PR tree-optimization/91822
* tree-vectorizer.h (vectorizable_condition): Restore for_reduction
parameter.
* tree-vect-loop.c (vectorizable_reduction): Adjust asserts
for reduc_index in nested cycles, adjust vectorizable_condition
calls.
* tree-vect-stmts.c (vectorizable_condition): Restore for_reduction
parameter.
(vect_analyze_stmt): Adjust.
(vect_transform_stmt): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@275990 138bc75d-0d04-0410-961f-82ee72b054a4

5 years ago2019-09-20 Richard Biener <rguenther@suse.de>
rguenth [Fri, 20 Sep 2019 06:42:39 +0000 (06:42 +0000)] 
2019-09-20  Richard Biener  <rguenther@suse.de>

PR target/91767
* config/i386/i386-features.c (general_scalar_chain::convert_registers):
Ensure there's a sequence point between allocating the new register
and passing a reference to a reg via regno_reg_rtx.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@275989 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoDaily bump.
gccadmin [Fri, 20 Sep 2019 00:16:15 +0000 (00:16 +0000)] 
Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@275986 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoNew IPA-SRA
jamborm [Thu, 19 Sep 2019 22:25:04 +0000 (22:25 +0000)] 
New IPA-SRA

2019-09-20  Martin Jambor  <mjambor@suse.cz>

        * coretypes.h (cgraph_edge): Declare.
        * ipa-param-manipulation.c: Rewrite.
        * ipa-param-manipulation.h: Likewise.
        * Makefile.in (GTFILES): Added ipa-param-manipulation.h and ipa-sra.c.
        (OBJS): Added ipa-sra.o.
        * cgraph.h (ipa_replace_map): Removed fields old_tree, replace_p
        and ref_p, added fields param_adjustments and performed_splits.
        (struct cgraph_clone_info): Remove ags_to_skip and
        combined_args_to_skip, new field param_adjustments.
        (cgraph_node::create_clone): Changed parameters to use
        ipa_param_adjustments.
        (cgraph_node::create_virtual_clone): Likewise.
        (cgraph_node::create_virtual_clone_with_body): Likewise.
        (tree_function_versioning): Likewise.
        (cgraph_build_function_type_skip_args): Removed.
        * cgraph.c (cgraph_edge::redirect_call_stmt_to_callee): Convert to
        using ipa_param_adjustments.
        (clone_of_p): Likewise.
        * cgraphclones.c (cgraph_build_function_type_skip_args): Removed.
        (build_function_decl_skip_args): Likewise.
        (duplicate_thunk_for_node): Adjust parameters using
        ipa_param_body_adjustments, copy param_adjustments instead of
        args_to_skip.
        (cgraph_node::create_clone): Convert to using ipa_param_adjustments.
        (cgraph_node::create_virtual_clone): Likewise.
        (cgraph_node::create_version_clone_with_body): Likewise.
        (cgraph_materialize_clone): Likewise.
        (symbol_table::materialize_all_clones): Likewise.
        * ipa-fnsummary.c (ipa_fn_summary_t::duplicate): Simplify
        ipa_replace_map check.
        * ipa-cp.c (get_replacement_map): Do not initialize removed fields.
        (initialize_node_lattices): Make aware that some parameters might have
        already been removed.
        (want_remove_some_param_p): New function.
        (create_specialized_node): Convert to using ipa_param_adjustments and
        deal with possibly pre-existing adjustments.
        * lto-cgraph.c (output_cgraph_opt_summary_p): Likewise.
        (output_node_opt_summary): Do not stream removed fields.  Stream
        parameter adjustments instead of argumetns to skip.
        (input_node_opt_summary): Likewise.
        (input_node_opt_summary): Likewise.
        * lto-section-in.c (lto_section_name): Added ipa-sra section.
        * lto-streamer.h (lto_section_type): Likewise.
        * tree-inline.h (copy_body_data): New fields killed_new_ssa_names and
param_body_adjs.
        (copy_decl_to_var): Declare.
        * tree-inline.c (update_clone_info): Do not remap old_tree.
        (remap_gimple_stmt): Use ipa_param_body_adjustments to modify gimple
        statements, walk all extra generated statements and remap their
        operands.
        (redirect_all_calls): Add killed SSA names to a hash set.
        (remap_ssa_name): Do not remap killed SSA names.
        (copy_arguments_for_versioning): Renames to copy_arguments_nochange,
        half of functionality moved to ipa_param_body_adjustments.
        (copy_decl_to_var): Make exported.
        (copy_body): Destroy killed_new_ssa_names hash set.
        (expand_call_inline): Remap performed splits.
        (update_clone_info): Likewise.
        (tree_function_versioning): Simplify tree_map processing.  Updated to
        accept ipa_param_adjustments and use ipa_param_body_adjustments.
        * omp-simd-clone.c (simd_clone_vector_of_formal_parm_types): Adjust
        for the new interface.
        (simd_clone_clauses_extract): Likewise, make args an auto_vec.
        (simd_clone_compute_base_data_type): Likewise.
        (simd_clone_init_simd_arrays): Adjust for the new interface.
        (simd_clone_adjust_argument_types): Likewise.
        (struct modify_stmt_info): Likewise.
        (ipa_simd_modify_stmt_ops): Likewise.
        (ipa_simd_modify_function_body): Likewise.
        (simd_clone_adjust): Likewise.
        * tree-sra.c: Removed IPA-SRA.  Include tree-sra.h.
        (type_internals_preclude_sra_p): Make public.
        * tree-sra.h: New file.
        * ipa-inline-transform.c (save_inline_function_body): Update to
        refelct new tree_function_versioning signature.
        * ipa-prop.c (adjust_agg_replacement_values): Use a helper from
        ipa_param_adjustments to get current parameter indices.
        (ipcp_modif_dom_walker::before_dom_children): Likewise.
        (ipcp_update_bits): Likewise.
        (ipcp_update_vr): Likewise.
        * ipa-split.c (split_function): Convert to using ipa_param_adjustments.
        * ipa-sra.c: New file.
        * multiple_target.c (create_target_clone): Update to reflet new type
        of create_version_clone_with_body.
        * trans-mem.c (ipa_tm_create_version): Update to reflect new type of
        tree_function_versioning.
(modify_function): Update to reflect new type of
tree_function_versioning.
        * params.def (PARAM_IPA_SRA_MAX_REPLACEMENTS): New.
        * passes.def: Remove old IPA-SRA and add new one.
        * tree-pass.h (make_pass_early_ipa_sra): Remove declaration.
        (make_pass_ipa_sra): Declare.
* dbgcnt.def: Remove eipa_sra.  Added ipa_sra_params and
ipa_sra_retvalues.
* doc/invoke.texi (ipa-sra-max-replacements): New.

        testsuite/
        * g++.dg/ipa/pr81248.C: Adjust dg-options and dump-scan.
        * gcc.dg/ipa/ipa-sra-1.c: Likewise.
        * gcc.dg/ipa/ipa-sra-10.c: Likewise.
        * gcc.dg/ipa/ipa-sra-11.c: Likewise.
        * gcc.dg/ipa/ipa-sra-3.c: Likewise.
        * gcc.dg/ipa/ipa-sra-4.c: Likewise.
        * gcc.dg/ipa/ipa-sra-5.c: Likewise.
        * gcc.dg/ipa/ipacost-2.c: Disable ipa-sra.
        * gcc.dg/ipa/ipcp-agg-9.c: Likewise.
        * gcc.dg/ipa/pr78121.c: Adjust scan pattern.
        * gcc.dg/ipa/vrp1.c: Likewise.
        * gcc.dg/ipa/vrp2.c: Likewise.
        * gcc.dg/ipa/vrp3.c: Likewise.
        * gcc.dg/ipa/vrp7.c: Likewise.
        * gcc.dg/ipa/vrp8.c: Likewise.
        * gcc.dg/noreorder.c: use noipa attribute instead of noinline.
        * gcc.dg/ipa/20040703-wpa.c: New test.
* gcc.dg/ipa/ipa-sra-12.c: New test.
* gcc.dg/ipa/ipa-sra-13.c: Likewise.
* gcc.dg/ipa/ipa-sra-14.c: Likewise.
* gcc.dg/ipa/ipa-sra-15.c: Likewise.
* gcc.dg/ipa/ipa-sra-16.c: Likewise.
* gcc.dg/ipa/ipa-sra-17.c: Likewise.
* gcc.dg/ipa/ipa-sra-18.c: Likewise.
* gcc.dg/ipa/ipa-sra-19.c: Likewise.
* gcc.dg/ipa/ipa-sra-20.c: Likewise.
* gcc.dg/ipa/ipa-sra-21.c: Likewise.
* gcc.dg/ipa/ipa-sra-22.c: Likewise.
* gcc.dg/sso/ipa-sra-1.c: Likewise.
* g++.dg/ipa/ipa-sra-2.C: Likewise.
* g++.dg/ipa/ipa-sra-3.C: Likewise.
* gcc.dg/tree-ssa/ipa-cp-1.c: Make return value used.
* g++.dg/ipa/devirt-19.C: Add missing return, add -fipa-cp-clone
option.
* g++.dg/lto/devirt-19_0.C: Add -fipa-cp-clone option.
* gcc.dg/ipa/ipa-sra-2.c: Removed.
* gcc.dg/ipa/ipa-sra-6.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@275982 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoPR middle-end/91631 - buffer overflow into an array member of a declared object not...
msebor [Thu, 19 Sep 2019 22:15:34 +0000 (22:15 +0000)] 
PR middle-end/91631 - buffer overflow into an array member of a declared object not detected

gcc/ChangeLog:

PR middle-end/91631
* builtins.c (component_size): Correct trailing array computation,
rename to component_ref_size and move...
(compute_objsize): Adjust.
* gimple-ssa-warn-restrict.c (builtin_memref::refsize): New member.
(builtin_access::strict): Do not consider mememmove.
(builtin_access::write_off): New function.
(builtin_memref::builtin_memref): Initialize refsize.
(builtin_memref::set_base_and_offset): Adjust refoff and compute
refsize.
(builtin_memref::offset_out_of_bounds): Use ooboff input values.
Handle refsize.
(builtin_access::builtin_access): Intialize dstoff to destination
refeence offset here instead of in maybe_diag_overlap.  Adjust
referencess even to unrelated objects. Adjust sizrange of bounded
string functions to reflect bound.  For strcat, adjust destination
sizrange by that of source.
(builtin_access::strcat_overlap):  Adjust offsets and sizes
to reflect the increase in destination sizrange above.
(builtin_access::overlap): Do not set dstoff here but instead
in builtin_access::builtin_access.
(check_bounds_or_overlap): Use builtin_access::write_off.
(maybe_diag_access_bounds): Add argument.  Add informational notes.
(dump_builtin_memref, dump_builtin_access): New functions.
* tree.c (component_ref_size): ...to here.
* tree.h (component_ref_size): Declare.
* tree-ssa-strlen (handle_builtin_strcat): Include the terminating
nul in the size of the source string.

gcc/testsuite/ChangeLog:

PR middle-end/91631
* /c-c++-common/Warray-bounds-3.c: Correct expected offsets.
* /c-c++-common/Warray-bounds-4.c: Same.
* gcc.dg/Warray-bounds-39.c: Remove xfails.
* gcc.dg/Warray-bounds-45.c: New test.
* gcc.dg/Warray-bounds-46.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@275981 138bc75d-0d04-0410-961f-82ee72b054a4

5 years agoSupport extended characters in C/C++ identifiers (PR c/67224)
jsm28 [Thu, 19 Sep 2019 19:56:11 +0000 (19:56 +0000)] 
Support extended characters in C/C++ identifiers (PR c/67224)

libcpp/ChangeLog
2019-09-19  Lewis Hyatt  <lhyatt@gmail.com>

PR c/67224
* charset.c (_cpp_valid_utf8): New function to help lex UTF-8 tokens.
* internal.h (_cpp_valid_utf8): Declare.
* lex.c (forms_identifier_p): Use it to recognize UTF-8 identifiers.
(_cpp_lex_direct): Handle UTF-8 in identifiers and CPP_OTHER tokens.
Do all work in "default" case to avoid slowing down typical code paths.
Also handle $ and UCN in the default case for consistency.

gcc/Changelog
2019-09-19  Lewis Hyatt  <lhyatt@gmail.com>

PR c/67224
* doc/cpp.texi: Document support for extended characters in
identifiers.
* doc/cppopts.texi: Likewise.

gcc/testsuite/ChangeLog
2019-09-19  Lewis Hyatt  <lhyatt@gmail.com>

PR c/67224
* c-c++-common/cpp/ucnid-2011-1-utf8.c: New test.
* g++.dg/cpp/ucnid-1-utf8.C: New test.
* g++.dg/cpp/ucnid-2-utf8.C: New test.
* g++.dg/cpp/ucnid-3-utf8.C: New test.
* g++.dg/cpp/ucnid-4-utf8.C: New test.
* g++.dg/other/ucnid-1-utf8.C: New test.
* gcc.dg/cpp/ucnid-1-utf8.c: New test.
* gcc.dg/cpp/ucnid-10-utf8.c: New test.
* gcc.dg/cpp/ucnid-11-utf8.c: New test.
* gcc.dg/cpp/ucnid-12-utf8.c: New test.
* gcc.dg/cpp/ucnid-13-utf8.c: New test.
* gcc.dg/cpp/ucnid-14-utf8.c: New test.
* gcc.dg/cpp/ucnid-15-utf8.c: New test.
* gcc.dg/cpp/ucnid-2-utf8.c: New test.
* gcc.dg/cpp/ucnid-3-utf8.c: New test.
* gcc.dg/cpp/ucnid-4-utf8.c: New test.
* gcc.dg/cpp/ucnid-6-utf8.c: New test.
* gcc.dg/cpp/ucnid-7-utf8.c: New test.
* gcc.dg/cpp/ucnid-9-utf8.c: New test.
* gcc.dg/ucnid-1-utf8.c: New test.
* gcc.dg/ucnid-10-utf8.c: New test.
* gcc.dg/ucnid-11-utf8.c: New test.
* gcc.dg/ucnid-12-utf8.c: New test.
* gcc.dg/ucnid-13-utf8.c: New test.
* gcc.dg/ucnid-14-utf8.c: New test.
* gcc.dg/ucnid-15-utf8.c: New test.
* gcc.dg/ucnid-16-utf8.c: New test.
* gcc.dg/ucnid-2-utf8.c: New test.
* gcc.dg/ucnid-3-utf8.c: New test.
* gcc.dg/ucnid-4-utf8.c: New test.
* gcc.dg/ucnid-5-utf8.c: New test.
* gcc.dg/ucnid-6-utf8.c: New test.
* gcc.dg/ucnid-7-utf8.c: New test.
* gcc.dg/ucnid-8-utf8.c: New test.
* gcc.dg/ucnid-9-utf8.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@275979 138bc75d-0d04-0410-961f-82ee72b054a4