Searched refs:assumeSym (Results 1 - 5 of 5) sorted by relevance
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SimpleConstraintManager.h | 54 virtual ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
|
H A D | RangedConstraintManager.h | 149 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
|
H A D | SMTConstraintManager.h | 41 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | RangedConstraintManager.cpp | 23 ProgramStateRef RangedConstraintManager::assumeSym(ProgramStateRef State, function in class:clang::ento::RangedConstraintManager 134 return assumeSym(State, Sym, (Op == BO_NE ? true : false));
|
H A D | SimpleConstraintManager.cpp | 73 return assumeSym(State, Sym, Assumption);
|
Completed in 138 milliseconds