int main() { int a, b; #ifdef __CPROVER__ __CPROVER_assume(a==1); __CPROVER_assume(b==-2); #else a=1; b=-2; #endif int x=safe_mod_func_int32_t_s_s(a, b); assert(x==1); return 0; }
/* * reads : g_8 g_10 * writes: g_11 */ uint64_t func_1(void) { /* block id: 0 */ uint8_t l_9 = -6L; (*g_10) = (safe_mod_func_int32_t_s_s(((safe_rshift_func_uint16_t_u_s((safe_sub_func_uint8_t_u_u(g_8, g_8)), 0x5C7A00F4L)) & l_9), g_8)); return g_8; }