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