[iOS] Incorrect Memory Leak Detection

[akkrat]

I see this as a MEMORY_LEAK. Is there a way to silence this? (using infer v0.12.1):

• (NSString )devicePlatformString { size_t size; sysctlbyname("hw.machine", NULL, &size, NULL, 0); char machine = malloc(size); sysctlbyname("hw.machine", machine, &size, NULL, 0); // <= error here NSString *platform = [NSString stringWithUTF8String:machine]; free(machine); return platform; }

Message: error: MEMORY_LEAK memory dynamically allocated to machine by call to malloc() at line 505, column 21 (char *machine = malloc(size);) is not reachable after line 506, column 5 (sysctlbyname("hw.machine", machine, &size, NULL, 0);)

Previous issue was closed #52 , but it contains a new comment.

[dulmarod]

There isn't a way to silence individual bugs at the moment.