Searched refs:RVNode (Results 1 – 1 of 1) sorted by relevance
2019 const ExplodedNode *RVNode = findNodeForExpression(InputNode, E); in trackRValueExpression() local2020 if (!RVNode) in trackRValueExpression()2022 ProgramStateRef RVState = RVNode->getState(); in trackRValueExpression()2023 SVal V = RVState->getSValAsScalarOrLoc(E, RVNode->getLocationContext()); in trackRValueExpression()2032 SVal RHSV = RVState->getSVal(BO->getRHS(), RVNode->getLocationContext()); in trackRValueExpression()2033 SVal LHSV = RVState->getSVal(BO->getLHS(), RVNode->getLocationContext()); in trackRValueExpression()