Lines Matching defs:At
66 /// a particular mutex object at run-time. Subsequent occurrences of the same
325 if (LockReturnedAttr* At = MD->getAttr<LockReturnedAttr>()) {
332 return buildSExpr(At->getArg(), &LRCallCtx);
353 if (LockReturnedAttr* At = FD->getAttr<LockReturnedAttr>()) {
358 return buildSExpr(At->getArg(), &LRCallCtx);
770 /// \brief A FactEntry stores a single fact that is known at a particular point
772 /// that is held at that point.
802 /// \brief A FactSet is the set of facts that are known to be true at a
898 FactSet EntrySet; // Lockset held at entry to block
899 FactSet ExitSet; // Lockset held at exit from block
900 LocalVarContext EntryContext; // Context held at entry to block
901 LocalVarContext ExitContext; // Context held at exit from block
1243 // (excluding back-edges) are visited before the block itself. At
1245 // variable definitions which are visible at that point in execution.
1249 // At join points in the CFG, the set is computed as the intersection of
1358 // Put an extra entry at the end of the indexed context array
1387 // This block contains at least one statement. Find the source location
1489 // We need to look at the declaration of the type of the value to determine
1841 /// of at least the passed in AccessKind.
1870 // Warn that there's no match at all.
1972 /// or destructor call. This involves looking at the attributes on the
1989 Attr *At = const_cast<Attr*>(ArgAttrs[i]);
1990 switch (At->getKind()) {
1994 auto *A = cast<AcquireCapabilityAttr>(At);
2007 AssertExclusiveLockAttr *A = cast<AssertExclusiveLockAttr>(At);
2018 AssertSharedLockAttr *A = cast<AssertSharedLockAttr>(At);
2032 auto *A = cast<ReleaseCapabilityAttr>(At);
2045 RequiresCapabilityAttr *A = cast<RequiresCapabilityAttr>(At);
2053 LocksExcludedAttr *A = cast<LocksExcludedAttr>(At);
2236 /// This function is used at a merge point in the CFG when comparing the lockset
2240 /// two locksets at the start of D.
2337 /// at the end of each block, and issue warnings for thread safety violations.
2453 // Later we unlock M. At this point, we would output an error because we
2571 // the one held at the beginning of FirstLoopBlock. We can look up the
2572 // Lockset held at the beginning of FirstLoopBlock in the EntryLockSets map.
2630 /// at the end of each block, and issue warnings for thread safety violations.
