From 0bb726f21ce231fbeac86bc6264ac5772e044ca0 Mon Sep 17 00:00:00 2001 From: Taus Brock-Nannestad Date: Mon, 14 Sep 2020 17:57:45 +0200 Subject: [PATCH] Python: Fix up merge weirdness --- .../ql/src/experimental/dataflow/internal/DataFlowPrivate.qll | 2 -- 1 file changed, 2 deletions(-) diff --git a/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll b/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll index 4685ef0cb38..0c16296d610 100644 --- a/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll +++ b/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll @@ -158,8 +158,6 @@ predicate simpleLocalFlowStep(Node nodeFrom, Node nodeTo) { // If there is ESSA-flow out of a node `node`, we want flow // both out of `node` and any post-update node of `node`. exists(Node node | - not node.(EssaNode).getVar() instanceof GlobalSsaVariable and - not nodeTo.(EssaNode).getVar() instanceof GlobalSsaVariable and EssaFlow::essaFlowStep(node, nodeTo) and nodeFrom = update(node) )