Skip to content

checkasm: Signal handling improvements

Henrik Gramner requested to merge gramner/dav1d:checkasm_setjmp_ub into master

As per the C specification:

7.13.1.1 The setjmp macro

4 An invocation of the setjmp macro shall appear only in one of the following contexts:

  • the entire controlling expression of a selection or iteration statement;
  • one operand of a relational or equality operator with the other operand an integer constant expression, with the resulting expression being the entire controlling expression of a selection or iteration statement;
  • the operand of a unary ! operator with the resulting expression being the entire controlling expression of a selection or iteration statement; or
  • the entire expression of an expression statement (possibly cast to void).

5 If the invocation appears in any other context, the behavior is undefined.

Merge request reports