diff options
| -rw-r--r-- | validation/optim/multi-phisrc.c | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/validation/optim/multi-phisrc.c b/validation/optim/multi-phisrc.c new file mode 100644 index 00000000..c6f21f2d --- /dev/null +++ b/validation/optim/multi-phisrc.c @@ -0,0 +1,24 @@ +void fun(void); + +void foo(int p, int a) +{ + if (p == p) { + switch (p) { + case 0: + break; + case 1: + a = 0; + } + } + if (a) + fun(); +} + +/* + * check-name: multi-phisrc + * check-command: test-linearize -Wno-decl $file + * check-known-to-fail + * + * check-output-ignore + * check-output-excludes: phi + */ |