[coreboot] New Defects reported by Coverity Scan for coreboot

scan-admin at coverity.com scan-admin at coverity.com
Fri Jun 15 16:06:50 CEST 2018


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 1393458:    (DEADCODE)
/src/northbridge/intel/x4x/raminit_ddr23.c: 1685 in set_dradrb()
/src/northbridge/intel/x4x/raminit_ddr23.c: 1720 in set_dradrb()
/src/northbridge/intel/x4x/raminit_ddr23.c: 1743 in set_dradrb()


________________________________________________________________________________________________________
*** CID 1393458:    (DEADCODE)
/src/northbridge/intel/x4x/raminit_ddr23.c: 1685 in set_dradrb()
1679     
1680     	if (s->stacked_mode) {
1681     		dual_channel_size = 0;
1682     	} else if (size_me == 0) {
1683     		dual_channel_size = MIN(size_ch0, size_ch1) * 2;
1684     	} else {
>>>     CID 1393458:    (DEADCODE)
>>>     Execution cannot reach this statement: "if (size_ch0 == 0U) {
  siz...".
1685     		if (size_ch0 == 0) {
1686     			/* ME needs ram on CH0 */
1687     			size_me = 0;
1688     			/* TOTEST: bailout? */
1689     		} else {
1690     			/* Set ME UMA size in MiB */
/src/northbridge/intel/x4x/raminit_ddr23.c: 1720 in set_dradrb()
1714     		if (!(s->stacked_mode && size_ch0 != 0 && size_ch1 != 0)) {
1715     			map |= 0x04;
1716     			if (size_ch0 <= size_ch1)
1717     				map |= 0x01;
1718     		}
1719     	} else {
>>>     CID 1393458:    (DEADCODE)
>>>     Execution cannot reach this statement: "if (s->stacked_mode == 0 &&...".
1720     		if (s->stacked_mode == 0 && size_ch0 - size_me < size_ch1)
1721     			map |= 0x04;
1722     	}
1723     
1724     	MCHBAR8(0x110) = map;
1725     	MCHBAR16(0x10e) = 0;
/src/northbridge/intel/x4x/raminit_ddr23.c: 1743 in set_dradrb()
1737     		if (size_ch0 > size_ch1)
1738     			single_channel_offset = dual_channel_size / 2
1739     				+ single_channel_size;
1740     		else
1741     			single_channel_offset = dual_channel_size / 2;
1742     	} else {
>>>     CID 1393458:    (DEADCODE)
>>>     Execution cannot reach this statement: "if (size_ch0 > size_ch1 && ...".
1743     		if ((size_ch0 > size_ch1) && ((map & 0x7) == 4))
1744     			single_channel_offset = dual_channel_size / 2
1745     				+ single_channel_size;
1746     		else
1747     			single_channel_offset = dual_channel_size / 2
1748     				+ size_me;


________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V05UPxvVjWch-2Bd2MGckcRbLuoVetFLSjdonCi1EjfHRqWGQvojmmkYaBE-2BPJiTQvQ-3D-3D_q4bX76XMySz3BXBlWr5fXXJ4cvAsgEXEqC7dBPM7O5ZWQAhKLOAsZdzAaxClABVCPKncVmMBWRp7PRtJ8U4UsZvhqlZH5D0rL5ZrSm-2FDI3jRyovYoUJWejXIVkPwEXu-2FkctkwoohoASCOBhHjBIP2ZZVMo6AcGNvqUK2EAPUYfoaylt-2FOj6pDdbZ1Ym-2BaYJpmQKm3JuWa728adeW7h611nnn4d4ZyG-2Foxxi8WSrHFpk-3D




More information about the coreboot mailing list