Searched refs:SCtx (Results 1 – 2 of 2) sorted by relevance
356 const StackFrameContext *SCtx = Ctx->getStackFrame(); in isModifiedInFrame() local357 if (!FramesModifyingCalculated.count(SCtx)) in isModifiedInFrame()359 return FramesModifying.count(SCtx); in isModifiedInFrame()363 const StackFrameContext *SCtx) { in markFrameAsModifying() argument364 while (!SCtx->inTopFrame()) { in markFrameAsModifying()365 auto p = FramesModifying.insert(SCtx); in markFrameAsModifying()369 SCtx = SCtx->getParent()->getStackFrame(); in markFrameAsModifying()444 const StackFrameContext *SCtx = Ctx->getStackFrame(); in VisitNode() local453 BR.getStateManager().getCallEventManager().getCaller(SCtx, State); in VisitNode()
656 void markFrameAsModifying(const StackFrameContext *SCtx);