Changeset 13de47bc for src/tests/.expect/32

Timestamp:

Jan 12, 2017, 3:28:29 PM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

aaa1a99a

Parents:

7cc2c8d

Message:

Proper bootloader boilerplate implemented

Location:

src/tests/.expect/32

Files:

• declarationSpecifier.txt (modified) (1 diff)
• gccExtensions.txt (modified) (1 diff)

src/tests/.expect/32/declarationSpecifier.txt

@@ -628 +628 @@
     return ((int )___retval_main__i_1);
 }
-int main(int argc, char** argv) { return __main__Fi_iPPCc__1(argc, argv); }
-
+extern void *malloc(long unsigned int __size);
+extern void free(void *__ptr);
+extern void abort(void);
+extern int atexit(void (*__func)(void));
+extern void exit(int __status);
+extern int printf(const char *__restrict __format, ...);
+static inline int invoke_main(int argc, char **argv, char **envp);
+int main(int __argc__i_1, char **__argv__PPc_1, char **__envp__PPc_1){
+    int ___retval_main__i_1;
+    int _tmp_cp_ret0;
+    ((void)(___retval_main__i_1=((_tmp_cp_ret0=invoke_main(__argc__i_1, __argv__PPc_1, __envp__PPc_1)) , _tmp_cp_ret0)) /* ?{} */);
+    ((void)(_tmp_cp_ret0) /* ^?{} */);
+    return ((int )___retval_main__i_1);
+}

src/tests/.expect/32/gccExtensions.txt

@@ -165 +165 @@
     return ((int )___retval_main__i_1);
 }
-int main(int argc, char** argv) { return __main__Fi_iPPCc__1(argc, argv); }
+static inline int invoke_main(int argc, char* argv[], char* envp[]) { return __main__Fi_iPPCc__1(argc, argv); }
+extern void *malloc(long unsigned int __size);
+extern void free(void *__ptr);
+extern void abort(void);
+extern int atexit(void (*__func)(void));
+extern void exit(int __status);
+extern int printf(const char *__restrict __format, ...);
+static inline int invoke_main(int argc, char **argv, char **envp);
+int main(int __argc__i_1, char **__argv__PPc_1, char **__envp__PPc_1){
+    int ___retval_main__i_1;
+    int _tmp_cp_ret0;
+    ((void)(___retval_main__i_1=((_tmp_cp_ret0=invoke_main(__argc__i_1, __argv__PPc_1, __envp__PPc_1)) , _tmp_cp_ret0)) /* ?{} */);
+    ((void)(_tmp_cp_ret0) /* ^?{} */);
+    return ((int )___retval_main__i_1);
+}