bugReporter.reportBug(bug);
         public void sawOpcode(int seen) {		if (false) System.out.println(OPCODE_NAMES[seen] + " " +  state);		opStack.mergeJumps(this);		try {			switch ( seen ) {				case FCMPG:				case FCMPL:				case DCMPG:				case DCMPL:					if (opStack.getStackDepth() >= 2) {						OpcodeStack.Item first = opStack.getStackItem(0);						OpcodeStack.Item second = opStack.getStackItem(1);						Number n1 = (Number)first.getConstant();						Number n2 = (Number)second.getConstant();						if (n1 != null && Double.isNaN(n1.doubleValue())								|| n2 != null && Double.isNaN(n2.doubleValue()) ) {							BugInstance bug = new BugInstance(this, "FE_TEST_IF_EQUAL_TO_NOT_A_NUMBER", priority)					        .addClassAndMethod(this).addSourceLine(this);							state = SAW_NOTHING;							break;						}						if (first.getSpecialKind() == OpcodeStack.Item.FLOAT_MATH && !okValueToCompareAgainst(n2)								|| second.getSpecialKind() == OpcodeStack.Item.FLOAT_MATH && !okValueToCompareAgainst(n1)) {							if (priority != HIGH_PRIORITY) found.clear();							priority = HIGH_PRIORITY;							state = SAW_COMP;							break;						}						if (priority == HIGH_PRIORITY) break;						if (first.isInitialParameter() && n2 != null) break;						if (second.isInitialParameter() && n1 != null) break;						if (first.getRegisterNumber() == second.getRegisterNumber()) break;						if (first.isInitialParameter() && second.isInitialParameter()) break;						if (n1 != null && n2 != null) break;												if (okValueToCompareAgainst(n1) || okValueToCompareAgainst(n2)) break;						if (n1 != null || n2 != null) {							if (priority == LOW_PRIORITY) found.clear();							priority = NORMAL_PRIORITY;													}						else if (priority == NORMAL_PRIORITY) break;						state = SAW_COMP;					}				break;								case IFEQ:				case IFNE:					if (state == SAW_COMP) {						SourceLineAnnotation sourceLineAnnotation =							SourceLineAnnotation.fromVisitedInstruction(getClassContext(), this, getPC());						if (sourceLineAnnotation != null) {							found.add(sourceLineAnnotation);						}					}					state = SAW_NOTHING;				break;								default:					state = SAW_NOTHING;				break;			}		}		finally {			opStack.sawOpcode(this, seen);		}	}