Merge pull request #2661 from aschackmull/java/remove-dataflowlocation

Java/C++/C#: Remove DataFlowLocation as it's no longer needed.
This commit is contained in:
Tom Hvitved
2020-01-22 12:11:24 +01:00
committed by GitHub
4 changed files with 0 additions and 8 deletions

View File

@@ -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 }

View File

@@ -191,8 +191,6 @@ class DataFlowExpr = Expr;
class DataFlowType = Type;
class DataFlowLocation = Location;
/** A function call relevant for data flow. */
class DataFlowCall extends CallInstruction {
/**

View File

@@ -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()

View File

@@ -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 }