Lines Matching refs:getSVal

143   SVal AssertionVal = State->getSVal(Assertion, LC);  in getArgumentValueString()
202   const MemRegion *MR = C.getSVal(Arg).getAsRegion();  in getArgRegion()
258   SVal V = C.getSVal(Arg);  in analyzerExplain()
293   SVal V = C.getSVal(Arg);  in analyzerValue()
308   QualType Ty = C.getSVal(Arg).getType(C.getASTContext());  in analyzerDumpSValType()
318   SVal V = C.getSVal(Arg);  in analyzerDump()
329   SVal Size = getDynamicExtentWithOffset(State, C.getSVal(Arg));  in analyzerGetExtent()
342   SVal Size = getDynamicExtentWithOffset(State, C.getSVal(Arg));  in analyzerDumpExtent()
362       C.getState(), C.getSVal(getArgExpr(CE, C)), ElementTy);  in analyzerDumpElementCount()
377   SVal Val = C.getSVal(Arg);  in analyzerWarnOnDeadSymbol()
447   SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();  in analyzerDenote()
530   SVal ArgVal = C.getSVal(CE->getArg(0));  in analyzerExpress()