/* This file is part of GCC. GCC is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3, or (at your option) any later version. GCC is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with GCC; see the file COPYING3. If not see . */ #ifdef HAVE_CONFIG_H #include "config.h" #endif #include #include #include #include #include #include #include #include #include typedef void (*gpy_main_start)(void); extern unsigned char * __GPY_entry; int main (int argc, char *argv[]) { gpy_rr_init_runtime (); gpy_main_start __entry = (gpy_main_start)__GPY_entry; __entry (); gpy_rr_cleanup_final (); return 0; }