Proposed resolution:

Edit paragraph 4 of [support.runtime] as follows:

The function signature longjmp(jmp_buf jbuf, int val) has more restricted behavior in this International Standard. A setjmp/longjmp call pair has undefined behavior if replacing the setjmp and longjmp by catch and throw would destroy invoke any non-trivial destructors for any automatic objects.

The interaction between longjmp and exceptions seems unnecessarily restrictive and not in keeping with existing practice.