Add usleep to libraryFunctions

goblint · Apr 6, 2021 · 8ab303c · 8ab303c
1 parent c31f43b
commit 8ab303c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/analyses/libraryFunctions.ml b/src/analyses/libraryFunctions.ml
@@ -322,6 +322,7 @@ let invalidate_actions = ref [
     "svcudp_create", readsAll;(*safe*)
     "svc_register", writesAll;(*unsafe*)
     "sleep", readsAll;(*safe*)
+    "usleep", readsAll;
     "svc_run", writesAll;(*unsafe*)
     "dup", readsAll; (*safe*)
     "__builtin_expect", readsAll; (*safe*)