Searched refs:DefinedVal (Results 1 – 1 of 1) sorted by relevance
2632 const auto DefinedVal = TheValue.castAs<DefinedSVal>(); in reAssume() local2636 return State->assume(DefinedVal, false); in reAssume()2641 State = State->assume(DefinedVal, true); in reAssume()2648 return State->assumeInclusiveRange(DefinedVal, Constraint->getMinValue(), in reAssume()