ftp://ftp.de.debian.org/debian/pool/main/g/gecode-snapshot/gecode-snapshot_6.2.0+git20260120.orig.tar.xz
cppcheck-options: --library=posix --library=gnu --library=bsd --library=qt --library=boost  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j6
upstream/examples/colored-matrix.cpp:247:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/examples/donald.cpp:66:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/examples/efpa.cpp:159:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/examples/money.cpp:72:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/examples/pentominoes.cpp:350:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/examples/schurs-lemma.cpp:96:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/examples/tsp.cpp:251:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/flatzinc/registry.cpp:119:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/flatzinc/registry.cpp:280:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/flatzinc/registry.cpp:367:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/flatzinc/registry.cpp:524:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-arith.cpp:161:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:105:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:109:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:113:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:117:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:121:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:125:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:129:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:133:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:137:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:141:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:145:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:149:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:153:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:157:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:161:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/test/int/rel.cpp:273:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/test/int/rel.cpp:306:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/test/int/rel.cpp:344:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
upstream/test/int/rel.cpp:380:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
ftp://ftp.de.debian.org/debian/pool/main/m/minizinc/minizinc_2.9.5+dfsg1.orig.tar.xz
cppcheck-options: --library=posix --library=gnu --library=bsd --library=boost  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j1
libminizinc-2.9.5/solvers/gecode/gecode_constraints.cpp:69:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
libminizinc-2.9.5/solvers/gecode/gecode_constraints.cpp:246:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
libminizinc-2.9.5/solvers/gecode/gecode_constraints.cpp:337:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
libminizinc-2.9.5/solvers/gecode/gecode_constraints.cpp:504:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
ftp://ftp.de.debian.org/debian/pool/main/g/gecode/gecode_6.2.0.orig.tar.gz
cppcheck-options: --library=posix --library=gnu --library=bsd --library=qt --library=boost  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j6
gecode-release-6.2.0/examples/colored-matrix.cpp:247:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/donald.cpp:66:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/efpa.cpp:159:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/money.cpp:72:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/pentominoes.cpp:350:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/schurs-lemma.cpp:96:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/tsp.cpp:251:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/flatzinc/registry.cpp:118:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/flatzinc/registry.cpp:279:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/flatzinc/registry.cpp:366:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/flatzinc/registry.cpp:519:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:105:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:109:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:113:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:117:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:121:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:125:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:129:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:133:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:137:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:141:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:145:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:149:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:153:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:157:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-arith.cpp:161:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:161:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/rel.cpp:273:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/rel.cpp:306:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/rel.cpp:344:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/rel.cpp:380:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_NQ [valueFlowBailoutIncompleteVar]