blob: fd9aeb3c66e866f605b049befccdb15b9bfd14f5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
(fate_version 1)
(global (ptr int) alloc_i)
(set alloc_i (new int))
(set (at alloc_i) 2)
(assert (= (at (var alloc_i)) 2) FAILED: set at A)
(global (ptr (ptr int)) i_ptr_ptr)
(set i_ptr_ptr (ptr alloc_i))
(set (at (at i_ptr_ptr)) 4)
(assert (= (at (var alloc_i)) 4) FAILED: set at B)
(end)
|
