void (ConditionalThrowToInstruction instruction, int offset, int nextOffset) { if (nextOffset > flow.getSize()) nextOffset = flow.getSize(); if (offset > endOffset) return; int throwToOffset = instruction.offset; boolean isNormal; if (throwToOffset == nextOffset) { if (throwToOffset <= endOffset) { isNormal = !isLeaf(nextOffset) && isNormalCompletion[nextOffset]; } else { return; } } else { isNormal = isLeaf(nextOffset) || isNormalCompletion[nextOffset]; } isNormalCompletion[offset] |= isNormal; }