Home | History | Annotate | Download | only in Core

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);