Searched refs:StOut (Results 1 – 1 of 1) sorted by relevance
89 ProgramStateRef StIn, StOut; in checkBind() local90 std::tie(StIn, StOut) = CM.assumeInclusiveRangeDual(State, *NV, Zero, One); in checkBind()93 emitReport(StOut, C); in checkBind()94 if (StIn && StOut && taint::isTainted(State, *NV)) in checkBind()95 emitReport(StOut, C, /*IsTainted=*/true); in checkBind()