We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 23fc7de commit 765cedeCopy full SHA for 765cede
src/util/library/libraryFunctions.ml
@@ -642,6 +642,7 @@ let glibc_desc_list: (string * LibraryDesc.t) list = LibraryDsl.[
642
("ferror_unlocked", unknown [drop "stream" [r_deep; w_deep]]);
643
("fwrite_unlocked", unknown [drop "buffer" [r]; drop "size" []; drop "count" []; drop "stream" [r_deep; w_deep]]);
644
("clearerr_unlocked", unknown [drop "stream" [w]]); (* TODO: why only w? *)
645
+ ("__fpending", unknown [drop "stream" [r_deep]]);
646
("futimesat", unknown [drop "dirfd" []; drop "pathname" [r]; drop "times" [r]]);
647
("error", unknown ((drop "status" []) :: (drop "errnum" []) :: (drop "format" [r]) :: (VarArgs (drop' [r]))));
648
("warn", unknown (drop "format" [r] :: VarArgs (drop' [r])));
0 commit comments