package npe;


public class GuaranteedDereferenceInteractionWithAssertionMethods {

	public Object x;

	public boolean b;

	public int falsePositive() {

		if (x == null)
			System.out.println("x is null");
		if (b) {
			x = bar();
			checkForError();
		}

		return x.hashCode();
	}

	public void checkForError() {

	}

	public Object bar() {
		return new Object();
	}

}

Add false positive test case for interaction with assertion methods
Add false positive test case for interaction with assertion methods


git-svn-id: e7d6bde23f017c9ff4efd468d79d66def666766b@6382 eae3c2d3-9b19-0410-a86e-396b6ccb6ab3
