From 40b10ca9652742a4cf3a076471e7ca2bb0fd8f90 Mon Sep 17 00:00:00 2001
From: stevenfontanella <stevenfont@chromium.org>
Date: Wed, 25 Feb 2026 19:44:48 +0000
Subject: [PATCH] Add mayNotReturn effect on memory.atomic.wait

---
 src/ir/effects.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/ir/effects.h b/src/ir/effects.h
index 1a7f4af616b..0cd18975b18 100644
--- a/src/ir/effects.h
+++ b/src/ir/effects.h
@@ -626,6 +626,9 @@ class EffectAnalyzer {
       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