Commit 410c028f3396d1fa9bcc72608079ff4d3d76b03e

DRC 2019-11-06T14:17:10

example.txt: Avoid undefined setjmp() behavior Modifying a locally-defined non-volatile variable below the setjmp() return point results in undefined behavior whereby the variable may not have the expected value after setjmp() returns. Fixes #379