Searched refs:DefinedRHS (Results 1 – 1 of 1) sorted by relevance
588 DefinedOrUnknownSVal DefinedRHS = RHSVal.castAs<DefinedOrUnknownSVal>(); in VisitLogicalExpr() local590 std::tie(StTrue, StFalse) = N->getState()->assume(DefinedRHS); in VisitLogicalExpr()