Searched refs:markDisequal (Results 1 – 1 of 1) sorted by relevance
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| D | RangeConstraintManager.cpp | 950 markDisequal(RangeSet::Factory &F, ProgramStateRef State, SymbolRef First,
953 markDisequal(RangeSet::Factory &F, ProgramStateRef State,
956 markDisequal(RangeSet::Factory &F, ProgramStateRef State,
2155 return EquivalenceClass::markDisequal(RangeFactory, State, LHS, RHS); in trackDisequality()
2483 inline ProgramStateRef EquivalenceClass::markDisequal(RangeSet::Factory &RF, in markDisequal() function in EquivalenceClass
2487 return markDisequal(RF, State, find(State, First), find(State, Second)); in markDisequal()
2490 inline ProgramStateRef EquivalenceClass::markDisequal(RangeSet::Factory &RF, in markDisequal() function in EquivalenceClass
2494 return First.markDisequal(RF, State, Second); in markDisequal()
2498 EquivalenceClass::markDisequal(RangeSet::Factory &RF, ProgramStateRef State, in markDisequal() function in EquivalenceClass
|