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 1457506: Null pointer dereferences (REVERSE_INULL)
/src/soc/amd/common/block/acpi/bert.c: 19 in acpi_soc_get_bert_region()
________________________________________________________________________________________________________
*** CID 1457506: Null pointer dereferences (REVERSE_INULL)
/src/soc/amd/common/block/acpi/bert.c: 19 in acpi_soc_get_bert_region()
13 * BERT: [Firmware Bug]: table invalid.
14 */
15 if (!bert_should_generate_acpi_table())
16 return CB_ERR;
17
18 bert_errors_region(region, length);
>>> CID 1457506: Null pointer dereferences (REVERSE_INULL)
>>> Null-checking "region" suggests that it may be null, but it has already
>>> been dereferenced on all paths leading to the check.
19 if (!region) {
20 printk(BIOS_ERR, "Error: Can't find BERT storage area\n");
21 return CB_ERR;
22 }
23
24 return CB_SUCCESS;
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit,
https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0qcxCbhZ31OYv50yq2SfQfrHt3Prsn4qSLrYIrajINpiFX8l0vrlNSf8iCrS27qY0Cr0DkycwNUgGZJj8-3D7lch_L-2FDzr14mnrsJO5b1wX1hp9b1MAQygl7x-2B74RAaH2cn39rB0tDCMtAWGh-2Fs-2Buov78xc6oMd77NB0zjeHoc5uMz4aKapwp1F4ssqFAVBOfvuGzjMoYKYGqNi7Tvp1XxEmj8lBoFBTxlEbTMNy0e7B1LeSRy4y43W1BSytkGGTVqFpBg0GEf7Muqaw2JFwNk6ffHa4G5yrQXv8rccQClx5egw-3D-3D
_______________________________________________
coreboot mailing list -- [email protected]
To unsubscribe send an email to [email protected]
