Searched refs:getConditionType (Results 1 – 6 of 6) sorted by relevance
87 svalBuilder.getConditionType()); in checkBind()123 svalBuilder.getConditionType()); in checkBind()
116 svalBuilder.getConditionType()); in checkLocation()148 svalBuilder.getConditionType()); in checkLocation()
456 QualType cmpTy = svalBuilder.getConditionType(); in CheckOverlap()573 QualType cmpTy = svalBuilder.getConditionType(); in checkAdditionOverflow()1193 QualType cmpTy = C.getSValBuilder().getConditionType(); in evalstrLengthCommon()1344 QualType cmpTy = svalBuilder.getConditionType(); in evalStrcpyCommon()
920 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()
126 QualType getConditionType() const { in getConditionType() function
468 resultTy == getConditionType()); in evalBinOpNN()471 getConditionType())); in evalBinOpNN()