V3s_Allwinner
/
uboot
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 2 Wiki Activity

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>
This commit is contained in:
Thomas Huth 2015-08-25 17:09:40 +02:00 committed by Tom Rini
parent bff78567da
commit 310ae37edb
5 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
board/samsung/origen/tools/mkorigenspl.c
View File

@ -52,7 +52,7 @@ int main(int argc, char **argv)
} }
ofd = open(argv[2], O_WRONLY | O_CREAT | O_TRUNC, FILE_PERM); ofd = open(argv[2], O_WRONLY | O_CREAT | O_TRUNC, FILE_PERM);
if (ifd < 0) { if (ofd < 0) {
fprintf(stderr, "%s: Can't open %s: %s\n", fprintf(stderr, "%s: Can't open %s: %s\n",
argv[0], argv[2], strerror(errno)); argv[0], argv[2], strerror(errno));
if (ifd) if (ifd)

2
board/samsung/smdkv310/tools/mksmdkv310spl.c
View File

@ -50,7 +50,7 @@ int main(int argc, char **argv)
} }
ofd = open(argv[2], O_WRONLY | O_CREAT | O_TRUNC, FILE_PERM); ofd = open(argv[2], O_WRONLY | O_CREAT | O_TRUNC, FILE_PERM);
if (ifd < 0) { if (ofd < 0) {
fprintf(stderr, "%s: Can't open %s: %s\n", fprintf(stderr, "%s: Can't open %s: %s\n",
argv[0], argv[2], strerror(errno)); argv[0], argv[2], strerror(errno));
if (ifd) if (ifd)

2
drivers/hwmon/lm81.c
View File

@ -90,7 +90,7 @@ int dtt_init_one(int sensor)
if (adr < 0) if (adr < 0)
return 1; return 1;
rev = dtt_read (sensor, DTT_REV); rev = dtt_read (sensor, DTT_REV);
if (adr < 0) if (rev < 0)
return 1; return 1;
debug ("DTT: Found LM81@%x Rev: %d\n", adr, rev); debug ("DTT: Found LM81@%x Rev: %d\n", adr, rev);

2
tools/fit_check_sign.c
View File

@ -75,7 +75,7 @@ int main(int argc, char **argv)
if (ffd < 0) if (ffd < 0)
return EXIT_FAILURE; return EXIT_FAILURE;
kfd = mmap_fdt(cmdname, keyfile, 0, &key_blob, &ksbuf, false); kfd = mmap_fdt(cmdname, keyfile, 0, &key_blob, &ksbuf, false);
if (ffd < 0) if (kfd < 0)
return EXIT_FAILURE; return EXIT_FAILURE;
image_set_host_blob(key_blob); image_set_host_blob(key_blob);

2
tools/mkexynosspl.c
View File

@ -110,7 +110,7 @@ int main(int argc, char **argv)
} }
ofd = open(argv[of_index], O_WRONLY | O_CREAT | O_TRUNC, FILE_PERM); ofd = open(argv[of_index], O_WRONLY | O_CREAT | O_TRUNC, FILE_PERM);
if (ifd < 0) { if (ofd < 0) {
fprintf(stderr, "%s: Can't open %s: %s\n", fprintf(stderr, "%s: Can't open %s: %s\n",
prog_name, argv[of_index], strerror(errno)); prog_name, argv[of_index], strerror(errno));
exit(EXIT_FAILURE); exit(EXIT_FAILURE);