dfa: analyze inner class field initializers

This commit is contained in:
peter
2013-09-03 17:37:02 +02:00
parent b87a393184
commit 73cf33f7e9
2 changed files with 5 additions and 1 deletions
@@ -2,13 +2,14 @@ import org.jetbrains.annotations.Nullable;
class Zoo2 {
void foo(@Nullable Object foo) {
void foo(@Nullable Object foo, @Nullable Object bar) {
if (foo == null) {
return;
}
new Runnable() {
int hc = foo.hashCode();
int hc2 = <warning descr="Method invocation 'bar.hashCode()' may produce 'java.lang.NullPointerException'">bar.hashCode()</warning>;
public void run() {
}