From 3a3c87168427fe774addde9edb848fe706f118cf Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Wed, 2 May 2018 16:25:26 -0700 Subject: [PATCH] [infer][objc] the nullable checker should not report issues involving objectForKeyedSubscript: Reviewed By: sblackshear, jvillard Differential Revision: D7827437 fbshipit-source-id: 6b09c78 --- infer/src/checkers/NullabilityCheck.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/checkers/NullabilityCheck.ml b/infer/src/checkers/NullabilityCheck.ml index a0a5f1754..b380966ed 100644 --- a/infer/src/checkers/NullabilityCheck.ml +++ b/infer/src/checkers/NullabilityCheck.ml @@ -55,7 +55,7 @@ module TransferFunctions (CFG : ProcCfg.S) = struct let is_blacklisted_method : Typ.Procname.t -> bool = - let blacklist = ["URLWithString:"] in + let blacklist = ["URLWithString:"; "objectForKeyedSubscript:"] in fun proc_name -> let simplified_callee_pname = Typ.Procname.to_simplified_string proc_name in List.exists ~f:(String.equal simplified_callee_pname) blacklist