Lines Matching refs: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 symbols3379 // probably small and evalAssume is only called at branches and a few