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