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

/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp435 DefinedOrUnknownSVal symVal = UnknownVal(); local
455 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount);
457 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(),
483 State = State->assume(symVal, true);
491 const MemRegion *NewReg = symVal.castAs<loc::MemRegionVal>().getRegion();
505 SVal Result = symVal;

Completed in 69 milliseconds