diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2017-02-17 11:02:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-17 11:02:28 +0100 |
| commit | db98d9de791c997ccb659ede00239d74926f68f4 (patch) | |
| tree | 78971539decbd3f8d7abca5ff1107e0295d275a9 /cparser/Cflow.ml | |
| parent | cf274c8dbf0e9dcc0a957e6f1f4b26f0b5453789 (diff) | |
| download | compcert-kvx-db98d9de791c997ccb659ede00239d74926f68f4.tar.gz compcert-kvx-db98d9de791c997ccb659ede00239d74926f68f4.zip | |
Added _exit.
Diffstat (limited to 'cparser/Cflow.ml')
| -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 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. |