About getrandom(2) contract

From: Elichai Turkel
Date: Wed Sep 18 2019 - 05:07:30 EST


Hi,

Unlike other syscalls(like `read(2)`) `getrandom(2)`'s contract
doesn't define what happens if you pass `buflen=0`, does the pointer
still has to be valid? (what does valid even mean?) are there any side
effects?
i.e. is `getrandom(0x01, 0, 0)` undefined behavior?.

Thanks,
Elichai.
--
PGP: 5607C93B5F86650C