From b9160486b07750fe492d3e9b0639d622a7bccdd1 Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Sun, 1 Oct 2023 14:30:07 +0200 Subject: [PATCH] `clock` --- 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 2b4e61ee73..294952b4d8 100644 --- a/src/analyses/libraryFunctions.ml +++ b/src/analyses/libraryFunctions.ml @@ -138,6 +138,7 @@ let c_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[ ("atol", unknown [drop "nptr" [r]]); ("atoll", unknown [drop "nptr" [r]]); ("setlocale", unknown [drop "category" []; drop "locale" [r]]); + ("clock", unknown []); ] (** C POSIX library functions. @@ -1161,7 +1162,6 @@ let invalidate_actions = [ "assert_failed", readsAll; (*safe*) "munmap", readsAll;(*safe*) "mmap", readsAll;(*safe*) - "clock", readsAll; "__builtin_va_arg_pack_len", readsAll; "__open_too_many_args", readsAll; "usb_submit_urb", readsAll; (* first argument is written to but according to specification must not be read from anymore *)