} else { InstructionHandle firstInDestHandle = edge.getDest().getFirstInstruction(); if (firstInDestHandle != null) { Instruction firstInDest = firstInDestHandle.getInstruction(); short opcode = firstInDest.getOpcode(); if (nullCheckInstructionSet.get(opcode)) return REF_OPERAND_NON_NULL; }
} else if (edge.getSource().isNullCheck()) { return REF_OPERAND_NON_NULL;
	private int getNullInfoFromEdge(Edge edge) {		final InstructionHandle lastInSourceHandle = edge.getSource().getLastInstruction();		final int edgeType = edge.getType();		if (lastInSourceHandle != null) {			Instruction lastInSource = lastInSourceHandle.getInstruction();			short opcode = lastInSource.getOpcode();			if (opcode == Constants.IFNULL)				return edgeType == IFCMP_EDGE ? TOS_NULL : TOS_NON_NULL;			else if (opcode == Constants.IFNONNULL)				return edgeType == IFCMP_EDGE ? TOS_NON_NULL : TOS_NULL;		} else {			InstructionHandle firstInDestHandle = edge.getDest().getFirstInstruction();			if (firstInDestHandle != null) {				Instruction firstInDest = firstInDestHandle.getInstruction();				short opcode = firstInDest.getOpcode();				if (nullCheckInstructionSet.get(opcode))					return REF_OPERAND_NON_NULL;			}		}		return NO_INFO;	}