diff --git a/infer/models/objc/src/NSMutableDictionary.m b/infer/models/objc/src/NSMutableDictionary.m index 7bcccd98c..ac08b1e1d 100644 --- a/infer/models/objc/src/NSMutableDictionary.m +++ b/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; } diff --git a/infer/tests/endtoend/objc/UpdateDictNPETest.java b/infer/tests/endtoend/objc/UpdateDictNPETest.java index 9ad7cd3d8..436c3837b 100644 --- a/infer/tests/endtoend/objc/UpdateDictNPETest.java +++ b/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",