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...