From a43554d3412418f31a3b48c5f9d22439db2bee85 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 eb6e1ad99ba..c4d1acf76a8 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]]); ]