Searched defs:assume (Results 1 – 10 of 10) sorted by relevance
7 #define assume(x) \ macro14 #define assume(x) __CPROVER_assume(x) macro
25 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume() function in clang::ento::SimpleConstraintManager44 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume() function in clang::ento::SimpleConstraintManager
96 #define assume(expr) \ macro102 #define assume(expr) ((expr) ? ((void) 0) \ macro106 #define assume(expr) __assume(expr) macro108 #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
272 enum assume { enum
666 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function676 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function
336 FMT_INLINE void assume(bool condition) { in assume() function