1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
|
/* COVERAGE: timer_create timer_gettime timer_settime timer_getoverrun timer_delete */
#include <sys/types.h>
#include <unistd.h>
#include <sys/time.h>
#include <string.h>
#include <signal.h>
#include <time.h>
#include <sys/syscall.h>
int main()
{
timer_t tid=0;
struct itimerspec val, oval;
// SYSCALL timer_create -----
syscall(__NR_timer_create, -1, NULL, &tid);
//staptest// timer_create (0x[f]+, 0x0, XXXX) = NNNN (EINVAL)
syscall(__NR_timer_create, CLOCK_REALTIME, -1, &tid);
#ifdef __s390__
//staptest// timer_create (CLOCK_REALTIME, 0x[7]?[f]+, XXXX) = NNNN (EFAULT)
#else
//staptest// timer_create (CLOCK_REALTIME, 0x[f]+, XXXX) = NNNN (EFAULT)
#endif
syscall(__NR_timer_create, CLOCK_REALTIME, NULL, -1);
#ifdef __s390__
//staptest// timer_create (CLOCK_REALTIME, 0x0, 0x[7]?[f]+) = NNNN (EFAULT)
#else
//staptest// timer_create (CLOCK_REALTIME, 0x0, 0x[f]+) = NNNN (EFAULT)
#endif
timer_create(CLOCK_REALTIME, NULL, &tid);
//staptest// timer_create (CLOCK_REALTIME, XXXX, XXXX) = 0
// SYSCALL timer_gettime -----
syscall(__NR_timer_gettime, -1, &val);
//staptest// timer_gettime (-1, XXXX) = NNNN (EINVAL)
syscall(__NR_timer_gettime, tid, -1);
#ifdef __s390__
//staptest// timer_gettime (NNNN, 0x[7]?[f]+) = NNNN ([[[[EINVAL!!!!EFAULT]]]])
#else
//staptest// timer_gettime (NNNN, 0x[f]+) = NNNN ([[[[EINVAL!!!!EFAULT]]]])
#endif
timer_gettime(tid, &val);
//staptest// timer_gettime (NNNN, XXXX) = 0
// SYSCALL timer_settime -----
val.it_value.tv_sec = 0;
val.it_value.tv_nsec = 0;
val.it_interval.tv_sec = 0;
val.it_interval.tv_nsec = 0;
syscall(__NR_timer_settime, -1, 0, &val, &oval);
//staptest// timer_settime (-1, 0, \[0.000000,0.000000\], XXXX) = NNNN (EINVAL)
syscall(__NR_timer_settime, 0, -1, &val, &oval);
//staptest// timer_settime (0, -1, \[0.000000,0.000000\], XXXX) = NNNN
syscall(__NR_timer_settime, tid, 0, -1, &oval);
#ifdef __s390__
//staptest// timer_settime (NNNN, 0, 0x[7]?[f]+, XXXX) = NNNN (EFAULT)
#else
//staptest// timer_settime (NNNN, 0, 0x[f]+, XXXX) = NNNN (EFAULT)
#endif
syscall(__NR_timer_settime, tid, 0, &val, -1);
#ifdef __s390__
//staptest// timer_settime (NNNN, 0, \[0.000000,0.000000\], 0x[7]?[f]+) = NNNN ([[[[EINVAL!!!!EFAULT]]]])
#else
//staptest// timer_settime (NNNN, 0, \[0.000000,0.000000\], 0x[f]+) = NNNN ([[[[EINVAL!!!!EFAULT]]]])
#endif
timer_settime(tid, -1, &val, &oval);
//staptest// timer_settime (NNNN, -1, \[0.000000,0.000000\], XXXX) = 0
// SYSCALL timer_getoverrun -----
syscall(__NR_timer_getoverrun, -1);
//staptest// timer_getoverrun (-1) = NNNN (EINVAL)
timer_getoverrun(tid);
//staptest// timer_getoverrun (NNNN) = 0
// SYSCALL timer_delete -----
syscall(__NR_timer_delete, -1);
//staptest// timer_delete (-1) = NNNN (EINVAL)
timer_delete(tid);
//staptest// timer_delete (NNNN) = 0
return 0;
}
|
