If buf[0]
is nonzero, the code will not access buf[1]
. So the function should return false
without checking the other buf
elements. If buf
is close to the end of the last memory page, buf[1]
may trigger an access fault. The compiler should be very careful to not read stuff which may be forbidden to read.