| /* { dg-do compile } */ |
| /* { dg-options "-fdiagnostics-path-format=separate-events" } */ |
| |
| extern void acquire_lock_a(void); |
| extern void acquire_lock_b(void); |
| |
| void foo () |
| { /* { dg-message "\\(1\\) entering 'foo'" } */ |
| acquire_lock_a (); /* { dg-message "\\(2\\) lock a is now held by thread 1" } */ |
| acquire_lock_b (); /* { dg-message "\\(5\\) deadlocked due to waiting for lock b in thread 1\.\.\." } */ |
| } |
| |
| void bar () |
| { /* { dg-message "\\(3\\) entering 'bar'" } */ |
| acquire_lock_b (); /* { dg-message "\\(4\\) lock b is now held by thread 2" } */ |
| acquire_lock_a (); /* { dg-warning "deadlock due to inconsistent lock acquisition order" } */ |
| /* { dg-message "\\(6\\) \.\.\.whilst waiting for lock a in thread 2" "" { target *-*-* } .-1 } */ |
| } |
