
class Infeasible {

  int foo() {
	Infeasible a,b;
	a = null;
	try {
		a = new Infeasible();
		b = (Infeasible) a.clone();
		}
	catch (CloneNotSupportedException e) {
		e.printStackTrace();
		}
	// a should also be initialized here
	return a.hashCode();
	} 
}
		
		

Test case for infeasible exception edge
Test case for infeasible exception edge


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