[PATCH, committed] fix a number of pdp11 target test failures

Sorry, it's been a while, previous message was incomplete. This fixes a number of test failures due to test cases that are too large for pdp11 and should be skipped. Also one test case that asks for alignment larger than what pdp11 supports. paul 2018-05-25 Paul Koning

[PATCH] crtstuff.c: remove leftover declaration of _Jv_RegisterClasses

2018-05-26 Rasmus Villemoes libgcc/ * crtstuff.c: Remove declaration of _Jv_RegisterClasses. --- libgcc/crtstuff.c | 3 --- 1 file changed, 3 deletions(-) diff --git a/libgcc/crtstuff.c b/libgcc/crtstuff.c index 5e894455e16..d81c527a455 100644 ---

Re: [PATCH] handle local aggregate initialization in strlen (PR 83821)

On 05/25/2018 03:55 PM, Marc Glisse wrote: On Fri, 25 May 2018, Martin Sebor wrote: Why couldn't nonzero_chars be constant in that case? void f(const char*s){ s[0]='a'; // I know that strlen(s) is at least 1 here } I was responding specifically to your question about the strlen() CSE.

[PATCH] vx-common.h: add #define USE_TM_CLONE_REGISTRY 0

2018-05-26 Rasmus Villemoes gcc/ * config/vx-common.h (USE_TM_CLONE_REGISTRY): #define to 0. --- gcc/config/vx-common.h | 7 +++ 1 file changed, 7 insertions(+) diff --git a/gcc/config/vx-common.h b/gcc/config/vx-common.h index

[PATCH] RISC-V: Add interrupt attribute support.

This adds basic interrupt attribute support to the RISC-V port. This will save every register before it is used, will save every temporary and argument register and the return address register before a call, and emits a mret instruction at the end. I've included some docs and some testcases to

[Committed] PR fortran/85786 testcase

pault accidently committed in r260414 the 2-line patchr from comment #5 of https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85786 which fixes the PR. I have converted the code in comment #3 into a testcase and committed to ensure that the bug does not re-appear. Code attached. 2018-05-25 Steven

Re: [PATCH] handle local aggregate initialization in strlen (PR 83821)

On Fri, 25 May 2018, Martin Sebor wrote: Why couldn't nonzero_chars be constant in that case? void f(const char*s){ s[0]='a'; // I know that strlen(s) is at least 1 here } I was responding specifically to your question about the strlen() CSE. Above there is no call to strlen(). What I

Re: [PATCH] Enhance BB vectorization dependence analysis

On Fri, May 25, 2018 at 5:48 AM, Richard Biener wrote: > > This simplifies data-ref analysis further and to make that work enhances > BB vectorization dependence analysis as a comment suggested. I've > needed to add tbaa_p flags to some of the alias disambiguators. > >

[PATCH v2] libgcc: Add support for --disable-libgcov

When trying to build gcc 6.4.0 targeting VxWorks 5.5, I ran into libgcov not building against the VxWorks system headers - there are multiple issues such as gcc-src/libgcc/../gcc/gcov-io.c:78:3: warning: implicit declaration of function 'getpid' [-Wimplicit-function-declaration] s_flock.l_pid

[PATCH] Rename ufloat to floatuns and ufix_trunc to fixuns_trunc in a few patterns (PR target/85918)

Hi! The optab is looking for floatuns2 and fixuns_trunc2, but some of the patterns are instead called ufloat2 or ufix_trunc2 and thus are only used from intrinsics. We can't change all spots, in two spots we have intentionally an floatuns2 or fixuns_trunc2 expander that uses for AVX512+ a

[PATCH, committed] fix a number of pdp11 target test failures

This fixes a number of test failures due to test cases that are too large for pdp11 and should be skipped. Also one test case that asks for alignment larger than what pdp11 supports. paul 2018-05-25 Paul Koning * gcc.c-torture/compile/20151204.c: Skip if

[PATCH] Remove useless noinline variable (PR bootstrap/85921)

Hi! The following variable only makes the code larger and less readable. In addition, with some broken kernel headers that redefine noinline it breaks bootstrap. Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk? 2018-05-25 Jakub Jelinek

C++ PATCH for c++/85815, reference to member of enclosing template

When we see INSTANCE->moo(), the type of INSTANCE is an opaque version of A that has no members. We need to recognize that it's a type we're currently inside, and use the version we're building up when looking for a base or member. Tested x86_64-pc-linux-gnu, applying to trunk. commit

