diff options
Diffstat (limited to 'validation/optim/phi-ret.c')
| -rw-r--r-- | validation/optim/phi-ret.c | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/validation/optim/phi-ret.c b/validation/optim/phi-ret.c new file mode 100644 index 00000000..204366a9 --- /dev/null +++ b/validation/optim/phi-ret.c @@ -0,0 +1,22 @@ +int foo(int p, int q, int v) +{ + if (q) { + if (p) { + v = p; + p = 0; + } + } else + p = 0; + if (p) + return v + 1; + return q; +} + +/* + * check-name: phi-ret + * check-command: test-linearize -Wno-decl $file + * check-known-to-fail + * + * check-output-ignore + * check-output-excludes: phi\\. + */ |