From 531d30f048df1b7c2ef891bcce22513fc4098942 Mon Sep 17 00:00:00 2001
From: Anders Schack-Mulligen <schack@semmle.com>
Date: Wed, 15 May 2019 13:20:55 +0200
Subject: [PATCH] Java: Add SwitchExpr to Nullness::dereference.

---
 java/ql/src/semmle/code/java/dataflow/Nullness.qll | 2 ++
 1 file changed, 2 insertions(+)

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 |