checker/tests/index/DaikonCrash.java

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();
  }
}