Re: [PATCH] refine -Wstringop-truncation and -Wsizeof-pointer-memaccess for strncat of nonstrings (PR 85602)

Ping: https://gcc.gnu.org/ml/gcc-patches/2018-05/msg00869.html On 05/17/2018 08:01 PM, Martin Sebor wrote: The -Wstringop-truncation and -Wsizeof-pointer-memaccess warnings I added and enhanced, respectively, in GCC 8 are arguably overly strict for source arguments declared with the nonstring

Re: C++ PATCHes to xvalue handling

On Fri, May 25, 2018 at 4:08 PM, Jason Merrill wrote: > On Fri, May 25, 2018 at 12:40 PM, Sudakshina Das wrote: >> On 23/05/18 18:21, Jason Merrill wrote: >>> >>> The first patch implements the adjustments from core issues 616 and >>> 1213 to the value

Re: [PATCH][Middle-end][version 3]2nd patch of PR78809 and PR83026

On 02/07/2018 08:36 AM, Qing Zhao wrote: > Hi, this is the 3rd version for this patch. > > the main change compared with 2nd version are: > 1. do not use “compute_objsize” to get the minimum object size per Jeff > and Richard’s > comment. Instead, add a new function “determine_min_objsize”

Re: [PATCH] tighten up -Wclass-memaccess for ctors/dtors (PR 84851)

(I just now noticed the first two attempts were sent to the wrong list. Sorry about that.) On 05/25/2018 02:16 PM, Martin Sebor wrote: A fix for 84851 - missing -Wclass-memaccess for a memcpy in a copy ctor with a non-trivial member was implemented but disabled for GCC 8 but because it was

Re: [PATCH] consider MIN_EXPR in get_size_range() (PR 85888)

Attached is revision 3 of the patch incorporating your determine_value_range function with the requested changes. Martin PR testsuite/85888 - New test case c-c++-common/attr-nonstring-6.c from r260541 fails with excess errors gcc/ChangeLog: PR testsuite/85888 * builtins.c

Re: C++ PATCHes to xvalue handling

On Fri, May 25, 2018 at 12:40 PM, Sudakshina Das wrote: > On 23/05/18 18:21, Jason Merrill wrote: >> >> The first patch implements the adjustments from core issues 616 and >> 1213 to the value category of subobjects of class prvalues: they were >> considered prvalues themselves,

[OpenACC] Update OpenACC data clause semantics to the 2.5 behavior

This patch updates GCC's to support OpenACC 2.5's data clause semantics. In OpenACC 2.5, copy, copyin and copyout all behave like their present_or_* counterparts in OpenACC 2.0. The patch also adds support for the new finalize and if_present data clauses introduced in OpenACC 2.5. The finalize

Re: Simplify _Rb_tree instantiation

On 25 May 2018 at 22:16, Jonathan Wakely wrote: >> Why is this patch removing _Compare() calls? That changes the >> initialization >> of _Compare from value-initialization to default-initialization, which >> is a breaking change. > > > The _Rb_tree_key_compare base class will

Re: Simplify _Rb_tree instantiation

On 25/05/18 21:35 +0300, Ville Voutilainen wrote: On 25 May 2018 at 19:50, François Dumont wrote: Hi As we are at working on associative containers I'd like to propose this last patch to remove the copy constructible constraint on the _Compare functor when it is supposed

[PATCH, committed] Additional fix related to PR85712

Hi, While backporting https://gcc.gnu.org/ml/gcc-patches/2018-05/msg01183.html to older release branches, I ran across a corner case that can cause an ICE. When replace_mult_candidate replaces a candidate with a copy, it does so in situ. Later we may attempt to replace it again under a different

Re: [PATCH] PR target/85358 patch v2: Add target hook to prevent default widening

I redid the patch to make the target hook only apply for scalar float points, and I removed all of the integer only subcases. I have checked this on a little endian Power8 system, and verified that it bootstraps correctly and there are no regressions. I have just started an x86_64 build.

Re: Simplify _Rb_tree instantiation

On 25 May 2018 at 19:50, François Dumont wrote: > Hi > > As we are at working on associative containers I'd like to propose this last > patch to remove the copy constructible constraint on the _Compare functor > when it is supposed to be default constructed. > > This way the

Re: [PATCH] consider MIN_EXPR in get_size_range() (PR 85888)

On 05/25/2018 11:51 AM, Richard Biener wrote: On May 25, 2018 7:31:43 PM GMT+02:00, Martin Sebor wrote: On 05/25/2018 01:02 AM, Richard Biener wrote: On Thu, May 24, 2018 at 11:22 PM Martin Sebor wrote: On 05/24/2018 11:15 AM, Richard Biener wrote: On

