Open
Description
It is UB to read local variables after a call to setjmp returns, if those variables have been modified between setjmp and longjmp, unless they're marked as volatile. We'd like to see a sanitizer that detects this, as part of -fsanitize=undefined.