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 1487871: Control flow issues (DEADCODE)
/src/vendorcode/google/chromeos/watchdog.c: 35 in reset_watchdog_tombstone()
________________________________________________________________________________________________________
*** CID 1487871: Control flow issues (DEADCODE)
/src/vendorcode/google/chromeos/watchdog.c: 35 in reset_watchdog_tombstone()
29 BOOT_STATE_INIT_ENTRY(BS_POST_DEVICE, BS_ON_ENTRY,
30 elog_handle_watchdog_tombstone, NULL);
31
32 bool reset_watchdog_tombstone(void)
33 {
34 if (!REGION_SIZE(watchdog_tombstone))
>>> CID 1487871: Control flow issues (DEADCODE)
>>> Execution cannot reach this statement: "return false;".
35 return false;
36
37 bool flag = (read32(_watchdog_tombstone) == WATCHDOG_TOMBSTONE_MAGIC);
38 write32(_watchdog_tombstone, 0);
39 return flag;
40 }
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit,
https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0qcxCbhZ31OYv50yq2SfQfrHt3Prsn4qSLrYIrajINpiFX8l0vrlNSf8iCrS27qY0Cr0DkycwNUgGZJj8-3DvSa0_L-2FDzr14mnrsJO5b1wX1hp9b1MAQygl7x-2B74RAaH2cn2pc9LwKecOhAndP2F8NmPSRLnuO9gd6mKnZq8aZ0ZBe-2BpYghPrM-2FNHAz7YQxgLI1IYy2f5Jgv6x9OeNVep5IKGrtVd0uEMtFv1UOqpZQA-2Bb2PpkIKxi00bKZmdY8QQ4LnYHBDjvVHc-2BrGECK1tH0p-2FnmaGP-2Fudg0JIxmi-2FJLH5wN-2FB3Mq391jI2GILecDNYhQ-3D
_______________________________________________
coreboot mailing list -- [email protected]
To unsubscribe send an email to [email protected]
