assertWithSideEffect
ftp://ftp.de.debian.org/debian/pool/main/b/bovo/bovo_26.08.0.orig.tar.xz
head bovo-26.08.0/src/ai/gabor/ai_impl.cpp:254:47: warning: Assert statement calls a function which may have desired side effects: 'isTimeOver'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 bovo-26.08.0/src/ai/gabor/ai_impl.cpp:254:47: warning: Assert statement calls a function which may have desired side effects: 'isTimeOver'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/b/bowtie2/bowtie2_2.5.5.orig.tar.gz
head bowtie2-2.5.5/aligner_driver.cpp:336:18: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 bowtie2-2.5.5/aligner_driver.cpp:336:18: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. [assertWithSideEffect]
head bowtie2-2.5.5/aligner_sw_driver.cpp:1386:24: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 bowtie2-2.5.5/aligner_sw_driver.cpp:1386:24: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. [assertWithSideEffect]
head bowtie2-2.5.5/aligner_sw_driver.cpp:1430:25: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 bowtie2-2.5.5/aligner_sw_driver.cpp:1430:25: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. [assertWithSideEffect]
head bowtie2-2.5.5/aligner_sw_driver.cpp:2121:24: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 bowtie2-2.5.5/aligner_sw_driver.cpp:2121:24: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. [assertWithSideEffect]
head bowtie2-2.5.5/aligner_sw_driver.cpp:2335:45: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 bowtie2-2.5.5/aligner_sw_driver.cpp:2335:45: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. [assertWithSideEffect]
head bowtie2-2.5.5/aligner_sw_driver.cpp:2509:28: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 bowtie2-2.5.5/aligner_sw_driver.cpp:2509:28: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. [assertWithSideEffect]
head bowtie2-2.5.5/aligner_sw_driver.cpp:2554:26: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 bowtie2-2.5.5/aligner_sw_driver.cpp:2554:26: warning: Assert statement calls a function which may have desired side effects: 'matchesRef'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/b/btor2tools/btor2tools_1.0.2~git20250918.d33c73f.orig.tar.xz
head btor2tools-1.0.2~git20250918.d33c73f/src/btorsim/btorsim.cpp:1014:36: warning: Assert statement calls a function which may have desired side effects: 'is_set'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 btor2tools-1.0.2~git20250918.d33c73f/src/btorsim/btorsim.cpp:1014:36: warning: Assert statement calls a function which may have desired side effects: 'is_set'. [assertWithSideEffect]
head btor2tools-1.0.2~git20250918.d33c73f/src/btorsim/btorsim.cpp:1108:20: warning: Assert statement calls a function which may have desired side effects: 'is_set'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 btor2tools-1.0.2~git20250918.d33c73f/src/btorsim/btorsim.cpp:1108:20: warning: Assert statement calls a function which may have desired side effects: 'is_set'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/cadabra/cadabra_1.46.orig.tar.gz
head cadabra-master/src/modules/tableaux.cc:842:13: warning: Assert statement calls a function which may have desired side effects: 'can_apply'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadabra-master/src/modules/tableaux.cc:842:13: warning: Assert statement calls a function which may have desired side effects: 'can_apply'. [assertWithSideEffect]
head cadabra-master/src/modules/tableaux.cc:951:22: warning: Assert statement calls a function which may have desired side effects: 'can_apply'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadabra-master/src/modules/tableaux.cc:951:22: warning: Assert statement calls a function which may have desired side effects: 'can_apply'. [assertWithSideEffect]
head cadabra-master/src/modules/tableaux.cc:960:21: warning: Assert statement calls a function which may have desired side effects: 'can_apply'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadabra-master/src/modules/tableaux.cc:960:21: warning: Assert statement calls a function which may have desired side effects: 'can_apply'. [assertWithSideEffect]
head cadabra-master/src/test_lie.cc:73:13: warning: Assert statement calls a function which may have desired side effects: 'dim'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadabra-master/src/test_lie.cc:73:13: warning: Assert statement calls a function which may have desired side effects: 'dim'. [assertWithSideEffect]
head cadabra-master/src/test_lie.cc:82:13: warning: Assert statement calls a function which may have desired side effects: 'dim'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadabra-master/src/test_lie.cc:82:13: warning: Assert statement calls a function which may have desired side effects: 'dim'. [assertWithSideEffect]
head cadabra-master/src/test_lie.cc:88:13: warning: Assert statement calls a function which may have desired side effects: 'dim'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadabra-master/src/test_lie.cc:88:13: warning: Assert statement calls a function which may have desired side effects: 'dim'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/cadical/cadical_2.1.3.orig.tar.gz
head cadical-rel-2.1.3/src/external_propagate.cpp:169:23: warning: Assert statement calls a function which may have desired side effects: 'observed'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadical-rel-2.1.3/src/external_propagate.cpp:169:23: warning: Assert statement calls a function which may have desired side effects: 'observed'. [assertWithSideEffect]
head cadical-rel-2.1.3/src/external_propagate.cpp:951:23: warning: Assert statement calls a function which may have desired side effects: 'observed'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadical-rel-2.1.3/src/external_propagate.cpp:951:23: warning: Assert statement calls a function which may have desired side effects: 'observed'. [assertWithSideEffect]
head cadical-rel-2.1.3/src/internal.cpp:740:14: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadical-rel-2.1.3/src/internal.cpp:740:14: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. [assertWithSideEffect]
head cadical-rel-2.1.3/src/lucky.cpp:141:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadical-rel-2.1.3/src/lucky.cpp:141:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. [assertWithSideEffect]
head cadical-rel-2.1.3/src/lucky.cpp:161:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadical-rel-2.1.3/src/lucky.cpp:161:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. [assertWithSideEffect]
head cadical-rel-2.1.3/src/lucky.cpp:183:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadical-rel-2.1.3/src/lucky.cpp:183:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. [assertWithSideEffect]
head cadical-rel-2.1.3/src/lucky.cpp:203:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadical-rel-2.1.3/src/lucky.cpp:203:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. [assertWithSideEffect]
head cadical-rel-2.1.3/src/lucky.cpp:270:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadical-rel-2.1.3/src/lucky.cpp:270:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. [assertWithSideEffect]
head cadical-rel-2.1.3/src/lucky.cpp:331:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadical-rel-2.1.3/src/lucky.cpp:331:11: warning: Assert statement calls a function which may have desired side effects: 'satisfied'. [assertWithSideEffect]
head cadical-rel-2.1.3/test/contrib/craigtracer.cpp:24:19: warning: Assert statement calls a function which may have desired side effects: 'solve'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadical-rel-2.1.3/test/contrib/craigtracer.cpp:24:19: warning: Assert statement calls a function which may have desired side effects: 'solve'. [assertWithSideEffect]
head cadical-rel-2.1.3/test/contrib/craigtracer_incremental.cpp:30:19: warning: Assert statement calls a function which may have desired side effects: 'solve'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadical-rel-2.1.3/test/contrib/craigtracer_incremental.cpp:30:19: warning: Assert statement calls a function which may have desired side effects: 'solve'. [assertWithSideEffect]
head cadical-rel-2.1.3/test/contrib/craigtracer_incremental.cpp:43:19: warning: Assert statement calls a function which may have desired side effects: 'solve'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadical-rel-2.1.3/test/contrib/craigtracer_incremental.cpp:43:19: warning: Assert statement calls a function which may have desired side effects: 'solve'. [assertWithSideEffect]
head cadical-rel-2.1.3/test/contrib/craigtracer_incremental.cpp:60:19: warning: Assert statement calls a function which may have desired side effects: 'solve'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cadical-rel-2.1.3/test/contrib/craigtracer_incremental.cpp:60:19: warning: Assert statement calls a function which may have desired side effects: 'solve'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/caja-extensions/caja-extensions_1.26.1.orig.tar.xz
2.21.0 caja-extensions-1.26.1/share/shares.c:309:4: warning: Assert statement calls a function which may have desired side effects: 'g_error_matches'. [assertWithSideEffect]
2.21.0 caja-extensions-1.26.1/share/shares.c:315:3: warning: Assert statement calls a function which may have desired side effects: 'g_error_matches'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/caja/caja_1.26.4.orig.tar.xz
2.21.0 caja-1.26.4/libcaja-private/caja-desktop-directory.c:170:5: warning: Assert statement calls a function which may have desired side effects: 'g_list_find'. [assertWithSideEffect]
2.21.0 caja-1.26.4/src/caja-window-slot.c:145:5: warning: Assert statement calls a function which may have desired side effects: 'g_list_find'. [assertWithSideEffect]
2.21.0 caja-1.26.4/src/caja-window-slot.c:172:5: warning: Assert statement calls a function which may have desired side effects: 'g_list_find'. [assertWithSideEffect]
2.21.0 caja-1.26.4/src/caja-window.c:881:5: warning: Assert statement calls a function which may have desired side effects: 'g_list_find'. [assertWithSideEffect]
2.21.0 caja-1.26.4/src/caja-window.c:920:5: warning: Assert statement calls a function which may have desired side effects: 'g_list_find'. [assertWithSideEffect]
2.21.0 caja-1.26.4/src/caja-window.c:991:9: warning: Assert statement calls a function which may have desired side effects: 'g_list_find'. [assertWithSideEffect]
ftp://ftp.de.debian.org/debian/pool/main/c/cantor/cantor_26.04.0.orig.tar.xz
head cantor-26.04.0/src/animationresultitem.cpp:52:5: warning: Assert statement calls a function which may have desired side effects: 'type'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cantor-26.04.0/src/animationresultitem.cpp:52:5: warning: Assert statement calls a function which may have desired side effects: 'type'. [assertWithSideEffect]
head cantor-26.04.0/src/imageresultitem.cpp:39:5: warning: Assert statement calls a function which may have desired side effects: 'type'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cantor-26.04.0/src/imageresultitem.cpp:39:5: warning: Assert statement calls a function which may have desired side effects: 'type'. [assertWithSideEffect]
head cantor-26.04.0/src/textresultitem.cpp:104:5: warning: Assert statement calls a function which may have desired side effects: 'type'. If there are no side effects, consider declaring the method const. [assertWithSideEffect]
2.21.0 cantor-26.04.0/src/textresultitem.cpp:104:5: warning: Assert statement calls a function which may have desired side effects: 'type'. [assertWithSideEffect]