| typedef struct atype | |
| { | |
| float bg[1], cg[1]; | |
| _Bool ant; | |
| }atype; | |
| void cp_assert(_Bool*, float*, int*, _Bool*); | |
| void f(atype **rng_stream, int *error, float u) | |
| { | |
| _Bool t = *rng_stream != 0; | |
| float routinep; | |
| _Bool failure; | |
| cp_assert ( &t, &routinep, error, &failure); | |
| if (failure == 0) | |
| { | |
| typedef float ty[1]; | |
| ty *tt = &((*rng_stream)->bg); | |
| int i = 1; | |
| do | |
| { | |
| (*tt)[i - 1] = u; | |
| i ++; | |
| }while (i > 1); | |
| { | |
| ty *tt = &(*rng_stream)->cg; | |
| int i = 1; | |
| do | |
| { | |
| (*tt)[i - 1] = u; | |
| i ++; | |
| }while (i > 1); | |
| } | |
| } | |
| } | |