Searched refs:assumeSym (Results 1 – 5 of 5) sorted by relevance
| /openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SimpleConstraintManager.h | 44 virtual ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
|
| D | RangedConstraintManager.h | 418 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
|
| D | SMTConstraintManager.h | 44 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| D | RangedConstraintManager.cpp | 23 ProgramStateRef RangedConstraintManager::assumeSym(ProgramStateRef State, in assumeSym() function in clang::ento::RangedConstraintManager
167 return assumeSym(State, Sym, (Op == BO_NE ? true : false)); in assumeSymRel()
|
| D | SimpleConstraintManager.cpp | 74 return assumeSym(State, Sym, Assumption); in assumeAux()
|