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