[all-commits] [llvm/llvm-project] d9a236: LangRef: mention that willreturn can cause time-tr...

[Ralf Jung via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d9a236056a778276b286d6df818fecc5766603a6
      https://github.com/llvm/llvm-project/commit/d9a236056a778276b286d6df818fecc5766603a6
  Author: Ralf Jung <post at ralfj.de>
  Date:   2026-09-25 (Fri, 25 Sep 2026)

  Changed paths:
    M llvm/docs/LangRef.md
    M llvm/docs/UndefinedBehavior.md

  Log Message:
  -----------
  LangRef: mention that willreturn can cause time-traveling UB (#214229)

I think with #192992, the only remaining possible source of
time-traveling UB in LLVM are `willreturn` annotations emitted by the
frontend. So let's add a note about that.

I think ideally we'd also say somewhere "UB cannot time-travel except if
you put `willreturn` on a function that has observable behavior", but I
am not sure what would be a good place for that.

Cc @nikic @dtcxzyw @gonzalobg



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications