Home
last modified time | relevance | path

Searched refs:areEqual (Results 1 – 6 of 6) sorted by relevance

/netbsd/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp373 ConditionTruthVal ProgramState::areEqual(SVal Lhs, SVal Rhs) const { in areEqual() function in ProgramState
374 return stateMgr->getSValBuilder().areEqual(this, Lhs, Rhs); in areEqual()
H A DRangeConstraintManager.cpp585 areEqual(ProgramStateRef State, SymbolRef First, SymbolRef Second);
1183 if (Optional<bool> AreEqual = EquivalenceClass::areEqual( in getRangeForEqualities()
1868 inline Optional<bool> EquivalenceClass::areEqual(ProgramStateRef State, in areEqual() function in EquivalenceClass
H A DSValBuilder.cpp454 ConditionTruthVal SValBuilder::areEqual(ProgramStateRef state, SVal lhs, in areEqual() function in SValBuilder
H A DBugReporterVisitors.cpp306 .areEqual(State, ValueAtN, ValueAfter) in wasRegionOfInterestModifiedAt()
/netbsd/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h162 ConditionTruthVal areEqual(ProgramStateRef state, SVal lhs, SVal rhs);
H A DProgramState.h226 ConditionTruthVal areEqual(SVal Lhs, SVal Rhs) const;