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