import java.util.Arrays; | |
import org.checkerframework.dataflow.qual.Pure; | |
public class DaikonCrash { | |
void method(Object[] a1) { | |
int[] u = union(new int[] {}, new int[] {}); | |
Arrays.sort(u); | |
} | |
@Pure | |
private int[] union(int[] ints, int[] ints1) { | |
throw new RuntimeException(); | |
} | |
} |