Re: C++ PATCH for c++/85883, class tmpl args deduction fail with new

On Thu, May 24, 2018 at 4:10 PM, Marek Polacek wrote: > Here we were failing to deduce template arguments for a class, because the > code in build_new only handled the case when INIT had 1 element. That works > for e.g. new auto (foo) or new Foo{1, 2}, but not new Foo(1, 2).

Re: [PATCH] consider MIN_EXPR in get_size_range() (PR 85888)

On May 25, 2018 7:31:43 PM GMT+02:00, Martin Sebor wrote: >On 05/25/2018 01:02 AM, Richard Biener wrote: >> On Thu, May 24, 2018 at 11:22 PM Martin Sebor >wrote: >> >>> On 05/24/2018 11:15 AM, Richard Biener wrote: On May 24, 2018 7:02:17 PM GMT+02:00,

Re: [C++ PATCH] Do not warn about zero-as-null when NULL is used.

On 25 May 2018 at 20:38, Ville Voutilainen wrote: > On 25 May 2018 at 20:27, Jason Merrill wrote: >> On Thu, May 24, 2018 at 8:04 PM, Ville Voutilainen >> wrote: >>> I smacked my head against conversion_null_warnings

Re: [C++ PATCH] Do not warn about zero-as-null when NULL is used.

On 25 May 2018 at 20:27, Jason Merrill wrote: > On Thu, May 24, 2018 at 8:04 PM, Ville Voutilainen > wrote: >> I smacked my head against conversion_null_warnings for a while, >> and then I realized that we could just stop convert_like_real from >>

Re: [PATCH] consider MIN_EXPR in get_size_range() (PR 85888)

On 05/25/2018 01:02 AM, Richard Biener wrote: On Thu, May 24, 2018 at 11:22 PM Martin Sebor wrote: On 05/24/2018 11:15 AM, Richard Biener wrote: On May 24, 2018 7:02:17 PM GMT+02:00, Martin Sebor wrote: On 05/24/2018 03:39 AM, Richard Biener wrote: On

Re: [C++ PATCH] Do not warn about zero-as-null when NULL is used.

On Thu, May 24, 2018 at 8:04 PM, Ville Voutilainen wrote: > I smacked my head against conversion_null_warnings for a while, > and then I realized that we could just stop convert_like_real from > changing the node type for null_node. Won't that sometimes mean that the

Re: [PATCH] testsuite: Introduce be/le selectors

On Fri, May 25, 2018 at 10:30:58AM +0100, Richard Earnshaw (lists) wrote: > On 24/05/18 18:28, Segher Boessenkool wrote: > > On Wed, May 23, 2018 at 10:07:18AM +0100, Richard Earnshaw (lists) wrote: > >> On 22/05/18 22:21, Jeff Law wrote: > >>> On 05/21/2018 03:46 PM, Segher Boessenkool wrote: >

Re: [RFC] fixincludes: vxworks: add hack around ioLib.h/unistd.h mutual inclusion

On 05/25/2018 08:47 AM, Bruce Korb wrote: > Ick. Looks like the right fix to me and it is clearly constrained to > vxworks platforms. Approved by me. Thanks. Installed on the trunk. jeff

Simplify _Rb_tree instantiation

Hi As we are at working on associative containers I'd like to propose this last patch to remove the copy constructible constraint on the _Compare functor when it is supposed to be default constructed. This way the _Compare is built directly at its final place.     * include/bits/stl_tree.h

Re: C++ PATCHes to xvalue handling

On 23/05/18 18:21, Jason Merrill wrote: The first patch implements the adjustments from core issues 616 and 1213 to the value category of subobjects of class prvalues: they were considered prvalues themselves, but that was kind of nonsensical. Now they are considered xvalues. Along with this,

Re: [PATCH] libgcc: Add support for --disable-libgcov

A new configure option should be documented in install.texi. -- Joseph S. Myers jos...@codesourcery.com

Re: [ARM/FDPIC 02/21] [ARM] FDPIC: Handle arm*-*-uclinuxfdpiceabi in configure scripts

On Fri, 25 May 2018, Christophe Lyon wrote: > In libtool.m4, we use uclinuxfdpiceabi in cases where ELF shared > libraries support is required, as uclinux does not guarantee that. To confirm: has this libtool.m4 patch gone upstream (or at least been submitted upstream, if not yet reviewed)? --

