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