HomeSort by: relevance | last modified time | path
    Searched refs:Sym1 (Results 1 - 6 of 6) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
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) {
354 return compare(State, Sym1, Sym2, BO_LT);
357 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) {
358 return compare(State, Sym1, Sym2, BO_GT);
361 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) {
362 return compare(State, Sym1, Sym2, BO_EQ);
IteratorModeling.cpp 104 SymbolRef Sym1, SymbolRef Sym2, const SVal &RetVal,
164 ProgramStateRef relateSymbols(ProgramStateRef State, SymbolRef Sym1,
509 ProgramStateRef State, SymbolRef Sym1,
513 if ((State = relateSymbols(State, Sym1, Sym2,
527 if (auto StateTrue = relateSymbols(State, Sym1, Sym2, Op == OO_EqualEqual)) {
532 if (auto StateFalse = relateSymbols(State, Sym1, Sym2, Op != OO_EqualEqual)) {
790 ProgramStateRef relateSymbols(ProgramStateRef State, SymbolRef Sym1,
800 SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Sym1),
Iterator.cpp 299 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2,
301 return compare(State, nonloc::SymbolVal(Sym1), nonloc::SymbolVal(Sym2), Opc);
Iterator.h 182 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2,
  /src/external/apache2/llvm/dist/llvm/lib/Target/Mips/
MipsMCInstLower.cpp 207 const MCSymbolRefExpr *Sym1 = MCSymbolRefExpr::create(BB1->getSymbol(), *Ctx);
209 const MCBinaryExpr *Sub = MCBinaryExpr::createSub(Sym1, Sym2, *Ctx);
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 107 bool haveSameType(const SymExpr *Sym1, const SymExpr *Sym2) {
108 return haveSameType(Sym1->getType(), Sym2->getType());

Completed in 27 milliseconds