Searched refs:LockSet (Results 1 – 2 of 2) sorted by relevance
77 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *) in REGISTER_LIST_WITH_PROGRAMSTATE() argument188 lockSucc = lockSucc->add<LockSet>(lockR); in AcquireLock()221 LockSetTy LS = state->get<LockSet>(); in ReleaseLock()241 state = state->set<LockSet>(LS.getTail()); in ReleaseLock()
1362 C Ledu/umd/cs/findbugs/ba/Dataflow<Ledu/umd/cs/findbugs/ba/LockSet;Ledu/umd/cs/findbugs/ba/LockAnal…1369 C Ledu/umd/cs/findbugs/ba/DataflowTestDriver<Ledu/umd/cs/findbugs/ba/LockSet;Ledu/umd/cs/findbugs/b…1377 C Ledu/umd/cs/findbugs/ba/ForwardDataflowAnalysis<Ledu/umd/cs/findbugs/ba/LockSet;>;1490 …assfile/Method;)Ledu/umd/cs/findbugs/ba/Dataflow<Ledu/umd/cs/findbugs/ba/LockSet;Ledu/umd/cs/findb…1648 T Ledu/umd/cs/findbugs/ba/DataflowTestDriver<Ledu/umd/cs/findbugs/ba/LockSet;Ledu/umd/cs/findbugs/b…