[infer] modelling android.text.SpannableString.valueOf

Reviewed By: sblackshear

Differential Revision: D7646475

fbshipit-source-id: 0b4c28d

infer/src/eradicate/modelTables.ml

@@ -179,7 +179,10 @@ let mapPut_list =
 (** Models for @Nullable annotations *)
 let annotated_list_nullable =
   check_not_null_list @ check_state_list @ check_argument_list
-  @ [ (o1, "android.app.AlarmManager.cancel(android.app.PendingIntent):void")
+  @ [ ( o1
+      , "android.text.SpannableString.valueOf(java.lang.CharSequence):android.text.SpannableString"
+      )
+    ; (o1, "android.app.AlarmManager.cancel(android.app.PendingIntent):void")
     ; (n1, "android.os.Parcel.writeList(java.util.List):void")
     ; (n2, "android.os.Parcel.writeParcelable(android.os.Parcelable,int):void")
     ; (n1, "android.os.Parcel.writeString(java.lang.String):void")