getpgrp

goblint · Oct 1, 2023 · 96ea981 · 96ea981
1 parent 978f6b2
commit 96ea981
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/libraryFunctions.ml b/src/analyses/libraryFunctions.ml
@@ -343,6 +343,7 @@ let posix_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[
     ("getppid", unknown []);
     ("getuid", unknown []);
     ("geteuid", unknown []);
+    ("getpgrp", unknown []);
   ]
 
 (** Pthread functions. *)
@@ -1087,7 +1088,6 @@ let invalidate_actions = [
     "dlclose", readsAll;(*safe*)
     "stat__extinline", writesAllButFirst 1 readsAll;(*drop 1*)
     "lstat__extinline", writesAllButFirst 1 readsAll;(*drop 1*)
-    "getpgrp", readsAll;(*safe*)
     "umount2", readsAll;(*safe*)
     "waitpid", readsAll;(*safe*)
     "statfs", writes [1;3;4];(*keep [1;3;4]*)