boolean definitelySame = top.isDefinitelyNull(); boolean definitelyDifferent = top.isDefinitelyNotNull();  if (definitelySame || definitelyDifferent) { if (definitelySame) { if (DEBUG) System.out.println("Line " + lineNumber + " always same"); definitelySameBranchSet.set(lineNumber); } if (definitelyDifferent) { if (DEBUG) System.out.println("Line " + lineNumber + " always different"); definitelyDifferentBranchSet.set(lineNumber); }  RedundantBranch redundantBranch = new RedundantBranch(lastHandle, lineNumber); if (DEBUG) System.out.println("Adding redundant branch: " + redundantBranch); redundantBranchList.add(redundantBranch); } else {
if (!(top.isDefinitelyNull() || top.isDefinitelyNotNull())) {
	private void analyzeIfNullBranch(Method method, IsNullValueDataflow invDataflow, BasicBlock basicBlock,		InstructionHandle lastHandle) throws DataflowAnalysisException {		IsNullValueFrame frame = invDataflow.getFactAtLocation(new Location(lastHandle, basicBlock));		if (!frame.isValid()) {			// This is probably dead code due to an infeasible exception edge.			return;		}		IsNullValue top = frame.getTopValue();		// Find the line number.		int lineNumber = getLineNumber(method, lastHandle);		if (lineNumber < 0)			return;		boolean definitelySame = top.isDefinitelyNull();		boolean definitelyDifferent = top.isDefinitelyNotNull();		if (definitelySame || definitelyDifferent) {			if (definitelySame) {				if (DEBUG) System.out.println("Line " + lineNumber + " always same");				definitelySameBranchSet.set(lineNumber);			}			if (definitelyDifferent) {				if (DEBUG) System.out.println("Line " + lineNumber + " always different");				definitelyDifferentBranchSet.set(lineNumber);			}			//reportUselessControlFlow(classContext, method, lastHandle);			RedundantBranch redundantBranch = new RedundantBranch(lastHandle, lineNumber);			if (DEBUG) System.out.println("Adding redundant branch: " + redundantBranch);			redundantBranchList.add(redundantBranch);		} else {			if (DEBUG) System.out.println("Line " + lineNumber + " undetermined");			undeterminedBranchSet.set(lineNumber);		}	}