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