if (getBranchOffset() > 0)
OpcodeStack.Item item0 = stack.getStackItem(0); OpcodeStack.Item item1 = stack.getStackItem(1); if (getBranchOffset() > 0) { forwardConditionalBranches.add(new ForwardConditionalBranch(item0, item1, getPC(), getBranchTarget()));
	public void sawOpcode(int seen) {		stack.mergeJumps(this);		switch (seen) {		case ARETURN:		case IRETURN:		case RETURN:		case DRETURN:		case FRETURN:		case LRETURN:			addForwardJump(getPC(), Integer.MAX_VALUE);			break;		case IF_ICMPNE:		case IF_ICMPEQ:		case IF_ICMPGT:		case IF_ICMPLE:		case IF_ICMPLT:		case IF_ICMPGE:			if (getBranchOffset() > 0)				break;			if (getFurthestJump(getBranchTarget()) > getPC())				break;			OpcodeStack.Item item0 = stack.getStackItem(0);			OpcodeStack.Item item1 = stack.getStackItem(1);			if (constantSince(item0, getBranchTarget())					&& constantSince(item1, getBranchTarget())) {				BugInstance bug = new BugInstance(this, "IL_INFINITE_LOOP",						HIGH_PRIORITY).addClassAndMethod(this).addSourceLine(						this, getPC());				bugReporter.reportBug(bug);			}			break;		}		stack.sawOpcode(this, seen);	}