From 3aab987d8fa6189da1f67046906052dc22cfba11 Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Wed, 4 Oct 2023 10:52:32 +0200 Subject: [PATCH] Rm duplicate `fstat` Co-authored-by: Simmo Saan --- src/analyses/libraryFunctions.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/analyses/libraryFunctions.ml b/src/analyses/libraryFunctions.ml index 4ce755f71e..379f8b621b 100644 --- a/src/analyses/libraryFunctions.ml +++ b/src/analyses/libraryFunctions.ml @@ -386,7 +386,6 @@ let posix_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[ ("unlink", unknown [drop "pathname" [r]]); ("popen", unknown [drop "command" [r]; drop "type" [r]]); ("stat", unknown [drop "pathname" [r]; drop "statbuf" [w]]); - ("fstat", unknown [drop "fd" []; drop "statbuf" [w]]); ("statfs", unknown [drop "path" [r]; drop "buf" [w]]); ]