Lines Matching defs:At

695 // (excluding back-edges) are visited before the block itself.  At
701 // At join points in the CFG, the set is computed as the intersection of
1115   for (const auto *At : Vd->attrs()) {
1116     switch (At->getKind()) {
1118         const auto *A = cast<AcquiredBeforeAttr>(At);
1134         const auto *A = cast<AcquiredAfterAttr>(At);
1846   for(const Attr *At : D->attrs()) {
1847     switch (At->getKind()) {
1851         const auto *A = cast<AcquireCapabilityAttr>(At);
1862         const auto *A = cast<AssertExclusiveLockAttr>(At);
1873         const auto *A = cast<AssertSharedLockAttr>(At);
1885         const auto *A = cast<AssertCapabilityAttr>(At);
1899         const auto *A = cast<ReleaseCapabilityAttr>(At);
1910         const auto *A = cast<RequiresCapabilityAttr>(At);
1923         const auto *A = cast<LocksExcludedAttr>(At);
1952       for (const Attr *At : Param->attrs()) {
1953         switch (At->getKind()) {
1955           const auto *A = cast<AcquireCapabilityAttr>(At);
1964           const auto *A = cast<ReleaseCapabilityAttr>(At);
1976           const auto *A = cast<RequiresCapabilityAttr>(At);
1986           const auto *A = cast<LocksExcludedAttr>(At);
2567     // Later we unlock M. At this point, we would output an error because we