Searched refs:StIn (Results 1 – 1 of 1) sorted by relevance
92 ProgramStateRef StIn, StOut; in checkBind() local93 std::tie(StIn, StOut) = CM.assumeInclusiveRangeDual(state, *NV, Zero, One); in checkBind()95 if (!StIn) in checkBind()97 if (StIn && StOut && taint::isTainted(state, *NV)) in checkBind()