Searched refs:PthreadSemantics (Results 1 – 1 of 1) sorted by relevance
78 PthreadSemantics, enumerator122 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), false, PthreadSemantics); in REGISTER_LIST_WITH_PROGRAMSTATE()131 true, PthreadSemantics); in REGISTER_LIST_WITH_PROGRAMSTATE()142 DestroyLock(C, CE, C.getSVal(CE->getArg(0)), PthreadSemantics); in REGISTER_LIST_WITH_PROGRAMSTATE()260 case PthreadSemantics: in AcquireLock()272 } else if (semantics == PthreadSemantics) { in AcquireLock()364 if (semantics == PthreadSemantics) { in DestroyLock()