Searched refs:addToDisequalityInfo (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 1032 addToDisequalityInfo(DisequalityMapTy &Info, ConstraintRangeTy &Constraints,
2450 if (!addToDisequalityInfo(DisequalityInfo, Constraints, RF, State, *this, in markDisequal()
2452 !addToDisequalityInfo(DisequalityInfo, Constraints, RF, State, Other, in markDisequal()
2465 inline bool EquivalenceClass::addToDisequalityInfo( in addToDisequalityInfo() function in EquivalenceClass
|