diff --git a/java/ql/src/semmle/code/java/dataflow/Nullness.qll b/java/ql/src/semmle/code/java/dataflow/Nullness.qll index 29402723dad..8dbac1520ba 100644 --- a/java/ql/src/semmle/code/java/dataflow/Nullness.qll +++ b/java/ql/src/semmle/code/java/dataflow/Nullness.qll @@ -104,6 +104,8 @@ predicate dereference(Expr e) { or exists(SwitchStmt switch | switch.getExpr() = e) or + exists(SwitchExpr switch | switch.getExpr() = e) + or exists(FieldAccess fa, Field f | fa.getQualifier() = e and fa.getField() = f and not f.isStatic()) or exists(MethodAccess ma, Method m |