diff options
| -rw-r--r-- | benchmarks/libmicro/files/patch-longjmp.c | 11 | ||||
| -rw-r--r-- | benchmarks/libmicro/files/patch-siglongjmp.c | 11 |
2 files changed, 22 insertions, 0 deletions
diff --git a/benchmarks/libmicro/files/patch-longjmp.c b/benchmarks/libmicro/files/patch-longjmp.c new file mode 100644 index 000000000000..1c190b574c94 --- /dev/null +++ b/benchmarks/libmicro/files/patch-longjmp.c @@ -0,0 +1,11 @@ +--- longjmp.c.orig Wed Aug 31 11:53:48 2005 ++++ longjmp.c Wed Aug 31 11:55:10 2005 +@@ -55,7 +55,7 @@ + int + benchmark(void *tsd, result_t *res) + { +- int i = 0; ++ volatile int i = 0; + jmp_buf env; + + (void) setjmp(env); diff --git a/benchmarks/libmicro/files/patch-siglongjmp.c b/benchmarks/libmicro/files/patch-siglongjmp.c new file mode 100644 index 000000000000..845305aefda1 --- /dev/null +++ b/benchmarks/libmicro/files/patch-siglongjmp.c @@ -0,0 +1,11 @@ +--- siglongjmp.c.orig Wed Aug 31 11:53:57 2005 ++++ siglongjmp.c Wed Aug 31 11:55:14 2005 +@@ -60,7 +60,7 @@ + { + tsd_t *ts = (tsd_t *)tsd; + +- int i = 0; ++ volatile int i = 0; + + (void) sigsetjmp(ts->ts_env, 1); + |