Skip to content

Commit 9cc0d3d

Browse files
committed
Java/C++/C#: Remove DataFlowLocation as it's no longer needed.
1 parent 80997a3 commit 9cc0d3d

File tree

4 files changed

+0
-8
lines changed

4 files changed

+0
-8
lines changed

cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -282,8 +282,6 @@ class DataFlowExpr = Expr;
282282

283283
class DataFlowType = Type;
284284

285-
class DataFlowLocation = Location;
286-
287285
/** A function call relevant for data flow. */
288286
class DataFlowCall extends Expr {
289287
DataFlowCall() { this instanceof Call }

cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -191,8 +191,6 @@ class DataFlowExpr = Expr;
191191

192192
class DataFlowType = Type;
193193

194-
class DataFlowLocation = Location;
195-
196194
/** A function call relevant for data flow. */
197195
class DataFlowCall extends CallInstruction {
198196
/**

csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1472,8 +1472,6 @@ class DataFlowExpr = DotNet::Expr;
14721472

14731473
class DataFlowType = Gvn::GvnType;
14741474

1475-
class DataFlowLocation = Location;
1476-
14771475
/** Holds if `e` is an expression that always has the same Boolean value `val`. */
14781476
private predicate constantBooleanExpr(Expr e, boolean val) {
14791477
e = any(AbstractValues::BooleanValue bv | val = bv.getValue()).getAnExpr()

java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -279,8 +279,6 @@ class DataFlowExpr = Expr;
279279

280280
class DataFlowType = RefType;
281281

282-
class DataFlowLocation = Location;
283-
284282
class DataFlowCall extends Call {
285283
/** Gets the data flow node corresponding to this call. */
286284
ExprNode getNode() { result.getExpr() = this }

0 commit comments

Comments
 (0)