Home | History | Annotate | Download | only in Checkers

Lines Matching full:getsval

296     SVal InitialVal = State->getSVal(LValLoc.getValue());
961   SVal CurrentValInIvar = State->getSVal(LValLoc.getValue());
987   SelfValOut = State->getSVal(State->getRegion(SelfDecl, LCtx));