summaryrefslogtreecommitdiffstats
path: root/testsuite/semok/cast.stp
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/semok/cast.stp')
-rwxr-xr-xtestsuite/semok/cast.stp10
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/semok/cast.stp b/testsuite/semok/cast.stp
index 93da18ef..14401886 100755
--- a/testsuite/semok/cast.stp
+++ b/testsuite/semok/cast.stp
@@ -10,4 +10,14 @@ probe begin {
// would be nice to test usermode @cast too,
// but who knows what debuginfo is installed...
+
+ // check modules generated from headers
+ println(@cast(0, "task_struct", "kernel<linux/sched.h>")->tgid)
+ println(@cast(0, "timeval", "<sys/time.h>")->tv_sec)
+
+ // make sure that bogus @casts can get optimized away
+ @cast(0, "task_struct")->no_such_field
+ @cast(0, "task_struct")->parent->no_such_field
+ @cast(0, "no_such_type")->tgid
+ @cast(0, "task_struct", "no_such_module")->tgid
}