Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit e3199fb

Browse files
committed
Python: Fix inconsostencies to fix flow
(and fix annotations again)
1 parent 36a4a50 commit e3199fb

3 files changed

Lines changed: 114 additions & 7 deletions

File tree

python/ql/src/semmle/python/dataflow/new/internal/DataFlowPublic.qll

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -339,6 +339,10 @@ class IterableSequence extends Node, TIterableSequence {
339339

340340
override string toString() { result = "IterableSequence" }
341341

342+
override DataFlowCallable getEnclosingCallable() {
343+
result = any(CfgNode node | node = TCfgNode(consumer)).getEnclosingCallable()
344+
}
345+
342346
override Location getLocation() { result = consumer.getLocation() }
343347
}
344348

@@ -353,6 +357,10 @@ class IterableElement extends Node, TIterableElement {
353357

354358
override string toString() { result = "IterableElement" }
355359

360+
override DataFlowCallable getEnclosingCallable() {
361+
result = any(CfgNode node | node = TCfgNode(consumer)).getEnclosingCallable()
362+
}
363+
356364
override Location getLocation() { result = consumer.getLocation() }
357365
}
358366

0 commit comments

Comments
 (0)