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