1*822c5c50SSimon Pilgrim // RUN: %clang_cc1 -triple wasm32 -o - -emit-llvm %s | FileCheck %s 2*822c5c50SSimon Pilgrim 3*822c5c50SSimon Pilgrim // Mangle argc/argv main even when it's not defined in this TU. 4*822c5c50SSimon Pilgrim 5*822c5c50SSimon Pilgrim #include <stddef.h> 6*822c5c50SSimon Pilgrim 7*822c5c50SSimon Pilgrim int main(int argc, char *argv[]); 8*822c5c50SSimon Pilgrim foo(void)9*822c5c50SSimon Pilgrimint foo(void) { 10*822c5c50SSimon Pilgrim return main(0, NULL); 11*822c5c50SSimon Pilgrim } 12*822c5c50SSimon Pilgrim 13*822c5c50SSimon Pilgrim // CHECK: call i32 @__main_argc_argv( 14