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