Searched refs:DisequalityInfo (Results 1 – 1 of 1) sorted by relevance
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | RangeConstraintManager.cpp | 1897 DisequalityMapTy DisequalityInfo = State->get<DisequalityMap>(); in mergeImpl() local
1919 ClassSet DisequalToOther = Other.getDisequalClasses(DisequalityInfo, CF); in mergeImpl()
1926 ClassSet DisequalToThis = getDisequalClasses(DisequalityInfo, CF); in mergeImpl()
1927 DisequalityInfo = DF.remove(DisequalityInfo, Other); in mergeImpl()
1936 *DisequalityInfo.lookup(DisequalClass); in mergeImpl()
1943 DisequalityInfo = DF.add(DisequalityInfo, DisequalClass, NewSet); in mergeImpl()
1946 DisequalityInfo = DF.add(DisequalityInfo, *this, DisequalToThis); in mergeImpl()
1947 State = State->set<DisequalityMap>(DisequalityInfo); in mergeImpl()
2004 DisequalityMapTy DisequalityInfo = State->get<DisequalityMap>(); in markDisequal() local
2009 if (!addToDisequalityInfo(DisequalityInfo, Constraints, RF, State, *this, in markDisequal()
[all …]
|