Predicate exprMayHavePostUpdateNode
Hold if e has a type that allows for it to have a post-update node.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivatepredicate exprMayHavePostUpdateNode(Expr e)Hold if e has a type that allows for it to have a post-update node.
import semmle.code.csharp.dataflow.internal.DataFlowPrivatepredicate exprMayHavePostUpdateNode(Expr e)