Home
last modified time | relevance | path

Searched defs:markDisequal (Results 1 – 1 of 1) sorted by relevance

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp1781 inline ProgramStateRef EquivalenceClass::markDisequal(BasicValueFactory &VF, in markDisequal() function in EquivalenceClass
1789 inline ProgramStateRef EquivalenceClass::markDisequal(BasicValueFactory &VF, in markDisequal() function in EquivalenceClass
1798 EquivalenceClass::markDisequal(BasicValueFactory &VF, RangeSet::Factory &RF, in markDisequal() function in EquivalenceClass