Lines Matching defs:SVB
563 SValBuilder &SVB = getSValBuilder();565 SVal R = SVB.conjureSymbolVal(0, E, LCtx, ResultTy, Count);