From 1596fc7e85cba54c9629d871a312cd43675eab57 Mon Sep 17 00:00:00 2001 From: Joshua Selbo Date: Fri, 12 Feb 2021 03:22:45 -0800 Subject: [PATCH] [nullsafe] Register android.provider.Settings content Uris Reviewed By: mityal Differential Revision: D26345642 fbshipit-source-id: 752188338 --- infer/src/nullsafe/modelTables.ml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/infer/src/nullsafe/modelTables.ml b/infer/src/nullsafe/modelTables.ml index f504d16f5..b46744850 100644 --- a/infer/src/nullsafe/modelTables.ml +++ b/infer/src/nullsafe/modelTables.ml @@ -769,6 +769,12 @@ let field_nullability = ; ("android.net.Uri.EMPTY", o) ; ("android.provider.MediaStore$Images$Media.EXTERNAL_CONTENT_URI", o) ; ("android.provider.MediaStore$Images$Media.INTERNAL_CONTENT_URI", o) + ; ("android.provider.Settings$Global.CONTENT_URI", o) + ; ("android.provider.Settings$Secure.CONTENT_URI", o) + ; ("android.provider.Settings$System.CONTENT_URI", o) + ; ("android.provider.Settings$System.DEFAULT_ALARM_ALERT_URI", o) + ; ("android.provider.Settings$System.DEFAULT_NOTIFICATION_URI", o) + ; ("android.provider.Settings$System.DEFAULT_RINGTONE_URI", o) ; ("android.opengl.EGL10.EGL_NO_CONTEXT", o) ; ("android.opengl.EGL10.EGL_NO_DISPLAY", o) ; ("android.opengl.EGL10.EGL_NO_SURFACE", o)