_Exit / _exit

goblint · Nov 8, 2023 · b3ef062 · b3ef062
1 parent 8972bd8
commit b3ef062
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/analyses/libraryFunctions.ml b/src/analyses/libraryFunctions.ml
@@ -149,6 +149,8 @@ let c_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[
     ("atomic_flag_test_and_set_explicit", unknown [drop "obj" [r; w]; drop "order" []]);
     ("atomic_load", unknown [drop "obj" [r]]);
     ("atomic_store", unknown [drop "obj" [w]; drop "desired" []]);
+    ("_Exit", special [drop "status" []] @@ Abort);
+    ("_exit", special [drop "status" []] @@ Abort);
   ]
 
 (** C POSIX library functions.