Searched refs:PthreadSemantics (Results 1 – 1 of 1) sorted by relevance
32 PthreadSemantics, enumerator78 AcquireLock(C, CE, state->getSVal(CE->getArg(0)), false, PthreadSemantics); in checkPostStmt()86 AcquireLock(C, CE, state->getSVal(CE->getArg(0)), true, PthreadSemantics); in checkPostStmt()135 case PthreadSemantics: in AcquireLock()148 } else if (semantics == PthreadSemantics) { in AcquireLock()