v2 / vlib / v / checker / tests / cannot_dereference_if_different_muls.vv
13 lines · 12 sloc · 222 bytes · bed827e6635a53d4766446415fa611701ae24a49
Raw
1fn freelist_free(page u64) {
2 freelist_head := &u64(unsafe { nil })
3 higher_half := u64(0)
4 unsafe {
5 mut ptr := &u64(page + higher_half)
6 *ptr = freelist_head
7 freelist_head = ptr
8 }
9}
10
11fn main() {
12 freelist_free(0)
13}
14