Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

Lines Matching defs:svalBuilder

881   SValBuilder &SvalBuilder = C.getSValBuilder();
883       SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>();
886       State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero));
1088   SValBuilder &svalBuilder = C.getSValBuilder();
1090   DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)
1104     SValBuilder &svalBuilder = C.getSValBuilder();
1105     DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
1107         svalBuilder.evalEQ(State, Extent, *DefinedSize);
1901   SValBuilder &svalBuilder = C.getSValBuilder();
1904     svalBuilder.evalEQ(State, arg0Val, svalBuilder.makeNull());
1919     svalBuilder.evalEQ(State, Arg1Val,
1920                        svalBuilder.makeIntValWithPtrWidth(0, false));
1997   SValBuilder &svalBuilder = C.getSValBuilder();
2001   SVal TotalSize = svalBuilder.evalBinOp(State, BO_Mul, count, elementSize,
2002                                         svalBuilder.getContext().getSizeType());
2003   SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);

OpenGrok