Searched refs:SCtx (Results 1 – 2 of 2) sorted by relevance
382 const StackFrameContext *SCtx = Ctx->getStackFrame(); in isModifiedInFrame() local383 if (!FramesModifyingCalculated.count(SCtx)) in isModifiedInFrame()385 return FramesModifying.count(SCtx); in isModifiedInFrame()389 const StackFrameContext *SCtx) { in markFrameAsModifying() argument390 while (!SCtx->inTopFrame()) { in markFrameAsModifying()391 auto p = FramesModifying.insert(SCtx); in markFrameAsModifying()395 SCtx = SCtx->getParent()->getStackFrame(); in markFrameAsModifying()470 const StackFrameContext *SCtx = Ctx->getStackFrame(); in VisitNode() local479 BR.getStateManager().getCallEventManager().getCaller(SCtx, State); in VisitNode()
643 void markFrameAsModifying(const StackFrameContext *SCtx);