1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/semko/four.stp b/testsuite/semko/four.stp
new file mode 100755
index 00000000..e73cc88d
--- /dev/null
+++ b/testsuite/semko/four.stp
@@ -0,0 +1,12 @@
+#! semtest
+
+global a, b; # types unknown
+
+function bar ()
+{
+  # no return statement
+}
+
+probe foo {
+  a = b;
+}