hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 10:46:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Python: Update python/ql/src/semmle/python/dataflow/new/internal/DataFlowPrivate.qll

Browse Source 
Co-authored-by: yoff <lerchedahl@gmail.com>
This commit is contained in:
Taus
2020-11-06 17:15:58 +01:00
committed by GitHub
parent 5a9cc0861c
commit a9149b7e47
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
python/ql/src/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
View File

@@ -215,9 +215,9 @@ private predicate localEssaStep(EssaNode nodeFrom, EssaNode nodeTo) {
* Holds if `result` is either `node`, or the post-update node for `node`. * Holds if `result` is either `node`, or the post-update node for `node`.
*/ */
private Node update(Node node) { private Node update(Node node) {
node = result.(PostUpdateNode).getPreUpdateNode()
or
result = node result = node
or
result.(PostUpdateNode).getPreUpdateNode() = node
} }
// TODO: Make modules for these headings // TODO: Make modules for these headings