Searched refs:CapKind (Results 1 – 2 of 2) sorted by relevance
278 StringRef CapKind; variable283 : CapExpr(E, Neg), CapKind(Kind) {} in CapabilityExpr()289 StringRef getKind() const { return CapKind; } in getKind()293 return CapabilityExpr(CapExpr.getPointer(), CapKind, !CapExpr.getInt());
305 SourceLocation Loc, StringRef CapKind);1135 SourceLocation Loc, StringRef CapKind) { in checkBeforeAfter() argument1162 Analyzer.Handler.handleLockAcquiredBefore(CapKind, L1, L2, Loc); in checkBeforeAfter()