From 9cc0d3d1f419e56cbf4f411359002219f6765a99 Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Tue, 21 Jan 2020 15:08:39 +0100 Subject: [PATCH] Java/C++/C#: Remove DataFlowLocation as it's no longer needed. --- .../src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll | 2 -- .../semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll | 2 -- .../semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll | 2 -- .../src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll | 2 -- 4 files changed, 8 deletions(-) diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll index ab95d38ed0f..3062022a6e6 100644 --- a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll +++ b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll @@ -282,8 +282,6 @@ class DataFlowExpr = Expr; class DataFlowType = Type; -class DataFlowLocation = Location; - /** A function call relevant for data flow. */ class DataFlowCall extends Expr { DataFlowCall() { this instanceof Call } diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll index f6306759771..c5e84383215 100644 --- a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll +++ b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll @@ -191,8 +191,6 @@ class DataFlowExpr = Expr; class DataFlowType = Type; -class DataFlowLocation = Location; - /** A function call relevant for data flow. */ class DataFlowCall extends CallInstruction { /** diff --git a/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll b/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll index 06a82f8ef4d..f22d10e00a0 100644 --- a/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll +++ b/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll @@ -1472,8 +1472,6 @@ class DataFlowExpr = DotNet::Expr; class DataFlowType = Gvn::GvnType; -class DataFlowLocation = Location; - /** Holds if `e` is an expression that always has the same Boolean value `val`. */ private predicate constantBooleanExpr(Expr e, boolean val) { e = any(AbstractValues::BooleanValue bv | val = bv.getValue()).getAnExpr() diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll index e41256ac0b0..f913252c5b3 100644 --- a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll +++ b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll @@ -279,8 +279,6 @@ class DataFlowExpr = Expr; class DataFlowType = RefType; -class DataFlowLocation = Location; - class DataFlowCall extends Call { /** Gets the data flow node corresponding to this call. */ ExprNode getNode() { result.getExpr() = this }