Assertion: exception's trap | /r/AtLocation | a store instruction
Facets:
Source sentences:
text: Thus, in order to implement counting mode, an under/overflow handler must generate the scaled result and fix up the stack when a trap occurs on a store instruction.