5 files changed, 25 insertions, 0 deletions
diff --git a/testsuite/semko/procfs06.stp b/testsuite/semko/procfs06.stp
new file mode 100755
index 00000000..a0548d74
--- /dev/null
+++ b/testsuite/semko/procfs06.stp
@@ -0,0 +1,5 @@
+#! stap -p2
+
+# path can't start with '/'
+probe procfs("/foo").read { }
+
diff --git a/testsuite/semko/procfs07.stp b/testsuite/semko/procfs07.stp
new file mode 100755
index 00000000..82f7ca6f
--- /dev/null
+++ b/testsuite/semko/procfs07.stp
@@ -0,0 +1,5 @@
+#! stap -p2
+
+# path can't end with '/'
+probe procfs("foo/").read { }
+
diff --git a/testsuite/semko/procfs08.stp b/testsuite/semko/procfs08.stp
new file mode 100755
index 00000000..a56d927e
--- /dev/null
+++ b/testsuite/semko/procfs08.stp
@@ -0,0 +1,5 @@
+#! stap -p2
+
+# path can't be a relative path
+probe procfs("foo/../bar").read { }
+
diff --git a/testsuite/semko/procfs09.stp b/testsuite/semko/procfs09.stp
new file mode 100755
index 00000000..2299dae9
--- /dev/null
+++ b/testsuite/semko/procfs09.stp
@@ -0,0 +1,5 @@
+#! stap -p2
+
+# path can't be a relative path
+probe procfs("foo/.").read { }
+
diff --git a/testsuite/semko/procfs10.stp b/testsuite/semko/procfs10.stp
new file mode 100755
index 00000000..ef272eb4
--- /dev/null
+++ b/testsuite/semko/procfs10.stp
@@ -0,0 +1,5 @@
+#! stap -p2
+
+# path can't contain an empty component
+probe procfs("a//c").read { }
+