Hi,
Please find the latest report on new defect(s) introduced to coreboot found with Coverity Scan.
3 new defect(s) introduced to coreboot found with Coverity Scan.
New defect(s) Reported-by: Coverity Scan Showing 3 of 3 defect(s)
** CID 1378783: Control flow issues (NO_EFFECT) /3rdparty/arm-trusted-firmware/plat/compat/plat_topology_compat.c: 147 in plat_get_power_domain_tree_desc()
________________________________________________________________________________________________________ *** CID 1378783: Control flow issues (NO_EFFECT) /3rdparty/arm-trusted-firmware/plat/compat/plat_topology_compat.c: 147 in plat_get_power_domain_tree_desc() 141 142 /* 143 * We assume that the platform allocates affinity instance ids from 144 * 0 onwards at each affinity level in the mpidr. FIRST_MPIDR = 0.0.0.0 145 */ 146 affmap_idx = 0;
CID 1378783: Control flow issues (NO_EFFECT) "afflvl" is converted to an unsigned type because it's compared to an unsigned constant.
147 for (afflvl = PLATFORM_MAX_AFFLVL; afflvl >= MPIDR_AFFLVL0; afflvl--) { 148 affmap_idx = init_pwr_domain_tree_desc(FIRST_MPIDR, 149 affmap_idx, 150 PLATFORM_MAX_AFFLVL, 151 afflvl); 152 }
** CID 1378782: Integer handling issues (NO_EFFECT) /3rdparty/arm-trusted-firmware/lib/cpus/errata_report.c: 75 in errata_print_msg()
________________________________________________________________________________________________________ *** CID 1378782: Integer handling issues (NO_EFFECT) /3rdparty/arm-trusted-firmware/lib/cpus/errata_report.c: 75 in errata_print_msg() 69 [ERRATA_MISSING] = "missing!" 70 }; 71 static const char *const __unused bl_str = BL_STRING; 72 const char *msg __unused; 73 74
CID 1378782: Integer handling issues (NO_EFFECT) This greater-than-or-equal-to-zero comparison of an unsigned value is always true. "status >= 0U".
75 assert(status >= 0 && status < ARRAY_SIZE(errata_status_str)); 76 assert(cpu); 77 assert(id); 78 79 msg = errata_status_str[status]; 80
** CID 1378781: Integer handling issues (NO_EFFECT) /3rdparty/arm-trusted-firmware/lib/xlat_tables/xlat_tables_common.c: 314 in init_xlation_table_inner()
________________________________________________________________________________________________________ *** CID 1378781: Integer handling issues (NO_EFFECT) /3rdparty/arm-trusted-firmware/lib/xlat_tables/xlat_tables_common.c: 314 in init_xlation_table_inner() 308 309 static mmap_region_t *init_xlation_table_inner(mmap_region_t *mm, 310 uintptr_t base_va, 311 uint64_t *table, 312 int level) 313 {
CID 1378781: Integer handling issues (NO_EFFECT) "level" is converted to an unsigned type because it's compared to an unsigned constant.
314 assert(level >= XLAT_TABLE_LEVEL_MIN && level <= XLAT_TABLE_LEVEL_MAX); 315 316 unsigned int level_size_shift = 317 L0_XLAT_ADDRESS_SHIFT - level * XLAT_TABLE_ENTRIES_SHIFT; 318 u_register_t level_size = (u_register_t)1 << level_size_shift; 319 u_register_t level_index_mask =
________________________________________________________________________________________________________ To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V05...
To manage Coverity Scan email notifications for "coreboot@coreboot.org", click https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V05...