Remove modelling of setObject:forKeyedSubscript: of NSMutableDictionary to mean a crash when object is nil

Reviewed By: akotulski

Differential Revision: D3138627

fb-gh-sync-id: 087f815
fbshipit-source-id: 087f815

infer/models/objc/src/NSMutableDictionary.m

@@ -16,8 +16,6 @@
 @implementation NSMutableDictionary
 
 - (void)setObject:(id)object forKeyedSubscript:(id)aKey {
-  NSObject* obj = (NSObject*)object;
-  id isa = obj->isa;
   NSObject* key = (NSObject*)aKey;
   id isa2 = key->isa;
 }

infer/tests/endtoend/objc/UpdateDictNPETest.java

@@ -52,7 +52,6 @@ public class UpdateDictNPETest {
   public void nullDereferenceTest() throws InterruptedException, IOException, InferException {
     InferResults inferResults = InferRunner.runInferC(inferCmdNPD);
     String[] procedures = {
-        "update_dict_with_null",
         "update_dict_with_key_null",
         "update_array_with_null",
         "add_nil_to_array",