checker/jtreg/tainting/NewClass.java

/*
 * @test
 * @summary Test for bug where arguments to constructors were visited twice.
 *
 * @compile/fail/ref=NewClass.out -XDrawDiagnostics -processor org.checkerframework.checker.tainting.TaintingChecker -Alint NewClass.java
 */

import org.checkerframework.checker.tainting.qual.Untainted;

public class NewClass {
  public NewClass(Object param) {}

  Object get(@Untainted Object o) {
    return o;
  }

  void test() {
    NewClass newClass = new NewClass(get(get("")));
  }
}