Re: [Patch, Fortran] PR57508 - Fix ICE/Reject-valid issue with get_temp_from_expr (intrinsic assignment with defined assignment)

2013-06-09 Thread Mikael Morin
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

[PATCH] Fix TARGET_READ_MODIFY_WRITE peephole2s (PR target/57568)

2013-06-09 Thread Jakub Jelinek
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,

Re: *PING* / Re: [Patch, Fortran] Finalize nonallocatables with INTENT(out)

2013-06-09 Thread Dominique Dhumieres
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, \\

[C++] Fix __builtin_shuffle

2013-06-09 Thread Marc Glisse
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

Re: *PING* / Re: [Patch, Fortran] Finalize nonallocatables with INTENT(out)

2013-06-09 Thread Andreas Schwab
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

Remove self-assignments

2013-06-09 Thread Marc Glisse
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

Re: [PATCH] Fix TARGET_READ_MODIFY_WRITE peephole2s (PR target/57568)

2013-06-09 Thread Uros Bizjak
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

[C++ testcase, committed] PR 37404

2013-06-09 Thread Paolo Carlini
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

Document __builtin_isinf_sign more precisely

2013-06-09 Thread Marc Glisse
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

More forwprop for vectors

2013-06-09 Thread Marc Glisse
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

Re: [c++-concepts] code review

2013-06-09 Thread Oleg Endo
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

[x86] Remove 2 builtins

2013-06-09 Thread Marc Glisse
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

[PATCH] Add a couple of dialect and warning options regarding Objective-C instance variable scope

2013-06-09 Thread Dimitris Papavasiliou
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

[C++ Patch] PR 38634

2013-06-09 Thread Paolo Carlini
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

[patch] Fix two small issues

2013-06-09 Thread Jonathan Wakely
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

Re: [c++-concepts] code review

2013-06-09 Thread Gabriel Dos Reis
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 . >> >

Re: [c++-concepts] code review

2013-06-09 Thread Gabriel Dos Reis
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