Searched refs:evalAssume (Results 1 – 4 of 4) sorted by relevance
217 ProgramStateRef evalAssume(ProgramStateRef State, in evalAssume() function in clang::ento::CheckerDocumentation
207 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,2335 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, in evalAssume() function in MallocChecker
2632 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,3670 ProgramStateRef RetainCountChecker::evalAssume(ProgramStateRef state, in evalAssume() function in RetainCountChecker
439 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption); in _evalAssume()