[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