instanceOfValueNumber = vnaFrame.getTopValue(); instanceOfType = obj.getType(getCPG());
if (vnaFrame.isValid()) { instanceOfValueNumber = vnaFrame.getTopValue(); instanceOfType = obj.getType(getCPG()); }
	public void visitINSTANCEOF(INSTANCEOF obj) {		if (valueNumberDataflow != null) {			// Record the value number of the value checked by this instruction,			// and the type the value was compared to.			try {				ValueNumberFrame vnaFrame = valueNumberDataflow.getFactAtLocation(getLocation());				instanceOfValueNumber = vnaFrame.getTopValue();				instanceOfType = obj.getType(getCPG());			} catch (DataflowAnalysisException e) {				// Ignore			}		}				consumeStack(obj);		pushValue(Type.INT);	}