[coreboot] New Defects reported by Coverity Scan for coreboot
scan-admin at coverity.com
scan-admin at coverity.com
Tue Sep 11 16:18:46 CEST 2018
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-2BfV0V05UPxvVjWch-2Bd2MGckcRbLuoVetFLSjdonCi1EjfHRqWGQvojmmkYaBE-2BPJiTQvQ-3D-3D_q4bX76XMySz3BXBlWr5fXXJ4cvAsgEXEqC7dBPM7O5aNNjLvDL8CG1fKW3PBrDn1aCzPslwhFg2gL-2Fr83dTpaf04L9TOrj8RCTZyNeFDIoNkFCeQnJMS-2F9S1mnWiR89SitSqKkChVd-2FUlF9Zpjs2td9ydVKpuJS9P3IrFmZsjXwWgfMoN6y0aVKKQKOMce1Ct2ex6kdMub3dpGD1vCcogoBuVxhHMhLM4UeYEu3dlU0-3D
More information about the coreboot
mailing list