result.setValue(i, factory.getValueNumber(maxNumber++));     result.setNextValueNumber(maxNumber);
result.setValue(i, factory.createFreshValue());
	public void initEntryFact(ValueNumberFrame result) {		int maxNumber = 0;		// At entry to the method, each local has (as far as we know) a unique value.		int numSlots = result.getNumSlots();		for (int i = 0; i < numSlots; ++i)			result.setValue(i, factory.getValueNumber(maxNumber++));		// Set the max number in the frame.		// From there it will propagate to every reachable part		// of the CFG.		result.setNextValueNumber(maxNumber);	}