Home
last modified time | relevance | path

Searched refs:assumeSym (Results 1 – 4 of 4) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h44 virtual ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
H A DRangedConstraintManager.h418 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
H A DSMTConstraintManager.h47 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp23 ProgramStateRef RangedConstraintManager::assumeSym(ProgramStateRef State, in assumeSym() function in clang::ento::RangedConstraintManager
167 return assumeSym(State, Sym, (Op == BO_NE ? true : false)); in assumeSymRel()