Re: [PATCH] handle local aggregate initialization in strlen (PR 83821)

On 05/25/2018 12:06 AM, Marc Glisse wrote: On Thu, 24 May 2018, Martin Sebor wrote: On 05/24/2018 03:40 PM, Marc Glisse wrote: On Wed, 23 May 2018, Martin Sebor wrote: On 05/23/2018 08:57 AM, Jeff Law wrote: On 05/10/2018 04:05 PM, Marc Glisse wrote: On Thu, 10 May 2018, Martin Sebor

Re: [RFC] fixincludes: vxworks: add hack around ioLib.h/unistd.h mutual inclusion

Ick. Looks like the right fix to me and it is clearly constrained to vxworks platforms. Approved by me. On Fri, May 25, 2018 at 1:58 AM, Rasmus Villemoes wrote: > In old VxWorks headers (5.5), ioLib.h includes unistd.h via > > #include "unistd.h" > > We copy ioLib to

[PATCH, alpha]: Improve fix for PR83628

Hello! Attached patch improves fix for PR83628 by providing ashlsi3 pattern. This allows combiner to remove subregs of inner DImode ashift. 2018-05-25 Uros Bizjak PR target/83628 * config/alpha/alpha.md (ashlsi3): New insn pattern. (*ashlsi_se): Rename from

Re: [PATCH] gcc/configure.ac: add --disable-systemtap switch

On 5/24/18, Jeff Law wrote: > On 05/12/2018 08:00 AM, Sergei Trofimovich via gcc-patches wrote: >> From: Sergei Trofimovich >> >> Before the change systemtap probes were enabled >> if target headers had sys/sdt.h at ./configure time. >> >> After the change

Re: [PATCH][AArch64] Fix aarch64_ira_change_pseudo_allocno_class

Richard Sandiford wrote: > Conceptually what we're saying here is that if the given classes > include both GENERAL_REGS and FP_REGS, we'll choose between them > based on the mode of the register.  And that makes sense for any > class that includes both GENERAL_REGS and FP_REGS.  We could write >

Re: Use conditional internal functions in if-conversion

Richard Biener writes: > On Fri, May 25, 2018 at 1:49 PM Richard Sandiford < > richard.sandif...@linaro.org> wrote: > >> Richard Biener writes: >> > On Fri, May 25, 2018 at 12:12 PM Richard Sandiford < >> > richard.sandif...@linaro.org>

[PATCH] libgcc: Add support for --disable-libgcov

When trying to build gcc 6.4.0 targeting VxWorks 5.5, I ran into libgcov not building against the VxWorks system headers - there are multiple issues such as gcc-src/libgcc/../gcc/gcov-io.c:78:3: warning: implicit declaration of function 'getpid' [-Wimplicit-function-declaration] s_flock.l_pid

[PATCH] Enhance BB vectorization dependence analysis

This simplifies data-ref analysis further and to make that work enhances BB vectorization dependence analysis as a comment suggested. I've needed to add tbaa_p flags to some of the alias disambiguators. Bootstrapped and tested on x86_64-unknown-linux-gnu, SPEC 2k6 build is running right now.

Re: Use conditional internal functions in if-conversion

On Fri, May 25, 2018 at 2:02 PM Richard Biener wrote: > On Fri, May 25, 2018 at 1:49 PM Richard Sandiford < > richard.sandif...@linaro.org> wrote: > > Richard Biener writes: > > > On Fri, May 25, 2018 at 12:12 PM Richard Sandiford < > > >

Re: Use conditional internal functions in if-conversion

On Fri, May 25, 2018 at 1:49 PM Richard Sandiford < richard.sandif...@linaro.org> wrote: > Richard Biener writes: > > On Fri, May 25, 2018 at 12:12 PM Richard Sandiford < > > richard.sandif...@linaro.org> wrote: > > > >> Richard Biener

Re: Use conditional internal functions in if-conversion

Richard Biener writes: > On Fri, May 25, 2018 at 12:12 PM Richard Sandiford < > richard.sandif...@linaro.org> wrote: > >> Richard Biener writes: >> > On Wed, May 16, 2018 at 12:17 PM Richard Sandiford < >> > richard.sandif...@linaro.org>

Re: [PATCH] Check ifunc_resolver only on FUNCTION_DECL

On Thu, May 24, 2018 at 04:43:25AM -0700, H.J. Lu wrote: > Since ifunc_resolver is only valid on FUNCTION_DECL, check ifunc_resolver > only on FUNCTION_DECL. > > Please test it on Darwin. > > > H.J. > --- > PR target/85900 > PR target/85345 > * varasm.c (assemble_alias): Check

