Re: [RFC] UBSan unsafely uses VRP

2014-11-12 Thread Yury Gribov
On 11/11/2014 05:15 PM, Jakub Jelinek wrote: There are also some unsafe code in functions ubsan_expand_si_overflow_addsub_check, ubsan_expand_si_overflow_mul_check which uses get_range_info to reduce checks number. As seen before vrp usage for sanitizers may decrease quality of error detection.

Re: [RFC] UBSan unsafely uses VRP

2014-11-12 Thread Marek Polacek
On Wed, Nov 12, 2014 at 11:42:39AM +0300, Yury Gribov wrote: > On 11/11/2014 05:15 PM, Jakub Jelinek wrote: > >>There are also some unsafe code in functions > >>ubsan_expand_si_overflow_addsub_check, ubsan_expand_si_overflow_mul_check > >>which uses get_range_info to reduce checks number. As seen b

Re: GCC Bugzilla disables caching of linked content

2014-11-12 Thread Florian Weimer
On 11/11/2014 10:03 PM, Jonathan Wakely wrote: I'm just using Firefox from Fedora 20's repository, and I'm not the only person seeing these pages being reloaded constantly. I have switched disk caching back on, and Firefox no longer downloads the additional copies. The HTTP headers look okay,

Re: ubsan, asan testing is broken due to coloring

2014-11-12 Thread Yury Gribov
[CC-ing sanitizer team.] On 11/12/2014 08:02 AM, Andrew Pinski wrote: With some configurations (looks like out of tree testing more than in tree testing), all of ubsan and asan tests fail due to the libsanitizer using coloring and that confuses the dejagnu pattern matching. Right, we fix new e

Re: [RFC] UBSan unsafely uses VRP

2014-11-12 Thread Yury Gribov
On 11/12/2014 11:45 AM, Marek Polacek wrote: On Wed, Nov 12, 2014 at 11:42:39AM +0300, Yury Gribov wrote: On 11/11/2014 05:15 PM, Jakub Jelinek wrote: There are also some unsafe code in functions ubsan_expand_si_overflow_addsub_check, ubsan_expand_si_overflow_mul_check which uses get_range_info

Re: [RFC] UBSan unsafely uses VRP

2014-11-12 Thread Marat Zakirov
On 11/12/2014 11:45 AM, Marek Polacek wrote: Yes, but as said above, VRP is only run with >-O2 and -Os. You meant >= -O2? --Marat

Re: [RFC] UBSan unsafely uses VRP

2014-11-12 Thread Marek Polacek
On Wed, Nov 12, 2014 at 01:04:58PM +0300, Marat Zakirov wrote: > > On 11/12/2014 11:45 AM, Marek Polacek wrote: > >Yes, but as said above, VRP is only run with >-O2 and -Os. > You meant >= -O2? Yes. Marek

libgomp: "GNU OpenMP Runtime Library" (was: [PATCH 1/5] OpenACC 2.0 support for libgomp - OpenACC runtime, NVidia PTX/CUDA plugin (repost))

2014-11-12 Thread Thomas Schwinge
Hi! On Wed, 12 Nov 2014 11:06:26 +0100, Jakub Jelinek wrote: > On Tue, Nov 11, 2014 at 01:53:23PM +, Julian Brown wrote: > > --- a/libgomp/configure.ac > > +++ b/libgomp/configure.ac > > @@ -2,6 +2,8 @@ > > # aclocal -I ../config && autoconf && autoheader && automake > > > > AC_PREREQ(2.6

Re: libgomp: "GNU OpenMP Runtime Library" (was: [PATCH 1/5] OpenACC 2.0 support for libgomp - OpenACC runtime, NVidia PTX/CUDA plugin (repost))

2014-11-12 Thread Jakub Jelinek
On Wed, Nov 12, 2014 at 12:18:13PM +0100, Thomas Schwinge wrote: > On Wed, 12 Nov 2014 11:06:26 +0100, Jakub Jelinek wrote: > > On Tue, Nov 11, 2014 at 01:53:23PM +, Julian Brown wrote: > > > --- a/libgomp/configure.ac > > > +++ b/libgomp/configure.ac > > > @@ -2,6 +2,8 @@ > > > # aclocal -I

Re: [RFC] UBSan unsafely uses VRP

