Searched refs:stateGT (Results 1 – 1 of 1) sorted by relevance
134 ProgramStateRef stateGT, stateLE; in checkBind() local135 std::tie(stateLE, stateGT) = CM.assumeDual(state, *lessThanEqToOne); in checkBind()138 if (stateGT) { in checkBind()144 emitReport(stateGT, C); in checkBind()