[coreboot-gerrit] New patch to review for coreboot: riscv: Suppress invalid coverity errors
Martin Roth (martinroth@google.com)
gerrit at coreboot.org
Thu Jan 26 23:37:34 CET 2017
Martin Roth (martinroth at google.com) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/18247
-gerrit
commit e34c69bb2fce96f8ea1dbca5099a3cb4467d70a9
Author: Martin Roth <martinroth at google.com>
Date: Thu Jan 26 15:37:10 2017 -0700
riscv: Suppress invalid coverity errors
Coverity is detecting 'sp' as a variable which has not been initialized.
This is obviously not correct, so this patch *TRIES* to mark it as false
I'm not positive that this will work because the annotation needs to go
on the line above the error, but this error is inside of a # define.
Does the whole #define count as one line? Can it go on the line
above the #define in the .h file? Does it have to precede every line
where the #define is used? The documentation doesn't make this clear.
Should suppress coverity issues: 1368525 & 1368527
uninit_use: Using uninitialized value sp.
Change-Id: Ibae5e206c4ff47991ea8a11b6b59972b24b71796
Signed-off-by: Martin Roth <martinroth at google.com>
---
src/arch/riscv/include/mcall.h | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/arch/riscv/include/mcall.h b/src/arch/riscv/include/mcall.h
index 1e74ed3..cdd9bd3 100644
--- a/src/arch/riscv/include/mcall.h
+++ b/src/arch/riscv/include/mcall.h
@@ -70,6 +70,7 @@ typedef struct {
} hls_t;
#define MACHINE_STACK_TOP() ({ \
+ /* coverity[uninit_use] : FALSE */ \
register uintptr_t sp asm ("sp"); \
(void*)((sp + RISCV_PGSIZE) & -RISCV_PGSIZE); })
More information about the coreboot-gerrit
mailing list