Searched hist:"310 ae37edb3becedf5da904201f3439ea42ab12f" (Results 1 – 4 of 4) sorted by relevance
| /rk3399_rockchip-uboot/board/samsung/smdkv310/tools/ |
| H A D | mksmdkv310spl.c | 310ae37edb3becedf5da904201f3439ea42ab12f Tue Aug 25 15:09:40 UTC 2015 Thomas Huth <huth@tuxfamily.org> Fix bad return value checks (detected with Coccinelle)
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.pdf),
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>
|
| /rk3399_rockchip-uboot/board/samsung/origen/tools/ |
| H A D | mkorigenspl.c | 310ae37edb3becedf5da904201f3439ea42ab12f Tue Aug 25 15:09:40 UTC 2015 Thomas Huth <huth@tuxfamily.org> Fix bad return value checks (detected with Coccinelle)
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.pdf),
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>
|
| /rk3399_rockchip-uboot/tools/ |
| H A D | mkexynosspl.c | 310ae37edb3becedf5da904201f3439ea42ab12f Tue Aug 25 15:09:40 UTC 2015 Thomas Huth <huth@tuxfamily.org> Fix bad return value checks (detected with Coccinelle)
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.pdf),
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>
|
| H A D | fit_check_sign.c | 310ae37edb3becedf5da904201f3439ea42ab12f Tue Aug 25 15:09:40 UTC 2015 Thomas Huth <huth@tuxfamily.org> Fix bad return value checks (detected with Coccinelle)
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.pdf),
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>
|