Rm duplicate fstat

michael-schwarz · sim642 · web-flow · commit a43554d34124 · 2023-10-04T10:52:32.000+02:00
Co-authored-by: Simmo Saan &lt;simmo.saan@gmail.com&gt;
diff --git 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]]);
   ]
 

Original file line number	Diff line number	Diff line change
`@@ -386,7 +386,6 @@ let posix_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[`
`386`	`386`	`("unlink", unknown [drop "pathname" [r]]);`
`387`	`387`	`("popen", unknown [drop "command" [r]; drop "type" [r]]);`
`388`	`388`	`("stat", unknown [drop "pathname" [r]; drop "statbuf" [w]]);`
`389`		`- ("fstat", unknown [drop "fd" []; drop "statbuf" [w]]);`
`390`	`389`	`("statfs", unknown [drop "path" [r]; drop "buf" [w]]);`
`391`	`390`	`]`
`392`	`391`