[PATCH] Print working directory only in intermediate format (PR gcov-profile/84846).

Hi. As requested by Eric, let's print working directory just in intermediate format: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84846#c8 gcov.exp tests works with the patch. Ready for trunk? Martin gcc/ChangeLog: 2018-05-25 Martin Liska PR gcov-profile/84846

Re: Implement SLP of internal functions

On Fri, May 25, 2018 at 12:31 PM Richard Sandiford < richard.sandif...@linaro.org> wrote: > Richard Biener writes: > >> Index: gcc/tree-vect-slp.c > >> === > >> --- gcc/tree-vect-slp.c 2018-05-16

Re: [PATCH] wwwdocs: Update Intel CET for GCC 8 changes

On Fri, May 25, 2018 at 12:49 PM H.J. Lu wrote: > Only -fcf-protection is needed to enable Intel CET. > OK to check in? OK. > H.J. > --- > Index: changes.html > === > RCS file:

Re: Use conditional internal functions in if-conversion

On Fri, May 25, 2018 at 12:12 PM Richard Sandiford < richard.sandif...@linaro.org> wrote: > Richard Biener writes: > > On Wed, May 16, 2018 at 12:17 PM Richard Sandiford < > > richard.sandif...@linaro.org> wrote: > >> This patch uses IFN_COND_* to vectorise

[PATCH 3/3] Extend -falign-FOO=N to N[:M[:N2[:M2]]]

gcc/ChangeLog: 2018-05-25 Denys Vlasenko Martin Liska PR middle-end/66240 PR target/45996 PR c/84100 * common.opt: Rename align options with 'str_' prefix. * common/config/i386/i386-common.c

[PATCH 2/3] Temporary remove "at least 8 byte alignment" code from x86

gcc/ChangeLog: 2017-04-18 Denys Vlasenko * config/i386/i386-common.c (ix86_handle_option): Remove support for obsolete -malign-loops, -malign-jumps and -malign-functions options. * config/i386/i386.opt: Likewise. --- gcc/config/i386/dragonfly.h | 10

[PATCH 0/3] Extend -falign-FOO=N to N[,M[,N2[,M2]]] version 9

Hello. This is new version of Denis's patch series: https://gcc.gnu.org/ml/gcc-patches/2017-04/msg00792.html There are quite some changes from last iteration that I would like to mention: - -malign-* flags are not removed, it was not welcomed and can be eventually done independently - in the

[PATCH 1/3] Add vec::reverse.

gcc/ChangeLog: 2018-05-25 Martin Liska David Malcolm * vec.c (test_reverse): New. (vec_c_tests): Add new test. * vec.h (vl_ptr>::reverse): New function. --- gcc/vec.c | 38 ++

[PATCH] wwwdocs: Update Intel CET for GCC 8 changes

Only -fcf-protection is needed to enable Intel CET. OK to check in? H.J. --- Index: changes.html === RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-8/changes.html,v retrieving revision 1.82 diff -u -p -r1.82 changes.html --- changes.html

Re: Implement SLP of internal functions

Richard Biener writes: >> Index: gcc/tree-vect-slp.c >> === >> --- gcc/tree-vect-slp.c 2018-05-16 11:02:46.262494712 +0100 >> +++ gcc/tree-vect-slp.c 2018-05-16 11:12:11.873116180 +0100 >> @@ -564,6

Re: [PATCH] Fix a test-case (PR testsuite/85911).

On Fri, May 25, 2018 at 11:37 AM Martin Liška wrote: > Hi. > As mentioned in the PR, it's not clear which BB removal are we seeking > for. Thus I would remove that scan. > The test-case works on x86_64-linux-gnu. > Ready for trunk? OK > Thanks, > Martin >

Re: [PATCH GCC][1/6]Compute type mode and register class mapping

On Fri, May 25, 2018 at 10:45 AM Bin.Cheng wrote: > On Thu, May 24, 2018 at 11:55 PM, Jeff Law wrote: > > On 05/18/2018 02:40 AM, Bin.Cheng wrote: > >> On Fri, May 4, 2018 at 5:21 PM, Bin Cheng wrote: > >>> Hi, > >>> This is the

Re: Use conditional internal functions in if-conversion

