Searched refs:assumeSymRel (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 41 return assumeSymRel(State, SIE->getLHS(), op, SIE->getRHS()); in assumeSym()
46 return assumeSymRel(State, SIE, (Assumption ? BO_NE : BO_EQ), Zero); in assumeSym()
72 return assumeSymRel(State, Subtraction, Op, Zero); in assumeSym()
152 ProgramStateRef RangedConstraintManager::assumeSymRel(ProgramStateRef State, in assumeSymRel() function in clang::ento::RangedConstraintManager
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | RangedConstraintManager.h | 431 virtual ProgramStateRef assumeSymRel(ProgramStateRef State, SymbolRef Sym,
|