[infer][objc] the nullable checker should not report issues involving objectForKeyedSubscript:

Reviewed By: sblackshear, jvillard

Differential Revision: D7827437

fbshipit-source-id: 6b09c78
master
Jeremy Dubreil 7 years ago committed by Facebook Github Bot
parent d7cf002461
commit 3a3c871684

@ -55,7 +55,7 @@ module TransferFunctions (CFG : ProcCfg.S) = struct
let is_blacklisted_method : Typ.Procname.t -> bool = let is_blacklisted_method : Typ.Procname.t -> bool =
let blacklist = ["URLWithString:"] in let blacklist = ["URLWithString:"; "objectForKeyedSubscript:"] in
fun proc_name -> fun proc_name ->
let simplified_callee_pname = Typ.Procname.to_simplified_string proc_name in let simplified_callee_pname = Typ.Procname.to_simplified_string proc_name in
List.exists ~f:(String.equal simplified_callee_pname) blacklist List.exists ~f:(String.equal simplified_callee_pname) blacklist

Loading…
Cancel
Save