On 2025-01-20 07:48, Bruno Haible wrote:
Why is setjmp an issue here at all? A jmp_buf cannot be used after the function that invoked setjmp() has returned.
True, but nothing in the standard prohibits the jmp_buf from being used multiple times before that return, so a call to setjmp can return three or more times: first normally and then two or more times via longjmp.
I agree that setjmp is a red herring; obviously it should not be reproducible. But if it satisfies all the other conditions of reproducibility (which is not clear to me yet since I don't fully understand the intended meaning of reproducibility), it's probably worth mentioning setjmp specifically.
