property.setParamUnconditionalDeref(param.intValue(), true);
property.setUnconditionalDeref(param.intValue(), true);
				public void foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue) {					BitSet inputValueNumberSet = new BitSet();					inputValueNumberSet.set(valueNumber.getNumber());					// If we have a merge tree for the value number analysis,					// then we can find all dataflow values that contributed to this					// one as input.					if (valueNumberAnalysis.getMergeTree() != null) {						if (MergeTree.DEBUG) {							System.out.println("Unconditional deref of " + valueNumber.getNumber());						}						inputValueNumberSet.or(valueNumberAnalysis.getMergeTree().getTransitiveInputSet(valueNumber));						if (MergeTree.DEBUG) {							System.out.println("Input set is " + inputValueNumberSet);						}					}										// For all input value numbers contributing to the dereferenced					// value, see which ones are params and mark them as					// unconditionally dereferenced.					for (int i = 0; i < valueNumberAnalysis.getFactory().getNumValuesAllocated(); ++i) {						if (!inputValueNumberSet.get(i))							continue;						ValueNumber inputValueNumber = valueNumberAnalysis.getFactory().forNumber(i);						Integer param = valueNumberToParamMap.get(inputValueNumber);						if (param != null) {							property.setParamUnconditionalDeref(param.intValue(), true);						}					}				}