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; }