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

/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DPthreadLockChecker.cpp421 ProgramStateRef lockFail; local
424 std::tie(lockFail, lockSucc) = state->assume(*DefinedRetVal);
427 std::tie(lockSucc, lockFail) = state->assume(*DefinedRetVal);
432 assert(lockFail && lockSucc);
433 C.addTransition(lockFail);

Completed in 170 milliseconds