Merge pull request #1071 from jbj/dataflow-toString-perf

C++: Make FlowVar::toString not use Expr::toString
This commit is contained in:
Geoffrey White
2019-03-12 15:52:52 +00:00
committed by GitHub

View File

@@ -269,7 +269,7 @@ module FlowVar_internal {
override string toString() {
exists(Expr e |
this.definedByExpr(e, _) and
result = v +" := "+ e
result = "assignment to "+ v
)
or
this.definedByInitialValue(_) and
@@ -277,7 +277,7 @@ module FlowVar_internal {
or
exists(Expr arg |
this.definedByReference(arg) and
result = "ref def: "+ arg
result = "definition by reference of "+ v
)
or
// impossible case