Lines Matching refs:EXCLUDES

281 EXCLUDES(...)
286 ``EXCLUDES`` is an attribute on functions or methods, which declares that
296   void clear() EXCLUDES(mu) {
308 Unlike ``REQUIRES``, ``EXCLUDES`` is optional.  The analysis will not issue a
497 and the EXCLUDES attribute prevents deadlock, by making sure that a mutex is
500 However, EXCLUDES is an optional attribute, and does not provide the same
507 As a result, EXCLUDES can easily produce false negatives:
521     void bar() {       // No warning.  (Should have EXCLUDES(mu)).
528       bif();           // No warning.  (Should have EXCLUDES(mu)).
531     void bif() EXCLUDES(mu);
535 Negative requirements are an alternative EXCLUDES that provide
540 For example, using ``REQUIRES(!mu)`` instead of ``EXCLUDES(mu)`` will produce
843   #define EXCLUDES(...) \
931     MutexLocker(Mutex *mu, defer_lock_t) EXCLUDES(mu) : mut(mu), locked(false) {}