Home | History | Annotate | Download | only in Checkers

Lines Matching full:sval

73   bool PreVisitProcessArg(CheckerContext &C, SVal V, SourceRange ArgRange,
91   bool uninitRefOrPointer(CheckerContext &C, const SVal &V,
140                                                const SVal &V,
170     const SVal PSV = State->getSVal(SValMemRegion);
188                                                SVal V,
250               const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR));
311   SVal L = State->getSVal(Callee, LCtx);
338   SVal Arg = C.getSVal(DE->getArgument());
367     SVal V = CC->getCXXThisVal();
444   SVal recVal = msg.getReceiverSVal();
543     SVal V = C.getSValBuilder().makeZeroVal(RetTy);
581     SVal V = C.getSValBuilder().makeZeroVal(RetTy);