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 -j2
chuffed/examples/bibd.cpp:46:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
chuffed/examples/golomb.cpp:34:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
chuffed/examples/magic_square.cpp:28:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
chuffed/examples/steel_mill.cpp:106:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
chuffed/flatzinc/registry.cpp:182:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
chuffed/flatzinc/registry.cpp:206:70: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
chuffed/flatzinc/registry.cpp:234:72: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
chuffed/flatzinc/registry.cpp:275:70: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
chuffed/flatzinc/registry.cpp:276:80: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
chuffed/flatzinc/registry.cpp:868:72: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
chuffed/primitives/arithmetic.cpp:747:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
chuffed/primitives/arithmetic.cpp:760:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
chuffed/primitives/binary.cpp:367:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
chuffed/primitives/linear.cpp:356:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [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/bacp.cpp:148:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/bibd.cpp:113:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/bin-packing.cpp:448:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/black-hole.cpp:131:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/car-sequencing.cpp:305:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/colored-matrix.cpp:192:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/eq20.cpp:85:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/golf.cpp:172:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/golomb-ruler.cpp:74:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/kakuro.cpp:380:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/kakuro.cpp:496:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/magic-sequence.cpp:77:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/magic-square-partial.cpp:100:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/magic-square.cpp:76:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/minesweeper.cpp:106:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/queen-armies.cpp:103:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/radiotherapy.cpp:129:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/examples/steel-mill.cpp:222:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/flatzinc/registry.cpp:98:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/flatzinc/registry.cpp:116:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/flatzinc/registry.cpp:271:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/flatzinc/registry.cpp:356:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/flatzinc/registry.cpp:515:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/flatzinc/registry.cpp:937:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/flatzinc/registry.cpp:1620:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/flatzinc/registry.cpp:1632:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/int/gcc.cpp:57:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/int/linear/bool-post.cpp:610:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/bool-expr.cpp:417:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:44:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:48:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:52:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:56:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:60:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:64:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:68:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:72:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:76:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:80:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:84:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:88:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:92:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:96:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/gecode/minimodel/int-rel.cpp:100:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int.cpp:184:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int.cpp:261:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int.cpp:272:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int.cpp:323:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int.cpp:377:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int/linear.cpp:283:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int/mm-arithmetic.cpp:66:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int/mm-arithmetic.cpp:85:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int/mm-arithmetic.cpp:104:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int/mm-arithmetic.cpp:128:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int/mm-arithmetic.cpp:152:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int/mm-arithmetic.cpp:173:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int/mm-arithmetic.cpp:194:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int/mm-arithmetic.cpp:235:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int/mm-arithmetic.cpp:254:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int/mm-arithmetic.cpp:274:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int/mm-arithmetic.cpp:294:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/int/mm-count.cpp:271:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/ldsb.cpp:669:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/ldsb.cpp:728:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
upstream/test/search.cpp:103:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [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:66:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
libminizinc-2.9.5/solvers/gecode/gecode_constraints.cpp:237:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
libminizinc-2.9.5/solvers/gecode/gecode_constraints.cpp:328:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
libminizinc-2.9.5/solvers/gecode/gecode_constraints.cpp:495:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
libminizinc-2.9.5/solvers/gecode/gecode_constraints.cpp:866:90: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
libminizinc-2.9.5/solvers/gecode/gecode_constraints.cpp:1520:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
libminizinc-2.9.5/solvers/gecode/gecode_constraints.cpp:1536:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [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/bacp.cpp:148:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/bibd.cpp:113:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/bin-packing.cpp:445:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/black-hole.cpp:130:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/car-sequencing.cpp:305:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/colored-matrix.cpp:192:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/eq20.cpp:85:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/golf.cpp:172:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/golomb-ruler.cpp:74:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/kakuro.cpp:380:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/kakuro.cpp:496:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/magic-sequence.cpp:77:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/magic-square-partial.cpp:100:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/magic-square.cpp:76:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/minesweeper.cpp:106:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/queen-armies.cpp:103:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/radiotherapy.cpp:129:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/examples/steel-mill.cpp:222:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/flatzinc/registry.cpp:97:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/flatzinc/registry.cpp:115:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/flatzinc/registry.cpp:270:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/flatzinc/registry.cpp:355:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/flatzinc/registry.cpp:510:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/flatzinc/registry.cpp:834:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/flatzinc/registry.cpp:1415:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/flatzinc/registry.cpp:1427:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/int/gcc.cpp:57:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/int/linear/bool-post.cpp:610:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/bool-expr.cpp:417:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:44:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:48:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:52:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:56:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:60:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:64:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:68:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:72:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:76:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:80:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:84:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:88:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:92:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:96:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/gecode/minimodel/int-rel.cpp:100:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/float/basic.cpp:68:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int.cpp:185:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int.cpp:265:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int.cpp:276:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int.cpp:329:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int.cpp:384:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/linear.cpp:283:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/mm-arithmetic.cpp:66:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/mm-arithmetic.cpp:85:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/mm-arithmetic.cpp:104:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/mm-arithmetic.cpp:128:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/mm-arithmetic.cpp:152:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/mm-arithmetic.cpp:173:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/mm-arithmetic.cpp:194:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/mm-arithmetic.cpp:235:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/mm-arithmetic.cpp:254:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/mm-arithmetic.cpp:274:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/mm-arithmetic.cpp:294:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/int/mm-count.cpp:271:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/ldsb.cpp:669:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/ldsb.cpp:728:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]
gecode-release-6.2.0/test/search.cpp:103:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IRT_EQ [valueFlowBailoutIncompleteVar]