Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp2162 ProgramStateRef LVState = LVNode->getState(); in handle() local
2173 bool LVIsNull = LVState->isNull(LVal).isConstrainedTrue(); in handle()
2191 SVal V = LVState->getRawSVal(loc::MemRegionVal(R)); in handle()
2208 if (LVState->isNull(V).isConstrainedTrue()) in handle()
2328 ProgramStateRef LVState = LVNode->getState(); in handle() local
2335 SVal V = LVState->getSValAsScalarOrLoc(Inner, LVNode->getLocationContext()); in handle()
2355 RVal = LVState->getRawSVal(*L, Inner->getType()); in handle()
2357 RVal = LVState->getSVal(L->getRegion()); in handle()