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