Skip to content

Commit ff5f794

Browse files
committed
Python: Exclude synth preupdate nodes from tt-consistency
... and that should be it 👍 (so that's why I'm allowing the tests to run on all data-flow nodes again)
1 parent bbe8c6d commit ff5f794

File tree

2 files changed

+2
-4
lines changed

2 files changed

+2
-4
lines changed

python/ql/consistency-queries/TypeTrackingConsistency.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,9 +5,9 @@ private import semmle.python.dataflow.new.internal.TypeTrackingImpl
55

66
private module ConsistencyChecksInput implements ConsistencyChecksInputSig {
77
predicate unreachableNodeExclude(DataFlow::Node n) {
8-
not exists(n.getLocation().getFile().getRelativePath())
9-
or
108
n instanceof DataFlowPrivate::SyntheticPostUpdateNode
9+
or
10+
n instanceof DataFlowPrivate::SyntheticPreUpdateNode
1111
}
1212
}
1313

python/ql/test/experimental/dataflow/typetracking/CONSISTENCY/TypeTrackingConsistency.expected

Lines changed: 0 additions & 2 deletions
This file was deleted.

0 commit comments

Comments
 (0)