Home | History | Annotate | Download | only in Checkers

Lines Matching refs:svalBuilder

441     SValBuilder &svalBuilder = C.getSValBuilder();
442     DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
445         svalBuilder.evalEQ(state, Extent, DefinedSize);
729   SValBuilder &svalBuilder = C.getSValBuilder();
732     svalBuilder.evalEQ(state, arg0Val, svalBuilder.makeNull());
747     svalBuilder.evalEQ(state, Arg1Val,
748                        svalBuilder.makeIntValWithPtrWidth(0, false));
810   SValBuilder &svalBuilder = C.getSValBuilder();
814   SVal TotalSize = svalBuilder.evalBinOp(state, BO_Mul, count, elementSize,
815                                         svalBuilder.getContext().getSizeType());  
816   SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);