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-2BfV0V05UPxvVjWch-2Bd2MGckcRbLuoVetFLSjdonCi1EjfHRqWGQvojmmkYaBE-2BPJiTQvQ-3D-3D_q4bX76XMySz3BXBlWr5fXXJ4cvAsgEXEqC7dBPM7O5Yn8S0bAaq1zETf6tmSKrZb1iJoTol7v0nnunMHFvdgWdplyAGi-2FaOEOeRFiqe1Ls-2BI9O13PnI-2B8UhEqxejapv5hEQf8j6fT-2B3Ppx2H1Tvf1OPOZcc9-2BC6JJm2oQuWyOVGnwqla7F5BLWQK4L1tyS-2Fn1McusB45AAXgmZz1YmprfARECDsePmfWUKBZIncXvkQ-3D


-- 
coreboot mailing list: coreboot@coreboot.org
https://mail.coreboot.org/mailman/listinfo/coreboot

Reply via email to