Searched refs:StOut (Results 1 – 1 of 1) sorted by relevance
88 ProgramStateRef StIn, StOut; in checkBind() local89 std::tie(StIn, StOut) = CM.assumeInclusiveRangeDual(state, *NV, Zero, One); in checkBind()92 emitReport(StOut, C); in checkBind()