Lines Matching full:getsval
717 const SVal V = State->getSVal(FlagsEx, C.getLocationContext());
885 State->getSVal(Arg, C.getLocationContext()).getAs<DefinedSVal>();
900 SVal retVal = State->getSVal(E, C.getLocationContext());
968 if (SymbolRef Sym = C.getSVal(*I).getAsSymbol())
993 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol())
1076 return MallocMemAux(C, CE, State->getSVal(SizeEx, C.getLocationContext()),
1132 SVal retVal = State->getSVal(E, C.getLocationContext());
1321 SVal ArgVal = State->getSVal(ArgExpr, C.getLocationContext());
1441 SVal RetVal = C.getSVal(ParentExpr);
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);
2034 SVal Val = State->getSVal(MR);
2235 SVal RetVal = State->getSVal(E, C.getLocationContext());
2265 cast<BlockDataRegion>(state->getSVal(BE,
