Searched refs:SvalBuilder (Results 1 – 3 of 3) sorted by relevance
955 SValBuilder &SvalBuilder = C.getSValBuilder(); in assumeCollectionNonEmpty() local957 SvalBuilder.evalBinOp(State, BO_GT, in assumeCollectionNonEmpty()959 SvalBuilder.makeIntVal(0, (*CountS)->getType()), in assumeCollectionNonEmpty()960 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()
1057 SValBuilder &SvalBuilder = C.getSValBuilder(); in evalCopyCommon() local1058 ASTContext &Ctx = SvalBuilder.getContext(); in evalCopyCommon()1060 loc::MemRegionVal DestRegCharVal = SvalBuilder.evalCast(destRegVal, in evalCopyCommon()
892 SValBuilder &SvalBuilder = C.getSValBuilder(); in ProcessZeroAllocation() local894 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocation()897 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocation()