Searched refs:Sym1 (Results 1 - 6 of 6) sorted by relevance
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | IteratorRangeChecker.cpp | 194 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2); 195 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2); 196 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2); 253 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { argument 254 return compare(State, Sym1, Sym2, BO_LT); 257 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { argument 258 return compare(State, Sym1, Sym2, BO_GT); 261 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { argument 262 return compare(State, Sym1, Sym2, BO_EQ);
|
H A D | Iterator.cpp | 207 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2, argument 209 return compare(State, nonloc::SymbolVal(Sym1), nonloc::SymbolVal(Sym2), Opc);
|
H A D | Iterator.h | 166 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2,
|
H A D | IteratorModeling.cpp | 94 SymbolRef Sym1, SymbolRef Sym2, const SVal &RetVal, 195 ProgramStateRef relateSymbols(ProgramStateRef State, SymbolRef Sym1, 555 ProgramStateRef State, SymbolRef Sym1, 559 if ((State = relateSymbols(State, Sym1, Sym2, 573 if (auto StateTrue = relateSymbols(State, Sym1, Sym2, Op == OO_EqualEqual)) { 578 if (auto StateFalse = relateSymbols(State, Sym1, Sym2, Op != OO_EqualEqual)) { 1425 ProgramStateRef relateSymbols(ProgramStateRef State, SymbolRef Sym1, argument 1435 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1), 554 processComparison(CheckerContext &C, ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2, const SVal &RetVal, OverloadedOperatorKind Op) const argument
|
/freebsd-12-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-12-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 127 milliseconds