Lines Matching refs:evalAssume
124 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,1145 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state,