Home | History | Annotate | Download | only in Analysis

Lines Matching full:held

746   /// \brief LKind stores whether a lock is held shared or exclusively.
789 /// that is held at that point.
922 FactSet EntrySet; // Lockset held at entry to block
923 FactSet ExitSet; // Lockset held at exit from block
924 LocalVarContext EntryContext; // Context held at entry to block
925 LocalVarContext ExitContext; // Context held at exit from block
1554 // The mutex held is the "this" object.
1678 /// as the ExitSet parameter) plus any trylocks, which are conditionally held.
1861 /// marked with guarded_by, we must ensure the appropriate mutexes are held.
1921 /// and check that the appropriate locks are held. Non-const method calls with
2228 // underlying mutex is still held, then warn about the underlying
2252 // underlying mutex is still held, then warn about the underlying
2288 /// We traverse the blocks in the CFG, compute the set of mutexes that are held
2534 // the one held at the beginning of FirstLoopBlock. We can look up the
2535 // Lockset held at the beginning of FirstLoopBlock in the EntryLockSets map.
2560 // By default, we expect all locks held on entry to be held on exit.
2595 /// We traverse the blocks in the CFG, compute the set of mutexes that are held