Re: [PATCH 3/5] kern/processor.c: check if threads is NULL

2013-11-19 Thread Marin Ramesa
On 19.11.2013 20:49:37, Samuel Thibault wrote: > This is a false positive: what the analyzer doesn't know is that > pset->thread_count is number of elements in the pset->threads queue. > I.e. actual is only ever set to 0 when the pset->threads queue is > empty, and thus no iteration of the loop is

Re: [PATCH 3/5] kern/processor.c: check if threads is NULL

2013-11-19 Thread Samuel Thibault
Marin Ramesa, le Tue 19 Nov 2013 07:34:21 +0100, a écrit : > When addr is equal to zero, array access from pointer threads > results in a dereference of null pointer. Avoid this by checking > if it's NULL. This is a false positive: what the analyzer doesn't know is that pset->thread_count is numbe