Re: [PATCH] serial: sirf: Simplify a test

[Arnd Bergmann]

On Tuesday, November 8, 2016 8:18:04 AM CET Christophe JAILLET wrote:
> Le 07/11/2016 à 14:50, Arnd Bergmann a écrit :
> > On Tuesday, November 1, 2016 8:03:33 AM CET Christophe JAILLET wrote:
> >> 'dmaengine_prep_dma_cyclic()' does not return an error pointer, so the test
> >> can be simplified to be more consistent.
> >>
> >> Signed-off-by: Christophe JAILLET <christophe.jaillet@xxxxxxxxxx>
> > The change looks correct in principle. It would be good to automate looking
> > for other instances of this bug. How did you find it? Do you have e.g. a
> > coccinelle script or did you just stumble over the issue by accident?
> Hi,
> 
> You can have an idea of the strategy used in this post:
>     https://lkml.org/lkml/2016/11/1/388
> 
> Julia is currently working on a more complete strategy in order to find 
> such issues.

Ah, very nice!

	Arnd