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 }