Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Paul E. McKenney
On Mon, Jan 07, 2013 at 05:18:37PM -0500, Steven Rostedt wrote: > On Mon, 2013-01-07 at 09:19 -0800, Paul E. McKenney wrote: > > On Mon, Jan 07, 2013 at 09:16:02AM -0800, Paul E. McKenney wrote: > > > On Mon, Jan 07, 2013 at 07:50:02AM -0800, Josh Triplett wrote: > > > > On Sat, Jan 05, 2013 at

Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Steven Rostedt
On Mon, 2013-01-07 at 09:19 -0800, Paul E. McKenney wrote: > On Mon, Jan 07, 2013 at 09:16:02AM -0800, Paul E. McKenney wrote: > > On Mon, Jan 07, 2013 at 07:50:02AM -0800, Josh Triplett wrote: > > > On Sat, Jan 05, 2013 at 09:09:36AM -0800, Paul E. McKenney wrote: > > > > From: "Paul E. McKenney"

Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Paul E. McKenney
On Mon, Jan 07, 2013 at 10:24:17AM -0800, Josh Triplett wrote: > On Mon, Jan 07, 2013 at 07:08:55PM +0100, Markus Trippelsdorf wrote: > > On 2013.01.07 at 09:16 -0800, Paul E. McKenney wrote: > > > On Mon, Jan 07, 2013 at 07:50:02AM -0800, Josh Triplett wrote: > > > > On Sat, Jan 05, 2013 at

Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Josh Triplett
On Mon, Jan 07, 2013 at 07:08:55PM +0100, Markus Trippelsdorf wrote: > On 2013.01.07 at 09:16 -0800, Paul E. McKenney wrote: > > On Mon, Jan 07, 2013 at 07:50:02AM -0800, Josh Triplett wrote: > > > On Sat, Jan 05, 2013 at 09:09:36AM -0800, Paul E. McKenney wrote: > > > > From: "Paul E. McKenney"

Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Markus Trippelsdorf
On 2013.01.07 at 09:16 -0800, Paul E. McKenney wrote: > On Mon, Jan 07, 2013 at 07:50:02AM -0800, Josh Triplett wrote: > > On Sat, Jan 05, 2013 at 09:09:36AM -0800, Paul E. McKenney wrote: > > > From: "Paul E. McKenney" > > > > > > It turns out that gcc 4.8 warns on array indexes being out of

Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Paul E. McKenney
On Mon, Jan 07, 2013 at 09:16:02AM -0800, Paul E. McKenney wrote: > On Mon, Jan 07, 2013 at 07:50:02AM -0800, Josh Triplett wrote: > > On Sat, Jan 05, 2013 at 09:09:36AM -0800, Paul E. McKenney wrote: > > > From: "Paul E. McKenney" > > > > > > It turns out that gcc 4.8 warns on array indexes

Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Paul E. McKenney
On Mon, Jan 07, 2013 at 07:50:02AM -0800, Josh Triplett wrote: > On Sat, Jan 05, 2013 at 09:09:36AM -0800, Paul E. McKenney wrote: > > From: "Paul E. McKenney" > > > > It turns out that gcc 4.8 warns on array indexes being out of bounds > > unless it can prove otherwise. It gives this warning

Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Josh Triplett
On Sat, Jan 05, 2013 at 09:09:36AM -0800, Paul E. McKenney wrote: > From: "Paul E. McKenney" > > It turns out that gcc 4.8 warns on array indexes being out of bounds > unless it can prove otherwise. It gives this warning on some RCU > initialization code. Because this is far from any fastpath,

Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Josh Triplett
On Sat, Jan 05, 2013 at 09:09:36AM -0800, Paul E. McKenney wrote: From: Paul E. McKenney paul...@linux.vnet.ibm.com It turns out that gcc 4.8 warns on array indexes being out of bounds unless it can prove otherwise. It gives this warning on some RCU initialization code. Because this is far

Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Paul E. McKenney
On Mon, Jan 07, 2013 at 07:50:02AM -0800, Josh Triplett wrote: On Sat, Jan 05, 2013 at 09:09:36AM -0800, Paul E. McKenney wrote: From: Paul E. McKenney paul...@linux.vnet.ibm.com It turns out that gcc 4.8 warns on array indexes being out of bounds unless it can prove otherwise. It gives

Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Paul E. McKenney
On Mon, Jan 07, 2013 at 09:16:02AM -0800, Paul E. McKenney wrote: On Mon, Jan 07, 2013 at 07:50:02AM -0800, Josh Triplett wrote: On Sat, Jan 05, 2013 at 09:09:36AM -0800, Paul E. McKenney wrote: From: Paul E. McKenney paul...@linux.vnet.ibm.com It turns out that gcc 4.8 warns on array

Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Markus Trippelsdorf
On 2013.01.07 at 09:16 -0800, Paul E. McKenney wrote: On Mon, Jan 07, 2013 at 07:50:02AM -0800, Josh Triplett wrote: On Sat, Jan 05, 2013 at 09:09:36AM -0800, Paul E. McKenney wrote: From: Paul E. McKenney paul...@linux.vnet.ibm.com It turns out that gcc 4.8 warns on array indexes

Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Josh Triplett
On Mon, Jan 07, 2013 at 07:08:55PM +0100, Markus Trippelsdorf wrote: On 2013.01.07 at 09:16 -0800, Paul E. McKenney wrote: On Mon, Jan 07, 2013 at 07:50:02AM -0800, Josh Triplett wrote: On Sat, Jan 05, 2013 at 09:09:36AM -0800, Paul E. McKenney wrote: From: Paul E. McKenney

Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Paul E. McKenney
On Mon, Jan 07, 2013 at 10:24:17AM -0800, Josh Triplett wrote: On Mon, Jan 07, 2013 at 07:08:55PM +0100, Markus Trippelsdorf wrote: On 2013.01.07 at 09:16 -0800, Paul E. McKenney wrote: On Mon, Jan 07, 2013 at 07:50:02AM -0800, Josh Triplett wrote: On Sat, Jan 05, 2013 at 09:09:36AM

Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Steven Rostedt
On Mon, 2013-01-07 at 09:19 -0800, Paul E. McKenney wrote: On Mon, Jan 07, 2013 at 09:16:02AM -0800, Paul E. McKenney wrote: On Mon, Jan 07, 2013 at 07:50:02AM -0800, Josh Triplett wrote: On Sat, Jan 05, 2013 at 09:09:36AM -0800, Paul E. McKenney wrote: From: Paul E. McKenney

Re: [PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-07 Thread Paul E. McKenney
On Mon, Jan 07, 2013 at 05:18:37PM -0500, Steven Rostedt wrote: On Mon, 2013-01-07 at 09:19 -0800, Paul E. McKenney wrote: On Mon, Jan 07, 2013 at 09:16:02AM -0800, Paul E. McKenney wrote: On Mon, Jan 07, 2013 at 07:50:02AM -0800, Josh Triplett wrote: On Sat, Jan 05, 2013 at 09:09:36AM

[PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-05 Thread Paul E. McKenney
From: "Paul E. McKenney" It turns out that gcc 4.8 warns on array indexes being out of bounds unless it can prove otherwise. It gives this warning on some RCU initialization code. Because this is far from any fastpath, add an explicit check for array bounds and panic if so. This gives the

[PATCH tip/core/rcu 4/6] rcu: Silence compiler array out-of-bounds false positive

2013-01-05 Thread Paul E. McKenney
From: Paul E. McKenney paul...@linux.vnet.ibm.com It turns out that gcc 4.8 warns on array indexes being out of bounds unless it can prove otherwise. It gives this warning on some RCU initialization code. Because this is far from any fastpath, add an explicit check for array bounds and panic if