2014-11-12 Thread Jakub Jelinek
On Wed, Nov 12, 2014 at 12:58:37PM +0300, Yury Gribov wrote: > On 11/12/2014 11:45 AM, Marek Polacek wrote: > >On Wed, Nov 12, 2014 at 11:42:39AM +0300, Yury Gribov wrote: > >>On 11/11/2014 05:15 PM, Jakub Jelinek wrote: > There are also some unsafe code in functions > ubsan_expand_si_overf

Re: libgomp: "GNU OpenMP Runtime Library" (was: [PATCH 1/5] OpenACC 2.0 support for libgomp - OpenACC runtime, NVidia PTX/CUDA plugin (repost))

2014-11-12 Thread David Malcolm
On Wed, 2014-11-12 at 12:33 +0100, Jakub Jelinek wrote: > On Wed, Nov 12, 2014 at 12:18:13PM +0100, Thomas Schwinge wrote: > > On Wed, 12 Nov 2014 11:06:26 +0100, Jakub Jelinek wrote: > > > On Tue, Nov 11, 2014 at 01:53:23PM +, Julian Brown wrote: > > > > --- a/libgomp/configure.ac > > > > +++

Re: libgomp: "GNU OpenMP Runtime Library" (was: [PATCH 1/5] OpenACC 2.0 support for libgomp - OpenACC runtime, NVidia PTX/CUDA plugin (repost))

2014-11-12 Thread Jakub Jelinek
On Wed, Nov 12, 2014 at 08:33:34AM -0500, David Malcolm wrote: > Apologies for bikeshedding, and I normally dislike "cute" names, but > renaming it to > >"GNU Offloading and Multi Processing library" > > would allow a backronym of "libgomp", thus preserving the existing > filenames/SONAME etc

Re: [RFC] UBSan unsafely uses VRP

2014-11-12 Thread Yury Gribov
On 11/12/2014 04:26 PM, Jakub Jelinek wrote: But, if -O0 isn't too slow for them, having unnecessary bloat even at -O2 is bad the same. But not using VRP at all, you are giving up all the cases where you know something won't overflow because you e.g. sign extend or zero extend from some smaller

Re: GCC 5.0 Status Report (2014-11-03), Stage 1 ends Nov 15th

2014-11-12 Thread Yuri Rumyantsev
> Status > == > > The trunk is scheduled to transition from Stage 1 to Stage 3 at the end of > Saturday, November 15th (use your timezone to your advantage). > > We have been in Stage 1 for almost 7 months now with a fortnight > still to go. Still now is a good time to look into bugzilla and

Re: GCC 5.0 Status Report (2014-11-03), Stage 1 ends Nov 15th

2014-11-12 Thread Richard Biener
On Wed, Nov 12, 2014 at 3:41 PM, Yuri Rumyantsev wrote: >> Status >> == >> >> The trunk is scheduled to transition from Stage 1 to Stage 3 at the end of >> Saturday, November 15th (use your timezone to your advantage). >> >> We have been in Stage 1 for almost 7 months now with a fortnight >>

Re: ubsan, asan testing is broken due to coloring

2014-11-12 Thread Andrew Pinski
On Wed, Nov 12, 2014 at 1:25 AM, Yury Gribov wrote: > [CC-ing sanitizer team.] > > On 11/12/2014 08:02 AM, Andrew Pinski wrote: >> >> With some configurations (looks like out of tree testing more than in >> tree testing), all of ubsan and asan tests fail due to the >> libsanitizer using coloring a

RE: selective linking of floating point support for *printf / *scanf

2014-11-12 Thread Thomas Preud'homme
> From: Joern Rennecke [mailto:joern.renne...@embecosm.com] > Sent: Sunday, November 02, 2014 4:34 PM > > Sorry for the late reply, I was on vacation, and then I meant to flesh > out a suitable > solution for the macro/hook problem to test it, but the more I think > about it, the more > questions

Re: GCC 5.0 Status Report (2014-11-03), Stage 1 ends Nov 15th

2014-11-12 Thread Jason Merrill
On 11/03/2014 04:18 AM, Jakub Jelinek wrote: What larger merges are still planned for GCC 5? I'm planning to merge the concepts branch. Jason

Re: libgomp: "GNU OpenMP Runtime Library" (was: [PATCH 1/5] OpenACC 2.0 support for libgomp - OpenACC runtime, NVidia PTX/CUDA plugin (repost))

