Home
last modified time | relevance | path

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

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorRangeChecker.cpp293 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
294 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
295 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
352 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isLess() argument
353 return compare(State, Sym1, Sym2, BO_LT); in isLess()
356 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isGreater() argument
357 return compare(State, Sym1, Sym2, BO_GT); in isGreater()
360 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isEqual() argument
361 return compare(State, Sym1, Sym2, BO_EQ); in isEqual()
H A DIteratorModeling.cpp105 SymbolRef Sym1, SymbolRef Sym2, SVal RetVal,
165 SymbolRef Sym2, bool Equal);
506 SymbolRef Sym2, SVal RetVal, in processComparison() argument
509 if ((State = relateSymbols(State, Sym1, Sym2, in processComparison()
523 if (auto StateTrue = relateSymbols(State, Sym1, Sym2, Op == OO_EqualEqual)) { in processComparison()
528 if (auto StateFalse = relateSymbols(State, Sym1, Sym2, Op != OO_EqualEqual)) { in processComparison()
786 SymbolRef Sym2, bool Equal) { in relateSymbols() argument
796 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,
/src/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()