Searched refs:lockFail (Results 1 - 1 of 1) sorted by relevance

/freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DPthreadLockChecker.cpp430 ProgramStateRef lockFail; local
433 std::tie(lockFail, lockSucc) = state->assume(*DefinedRetVal);
436 std::tie(lockSucc, lockFail) = state->assume(*DefinedRetVal);
441 assert(lockFail && lockSucc);
442 C.addTransition(lockFail);

Completed in 167 milliseconds