Searched defs:assume (Results 1 – 6 of 6) sorted by relevance
7 #define assume(x) \ macro14 #define assume(x) __CPROVER_assume(x) macro
95 #define assume(expr) \ macro101 #define assume(expr) ((expr) ? ((void) 0) \ macro105 #define assume(expr) __assume(expr) macro107 #define assume(expr) assert(expr) macro
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()
643 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function653 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function
266 enum assume { enum