Lines Matching full:lockset
478 // checks until it is removed from the lockset.
908 /// A Lockset maps each SExpr (defined above) to information about how it has
910 typedef llvm::ImmutableMap<SExpr, LockData> Lockset;
922 FactSet EntrySet; // Lockset held at entry to block
923 FactSet ExitSet; // Lockset held at exit from block
1488 /// \brief Add a new lock to the lockset, warning if the lock is already there.
1507 /// \brief Remove a lock from the lockset, warning if the lock is not there.
1676 /// \brief Find the lockset that holds on the edge between PredBlock
1744 /// CFGBlocks, and build up the lockset.
1745 /// An expression may cause us to add or remove locks from the lockset, or else
1935 // to our lockset with kind exclusive.
1943 // to our lockset with kind shared.
1950 // An assert will add a lock to the lockset, but will not generate
1977 // mutexes from the lockset, and flag a warning if they are not there.
2183 /// This function is used at a merge point in the CFG when comparing the lockset
2185 /// A; if () then B; else C; D; we need to check that the lockset after B and C
2189 /// \param FSet1 The first lockset.
2190 /// \param FSet2 The second lockset.
2334 // to initial lockset. Also turn off checking for lock and unlock functions.
2404 // Use the default initial lockset in case there are no predecessors.
2407 // Iterate through the predecessor blocks and warn if the lockset for all
2408 // predecessors is not the same. We take the entry lockset of the current
2442 // predecessor's lockset.
2467 // Process continue and break blocks. Assume that the lockset for the
2482 // might add to the lockset, in which case the real issue might be a
2533 // (FirstLoopBlock) we need to check that the Lockset of Block is equal to
2535 // Lockset held at the beginning of FirstLoopBlock in the EntryLockSets map.
