Predicate MakeConsistency::postIsInSameCallable
Import path
import codeql.dataflow.internal.DataFlowImplConsistency
predicate postIsInSameCallable(PostUpdateNode n, string msg)
import codeql.dataflow.internal.DataFlowImplConsistency
predicate postIsInSameCallable(PostUpdateNode n, string msg)