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 {
19
19
SyntheticPreUpdateNode ( ) { this = TSyntheticPreUpdateNode ( post ) }
20
20
21
21
/** Gets the node for which this is a synthetic pre-update node. */
22
- override NeedsSyntheticPreUpdateNode getPostUpdateNode ( ) { result = post }
22
+ Node getPostUpdateNode ( ) { result = post }
23
23
24
24
override string toString ( ) { result = "[pre " + post .label ( ) + "] " + post .toString ( ) }
25
25
Original file line number Diff line number Diff line change @@ -123,9 +123,6 @@ class Node extends TNode {
123
123
* Gets a local source node from which data may flow to this node in zero or more local data-flow steps.
124
124
*/
125
125
LocalSourceNode getALocalSource ( ) { result .flowsTo ( this ) }
126
-
127
- /** Gets the `PostUpdateNode` for this node, if any. */
128
- PostUpdateNode getPostUpdateNode ( ) { result .getPreUpdateNode ( ) = this }
129
126
}
130
127
131
128
/** A data-flow node corresponding to an SSA variable. */
You can’t perform that action at this time.
0 commit comments