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