Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorRangeChecker.cpp288 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
289 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
290 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
347 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isLess() argument
348 return compare(State, Sym1, Sym2, BO_LT); in isLess()
351 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isGreater() argument
352 return compare(State, Sym1, Sym2, BO_GT); in isGreater()
355 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isEqual() argument
356 return compare(State, Sym1, Sym2, BO_EQ); in isEqual()
H A DIteratorModeling.cpp105 SymbolRef Sym1, SymbolRef Sym2, SVal RetVal,
164 SymbolRef Sym2, bool Equal);
505 SymbolRef Sym2, SVal RetVal, in processComparison() argument
508 if ((State = relateSymbols(State, Sym1, Sym2, in processComparison()
522 if (auto StateTrue = relateSymbols(State, Sym1, Sym2, Op == OO_EqualEqual)) { in processComparison()
527 if (auto StateFalse = relateSymbols(State, Sym1, Sym2, Op != OO_EqualEqual)) { in processComparison()
785 SymbolRef Sym2, bool Equal) { in relateSymbols() argument
795 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
H A DIterator.cpp297 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2, in compare() argument
299 return compare(State, nonloc::SymbolVal(Sym1), nonloc::SymbolVal(Sym2), Opc); in compare()
H A DIterator.h175 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2,
/freebsd-14.2/contrib/llvm-project/llvm/lib/Target/Mips/
H A DMipsMCInstLower.cpp207 const MCSymbolRefExpr *Sym2 = MCSymbolRefExpr::create(BB2->getSymbol(), *Ctx); in createSub() local
208 const MCBinaryExpr *Sub = MCBinaryExpr::createSub(Sym1, Sym2, *Ctx); in createSub()