[Bug c/71539] incomplete execution of a nested loop for -O2 and -O3

2016-06-14 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71539 Andrew Pinski changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug c/71539] incomplete execution of a nested loop for -O2 and -O3

2016-06-14 Thread cubitect at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71539 --- Comment #2 from cubitect at gmail dot com --- Thank you for the tip! I was unaware that signed integer overflow is undefined in standard C. I was rewriting some java code in C when I ran into this problem, so this makes sense now. (Though I

[Bug c/71539] incomplete execution of a nested loop for -O2 and -O3

2016-06-14 Thread mednafen at sent dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71539 mednafen at sent dot com changed: What|Removed |Added CC||mednafen at sent dot com ---

[PATCH, i386][resend] Add native support for VIA C7, Eden and Nano CPUs

2016-06-14 Thread J. Mayer
The following patch adds support and native detection for C7, Eden "Samuel2", Eden "Nehemiah", Eden "Esther", Eden x2, Eden x4, Nano 1xxx, Nano 2xxx, Nano 3xxx, Nano x2 and Nano x4 VIA CPUs. Sorry for the bogus character encoding of my previous mail. Please CC me to any comment / review / change

[PATCH, i386][updated] Add native support for VIA C7, Eden and Nano CPUs

2016-06-14 Thread J. Mayer
The following patch adds support and native detection for C7, Eden "Samuel2", Eden "Nehemiah", Eden "Esther", Eden x2, Eden x4, Nano 1xxx, Nano 2xxx, Nano 3xxx, Nano x2 and Nano x4 VIA CPUs. Please CC me to any comment / review / change request. --- diff --git a/gcc/config/i386/driver-i386.c

[Bug c++/69523] -Wliteral-suffix should not warn within namespace std

2016-06-14 Thread eric at efcs dot ca
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69523 --- Comment #7 from Eric Fiselier --- > The warning should be controlled by *some* flag, but I'm not sure whether or > not linking it with -Wliteral-suffix makes sense. I'll prepare a patch and > see what people think. Any update? I would be

[Bug c/71539] New: incomplete execution of a nested loop for -O2 and -O3

2016-06-14 Thread cubitect at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71539 Bug ID: 71539 Summary: incomplete execution of a nested loop for -O2 and -O3 Product: gcc Version: 5.3.1 Status: UNCONFIRMED Severity: normal Priority: P3

Re: [PATCH] PR71275 ira.c bb_loop_depth

2016-06-14 Thread Alan Modra
On Tue, Jun 14, 2016 at 09:26:19AM -0700, H.J. Lu wrote: > On Thu, May 26, 2016 at 4:02 AM, Alan Modra wrote: > > This fixes lack of bb_loop_depth info in some of the early parts of > > ira, which has been the case for quite some time. All active branches > > return 0 from

Re: [C++ Patch] One more error + error to error + inform and a subtler issue

2016-06-14 Thread Jason Merrill
On Tue, Jun 14, 2016 at 6:12 PM, Paolo Carlini wrote: > constexpr-specialization.C:7:26: error: redeclaration ‘constexpr int foo(T) > [with T = int]’ differs in ‘constexpr’ > > constexpr-specialization.C:6:16: error: from previous declaration ‘constexpr > int foo(T)

[Bug c++/71537] GCC rejects consetxpr boolean conversions and comparisons on the result of pointer arithmetic.

2016-06-14 Thread eric at efcs dot ca
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71537 --- Comment #2 from Eric Fiselier --- Hi Martin, The 'xx' case is only accepted if it occurs at a global scope. If it appears in a function body it is still rejected.

[PATCH 1/2] gcc/arc: New peephole2 and little endian arc test fixes

2016-06-14 Thread Andrew Burgess
Resolve some test failures introduced for little endian arc as a result of the recent arc/nps400 additions. There's a new peephole2 optimisation to merge together two zero_extracts in order that the movb instruction can be used. Source operand mode filled in for a peephole2 optimisation, to

[PATCH 0/2] Arc fixes and genrecog warning fix

2016-06-14 Thread Andrew Burgess
Joern, Thanks for taking the time to review the previous patch. I've revised the original fix-up patch to remove the addition of the MODE in the zn_compare_operator case as you suggest, this is patch #1. Patch #2 is an attempt to address you comment: A generator program complaining about a

[PATCH 2/2] gcc/genrecog: Don't warn for missing mode on special predicates

