Lines Matching full:getsval
185 state->getSVal(SizeEx, C.getLocationContext()),
613 SVal retVal = state->getSVal(CE, C.getLocationContext());
684 SVal ArgVal = State->getSVal(ArgExpr, C.getLocationContext());
776 SVal RetVal = C.getSVal(ParentExpr);
1000 SVal Arg0Val = state->getSVal(arg0Expr, LCtx);
1016 SVal Arg1ValG = state->getSVal(Arg1, LCtx);
1049 SVal RetVal = state->getSVal(CE, LCtx);
1100 SVal count = state->getSVal(CE->getArg(0), LCtx);
1101 SVal elementSize = state->getSVal(CE->getArg(1), LCtx);
1127 SVal Val = State->getSVal(MR);
1256 SymbolRef Sym = C.getSVal(A).getAsSymbol();
1272 SVal RetVal = State->getSVal(E, C.getLocationContext());
1302 cast<BlockDataRegion>(state->getSVal(BE,
