blob: b38522a800c2a50955d5c52208a659f26cb7fe4a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
/* Test function lock requirement annotations with unsupported or unrecognized
lock names/expressions. */
/* { dg-do compile } */
/* { dg-options "-Wthread-safety -Wthread-unsupported-lock-name -O" } */
#include "thread_annot_common_c.h"
int pthread_mutex_lock(int i) EXCLUSIVE_LOCK_FUNCTION(((&f)->mu)); /* { dg-warning "Unsupported argument of 'exclusive_lock' attribute ignored" } */
int pthread_mutex_unlock() UNLOCK_FUNCTION(f[0].mu); /* { dg-warning "Unsupported argument of 'unlock' attribute ignored" } */
int pthread_mutex_trylock() EXCLUSIVE_TRYLOCK_FUNCTION(0, t->mu1); /* { dg-warning "Unsupported argument of 'exclusive_trylock' attribute ignored" } */
struct Mutex *mu3;
int p GUARDED_BY(mu3);
int r GUARDED_BY(mu3);
void my_lock() EXCLUSIVE_LOCK_FUNCTION(mu3);
void my_unlock() UNLOCK_FUNCTION(mu3);
extern void foo(int i, int j, struct Mutex *mu) EXCLUSIVE_LOCKS_REQUIRED(3);
void foo(int i, int j, struct Mutex *mu) LOCKS_EXCLUDED(t->mu3)
{ /* { dg-warning "Unsupported argument of 'locks_excluded' attribute ignored" } */
int *q PT_GUARDED_BY(mu);
my_lock();
p = *q;
*q = 4;
my_unlock();
}
int bar() SHARED_LOCKS_REQUIRED(y->mu); /* { dg-warning "Unsupported argument of 'shared_locks_required' attribute ignored" } */
int bar()
{
int t = r;
return t;
}
main()
{
foo(2, 3, mu3); /* { dg-warning "Calling function 'foo' requires lock 'mu3'" } */
my_lock();
foo(2, 3, mu3);
bar();
my_unlock();
bar(); /* { dg-warning "Calling function 'bar' requires a lock" } */
}
|
