Lines Matching full:sharedlocksacquired
2330 MutexIDList SharedLocksAcquired;
2377 getMutexIDs(SharedLocksAcquired, A, (Expr*) 0, D);
2571 for (unsigned i=0,n=SharedLocksAcquired.size(); i<n; ++i) {
2572 ExpectedExitSet.addLock(FactMan, SharedLocksAcquired[i],
