structprintf_arguments { int i ; double d ; char
*3s
&4; long long ll ; }; struct msghdr; struct iovec; struct
msghdr { void
*6msg_name
&7; int msg_namelen ; struct iovec
*9msg_iov
&10; int msg_iovlen ; void
*12msg_control
&13; int msg_controllen ; int msg_flags ; }; struct
iovec { char * iov_base ; int iov_len ; };
extern void __ccuredInit(void) ;
extern void abort_deepcopy(char * errmsg ) ; struct msghdr_COMPAT; struct iovec_COMPAT; struct
msghdr_COMPAT { void
*22msg_name
&23; int msg_namelen ; struct iovec_COMPAT * msg_iov ; int msg_iovlen ; void
*28msg_control
&29; int msg_controllen ; int msg_flags ; };
extern int sendmsg(int fd , struct msghdr_COMPAT
*32msg , int flags )
&33; static int /*1*/sendmsg_wrapper3(int fd , struct msghdr
*50msg
&108, int flags )
&51; int foo(int fd , struct iovec
*34array
&37, int array_len )
&35;
int foo(int fd , struct iovec
*34array
&37, int array_len ) { struct msghdr msg
&39; struct iovec * foo___0 ; int tmp ; { msg.msg_name = 0; msg.msg_namelen = 0; msg.msg_iov
= array; msg.msg_iovlen = array_len; msg.msg_control = 0; msg.msg_controllen = 0; msg.msg_flags = 0; foo___0 = msg.msg_iov
+ 1; tmp = /*1*/sendmsg_wrapper3 (fd, & msg, 0); return (tmp); } } struct
iovec_COMPAT { char * iov_base ; int iov_len ; }; extern void __deepcopy_msghdr_to_compat(struct msghdr_COMPAT
*55compat
&58, struct msghdr
*56fat
&59)
&57; //
extern void
*69/*2*/__ptrof_nocheck(void
*70ptr )
&71;
extern int /*3*/__ccured_has_empty_mangling(unsigned int ) ;
extern void
*75/*4*/__trusted_cast(void
*76p )
&77;
extern void
*81/*5*/__ptrof_nocheck(void
*82ptr )
&83;
extern int /*6*/__ccured_has_empty_mangling(unsigned int ) ;
extern void
*87/*7*/__trusted_cast(void
*88p )
&89;
extern void
*93/*8*/__ptrof_nocheck(void
*94ptr )
&95;
extern int /*9*/__ccured_has_empty_mangling(unsigned int ) ;
extern void
*99/*10*/__trusted_cast(void
*100p )
&101; extern void __deepcopy_msghdr_to_compat(struct msghdr_COMPAT
*55compat
&58, struct msghdr
*56fat
&59)
&57;
extern void __deepcopy_msghdr_to_compat(struct msghdr_COMPAT
*55compat
&58, struct msghdr
*56fat
&59) { void
*60__cil_tmp3
&61; int dest_mangling4 ; struct iovec * __cil_tmp5 ; int dest_mangling6 ; void
*66__cil_tmp7
&67; int dest_mangling8 ; { __cil_tmp7 = (void
*66)/*2*/__ptrof_nocheck (fat->msg_name); if (! __cil_tmp7) { { compat->msg_name = 0; } } else { { dest_mangling8 = /*3*/__ccured_has_empty_mangling (sizeof((*__cil_tmp7))); if (dest_mangling8) { { compat->msg_name = (void
*22)/*4*/__trusted_cast (__cil_tmp7); } } else { { abort_deepcopy ((char * )"Abort deepcopy_to_compat for msghdr.msg_name"); } } } } compat->msg_namelen = fat->msg_namelen; __cil_tmp5 = (struct iovec * )/*5*/__ptrof_nocheck (
fat->msg_iov); if (! __cil_tmp5) { { compat->msg_iov = 0; } } else { { dest_mangling6 = /*6*/__ccured_has_empty_mangling (sizeof((*__cil_tmp5))); if (dest_mangling6) { { compat->msg_iov = (struct iovec_COMPAT * )/*7*/__trusted_cast (__cil_tmp5); } } else { { abort_deepcopy ((char * )"Abort deepcopy_to_compat for msghdr.msg_iov"); } } } } compat->msg_iovlen = fat->msg_iovlen; __cil_tmp3 = (void
*60)/*8*/__ptrof_nocheck (fat->msg_control); if (! __cil_tmp3) { { compat->msg_control = 0; } } else { { dest_mangling4 = /*9*/__ccured_has_empty_mangling (sizeof((*__cil_tmp3))); if (dest_mangling4) { { compat->msg_control = (void
*28)/*10*/__trusted_cast (__cil_tmp3); } } else { { abort_deepcopy ((char * )"Abort deepcopy_to_compat for msghdr.msg_control"); } } } } compat->msg_controllen = fat->msg_controllen; compat->msg_flags = fat->msg_flags; } }
extern void
*121/*11*/__ptrof_nocheck(void
*122ptr )
&123;
extern void
*125/*12*/__trusted_cast(void
*126p )
&127;
extern int /*13*/__ccured_has_empty_mangling(unsigned int ) ;
extern void
*130/*14*/__trusted_cast(void
*131p )
&132; static int /*1*/sendmsg_wrapper3(int fd , struct msghdr
*50msg
&108, int flags )
&51;
static int /*1*/sendmsg_wrapper3(int fd , struct msghdr
*50msg
&108, int flags ) { struct msghdr_COMPAT msg1__area
&110; struct msghdr
*111msg1__ptrof
&112; struct msghdr
*113tmp
&114; struct msghdr_COMPAT
*115msg1
&116; struct msghdr_COMPAT
*117tmp___2
&118; int tmp___4 ; int tmp___5 ; { tmp = (struct msghdr
*113)/*11*/__ptrof_nocheck ((void
*124)msg); msg1__ptrof = tmp; if (msg1__ptrof) { tmp___4 = /*13*/__ccured_has_empty_mangling (sizeof(struct msghdr )); if (tmp___4) { tmp___2 = (struct msghdr_COMPAT
*117)/*14*/__trusted_cast ((void
*133)msg1__ptrof); } else { __deepcopy_msghdr_to_compat (& msg1__area, msg1__ptrof); tmp___2 = & msg1__area; } } else { tmp___2 = (struct msghdr_COMPAT
*117)/*12*/__trusted_cast ((void
*128)msg1__ptrof); } msg1 = tmp___2; tmp___5 = sendmsg (fd, msg1, flags); return (tmp___5); } }