Richard Biener writes: > On Wed, May 16, 2018 at 12:17 PM Richard Sandiford < > richard.sandif...@linaro.org> wrote: >> This patch uses IFN_COND_* to vectorise conditionally-executed, >> potentially-trapping arithmetic, such as most floating-point >> ops with

Re: [PATCH][RFC] Radically simplify emission of balanced tree for switch statements.

Hi Martin On 25/05/18 10:45, Martin Liška wrote: On 05/21/2018 04:42 PM, Sudakshina Das wrote: On 21/05/18 15:00, Rainer Orth wrote: Hi Martin, Thanks for opened eyes, following patch will fix that. It's quite obvious, I'll install it right after tests will finish. unfortunately, it

[PATCH] Refactor vectorizer data-ref analysis

I'm trying to somehow share data-ref and dependence analysis results across multi vector size attempts. This patch is some refactoring. Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. Richard. >From e0156eb336c050ef79b6744dd3ed28a5cfa2215f Mon Sep 17 00:00:00 2001 From: Richard

Re: [PATCH][RFC] Radically simplify emission of balanced tree for switch statements.

On 05/21/2018 04:42 PM, Sudakshina Das wrote: > On 21/05/18 15:00, Rainer Orth wrote: >> Hi Martin, >> > Thanks for opened eyes, following patch will fix that. > It's quite obvious, I'll install it right after tests will finish. unfortunately, it didn't fix either issue:

[PATCH] Fix a test-case (PR testsuite/85911).

Hi. As mentioned in the PR, it's not clear which BB removal are we seeking for. Thus I would remove that scan. The test-case works on x86_64-linux-gnu. Ready for trunk? Thanks, Martin gcc/testsuite/ChangeLog: 2018-05-25 Martin Liska PR testsuite/85911 *

[PATCH] Fix PR85912

I will commit the following as obvious to trunk and branch. Richard. 2018-05-25 Richard Biener PR c++/85912 * tree-dump.c (dequeue_and_dump): Remove access to removed operand 2 of a SWITCH_EXPR. diff --git a/gcc/tree-dump.c b/gcc/tree-dump.c index

Re: [PATCH] testsuite: Introduce be/le selectors

On 24/05/18 18:28, Segher Boessenkool wrote: > On Wed, May 23, 2018 at 10:07:18AM +0100, Richard Earnshaw (lists) wrote: >> On 22/05/18 22:21, Jeff Law wrote: >>> On 05/21/2018 03:46 PM, Segher Boessenkool wrote: This patch creates "be" and "le" selectors, which can be used by all

[Ada] Remove 2GB secondary stack limit for 64-bit processors

This patch removes the restriction introduced recently that limited the size of the secondary stack to 2GB. The size of the secondary stack is now limited to half of the size of the memory address space for the target. Tested on x86_64-pc-linux-gnu, committed on trunk 2018-05-25 Patrick

[Ada] Improve performance of conversion from String to Long_Float

Once it is sure that the result will be infinity, stop computation and return the result. This ensure that the function call duration is bounded. Before that change on some cases the computation was taking more than a few seconds. Tested on x86_64-pc-linux-gnu, committed on trunk 2018-05-25

[Ada] Spurious range check with Initialize_Scalars

This patch modifies the expansion of default-initialized array objects when pragma Initialize_Scalars or Normalize_Scalars is in effect to suppress the generation of checks on the constructed in-place aggregate. The aggregate intentionally contains invalid values which may not necessarily fit the

[Ada] Spurious error on fixed-point operation whose operands are expressions

This patch fixes a spurious error in a fixed-point operand of a multiplying operator M when the operand is an adding operation and the context imposes a different fixed-point type to the result of M. Tested on x86_64-pc-linux-gnu, committed on trunk 2018-05-25 Ed Schonberg

[Ada] Membership test of class-wide interface

The compiler rejects the use of a membership test when the left operand is a class-wide interface type object and the right operand is not a class-wide type. Tested on x86_64-pc-linux-gnu, committed on trunk 2018-05-25 Javier Miranda gcc/ada/ * sem_res.adb

[Ada] Disable the creation of the main task secondary stack by the binder

Users can now specify that the binder should not create a secondary stack for the main (environment) task through the binder switch -Q0. This is useful for ZFP runtime users who allocate secondary stacks for their application themselves. Tested on x86_64-pc-linux-gnu, committed on trunk

[Ada] Crash on classwide precondition on subprogram with stub

This patch allows the compiler to handle properly a classwide precondition on a primitive operation whose body is a stub and a separate subunit. Executing: gnatmake -gnata -q check ./check must yield: precondition violated with Text_IO; with Msg_Data_Block_Decoder; use

