Lines Matching defs:int
37 void LockWhen(const int &cond) __attribute__((exclusive_lock_function));
94 T& operator[](int i) const { return ptr_[i]; }
132 T& operator[](int i);
133 const T& operator[](int i) const;
144 int sls_guard_var __attribute__((guarded_var)) = 0;
145 int sls_guardby_var __attribute__((guarded_by(sls_mu))) = 0;
152 int x __attribute__((guarded_by(mu)));
166 int x = sls_guard_var;
184 int x = sls_guardby_var;
411 operator int*() {
421 int *pgb_gvar __attribute__((pt_guarded_var));
422 int *pgb_var __attribute__((pt_guarded_by(sls_mu)));
426 int x;
427 int *pgb_field __attribute__((guarded_by(sls_mu2)))
443 int gb_field __attribute__((guarded_by(sls_mu)));
459 int x = *pgb_var;
470 int x;
475 int *x = pgb_var;
484 int x = sls_guard_var; // \
494 int x = sls_guardby_var; // \
504 int x = *pgb_gvar; // \
514 int x = *pgb_var; // \
541 int a __attribute__((guarded_by(mu)));
542 int b;
555 int c __attribute__((guarded_by(mu)));
562 int a_ __attribute__((guarded_by(mu1_)));
563 int b_;
564 int *q __attribute__((pt_guarded_by(mu)));
603 int res = b1.a_ + b3->b_;
676 int x = sls_guardby_var;
875 static int func1() EXCLUSIVE_LOCKS_REQUIRED(mu1_);
876 static int b_ GUARDED_BY(mu1_);
878 static int a_ GUARDED_BY(mu1_);
883 int Bar::func1()
885 int res = 5;
900 int a_ GUARDED_BY(mu1_);
901 int b_;
902 int *q PT_GUARDED_BY(mu);
907 int *p GUARDED_BY(mu) PT_GUARDED_BY(mu);
908 int res GUARDED_BY(mu) = 5;
910 int func(int i)
912 int x;
935 int method1(int i) SHARED_LOCKS_REQUIRED(mu2) EXCLUSIVE_LOCKS_REQUIRED(mu1);
938 int Foo::method1(int i) {
943 int foo(int i) EXCLUSIVE_LOCKS_REQUIRED(mu2) SHARED_LOCKS_REQUIRED(mu1);
944 int foo(int i) {
948 static int bar(int i) EXCLUSIVE_LOCKS_REQUIRED(mu1);
949 static int bar(int i) {
972 void func1(int y) LOCKS_EXCLUDED(mu_);
997 int GetA() EXCLUSIVE_LOCKS_REQUIRED(foo_->mu_) { return a_; }
998 int a_ GUARDED_BY(foo_->mu_);
1005 int x;
1075 return MyFlags(static_cast<int>(a) | static_cast<int>(b));
1093 int method1(int i) SHARED_LOCKS_REQUIRED(mu1, mu, mu2);
1094 int data GUARDED_BY(mu1);
1099 int Foo::method1(int i)
1144 Foo<int> *foo;
1152 int a = 0;
1160 int func() {
1171 int x;
1172 int y;
1228 int g GUARDED_BY(mu1);
1229 int w GUARDED_BY(mu2);
1234 int foo() SHARED_LOCKS_REQUIRED(mu_) EXCLUSIVE_LOCKS_REQUIRED(mu2);
1237 int a_ GUARDED_BY(mu_);
1242 int Foo::foo()
1244 int res;
1252 int x;
1290 int a_ GUARDED_BY(mu1_);
1318 int a_ GUARDED_BY(mu1_);
1319 int b_;
1320 int *q PT_GUARDED_BY(mu);
1325 int *p GUARDED_BY(mu) PT_GUARDED_BY(mu);
1327 int res GUARDED_BY(mu) = 5;
1329 int func(int i)
1331 int x;
1355 int
1374 void bar(int y) EXCLUSIVE_LOCKS_REQUIRED(lock_) {
1394 int a_ GUARDED_BY(lock_);
1398 void bar(int y) EXCLUSIVE_LOCKS_REQUIRED(lock_);
1415 void Foo::bar(int y) {
1434 int x GUARDED_BY(mu1) GUARDED_BY(mu2);
1435 int y GUARDED_BY(mu2);
1500 int method1(int i) SHARED_LOCKS_REQUIRED(mu1, mu, mu2, mu3);
1501 int data GUARDED_BY(mu1);
1506 int Foo::method1(int i) {
1579 int myVar GUARDED_BY(fooMu);
1596 struct S { int n; };
1604 int n;
1610 int DoNaughtyThings(T *t) {
1616 template struct IndirectLock<int>; // expected-note {{here}}
1619 void f(int);
1631 template struct W<int>; // expected-note {{here}}
1640 int a __attribute__((guarded_by(mu1)));
1641 int b __attribute__((guarded_by(mu2)));
1689 int a GUARDED_BY(mu_);
1710 int a GUARDED_BY(mu);
1785 for (int i = 0; i < 10; ++i);
1827 int i = a;
1840 int a GUARDED_BY(mu_);
1845 int a GUARDED_BY(mu_);
1934 Cell<int> cell;
1971 CellDelayed<int> celld;
1972 CellDelayed<int> celld2;
1992 int a GUARDED_BY(mu_);
2059 int a GUARDED_BY(mu_);
2116 int dummy = 0;
2148 FooT<int> myFooT;
2160 int foo GUARDED_BY(this);
2186 int foo GUARDED_BY(this);
2210 int foo __attribute__((guarded_by(mutex_)));
2238 int GUARDED_BY(mu_) a;
2239 int GUARDED_BY(mu_) b, c;
2260 void foo(int a); __attribute__(( // \
2275 int a GUARDED_BY(mu_);
2280 int b;
2284 Foo& getFoo2(int c) { return *f; }
2285 Foo& getFoo3(int c, int d) { return *f; }
2290 Foo& getBarFoo(Bar &bar, int c) { return bar.getFoo2(c); }
2296 int a;
2297 int b;
2298 int c;
2337 int a;
2338 int b;
2339 int c;
2400 int a GUARDED_BY(mu_);
2445 int b GUARDED_BY(getMu());
2510 int a GUARDED_BY(mu_);
2593 int a GUARDED_BY(mu_);
2596 int foo2() SHARED_LOCKS_REQUIRED(mu_);
2604 int Foo::foo2() SHARED_LOCKS_REQUIRED(mu_) {
2647 int a GUARDED_BY(mu_);
2702 int a GUARDED_BY(getMutexPtr().get());
2713 int b = a;
2715 int b = a; // expected-warning {{reading variable 'a' requires holding mutex 'getMutexPtr()'}}
2727 int a GUARDED_BY(mu_);
2728 int b GUARDED_BY(mu_.get());
2729 int c GUARDED_BY(*mu_);
2892 int a GUARDED_BY(mu1_);
2893 int b GUARDED_BY(mu2_);
2894 int c GUARDED_BY(mu3_);
2986 int test2() {
2989 int d1 = foo.a;
2994 int d2 = foo.a;
3056 int a GUARDED_BY(mu_);
3059 int tryLockMutexI() EXCLUSIVE_TRYLOCK_FUNCTION(1, mu_);
3150 int a GUARDED_BY(&Graph::mu_);
3274 int a GUARDED_BY(mu_);
3283 int a = lt->a;
3296 int a GUARDED_BY(mu_);
3301 int b;
3373 int a GUARDED_BY(mutex_);
3377 class Derived : public BaseT<int> {
3435 int operator[](int i) EXCLUSIVE_LOCKS_REQUIRED(mu_) { return 0; }
3445 int operator[](int i) LOCKS_EXCLUDED(mu_) { return 0; }
3451 int a = f[0]; // expected-warning {{calling function 'operator[]' requires holding mutex 'mu_' exclusively}}
3459 int a = b[0]; // expected-warning {{cannot call function 'operator[]' while mutex 'mu_' is held}}
3557 Cell<int> cell;
3570 Cell<int> cell;
3591 Cell<int> cell;
3607 Cell<int> cell;
3608 FooT<int> foo;
3655 int a GUARDED_BY(mu1_);
3656 int b GUARDED_BY(mu2_);
3657 int c GUARDED_BY(mu1_) GUARDED_BY(mu2_);
3658 int* d PT_GUARDED_BY(mu1_) PT_GUARDED_BY(mu2_);
3693 int result = a + b;
3713 int x = c; // expected-warning {{}}
3714 int y = *d; // expected-warning {{}}
3727 int z = a + b;
3737 int zz = a + b;
3754 int zz = a + b;
3766 Data(int i) : dat(i) { }
3768 int getValue() const { return dat; }
3769 void setValue(int i) { dat = i; }
3771 int operator[](int i) const { return dat; }
3772 int& operator[](int i) { return dat; }
3777 int dat;
3799 int a = data_.getValue(); // \
3857 int a = data_[0]; // expected-warning {{reading variable 'data_' requires holding mutex 'mu_'}}
3874 Cell(int i);
3878 int a;
3884 int a;
3903 int fa = foo.a; // expected-warning {{reading variable 'foo' requires holding mutex 'mu_'}}
4039 int c;
4040 int a GUARDED_BY(mu_);
4045 int b = a;
4051 int b = a;
4062 int b = a;
4068 int b = a;
4089 int b = a;
4101 int b = a;
4128 int b = a;
4141 int a GUARDED_BY(mu);
4232 int a;
4240 int* a GUARDED_BY(mu1) PT_GUARDED_BY(mu2);
4242 int sa[10] GUARDED_BY(mu1);
4327 SmartPtr<int> sp GUARDED_BY(mu1) PT_GUARDED_BY(mu2);
4397 int i PT_GUARDED_BY(sls_mu); // expected-warning {{'pt_guarded_by' only applies to pointer types; type here is 'int'}}
4398 int j PT_GUARDED_VAR; // expected-warning {{'pt_guarded_var' only applies to pointer types; type here is 'int'}}
4401 int i PT_GUARDED_BY(sls_mu); // expected-warning {{'pt_guarded_by' attribute only applies to fields and global variables}}
4402 int j PT_GUARDED_VAR; // expected-warning {{'pt_guarded_var' attribute only applies to fields and global variables}}
4404 typedef int PT_GUARDED_BY(sls_mu) bad1; // expected-warning {{'pt_guarded_by' attribute only applies to fields and global variables}}
4405 typedef int PT_GUARDED_VAR bad2; // expected-warning {{'pt_guarded_var' attribute only applies to fields and global variables}}
4444 int a GUARDED_BY(getMu());
4471 int a GUARDED_BY(map["foo"]);
4472 int b GUARDED_BY(mapCell["foo"].mu);
4490 int val GUARDED_BY(mu);
4504 int val GUARDED_BY(mu);
4566 int a GUARDED_BY(mu);
4579 int a GUARDED_BY(mu);
4614 typedef int __attribute__((capability("role"))) ThreadRole;
4655 int main(void) {
4674 int a GUARDED_BY(mu);
4690 int a;
4694 int a GUARDED_BY(mu);
4695 MyContainer<int> cntr GUARDED_BY(mu);
4697 int arr[10] GUARDED_BY(mu);
4700 int b = a; // expected-warning {{reading variable 'a' requires holding mutex 'mu'}}
4712 int &b = a;
4713 int &c = b;
4714 int &d = c;
4722 int (&rarr)[10] = arr;
4727 int *b = &a;
4732 int total = 0;
4733 for (int i : cntr) { // expected-warning2 {{reading variable 'cntr' requires holding mutex 'mu'}}
4750 int a;
4751 int b;
4765 void write2(int a, Foo& f);
4767 void read2(int a, const Foo& f);
4786 void mwrite2(int a, Foo& f);
4788 void mread2(int a, const Foo& f);
4792 static void smwrite2(int a, Foo& f);
4794 static void smread2(int a, const Foo& f);
5067 int a GUARDED_BY(mu);
5068 int b;
