[all-commits] [llvm/llvm-project] 600cae: [LangRef] Try to clarify mustprogress wording. (#9...

[Eli Friedman via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 600cae7d421e6e280c6513510bb11b4dc7b16b48
      https://github.com/llvm/llvm-project/commit/600cae7d421e6e280c6513510bb11b4dc7b16b48
  Author: Eli Friedman <efriedma at quicinc.com>
  Date:   2024-04-30 (Tue, 30 Apr 2024)

  Changed paths:
    M llvm/docs/LangRef.rst

  Log Message:
  -----------
  [LangRef] Try to clarify mustprogress wording. (#90510)

Ensure it's clear that:

- Infinite loops in non-mustprogress functions are well-defined, even if
they're called by mustprogress functions.
- Infinite recursion in mustprogress functions is not well-defined.

Looking at D86233, it's clear this was the intent, but the "transitive"
wording is ambiguous. Instead, just explicitly state that infinite loops
written in non-mustprogress functions count as progress.



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