diff options
Diffstat (limited to 'cparser')
-rw-r--r-- | cparser/Cflow.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Cflow.ml b/cparser/Cflow.ml index 718ae421..250dfe26 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 = - ["exit";"abort";"_Exit";"quick_exit";"thrd_exit"] + ["longjmp";"exit";"abort";"_Exit";"quick_exit";"thrd_exit"] (* Statements are abstracted as "flow transformers": functions from possible inputs to possible outcomes. |