[coreboot] New Defects reported by Coverity Scan for coreboot

scan-admin at coverity.com scan-admin at coverity.com
Fri Jun 1 16:11:47 CEST 2018


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.
19 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 1391422:  Incorrect expression  (CONSTANT_EXPRESSION_RESULT)
/src/soc/intel/broadwell/romstage/raminit.c: 128 in raminit()


________________________________________________________________________________________________________
*** CID 1391422:  Incorrect expression  (CONSTANT_EXPRESSION_RESULT)
/src/soc/intel/broadwell/romstage/raminit.c: 128 in raminit()
122     
123     	printk(BIOS_DEBUG, "create cbmem for dimm information\n");
124     	mem_info = cbmem_add(CBMEM_ID_MEMINFO, sizeof(struct memory_info));
125     	memset(mem_info, 0, sizeof(*mem_info));
126     	/* Translate pei_memory_info struct data into memory_info struct */
127     	mem_info->dimm_cnt = pei_data->meminfo.dimm_cnt;
>>>     CID 1391422:  Incorrect expression  (CONSTANT_EXPRESSION_RESULT)
>>>     "8 < 8" is always false regardless of the values of its operands because those operands are identical. This occurs as the logical first operand of "?:".
128     	for (int i = 0; i < MIN(DIMM_INFO_TOTAL, PEI_DIMM_INFO_TOTAL); i++) {
129     		struct dimm_info *dimm = &mem_info->dimm[i];
130     		const struct pei_dimm_info *pei_dimm =
131     			&pei_data->meminfo.dimm[i];
132     		dimm->dimm_size = pei_dimm->dimm_size;
133     		dimm->ddr_type = pei_dimm->ddr_type;

** CID 1271711:  Control flow issues  (DEADCODE)
/src/include/device/hypertransport_def.h: 26 in offset_unit_id()


________________________________________________________________________________________________________
*** CID 1271711:  Control flow issues  (DEADCODE)
/src/include/device/hypertransport_def.h: 26 in offset_unit_id()
20     
21     
22     static inline bool offset_unit_id(bool is_sb_ht_chain)
23     {
24     	bool need_offset = (CONFIG_HT_CHAIN_UNITID_BASE != 1)
25     		|| (CONFIG_HT_CHAIN_END_UNITID_BASE != 0x20);
>>>     CID 1271711:  Control flow issues  (DEADCODE)
>>>     Execution cannot reach the expression "1" inside this statement: "return need_offset && (1 ||...".
26     	return need_offset && (!CONFIG_SB_HT_CHAIN_UNITID_OFFSET_ONLY
27     		|| is_sb_ht_chain);
28     }
29     


________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V05UPxvVjWch-2Bd2MGckcRbLuoVetFLSjdonCi1EjfHRqWGQvojmmkYaBE-2BPJiTQvQ-3D-3D_q4bX76XMySz3BXBlWr5fXXJ4cvAsgEXEqC7dBPM7O5Y8cuFDnekytryaA1w2AudMZXFdr0r5W6YqcrybZXP-2FdO7RQt0L90gPq4GDL1hLmmQMrQiGt3qP3jM0NRBgB6m6p63cnEUc2mBSq2-2BhJ6e1PC6t-2F7zSqU8dKnPu7OM25NNFzedyN6XJ7e0dykECy6qZxGy0HR4yo-2Fyy0pqKAfpTD35R6Aa2rXNTmXvOHc0kdCk-3D




More information about the coreboot mailing list