Predicate Private::summaryPostUpdateNode
Holds if summary node post is a post-update node with pre-update node pre.
Import path
import codeql.ruby.dataflow.internal.FlowSummaryImplpredicate summaryPostUpdateNode(Node post, Node pre)Holds if summary node post is a post-update node with pre-update node pre.
import codeql.ruby.dataflow.internal.FlowSummaryImplpredicate summaryPostUpdateNode(Node post, Node pre)