[llvm] LangRef: mention that willreturn can cause time-traveling UB (PR #214229)

Ralf Jung via llvm-commits llvm-commits at lists.llvm.org
Sat Aug 8 08:18:16 PDT 2026


================
@@ -105,6 +106,9 @@ optimize the function to simply:
       unreachable
     }
 
+Without ``willreturn``, UB in LLVM will never exhibit time-traveling. This means
----------------
RalfJung wrote:

Assuming you are referring to ["convergent operations"](https://llvm.org/docs/ConvergentOperations.html), then as far as I can tell they don't have semantics in the AM, they are a hack that seems to mostly work. I don't think it makes sense to ask detailed questions about them in their current state.

https://github.com/llvm/llvm-project/pull/214229


More information about the llvm-commits mailing list