blob: bf62174719b2f777ef530363c128c9917b177991 [file] [log] [blame]
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);
}
}
}