Searched defs:assume (Results 1 – 3 of 3) sorted by relevance
68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, in assume() function in clang::ento::SimpleConstraintManager87 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, in assume() function in clang::ento::SimpleConstraintManager
115 void idcZero(int assume) { in idcZero()
635 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function645 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function