| // RUN: %clang_cc1 -triple wasm32 -o - -emit-llvm %s | FileCheck %s | |
| // Mangle argc/argv main even when it's not defined in this TU. | |
| #include <stddef.h> | |
| int main(int argc, char *argv[]); | |
| int foo(void) { | |
| return main(0, NULL); | |
| } | |
| // CHECK: call i32 @__main_argc_argv( |