aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-03-26 00:41:22 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-03-26 00:41:22 +0100
commitb204ead75fc624928e783da8b6658f3a8a06871c (patch)
treedc174858248da8f92a13807ee055091a7a5f9c0f
parent7b5cc7b6135733cbbce121cc94fdc4a5400f46b5 (diff)
downloadsparse-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.c24
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
+ */