On 24/08/2018 11:33, Peter Maydell wrote:
> ze);
> +
> + if (offset >= A_TIMERITCR) {
> + switch (offset) {
> + case A_TIMERITCR:
> + s->timeritcr = value & R_TIMERITCR_VALID_MASK;
> + cmsdk_apb_dualtimer_update(s);
> + case A_TIMERITOP:
> + s->timeritop = value & R_TIMERITOP_VALID_MASK;
> + cmsdk_apb_dualtimer_update(s);
> + default:

Two missing "break"s here (Coverity CID 1395626 and 1395633).

Paolo

Reply via email to