Lines Matching refs:EXCLUDES

278 EXCLUDES(...)
283 ``EXCLUDES`` is an attribute on functions or methods, which declares that
293   void clear() EXCLUDES(mu) {
305 Unlike ``REQUIRES``, ``EXCLUDES`` is optional.  The analysis will not issue a
466 and the EXCLUDES attribute prevents deadlock, by making sure that a mutex is
469 However, EXCLUDES is an optional attribute, and does not provide the same
476 As a result, EXCLUDES can easily produce false negatives:
490     void bar() {       // No warning.  (Should have EXCLUDES(mu)).
497       bif();           // No warning.  (Should have EXCLUDES(mu)).
500     void bif() EXCLUDES(mu);
504 Negative requirements are an alternative EXCLUDES that provide
509 For example, using ``REQUIRES(!mu)`` instead of ``EXCLUDES(mu)`` will produce
811   #define EXCLUDES(...) \