Changeset 478c610 for libcfa/prelude/bootloader.cf

Timestamp:

Aug 9, 2021, 3:46:52 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

9373b6a

Parents:

ebf3989

Message:

Added cfa_main_returned to figure out if the main returned normally

File:

• libcfa/prelude/bootloader.cf (modified) (2 diffs)

libcfa/prelude/bootloader.cf

@@ -3 +3 @@
 char ** cfa_args_argv;
 char ** cfa_args_envp;
+int cfa_main_returned = 0;
 
 int main(int argc, char* argv[], char* envp[]) {
@@ -8 +9 @@
         cfa_args_argv = argv;
         cfa_args_envp = envp;
-        return invoke_main(argc, argv, envp);
+        int ret = invoke_main(argc, argv, envp);
+        cfa_main_returned = 1;
+        return ret;
 }