2016-06-14 Thread Andrew Burgess
In md.texi it says: Predicates written with @code{define_special_predicate} do not get any automatic mode checks, and are treated as having special mode handling by @command{genrecog}. However, in genrecog, when validating a SET pattern, if either the source or destination is missing a

[Bug c++/71537] GCC rejects consetxpr boolean conversions and comparisons on the result of pointer arithmetic.

2016-06-14 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71537 Martin Sebor changed: What|Removed |Added Keywords||rejects-valid

[PATCH, rs6000] Clean up rs6000-builtin.def

2016-06-14 Thread Bill Schmidt
Hi, I discovered some duplicate #define's in config/rs6000/rs6000-builtin.def. This patch removes those, and corrects a commentary typo that I noticed while I was in there. Bootstrapped and tested on powerpc64le-unknown-linux-gnu with no regressions. Preapproved, committed. Thanks, Bill

Re: [PATCH], PowerPC: Allow DImode in Altivec registers

2016-06-14 Thread Segher Boessenkool
On Mon, Jun 13, 2016 at 02:29:41PM -0400, Michael Meissner wrote: > It would help if I included the patch. :-) > > Are these changes ok to install in the trunk? Assuming they go in the > > trunk, > > can I install them in the 6.2 branch if they cause no regression? Okay for trunk. Okay for 6

gcc-5-20160614 is now available

2016-06-14 Thread gccadmin
Snapshot gcc-5-20160614 is now available on ftp://gcc.gnu.org/pub/gcc/snapshots/5-20160614/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 5 SVN branch with the following options: svn://gcc.gnu.org/svn/gcc/branches/gcc-5

[C++ Patch] One more error + error to error + inform and a subtler issue

2016-06-14 Thread Paolo Carlini
Hi, today I noticed the below while I was putting together another batch of minor diagnostic fixes. The error + error to error + inform change seems rather straightforward to me and as usual adds clarity to the diagnostic outputs (all the front-ends I have at hand either do something similar

Re: [PATCH, rs6000] Fix the vsx-elemrev-[24].c tests in a different way

2016-06-14 Thread Segher Boessenkool
On Fri, Jun 10, 2016 at 11:16:03AM -0500, Bill Schmidt wrote: > Verified on powerpc64le-unknown-linux-gnu with an updated binutils, and on > powerpc64-unknown-linux-gnu with an out-of-date binutils. Is this ok for > trunk? Okay. "powerpc_p9vector_ok" is a confusing name, but it seems to be

Re: [PATCH, i386]: Implement PR 71246, Missing built-in functions for float128 NaNs

2016-06-14 Thread Rainer Orth
Uros Bizjak writes: > testsuite/ChangeLog: > > 2016-06-12 Uros Bizjak > > PR target/71241 > * testsuite/gcc.dg/torture/float128-nan.c: New test. > > Bootstrapped and regression tested on x86_64-linux-gnu {,-m32}. The test FAILs on 64-bit

Re: [Patch] Implement is_[nothrow_]swappable (p0185r1) - 2nd try

2016-06-14 Thread Marc Glisse
ENOPATCH ;-) (I highly recommend https://gcc.gnu.org/wiki/CompileFarm ) -- Marc Glisse

Re: [PATCH 0/9] separate shrink-wrapping

2016-06-14 Thread Segher Boessenkool
On Wed, Jun 08, 2016 at 06:43:23PM +0200, Bernd Schmidt wrote: > On 06/08/2016 05:16 PM, Segher Boessenkool wrote: > >There is no standard naming for this as far as I know. I'll gladly > >use a better name anyone comes up with. > > Maybe just subpart? How about "factor"? Segher

[Patch] Implement is_[nothrow_]swappable (p0185r1) - 2nd try

2016-06-14 Thread Daniel Krügler
This is an implementation of the Standard is_swappable traits according to http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0185r1.html During that work it has been found that std::array's member swap's exception specification for zero-size arrays was incorrectly depending on the

[Bug bootstrap/71435] [7 regression] sparc bootstrap failure since r235625

2016-06-14 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71435 Eric Botcazou changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned

[Bug c/71538] Obvious optimization related to arrays aren't performed.

2016-06-14 Thread sasho648 at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71538 --- Comment #1 from sasho648 at gmail dot com --- The exact command used to compile this code was "gcc -O3 test.c" (as test.c containing the snippet above).

[Bug c/71538] New: Obvious optimization related to arrays aren't performed.

2016-06-14 Thread sasho648 at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71538 Bug ID: 71538 Summary: Obvious optimization related to arrays aren't performed. Product: gcc Version: 6.1.1 Status: UNCONFIRMED Severity: normal

Re: [PATCH 3/4] spellcheck.h: add best_match template; implement early-reject

2016-06-14 Thread Jeff Law
On 06/14/2016 09:15 AM, David Malcolm wrote: There's a lot of repetition between find_closest_string and find_closest_identifier, and the next patch adds more, so this patch moves the logic into a new template class "best_match" for locating the closest string from a sequence of candidates. The

Re: [PATCH 2/4] Add more spellcheck selftests

2016-06-14 Thread Jeff Law
On 06/14/2016 09:15 AM, David Malcolm wrote: The next patch in the kit reimplements find_closest_string and find_closest_identifier, so it seems prudent to add some more test coverage for these. This patch also adds some more test coverage for levenshtein_distance itself. Successfully

Re: [PATCH 1/4] Introduce gcc_rich_location::add_fixit_misspelled_id

2016-06-14 Thread Jeff Law
On 06/14/2016 09:15 AM, David Malcolm wrote: There's a fair amount of repetition in the code to emit fixits for misspelled identifiers, and I plan to add more such fixits, so this patch moves it to a helper method. Successfully bootstrapped in combination with the rest of the kit on

[Bug c++/70572] [4.9/5 Regression] ICE on code with decltype (auto) in digest_init_r, at cp/typeck2.c:1103 with -std=c++14

2016-06-14 Thread paolo.carlini at oracle dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70572 Paolo Carlini changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug c++/70572] [4.9/5/6 Regression] ICE on code with decltype (auto) in digest_init_r, at cp/typeck2.c:1103 with -std=c++14

