Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp390 ConditionTruthVal ProgramState::areEqual(SVal Lhs, SVal Rhs) const { in areEqual() function in ProgramState
391 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()
2574 inline std::optional<bool> EquivalenceClass::areEqual(ProgramStateRef State, in areEqual() function in EquivalenceClass
2577 return EquivalenceClass::areEqual(State, find(State, FirstSym), in areEqual()
2581 inline std::optional<bool> EquivalenceClass::areEqual(ProgramStateRef State, in areEqual() function in EquivalenceClass
H A DBugReporterVisitors.cpp341 .areEqual(State, ValueAtN, ValueAfter) in wasRegionOfInterestModifiedAt()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h141 ConditionTruthVal areEqual(ProgramStateRef state, SVal lhs, SVal rhs);
H A DProgramState.h268 ConditionTruthVal areEqual(SVal Lhs, SVal Rhs) const;