On Sat, Jun 8, 2013 at 8:34 AM, Andrew Sutton wrote:
>> template
>> tree
>> extract_goals (proof_state& s)
>> ...
>> return extract_goals(s);
>>
>> but I suppose STL style is OK, too.
>
>
> Huh. I didn't realize that could be inlined. Neat.
We do -- we have been doing so for quite some time
now
On Sun, Jun 9, 2013 at 3:34 PM, Oleg Endo wrote:
> On Thu, 2013-06-06 at 16:29 -0400, Jason Merrill wrote:
>> On 06/06/2013 01:47 PM, Andrew Sutton wrote:
>> > I never did understand why this happens. Compiling with GCC-4.6, I get
>> > these errors originating in logic.cc from an include of .
>> >
The first change works around a compiler error in in c++1y
mode, I think it's a front end bug (reported as PR 57573) but is easy
to solve with this change.
The second changes a test to avoid calling try_lock() when the calling
thread already owns the mutex, but moving the try_lock() call into a
n
Hi,
in this old issue, we ICE after having reported an error. The problem
seems that start_preparsed_function doesn't directly inform the caller
that push_template_decl failed. If we adjust for that and pass back a
boolean to cp_parser_function_definition_from_specifiers_and_declarator
via st
Hello,
First, let me say that I have consciously broken most of the rules
mentioned about patch submission at gcc.gnu.org but I have done so in
order to spare myself from wasting time to provide a proper patch in
case the implemented functionality is not deemed worthy of approval and
adoption
Hello,
this patch removes 2 builtins that are undocumented, unused, and have
confusing semantics. Bootstrap+testsuite on x86_64-linux-gnu.
2013-06-10 Marc Glisse
PR target/57224
* config/i386/i386.c (enum ix86_builtins, bdesc_args): Remove
IX86_BUILTIN_CMPNGTSS and
On Thu, 2013-06-06 at 16:29 -0400, Jason Merrill wrote:
> On 06/06/2013 01:47 PM, Andrew Sutton wrote:
> > I never did understand why this happens. Compiling with GCC-4.6, I get
> > these errors originating in logic.cc from an include of .
> > This is what I get:
> >
> > /usr/include/c++/4.6/cstdli
Hello,
just adapting yet another function so it also works with vectors.
It seemed convenient to add a new macro. The name sucks (it doesn't
match the semantics of INTEGRAL_TYPE_P), but I didn't want to name it
INTEGER_SCALAR_OR_VECTOR_CONSTANT_P and didn't have any good idea for a
short name
Hello,
this patch documents that __builtin_isinf_sign returns +-1 for +-Inf. This
builtin was created so it could be used by a libc that has a stronger
guarantee than the standard, and for glibc that means returning +-1, which
is what the code already does.
2013-06-10 Marc Glisse
Hi
tested x86_64-linux, committed to mainline.
Thanks,
Paolo.
2013-06-09 Paolo Carlini
PR c++/37404
* g++.dg/other/vararg-4.C: New.
Index: g++.dg/other/vararg-4.C
===
--- g++.dg/other/va
On Sun, Jun 9, 2013 at 10:57 AM, Jakub Jelinek wrote:
> These two peephole2s misbehave if it sees e.g.
> regN = mem
> regN = regN + regN
> mem = regN
> CC = regN != 0
> because transforming it into
> mem = mem + regN ; CC = mem != 0
> is wrong, I forgot to verify the second operand of the
> plusm
Hello,
this patch removes some self-assignments. I don't know if this is the best
way, but it passes a bootstrap and the testsuite on x86_64-linux-gnu.
2013-06-10 Marc Glisse
PR tree-optimization/57361
gcc/
* tree-ssa-dse.c (dse_possible_dead_store_p): Handle self-assignmen
Tobias Burnus writes:
> --- /dev/null 2013-06-06 09:52:08.544104880 +0200
> +++ gcc/gcc/testsuite/gfortran.dg/finalize_10.f90 2013-06-03
> 12:32:38.763008261 +0200
> @@ -0,0 +1,39 @@
> +! { dg-do compile }
> +! { dg-options "-fdump-tree-original" }
> +!
> +! PR fortran/37336
> +!
> +! Finali
Hello,
when porting __builtin_shuffle from C to C++, I ignored all the C++
specificities and added some extra bugs. This should improve things a bit.
Bootstrap+testsuite on x86_64-linux-gnu.
2013-06-10 Marc Glisse
PR c++/57509
gcc/c-family/
* c-common.h (c_build_vec_perm
Dear Tobias,
The test gfortran.dg/finalize_10.f90 fails in 32 bit mode (see
http://gcc.gnu.org/ml/gcc-testresults/2013-06/msg00842.html
FAIL: gfortran.dg/finalize_10.f90 -O scan-tree-dump-times original
"__builtin_memcpy ((void .) y->_data, (void .)
y->_vptr->_def_init, \\
Hi!
These two peephole2s misbehave if it sees e.g.
regN = mem
regN = regN + regN
mem = regN
CC = regN != 0
because transforming it into
mem = mem + regN ; CC = mem != 0
is wrong, I forgot to verify the second operand of the
plusminuslogic_operator doesn't overlap the first operand.
Fixed thusly,
Hello,
Le 03/06/2013 16:06, Tobias Burnus a écrit :
> Dear all,
>
> Due to copying the attributes, the temporary variable could get marked
> as function (attr.function, attr.flavor == FL_PROCEDURE). This either
> lead to leaking those attributes into the assembler file - or to cause
> an error du
17 matches
Mail list logo