More dependence graph tests

Author: danpoe

regression/goto-analyzer/dependence-graph10/main.c

@@ -0,0 +1,15 @@
+int a;
+
+void main(void)
+{
+  int i = 0;
+
+  if(i < 10)
+  {
+    a = 1;
+  }
+  else
+  {
+    a = 2;
+  }
+}

regression/goto-analyzer/dependence-graph10/test.desc

@@ -0,0 +1,12 @@
+CORE
+main.c
+--dependence-graph --show
+activate-multi-line-match
+EXIT=0
+SIGNAL=0
+// First assignment has a control dependency on the if
+\/\/ ([0-9]+).*\n.*IF.*i < 10.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*a = 1
+// Second assignment has a control dependency on the if
+\/\/ ([0-9]+).*\n.*IF.*i < 10.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*a = 2
+--
+^warning: ignoring

regression/goto-analyzer/dependence-graph11/main.c

@@ -0,0 +1,15 @@
+int a;
+
+void func()
+{
+}
+
+void main(void)
+{
+  func();
+
+  if(a < 10)
+  {
+    a = 1;
+  }
+}

regression/goto-analyzer/dependence-graph11/test.desc

@@ -0,0 +1,10 @@
+CORE
+main.c
+--dependence-graph --show
+activate-multi-line-match
+EXIT=0
+SIGNAL=0
+// Assignment has a control dependency on the if
+\/\/ ([0-9]+).*\n.*IF.*a < 10.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*a = 1
+--
+^warning: ignoring

regression/goto-analyzer/dependence-graph12/main.c

@@ -0,0 +1,21 @@
+int a;
+
+void func()
+{
+}
+
+void main(void)
+{
+  if(a < 7)
+  {
+    goto L;
+  }
+
+  if(a < 10)
+  {
+    func();
+  L:
+    a = 1;
+    a = 2;
+  }
+}

regression/goto-analyzer/dependence-graph12/test.desc

@@ -0,0 +1,10 @@
+CORE
+main.c
+--dependence-graph --show
+activate-multi-line-match
+EXIT=0
+SIGNAL=0
+// Assignment has a control dependency on the if
+\/\/ ([0-9]+).*\n.*IF.*a < 10.*THEN(.*\n)*Control dependencies: .*\1.*\n(.*\n){2,3}.*a = 2
+--
+^warning: ignoring

regression/goto-analyzer/dependence-graph7/main.c

@@ -0,0 +1,10 @@
+int a;
+
+void main(void)
+{
+  int i = 0;
+  while(i < 10)
+  {
+    a = 1;
+  }
+}

regression/goto-analyzer/dependence-graph7/test.desc

@@ -0,0 +1,14 @@
+CORE
+main.c
+--dependence-graph --show
+activate-multi-line-match
+EXIT=0
+SIGNAL=0
+// Assignment has a control dependency on the loop head
+\/\/ ([0-9]+).*\n.*IF.*i < 10.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*a = 1
+// Backedge has a control dependency on the loop head
+\/\/ ([0-9]+).*\n.*IF.*i < 10.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}\s*GOTO [0-9]+
+// Loop head has a control dependency on itself
+Control dependencies: ([0-9]+)\n(.*\n)?\n.*\/\/ \1.*\n.*IF.*i < 10.*THEN
+--
+^warning: ignoring

regression/goto-analyzer/dependence-graph8/main.c

@@ -0,0 +1,13 @@
+int a;
+
+void main(void)
+{
+  int i = 0;
+  while(i < 10)
+  {
+    if(i < 7)
+    {
+      a = 1;
+    }
+  }
+}

regression/goto-analyzer/dependence-graph8/test.desc

@@ -0,0 +1,14 @@
+CORE
+main.c
+--dependence-graph --show
+activate-multi-line-match
+EXIT=0
+SIGNAL=0
+// Assignment has a control dependency on the if
+\/\/ ([0-9]+).*\n.*IF.*i < 7.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*a = 1
+// If has a control dependency on the loop head
+\/\/ ([0-9]+).*\n.*IF.*i < 10.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*i < 7
+--
+^warning: ignoring
+// Assignment does not have a control dependency on the loop head
+\/\/ ([0-9]+).*\n.*IF.*i < 10.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*a = 1

regression/goto-analyzer/dependence-graph9/main.c

@@ -0,0 +1,16 @@
+int a;
+
+void main(void)
+{
+  int i = 0;
+
+  if(i < 10)
+  {
+    if(i < 7)
+    {
+      a = 1;
+    }
+
+    a = 2;
+  }
+}

regression/goto-analyzer/dependence-graph9/test.desc

@@ -0,0 +1,12 @@
+CORE
+main.c
+--dependence-graph --show
+activate-multi-line-match
+EXIT=0
+SIGNAL=0
+// Second assignment has a control dependency on the outer if
+\/\/ ([0-9]+).*\n.*IF.*i < 10.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*a = 2
+--
+^warning: ignoring
+// Second assignment does not have a control dependency on the inner if
+\/\/ ([0-9]+).*\n.*IF.*i < 7.*THEN(.*\n)*Control dependencies: \1\n(.*\n){2,3}.*a = 2