diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-12-08 15:52:06 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-12-08 15:52:06 -0800 |
| commit | 0390d4961c52f09b9528ab89ce5190fc9a470f49 (patch) | |
| tree | c4473db9480774ed0544d639dfd1c54b8a52d6b4 /tools | |
| parent | f689a0eca6f2292478c5d49c1cc3030a5654bbda (diff) | |
fix testcase for longjmp4 to avoid undefined behavior, enable in all optimization modes; closes #747
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions