Searched refs:Sym2 (Results 1 – 6 of 6) sorted by relevance
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | IteratorRangeChecker.cpp | 294 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
295 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
296 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
353 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isLess() argument
354 return compare(State, Sym1, Sym2, BO_LT); in isLess()
357 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isGreater() argument
358 return compare(State, Sym1, Sym2, BO_GT); in isGreater()
361 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isEqual() argument
362 return compare(State, Sym1, Sym2, BO_EQ); in isEqual()
|
| D | IteratorModeling.cpp | 104 SymbolRef Sym1, SymbolRef Sym2, const SVal &RetVal,
165 SymbolRef Sym2, bool Equal);
510 SymbolRef Sym2, const SVal &RetVal, in processComparison() argument
513 if ((State = relateSymbols(State, Sym1, Sym2, in processComparison()
527 if (auto StateTrue = relateSymbols(State, Sym1, Sym2, Op == OO_EqualEqual)) { in processComparison()
532 if (auto StateFalse = relateSymbols(State, Sym1, Sym2, Op != OO_EqualEqual)) { in processComparison()
791 SymbolRef Sym2, bool Equal) { in relateSymbols() argument
801 nonloc::SymbolVal(Sym2), SVB.getConditionType()); in relateSymbols()
|
| D | Iterator.cpp | 299 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2, in compare() argument
301 return compare(State, nonloc::SymbolVal(Sym1), nonloc::SymbolVal(Sym2), Opc); in compare()
|
| D | Iterator.h | 182 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2,
|
| /freebsd-12-stable/contrib/llvm-project/llvm/lib/Target/Mips/ |
| D | MipsMCInstLower.cpp | 208 const MCSymbolRefExpr *Sym2 = MCSymbolRefExpr::create(BB2->getSymbol(), *Ctx); in createSub() local
209 const MCBinaryExpr *Sub = MCBinaryExpr::createSub(Sym1, Sym2, *Ctx); in createSub()
|
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 107 bool haveSameType(const SymExpr *Sym1, const SymExpr *Sym2) { in haveSameType() argument
108 return haveSameType(Sym1->getType(), Sym2->getType()); in haveSameType()
|