Searched refs:maskedFlags (Results 1 – 1 of 1) sorted by relevance
145 DefinedSVal maskedFlags = maskedFlagsUC.castAs<DefinedSVal>(); in CheckOpen() local149 std::tie(trueState, falseState) = state->assume(maskedFlags); in CheckOpen()