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

/external/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp964 ProgramStateRef LVState = LVNode->getState(); local
965 SVal LVal = LVState->getSVal(Inner, LVNode->getLocationContext());
967 if (LVState->isNull(LVal).isConstrainedTrue()) {
975 R = LVState->getSVal(Inner, LVNode->getLocationContext()).getAsRegion();
989 SVal V = LVState->getRawSVal(loc::MemRegionVal(R));
1005 LVState->isNull(*DV).isConstrainedTrue() &&

Completed in 78 milliseconds