checker/tests/regex/Issue3267.java

// Test case for issue #3267:
// https://github.com/typetools/checker-framework/issues/3267

import java.util.regex.Pattern;
import org.checkerframework.checker.regex.util.RegexUtil;

public class Issue3267 {
  void foo(String s) {
    if (RegexUtil.isRegex(s)) {
    } else {
    }
    if (true) {
      // :: error: (argument)
      Pattern.compile(s);
    }
  }
}