Lines Matching refs:getSValBuilder
558 X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType());561 X = getSValBuilder().makeIntVal(1, B->getType());566 X = getSValBuilder().makeIntVal(0, B->getType());617 V = getSValBuilder().makeZeroVal(T);