3513

1 files changed, 9 insertions, 0 deletions

diff --git a/073wait.cc b/073wait.cc
index bdc5a881..26fb07a0 100644
--- a/073wait.cc
+++ b/073wait.cc
@@ -62,6 +62,15 @@ void dump_waiting_routines() {
   }
 }
 
+:(scenario wait_for_location_can_deadlock)
+% Hide_errors = true;
+def main [
+  10:num <- copy 1
+  20:location <- copy 10/unsafe
+  wait-for-reset-then-set 20:location
+]
++error: deadlock!
+
 //: Primitive recipe to put routines in that state.
 //: This primitive is also known elsewhere as compare-and-set (CAS). Used to
 //: build locks.