We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5c40d55 commit d285afbCopy full SHA for d285afb
shared/typetracking/codeql/typetracking/TypeTracking.qll
@@ -805,7 +805,12 @@ module TypeTracking<TypeTrackingInput I> {
805
private predicate sourceSimpleLocalSmallSteps(Node src, Node n) {
806
source(src) and
807
not src instanceof LocalSourceNode and
808
- simpleLocalSmallStep*(src, n)
+ src = n
809
+ or
810
+ exists(Node mid |
811
+ sourceSimpleLocalSmallSteps(src, mid) and
812
+ simpleLocalSmallStep(mid, n)
813
+ )
814
}
815
816
private predicate firstStep(TypeTracker tt, Node src, LocalSourceNode n2) {
0 commit comments