Searched refs:RVNode (Results 1 – 1 of 1) sorted by relevance
2577 const ExplodedNode *RVNode = findNodeForExpression(ExprNode, E); in handle() local2578 if (!RVNode) in handle()2604 ProgramStateRef RVState = RVNode->getState(); in handle()2605 SVal V = RVState->getSValAsScalarOrLoc(E, RVNode->getLocationContext()); in handle()2611 SVal RHSV = RVState->getSVal(BO->getRHS(), RVNode->getLocationContext()); in handle()2612 SVal LHSV = RVState->getSVal(BO->getLHS(), RVNode->getLocationContext()); in handle()