annotate fdopen() with "ALLOC_RET"

SVF-tools · Sep 8, 2023 · 459880d · 459880d
1 parent 51cdb40
commit 459880d
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/svf-llvm/lib/extapi.c b/svf-llvm/lib/extapi.c
@@ -32,6 +32,12 @@ void *fopen64(const char *voidname, const char *mode)
     return NULL;
 }
 
+__attribute__((annotate("ALLOC_RET")))
+void *fdopen(int fd, const char *mode)
+{
+    return NULL;
+}
+
 __attribute__((annotate("ALLOC_RET")))
 struct dirent64 *readdir64(void *dirp)
 {
@@ -968,11 +974,6 @@ char * dngettext(const char * domainname, const char * msgid, const char * msgid
     return STATIC_OBJECT;
 }
 
-void *fdopen(int fd, const char *mode)
-{
-    return STATIC_OBJECT;
-}
-
 struct group *getgrgid(unsigned int gid)
 {
     return STATIC_OBJECT;