2011/9/7 Benjamin Kosnik :
>
> Here's the tuple additions for constexpr now that it's ok to return
> this.
Btw.: I would have expected that you can make
__tuple_compare<>::__eq/__less also constexpr.
These are static functions, thus __tuple_compare
itself need not to be a literal type (Disclaimer
This patches fixes bugs that caused the multi-version tests to fail.
* mversn-dispatch.c (specialize_call): Rebuild cgraph edges after
specialization.
(clone_and_dispatch_function): Rebuild cgraph edges to compute
inline parameters.
(do_convert_builtin_dispa
This showed up with a coldfire-linux toolchain. get_condition can return
NULL in some cases when the condition is reversed and there are float
modes involved; in that case we will move instructions in between a cc0
user and setter.
This patch fixes it. Tested on cris-elf, since I currently have no
Here's the tuple additions for constexpr now that it's ok to return
this.
I'm not quite sure what to do with the get, tie, tuple_cat functions
given the current signatures. Is tuple_cat now considered conforming?
If so, certain signatures can be constexpr.
tested x86/linux
benjamin2011-09-06
I checked in the following patch to update the documentation for tm_p.h. I
noticed the FIXME comment in the texi source when I was working on my previous
patch for combining the standard and machine dependent builtin indexes. While
that patch did not go in, I figured I could improve the documenta
On 6 September 2011 22:58, Paul Pluzhnikov wrote:
> On Tue, Sep 6, 2011 at 2:51 PM, Jonathan Wakely wrote:
>
>> I don't mean for vector::begin and the other functions in that patch,
>> I mean in general for member functions of any type. There are plenty
>> of functions that wouldn't crash when cal
I committed the following patch as obvious to make the dg-error test match the
current compiler's error message (the current compiler now lists the type which
broke the regexp).
2011-09-06 Michael Meissner
* g++.dg/ext/altivec-17.C: Fix dg-error to match current compiler.
Index: gcc/t
On Tue, Sep 6, 2011 at 2:51 PM, Jonathan Wakely wrote:
> I don't mean for vector::begin and the other functions in that patch,
> I mean in general for member functions of any type. There are plenty
> of functions that wouldn't crash when called through a null pointer.
> But even std:vector has me
On 7/09/2011, at 9:32 AM, Steven Bosscher wrote:
> On Tue, Sep 6, 2011 at 11:31 PM, Steven Bosscher
> wrote:
>> Index: haifa-sched.c
>> ===
>> --- haifa-sched.c (revision 178601)
>> +++ haifa-sched.c (working copy)
>> @@
> Hi,
>
> somehow I lost two hunks in the patch allowing IPA-CP to process
> functions with variable number of arguments and one of these omissions
> caused PR 50301 (416.gamess LTO miscompilation). The two hunks check
> the number of actual arguments in two places of IPA-CP which are not
> execu
On 6 September 2011 21:52, Paul Pluzhnikov wrote:
> On Tue, Sep 6, 2011 at 1:33 PM, Jonathan Wakely wrote:
>
>>> for (it = v->begin(); it != v->end(); ++it) // Oops!
>>
>> Eurgh, the occurrence of "delete" in anything except a destructor is a
>> code smell that should have led someone to find th
On Tue, Sep 6, 2011 at 11:31 PM, Steven Bosscher wrote:
> Index: haifa-sched.c
> ===
> --- haifa-sched.c (revision 178601)
> +++ haifa-sched.c (working copy)
> @@ -6071,7 +6071,10 @@ check_cfg (rtx head, rtx tail)
>
On 09/06/2011 04:21 PM, Dodji Seketeli wrote:
Jason Merrill a écrit:
A followup: non-literal argument types shouldn't change the constexpr
flag either, and we shouldn't crash when a constructor initializes
bases as well as members (50296). I'm not sure how my testing missed
that bug...
Teste
On Tue, Sep 6, 2011 at 8:00 PM, Maxim Kuvyrkov wrote:
>
> On 7/09/2011, at 3:13 AM, Steven Bosscher wrote:
>
>> On Tue, Sep 6, 2011 at 11:14 AM, Tom de Vries wrote:
>>> Hi,
>>>
>>> During testing the approved-for-commit middle-end patch for bug 43864 on
>>> ARM, I
>>> ran into a gcc.dg/torture/p
Hello!
x32 follows x86_64 ABI, so no MMX regs are saved/restored in
__builtin_apply_args/__builtin_return, even with -mmmx. The patch also
includes some cleanups in this area.
2011-09-06 Uros Bizjak
* config/i386/i386.c (ix86_function_value_regno_p): Use AX_REG.
(function_valu
On Tue, Sep 6, 2011 at 1:33 PM, Jonathan Wakely wrote:
>> for (it = v->begin(); it != v->end(); ++it) // Oops!
>
> Eurgh, the occurrence of "delete" in anything except a destructor is a
> code smell that should have led someone to find those bugs anyway!
> Obviously the code above is a trivial
On 6 September 2011 21:19, Paul Pluzhnikov wrote:
> On Tue, Sep 6, 2011 at 12:44 PM, Jonathan Wakely
> wrote:
>> On 6 September 2011 20:23, Jonathan Wakely wrote:
>>>
>>> What's a dangling vector anyway? One that has been moved from?
>>
>> Apparently not, since a moved-from vector would pass __v
On 6 Sep 2011, at 21:19, Paul Pluzhnikov wrote:
> On Tue, Sep 6, 2011 at 12:44 PM, Jonathan Wakely
> wrote:
>> On 6 September 2011 20:23, Jonathan Wakely wrote:
>>>
>>> What's a dangling vector anyway? One that has been moved from?
>>
>> Apparently not, since a moved-from vector would pass _
Jason Merrill a écrit:
> A followup: non-literal argument types shouldn't change the constexpr
> flag either, and we shouldn't crash when a constructor initializes
> bases as well as members (50296). I'm not sure how my testing missed
> that bug...
>
> Tested x86_64-pc-linux-gnu, applying to tru
On Tue, Sep 6, 2011 at 12:44 PM, Jonathan Wakely wrote:
> On 6 September 2011 20:23, Jonathan Wakely wrote:
>>
>> What's a dangling vector anyway? One that has been moved from?
>
> Apparently not, since a moved-from vector would pass __valid() (as
> indeed it should)
>
> So I'm quite curious what
I applied the following under the 'obvious' rule.
config/darwin10.h no longer modifies LIB_SPEC and thus the one in it
was just a duplicate of the one in darwin.h.
tidied.
cheers,
Iain
gcc:
* config/darwin10.h Remove duplicate LIB_SPEC.
Index: gcc/config/darwin10.h
==
On 6 September 2011 20:23, Jonathan Wakely wrote:
>
> What's a dangling vector anyway? One that has been moved from?
Apparently not, since a moved-from vector would pass __valid() (as
indeed it should)
So I'm quite curious what bugs this catches. The existing debug mode
catches some fairly subt
On 6 September 2011 19:01, Paul Pluzhnikov wrote:
>
>> But this is something to discuss with libstdc++ (CC'd).
>
> Sure. If the "parallel" debug mode is more tenable now, I am all for it.
I don't think anything has changed. I'm not excited by the idea of
another debug mode, especially not this pa
On 08/08/2011 03:52 PM, Dodji Seketeli wrote:
+ cfun->language = NULL;
Might as well ggc_free it first.
+ /* We want T to be either a type or a TYPE_DECL. */
Comment is out of date.
Does __attribute ((used)) on the typedef prevent the warning?
Jason
OK.
Jason
A followup: non-literal argument types shouldn't change the constexpr
flag either, and we shouldn't crash when a constructor initializes bases
as well as members (50296). I'm not sure how my testing missed that bug...
Tested x86_64-pc-linux-gnu, applying to trunk.
commit 26e458d541a3b04512ab88
I checked it into cilkplus branch.
Thanks.
On Tue, Sep 6, 2011 at 10:38 AM, Iyer, Balaji V wrote:
> OK..fixed. Please try it now.
>
> Thanks,
>
> Balaji V. Iyer.
>
> From: H.J. Lu [hjl.to...@gmail.com]
> Sent: Tuesday, September 06, 2011 1:35 PM
> To: Iye
On Tue, Sep 6, 2011 at 10:46 AM, Diego Novillo wrote:
> On Tue, Sep 6, 2011 at 12:54, Paul Pluzhnikov wrote:
>> On Tue, Sep 6, 2011 at 9:44 AM, Diego Novillo wrote:
>>
>>> OK. Any reason not to send this (or a variant) to mainline?
>>
>> AFAIU, mainline is not interested -- there is already a d
On 7/09/2011, at 3:13 AM, Steven Bosscher wrote:
> On Tue, Sep 6, 2011 at 11:14 AM, Tom de Vries wrote:
>> Hi,
>>
>> During testing the approved-for-commit middle-end patch for bug 43864 on
>> ARM, I
>> ran into a gcc.dg/torture/pr46068.c ICE.
>>
>> The following assert in haifa-sched.c:check
Hi,
somehow I lost two hunks in the patch allowing IPA-CP to process
functions with variable number of arguments and one of these omissions
caused PR 50301 (416.gamess LTO miscompilation). The two hunks check
the number of actual arguments in two places of IPA-CP which are not
executed so often a
2011/9/6 Uros Bizjak :
>
> Please merge your new splitters with corresponding LEA patterns.
>
> OK with this change.
>
> Thanks,
> Uros.
>
Fixed. Could please someone check it in if it's OK now?
Thanks,
Ilya
---
gcc/
2011-09-06 Enkovich Ilya
* config/i386/i386-protos.h (ix86_lea_outp
On Tue, Sep 6, 2011 at 12:54, Paul Pluzhnikov wrote:
> On Tue, Sep 6, 2011 at 9:44 AM, Diego Novillo wrote:
>
>> OK. Any reason not to send this (or a variant) to mainline?
>
> AFAIU, mainline is not interested -- there is already a debug mode (enabled
> by _GLIBCXX_DEBUG), which catches many of
OK..fixed. Please try it now.
Thanks,
Balaji V. Iyer.
From: H.J. Lu [hjl.to...@gmail.com]
Sent: Tuesday, September 06, 2011 1:35 PM
To: Iyer, Balaji V
Cc: gcc-patches@gcc.gnu.org
Subject: Re: [Patch][Cilkplus branch] Adding include directory path to
tests
Hi,
the patch below makes SRA produce intere type replacements when it
currently produces enumeration type ones because this then may cause
VRP to assume wrong bounds (PR 49911).
I do not know how to create a testcase for the PR this should solve
because I could not reproduce it on yesterday's tr
diff --git a/gcc/testsuite/ChangeLog.cilk b/gcc/testsuite/ChangeLog.cilk
index c9eac87..a602b88 100644
--- a/gcc/testsuite/ChangeLog.cilk
+++ b/gcc/testsuite/ChangeLog.cilk
@@ -1,3 +1,9 @@
+2011-09-05 Balaji V. Iyer.
^^ Your name should be
followed by 2 sp
Ok..try it now.. I did git diff origin/cilkplus.
Thanks,
Balaji V. Iyer.
-Original Message-
From: H.J. Lu [mailto:hjl.to...@gmail.com]
Sent: Tuesday, September 06, 2011 12:37 PM
To: Iyer, Balaji V
Subject: Re: [Patch][Cilkplus branch] Adding include directory path to
testsuite script
On Tue, Sep 6, 2011 at 9:44 AM, Diego Novillo wrote:
> OK. Any reason not to send this (or a variant) to mainline?
AFAIU, mainline is not interested -- there is already a debug mode (enabled
by _GLIBCXX_DEBUG), which catches many of the same bugs (and more), and
introduction of "parallel" debug
On Tue, Sep 6, 2011 at 12:28, Paul Pluzhnikov wrote:
> Greetings,
>
> This patch adds a lightweight self-consistency check to many vector
> operations. Google issue 5246356.
>
> Ok for google/integration branch?
>
> Thanks,
> --
>
>
> 2011-09-06 Paul Pluzhnikov
>
> * include/bits/stl_vec
On Tue, Sep 6, 2011 at 9:07 AM, Ilya Enkovich wrote:
> 2011/9/6 Uros Bizjak :
>>
>> OK.
>>
>> Thanks,
>> Uros.
>>
>
> Could please someone check it in for me?
>
I checked it in for you.
--
H.J.
On Tue, Sep 6, 2011 at 9:28 AM, Paul Pluzhnikov wrote:
> This patch adds a lightweight self-consistency check to many vector
> operations. Google issue 5246356.
Sorry, forgot to mention: tested by doing bootstrap and make check on
Linux/x86_64.
--
Paul Pluzhnikov
On Tue, Sep 6, 2011 at 8:01 AM, Iyer, Balaji V wrote:
> Sure! Here is the fixed patch.
It won't apply. Please make sure that it is against cilkplus branch.
H.J.
> Thanks,
>
> Balaji V. Iyer.
>
> -Original Message-
> From: H.J. Lu [mailto:hjl.to...@gmail.com]
> Sent: Tuesday, September 0
Greetings,
This patch adds a lightweight self-consistency check to many vector
operations. Google issue 5246356.
Ok for google/integration branch?
Thanks,
--
2011-09-06 Paul Pluzhnikov
* include/bits/stl_vector.h (__is_valid): New function.
(begin, end, size, capacity, swap
On Sep 6, 2011, at 1:12 AM, Eric Botcazou wrote:
>> That's a good question, and one that I haven't got to the bottom of -
>> but the exclusion was there in the original code-base [still in the
>> vendor's tree too].
>> (also, the rs6000 pro/epilogue code is not the easiest to navigate).
>
> Assumi
2011/9/6 Uros Bizjak :
>
> OK.
>
> Thanks,
> Uros.
>
Could please someone check it in for me?
Thanks,
Ilya
This fixes PR47025, __builtin_va_end is preventing dead store
elimination and __builtin_va_start is an escape point for the
valist.
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk.
Richard.
2011-09-06 Richard Guenther
PR tree-optimization/47025
* tree-s
On Tue, Sep 6, 2011 at 2:39 PM, Ilya Enkovich wrote:
>> I assume that you need to split tune attribute to int and FP part to
>> handle reassociation for other targets, since Atom handles both in the
>> same way.
>>
>> Please also describe function return value in the comment (and perhaps
>> in do
On Tue, Sep 6, 2011 at 2:26 PM, Ilya Enkovich wrote:
> Is fixed version OK?
>
> Thanks,
> Ilya
> ---
> gcc/
>
> 2011-09-06 Enkovich Ilya
>
> * config/i386/i386-protos.h (ix86_lea_outperforms): New.
> (ix86_avoid_lea_for_add): Likewise.
> (ix86_avoid_lea_for_addr): Likewis
On Sat, Sep 3, 2011 at 5:52 PM, Artem Shinkarov
wrote:
> On Fri, Sep 2, 2011 at 8:52 PM, Joseph S. Myers
> wrote:
>> On Fri, 2 Sep 2011, Artem Shinkarov wrote:
>>
>>> Joseph, I don't understand this comment. I have 2 or 3 arguments in
>>> the VEC_SHUFFLE_EXPR and any of them can be C_MAYBE_CONST
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 09/06/11 07:01, Nick Clifton wrote:
> Hi Jeff, Hi Alex,
>
> The MN10300 target is currently failing to build in the mainline FSF
> sources because of this error when creating libgcc:
>
> gcc/libgcc2.c: In function '__popcountsi2': gcc/libgcc2.c:8
On 09/06/2011 01:56 PM, Arnaud Charlet wrote:
this means using as many processes as there are CPUs, right? It seems pretty
Right, but only for gnattools, which is a relatively short time, and
which always occurs at the end of the build (so with nothing else
running at the same time).
dubious
As discussed recently, this patch reintroduces some Makefile hunks
that had been removed in the past. These hunks allow (at least partially)
to use gnattools/gnatlib targets to be used individually when using
--disable-libada and alos reduce differences between FSF and AdaCore
repositories, thus ma
On Tue, Sep 6, 2011 at 11:14 AM, Tom de Vries wrote:
> Hi,
>
> During testing the approved-for-commit middle-end patch for bug 43864 on ARM,
> I
> ran into a gcc.dg/torture/pr46068.c ICE.
>
> The following assert in haifa-sched.c:check_cfg triggered:
> ...
> else if (any_condjump
Sure! Here is the fixed patch.
Thanks,
Balaji V. Iyer.
-Original Message-
From: H.J. Lu [mailto:hjl.to...@gmail.com]
Sent: Tuesday, September 06, 2011 10:57 AM
To: Iyer, Balaji V
Cc: gcc-patches@gcc.gnu.org
Subject: Re: [Patch][Cilkplus branch] Adding include directory path to
testsuit
You should just say "* g++.dg/cilk-plus/cilk_plus.exp: Likewise" since
the change is the same as above.
H.J.
On Tue, Sep 6, 2011 at 7:45 AM, Iyer, Balaji V wrote:
> I fixed all the changed you have requested. Here is an updated patch.
>
> Thanks,
>
> Balaji V. Iyer.
>
>
> -Original Message---
On Tue, Sep 6, 2011 at 4:50 PM, Artem Shinkarov
wrote:
> Here is a new version of the patch which considers the changes from
> 2011-09-02 Richard Guenther
>
>
> ChangeLog
>
> 20011-09-06 Artjoms Sinkarovs
>
> gcc/
> * fold-const.c (constant_boolean_node): Adjust the meaning
> o
Here is a new version of the patch which considers the changes from
2011-09-02 Richard Guenther
ChangeLog
20011-09-06 Artjoms Sinkarovs
gcc/
* fold-const.c (constant_boolean_node): Adjust the meaning
of boolean for vector types: true = {-1,..}, false = {0,..}.
(fol
I fixed all the changed you have requested. Here is an updated patch.
Thanks,
Balaji V. Iyer.
-Original Message-
From: H.J. Lu [mailto:hjl.to...@gmail.com]
Sent: Tuesday, September 06, 2011 10:41 AM
To: Iyer, Balaji V
Cc: gcc-patches@gcc.gnu.org
Subject: Re: [Patch][Cilkplus branch] Ad
On Tue, Sep 6, 2011 at 7:30 AM, Iyer, Balaji V wrote:
> Attached, please find a patch with the modifications you have suggested
> (adding the info in Changelog.cilk).
Please remove the extra blank line in ChangLog. ChangeLog
should simply say what you did, not why.
H.J.
> Sorry for the mi
Hi,
On Mon, Sep 05, 2011 at 09:24:36AM +0200, Jan Hubicka wrote:
> > Hi,
> >
> > the patch below improves the comparisons of BINFOs in IPA-CP. The
> > problem is that we can read different BINFOs for the same type (or a
> > base type component) from the LTO summaries because BINFOs coming from
>
Attached, please find a patch with the modifications you have suggested (adding
the info in Changelog.cilk).
Sorry for the mistake.
Thanks,
Balaji V. Iyer.
-Original Message-
From: H.J. Lu [mailto:hjl.to...@gmail.com]
Sent: Tuesday, September 06, 2011 10:22 AM
To: Iyer, Balaji V
Cc:
On Mon, Sep 5, 2011 at 9:52 PM, Iyer, Balaji V wrote:
> Hello Everyone,
> This patch is for the Cilk Plus branch. It will add the include
> directory path it the testsuite script (cilk_plus.exp) in both
> gcc.dg/cilk-plus and g++.dg/cilk-plus directories.
>
> Thanking You,
>
ChangeLog en
Hi,
PR target/50099 is a case where we are using the wrong predicate for
the sign_extend from QI to DImode values. ldrsb has a lower range than
the other ldrb instructions in ARM state and hence one has to be
careful about generating the right addresses when splitting it.
Attached is a patch to f
This update adds many more "magic numbers" for various ARM CPUs, and
also ensures that the implementer is ARM (as opposed to Marvell, etc.).
The list is far from comprehensive, but it should cover many (but by no
means all) of the cores in current use and it would not be hard to add
support for
This makes SCCVN combine COMPLEX_EXPR arguments with its operands,
allowing to optimize piecewise pass-thru of a complex value.
The meat of the patch is the tuplification fix
! && TREE_CODE (gimple_assign_rhs1 (def_stmt)) == SSA_NAME)
---
! && TREE_CODE (TREE_OPERAND (gimple_assi
This patch fixes some errors in the previous initial checkin of this
new feature.
1. package noimpunit4 is end;
1. pragma Restrictions (No_Implementation_Units);
2. with noimpunit4;
3. with GNAT.IO;
|
>>> violation of restriction
"no_implem
On 9/6/2011 7:14 AM, Duncan Sands wrote:
this means using as many processes as there are CPUs, right? It
seems pretty dubious to me to use more processes than the user maybe
asked for.
We often find that the optimum number of processes is a little bit more
than the number of physical processe
We currently lack support for vector CONSTRUCTORs in value-numbering
(yes, and vector component selection as well, but that's a different
story...).
The following implements this by treating vector CONSTRUCTOR as nary
ops. With quite some infrastructure adjustments to support
(sort-of arbitrary
This patch implements the new restriction No_Implementation_Units, as
defined in AI 242. This restriction is also part of the new Ada 2012
profile No_Implementation_Extensions.
Here is a test of the new restriction (compiled with -gnatld7 -gnatj60)
1. pragma Ada_2005;
2. pragma Restrict
The body that is a rewriting of an expression function does not freeze previous
entities.
The following must compile quietly in Ada2012 mode:
---
package Ada12 is
type T is tagged null record;function Template (Self : T) return String
is ("foo.thtml");
type T2 is new T with null rec
Hi Jeff, Hi Alex,
The MN10300 target is currently failing to build in the mainline FSF
sources because of this error when creating libgcc:
gcc/libgcc2.c: In function '__popcountsi2':
gcc/libgcc2.c:834:1: internal compiler error: in create_trace_edges, at
dwarf2cfi.c:2325
This turn
Hi!
CALL_INSN_FUNCTION_USAGE contains for each (use (reg:M)) or (use (mem:M))
the mode of the promoted argument, not the original mode, which is needed
for RTL optimizations, but prepare_call_arguments would like to know
the original non-promoted argument mode (i.e. TYPE_MODE of the argument's
typ
Hello,
2011/9/2 Uros Bizjak :
> I assume that you need to split tune attribute to int and FP part to
> handle reassociation for other targets, since Atom handles both in the
> same way.
>
> Please also describe function return value in the comment (and perhaps
> in documentation, too).
>
> OK with
Hi,
I'm going to apply this after a quick c-only bootstrap and test on the
4.6 branch to revert my previous fix for PR 49886 because it causes PR
50295 (and probably also PR 50287 though I do not know whether that is
against trunk or 4.6 too).
I'm not reverting this on trunk because I know there
Hello,
Thanks for review!
2011/9/3 Uros Bizjak :
> Did you also test on x32 ? H.J.'s x32 page [1] currently says that
> Atom LEA optimization is disabled on x32 for some reason.
No. I did not try to cover x32. It will be a separate work.
> +bool
> +ix86_avoid_lea_for_addr (rtx insn, rtx operands
On Tue, 6 Sep 2011, Eric Botcazou wrote:
> Hi,
>
> this is a regression present on the mainline and 4.6 branch caused by the
> constructor uniquization patch. The tree_output_constant_def routine rejects
> offsetof-like computations that can be written in the C family of languages.
> While the
No change in behavior, this patch just removes code that is not
used since a long time.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-09-06 Pascal Obry
* sysdep.c (winflush_nt): Removed as not needed anymore.
(winflush_95): Likewise.
(winflush_init): Likewise.
Ada2012 Expression functions behave like default expressions in regards to
freezing rules: their declaration does not freeze, only a use of them (in a
call) freezes.
The following must compile quietly in Ada2012 mode:
---
with Interfaces; use Interfaces;
package Images is
type RGBQUAD is record
If a record component is constrained with a current instance, that is to say
an access to the enclosing type, an initialization call for the component must
use a reference to the target object. Previously this was done when generating
the code for the initialization procedure for the encloing recor
Hi,
this is a regression present on the mainline and 4.6 branch caused by the
constructor uniquization patch. The tree_output_constant_def routine rejects
offsetof-like computations that can be written in the C family of languages.
While the C compiler folds most of them early, it doesn't if an
> this means using as many processes as there are CPUs, right? It seems pretty
Right, but only for gnattools, which is a relatively short time, and
which always occurs at the end of the build (so with nothing else
running at the same time).
> dubious to me to use more processes than the user may
On 17 August 2011 15:49, Richard Earnshaw wrote:
> On 16/08/11 10:28, Ira Rosen wrote:
>> Hi,
>>
>> This patch changes the default vector size for auto-vectorization on
>> ARM NEON to 128 bits. This new version is a result of a discussion
>> with Richard and Ramana.
>>
>> wwwdocs changes will foll
Chung-Lin Tang writes:
> Hi Richard, this looks very similar to this patch, originally for LP:689887:
> http://gcc.gnu.org/ml/gcc-patches/2011-01/msg00794.html
> Apart from your additional handling in the dominance modes cases.
Indeed. Sorry about that. It must look odd that I've posted such
a
Hi Arnaud,
Now that gnatmake supports -j0, it's possible to speed up the build of
gnattools during GNAT build by using gnatmake -j0 instead of gnatmake.
This is useful since gnattools is the only target which isn't parallelized
in the Makefile before this change.
this means using as many proc
This patch allows a better detection of unused formals in subprogram bodies.
Previously the use of a formal as the selector in a parameter association was
treated as a proper reference, thus missing otherwise unused entities.
The following command :
gcc -c -gnatwa k.adb
must yield:
k.adb:
Now that gnatmake supports -j0, it's possible to speed up the build of
gnattools during GNAT build by using gnatmake -j0 instead of gnatmake.
This is useful since gnattools is the only target which isn't parallelized
in the Makefile before this change.
Tested on x86_64-linux-gnu, committed on tru
This patch provides support for attribute Descriptor_Size. Currently the
attribute is applicable only to unconstrained arrays types and returns the
size of the dope vector plus any additional padding due to alignment issues
in bits.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-09-06 Hr
Bernd Schmidt writes:
> On 09/01/11 16:16, Richard Sandiford wrote:
>> Bernd Schmidt writes:
>>> On 08/26/11 14:57, Richard Sandiford wrote:
Wouldn't a reverse post-order (inverted_post_order_compute) allow even
more pre-opening (as well as being less code)?
>>>
>>> I can't really tell
This change fixes a defect in the tasking runtime library whereby a
task freeing its own Ada Task Control Block would reference it after it
had been deallocated, because the deallocation is made with abortion deferred,
and Abort_Undefer needs access to the ATCB.
In particular this happens when a f
This change implements a new feature in the tasking runtime library: if
Unchecked_Deallocation is called on a non-terminated task (which was
previously a no-op), the task is now marked to be freed automatically when
it terminates.
The following test case demonstrates the feature:
$ gnatmake -q -z
Aspect/pragma [Type_]Invariant may be placed illegally on a public type or
a private type without public declaration. This patch gives a different error
message for each case. Now, compiling the following code generates 4 different
messages:
$ gcc -c -gnat12 inv.ads
inv.ads:5:11: aspect "Type_Inva
This small change brings the indirect case on par with the direct case when it
comes to eliminating an index check for dynamic arrays. No index check will
be generated for the following procedure in default mode:
type Darray is array (1 .. Q.N) of Long_Float;
procedure Add (X, Y : access D
AI05-0071 stipulates that: In an instance, if the actual for a formal type FT
with unknown discriminants is a class-wide type CT, and the generic has a
formal subprogram with a box for a primitive operation of FT, the corresponding
actual subprogram denoted by the default is a class-wide operation
Some cleanups before I touch this code.
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk.
Richard.
2011-09-06 Richard Guenther
* tree-ssa-sccvn.c (visit_use): CSE stmt pieces and simplify
matching.
Index: gcc/tree-ssa-sccvn.c
===
Hi,
tested x86_64-linux, committed to mainline. See audit trail for details...
Thanks,
Paolo.
/
2011-09-06 Paolo Carlini
PR libstdc++/50257
* include/bits/hashtable_policy.h (_Prime_rehash_policy::
_M_next_bkt): Optimize for small argument.
Index:
This patch implements AI 246, restriction No_Implemention_Identifiers
and the related profile No_Implementation_Extensions. The restriction
disallows references to implementation defined identifiers (such as the
ones in package Interfaces). The profile activates the full set of
restrictions with na
Hi,
this is a regression present on the mainline/4.6/4.5 branches. I overlooked
the -mregnames business when I changed the probe_stack pattern and, while
this silently works on most platforms, this breaks on Darwin because of the
awkward assembler.
Tested on PowerPC/Darwin by Iain and on Powe
The final version of the Ada 2012 RM specifies that a type invariant can be
given in the private part of a package, on the completion of a private type
declaration.
The following must compile quietly:
package Inv is
type List is private;
private
type Length_T is new Integer;
type Array_T
This patch adds the support needed to load references of entities
imported from other languages. This functionality is required by
tools processing ALI files (for example GPS).
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-09-06 Javier Miranda
* ali.adb (Scan_ALI): Add missin
Simplify s-linux*.ads files by using s-oscons-tmplt.c to generate proper
definition of pthread_mutex_t.
Tested on x86_64-pc-linux-gnu, committed on trunk
2011-09-06 Pascal Obry
* s-linux.ads, s-linux-alpha.ads, s-linux-hppa.ads, s-linux-mipsel.ads,
s-linux-sparc.ads: Remove ha
This patch fixes a crash in the compiler when inlining a function call that
returns an unconstrained array in the context of an assignment created for an
extended return statement. The patch also optimizes the case where the target
of the assignment is a selected component, and avoid the use of an
1 - 100 of 120 matches
Mail list logo
