github
diff --git a/‎unified/ql/lib/codeql/unified/internal/dataflow/DataFlowNode.qll‎
Lines changed: 1 addition & 0 deletions b/‎unified/ql/lib/codeql/unified/internal/dataflow/DataFlowNode.qll‎
Lines changed: 1 addition & 0 deletions
@@ -321,6 +321,7 @@ class Node extends TDataFlowNode {
    *
    * The post-update node represents the updated state of the value held in this node, after it has been mutated by the surrounding assignment or call.
    */
+  pragma[nomagic]
   Node getPostUpdateNode() {
     exists(Expr expr |
       this.isResultValue(expr) and
Original file line number	Diff line number	Diff line change
`@@ -321,6 +321,7 @@ class Node extends TDataFlowNode {`
`321`	`321`	`*`
`322`	`322`	`* The post-update node represents the updated state of the value held in this node, after it has been mutated by the surrounding assignment or call.`
`323`	`323`	`*/`
	`324`	`+ pragma[nomagic]`
`324`	`325`	`Node getPostUpdateNode() {`
`325`	`326`	`exists(Expr expr \|`
`326`	`327`	`this.isResultValue(expr) and`