knownArgument ftp://ftp.de.debian.org/debian/pool/main/c/chibicc/chibicc_1.0.25.orig.tar.gz 2.22.0 chibicc-1.0.25/test/csmith_102.c:1439:90: style: Argument 'l_964<((*g_567)=(-1L>(((l_968[1][7]=(l_967=4294967293UL))&&(safe_add_func_int32_t_s_s(((((l_968[1][3],l_971)>l_971)<=(l_972,g_956.f4))==((l_967=(g_517.f5>l_972.f0,g_366.f4))&g_517.f2.f2)),0xCA10E27BL)||l_971)))))' to function safe_add_func_int32_t_s_s is always 0. It does not matter what value 'l_968[1][7]' has. [knownArgument] 2.22.0 chibicc-1.0.25/test/csmith_102.c:586:584: style: Argument 'safe_unary_minus_func_int8_t_s(((l_2778==l_2779)==(g_2794=(safe_mod_func_int32_t_s_s(((*l_2499)=(safe_mul_func_uint32_t_u_u(((g_2428.f2.f2|(safe_lshift_func_uint8_t_u_u(safe_mod_func_int8_t_s_s((((*g_2163)!=l_2789,g_2790[8])||(*g_992)),0x0BL),l_2757[2])))&&(*p_10)),l_2791))),p_12)))))||0x38674DA1L' to function safe_div_func_int64_t_s_s is always 946294177. It does not matter what value 'g_2794' has. [knownArgument] head chibicc-1.0.25/test/csmith_102.c:586:584: style: Argument 'safe_unary_minus_func_int8_t_s(((l_2778==l_2779)==(g_2794=(safe_mod_func_int32_t_s_s(((*l_2499)=(safe_mul_func_uint32_t_u_u(((g_2428.f2.f2|(safe_lshift_func_uint8_t_u_u(safe_mod_func_int8_t_s_s(((+((*g_2163)!=l_2789),g_2790[8])||(*g_992)),0x0BL),l_2757[2])))&&(*p_10)),l_2791))),p_12)))))||0x38674DA1L' to function safe_div_func_int64_t_s_s is always 946294177. It does not matter what value 'g_2794' has. [knownArgument] head chibicc-1.0.25/test/csmith_102.c:676:462: style: Argument '((safe_mod_func_int32_t_s_s((void*)0!=l_2103,g_956.f2.f1)&((*g_20)&=p_15))>((((l_2117[0]=((*l_2116)=(safe_div_func_uint32_t_u_u(((+(safe_mul_func_int8_t_s_s(l_2109!=(void*)0,safe_mul_func_int32_t_s_s(0x2763338AL,(safe_mul_func_int8_t_s_s(p_15<=l_2096,l_2096)>=0x098A1095L)))))p_15))||-6L' to function safe_add_func_uint32_t_u_u is always -6. It does not matter what value 'l_2117[0]' has. [knownArgument] 2.22.0 chibicc-1.0.25/test/csmith_102.c:676:462: style: Argument '((safe_mod_func_int32_t_s_s((void*)0!=l_2103,g_956.f2.f1)&((*g_20)&=p_15))>((((l_2117[0]=((*l_2116)=(safe_div_func_uint32_t_u_u(((safe_mul_func_int8_t_s_s(l_2109!=(void*)0,safe_mul_func_int32_t_s_s(0x2763338AL,(safe_mul_func_int8_t_s_s(p_15<=l_2096,l_2096)>=0x098A1095L))))p_15))||-6L' to function safe_add_func_uint32_t_u_u is always -6. It does not matter what value 'l_2117[0]' has. [knownArgument] head chibicc-1.0.25/test/csmith_275.c:1128:313: style: Argument '(~(safe_sub_func_int64_t_s_s((l_2178[1]&&(p_21&=((0x99F3L!=((((g_2283,l_2284)==l_2285)&&(*g_269))&&p_19)),g_2286))),p_18)<=-1L))>(*g_36)' to function safe_mul_func_uint32_t_u_u is always 0. It does not matter what value 'p_21' has. [knownArgument] 2.22.0 chibicc-1.0.25/test/csmith_275.c:2156:232: style: Argument 'safe_sub_func_int64_t_s_s((*g_846)=((*g_236)==&p_70),*l_329)||((4294967289UL==((((*l_875)=(safe_mul_func_int8_t_s_s((*g_846)=-1L,safe_mul_func_uint64_t_u_u((*l_873)^=p_70,18446744073709551613UL))))^p_70)>0x25L))!=0x38EDL)' to function safe_add_func_uint8_t_u_u is always 1. It does not matter what value 'p_70' has. [knownArgument] head chibicc-1.0.25/test/csmith_275.c:2156:232: style: Argument 'safe_sub_func_int64_t_s_s(+((*g_846)=((*g_236)==&p_70)),*l_329)||((4294967289UL==((((*l_875)=(safe_mul_func_int8_t_s_s((*g_846)=-1L,safe_mul_func_uint64_t_u_u((*l_873)^=p_70,18446744073709551613UL))))^p_70)>0x25L))!=0x38EDL)' to function safe_add_func_uint8_t_u_u is always 1. It does not matter what value 'p_70' has. [knownArgument] 2.22.0 chibicc-1.0.25/test/csmith_4204.c:506:240: style: Argument '254UL||(~(g_134[g_540]|=(((*l_2008)|(func_27(*l_2008,l_2007[2][0][0],l_2142),p_24))<(*g_1901))))' to function safe_rshift_func_uint64_t_u_s is always 1. It does not matter what value 'p_24' has. [knownArgument] head chibicc-1.0.25/test/csmith_4204.c:506:240: style: Argument '254UL||(~(g_134[g_540]|=(((*l_2008)|(func_27(*l_2008,l_2007[2][0][0],l_2142),p_24))<(*g_1901))))' to function safe_rshift_func_uint64_t_u_s is always 254. It does not matter what value 'p_24' has. [knownArgument] ftp://ftp.de.debian.org/debian/pool/main/c/creduce/creduce_2.11.0~20240909.orig.tar.xz 2.22.0 foo.c:358:66: style: Argument '0x17754B3AL==(((((*g_1046,0x5D4918B3L)&&0L)&&((*g_162)||(0xCEL>=(safe_rshift_func_int8_t_s_u(((((safe_rshift_func_int8_t_s_u((((func_20(l_1266,l_1267,l_1268,l_1226),&g_210)==(void*)0)||g_216),p_3)^248UL)<=0L)&&l_1251[6][1])==1L),7)||l_1251[9][1]))))==0x83C9D6A309939665LL))' to function safe_sub_func_uint16_t_u_u is always 0. It does not matter what value 'g_216' has. [knownArgument]