Add a model for gzdopen

Summary: Add model for gzdopen

Reviewed By: ddino

Differential Revision: D3223727

fb-gh-sync-id: a4d55fb
fbshipit-source-id: a4d55fb

infer/models/c/src/libc_basic.c

@@ -494,6 +494,9 @@ FILE* fdopen(int fildes, const char* mode) {
   return fopen("foo", mode);
 }
 
+// modeled using fdopen
+FILE* gzdopen(int fildes, const char* mode) { return fdopen(fildes, mode); }
+
 // return nonteterministically 0 or -1
 // requires stream to be allocated
 int fseek(FILE* stream, long int offset, int whence) {

infer/tests/codetoanalyze/c/errors/resource_leaks/leak.c

@@ -39,6 +39,22 @@ void fileClosed() {
   }
 }
 
+FILE* handler;
+
+void fdopen_example() {
+  int fd = open("hi.txt", O_WRONLY | O_CREAT | O_TRUNC, 0600);
+  if (fd != -1) {
+    handler = fdopen(fd, "w");
+  }
+}
+
+void gzdopen_example() {
+  int fd = open("hi.txt", O_WRONLY | O_CREAT | O_TRUNC, 0600);
+  if (fd != -1) {
+    handler = gzdopen(fd, "w");
+  }
+}
+
 void socketNotClosed() {
   int fd = socket(AF_LOCAL, SOCK_RAW, 0);
   if (fd != -1) {

infer/tests/endtoend/c/ResourceLeakTest.java

@@ -10,7 +10,7 @@
 package endtoend.c;
 
 import static org.hamcrest.MatcherAssert.assertThat;
-import static utils.matchers.ResultContainsTheseErrors.contains;
+import static utils.matchers.ResultContainsExactly.containsExactly;
 
 import org.junit.BeforeClass;
 import org.junit.Test;
@@ -41,11 +41,10 @@ public class ResourceLeakTest {
         "fileNotClosed",
         "socketNotClosed"
     };
-
     assertThat(
         "Results should contain " + RESOURCE_LEAK,
         inferResults,
-        contains(
+        containsExactly(
             RESOURCE_LEAK,
             SOURCE_FILE,
             functions