commit e61cf18c3c89b50d89541148bb413a64df467327
author Treehugger Robot <android-test-infra-autosubmit@system.gserviceaccount.com> Wed May 03 02:06:08 2023 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Wed May 03 02:06:08 2023 +0000
tree 649e52d7d77eedab461d53a8c1bc457f2d24c2c4
parent ebd654640abdc3f048f0a676741b79dd3d23b766
parent 136e28fa8b5ce2fa325130b764b66ba248c58033

Merge "Nullability check for get_device_api_level_inlines module."

libc/include/bits/get_device_api_level_inlines.h

diff --git a/libc/include/bits/get_device_api_level_inlines.h b/libc/include/bits/get_device_api_level_inlines.h
index d14eb2c..dc5871b 100644
--- a/libc/include/bits/get_device_api_level_inlines.h
+++ b/libc/include/bits/get_device_api_level_inlines.h
@@ -35,8 +35,8 @@
 __BEGIN_DECLS
 
 // Avoid circular dependencies since this is exposed from <sys/cdefs.h>.
-int __system_property_get(const char* __name, char* __value);
-int atoi(const char* __s) __attribute_pure__;
+int __system_property_get(const char* _Nonnull __name, char*  _Nonnull __value);
+int atoi(const char* _Nonnull __s) __attribute_pure__;
 
 __BIONIC_GET_DEVICE_API_LEVEL_INLINE int android_get_device_api_level() {
   char value[92] = { 0 };