ftp://ftp.de.debian.org/debian/pool/main/c/chuffed/chuffed_0.13.1.orig.tar.xz cppcheck-options: --library=posix --library=gnu --library=bsd --library=zlib --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 chuffed/examples/graph_colouring.cpp:33:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] chuffed/examples/mosp.cpp:63:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] chuffed/flatzinc/registry.cpp:186:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] chuffed/flatzinc/registry.cpp:210:70: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] chuffed/flatzinc/registry.cpp:238:72: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] chuffed/flatzinc/registry.cpp:279:70: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] chuffed/flatzinc/registry.cpp:280:80: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] chuffed/flatzinc/registry.cpp:869:72: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] chuffed/globals/linear-bool-decomp.cpp:74:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] chuffed/globals/sym-break.cpp:6:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] chuffed/primitives/binary.cpp:206:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] chuffed/primitives/binary.cpp:271:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] 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 -j1 upstream/examples/all-interval.cpp:84:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/examples/car-sequencing.cpp:369:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/examples/colored-matrix.cpp:406:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/examples/langford-number.cpp:161:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/examples/partition.cpp:60:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/examples/sports-league.cpp:252:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/examples/word-square.cpp:101:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/flatzinc/registry.cpp:131:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/flatzinc/registry.cpp:298:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/flatzinc/registry.cpp:390:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/flatzinc/registry.cpp:560:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/flatzinc/registry.cpp:910:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/flatzinc/registry.cpp:923:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/int-rel.cpp:166:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/int-rel.cpp:170:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/int-rel.cpp:174:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/int-rel.cpp:178:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/int-rel.cpp:182:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/int-rel.cpp:186:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/int-rel.cpp:190:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/int-rel.cpp:194:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/int-rel.cpp:198:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/int-rel.cpp:202:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/int-rel.cpp:206:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/int-rel.cpp:210:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/int-rel.cpp:214:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/int-rel.cpp:218:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/int-rel.cpp:222:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/optimize.cpp:44:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/gecode/minimodel/optimize.cpp:68:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] upstream/test/afc.cpp:59:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [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:81:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] libminizinc-2.9.5/solvers/gecode/gecode_constraints.cpp:264:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] libminizinc-2.9.5/solvers/gecode/gecode_constraints.cpp:355:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] libminizinc-2.9.5/solvers/gecode/gecode_constraints.cpp:540:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] libminizinc-2.9.5/solvers/gecode/gecode_constraints.cpp:827:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] libminizinc-2.9.5/solvers/gecode/gecode_constraints.cpp:843:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [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 -j1 gecode-release-6.2.0/examples/all-interval.cpp:84:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/examples/car-sequencing.cpp:369:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/examples/colored-matrix.cpp:406:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/examples/langford-number.cpp:161:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/examples/partition.cpp:60:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/examples/sports-league.cpp:252:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/examples/word-square.cpp:101:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/flatzinc/registry.cpp:130:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/flatzinc/registry.cpp:297:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/flatzinc/registry.cpp:389:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/flatzinc/registry.cpp:555:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/flatzinc/registry.cpp:807:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/flatzinc/registry.cpp:820:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:166:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:170:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:174:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:178:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:182:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:186:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:190:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:194:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:198:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:202:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:206:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:210:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:214:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:218:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:222:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/optimize.cpp:44:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/gecode/minimodel/optimize.cpp:68:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar] gecode-release-6.2.0/test/afc.cpp:59:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_LE [valueFlowBailoutIncompleteVar]