Home
last modified time | relevance | path

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

/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp377 ConditionTruthVal ProgramState::areEqual(SVal Lhs, SVal Rhs) const { in areEqual() function in ProgramState
378 return stateMgr->getSValBuilder().areEqual(this, Lhs, Rhs); in areEqual()
H A DRangeConstraintManager.cpp965 areEqual(ProgramStateRef State, EquivalenceClass First,
968 areEqual(ProgramStateRef State, SymbolRef First, SymbolRef Second);
1583 EquivalenceClass::areEqual(State, Sym->getLHS(), Sym->getRHS())) { in getRangeForEqualities()
2567 inline std::optional<bool> EquivalenceClass::areEqual(ProgramStateRef State, in areEqual() function in EquivalenceClass
2570 return EquivalenceClass::areEqual(State, find(State, FirstSym), in areEqual()
2574 inline std::optional<bool> EquivalenceClass::areEqual(ProgramStateRef State, in areEqual() function in EquivalenceClass
H A DSValBuilder.cpp536 ConditionTruthVal SValBuilder::areEqual(ProgramStateRef state, SVal lhs, in areEqual() function in SValBuilder
H A DBugReporterVisitors.cpp311 .areEqual(State, ValueAtN, ValueAfter) in wasRegionOfInterestModifiedAt()
/openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h129 ConditionTruthVal areEqual(ProgramStateRef state, SVal lhs, SVal rhs);
H A DProgramState.h268 ConditionTruthVal areEqual(SVal Lhs, SVal Rhs) const;