Gitly
English
Русский
Español
日本語
中文
Português
Pricing
Log in
Register
v2
/
vlib
/
v
/
checker
/
tests
/
cannot_dereference_if_different_muls.vv
13
lines
·
12
sloc
·
222 bytes
·
bed827e6635a53d4766446415fa611701ae24a49
Raw
1
fn 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
11
fn main() {
12
freelist_free(0)
13
}
14