Searched refs:isFeasible (Results 1 – 6 of 6) sorted by relevance
114 bool isFeasible = (*X != Adjusted); in assumeSymNE() local115 return isFeasible ? state : NULL; in assumeSymNE()134 bool isFeasible = (*X == Adjusted); in assumeSymEQ() local135 return isFeasible ? state : NULL; in assumeSymEQ()182 bool isFeasible = (*X >= V-Adjustment); in assumeSymGE() local183 return isFeasible ? state : NULL; in assumeSymGE()193 bool isFeasible = !isNotEqual(state, sym, Adjusted); in assumeSymGE() local198 return isFeasible ? AddEQ(state, sym, Adjusted) : NULL; in assumeSymGE()210 bool isFeasible = (*X <= V-Adjustment); in assumeSymLE() local211 return isFeasible ? state : NULL; in assumeSymLE()[all …]
110 bool isFeasible = b ? Assumption : !Assumption; in assumeAux() local111 return isFeasible ? state : NULL; in assumeAux()195 bool isFeasible = b ? Assumption : !Assumption; in assumeAux() local196 return isFeasible ? state : NULL; in assumeAux()
948 if (!builder.isFeasible(true) && !builder.isFeasible(false)) in processBranch()982 if (builder.isFeasible(true)) { in processBranch()990 if (builder.isFeasible(false)) { in processBranch()
626 if (!isFeasible(branch)) in generateNode()
2788 bool isFeasible; in evalSummary()2789 state = state.assume(loc::SymbolVal(Sym), true, isFeasible); in evalSummary()2790 assert(isFeasible && "Cannot assume fresh symbol is non-null."); in evalSummary()
325 bool isFeasible(bool branch) { in isFeasible() function