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.
New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)
** CID 1488487: Integer handling issues (CONSTANT_EXPRESSION_RESULT)
/src/soc/amd/common/block/psp/psp_gen2.c: 57 in wr_mbox_buffer_ptr()
________________________________________________________________________________________________________
*** CID 1488487: Integer handling issues (CONSTANT_EXPRESSION_RESULT)
/src/soc/amd/common/block/psp/psp_gen2.c: 57 in wr_mbox_buffer_ptr()
51 tmp.val = smn_read32(SMN_PSP_PUBLIC_BASE + PSP_MAILBOX_COMMAND_OFFSET);
52 return !!tmp.fields.recovery;
53 }
54
55 static void wr_mbox_buffer_ptr(void *buffer)
56 {
>>> CID 1488487: Integer handling issues (CONSTANT_EXPRESSION_RESULT)
>>> "(uint64_t)(uintptr_t)buffer >> 32" is 0 regardless of the values of
>>> its operands. This occurs as an initializer.
57 const uint32_t buf_addr_h = (uint64_t)(uintptr_t)buffer >> 32;
58 const uint32_t buf_addr_l = (uint64_t)(uintptr_t)buffer & 0xffffffff;
59 smn_write32(SMN_PSP_PUBLIC_BASE + PSP_MAILBOX_BUFFER_H_OFFSET,
buf_addr_h);
60 smn_write32(SMN_PSP_PUBLIC_BASE + PSP_MAILBOX_BUFFER_L_OFFSET,
buf_addr_l);
61 }
62
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit,
https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0qcxCbhZ31OYv50yq2SfQfrHt3Prsn4qSLrYIrajINpiFX8l0vrlNSf8iCrS27qY0Cr0DkycwNUgGZJj8-3DJypP_L-2FDzr14mnrsJO5b1wX1hp9b1MAQygl7x-2B74RAaH2cn0c6FaQjJbppCseEuALlLh-2F3G-2B9-2Bpxeo-2BNX7uFzwWxzZPMVdMphV6xg-2F3H7QJBmaY8sl952kjlvxoN7L8Lb6k4zXlEyFisRQIIjjL0Qj5cINX-2FIQCirrlXE0RAz4ylZqfW1o045oRjZ0UAV5fKTF1Ei1QabuuECZKKOgxEEOeOEkA-3D-3D
_______________________________________________
coreboot mailing list -- coreboot@coreboot.org
To unsubscribe send an email to coreboot-le...@coreboot.org
