float callee_af1( union bt1 ap1, unsigned short int bp1 )
{
/* seed: 12345 */
QUEST_ASSERT (iv1.gv1 == ap1.gv1);
QUEST_ASSERT (jv1 == bp1);
return av1;
}
float
callee_af4(
float *ap4,
double bp4[1],
union bt4 cp4,
union et4 dp4,
float ep4,
union ft4 fp4,
union ht4 gp4,
short int hp4,
float (*ip4)[2]
)
{
/* seed: 64714718 */
QUEST_ASSERT (zv4 == ap4);
QUEST_ASSERT (bav4[0] == bp4[0]);
QUEST_ASSERT (bbv4.ev4 == cp4.ev4);
QUEST_ASSERT (bcv4.ov4.gv4 == dp4.ov4.gv4);
QUEST_ASSERT (bdv4 == ep4);
QUEST_ASSERT (bev4.rv4 == fp4.rv4);
QUEST_ASSERT (bfv4.wv4 == gp4.wv4);
QUEST_ASSERT (bgv4 == hp4);
QUEST_ASSERT (bhv4 == ip4);
return av4;
}
static void caller_bf5( )
{
char *bav5;
/* seed: -39245689 */
bav5 = callee_af5 (sv5, tv5, uv5, vv5, wv5, xv5, yv5, zv5);
QUEST_ASSERT (av5 == bav5);
}
static void caller_bf3( )
{
union at3 bbv3;
/* seed: 1070052262 */
bbv3 = callee_af3 (tv3, uv3, vv3, wv3, xv3, yv3, zv3, bav3);
QUEST_ASSERT (bv3.av3 == bbv3.av3);
}
static void caller_bf2( )
{
double gv2;
/* seed: 383824054 */
gv2 = callee_af2 (bv2, cv2, dv2, ev2, fv2);
QUEST_ASSERT (av2 == gv2);
}
static void caller_bf2( )
{
unsigned int cv2;
/* seed: -1067149487 */
cv2 = callee_af2 (bv2);
QUEST_ASSERT (av2 == cv2);
}
static void caller_bf4( )
{
unsigned long int *bcv4;
/* seed: 834332115 */
bcv4 = callee_af4 (sv4, tv4, uv4, vv4, wv4, xv4, yv4, zv4, bav4, bbv4);
QUEST_ASSERT (av4 == bcv4);
}
static void caller_bf3( )
{
unsigned short int dv3;
/* seed: 722884747 */
dv3 = callee_af3 (bv3, cv3);
QUEST_ASSERT (av3 == dv3);
}
static void caller_bf4( )
{
double iv4;
/* seed: 459733091 */
iv4 = callee_af4 (bv4, cv4, dv4, ev4, fv4, gv4, hv4);
QUEST_ASSERT (av4 == iv4);
}
static void caller_bf5( )
{
float jv5;
/* seed: 931216817 */
jv5 = callee_af5 (bv5, cv5, dv5, ev5, fv5, gv5, hv5, iv5);
QUEST_ASSERT (av5 == jv5);
}
double
callee_af2(
unsigned char ap2,
float bp2,
unsigned long int cp2,
double dp2[1],
double ep2
)
{
/* seed: 383824054 */
QUEST_ASSERT (bv2 == ap2);
QUEST_ASSERT (cv2 == bp2);
QUEST_ASSERT (dv2 == cp2);
QUEST_ASSERT (ev2[0] == dp2[0]);
QUEST_ASSERT (fv2 == ep2);
return av2;
}
float callee_af1( union at1 ap1, struct bt1 bp1 )
{
/* seed: 12345 */
QUEST_ASSERT (kv1.bv1 == ap1.bv1);
QUEST_ASSERT (lv1.dv1 == bp1.dv1);
QUEST_ASSERT (lv1.ev1 == bp1.ev1);
QUEST_ASSERT (lv1.fv1 == bp1.fv1);
QUEST_ASSERT (lv1.gv1 == bp1.gv1);
QUEST_ASSERT (lv1.hv1 == bp1.hv1);
QUEST_ASSERT (lv1.iv1 == bp1.iv1);
QUEST_ASSERT (lv1.jv1 == bp1.jv1);
return av1;
}
char *
callee_af5(
long int ap5[1],
float *bp5,
struct at5 cp5,
double dp5,
struct bt5 ep5,
union ct5 fp5,
union dt5 gp5,
long int hp5[1]
)
{
/* seed: -39245689 */
QUEST_ASSERT (sv5[0] == ap5[0]);
QUEST_ASSERT (tv5 == bp5);
QUEST_ASSERT (uv5.bv5 == cp5.bv5);
QUEST_ASSERT (uv5.cv5 == cp5.cv5);
QUEST_ASSERT (uv5.dv5 == cp5.dv5);
QUEST_ASSERT (uv5.ev5 == cp5.ev5);
QUEST_ASSERT (uv5.fv5 == cp5.fv5);
QUEST_ASSERT (uv5.gv5 == cp5.gv5);
QUEST_ASSERT (vv5 == dp5);
QUEST_ASSERT (wv5.hv5 == ep5.hv5);
QUEST_ASSERT (wv5.iv5 == ep5.iv5);
QUEST_ASSERT (wv5.jv5 == ep5.jv5);
QUEST_ASSERT (wv5.kv5 == ep5.kv5);
QUEST_ASSERT (wv5.lv5 == ep5.lv5);
QUEST_ASSERT (wv5.mv5 == ep5.mv5);
QUEST_ASSERT (wv5.nv5 == ep5.nv5);
QUEST_ASSERT (wv5.ov5 == ep5.ov5);
QUEST_ASSERT (xv5.pv5 == fp5.pv5);
QUEST_ASSERT (yv5.qv5 == gp5.qv5);
QUEST_ASSERT (zv5[0] == hp5[0]);
return av5;
}
struct ct5
callee_af5(
float ap5,
union et5 bp5,
long int cp5,
union ft5 dp5,
struct ht5 ep5,
float fp5,
unsigned char **gp5,
union jt5 hp5,
struct mt5 ip5
)
{
/* seed: 23144859 */
QUEST_ASSERT (byv5 == ap5);
QUEST_ASSERT (bzv5.rv5.ov5 == bp5.rv5.ov5);
QUEST_ASSERT (cav5 == cp5);
QUEST_ASSERT (cbv5.uv5 == dp5.uv5);
QUEST_ASSERT (ccv5.bav5 == ep5.bav5);
QUEST_ASSERT (ccv5.bbv5 == ep5.bbv5);
QUEST_ASSERT (ccv5.bcv5 == ep5.bcv5);
QUEST_ASSERT (ccv5.bdv5.vv5 == ep5.bdv5.vv5);
QUEST_ASSERT (ccv5.bdv5.wv5 == ep5.bdv5.wv5);
QUEST_ASSERT (ccv5.bdv5.xv5 == ep5.bdv5.xv5);
QUEST_ASSERT (ccv5.bdv5.yv5 == ep5.bdv5.yv5);
QUEST_ASSERT (ccv5.bdv5.zv5 == ep5.bdv5.zv5);
QUEST_ASSERT (cdv5 == fp5);
QUEST_ASSERT (cev5 == gp5);
QUEST_ASSERT (cfv5.bnv5.bev5 == hp5.bnv5.bev5);
QUEST_ASSERT (cfv5.bnv5.bfv5 == hp5.bnv5.bfv5);
QUEST_ASSERT (cfv5.bnv5.bgv5 == hp5.bnv5.bgv5);
QUEST_ASSERT (cfv5.bnv5.bhv5 == hp5.bnv5.bhv5);
QUEST_ASSERT (cfv5.bnv5.biv5 == hp5.bnv5.biv5);
QUEST_ASSERT (cfv5.bnv5.bjv5 == hp5.bnv5.bjv5);
QUEST_ASSERT (cfv5.bnv5.bkv5 == hp5.bnv5.bkv5);
QUEST_ASSERT (cfv5.bnv5.blv5 == hp5.bnv5.blv5);
QUEST_ASSERT (cfv5.bnv5.bmv5 == hp5.bnv5.bmv5);
QUEST_ASSERT (cgv5.bsv5.bov5 == ip5.bsv5.bov5);
QUEST_ASSERT (cgv5.btv5 == ip5.btv5);
QUEST_ASSERT (cgv5.buv5 == ip5.buv5);
QUEST_ASSERT (cgv5.bvv5 == ip5.bvv5);
QUEST_ASSERT (cgv5.bwv5 == ip5.bwv5);
QUEST_ASSERT (cgv5.bxv5.bpv5 == ip5.bxv5.bpv5);
return nv5;
}
unsigned char callee_af3( float ap3 )
{ /* seed: 834433004 */ QUEST_ASSERT (bv3 == ap3); return av3; }
static void caller_bf1( )
{
float dv1;
/* seed: 12345 */ dv1 = callee_af1 (bv1, cv1); QUEST_ASSERT (av1 == dv1);
}
static void caller_bf1( )
{
float mv1;
/* seed: 12345 */ mv1 = callee_af1 (kv1, lv1); QUEST_ASSERT (av1 == mv1);
}
union at3
callee_af3(
unsigned long int *ap3,
union bt3 bp3,
union ct3 cp3,
int dp3,
double *ep3,
struct dt3 fp3,
struct et3 gp3,
long int hp3[1]
)
{
/* seed: 1070052262 */
QUEST_ASSERT (tv3 == ap3);
QUEST_ASSERT (uv3.cv3 == bp3.cv3);
QUEST_ASSERT (vv3.fv3 == cp3.fv3);
QUEST_ASSERT (wv3 == dp3);
QUEST_ASSERT (xv3 == ep3);
QUEST_ASSERT (yv3.hv3 == fp3.hv3);
QUEST_ASSERT (yv3.iv3 == fp3.iv3);
QUEST_ASSERT (yv3.jv3 == fp3.jv3);
QUEST_ASSERT (yv3.kv3 == fp3.kv3);
QUEST_ASSERT (yv3.lv3 == fp3.lv3);
QUEST_ASSERT (yv3.mv3 == fp3.mv3);
QUEST_ASSERT (yv3.nv3 == fp3.nv3);
QUEST_ASSERT (zv3.ov3 == gp3.ov3);
QUEST_ASSERT (zv3.pv3 == gp3.pv3);
QUEST_ASSERT (zv3.qv3 == gp3.qv3);
QUEST_ASSERT (zv3.rv3 == gp3.rv3);
QUEST_ASSERT (zv3.sv3 == gp3.sv3);
QUEST_ASSERT (bav3[0] == hp3[0]);
return bv3;
}
unsigned long int *
callee_af4(
unsigned short int ap4,
float bp4,
unsigned int cp4,
char dp4,
struct at4 ep4,
union bt4 fp4,
union ct4 gp4,
double hp4[1],
struct dt4 ip4,
int jp4
)
{
/* seed: 834332115 */
QUEST_ASSERT (sv4 == ap4);
QUEST_ASSERT (tv4 == bp4);
QUEST_ASSERT (uv4 == cp4);
QUEST_ASSERT (vv4 == dp4);
QUEST_ASSERT (wv4.bv4 == ep4.bv4);
QUEST_ASSERT (wv4.cv4 == ep4.cv4);
QUEST_ASSERT (wv4.dv4 == ep4.dv4);
QUEST_ASSERT (wv4.ev4 == ep4.ev4);
QUEST_ASSERT (wv4.fv4 == ep4.fv4);
QUEST_ASSERT (wv4.gv4 == ep4.gv4);
QUEST_ASSERT (xv4.hv4 == fp4.hv4);
QUEST_ASSERT (yv4.jv4 == gp4.jv4);
QUEST_ASSERT (zv4[0] == hp4[0]);
QUEST_ASSERT (bav4.lv4 == ip4.lv4);
QUEST_ASSERT (bav4.mv4 == ip4.mv4);
QUEST_ASSERT (bav4.nv4 == ip4.nv4);
QUEST_ASSERT (bav4.ov4 == ip4.ov4);
QUEST_ASSERT (bav4.pv4 == ip4.pv4);
QUEST_ASSERT (bav4.qv4 == ip4.qv4);
QUEST_ASSERT (bav4.rv4 == ip4.rv4);
QUEST_ASSERT (bbv4 == jp4);
return av4;
}
float
callee_af2(
struct ct2 ap2,
struct dt2 bp2,
struct ht2 cp2,
union kt2 dp2,
double ep2[1][1],
struct mt2 fp2,
char gp2,
double hp2,
struct qt2 ip2,
struct st2 jp2
)
{
/* seed: 745220225 */
QUEST_ASSERT (dnv2.jv2 == ap2.jv2);
QUEST_ASSERT (dnv2.kv2 == ap2.kv2);
QUEST_ASSERT (dnv2.lv2 == ap2.lv2);
QUEST_ASSERT (dnv2.mv2 == ap2.mv2);
QUEST_ASSERT (dnv2.nv2 == ap2.nv2);
QUEST_ASSERT (dnv2.ov2.bv2 == ap2.ov2.bv2);
QUEST_ASSERT (dnv2.ov2.cv2 == ap2.ov2.cv2);
QUEST_ASSERT (dnv2.ov2.dv2 == ap2.ov2.dv2);
QUEST_ASSERT (dnv2.ov2.ev2 == ap2.ov2.ev2);
QUEST_ASSERT (dnv2.ov2.fv2 == ap2.ov2.fv2);
QUEST_ASSERT (dnv2.pv2.gv2 == ap2.pv2.gv2);
QUEST_ASSERT (dnv2.qv2 == ap2.qv2);
QUEST_ASSERT (dov2.rv2 == bp2.rv2);
QUEST_ASSERT (dov2.sv2 == bp2.sv2);
QUEST_ASSERT (dov2.tv2 == bp2.tv2);
QUEST_ASSERT (dov2.uv2 == bp2.uv2);
QUEST_ASSERT (dov2.vv2 == bp2.vv2);
QUEST_ASSERT (dpv2.bov2.wv2 == cp2.bov2.wv2);
QUEST_ASSERT (dpv2.bov2.xv2 == cp2.bov2.xv2);
QUEST_ASSERT (dpv2.bov2.yv2 == cp2.bov2.yv2);
QUEST_ASSERT (dpv2.bov2.zv2 == cp2.bov2.zv2);
QUEST_ASSERT (dpv2.bpv2.bav2 == cp2.bpv2.bav2);
QUEST_ASSERT (dpv2.bpv2.bbv2 == cp2.bpv2.bbv2);
QUEST_ASSERT (dpv2.bpv2.bcv2 == cp2.bpv2.bcv2);
QUEST_ASSERT (dpv2.bpv2.bdv2 == cp2.bpv2.bdv2);
QUEST_ASSERT (dpv2.bpv2.bev2 == cp2.bpv2.bev2);
QUEST_ASSERT (dpv2.bpv2.bfv2 == cp2.bpv2.bfv2);
QUEST_ASSERT (dpv2.bpv2.bgv2 == cp2.bpv2.bgv2);
QUEST_ASSERT (dpv2.bpv2.bhv2 == cp2.bpv2.bhv2);
QUEST_ASSERT (dpv2.bqv2 == cp2.bqv2);
QUEST_ASSERT (dpv2.brv2 == cp2.brv2);
QUEST_ASSERT (dpv2.bsv2 == cp2.bsv2);
QUEST_ASSERT (dpv2.btv2 == cp2.btv2);
QUEST_ASSERT (dpv2.buv2.biv2 == cp2.buv2.biv2);
QUEST_ASSERT (dpv2.buv2.bjv2 == cp2.buv2.bjv2);
QUEST_ASSERT (dpv2.buv2.bkv2 == cp2.buv2.bkv2);
QUEST_ASSERT (dpv2.buv2.blv2 == cp2.buv2.blv2);
QUEST_ASSERT (dpv2.buv2.bmv2 == cp2.buv2.bmv2);
QUEST_ASSERT (dpv2.buv2.bnv2 == cp2.buv2.bnv2);
QUEST_ASSERT (dqv2.byv2.bvv2 == dp2.byv2.bvv2);
QUEST_ASSERT (drv2[0][0] == ep2[0][0]);
QUEST_ASSERT (dsv2.ccv2 == fp2.ccv2);
QUEST_ASSERT (dsv2.cdv2 == fp2.cdv2);
QUEST_ASSERT (dsv2.cev2 == fp2.cev2);
QUEST_ASSERT (dsv2.cfv2 == fp2.cfv2);
QUEST_ASSERT (dsv2.cgv2.cav2 == fp2.cgv2.cav2);
QUEST_ASSERT (dtv2 == gp2);
QUEST_ASSERT (duv2 == hp2);
QUEST_ASSERT (dvv2.csv2 == ip2.csv2);
QUEST_ASSERT (dvv2.ctv2.chv2 == ip2.ctv2.chv2);
QUEST_ASSERT (dvv2.cuv2.ckv2 == ip2.cuv2.ckv2);
QUEST_ASSERT (dvv2.cuv2.clv2 == ip2.cuv2.clv2);
QUEST_ASSERT (dvv2.cuv2.cmv2 == ip2.cuv2.cmv2);
QUEST_ASSERT (dvv2.cuv2.cnv2 == ip2.cuv2.cnv2);
QUEST_ASSERT (dvv2.cuv2.cov2 == ip2.cuv2.cov2);
QUEST_ASSERT (dvv2.cuv2.cpv2 == ip2.cuv2.cpv2);
QUEST_ASSERT (dvv2.cuv2.cqv2 == ip2.cuv2.cqv2);
QUEST_ASSERT (dvv2.cvv2 == ip2.cvv2);
QUEST_ASSERT (dvv2.cwv2 == ip2.cwv2);
QUEST_ASSERT (dvv2.cxv2.crv2 == ip2.cxv2.crv2);
QUEST_ASSERT (dvv2.cyv2 == ip2.cyv2);
QUEST_ASSERT (dwv2.dfv2[0] == jp2.dfv2[0]);
QUEST_ASSERT (dwv2.dgv2 == jp2.dgv2);
QUEST_ASSERT (dwv2.dhv2 == jp2.dhv2);
QUEST_ASSERT (dwv2.div2 == jp2.div2);
QUEST_ASSERT (dwv2.djv2 == jp2.djv2);
QUEST_ASSERT (dwv2.dkv2.czv2 == jp2.dkv2.czv2);
QUEST_ASSERT (dwv2.dkv2.dav2 == jp2.dkv2.dav2);
QUEST_ASSERT (dwv2.dkv2.dbv2 == jp2.dkv2.dbv2);
QUEST_ASSERT (dwv2.dkv2.dcv2 == jp2.dkv2.dcv2);
QUEST_ASSERT (dwv2.dkv2.ddv2 == jp2.dkv2.ddv2);
QUEST_ASSERT (dwv2.dkv2.dev2 == jp2.dkv2.dev2);
QUEST_ASSERT (dwv2.dlv2 == jp2.dlv2);
QUEST_ASSERT (dwv2.dmv2 == jp2.dmv2);
return av2;
}
