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. 11 defect(s), reported by Coverity Scan earlier, were marked fixed in the recent build analyzed by Coverity Scan.
New defect(s) Reported-by: Coverity Scan Showing 1 of 1 defect(s)
** CID 1452916: Null pointer dereferences (FORWARD_NULL) /util/sconfig/main.c: 453 in new_fw_config_field()
________________________________________________________________________________________________________ *** CID 1452916: Null pointer dereferences (FORWARD_NULL) /util/sconfig/main.c: 453 in new_fw_config_field() 447 } 448 449 /* Check that each field is within 64 bits. */ 450 tmp = bits; 451 while (tmp) { 452 if (tmp->start_bit > tmp->end_bit || tmp->end_bit > 63) {
CID 1452916: Null pointer dereferences (FORWARD_NULL) Dereferencing null pointer "field".
453 printf("ERROR: fw_config field %s has invalid range %u-%u\n", field->name, 454 tmp->start_bit, tmp->end_bit); 455 exit(1); 456 } 457 458 /* Check for overlap with an existing field. */
________________________________________________________________________________________________________ To view the defects in Coverity Scan visit, https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0...