| /* Test lock annotations applied to function definitions. */ |
| /* { dg-do compile } */ |
| /* { dg-options "-Wthread-safety -O" } */ |
| |
| #include "thread_annot_common_c.h" |
| |
| struct Mutex mu1; |
| struct Mutex mu2 ACQUIRED_AFTER(mu1); |
| |
| static int foo(int i) EXCLUSIVE_LOCKS_REQUIRED(mu2); |
| |
| int bar(int i) LOCKS_EXCLUDED(mu1) |
| { |
| return i; |
| } |
| |
| static int foo(int i) SHARED_LOCKS_REQUIRED(mu1) |
| { |
| return bar(i); /* { dg-warning "Cannot call function 'bar' with lock 'mu1' held" } */ |
| } |
| |
| main() |
| { |
| foo(2); /* { dg-warning "Calling function 'foo' requires lock 'mu2'" } */ |
| } |
| |
| /* { dg-warning "Calling function 'foo' requires lock 'mu1'" "" { target *-*-* } 24 } */ |
