Hi,

Please find the latest report on new defect(s) introduced to ARM-software/arm-trusted-firmware found with Coverity Scan.

• New Defects Found: 1
• 1 defect(s), reported by Coverity Scan earlier, were marked fixed in the recent build analyzed by Coverity Scan.
• Defects Shown: Showing 1 of 1 defect(s)

Defect Details

** CID 501137:       Integer handling issues  (CONSTANT_EXPRESSION_RESULT)
/common/runtime_svc.c: 261           in handler_sync_exception()


_____________________________________________________________________________________________
*** CID 501137:         Integer handling issues  (CONSTANT_EXPRESSION_RESULT)
/common/runtime_svc.c: 261             in handler_sync_exception()
255     			/* advance the PC to continue after the instruction */
256     			write_ctx_reg(state, CTX_ELR_EL3, read_ctx_reg(state, CTX_ELR_EL3) + 4);
257     		} /* otherwise return to the trapping instruction (repeating it) */
258     		return;
259     	/* If FFH Support then try to handle lower EL EA exceptions. */
260     	} else if ((exc_class == EC_IABORT_LOWER_EL || exc_class == EC_DABORT_LOWER_EL)
>>>     CID 501137:         Integer handling issues  (CONSTANT_EXPRESSION_RESULT)
>>>     "state->ctx_regs[0U /* 0U >> 3U */] | (8UL /* 1UL << 3 */)" is always 1/true regardless of the values of its operand. This occurs as the logical second operand of "&&".
261     		    && (read_ctx_reg(state, CTX_SCR_EL3) | SCR_EA_BIT)) {
262     #if FFH_SUPPORT
263     		/*
264     		 * Check for Uncontainable error type. If so, route to the
265     		 * platform fatal error handler rather than the generic EA one.
266     		 */

  

View Defects in Coverity Scan

Best regards,

The Coverity Scan Admin Team