int main()
{
_Bool equal = 1;
/* Declarations: */
int retval0; /* Generated by: gen_retval_declarations/ rv_temps.cpp:269*/
int retval1; /* Generated by: gen_retval_declarations/ rv_temps.cpp:269*/
int *rvs0_n; /* Generated by: gen_arg_decl(107)/ gen_decl_low(148)/ rv_temps.cpp:274*/
int *rvs1_n; /* Generated by: gen_arg_decl(107)/ gen_decl_low(148)(107)/ gen_decl_low(148)/ rv_temps.cpp:274*/
int rv_D0_0; /* Generated by: gen_arg_alloc_side(601)(326)/ gen_safe_alloc/ rv_temps.cpp:327*/
int rv_D1_0; /* Generated by: gen_arg_alloc_side(601)(326)/ gen_safe_alloc/ rv_temps.cpp:327*/
/* output: */
/* Allocations for side 0: */
rvs0_n = &rv_D0_0; /* Generated by: gen_arg_alloc_side(601)(326)/ gen_safe_alloc/ rv_temps.cpp:332*/
/* Allocations for side 1: */
rvs1_n = &rv_D1_0; /* Generated by: gen_arg_alloc_side(601)(326)/ gen_safe_alloc/ rv_temps.cpp:332*/
rv_init();
/* Assume input args are equal: */
*rvs0_n = *rvs1_n; /* Generated by: gen_args_equality(608)/ protect_pointer [op=4](613)(379)(293)/ rv_temps.cpp:362*/
/* run each side's main() */
retval0 = chk0_F(rvs0_n);
retval1 = chk1_F(rvs1_n);
rv_check();
return 0;
}
int main()
{
_Bool equal = 1;
/* Declarations: */
int retval0; /* Generated by: gen_retval_declarations/ rv_temps.cpp:269*/
int retval1; /* Generated by: gen_retval_declarations/ rv_temps.cpp:269*/
int rvs0_a; /* Generated by: gen_arg_decl(107)/ gen_decl_low(148)/ rv_temps.cpp:274*/
int rvs1_x; /* Generated by: gen_arg_decl(107)/ gen_decl_low(148)(107)/ gen_decl_low(148)/ rv_temps.cpp:274*/
/* output: */
/* Allocations for side 0: */
/* Allocations for side 1: */
rv_init();
/* Assume input args are equal: */
rvs0_a = rvs1_x; /* Generated by: gen_args_equality(608)(613)(379)(293)/ rv_temps.cpp:362*/
/* run each side's main() */
retval0 = chk0_f91(rvs0_a);
retval1 = chk1_f91(rvs1_x);
rv_check();
return 0;
}
