knownArgument
ftp://ftp.de.debian.org/debian/pool/main/a/ale/ale_0.9.0.3.orig.tar.gz
head ale-0.9.0.3/d3/scene.h:3792:11: style: Argument '(1-l1_multiplier)*(if1->get_tl(p[0].xy(),tc)-if2->get_tl(p[1].xy(),stc)).normsq()' to function ale_real_to_pos is always 0. It does not matter what value 'tc' has. [knownArgument]
2.21.0 ale-0.9.0.3/d3/scene.h:3792:11: style: Argument '(1-l1_multiplier)*(if1->get_tl(p[0].xy(),tc)-if2->get_tl(p[1].xy(),stc)).normsq()' to function ale_real_to_pos is always 0. It does not matter what value 'tc' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/c/creduce/creduce_2.11.0~20240909.orig.tar.xz
head foo.c:1382:95: style: Argument '(*l_94,l_155)!=(((((*l_144)=((*l_167)&=(safe_rshift_func_int16_t_s_u((safe_rshift_func_uint16_t_u_u(((g_160,g_161),((((p_62,func_26(((*l_165)=((l_78=((g_162=l_153)!=(g_164,l_153)))&&g_43)))),l_166[0])!=(void*)0)>l_79)),3),-9L),g_89)^g_129[0].f1)))<p_61)==0xF047D995L),(void*)0)' to function safe_sub_func_int16_t_s_s is always 0. It does not matter what value 'l_78' has. [knownArgument]
2.21.0 foo.c:1382:95: style: Argument '(*l_94,l_155)!=(((((*l_144)=((*l_167)&=(safe_rshift_func_int16_t_s_u((safe_rshift_func_uint16_t_u_u(((g_160,g_161),((((p_62,func_26(((*l_165)=((l_78=((g_162=l_153)!=(g_164,l_153)))&&g_43)))),l_166[0])!=(void*)0)>l_79)),3),-9L),g_89)^g_129[0].f1)))<p_61)==0xF047D995L),(void*)0)' to function safe_sub_func_int16_t_s_s is always 0. It does not matter what value 'l_78' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/d/direwolf/direwolf_1.8.1+dfsg.orig.tar.xz
head direwolf-1.8.1+dfsg/src/tnctest.c:585:70: style: Argument 'my_index*column_width' to function printf is always 0. It does not matter what value 'column_width' has. [knownArgument]
2.21.0 direwolf-1.8.1+dfsg/src/tnctest.c:585:70: style: Argument 'my_index*column_width' to function printf is always 0. It does not matter what value 'column_width' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/f/fvwm3/fvwm3_1.1.5+ds.orig.tar.xz
head fvwm3-1.1.5/modules/FvwmPager/x_pager.c:881:12: style: Argument 'loop*label_width' to function draw_desk_label is always 0. It does not matter what value 'label_width' has. [knownArgument]
head fvwm3-1.1.5/modules/FvwmPager/x_pager.c:908:16: style: Argument 'loop*label_width' to function draw_desk_label is always 0. It does not matter what value 'label_width' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/g/geany/geany_2.1.orig.tar.gz
2.21.0 geany-2.1/src/dialogs.c:1283:62: style: Argument 'mode&0' to function gtk_toggle_button_set_active is always 0. It does not matter what value 'mode' has. [knownArgument]
2.21.0 geany-2.1/src/dialogs.c:1285:62: style: Argument 'mode&0' to function gtk_toggle_button_set_active is always 0. It does not matter what value 'mode' has. [knownArgument]
2.21.0 geany-2.1/src/dialogs.c:1287:62: style: Argument 'mode&0' to function gtk_toggle_button_set_active is always 0. It does not matter what value 'mode' has. [knownArgument]
2.21.0 geany-2.1/src/dialogs.c:1289:62: style: Argument 'mode&0' to function gtk_toggle_button_set_active is always 0. It does not matter what value 'mode' has. [knownArgument]
2.21.0 geany-2.1/src/dialogs.c:1291:62: style: Argument 'mode&0' to function gtk_toggle_button_set_active is always 0. It does not matter what value 'mode' has. [knownArgument]
2.21.0 geany-2.1/src/dialogs.c:1293:62: style: Argument 'mode&0' to function gtk_toggle_button_set_active is always 0. It does not matter what value 'mode' has. [knownArgument]
2.21.0 geany-2.1/src/dialogs.c:1295:62: style: Argument 'mode&0' to function gtk_toggle_button_set_active is always 0. It does not matter what value 'mode' has. [knownArgument]
2.21.0 geany-2.1/src/dialogs.c:1297:62: style: Argument 'mode&0' to function gtk_toggle_button_set_active is always 0. It does not matter what value 'mode' has. [knownArgument]
2.21.0 geany-2.1/src/dialogs.c:1299:62: style: Argument 'mode&0' to function gtk_toggle_button_set_active is always 0. It does not matter what value 'mode' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/h/httrack/httrack_3.49.22.orig.tar.gz
head httrack-3.49.22/src/htscache_selftest.c:555:33: style: Argument 'inj.writes-writes_after_fail' to function fprintf is always 0. It does not matter what value 'inj.writes' has. [knownArgument]
2.21.0 httrack-3.49.22/src/htscache_selftest.c:555:33: style: Argument 'inj.writes-writes_after_fail' to function fprintf is always 0. It does not matter what value 'inj.writes' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/i/iaxmodem/iaxmodem_1.2.0~dfsg.orig.tar.gz
head iaxmodem-1.2.0/lib/spandsp/src/t31.c:501:61: style: Argument 'fe->octets_per_data_packet-len' to function memset is always 0. It does not matter what value 'fe->octets_per_data_packet' has. [knownArgument]
2.21.0 iaxmodem-1.2.0/lib/spandsp/src/t31.c:501:61: style: Argument 'fe->octets_per_data_packet-len' to function memset is always 0. It does not matter what value 'fe->octets_per_data_packet' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/k/kalign/kalign_3.5.1.orig.tar.gz
2.21.0 kalign-3.5.1/lib/src/aln_refine.c:319:9: style: Argument 'sizeof(int)*(msa->nsip[a]+msa->nsip[b])' to function error is always 0. It does not matter what value 'msa->nsip[a]' has. [knownArgument]
2.21.0 kalign-3.5.1/lib/src/aln_refine.c:475:9: style: Argument 'sizeof(int)*(msa->nsip[a]+msa->nsip[b])' to function error is always 0. It does not matter what value 'msa->nsip[a]' has. [knownArgument]
2.21.0 kalign-3.5.1/lib/src/aln_run.c:426:9: style: Argument 'sizeof(int)*(msa->nsip[a]+msa->nsip[b])' to function error is always 0. It does not matter what value 'msa->nsip[a]' has. [knownArgument]
2.21.0 kalign-3.5.1/lib/src/aln_run.c:766:9: style: Argument 'sizeof(int)*(msa->nsip[a]+msa->nsip[b])' to function error is always 0. It does not matter what value 'msa->nsip[a]' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/l/lcalc/lcalc_2.0.5.orig.tar.bz2
2.21.0 lcalc-2.0.5/src/libLfunction/Ldirichlet_series.h:394:58: style: Argument '-imag(s)*LOG(v)' to function lcalc_expIt is always 0. It does not matter what value 'v' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/libx/libxfont/libxfont_2.0.9.orig.tar.gz
head libXfont2-2.0.9/src/FreeType/ftfuncs.c:687:40: style: Argument '(*available)[segment][offset]>=2' to function FreeTypeRasteriseGlyph is always 1. It does not matter what value 'segment' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/p/polyphone/polyphone_2.2.0.20210109+dfsg1.orig.tar.xz
head polyphone-2.2.0.20210109/sources/editor/widgets/tablewidget.cpp:420:49: style: Argument 'indRow+minRow' to function setLoopModeImage is always 5. It does not matter what value 'minRow' has. [knownArgument]
2.21.0 polyphone-2.2.0.20210109/sources/editor/widgets/tablewidget.cpp:420:49: style: Argument 'indRow+minRow' to function setLoopModeImage is always 5. It does not matter what value 'minRow' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/r/redisearch/redisearch_1.2.2.orig.tar.gz
2.21.0 RediSearch-1.2.2/src/tests/test_extensions.c:136:3: style: Argument 'n->pn.children[0]->type==QN_UNION' to function __STRING is always 0. It does not matter what value 'type' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_extensions.c:144:3: style: Argument 'n->pn.children[1]->type==QN_UNION' to function __STRING is always 0. It does not matter what value 'type' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:300:5: style: Argument 'copy->isCopy==1' to function __STRING is always 0. It does not matter what value 'isCopy' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:303:5: style: Argument 'copy->type==h->type' to function __STRING is always 0. It does not matter what value 'type' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:611:5: style: Argument 'h->type==RSResultType_Intersection' to function __STRING is always 0. It does not matter what value 'type' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:619:5: style: Argument 'copy->isCopy==1' to function __STRING is always 0. It does not matter what value 'isCopy' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:622:5: style: Argument 'copy->type==RSResultType_Intersection' to function __STRING is always 0. It does not matter what value 'type' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:751:3: style: Argument 's->numFields==5' to function __STRING is always 0. It does not matter what value 'numFields' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:755:3: style: Argument 's->flags&Index_StoreFieldFlags' to function __STRING is always 0. It does not matter what value 's->flags' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:756:3: style: Argument 's->flags&Index_StoreTermOffsets' to function __STRING is always 0. It does not matter what value 's->flags' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:757:3: style: Argument 's->flags&Index_HasCustomStopwords' to function __STRING is always 0. It does not matter what value 's->flags' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:765:3: style: Argument 'f->type==FIELD_FULLTEXT' to function __STRING is always 0. It does not matter what value 'type' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:769:3: style: Argument 'f->options==0' to function __STRING is always 0. It does not matter what value 'options' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:770:3: style: Argument 'f->sortIdx==-1' to function __STRING is always 0. It does not matter what value 'sortIdx' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:774:3: style: Argument 'f->type==FIELD_FULLTEXT' to function __STRING is always 0. It does not matter what value 'type' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:778:3: style: Argument 'f->options==0' to function __STRING is always 0. It does not matter what value 'options' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:779:3: style: Argument 'f->sortIdx==-1' to function __STRING is always 0. It does not matter what value 'sortIdx' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:783:3: style: Argument 'f->type==FIELD_FULLTEXT' to function __STRING is always 0. It does not matter what value 'type' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:787:3: style: Argument 'f->options==FieldSpec_Sortable' to function __STRING is always 0. It does not matter what value 'options' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:788:3: style: Argument 'f->sortIdx==0' to function __STRING is always 0. It does not matter what value 'sortIdx' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:792:3: style: Argument 'f->type==FIELD_NUMERIC' to function __STRING is always 0. It does not matter what value 'type' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:797:3: style: Argument 'f->options==FieldSpec_Sortable' to function __STRING is always 0. It does not matter what value 'options' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:798:3: style: Argument 'f->sortIdx==1' to function __STRING is always 0. It does not matter what value 'sortIdx' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:803:3: style: Argument 'f->type==FIELD_FULLTEXT' to function __STRING is always 0. It does not matter what value 'type' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:807:3: style: Argument 'f->options==FieldSpec_NoStemming' to function __STRING is always 0. It does not matter what value 'options' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:808:3: style: Argument 'f->sortIdx==-1' to function __STRING is always 0. It does not matter what value 'sortIdx' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:811:3: style: Argument 's->sortables->len==2' to function __STRING is always 0. It does not matter what value 'len' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:830:3: style: Argument 's->numFields==1' to function __STRING is always 0. It does not matter what value 'numFields' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:832:3: style: Argument '!(s->flags&Index_StoreFieldFlags)' to function __STRING is always 0. It does not matter what value 's->flags' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:833:3: style: Argument '!(s->flags&Index_StoreTermOffsets)' to function __STRING is always 0. It does not matter what value 's->flags' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:891:3: style: Argument 's->numFields==N' to function __STRING is always 0. It does not matter what value 'numFields' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:931:3: style: Argument 'w->flags==flags' to function __STRING is always 0. It does not matter what value 'flags' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:939:3: style: Argument '!(w->flags&Index_StoreTermOffsets)' to function __STRING is always 0. It does not matter what value 'w->flags' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:948:3: style: Argument 'w->flags&Index_WideSchema' to function __STRING is always 0. It does not matter what value 'w->flags' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:956:3: style: Argument 'w->flags&Index_WideSchema' to function __STRING is always 0. It does not matter what value 'w->flags' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:965:3: style: Argument '!(w->flags&Index_StoreTermOffsets)' to function __STRING is always 0. It does not matter what value 'w->flags' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:966:3: style: Argument '!(w->flags&Index_StoreFieldFlags)' to function __STRING is always 0. It does not matter what value 'w->flags' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:974:3: style: Argument 'w->flags&Index_WideSchema' to function __STRING is always 0. It does not matter what value 'w->flags' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_index.c:975:3: style: Argument 'w->flags&Index_StoreFieldFlags' to function __STRING is always 0. It does not matter what value 'w->flags' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_stemmer.c:64:7: style: Argument 'strlen(tx->expectedStems[tx->num])==t.stemLen' to function __STRING is always 0. It does not matter what value 'tx->num' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_stemmer.c:65:7: style: Argument 'strncmp(tx->expectedStems[tx->num],t.stem,t.stemLen)==0' to function __STRING is always 0. It does not matter what value 'tx->num' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_tokenize.c:19:5: style: Argument 'tok.tokLen==strlen(expected[i])' to function __STRING is always 0. It does not matter what value 'i' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_tokenize.c:20:5: style: Argument '!strncmp(tok.tok,expected[i],tok.tokLen)' to function __STRING is always 0. It does not matter what value 'i' has. [knownArgument]
2.21.0 RediSearch-1.2.2/src/tests/test_tokenize.c:24:7: style: Argument '!strncmp(tok.stem,stems[i],tok.stemLen)' to function __STRING is always 0. It does not matter what value 'i' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/s/schism/schism_20260524.orig.tar.gz
2.21.0 schismtracker-20260524/schism/page_instruments.c:423:41: style: Argument '(cr-cl)+1' to function draw_text_len is always 1. It does not matter what value 'cr' has. [knownArgument]
2.21.0 schismtracker-20260524/schism/page_samples.c:206:44: style: Argument '(cr-cl)+1' to function draw_text_len is always 1. It does not matter what value 'cr' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/s/solvespace/solvespace_3.2+dfsg.orig.tar.xz
head solvespace-3.2/src/textwin.cpp:868:46: style: Argument 'hxm-hx' to function HsvPattern1d is always 141. It does not matter what value 'hxm' has. [knownArgument]
2.21.0 solvespace-3.2/src/textwin.cpp:868:46: style: Argument 'hxm-hx' to function HsvPattern1d is always 141. It does not matter what value 'hxm' has. [knownArgument]
head solvespace-3.2/src/textwin.cpp:868:54: style: Argument 'hym-hy' to function HsvPattern1d is always 33. It does not matter what value 'hym' has. [knownArgument]
2.21.0 solvespace-3.2/src/textwin.cpp:868:54: style: Argument 'hym-hy' to function HsvPattern1d is always 33. It does not matter what value 'hym' has. [knownArgument]
head solvespace-3.2/src/textwin.cpp:898:46: style: Argument 'hxm-hx' to function HsvPattern2d is always 141. It does not matter what value 'hxm' has. [knownArgument]
2.21.0 solvespace-3.2/src/textwin.cpp:898:46: style: Argument 'hxm-hx' to function HsvPattern2d is always 141. It does not matter what value 'hxm' has. [knownArgument]
head solvespace-3.2/src/textwin.cpp:898:54: style: Argument 'hym-hy' to function HsvPattern2d is always 123. It does not matter what value 'hym' has. [knownArgument]
2.21.0 solvespace-3.2/src/textwin.cpp:898:54: style: Argument 'hym-hy' to function HsvPattern2d is always 123. It does not matter what value 'hym' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/s/sparse/sparse_0.6.5~rc1.orig.tar.gz
2.21.0 sparse-0.6.5-rc1/validation/generic-bad0.c:6:20: style: Argument 'int[n]:0' to function _Generic is always 0. It does not matter what value 'n' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/s/suitesparse-graphblas/suitesparse-graphblas_7.4.0+dfsg.orig.tar.xz
head GraphBLAS-7.4.0/Test/GB_mex_about10.c:94:9: style: Argument 'pool1[k]==pool2[k]' to function GB_STR is always 0. It does not matter what value 'pool2[k]' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/u/unicorn-engine/unicorn-engine_2.1.4.orig.tar.gz
head unicorn-engine-unicorn-8028ec4/qemu/target/i386/seg_helper.c:231:62: style: Argument 'selector&0xfffc' to function raise_exception_err_ra is always 0. It does not matter what value 'selector' has. [knownArgument]
2.21.0 unicorn-engine-unicorn-8028ec4/qemu/target/i386/seg_helper.c:231:62: style: Argument 'selector&0xfffc' to function raise_exception_err_ra is always 0. It does not matter what value 'selector' has. [knownArgument]
ftp://ftp.de.debian.org/debian/pool/main/w/w1retap/w1retap_1.5.5.orig.tar.gz
2.21.0 w1retap/src/libusblinux300/mbscrx77.c:525:23: style: Argument '(ushort)((getStartingAddressScratchEx77(bank,SNum)/64)+page)' to function setcrc16 is always 0. It does not matter what value 'bank' has. [knownArgument]
2.21.0 w1retap/src/libusblinux300/mbscrx77.c:527:23: style: Argument '(ushort)((getStartingAddressScratchEx77(bank,SNum)/32)+page)' to function setcrc16 is always 0. It does not matter what value 'bank' has. [knownArgument]
2.21.0 w1retap/src/libusblinux300/mbscrx77.c:607:23: style: Argument '(ushort)((getStartingAddressScratchEx77(bank,SNum)/64)+page)' to function setcrc16 is always 0. It does not matter what value 'bank' has. [knownArgument]
2.21.0 w1retap/src/libusblinux300/mbscrx77.c:609:23: style: Argument '(ushort)((getStartingAddressScratchEx77(bank,SNum)/32)+page)' to function setcrc16 is always 0. It does not matter what value 'bank' has. [knownArgument]
2.21.0 w1retap/src/libusblinux300/mbscrx77.c:682:23: style: Argument '(ushort)((getStartingAddressScratchEx77(bank,SNum)/64)+page)' to function setcrc16 is always 0. It does not matter what value 'bank' has. [knownArgument]
2.21.0 w1retap/src/libusblinux300/mbscrx77.c:684:23: style: Argument '(ushort)((getStartingAddressScratchEx77(bank,SNum)/32)+page)' to function setcrc16 is always 0. It does not matter what value 'bank' has. [knownArgument]