On May 25, 2018 8:49:47 PM GMT+02:00, Michael Meissner
wrote:
>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 t
On May 25, 2018 11:03:50 PM GMT+02:00, Jakub Jelinek wrote:
>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
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
* g
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
--- a/libgcc/crtstuff.c
+++ b/lib
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. A
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 7a05b5b602a..f5c398ee4b9 100644
--- a/gcc/con
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 ve
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
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 u
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.
>
> Bootstrapped and tested on
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
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 ufloat*
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 pdp11.
* g
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
PR bootstrap/8
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 675b0276548
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 at
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 category of subobjects of class prvalues: th
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”
(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 late
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 (expand_builtin_strn
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, but that was kind
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
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 still value-initializ
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 to be default construc
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
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. Assumin
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 _Compare is built dire
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 May 24, 2018 7:02:17 PM GMT+02:00, M
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). I noticed
> that it
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, Martin Sebor
>
>> wrote:
> On 05/24
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 for a while,
>>> and then I realized that we could just stop convert_like_real
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
>> changing the node type for null_node.
>
> Won't t
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 Thu, May 24, 2018 at 12:50 AM Martin
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 result has the wrong type? I
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:
> >>
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
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 (
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, I
A new configure option should be documented in install.texi.
--
Joseph S. Myers
jos...@codesourcery.com
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)?
--
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 wrote
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 include-fixed, with a few fix
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 *ashldi_se. Define as
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 explicitly ask to enable or disable
>> f
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
> i
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> wrote:
>> >
>> >> Richard Biener writes:
>> >> > On Wed, Ma
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
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.
Ri
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 <
> > > richard.sandif...@linaro.org> wrote:
> > >
> > >> Richar
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 writes:
> >> > On Wed, May 16, 2018 at 12:17 PM Richard Sand
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> wrote:
>> >> This patch uses IFN_COND_* to vectorise condit
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
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
* gcov.c (out
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 11:02:46.262494712 +0100
> >> +++ gcc
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: /cvs/gcc/wwwdocs/htdocs/gcc-8/changes.html,v
> retrie
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 conditionally-executed,
> >> potentiall
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 (set_malign_value): New
function.
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 ++
gcc/config/i3
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 mea
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 ++
gcc/vec.h | 14 ++
2 files cha
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
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 +564,41 @@ vect_get_and_check_slp_d
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
> gcc/testsuite/ChangeLog:
> 2018-05
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 updated version patch set computing register pressure on
TREE SSA
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 -ftrapping-math. E.g.:
>
>> if (
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 didn't
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
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:
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
* gcc.dg/tree-prof/upd
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 bc3e3a9f433..fe3cc1
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
archite
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 Bernardi
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 Nico
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
c
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
gcc/ada/
*
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 (Resolve_Membership_Op): Al
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
2018-05-2
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 Msg_Data_B
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 accomod
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 Tro
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 x86_64-pc-linux-gnu,
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): Verify that the actual
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/
* libgnat/a-strunb__shared.ads, libg
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 val
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 tr
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/
* sem_ch13.adb (B
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
gcc/ada/
*
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 sho
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
gcc/
* co
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 information to direct other loop optimiz
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/
* g++.dg/cpp0x/noexcept03.C: Add pi
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 targets.
* g++.dg/
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 a/gcc/testsuite/gcc.target/arm/pr43698.c
b/g
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): Support Thumb address.
(get_eit_entry):
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.
* g++.dg/ext/cleanup-11.C: Likewise.
* g+
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*-*-uclinuxfdpiceabi.
* gcc.target/arm/atom
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 for
arm*-*-uclinuxfdpiceabi.
* g
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 Christoph
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 FDPIC.
Change-Id: Iff3aec3815e8ebd87276c0107752f009
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 te
1 - 100 of 119 matches
Mail list logo