C++: Update ppReprType for C++ IR dataflow

jbj · jbj · commit b07380d2ebfc · 2020-04-01T20:19:00.000+02:00
I forgot to do this in b1be123. Without this change, we suffix ` : void` on very step of an IR path explanation.
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
@@ -154,7 +154,7 @@ Type getErasedRepr(Type t) {
 }
 
 /** Gets a string representation of a type returned by `getErasedRepr`. */
-string ppReprType(Type t) { result = t.toString() }
+string ppReprType(Type t) { none() } // stub implementation
 
 /**
  * Holds if `t1` and `t2` are compatible, that is, whether data can flow from

Original file line number	Diff line number	Diff line change
`@@ -154,7 +154,7 @@ Type getErasedRepr(Type t) {`
`154`	`154`	`}`
`155`	`155`
`156`	`156`	/** Gets a string representation of a type returned by `getErasedRepr`. */
`157`		`-string ppReprType(Type t) { result = t.toString() }`
	`157`	`+string ppReprType(Type t) { none() } // stub implementation`
`158`	`158`
`159`	`159`	`/**`
`160`	`160`	* Holds if `t1` and `t2` are compatible, that is, whether data can flow from