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 1393576:  Null pointer dereferences  (REVERSE_INULL)
/src/drivers/i2c/sx9310/sx9310.c: 44 in i2c_sx9310_fill_ssdt()

________________________________________________________________________________________________________
*** CID 1393576:  Null pointer dereferences  (REVERSE_INULL)
/src/drivers/i2c/sx9310/sx9310.c: 44 in i2c_sx9310_fill_ssdt()
38     		.mode_10bit = dev->path.i2c.mode_10bit,
39     		.speed = config->speed ? : I2C_SPEED_FAST,
40     		.resource = scope,
41     	};
42     	struct acpi_dp *dsd;
43
> > > CID 1393576:  Null pointer dereferences  (REVERSE_INULL)
> > > Null-checking "config" suggests that it may be null, but it has already been dereferenced on all paths leading to the check.

44     	if (!dev->enabled || !scope || !config)
45     		return;
46     
47     	/* Device */
48     	acpigen_write_scope(scope);
49     	acpigen_write_device(acpi_device_name(dev));

________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V05...