Searched defs:assume (Results 1 – 8 of 8) sorted by relevance
298 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro300 # define assume(R) __assume (R) macro305 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro308 # define assume(R) ((R) ? (void) 0 : /*NOTREACHED*/ (void) 0) 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
666 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function676 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function
2901 assume (int arg ATTRIBUTE_UNUSED) in assume() function
3216 assume (int arg ATTRIBUTE_UNUSED) in assume() function
3263 assume (int arg ATTRIBUTE_UNUSED) in assume() function