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