Searched defs:assume (Results 1 – 5 of 5) sorted by relevance
303 # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) macro305 # define assume(R) __assume (R) macro310 # define assume(R) ((R) ? (void) 0 : __builtin_trap ()) macro313 # 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
3263 assume (int arg ATTRIBUTE_UNUSED) in assume() function
3267 assume (int arg ATTRIBUTE_UNUSED) in assume() function