[Ada] Spurious secondary stack depletion

This patch reimplements the secondary stack allocation logic to eliminate an issue which causes the memory index to overflow while the stack itself uses very little memory, thus causing a spurious Storage_Error. The issue in details: The total amount of memory that the secondary stack can

[Ada] Rewrite Iterate_Call_Parameters in more assertive style

The formal and actual parameters in a subprogram call must match each other. This is now checked with assertion (so that we can detect possible mistakes), while the production builds have less work to do. Semantics unchanged. Tested on x86_64-pc-linux-gnu, committed on trunk 2018-05-25 Piotr

[Ada] Make Max_Sensible_Delay uniform across all Posix targets

For instance: 6 months where Duration is 64bits. Heretofore LynxOS was unique in having an approximately 12 days max delay. By experimentation the actual maximum was determined and all relevant delay and sleep procedures rewritten to incrementally wait if necessary. Tested on

[Ada] Checks on instantiations with formal derived types with interfaces

This patch implements the rule stated in RM 12.5.5 : the actual shall be a descendant of very progenitor of the formal type. Tested on x86_64-pc-linux-gnu, committed on trunk 2018-05-25 Ed Schonberg gcc/ada/ * sem_ch12.adb (Validate_Derived_Type_Instance):

[Ada] Unbounded strings: inline Initialize and Adjust

Procedures Initialize and Adjust in the Ada.[Wide_[Wide_]]Strings.Unbounded package are now inlined for nondispatching calls. No test available (efficiency issue only). Tested on x86_64-pc-linux-gnu, committed on trunk 2018-05-25 Bob Duff gcc/ada/ *

[Ada] Fix handling of Loop_Entry for CodePeer/SPARK

When the applicable Assertion_Policy is Ignore for a pragma containing an occurrence of attribute Loop_Entry, CodePeer and SPARK should still be able to analyze the corresponding pragma. GNAT frontend was wrongly translating X'Loop_Entry as X in the AST, as a side-effect of an optimization only

[Ada] Support for C99 and C++ standard boolean types

