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