Searched refs:getConditionType (Results 1 – 9 of 9) sorted by relevance
87 svalBuilder.getConditionType()); in checkBind()123 svalBuilder.getConditionType()); in checkBind()
116 svalBuilder.getConditionType()); in checkLocation()148 svalBuilder.getConditionType()); in checkLocation()
473 QualType cmpTy = svalBuilder.getConditionType(); in CheckOverlap()590 QualType cmpTy = svalBuilder.getConditionType(); in checkAdditionOverflow()1292 QualType cmpTy = C.getSValBuilder().getConditionType(); in evalstrLengthCommon()1445 QualType cmpTy = svalBuilder.getConditionType(); in evalStrcpyCommon()1890 svalBuilder.getConditionType()); in evalStrcmpCommon()
960 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()
398 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType()) in evalEQ()457 QualType CmpTy = getConditionType(); in evalIntegralCast()
468 resultTy == getConditionType()); in evalBinOpNN()471 getConditionType())); in evalBinOpNN()
134 svalBuilder.getConditionType()); in getInitialState()
131 QualType getConditionType() const { in getConditionType() function
5358 Type *getConditionType() const { in getConditionType() function in __anon179022771a11::HorizontalReduction::OperationData