Skip to content

Commit 07bacbf

Browse files
committed
C++: Follow suppressUnusedThis convention
1 parent 88f80e4 commit 07bacbf

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

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

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -128,7 +128,7 @@ predicate readStep(Node node1, Content f, Node node2) {
128128
* numeric conversions, and otherwise the erasure is used.
129129
*/
130130
RefType getErasedRepr(Type t) {
131-
t = t and // silence compiler warning
131+
suppressUnusedThis(t) and
132132
result instanceof VoidType // stub implementation
133133
}
134134

@@ -141,6 +141,8 @@ predicate compatibleTypes(Type t1, Type t2) {
141141
any() // stub implementation
142142
}
143143

144+
private predicate suppressUnusedThis(Type t) { any() }
145+
144146
//////////////////////////////////////////////////////////////////////////////
145147
// Java QL library compatibility wrappers
146148
//////////////////////////////////////////////////////////////////////////////

0 commit comments

Comments
 (0)