New Defects reported by Coverity Scan for coreboot

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