From db98d9de791c997ccb659ede00239d74926f68f4 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Fri, 17 Feb 2017 11:02:28 +0100 Subject: Added _exit. --- cparser/Cflow.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cparser/Cflow.ml') diff --git a/cparser/Cflow.ml b/cparser/Cflow.ml index 250dfe26..7b3d3d32 100644 --- a/cparser/Cflow.ml +++ b/cparser/Cflow.ml @@ -24,7 +24,7 @@ module StringSet = Set.Make(String) (* Functions declared noreturn by the standard *) let std_noreturn_functions = - ["longjmp";"exit";"abort";"_Exit";"quick_exit";"thrd_exit"] + ["longjmp";"exit";"_exit";"abort";"_Exit";"quick_exit";"thrd_exit"] (* Statements are abstracted as "flow transformers": functions from possible inputs to possible outcomes. -- cgit