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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DPthreadLockChecker.cpp163 ProgramStateRef lockFail; local
166 std::tie(lockFail, lockSucc) = state->assume(retVal);
169 std::tie(lockSucc, lockFail) = state->assume(retVal);
174 assert(lockFail && lockSucc);
175 C.addTransition(lockFail);

Completed in 615 milliseconds