1 parent 622a7ff commit 7464ac1Copy full SHA for 7464ac1
1 file changed
unified/ql/lib/codeql/unified/internal/dataflow/DataFlowInstantiation.qll
@@ -153,7 +153,10 @@ module DataFlowInput implements InputSig<Location> {
153
// Misc
154
//
155
additional predicate nodeIsVisible(Node node) {
156
- node instanceof TValueNode
+ exists(Expr e |
157
+ node = TValueNode(e) and
158
+ not e instanceof ExprPattern
159
+ )
160
or
161
node instanceof TStrictlyIncomingValue
162
0 commit comments