Searched refs:SrcState (Results 1 – 1 of 1) sorted by relevance
647 ProgramStateRef SrcState = state; in VisitGuardedExpr() local655 SrcState = N->getState(); in VisitGuardedExpr()682 V = SrcState->getSVal(ValEx, LCtx); in VisitGuardedExpr()