2016-06-14 Thread paolo at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70572 --- Comment #5 from paolo at gcc dot gnu.org --- Author: paolo Date: Tue Jun 14 20:55:08 2016 New Revision: 237460 URL: https://gcc.gnu.org/viewcvs?rev=237460=gcc=rev Log: /cp 2016-06-14 Paolo Carlini PR

Re: [PATCH][RTL ifcvt] Allow simple register subregs in noce_convert_multiple_sets

2016-06-14 Thread Jeff Law
On 06/14/2016 09:54 AM, Kyrill Tkachov wrote: Hi all, The noce_convert_multiple_sets transformation in ifcvt is supposed to handle things like: if (x > y) { i = a; j = b; } transforming them into conditional moves. However it currently is rather conservative in that it allows only

Re: Cilk Plus testsuite needs massive cleanup (PR testsuite/70595)

2016-06-14 Thread Jeff Law
On 06/14/2016 12:09 PM, Ilya Verbin wrote: On Fri, Apr 29, 2016 at 11:19:47 -0700, Mike Stump wrote: On Apr 29, 2016, at 5:41 AM, Rainer Orth wrote: diff --git a/gcc/config/darwin.h b/gcc/config/darwin.h --- a/gcc/config/darwin.h +++ b/gcc/config/darwin.h @@

[Bug middle-end/71509] Bitfield causes load hit store with larger store than load

2016-06-14 Thread segher at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71509 --- Comment #2 from Segher Boessenkool --- (In reply to Richard Biener from comment #1) > It looks like we didn't adjust the bitfield read paths for the mem model > because in practice it doesn't matter and it may generate larger/slower code >

Re: PR 71181 Avoid rehash after reserve

2016-06-14 Thread François Dumont
On 14/06/2016 13:22, Jonathan Wakely wrote: On 13/06/16 21:49 +0200, François Dumont wrote: Hi I eventually would like to propose the attached patch. In tr1 I made sure we use a special past-the-end iterator that makes usage of lower_bound result without check safe. I'm confused ...

[Bug c++/71537] New: GCC rejects consetxpr boolean conversions and comparisons on the result of pointer arithmetic.

2016-06-14 Thread eric at efcs dot ca
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71537 Bug ID: 71537 Summary: GCC rejects consetxpr boolean conversions and comparisons on the result of pointer arithmetic. Product: gcc Version: 7.0 Status: UNCONFIRMED

Re: [Patch, cfg] Improve jump to return optimization for complex return

