Lines Matching defs:evalAssume
2467 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
3371 ProgramStateRef RetainCountChecker::evalAssume(ProgramStateRef state,
3375 // FIXME: We may add to the interface of evalAssume the list of symbols
3379 // probably small and evalAssume is only called at branches and a few
