structprintf_arguments { int i ; double d ; char
*3s
&4; long long ll ; };
typedef unsigned int size_t;
typedef long long __quad_t;
typedef long __off_t;
typedef __quad_t __off64_t; struct _IO_FILE;
typedef struct _IO_FILE FILE; struct __ccured_va_list; struct _IO_FILE;
typedef void _IO_lock_t; struct
_IO_marker { struct _IO_marker
*6_next
&7; struct _IO_FILE
*8_sbuf
&9; int _pos ; }; struct
_IO_FILE { int _flags ; char * _IO_read_ptr ; char * _IO_read_end ; char * _IO_read_base ; char * _IO_write_base ; char * _IO_write_ptr ; char * _IO_write_end ; char * _IO_buf_base ; char * _IO_buf_end ; char * _IO_save_base ; char * _IO_backup_base ; char * _IO_save_end ; struct _IO_marker
*34_markers
&35; struct _IO_FILE
*36_chain
&37; int _fileno ; int _flags2 ; __off_t _old_offset ; unsigned short _cur_column ; signed char _vtable_offset ; char _shortbuf[1] ; _IO_lock_t * _lock ; __off64_t _offset ; void
*48__pad1
&49; void
*50__pad2
&51; int _mode ; char _unused2[(int )(15U * sizeof(int ) - 2U * sizeof(void * ))] ; };
typedef struct _IO_FILE _IO_FILE; struct
scanf_format { int * p_int ; double * p_double ; long * p_long ; unsigned int * p_uint ; unsigned long * p_ulong ; char * p_char ; short * p_short ; long long * p_longlong ; unsigned long long * p_ulonglong ; }; struct
__ccured_va_list { int next ; };
unsigned long GCC_STDARG_START(void) ;
extern void __ccuredInit(void) ;
extern void ccured_fail(int msgId , char const * file , int line , char const * function ) ;
extern unsigned int __ccured_mult_u32(unsigned int x , unsigned int y ) ;
extern void abort_deepcopy(char * errmsg ) ; struct _IO_FILE_COMPAT;
typedef struct _IO_FILE_COMPAT _IO_FILE_COMPAT; struct _IO_marker_COMPAT; struct
_IO_FILE_COMPAT { int _flags ; char * _IO_read_ptr ; char * _IO_read_end ; char * _IO_read_base ; char * _IO_write_base ; char * _IO_write_ptr ; char * _IO_write_end ; char * _IO_buf_base ; char * _IO_buf_end ; char * _IO_save_base ; char * _IO_backup_base ; char * _IO_save_end ; struct _IO_marker_COMPAT
*105_markers
&106; struct _IO_FILE_COMPAT
*107_chain
&108; int _fileno ; int _flags2 ; __off_t _old_offset ; unsigned short _cur_column ; signed char _vtable_offset ; char _shortbuf[1] ; _IO_lock_t * _lock ; __off64_t _offset ; void
*119__pad1
&120; void
*121__pad2
&122; int _mode ; char _unused2[(int )(15U * sizeof(int ) - 2U * sizeof(void * ))] ; };
extern int _IO_getc(_IO_FILE_COMPAT
*126__fp )
&127; struct
_IO_marker_COMPAT { struct _IO_marker_COMPAT
*128_next
&129; struct _IO_FILE_COMPAT
*130_sbuf
&131; int _pos ; };
extern int _IO_putc(int __c , _IO_FILE_COMPAT
*133__fp )
&134;
typedef struct _IO_FILE_COMPAT FILE_COMPAT;
extern int fclose(FILE_COMPAT
*135__stream )
&136;
extern int fflush(FILE_COMPAT
*137__stream )
&138;
extern FILE_COMPAT
*139fopen(char const * __filename , char const * __modes )
&142;
extern FILE_COMPAT
*143fdopen(int __fd , char const * __modes )
&145;
extern int ( __CCUREDFORMAT(3) __CCUREDVARARG(struct printf_arguments ) /* format attribute */ vsnprintf)(char * __s , size_t __maxlen , char const * __format , struct __ccured_va_list * __arg ) ;
extern int fgetc(FILE_COMPAT
*150__stream )
&151;
extern int fputc(int __c , FILE_COMPAT
*152__stream )
&153;
extern char * fgets(char * __s , int __n , FILE_COMPAT
*156__stream )
&157;
extern int fputs(char const * __s , FILE_COMPAT
*159__stream )
&160;
extern int puts(char const * __s ) ;
extern size_t fread(void
*163__ptr , size_t __size , size_t __n , FILE_COMPAT
*164__stream )
&165;
extern size_t fwrite(void const
*166__ptr , size_t __size , size_t __n , FILE_COMPAT
*167__s )
&168;
extern int fseek(FILE_COMPAT
*169__stream , long __off , int __whence )
&170;
extern void clearerr(FILE_COMPAT
*171__stream )
&172;
extern int ferror(FILE_COMPAT
*173__stream )
&174;
extern void perror(char const * __s ) ;
extern int fileno(FILE_COMPAT
*177__stream )
&178;
extern void ccured_fscanf_string_len(FILE
*179 , char * format , char * buffer , long bufflen )
&182; // // // // // // // // // // // // // // // // // // //
extern void __ccured_va_start(struct __ccured_va_list * , unsigned long ) ;
extern void __ccured_va_end(struct __ccured_va_list * ) ;
extern int __ccured_vsnprintf(char * buffer , int size , char const * format , struct __ccured_va_list * args ) ; // // // // // struct
__ccured_va_localinfo { int next ; int count ; int tags[32] ; void * nextp ; };
void __ccured_va_init(struct __ccured_va_list * vainfo ) ; static int ( __CCUREDFORMAT(3) __CCUREDVARARG(struct printf_arguments ) /*1*/vsnprintf_wrapper)(char
*203buf
&218, size_t n , char const
*204format
&220, struct __ccured_va_list * ap )
&206; static int /*2*/puts_wrapper(char * s ) ; void myprintf(int level , char const
*191fmt
&194 , ...)
&192;
void myprintf(int level , char const
*191fmt
&194 , ...) { struct __ccured_va_list * ap ; char msgbuf[2048
]197
&198; unsigned long tmp ; struct __ccured_va_localinfo ap__vainfo6 ; { ap = & ap__vainfo6; __ccured_va_init (ap); tmp = GCC_STDARG_START (); __ccured_va_start (ap, tmp); /*1*/vsnprintf_wrapper (
(char
*207)(msgbuf), sizeof(msgbuf),
(
char const
*208)fmt, ap); /*2*/puts_wrapper ((char const * )(msgbuf)); __ccured_va_end (ap); return; } }
extern int __ccured_va_count ;
extern int __ccured_va_tags[32] ; int main(void) ;
int main(void) { { __ccuredAlwaysStopOnError = 0; __ccuredUseStrings = 1; __ccuredLogNonPointers = 0; __ccuredInit (); __ccured_va_tags [0] = 1 | (0 << 8); __ccured_va_count = 2; myprintf (0,
(char
*216)"Hello, %s! 2+2=%d\n", (char const * )((char * )"world"), 4); return (0); } }
extern void /*3*/__write_at_least(void
*227ptr , unsigned int n )
&228;
extern char * /*4*/__stringof(char const
*231ptr )
&232;
extern void
*233/*5*/__ptrof(void
*234ptr )
&235; static int ( __CCUREDFORMAT(3) __CCUREDVARARG(struct printf_arguments ) /*1*/vsnprintf_wrapper)(char
*203buf
&218, size_t n , char const
*204format
&220, struct __ccured_va_list * ap )
&206;
static int ( __CCUREDFORMAT(3) __CCUREDVARARG(struct printf_arguments ) /*1*/vsnprintf_wrapper)(char
*203buf
&218, size_t n , char const
*204format
&220, struct __ccured_va_list * ap ) { char * tmp ; void
*224tmp___0
&225; int tmp___1 ; { /*3*/__write_at_least (
(
void
*229)buf, n); tmp = (char * )/*4*/__stringof (
format); tmp___0 = (void
*224)/*5*/__ptrof (
(
void
*236)buf); tmp___1 = __ccured_vsnprintf ((char * )tmp___0, (int )n, (char const * )tmp, ap); return (tmp___1); } }
extern void
*243/*6*/__ptrof(void
*244ptr )
&245; static int /*2*/puts_wrapper(char * s ) ;
static int /*2*/puts_wrapper(char * s ) { void
*240tmp
&241; int tmp___0 ; { tmp = (void
*240)/*6*/__ptrof ((void
*246)s); tmp___0 = puts ((char const * )tmp); return (tmp___0); } } struct
autoVarargDescr_myprintf { int auto0 ; char const * auto1 ; };