Add mayNotReturn effect on memory.atomic.wait
diff --git a/src/ir/effects.h b/src/ir/effects.h
index 1a7f4af..0cd1897 100644
--- a/src/ir/effects.h
+++ b/src/ir/effects.h
@@ -626,6 +626,9 @@
       parent.writesMemory = true;
       parent.isAtomic = true;
       parent.implicitTrap = true;
+
+      // If the timeout is negative and no-one wakes us.
+      parent.mayNotReturn = true;
     }
     void visitAtomicNotify(AtomicNotify* curr) {
       // AtomicNotify doesn't strictly write memory, but it does modify the