2014-11-12 Thread David Malcolm
On Wed, 2014-11-12 at 14:47 +0100, Jakub Jelinek wrote: > On Wed, Nov 12, 2014 at 08:33:34AM -0500, David Malcolm wrote: > > Apologies for bikeshedding, and I normally dislike "cute" names, but > > renaming it to > > > >"GNU Offloading and Multi Processing library" > > > > would allow a backr

Re: libgomp: "GNU OpenMP Runtime Library" (was: [PATCH 1/5] OpenACC 2.0 support for libgomp - OpenACC runtime, NVidia PTX/CUDA plugin (repost))

2014-11-12 Thread Jakub Jelinek
On Wed, Nov 12, 2014 at 03:22:21PM -0500, David Malcolm wrote: > On Wed, 2014-11-12 at 14:47 +0100, Jakub Jelinek wrote: > > On Wed, Nov 12, 2014 at 08:33:34AM -0500, David Malcolm wrote: > > > Apologies for bikeshedding, and I normally dislike "cute" names, but > > > renaming it to > > > > > >

Re: libgomp: "GNU OpenMP Runtime Library" (was: [PATCH 1/5] OpenACC 2.0 support for libgomp - OpenACC runtime, NVidia PTX/CUDA plugin (repost))

2014-11-12 Thread David Malcolm
On Wed, 2014-11-12 at 21:30 +0100, Jakub Jelinek wrote: > On Wed, Nov 12, 2014 at 03:22:21PM -0500, David Malcolm wrote: > > On Wed, 2014-11-12 at 14:47 +0100, Jakub Jelinek wrote: > > > On Wed, Nov 12, 2014 at 08:33:34AM -0500, David Malcolm wrote: > > > > Apologies for bikeshedding, and I normall

gcc-4.9-20141112 is now available

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

Re: More useful support for low-end ARM architecture

2014-11-12 Thread Joey Ye
On Wed, Nov 12, 2014 at 1:47 AM, Joern Rennecke wrote: > On 11 November 2014 16:22, Joey Ye wrote: >> * Expensive effort. Either supporting none, or supporting all. There >> are large number of MCUs from ARM eco-system partners. Supporting all >> of them is a large project. >> * Maintance nightma

Re: [gimple-classes, committed 4/6] tree-ssa-tail-merge.c: Use gassign

2014-11-12 Thread David Malcolm
On Tue, 2014-11-11 at 11:43 +0100, Richard Biener wrote: > On Tue, Nov 11, 2014 at 8:26 AM, Jakub Jelinek wrote: > > On Mon, Nov 10, 2014 at 05:27:50PM -0500, David Malcolm wrote: > >> On Sat, 2014-11-08 at 14:56 +0100, Jakub Jelinek wrote: > >> > On Sat, Nov 08, 2014 at 01:07:28PM +0100, Richard

Re: [gimple-classes, committed 4/6] tree-ssa-tail-merge.c: Use gassign

2014-11-12 Thread David Malcolm
On Tue, 2014-11-11 at 08:26 +0100, Jakub Jelinek wrote: > On Mon, Nov 10, 2014 at 05:27:50PM -0500, David Malcolm wrote: > > On Sat, 2014-11-08 at 14:56 +0100, Jakub Jelinek wrote: > > > On Sat, Nov 08, 2014 at 01:07:28PM +0100, Richard Biener wrote: > > > > To be constructive here - the above case

Re: testing policy for C/C++ front end changes

2014-11-12 Thread Sandra Loosemore
On 11/11/2014 02:05 AM, Richard Biener wrote: On Mon, Nov 10, 2014 at 4:28 PM, Sandra Loosemore wrote: On 11/10/2014 05:03 AM, Richard Biener wrote: On Mon, Nov 10, 2014 at 5:50 AM, Jeff Law wrote: On 11/09/14 16:13, Sandra Loosemore wrote: https://gcc.gnu.org/contribute.html#testing

Re: [gimple-classes, committed 4/6] tree-ssa-tail-merge.c: Use gassign

2014-11-12 Thread Trevor Saunders
On Wed, Nov 12, 2014 at 08:41:02PM -0500, David Malcolm wrote: > On Tue, 2014-11-11 at 11:43 +0100, Richard Biener wrote: > > On Tue, Nov 11, 2014 at 8:26 AM, Jakub Jelinek wrote: > > > On Mon, Nov 10, 2014 at 05:27:50PM -0500, David Malcolm wrote: > > >> On Sat, 2014-11-08 at 14:56 +0100, Jakub J