Skip to content

Commit 69818c5

Browse files
author
Alvaro Muñoz
committed
Remove bindingset from DataFlow's compatibleTypes
1 parent 48a0fd5 commit 69818c5

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

ql/lib/codeql/actions/dataflow/internal/DataFlowPrivate.qll

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -166,8 +166,7 @@ class DataFlowType extends TDataFlowType {
166166

167167
string ppReprType(DataFlowType t) { none() }
168168

169-
bindingset[t1, t2]
170-
predicate compatibleTypes(DataFlowType t1, DataFlowType t2) { t1 = t2 }
169+
predicate compatibleTypes(DataFlowType t1, DataFlowType t2) { any() }
171170

172171
predicate typeStrongerThan(DataFlowType t1, DataFlowType t2) { none() }
173172

0 commit comments

Comments
 (0)