Predicate Cached :: forceCachingInSameStage
If needed, call this predicate from DataFlowImplSpecific.qll
in order to
force a stage-dependency on the DataFlowImplCommon.qll
stage and thereby
collapsing the two stages.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon
predicate
forceCachingInSameStage
(
)