From fdd2758c7c5fe83fda6b611f2aca185909155298 Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Sun, 1 Oct 2023 15:36:58 +0200 Subject: [PATCH] `isatty` --- src/analyses/libraryFunctions.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/analyses/libraryFunctions.ml b/src/analyses/libraryFunctions.ml index 1acbbc1ab2..5ee8f1ce16 100644 --- a/src/analyses/libraryFunctions.ml +++ b/src/analyses/libraryFunctions.ml @@ -347,6 +347,7 @@ let posix_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[ ("setrlimit", unknown [drop "resource" []; drop "rlim" [r]]); ("getrlimit", unknown [drop "resource" []; drop "rlim" [w]]); ("setsid", unknown []); + ("isatty", unknown [drop "fd" []]); ] (** Pthread functions. *) @@ -1172,8 +1173,6 @@ let invalidate_actions = [ "idr_pre_get", readsAll; "zil_replay", writes [1;2;3;5]; "__VERIFIER_nondet_int", readsAll; (* no args, declare invalidate actions to prevent invalidating globals when extern in regression tests *) - (* no args, declare invalidate actions to prevent invalidating globals *) - "isatty", readsAll; (* ddverify *) "__goblint_assume_join", readsAll; ]