structprintf_arguments { int i ; double d ; char
*3s
&4; long long ll ; }; struct
str { int * * ptrptr ; float f ; }; union
bar { int anint ; struct str structure ; int * ptrint ; }; struct
host { short tag ; union bar data ; };
extern void __ccuredInit(void) ;
extern void abort_deepcopy(char * errmsg ) ;
struct host g ;
int x ;
static void /*1*/CHECK_INITUNIONFIELD(int selected , void
*24unionp , unsigned int size )
&25; int main(void) ;
int main(void) { int * px ; { __ccuredAlwaysStopOnError = 0; __ccuredUseStrings = 1; __ccuredLogNonPointers = 0; __ccuredInit (); /*1*/CHECK_INITUNIONFIELD (g .tag == (short)12, & g .data, sizeof(g .data)); g .tag = (short)12; CHECK_UNIONTAG(g .tag >= 10 && g .tag <= 12); g .data.ptrint = & x ; CHECK_UNIONTAG(g .tag >= 10 && g .tag <= 12); px = g .data.ptrint; return (0); } }