structprintf_arguments { int i ; double d ; char
*3s
&4; long long ll ; };
extern void __ccuredInit(void) ;
extern void abort_deepcopy(char * errmsg ) ;
extern char
*9strchr(char * , int )
&11; // char
*19/*1*/strchr_wrapper4(char * str , int chr )
&21; void foo(char * s ) ;
void foo(char * s ) { char
*15res
&16; char
*17tmp
&18; { tmp = (
char
*17)/*1*/strchr_wrapper4 (s, 'q'); res
= tmp; res = res
+ 1; return; } }
extern void
*34/*2*/__ptrof_nocheck(void
*35ptr )
&36;
extern void
*38/*3*/__trusted_cast(unsigned int p )
&40;
extern void
*46/*4*/__trusted_cast(void
*47p )
&48;
extern char
*55/*5*/__mkptr_string(char
*56p )
&57; char
*19/*1*/strchr_wrapper4(char * str , int chr )
&21;
char
*19/*1*/strchr_wrapper4(char * str , int chr ) { char
*24result
&25; char * safestr ; char * tmp ; void
*30tmp___0
&31; char
*32tmp___1
&33; { tmp = (char * )/*2*/__ptrof_nocheck ((void
*37)str); safestr = tmp; result = result
+ 1; result = (
char
*24)/*3*/__trusted_cast ((
void
*41)((unsigned long )result + (unsigned long )sizeof((*result)))); result
= (
char
*42)((
int
*43
*44
*45)result); tmp___0 = (
void
*30)/*4*/__trusted_cast (
(
void
*49)result); result
= (
char
*50)((
int
*51
*52
*53)tmp___0); result = (
char
*24)strchr ((char * )safestr, chr); tmp___1 = (
char
*32)/*5*/__mkptr_string (
result);
return (tmp___1); } }