if (DEBUG_DEREFS) { System.out.println("vna *** " + vnaFrame); System.out.println("inv *** " + invFrame); System.out.println("deref * " + derefSet);  System.out.println("%%% HIT for value number " + valueNumber); }     NullValueUnconditionalDeref thisNullValueDeref = nullValueGuaranteedDerefMap.get(valueNumber); if (thisNullValueDeref == null) { thisNullValueDeref = new NullValueUnconditionalDeref(); nullValueGuaranteedDerefMap.put(valueNumber, thisNullValueDeref); }  thisNullValueDeref.add(isNullValue, derefSet.getUnconditionalDerefLocationSet(valueNumber));
noteUnconditionallyDereferencedNullValue( nullValueGuaranteedDerefMap, derefSet, isNullValue, valueNumber);
	private void checkForUnconditionallyDereferencedNullValues(			Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap,			ValueNumberFrame vnaFrame,			IsNullValueFrame invFrame,			UnconditionalValueDerefSet derefSet) {				if (false && DEBUG_DEREFS) {			System.out.println("vna *** " + vnaFrame);			System.out.println("inv *** " + invFrame);			System.out.println("deref * " + derefSet);		}				// Make sure the frames contain meaningful information		if (!vnaFrame.isValid() || !invFrame.isValid() || vnaFrame.getNumSlots() != invFrame.getNumSlots())  {			return;		}		// See if there are any definitely-null values in the frame		for (int j = 0; j < invFrame.getNumSlots(); j++) {			IsNullValue isNullValue = invFrame.getValue(j); 						if (isNullValue.isDefinitelyNull()) {				// Is this value unconditionally dereferenced?				ValueNumber valueNumber = vnaFrame.getValue(j);								if (derefSet.isUnconditionallyDereferenced(valueNumber)) {					if (DEBUG_DEREFS) {						System.out.println("vna *** " + vnaFrame);						System.out.println("inv *** " + invFrame);						System.out.println("deref * " + derefSet);										System.out.println("%%% HIT for value number " + valueNumber);					}										// OK, we have a null value that is unconditionally					// derferenced.  Make a note of the locations where it					// will be dereferenced.					NullValueUnconditionalDeref thisNullValueDeref = nullValueGuaranteedDerefMap.get(valueNumber);					if (thisNullValueDeref == null) {						thisNullValueDeref = new NullValueUnconditionalDeref();						nullValueGuaranteedDerefMap.put(valueNumber, thisNullValueDeref);					}//					thisValueNumberDerefLocationSet.addAll(derefSet.getUnconditionalDerefLocationSet(valueNumber));					thisNullValueDeref.add(isNullValue, derefSet.getUnconditionalDerefLocationSet(valueNumber));				}			}		}	}