[Bug fortran/68649] [6/7 Regression] note: code may be misoptimized unless -fno-strict-aliasing is used

2016-10-18 Thread Joost.VandeVondele at mat dot ethz.ch
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68649 --- Comment #18 from Joost VandeVondele --- since this PR, and the related PR77278 can presumably only be fixed by changing libgfortran abi (at least if I understand Richard's suggestion for fixing this). The announced major version bump of

[PATCH] Fix BB_VISITED clearing in IRA, remove substitue-and-fold dce flag

2016-10-18 Thread Richard Biener
This fixes the BB_VISITED bug in IRA I ran into earlier this year, removing the superfluous clearing in VRP and the SSA propagator as well as removing the now always true do_dce flag from substitute-and-fold. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk. Richard.

[Bug tree-optimization/77943] [5/6 Regression] Optimization incorrectly commons noexcept calls with non-noexcept calls

2016-10-18 Thread marxin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77943 --- Comment #13 from Martin Liška --- The replacement you described fully makes sense for me! As I mentioned earlier, I'm not c++ expert, I can't come up with more possible counter examples that worth for testing. However, we'll fix further

Re: [PATCH] Clear BB_VISITED in bb-reorder

2016-10-18 Thread Richard Biener
On Mon, 17 Oct 2016, Andrew Pinski wrote: > On Mon, Oct 17, 2016 at 5:26 AM, Richard Biener wrote: > > > > $subject, applied as obvious. > > I think you should do the same for the vectorizer too. I noticed that > when testing the patch for loop splitting. Can't see where

Re: [PATCH] Simplify conditions in EVRP, handle taken edge

2016-10-18 Thread Richard Biener
On Mon, 17 Oct 2016, Richard Biener wrote: > > This refactors propagation vs. substitution and handles condition > simplification properly as well as passing a known taken edge down > to the DOM walker (avoiding useless work and properly handling PHIs). > > If we do all the work it's stupid to

[Bug libstdc++/78015] New: pthread_cancel while some exception is pending results in std::terminate ()

2016-10-18 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78015 Bug ID: 78015 Summary: pthread_cancel while some exception is pending results in std::terminate () Product: gcc Version: 7.0 Status: UNCONFIRMED Severity:

Re: [PATCH] (PR 65950) Improve predicate for exit(0);

2016-10-18 Thread Jan Hubicka
> > Ah, so you have > > > > foo () { loop } > > main() > > { > > if () > >{ > > foo (); > > exit (0); > >} > > ... > > return 0; > > } > > > > and foo is marked cold because its only call is on the path to exit (0)? > > > Actually the case I have here is just: > foo () {

Re: [PATCH] Fix cond-expr handling in genmatch

2016-10-18 Thread Richard Biener
On Mon, 17 Oct 2016, Richard Biener wrote: > > This fixes matching of toplevel (cond (lt @1 @2) ...) as reported by > Bin to me privately. > > Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. This is what I applied. Richard. 2016-10-18 Richard Biener

[patch] Fix PHI optimization issue with boolean types

2016-10-18 Thread Eric Botcazou
Hi, this is a regression present on the mainline and 6 branch: the compiler now generates wrong code for the attached testcase at -O because of an internal conflict about boolean types. The sequence is as follows. In .mergephi3: boolean _22; p__enum res; : if (_22 != 0) goto ;

<    1   2   3