commit 9729c193cb58ddded9c5d2092dd73de124344320
author zijunzhao <zijunzhao@google.com> Tue Feb 07 20:47:11 2023 +0000
committer zijunzhao <zijunzhao@google.com> Tue Feb 07 20:47:11 2023 +0000
tree dabf7bcd170360c5a26dda3149b0f16b7f0f0f5b
parent 475275b3ec7e00e05b4e5d5f0568383977787f9e

Nullability check for eventfd module

Bugs: b/245972273
Test: None
Change-Id: I5a74318850f3e49dd9d78180476e2a9d76853606

libc/include/sys/eventfd.h

diff --git a/libc/include/sys/eventfd.h b/libc/include/sys/eventfd.h
index 1b6ad29..1ad11e3 100644
--- a/libc/include/sys/eventfd.h
+++ b/libc/include/sys/eventfd.h
@@ -62,7 +62,7 @@
  *
  * Returns 0 on success, or returns -1 otherwise.
  */
-int eventfd_read(int __fd, eventfd_t* __value);
+int eventfd_read(int __fd, eventfd_t* _Nonnull __value);
 
 /**
  * [eventfd_write(3)](http://man7.org/linux/man-pages/man2/eventfd.2.html) is a convenience