New Defects reported by Coverity Scan for coreboot
Hi, Please find the latest report on new defect(s) introduced to coreboot found with Coverity Scan. 1 new defect(s) introduced to coreboot found with Coverity Scan. 3 defect(s), reported by Coverity Scan earlier, were marked fixed in the recent build analyzed by Coverity Scan. New defect(s) Reported-by: Coverity Scan Showing 1 of 1 defect(s) ** CID 1395655: (UNINIT) /src/soc/sifive/fu540/clint.c: 24 in mtime_init() /src/soc/sifive/fu540/clint.c: 25 in mtime_init() ________________________________________________________________________________________________________ *** CID 1395655: (UNINIT) /src/soc/sifive/fu540/clint.c: 24 in mtime_init() 18 #include <soc/addressmap.h> 19 #include <soc/clint.h> 20 21 void mtime_init(void) 22 { 23 long hart_id = read_csr(mhartid);
CID 1395655: (UNINIT) Using uninitialized value "sp".
24 HLS()->time = (uint64_t *)(FU540_CLINT + 0xbff8); 25 HLS()->timecmp = (uint64_t *)(FU540_CLINT + 0x4000 + 8 * hart_id); 26 } 27 28 void set_msip(int hartid, int val) 29 { 30 long hart_id = read_csr(mhartid); 31 write32((void *)(FU540_CLINT + 4 * hart_id), !!val); /src/soc/sifive/fu540/clint.c: 25 in mtime_init() 19 #include <soc/clint.h> 20 21 void mtime_init(void) 22 { 23 long hart_id = read_csr(mhartid); 24 HLS()->time = (uint64_t *)(FU540_CLINT + 0xbff8);
CID 1395655: (UNINIT) Using uninitialized value "sp".
25 HLS()->timecmp = (uint64_t *)(FU540_CLINT + 0x4000 + 8 * hart_id); 26 } 27 28 void set_msip(int hartid, int val) 29 { 30 long hart_id = read_csr(mhartid); 31 write32((void *)(FU540_CLINT + 4 * hart_id), !!val);
________________________________________________________________________________________________________ To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V05...
participants (1)
-
scan-admin@coverity.com