Home | History | Annotate | Download | only in Core

Lines Matching defs:SV

1011     SVal SV = State->getSVal(*I, LCtx);
1014     SymbolRef AS = SV.getAsLocSymbol();
1020     if (Optional<loc::MemRegionVal> Reg = SV.getAs<loc::MemRegionVal>()) {
1030   SVal SV = State->getSVal(CE, LCtx);
1031   SymbolRef RetSym = SV.getAsLocSymbol();