This change the type Interfaces.C.Extensions.bool to be fully compatible with the C99 and C++ standard boolean types by making it a fully-fledged boolean type with convention C. The following C+Ada program must compile quietly in LTO mode: bool b; struct S {}; bool foo (struct S *s) { return

[Ada] Compiler loop on expression function and predicate in generic unit

This patch fixes an infinite loop in the compiler when analyzing an expression function whose expression mentions a subtype with a static predicate, and the context is a generic unit. Tested on x86_64-pc-linux-gnu, committed on trunk 2018-05-25 Ed Schonberg gcc/ada/

[Ada] Detect misplaced assertions between loop invariants

Loop invariants and loop variants should all be colocated, as defined in SPARK RM 5.5.3(8). The code checking that rule was incorrectly accepting pragma Assert between two loop invariants. Now fixed. Tested on x86_64-pc-linux-gnu, committed on trunk 2018-05-25 Yannick Moy

[RFC] fixincludes: vxworks: add hack around ioLib.h/unistd.h mutual inclusion

In old VxWorks headers (5.5), ioLib.h includes unistd.h via #include "unistd.h" We copy ioLib to include-fixed, with a few fixes applied. We also wrap unistd.h, so that fixed header contains #include_next This means that when user-code does #include they'll get the fixed header (as they

[committed][AArch64] Add SVE support for integer division

After the previous patch to prevent pessimisation of divisions by constants, this patch adds support for the SVE integer division instructions. Tested on aarch64-linux-gnu (with and without SVE) and aarch64_be-elf. Committed as r260712. Richard 2018-05-25 Richard Sandiford

Re: [PATCH GCC][1/6]Compute type mode and register class mapping

On Thu, May 24, 2018 at 11:55 PM, Jeff Law wrote: > On 05/18/2018 02:40 AM, Bin.Cheng wrote: >> On Fri, May 4, 2018 at 5:21 PM, Bin Cheng wrote: >>> Hi, >>> This is the updated version patch set computing register pressure on TREE >>> SSA >>> and use that

[ARM/FDPIC 20/21] [ARM][testsuite] FDPIC: Enable tests on pie_enabled targets

Some tests have the "nonpic" guard, but pass on arm*-*-uclinuxfdpiceabi because it is in PIE mode by default. Rather than adding this target to all these tests, add the "pie_enabled" effective target. 2018-XX-XX Christophe Lyon gcc/testsuite/ *

[ARM/FDPIC 18/21] [ARM][testsuite] FDPIC: Skip tests that don't work in PIC mode

Some tests fail on arm*-*-uclinuxfdpiceabi because it generates PIC code and they don't support it: skip them. They also fail on arm*-linux* when forcing -fPIC. 2018-XX-XX Christophe Lyon gcc/testsuite/ * gcc.target/arm/eliminate.c: Accept only nonpic

[ARM/FDPIC 21/21] [ARM][testsuite] FDPIC: Adjust pr43698.c to avoid clash with uclibc.

uclibc defines bswap_32, so use a different name in this test. 2018-XX-XX Christophe Lyon gcc/testsuite/ * gcc.target/arm/pr43698.c (bswap_32): Rename as my_bswap_32. Change-Id: I2591bd911030814331cabf97ee5cf6cf8124b4f3 diff --git

[ARM/FDPIC 13/21] [ARM] FDPIC: Support unwinding across thumb2 signal trampoline

2018-XX-XX Christophe Lyon Mickaël Guêné libgcc/ * unwind-arm-common.inc (FDPIC_T2_LDR_R12_WITH_FUNCDESC) (FDPIC_T2_LDR_R9_WITH_GOT, FDPIC_T2_LDR_PC_WITH_RESTORER): New. (__gnu_personality_sigframe_fdpic):

[ARM/FDPIC 19/21] [ARM][testsuite] FDPIC: Handle *-*-uclinux*

Add *-*-uclinux* to tests that work on this target. 2018-XX-XX Christophe Lyon gcc/testsuite/ * g++.dg/abi/forced.C: Add *-*-uclinux*. * g++.dg/abi/guard2.C: Likewise. * g++.dg/ext/cleanup-10.C: Likewise. *

[ARM/FDPIC 17/21] [ARM][testsuite] FDPIC: Skip v8-m and v6-m tests that currently produce an ICE

v6-M and v8-M are not supported currently in FDPIC mode, it's better to skip the tests. 2018-XX-XX Christophe Lyon Mickaël Guêné gcc/testsuite/ * gcc.target/arm/atomic-comp-swap-release-acquire-3.c: Skip on

[ARM/FDPIC 16/21] [ARM][testsuite] FDPIC: Adjust scan-assembler patterns.

In FDPIC mode, r9 is saved in addition to other registers, so update the expected patterns accordingly. 2018-XX-XX Christophe Lyon Mickaël Guêné * gcc/testsuite/ * gcc.target/arm/interrupt-1.c: Add scan-assembler pattern

[ARM/FDPIC 14/21] [ARM] FDPIC: Force LSB bit for PC in Cortex-M architecture

Without this, when we are unwinding across a signal frame we can jump to an even address which leads to an exception. This is needed in __gnu_persnality_sigframe_fdpic() when restoring the PC from the signal frame since the PC saved by the kernel has the LSB bit set to zero. 2018-XX-XX

[ARM/FDPIC 05/21] [ARM] FDPIC: Fix __do_global_dtors_aux and frame_dummy generation

In FDPIC, we need to make sure __do_global_dtors_aux and frame_dummy are referenced by their address, not by pointers to the function descriptors. 2018-XX-XX Christophe Lyon Mickaël Guêné * libgcc/crtstuff.c: Add support for

[ARM/FDPIC 15/21] [ARM][testsuite] FDPIC: Skip unsupported tests

Several tests cannot work on ARM-FDPIC for various reasons: skip them, or skip some directives. gcc.dg/20020312-2.c: Skip since it forces -fno-pic. gcc.target/arm/: * Skip since r9 is clobbered by assembly code: 20051215-1.c mmx-1.c pr61948.c pr77933-1.c pr77933-2.c * Skip since the

[ARM/FDPIC 10/21] [ARM] FDPIC: Implement legitimize_tls_address_fdpic

Support additional relocations: TLS_GD32_FDPIC, TLS_LDM32_FDPIC, and TLS_IE32_FDPIC. We do not support the GNU2 TLS dialect. 2018-XX-XX Christophe Lyon Mickaël Guêné gcc/ * config/arm/arm.c (tls_reloc): Add

[ARM/FDPIC 08/21] [ARM] FDPIC: Fix corner case of weak symbol

When checking the address of a weak symbol in an executable, it is mandatory to use the GOTFUNCDESC scheme so that the address==NULL semantic is valid if the symbol is not present in the final link. 2018-XX-XX Christophe Lyon Mickaël Guêné

  1   2   >