371   return State->assume(svalBuilder.evalEQ(State, *val, zero));  in REGISTER_MAP_WITH_PROGRAMSTATE()
702       state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));  in CheckOverlap()
723   std::tie(stateTrue, stateFalse) = state->assume(*reverseTest);  in CheckOverlap()
768   std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);  in CheckOverlap()
940       state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());  in checkAdditionOverflow()
1028       state = state->assume(evalLength.castAs<DefinedOrUnknownSVal>(), true);  in getCStringLengthForRegion()
1377         State->assume(svalBuilder.evalEQ(State, SizeDV, *SizeNL));  in memsetAux()
1420           State->assume(NewStrLenGESize.castAs<DefinedOrUnknownSVal>(), true),  in memsetAux()
1639         State->assume(Builder.evalEQ(State, LV, RV));  in evalMemcmp()
1746       std::tie(stateStringTooLong, stateStringNotTooLong) = state->assume(  in evalstrLengthCommon()
1770         state = state->assume(C.getSValBuilder().evalBinOpNN(  in evalstrLengthCommon()
1776         state = state->assume(C.getSValBuilder().evalBinOpNN(  in evalstrLengthCommon()
1950         std::tie(stateSourceTooLong, stateSourceNotTooLong) = state->assume(  in evalStrcpyCommon()
1991             state->assume(hasEnoughSpace.castAs<DefinedOrUnknownSVal>());  in evalStrcpyCommon()
2137           state = state->assume(sourceInResult.castAs<DefinedOrUnknownSVal>(),  in evalStrcpyCommon()
2151               state->assume(destInResult.castAs<DefinedOrUnknownSVal>(), true);  in evalStrcpyCommon()
2330   std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf);  in evalStrcmpCommon()
2409         state = state->assume(compareWithZeroVal, true);  in evalStrcmpCommon()