Searched refs:stateLT (Results 1 – 1 of 1) sorted by relevance
98 ProgramStateRef stateLT, stateGE; in checkBind() local99 std::tie(stateGE, stateLT) = CM.assumeDual(state, *greaterThanEqualToZero); in checkBind()102 if (stateLT) { in checkBind()108 emitReport(stateLT, C); in checkBind()