C++: Fix name of suppressUnusedType

jbj · jbj · commit e0ba2b22513f · 2018-09-04T13:38:28.000+02:00
diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll
@@ -128,7 +128,7 @@ predicate readStep(Node node1, Content f, Node node2) {
  * numeric conversions, and otherwise the erasure is used.
  */
 RefType getErasedRepr(Type t) {
-  suppressUnusedThis(t) and
+  suppressUnusedType(t) and
   result instanceof VoidType // stub implementation
 }
 
@@ -141,7 +141,7 @@ predicate compatibleTypes(Type t1, Type t2) {
   any() // stub implementation
 }
 
-private predicate suppressUnusedThis(Type t) { any() }
+private predicate suppressUnusedType(Type t) { any() }
 
 //////////////////////////////////////////////////////////////////////////////
 // Java QL library compatibility wrappers

Original file line number	Diff line number	Diff line change
`@@ -128,7 +128,7 @@ predicate readStep(Node node1, Content f, Node node2) {`
`128`	`128`	`* numeric conversions, and otherwise the erasure is used.`
`129`	`129`	`*/`
`130`	`130`	`RefType getErasedRepr(Type t) {`
`131`		`- suppressUnusedThis(t) and`
	`131`	`+ suppressUnusedType(t) and`
`132`	`132`	`result instanceof VoidType // stub implementation`
`133`	`133`	`}`
`134`	`134`
`@@ -141,7 +141,7 @@ predicate compatibleTypes(Type t1, Type t2) {`
`141`	`141`	`any() // stub implementation`
`142`	`142`	`}`
`143`	`143`
`144`		`-private predicate suppressUnusedThis(Type t) { any() }`
	`144`	`+private predicate suppressUnusedType(Type t) { any() }`
`145`	`145`
`146`	`146`	`//////////////////////////////////////////////////////////////////////////////`
`147`	`147`	`// Java QL library compatibility wrappers`