Searched refs:processAssume (Results 1 – 4 of 4) sorted by relevance
115 virtual ProgramStateRef processAssume(ProgramStateRef state,
278 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,
92 return SU->processAssume(state, cond, assumption); in assume()
260 ProgramStateRef ExprEngine::processAssume(ProgramStateRef state, in processAssume() function in ExprEngine