| H A D | ThreadSafety.cpp | 863 handleRemovalFromIntersection(const FactSet & FSet,FactManager & FactMan,SourceLocation JoinLoc,LockErrorKind LEK,ThreadSafetyHandler & Handler) const handleRemovalFromIntersection() argument
872 handleLock(FactSet & FSet,FactManager & FactMan,const FactEntry & entry,ThreadSafetyHandler & Handler) const handleLock() argument
878 handleUnlock(FactSet & FSet,FactManager & FactMan,const CapabilityExpr & Cp,SourceLocation UnlockLoc,bool FullyRemove,ThreadSafetyHandler & Handler) const handleUnlock() argument
922 handleRemovalFromIntersection(const FactSet & FSet,FactManager & FactMan,SourceLocation JoinLoc,LockErrorKind LEK,ThreadSafetyHandler & Handler) const handleRemovalFromIntersection() argument
938 handleLock(FactSet & FSet,FactManager & FactMan,const FactEntry & entry,ThreadSafetyHandler & Handler) const handleLock() argument
949 handleUnlock(FactSet & FSet,FactManager & FactMan,const CapabilityExpr & Cp,SourceLocation UnlockLoc,bool FullyRemove,ThreadSafetyHandler & Handler) const handleUnlock() argument
972 lock(FactSet & FSet,FactManager & FactMan,const CapabilityExpr & Cp,LockKind kind,SourceLocation loc,ThreadSafetyHandler * Handler) const lock() argument
986 unlock(FactSet & FSet,FactManager & FactMan,const CapabilityExpr & Cp,SourceLocation loc,ThreadSafetyHandler * Handler) const unlock() argument
1147 checkBeforeAfter(const ValueDecl * StartVd,const FactSet & FSet,ThreadSafetyAnalyzer & Analyzer,SourceLocation Loc,StringRef CapKind) checkBeforeAfter() argument
1259 addLock(FactSet & FSet,std::unique_ptr<FactEntry> Entry,bool ReqAttr) addLock() argument
1297 removeLock(FactSet & FSet,const CapabilityExpr & Cp,SourceLocation UnlockLoc,bool FullyRemove,LockKind ReceivedKind) removeLock() argument
1545 FactSet FSet; global() member in __anonf09bee240d11::BuildLockset
1592 warnIfMutexNotHeld(const FactSet & FSet,const NamedDecl * D,const Expr * Exp,AccessKind AK,Expr * MutexExp,ProtectedOperationKind POK,til::LiteralPtr * Self,SourceLocation Loc) warnIfMutexNotHeld() argument
1650 warnIfMutexHeld(const FactSet & FSet,const NamedDecl * D,const Expr * Exp,Expr * MutexExp,til::LiteralPtr * Self,SourceLocation Loc) warnIfMutexHeld() argument
1675 checkAccess(const FactSet & FSet,const Expr * Exp,AccessKind AK,ProtectedOperationKind POK) checkAccess() argument
1742 checkPtAccess(const FactSet & FSet,const Expr * Exp,AccessKind AK,ProtectedOperationKind POK) checkPtAccess() argument
[all...] |