file_descriptors / adhoc_pwrite_neg

Checked Trace
linux_spec@[/nix/store/fxisrpncjn4cxxwnq2lvilriqx63s9k9-fs_test]	sexp	stdout	stderr

Traced Execution	stdout	stderr

Script	script

1	# processing file 'adhoc_pwrite_neg_offset-int.trace' ...
2	@type trace
3
4	# testing pwrite with negative offsets
5	# OS X will send the thread a SIGXFSZ so we sequester these tests here
6
7	# pwrite with negative index
8	open "f1.txt" [O_CREAT;O_RDWR] 0o666
9	Tau
10	RV_num(3)
11	write (FD 3) "ABCDEF" 6
12	Tau
13	RV_num(6)
14	pwrite (FD 3) "XXX" 3 -2
15	Tau
16	EINVAL
17	close (FD 3)
18	Tau
19	RV_none
20
21	open "f1.txt" [O_RDONLY]
22	Tau
23	RV_num(3)
24	read! (FD 3) 100
25	Tau
26	RV_bytes("ABCDEF")
27	close (FD 3)
28	Tau
29	RV_none
30
31	# pwrite with negative index and O_APPEND
32	open "f1.txt" [O_TRUNC;O_APPEND;O_RDWR] 0o666
33	Tau
34	RV_num(3)
35	write (FD 3) "ABCDEF" 6
36	Tau
37	RV_num(6)
38	pwrite (FD 3) "XXX" 3 -2
39	Tau
40	EINVAL
41	close (FD 3)
42	Tau
43	RV_none
44
45	open "f1.txt" [O_RDONLY]
46	Tau
47	RV_num(3)
48	read! (FD 3) 100
49	Tau
50	RV_bytes("ABCDEF")
51	close (FD 3)
52	Tau
53	RV_none
54
55
56	# pwrite with large negative index
57	open "f1.txt" [O_TRUNC;O_RDWR] 0o666
58	Tau
59	RV_num(3)
60	pwrite (FD 3) "XXX" 3 -100
61	Tau
62	EINVAL
63	close (FD 3)
64	Tau
65	RV_none
66
67	open "f1.txt" [O_RDONLY]
68	Tau
69	RV_num(3)
70	read! (FD 3) 100
71	Tau
72	RV_bytes("")
73	close (FD 3)
74	Tau
75	RV_none
76
77	# deterministic
78
79	open "/f1.txt" [O_APPEND;O_RDWR]
80	Tau
81	RV_num(3)
82	pwrite! (FD 3) "ABCDF" 5 -1
83	Tau
84	EINVAL
85	close (FD 3)
86	Tau
87	RV_none
88
89	open "f1.txt" [O_RDONLY]
90	Tau
91	RV_num(3)
92	read! (FD 3) 100
93	Tau
94	RV_bytes("")
95	close (FD 3)
96	Tau
97	RV_none
98
99