// about which new is-null information is known.
// If any other instances of the produced values exist,
// update their is-null information.
// Also, make a note of any newly-produced null values.
int numProduced = ins.produceStack(methodGen.getConstantPool());
if (numProduced == Constants.UNPREDICTABLE) {
throw new DataflowAnalysisException("Unpredictable stack production", methodGen, handle);
}
int start = fact.getNumSlots() - numProduced;