diff options
Diffstat (limited to 'validation/optim/live-stores0.c')
| -rw-r--r-- | validation/optim/live-stores0.c | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/validation/optim/live-stores0.c b/validation/optim/live-stores0.c new file mode 100644 index 00000000..2cbc5ab1 --- /dev/null +++ b/validation/optim/live-stores0.c @@ -0,0 +1,29 @@ +void init(int *x); + +static int foo(void) +{ + int a[2] = { 0, 123, }; + + if (a[1] != 123) + return 1; + init(a); + if (a[1] == 123) + return 2; + return 0; +} + +#if 0 +void init(int *x) +{ + x[0] = x[1] = 0; +} +#endif + +/* + * check-name: live-stores + * check-command: test-linearize $file + * + * check-output-ignore + * check-output-contains: store.32 *\\$123 + * check-output-pattern(2,3): store\\. + */ |