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