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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DPthreadLockChecker.cpp160 ProgramStateRef lockSucc = state; local
166 std::tie(lockFail, lockSucc) = state->assume(retVal);
169 std::tie(lockSucc, lockFail) = state->assume(retVal);
174 assert(lockFail && lockSucc);
179 lockSucc = state->assume(retVal, false);
180 assert(lockSucc);
185 lockSucc = state;
189 lockSucc = lockSucc->add<LockSet>(lockR);
190 lockSucc
[all...]

Completed in 127 milliseconds