13 files changed, 50 insertions, 2 deletions
diff --git a/testsuite/semko/twelve.stp b/testsuite/semko/twelve.stp
index ab71d579..c91eb743 100755
--- a/testsuite/semko/twelve.stp
+++ b/testsuite/semko/twelve.stp
@@ -1,6 +1,6 @@
 #! stap -p2
 
 probe end {
-  for (a=0; "hello";) {}
-  while ("goodbye") {}
+  for (a=0; "hello";) {println("hello")}
+  while ("goodbye") {println("world")}
 }
diff --git a/testsuite/semko/utrace01.stp b/testsuite/semko/utrace01.stp
new file mode 100755
index 00000000..a4707008
--- /dev/null
+++ b/testsuite/semko/utrace01.stp
@@ -0,0 +1,4 @@
+#! stap -p2
+
+# missing process NAME|PID
+probe process.death { }
diff --git a/testsuite/semko/utrace03.stp b/testsuite/semko/utrace03.stp
new file mode 100755
index 00000000..c682410b
--- /dev/null
+++ b/testsuite/semko/utrace03.stp
@@ -0,0 +1,4 @@
+#! stap -p2
+
+# invalid probe type
+probe process("/bin/cat").death.return { }
diff --git a/testsuite/semko/utrace04.stp b/testsuite/semko/utrace04.stp
new file mode 100755
index 00000000..6345f9f6
--- /dev/null
+++ b/testsuite/semko/utrace04.stp
@@ -0,0 +1,4 @@
+#! stap -p2
+
+# death probes don't support target symbols
+probe process("/bin/cat").death.return { print($syscall) }
diff --git a/testsuite/semko/utrace05.stp b/testsuite/semko/utrace05.stp
new file mode 100755
index 00000000..e99fd22f
--- /dev/null
+++ b/testsuite/semko/utrace05.stp
@@ -0,0 +1,4 @@
+#! stap -p2
+
+# can't write to $syscall
+probe process("/bin/cat").syscall { $syscall = 1 }
diff --git a/testsuite/semko/utrace06.stp b/testsuite/semko/utrace06.stp
new file mode 100755
index 00000000..19e6043b
--- /dev/null
+++ b/testsuite/semko/utrace06.stp
@@ -0,0 +1,4 @@
+#! stap -p2
+
+# treat $syscall as a pointer
+probe process("/bin/cat").syscall { print($syscall->foo) }
diff --git a/testsuite/semko/utrace07.stp b/testsuite/semko/utrace07.stp
new file mode 100755
index 00000000..2a9405b3
--- /dev/null
+++ b/testsuite/semko/utrace07.stp
@@ -0,0 +1,4 @@
+#! stap -p2
+
+# treat $syscall as an array
+probe process("/bin/cat").syscall { print($syscall[0]) }
diff --git a/testsuite/semko/utrace08.stp b/testsuite/semko/utrace08.stp
new file mode 100755
index 00000000..a558a5be
--- /dev/null
+++ b/testsuite/semko/utrace08.stp
@@ -0,0 +1,4 @@
+#! stap -p2
+
+# process path must be absolute
+probe process("cat").death { }
diff --git a/testsuite/semko/utrace09.stp b/testsuite/semko/utrace09.stp
new file mode 100755
index 00000000..60c49cd2
--- /dev/null
+++ b/testsuite/semko/utrace09.stp
@@ -0,0 +1,4 @@
+#! stap -p2
+
+# process path must be absolute
+probe process("/foo/../bar").death { }
diff --git a/testsuite/semko/utrace10.stp b/testsuite/semko/utrace10.stp
new file mode 100755
index 00000000..b46baea9
--- /dev/null
+++ b/testsuite/semko/utrace10.stp
@@ -0,0 +1,4 @@
+#! stap -p2
+
+# path can't contain an empty component
+probe process("/foo//bar").death { }
diff --git a/testsuite/semko/utrace11.stp b/testsuite/semko/utrace11.stp
new file mode 100755
index 00000000..d78b602c
--- /dev/null
+++ b/testsuite/semko/utrace11.stp
@@ -0,0 +1,4 @@
+#! stap -p2
+
+# path can't end with '/'
+probe process("/foo/bar/").death { }
diff --git a/testsuite/semko/utrace12.stp b/testsuite/semko/utrace12.stp
new file mode 100755
index 00000000..478aa1d3
--- /dev/null
+++ b/testsuite/semko/utrace12.stp
@@ -0,0 +1,4 @@
+#! stap -p2
+
+# path can't end with '.'
+probe process("/foo/bar/.").death { }
diff --git a/testsuite/semko/utrace13.stp b/testsuite/semko/utrace13.stp
new file mode 100755
index 00000000..16cc0391
--- /dev/null
+++ b/testsuite/semko/utrace13.stp
@@ -0,0 +1,4 @@
+#! stap -p2
+
+# path can't end with '..'
+probe process("/foo/bar/..").death { }