File tree Expand file tree Collapse file tree 2 files changed +1
-4
lines changed
python/ql/src/semmle/python/dataflow/new/internal Expand file tree Collapse file tree 2 files changed +1
-4
lines changed Original file line number Diff line number Diff line change @@ -19,7 +19,7 @@ module syntheticPreUpdateNode {
1919 SyntheticPreUpdateNode ( ) { this = TSyntheticPreUpdateNode ( post ) }
2020
2121 /** Gets the node for which this is a synthetic pre-update node. */
22- override NeedsSyntheticPreUpdateNode getPostUpdateNode ( ) { result = post }
22+ Node getPostUpdateNode ( ) { result = post }
2323
2424 override string toString ( ) { result = "[pre " + post .label ( ) + "] " + post .toString ( ) }
2525
Original file line number Diff line number Diff line change @@ -123,9 +123,6 @@ class Node extends TNode {
123123 * Gets a local source node from which data may flow to this node in zero or more local data-flow steps.
124124 */
125125 LocalSourceNode getALocalSource ( ) { result .flowsTo ( this ) }
126-
127- /** Gets the `PostUpdateNode` for this node, if any. */
128- PostUpdateNode getPostUpdateNode ( ) { result .getPreUpdateNode ( ) = this }
129126}
130127
131128/** A data-flow node corresponding to an SSA variable. */
You can’t perform that action at this time.
0 commit comments