
24 Oct
2015
24 Oct
'15
11:15 p.m.
On Tue, Aug 25, 2015 at 05:09:40PM +0200, Thomas Huth wrote:
In the "Getting Started with Coccinelle - KVM edition" presentation that has been held by Julia Lawall at the KVM forum 2015 (see the slides at http://events.linuxfoundation.org/sites/events/files/slides/tutorial_kvm_0.p...), she pointed out some bad return value checks in U-Boot that can be detected with Coccinelle by using the following config file:
@@ identifier x,y; identifier f; statement S; @@ x = f(...); ( if (x < 0) S | if (
y
x
< 0) S )
This patch now fixes these issues.
Signed-off-by: Thomas Huth huth@tuxfamily.org
Applied to u-boot/master, thanks!
--
Tom