diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-03-26 00:41:22 +0100 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-03-26 00:41:22 +0100 |
commit | b204ead75fc624928e783da8b6658f3a8a06871c (patch) | |
tree | dc174858248da8f92a13807ee055091a7a5f9c0f | |
parent | 7b5cc7b6135733cbbce121cc94fdc4a5400f46b5 (diff) | |
download | sparse-b204ead75fc624928e783da8b6658f3a8a06871c.tar.gz |
additional testcase for remove_merging_phisrc()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-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 + */ |