Searched refs:Sym1 (Results 1 - 6 of 6) sorted by relevance
| /freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorRangeChecker.cpp | 292 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
293 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
294 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
351 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { argument
352 return compare(State, Sym1, Sym2, BO_LT);
355 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { argument
356 return compare(State, Sym1, Sym2, BO_GT);
359 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { argument
360 return compare(State, Sym1, Sym2, BO_EQ);
|
| H A D | IteratorModeling.cpp | 104 SymbolRef Sym1, SymbolRef Sym2, const SVal &RetVal,
164 ProgramStateRef relateSymbols(ProgramStateRef State, SymbolRef Sym1,
478 ProgramStateRef State, SymbolRef Sym1,
482 if ((State = relateSymbols(State, Sym1, Sym2,
496 if (auto StateTrue = relateSymbols(State, Sym1, Sym2, Op == OO_EqualEqual)) {
501 if (auto StateFalse = relateSymbols(State, Sym1, Sym2, Op != OO_EqualEqual)) {
753 ProgramStateRef relateSymbols(ProgramStateRef State, SymbolRef Sym1, argument
763 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1),
477 processComparison(CheckerContext &C, ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2, const SVal &RetVal, OverloadedOperatorKind Op) const argument
|
| H A D | Iterator.cpp | 299 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2, argument
301 return compare(State, nonloc::SymbolVal(Sym1), nonloc::SymbolVal(Sym2), Opc);
|
| H A D | Iterator.h | 182 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2,
|
| /freebsd-13-stable/contrib/llvm-project/llvm/lib/Target/Mips/ |
| H A D | MipsMCInstLower.cpp | 207 const MCSymbolRefExpr *Sym1 = MCSymbolRefExpr::create(BB1->getSymbol(), *Ctx); local
209 const MCBinaryExpr *Sub = MCBinaryExpr::createSub(Sym1, Sym2, *Ctx);
|
| /freebsd-13-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 93 bool haveSameType(const SymExpr *Sym1, const SymExpr *Sym2) { argument
94 return haveSameType(Sym1->getType(), Sym2->getType());
|
Completed in 113 milliseconds