| commit | bc516bf20ab6b4b08a0c9b70e63d8868f948d51f | [log] [tgz] |
|---|---|---|
| author | Treehugger Robot <treehugger-gerrit@google.com> | Tue Feb 07 22:50:56 2023 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue Feb 07 22:50:56 2023 +0000 |
| tree | cb4371476d1e242e3fb5df1f78307076b5518725 | |
| parent | 304ca86948654f34de7deee35d61db790ea64631 [diff] | |
| parent | 9729c193cb58ddded9c5d2092dd73de124344320 [diff] |
Merge "Nullability check for eventfd module"
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