diff options
Diffstat (limited to 'validation/optim/kill-stores0.c')
| -rw-r--r-- | validation/optim/kill-stores0.c | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/validation/optim/kill-stores0.c b/validation/optim/kill-stores0.c new file mode 100644 index 00000000..eb6eaa4e --- /dev/null +++ b/validation/optim/kill-stores0.c @@ -0,0 +1,35 @@ +struct p { + int x, y; +}; + +struct q { + int w; +}; + +static int foo(void) +{ + int x = 1; + int y = x; + return &x == &y; +} + +static int bar(struct p p) +{ + if (p.x != 0) + ; +} + +static int baz(struct p p, struct q q) +{ + if (p.x != 0 || p.y != 1 || q.w == 0) + ; +} + +/* + * check-name: kill-stores0 + * check-command: test-linearize $file + * check-known-to-fail + * + * check-output-ignore + * check-output-excludes: store\\. + */ |