Searched refs:symVal (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp379 DefinedOrUnknownSVal symVal = UnknownVal(); local
399 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount);
401 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(),
427 State = State->assume(symVal, true);
435 const MemRegion *NewReg = symVal.castAs<loc::MemRegionVal>().getRegion();
449 SVal Result = symVal;

Completed in 103 milliseconds