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

/freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DPthreadLockChecker.cpp425 ProgramStateRef lockSucc = state; local
433 std::tie(lockFail, lockSucc) = state->assume(*DefinedRetVal);
436 std::tie(lockSucc, lockFail) = state->assume(*DefinedRetVal);
441 assert(lockFail && lockSucc);
452 lockSucc = state->assume(*DefinedRetVal, false);
453 assert(lockSucc);
460 lockSucc = state;
464 lockSucc = lockSucc->add<LockSet>(lockR);
465 lockSucc
[all...]

Completed in 140 milliseconds