Lines Matching full:sval
209 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
211 void checkLocation(SVal l, bool isLoad, const Stmt *S,
283 const Expr *SizeEx, SVal Init,
287 SVal SizeEx, SVal Init,
366 static bool SummarizeValue(raw_ostream &os, SVal V);
368 void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
370 void ReportFreeAlloca(CheckerContext &C, SVal ArgVal,
375 void ReportOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
717 const SVal V = State->getSVal(FlagsEx, C.getLocationContext());
728 SVal MaskedFlagsUC = C.getSValBuilder().evalBinOpNN(State, BO_And,
741 SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy);
900 SVal retVal = State->getSVal(E, C.getLocationContext());
1070 const Expr *SizeEx, SVal Init,
1082 SVal Size, SVal Init,
1132 SVal retVal = State->getSVal(E, C.getLocationContext());
1321 SVal ArgVal = State->getSVal(ArgExpr, C.getLocationContext());
1441 SVal RetVal = C.getSVal(ParentExpr);
1511 bool MallocChecker::SummarizeValue(raw_ostream &os, SVal V) {
1598 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal,
1644 void MallocChecker::ReportFreeAlloca(CheckerContext &C, SVal ArgVal,
1725 void MallocChecker::ReportOffsetFree(CheckerContext &C, SVal ArgVal,
1904 SVal Arg0Val = State->getSVal(arg0Expr, LCtx);
1920 SVal Arg1ValG = State->getSVal(Arg1, LCtx);
1953 SVal RetVal = State->getSVal(CE, LCtx);
2007 SVal count = State->getSVal(CE->getArg(0), LCtx);
2008 SVal elementSize = State->getSVal(CE->getArg(1), LCtx);
2009 SVal TotalSize = svalBuilder.evalBinOp(State, BO_Mul, count, elementSize,
2011 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);
2034 SVal Val = State->getSVal(MR);
2217 SVal ArgSVal = Call.getArgSVal(I);
2235 SVal RetVal = State->getSVal(E, C.getLocationContext());
2332 void MallocChecker::checkLocation(SVal l, bool isLoad, const Stmt *S,
2344 SVal Cond,
