From eb3655da1c094ae3f193d44ffb30d963b9c71463 Mon Sep 17 00:00:00 2001
From: Joe Farebrother <joefarebrother@github.com>
Date: Tue, 20 Sep 2022 14:48:21 +0100
Subject: [PATCH] Remove type check from the barrier predicate

---
 .../semmle/code/java/security/WebviewDubuggingEnabledQuery.qll  | 2 --
 1 file changed, 2 deletions(-)

diff --git a/java/ql/lib/semmle/code/java/security/WebviewDubuggingEnabledQuery.qll b/java/ql/lib/semmle/code/java/security/WebviewDubuggingEnabledQuery.qll
index 3b937766899..92071c2af1a 100644
--- a/java/ql/lib/semmle/code/java/security/WebviewDubuggingEnabledQuery.qll
+++ b/java/ql/lib/semmle/code/java/security/WebviewDubuggingEnabledQuery.qll
@@ -34,8 +34,6 @@ class WebviewDebugEnabledConfig extends DataFlow::Configuration {
   }
 
   override predicate isBarrier(DataFlow::Node node) {
-    not node.getType() instanceof BooleanType
-    or
     exists(Guard debug | isDebugCheck(debug) and debug.controls(node.asExpr().getBasicBlock(), _))
     or
     node.getEnclosingCallable().getDeclaringType() instanceof NonSecurityTestClass