From 68f7ff8f0bf52cc5ad1de1b4df4a0ad02ed84cfd Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Sun, 1 Oct 2023 15:20:25 +0200 Subject: [PATCH] `sched_yield` --- src/analyses/libraryFunctions.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/analyses/libraryFunctions.ml b/src/analyses/libraryFunctions.ml index 16221b7de1..1331c11475 100644 --- a/src/analyses/libraryFunctions.ml +++ b/src/analyses/libraryFunctions.ml @@ -338,6 +338,7 @@ let posix_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[ ("nanosleep", unknown [drop "req" [r]; drop "rem" [w]]); ("setpriority", unknown [drop "which" []; drop "who" []; drop "prio" []]); ("getpriority", unknown [drop "which" []; drop "who" []]); + ("sched_yield", unknown []); ] (** Pthread functions. *) @@ -1096,7 +1097,6 @@ let invalidate_actions = [ "umount", readsAll;(*safe*) "scandir", writes [1;3;4];(*keep [1;3;4]*) "unlink", readsAll;(*safe*) - "sched_yield", readsAll;(*safe*) "sigdelset", readsAll;(*safe*) "sigwait", writesAllButFirst 1 readsAll;(*drop 1*) "bindtextdomain", readsAll;(*safe*)