[coreboot] New Defects reported by Coverity Scan for coreboot

scan-admin at coverity.com scan-admin at coverity.com
Fri Apr 1 20:18:53 CEST 2016


Hi,

Please find the latest report on new defect(s) introduced to coreboot found with Coverity Scan.

2 new defect(s) introduced to coreboot found with Coverity Scan.
334 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 2 of 2 defect(s)


** CID 1353736:  Control flow issues  (NO_EFFECT)
/3rdparty/arm-trusted-firmware/plat/mediatek/mt8173/plat_pm.c: 386 in plat_affinst_suspend()


________________________________________________________________________________________________________
*** CID 1353736:  Control flow issues  (NO_EFFECT)
/3rdparty/arm-trusted-firmware/plat/mediatek/mt8173/plat_pm.c: 386 in plat_affinst_suspend()
380     
381     	mmio_write_32(rv, sec_entrypoint);
382     
383     	if (afflvl < MPIDR_AFFLVL2)
384     		spm_mcdi_prepare_for_off_state(mpidr, afflvl);
385     
>>>     CID 1353736:  Control flow issues  (NO_EFFECT)
>>>     This greater-than-or-equal-to-zero comparison of an unsigned value is always true. "afflvl >= 0U".
386     	if (afflvl >= MPIDR_AFFLVL0)
387     		mt_platform_save_context(mpidr);
388     
389     	/* Perform the common cluster specific operations */
390     	if (afflvl >= MPIDR_AFFLVL1) {
391     		/* Disable coherency if this cluster is to be turned off */

** CID 1353737:  Control flow issues  (NO_EFFECT)
/3rdparty/arm-trusted-firmware/plat/mediatek/mt8173/plat_pm.c: 459 in plat_affinst_suspend_finish()


________________________________________________________________________________________________________
*** CID 1353737:  Control flow issues  (NO_EFFECT)
/3rdparty/arm-trusted-firmware/plat/mediatek/mt8173/plat_pm.c: 459 in plat_affinst_suspend_finish()
453     	/* Perform the common cluster specific operations */
454     	if (afflvl >= MPIDR_AFFLVL1) {
455     		/* Enable coherency if this cluster was off */
456     		plat_cci_enable();
457     	}
458     
>>>     CID 1353737:  Control flow issues  (NO_EFFECT)
>>>     This greater-than-or-equal-to-zero comparison of an unsigned value is always true. "afflvl >= 0U".
459     	if (afflvl >= MPIDR_AFFLVL0)
460     		mt_platform_restore_context(mpidr);
461     
462     	if (afflvl < MPIDR_AFFLVL2)
463     		spm_mcdi_finish_for_on_state(mpidr, afflvl);
464     


________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://scan.coverity.com/projects/coreboot?tab=overview

To manage Coverity Scan email notifications for "coreboot at coreboot.org", click https://scan.coverity.com/subscriptions/edit?email=coreboot%40coreboot.org&token=49533df725f93b78361afb7b89ccde93




More information about the coreboot mailing list