Predicate Flow::capturePostUpdateNode
Holds if post is a PostUpdateNode for pre.
Import path
import codeql.dataflow.VariableCapturepredicate capturePostUpdateNode(SynthesizedCaptureNode post, SynthesizedCaptureNode pre)Holds if post is a PostUpdateNode for pre.
import codeql.dataflow.VariableCapturepredicate capturePostUpdateNode(SynthesizedCaptureNode post, SynthesizedCaptureNode pre)