Searched refs:StInfeasible (Results 1 - 1 of 1) sorted by relevance

/freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DConstraintManager.cpp70 ProgramStateRef StInfeasible = State->cloneAsPosteriorlyOverconstrained(); local
71 assert(StInfeasible->isPosteriorlyOverconstrained());
73 // cannot be null. Thus, we return StInfeasible for both branches because
79 return ProgramStatePair(StInfeasible, StInfeasible);

Completed in 102 milliseconds