2016-06-14 Thread Segher Boessenkool
On Tue, Jun 14, 2016 at 03:53:59PM +0100, Jiong Wang wrote: > "bl to pop" into "pop" which is "jump to return" into "return", so a better > place to fix this issue is at try_optimize_cfg where we are doing these > jump/return optimization already: > > /* Try to change a branch to a return to

RFA (gimplify): PATCH to implement C++ order of evaluation paper

2016-06-14 Thread Jason Merrill
As discussed in bug 71104, the C++ P0145 proposal specifies the evaluation order of certain operations: 1. a.b 2. a->b 3. a->*b 4. a(b1, b2, b3) 5. b @= a 6. a[b] 7. a << b 8. a >> b The second patch introduces a flag -fargs-in-order to control whether these orders are enforced on calls.

container method call shortcuts

2016-06-14 Thread François Dumont
Hi Here is the patch to limit burden on compiler in finding out what is the right method to call eventually when we already know it. This patch doesn't show all indentation fixes I will also commit. * include/bits/stl_deque.h (std::deque<>::operator=): Call _M_assign_aux.

[Bug c++/71528] [5/6/7 Regression] multiple extern reference declarations produce uninitialized access

2016-06-14 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71528 --- Comment #4 from Jakub Jelinek --- Author: jakub Date: Tue Jun 14 19:55:08 2016 New Revision: 237458 URL: https://gcc.gnu.org/viewcvs?rev=237458=gcc=rev Log: PR c++/71528 * decl.c (duplicate_decls): For DECL_INITIALIZED_P

[Bug rtl-optimization/70703] [6/7 regression] Regression in register usage on x86

2016-06-14 Thread aldot at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70703 Bernhard Reutner-Fischer changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever confirmed|0

[Bug rtl-optimization/70703] [6/7 regression] Regression in register usage on x86

2016-06-14 Thread aldot at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70703 Bernhard Reutner-Fischer changed: What|Removed |Added Last reconfirmed||2016-6-14

Re: [C++ Patch/RFC] PR 70572 ("[4.9/5/6/7 Regression] ICE on code with decltype (auto) on x86_64-linux-gnu in digest_init_r")

2016-06-14 Thread Jason Merrill
On Wed, Jun 8, 2016 at 4:21 AM, Paolo Carlini wrote: > .. shall we fix this in gcc-6-branch too or not? It's just an ICE on invalid > but we don't emit any diagnostic before the crash. Sure, it should be safe enough. Jason

Re: [C++ PATCH] Fix up TREE_READONLY handling in duplicate_decls (PR c++/71528)

2016-06-14 Thread Jason Merrill
On Tue, Jun 14, 2016 at 3:21 PM, Jakub Jelinek wrote: > Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk (and > after some time for 6.x)? Yes. Jason

Re: [C++ Patch] PR 70202: avoid creating incomplete types

2016-06-14 Thread Jason Merrill
OK. Jason

[C++ PATCH] Fix up TREE_READONLY handling in duplicate_decls (PR c++/71528)

2016-06-14 Thread Jakub Jelinek
Hi! The following testcase is miscompiled, because during cp_finish_decl when handling the initializer of the reference we clear TREE_READONLY, because it needs to be initialized at runtime, but the (useless) later extern decl has TREE_READONLY set and when we are merging the two decls, we set

[Bug lto/71536] New: lto1 ICE: func-static constant in openmp offloaded function

2016-06-14 Thread bisqwit at iki dot fi
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71536 Bug ID: 71536 Summary: lto1 ICE: func-static constant in openmp offloaded function Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal

[Bug lto/71535] New: ICE in LTO1 with -fopenmp offloading

2016-06-14 Thread bisqwit at iki dot fi
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71535 Bug ID: 71535 Summary: ICE in LTO1 with -fopenmp offloading Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: lto

[committed] Update e-mail address

2016-06-14 Thread Mikael Morin
Hello, I'm changing e-mails. I've just updated the gcc redirection address with the new value. Mikael Index: ChangeLog === --- ChangeLog (révision 237453) +++ ChangeLog (révision 237454) @@ -1,3 +1,7 @@ +2016-06-14 Mikael

Re: [PATCHv2 0/7] ARC: Add support for nps400 variant

2016-06-14 Thread Joern Wolfgang Rennecke
On 03/05/16 11:56, Andrew Burgess wrote: * Claudiu Zissulescu [2016-05-02 09:02:16 +]: Please also consider to address also the following warnings introduced: mainline/gcc/gcc/config/arc/arc.md:888: warning: source missing a mode?

Re: [PATCH] [ARC] Use GOTOFFPC relocation for pc-relative accesses.

2016-06-14 Thread Joern Wolfgang Rennecke
On 02/05/16 14:50, Claudiu Zissulescu wrote: This patch makes the pc-relative access to be more safe by using @pcl syntax. This new syntax generates a pc-relative relocation which will be handled by assembler. OK to apply? OK.

[Bug c++/51242] [C++11] Unable to use strongly typed enums as bit fields

2016-06-14 Thread tom at honermann dot net
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51242 Tom Honermann changed: What|Removed |Added CC||tom at honermann dot net --- Comment

Re: Cilk Plus testsuite needs massive cleanup (PR testsuite/70595)

2016-06-14 Thread Ilya Verbin
On Fri, Apr 29, 2016 at 11:19:47 -0700, Mike Stump wrote: > On Apr 29, 2016, at 5:41 AM, Rainer Orth > wrote: > > diff --git a/gcc/config/darwin.h b/gcc/config/darwin.h > > --- a/gcc/config/darwin.h > > +++ b/gcc/config/darwin.h > > @@ -179,6 +179,7 @@ extern

Re: [C++ Patch] PR 70202: avoid creating incomplete types

2016-06-14 Thread Paolo Carlini
HI, On 14/06/2016 15:06, Jason Merrill wrote: On 06/11/2016 12:06 PM, Paolo Carlini wrote: The remaining issue to be discussed is what to do about that old bug, c++/27952, a crash in decay_conversion during error recovery, when vtt is found null. I propose to simply check for it in

[Bug c++/71534] New: Initializing a static constexpr data member of a base class by using a static constexpr data member of a derived class should be an error

2016-06-14 Thread michele.caini at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71534 Bug ID: 71534 Summary: Initializing a static constexpr data member of a base class by using a static constexpr data member of a derived class should be an error Product:

[Bug c/71533] New: -fdump-tree-fre1 hangs while printing an unnormal long double

2016-06-14 Thread ch3root at openwall dot com
"%Lf\n", d); } -- gcc version: gcc (GCC) 7.0.0 20160614 (experimental)

Go patch committed: escape analysis flood phase

2016-06-14 Thread Ian Lance Taylor
This patch by Chris Manghane implements the escape analysis flood phase, in which the compiler propagates escape information across assignments and function calls. Escape analysis is still not turned on. Bootstrapped and ran Go testsuite on x86_64-pc-linux-gnu. Committed to mainline. Ian Index:

Re: [PATCH] Reject boolean/enum types in last arg of __builtin_*_overflow_p

2016-06-14 Thread Martin Sebor
Here is an untested patch for that. Except that the middle-end considers conversions between BOOLEAN_TYPE and single bit unsigned type as useless, so in theory this can't work well, and in practice only if we are lucky enough (plus it generates terrible code right now), so we'd probably need to

Re: [PATCH] Improve add/sub TImode double word splitters (PR rtl-optimization/70467)

2016-06-14 Thread H.J. Lu
On Mon, May 2, 2016 at 9:24 AM, Jakub Jelinek wrote: > On Fri, Apr 01, 2016 at 08:29:17PM +0200, Uros Bizjak wrote: >> > Bootstrapped/regtested on x86_64-linux and i686-linux, ok for stage1 >> > (while the previous patch looks simple enough that I'd like to see it in >> > 6.x,

[Bug rtl-optimization/71532] [7 Regression] FAIL: gfortran.dg/select_char_1.f90 -O2 execution test

2016-06-14 Thread hjl.tools at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71532 H.J. Lu changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug rtl-optimization/71532] New: [7 Regression] FAIL: gfortran.dg/select_char_1.f90 -O2 execution test

2016-06-14 Thread hjl.tools at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71532 Bug ID: 71532 Summary: [7 Regression] FAIL: gfortran.dg/select_char_1.f90 -O2 execution test Product: gcc Version: 7.0 Status: UNCONFIRMED Severity: normal

[Bug middle-end/71531] [7 Regression] FAIL: gfortran.dg/select_char_1.f90 -O2 execution test

2016-06-14 Thread hjl.tools at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71531 H.J. Lu changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

Re: [PATCH] PR71275 ira.c bb_loop_depth

2016-06-14 Thread H.J. Lu
On Thu, May 26, 2016 at 4:02 AM, Alan Modra wrote: > This fixes lack of bb_loop_depth info in some of the early parts of > ira, which has been the case for quite some time. All active branches > return 0 from bb_loop_depth() in update_equiv_regs, but whether that > actually

[Bug middle-end/71531] New: [7 Regression] FAIL: gfortran.dg/select_char_1.f90 -O2 execution test

2016-06-14 Thread hjl.tools at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71531 Bug ID: 71531 Summary: [7 Regression] FAIL: gfortran.dg/select_char_1.f90 -O2 execution test Product: gcc Version: 7.0 Status: UNCONFIRMED Severity: normal

[Bug bootstrap/71435] [7 regression] sparc bootstrap failure since r235625

2016-06-14 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71435 --- Comment #7 from Eric Botcazou --- > Maybe we need an arg for that function to say whether to look at individual > insn chains? That, or just fiddle with the existing one, its only purpose in the function is to guard the problematic global

[PATCH, i386]: Emit sse_movmskps for signbittf3

2016-06-14 Thread Uros Bizjak
2016-06-14 Uros Bizjak * config/i386/i386.md (signbittf2): Emit sse_movmskps for TARGET_SSE. Bootstrapped and regression tested on x86_64-linux-gnu {,-m32}. Committed to mainline SVN. Uros. diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md index

Re: Disabling warn_unused_result warnings on a case-by-case basis

2016-06-14 Thread Manuel López-Ibáñez
On 14/06/16 10:32, Florian Weimer wrote: A long time ago, GCC decided that warn_unused_result warnings should *not* be silenced by casting to void, as in: (void) write (STDOUT_FILENO, message, strlen (message)); Apparently, programmers have figured out to use this idiom as a replacement:

Re: [PATCH 3/3][AArch64] Emit division using the Newton series

2016-06-14 Thread Evandro Menezes
On 06/14/16 03:28, Christophe Lyon wrote: On 13 June 2016 at 21:06, Evandro Menezes wrote: On 06/13/16 05:15, James Greenhalgh wrote: Thanks for your patience on this patch series. Just checked the series in. If I'm not mistaken, it looks like you forgot to update

[Bug tree-optimization/71104] [7 Regression] ICE: verify_ssa failed (with vfork / error: definition in block 3 does not dominate use in block 7 )

2016-06-14 Thread jason at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71104 Jason Merrill changed: What|Removed |Added CC||jason at gcc dot gnu.org --- Comment

Re: (Problems with) coexistence of target and offloading compiler installations

2016-06-14 Thread Ilya Verbin
On Fri, Jun 10, 2016 at 11:31:33 +0200, Jakub Jelinek wrote: > On Fri, Jun 10, 2016 at 09:39:02AM +0200, Thomas Schwinge wrote: > > But I'm actually confused as to seeing libgomp.so in that list -- given > > the conflict of which compiler installations' libgomp.so "wins", I wonder > > how it can

[PATCH][RTL ifcvt] Allow simple register subregs in noce_convert_multiple_sets

2016-06-14 Thread Kyrill Tkachov
Hi all, The noce_convert_multiple_sets transformation in ifcvt is supposed to handle things like: if (x > y) { i = a; j = b; } transforming them into conditional moves. However it currently is rather conservative in that it allows only simple reg-to-reg moves. In the testcase in

[Bug bootstrap/71435] [7 regression] sparc bootstrap failure since r235625

2016-06-14 Thread bernds at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71435 --- Comment #6 from Bernd Schmidt --- Not calling finish_spills however could miss cases where pseudos got spilled by update_eliminables_and_spill->spill_hard_reg. Maybe we need an arg for that function to say whether to look at individual insn

Re: [PATCH] Backport PowerPC complex __float128 compiler support to GCC 6.x

2016-06-14 Thread Bill Schmidt
Hi Richard, As nobody else has replied, let me take a stab at this one. > On Jun 10, 2016, at 2:06 AM, Richard Biener wrote: > > On Thu, 9 Jun 2016, Michael Meissner wrote: > >> I'm including the global reviewers on the list. I just want to be sure that >> there is no

[Bug bootstrap/71435] [7 regression] sparc bootstrap failure since r235625

2016-06-14 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71435 --- Comment #5 from Eric Botcazou --- I think that calling finish_spills before select_reload_regs is incorrect: static void select_reload_regs (void) { struct insn_chain *chain; /* Try to satisfy the needs for each insn. */ for (chain

[Bug c++/71516] [5 Regression] ICE on invalid C++ code (invalid use of forward declared type) on x86_64-linux-gnu: Segmentation fault (program cc1plus)

2016-06-14 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71516 Jakub Jelinek changed: What|Removed |Added Summary|[5/6/7 Regression] ICE on |[5 Regression] ICE on

[Bug c/68657] [6 Regression] "gcc -Werror=sign-conversion test.i" shows invalid: -Wsign-conversion is not an option that controls warnings

2016-06-14 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68657 Jakub Jelinek changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution|---

[Bug tree-optimization/71405] [6 Regression] ICE on valid C++ code at -Os and above on x86_64-linux-gnu: verify_gimple failed

2016-06-14 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71405 Jakub Jelinek changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

Re: [PATCH AArch64]Support missing vcond pattern by adding/using vec_cmp/vcond_mask patterns.

2016-06-14 Thread James Greenhalgh
On Wed, Jun 08, 2016 at 03:57:42PM +0100, Bin Cheng wrote: > > From: James Greenhalgh > > Sent: 31 May 2016 16:24 > > To: Bin Cheng > > Cc: gcc-patches@gcc.gnu.org; nd > > Subject: Re: [PATCH AArch64]Support missing vcond pattern by adding/using > > vec_cmp/vcond_mask

[Patch, cfg] Improve jump to return optimization for complex return

2016-06-14 Thread Jiong Wang
On 11/05/16 12:52, Jiong Wang wrote: On 09/05/16 16:08, Segher Boessenkool wrote: Hi Christophe, On Mon, May 09, 2016 at 03:54:26PM +0200, Christophe Lyon wrote: After this patch, I've noticed that gcc.target/arm/pr43920-2.c now fails at: /* { dg-final { scan-assembler-times "pop" 2 } } */

[Bug middle-end/71494] [4.9/5 Regression] label as value in nested function

2016-06-14 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71494 Jakub Jelinek changed: What|Removed |Added Summary|[4.9/5/6/7 Regression] |[4.9/5 Regression] label as

[Bug c/68657] [6 Regression] "gcc -Werror=sign-conversion test.i" shows invalid: -Wsign-conversion is not an option that controls warnings

2016-06-14 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68657 --- Comment #13 from Jakub Jelinek --- Author: jakub Date: Tue Jun 14 14:44:28 2016 New Revision: 237448 URL: https://gcc.gnu.org/viewcvs?rev=237448=gcc=rev Log: Backported from mainline 2016-06-10 Jakub Jelinek

[PATCH 3/4] spellcheck.h: add best_match template; implement early-reject

2016-06-14 Thread David Malcolm
There's a lot of repetition between find_closest_string and find_closest_identifier, and the next patch adds more, so this patch moves the logic into a new template class "best_match" for locating the closest string from a sequence of candidates. The patch also introduces a pair of early-reject

[PATCH 4/4] C FE: suggest corrections for misspelled identifiers and type names

2016-06-14 Thread David Malcolm
This patch introduces a new lookup_name_fuzzy function to the C frontend and uses it to provides suggestions for various error messages that may be due to misspellings, and also for the warnings in implicit_decl_warning. This latter part may be controversial. So far, we've only provided spelling

[PATCH 1/4] Introduce gcc_rich_location::add_fixit_misspelled_id

2016-06-14 Thread David Malcolm
There's a fair amount of repetition in the code to emit fixits for misspelled identifiers, and I plan to add more such fixits, so this patch moves it to a helper method. Successfully bootstrapped in combination with the rest of the kit on x86_64-pc-linux-gnu Successful -fself-test of stage1 on

[PATCH 2/4] Add more spellcheck selftests

2016-06-14 Thread David Malcolm
The next patch in the kit reimplements find_closest_string and find_closest_identifier, so it seems prudent to add some more test coverage for these. This patch also adds some more test coverage for levenshtein_distance itself. Successfully bootstrapped in combination with the rest of the kit on

[Bug c++/71516] [5/6/7 Regression] ICE on invalid C++ code (invalid use of forward declared type) on x86_64-linux-gnu: Segmentation fault (program cc1plus)

2016-06-14 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71516 --- Comment #5 from Jakub Jelinek --- Author: jakub Date: Tue Jun 14 14:47:17 2016 New Revision: 237450 URL: https://gcc.gnu.org/viewcvs?rev=237450=gcc=rev Log: PR c++/71516 * decl.c (complete_vars): Handle gracefully type ==

[Bug debug/71530] the caching does not work

2016-06-14 Thread ktkachov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71530 ktkachov at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED

Backports to 6.2

2016-06-14 Thread Jakub Jelinek
Hi! I've backported following patches to 6.x branch and committed after bootstrapping/regtesting them on x86_64-linux and i686-linux. Jakub 2016-06-14 Jakub Jelinek Backported from mainline 2016-06-04 Jakub Jelinek PR

[Bug middle-end/71494] [4.9/5/6/7 Regression] label as value in nested function

2016-06-14 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71494 --- Comment #4 from Jakub Jelinek --- Author: jakub Date: Tue Jun 14 14:45:23 2016 New Revision: 237449 URL: https://gcc.gnu.org/viewcvs?rev=237449=gcc=rev Log: Backported from mainline 2016-06-10 Jakub Jelinek

[Bug c++/71448] pointer relational comparison fails inside constant expression

2016-06-14 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71448 --- Comment #9 from Jakub Jelinek --- Author: jakub Date: Tue Jun 14 14:43:42 2016 New Revision: 237447 URL: https://gcc.gnu.org/viewcvs?rev=237447=gcc=rev Log: Backported from mainline 2016-06-08 Jakub Jelinek

[Bug tree-optimization/71405] [6 Regression] ICE on valid C++ code at -Os and above on x86_64-linux-gnu: verify_gimple failed

2016-06-14 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71405 --- Comment #4 from Jakub Jelinek --- Author: jakub Date: Tue Jun 14 14:42:46 2016 New Revision: 237446 URL: https://gcc.gnu.org/viewcvs?rev=237446=gcc=rev Log: Backported from mainline 2016-06-04 Jakub Jelinek

[Bug debug/71530] New: the caching does not work

2016-06-14 Thread saeed.abbasi at telus dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71530 Bug ID: 71530 Summary: the caching does not work Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: debug

Re: [PATCH] Add ggc-tests.c

2016-06-14 Thread Ulrich Weigand
David Malcolm wrote: > On Mon, 2016-06-13 at 13:36 +0200, Ulrich Weigand wrote: > > Gerald Pfeifer wrote: > > > > > The source code of need_finalization_p in ggc.h reads > > > > > >template > > >static inline bool > > >need_finalization_p () > > >{ > > >#if GCC_VERSION >=

[Bug c++/71516] [5/6/7 Regression] ICE on invalid C++ code (invalid use of forward declared type) on x86_64-linux-gnu: Segmentation fault (program cc1plus)

2016-06-14 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71516 --- Comment #4 from Jakub Jelinek --- Author: jakub Date: Tue Jun 14 14:33:11 2016 New Revision: 237445 URL: https://gcc.gnu.org/viewcvs?rev=237445=gcc=rev Log: PR c++/71516 * decl.c (complete_vars): Handle gracefully type ==

[PATCH] PR 71483 - Fix live SLP operations

2016-06-14 Thread Alan Hayward
In the given testcase, g++ splits a live operation into two scalar statements and four vector statements. _5 = _4 >> 2; _7 = (short int) _5; Is turned into: vect__5.32_80 = vect__4.31_76 >> 2; vect__5.32_81 = vect__4.31_77 >> 2; vect__5.32_82 = vect__4.31_78 >> 2; vect__5.32_83 =

Re: [Patch AArch64] Add some more missing intrinsics

2016-06-14 Thread Kyrill Tkachov
Hi James, On 13/06/16 17:31, James Greenhalgh wrote: Hi, Inspired by Jiong's recent work, here are some more missing intrinsics, and a smoke test for each of them. This patch covers: vcvt_n_f64_s64 vcvt_n_f64_u64 vcvt_n_s64_f64 vcvt_n_u64_f64 vcvt_f64_s64 vrecpe_f64

[Bug middle-end/71488] [6/7 Regression] Wrong code for vector comparisons with ivybridge and westmere targets

2016-06-14 Thread ienkovich at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71488 --- Comment #6 from Ilya Enkovich --- I think we should disable vectorization of boolean comparison (except '==' and '!=') and handle them applying patterns. E.g. a > b ==> a & !b, a >= b ==> a | !b etc. Bitwise operations are better because

[Bug c++/71528] [5/6/7 Regression] multiple extern reference declarations produce uninitialized access

2016-06-14 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71528 Jakub Jelinek changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned

[Bug middle-end/71488] [6/7 Regression] Wrong code for vector comparisons with ivybridge and westmere targets

2016-06-14 Thread ienkovich at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71488 --- Comment #5 from Ilya Enkovich --- What seems suspicious to me is how we vectorize boolean comparison. Before vectorization we have (_3, _5, _6 are bool): _3 = var_9.0_2 == 0; _6 = _3 > _5; vectorized code: mask__3.59_62 =

Re: [PATCH] Reject boolean/enum types in last arg of __builtin_*_overflow_p

2016-06-14 Thread Marek Polacek
On Tue, Jun 14, 2016 at 02:05:12PM +, Joseph Myers wrote: > On Tue, 14 Jun 2016, Jakub Jelinek wrote: > > > But, unlike normal signed or unsigned integral types or char, cast to > > bool/_Bool is special, it is actually a comparison != 0. > > So, I'd say if we want to support arith overflow

  1   2   >