reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
90 void DestroyLock(CheckerContext &C, const CallExpr *CE, SVal Lock,
141 DestroyLock(C, CE, C.getSVal(CE->getArg(0)), PthreadSemantics); 143 DestroyLock(C, CE, C.getSVal(CE->getArg(0)), XNUSemantics);