hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: format ql

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2020-08-05 14:16:50 +02:00
parent 9312b42e79
commit 2639e68a0d
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
View File

@@ -268,12 +268,11 @@ predicate readStep(Node nodeFrom, Content c, Node nodeTo) {
// Seems to need extractor changes to write this part properly
nodeFrom.(CfgNode).getNode().(SequenceNode).getNode().getParentNode() = comp and
colocated(f.getIter(), comp) and
nodeTo.(EssaNode).getVar().getDefinition().(AssignmentDefinition).getDefiningNode().getNode() = f.getTarget()
nodeTo.(EssaNode).getVar().getDefinition().(AssignmentDefinition).getDefiningNode().getNode() =
f.getTarget()
)
}
/** This should not be necessary */
predicate colocated(AstNode n1, AstNode n2) {
n1.getLocation().getFile() = n2.getLocation().getFile() and