concreteOutputType = getInitializedType(symbolTable, concreteOutputType); frameChanged |= merge(symbolTable, concreteOutputType, dstFrame.inputLocals, i); frameChanged |= merge(symbolTable, inputLocals[i], dstFrame.inputLocals, i); frameChanged = true; frameChanged |= merge(symbolTable, catchTypeIndex, dstFrame.inputStack, 0); return frameChanged; concreteOutputType = getInitializedType(symbolTable, concreteOutputType); frameChanged |= merge(symbolTable, concreteOutputType, dstFrame.inputStack, i); merge(symbolTable, concreteOutputType, dstFrame.inputStack, numInputStack + i);
Label successorBlock = outgoingEdge.successor.getCanonicalInstance(); boolean successorBlockChanged = basicBlock.frame.merge(symbolTable, successorBlock.frame, outgoingEdge.info); if (successorBlockChanged && successorBlock.nextListElement == null) {
concreteOutputType = getInitializedType(symbolTable, concreteOutputType); frameChanged |= merge(symbolTable, concreteOutputType, dstFrame.inputLocals, i); frameChanged |= merge(symbolTable, inputLocals[i], dstFrame.inputLocals, i); frameChanged = true; frameChanged |= merge(symbolTable, catchTypeIndex, dstFrame.inputStack, 0); return frameChanged; concreteOutputType = getInitializedType(symbolTable, concreteOutputType); frameChanged |= merge(symbolTable, concreteOutputType, dstFrame.inputStack, i); merge(symbolTable, concreteOutputType, dstFrame.inputStack, numInputStack + i);
Label successorBlock = outgoingEdge.successor.getCanonicalInstance(); boolean successorBlockChanged = basicBlock.frame.merge(symbolTable, successorBlock.frame, outgoingEdge.info); if (successorBlockChanged && successorBlock.nextListElement == null) {