valueFlowBailoutIncompleteVar
ftp://ftp.de.debian.org/debian/pool/main/c/cryptominisat/cryptominisat_5.11.21+dfsg1.orig.tar.xz
head cryptominisat-5.11.21/src/Vec.h:253:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable uint32_t [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/Vec.h:268:68: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
head cryptominisat-5.11.21/src/cnf.h:726:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable uint32_t [valueFlowBailoutIncompleteVar]
head cryptominisat-5.11.21/src/cnf.h:756:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T [valueFlowBailoutIncompleteVar]
head cryptominisat-5.11.21/src/cnf.h:773:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/dimacsparser.h:245:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
head cryptominisat-5.11.21/src/dimacsparser.h:336:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Lit [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/dimacsparser.h:348:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/dimacsparser.h:445:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/dimacsparser.h:703:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
head cryptominisat-5.11.21/src/packedrow.h:236:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable uint32_t [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:181:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data1 [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:187:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data1 [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:193:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data1 [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:198:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:204:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data2 [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:209:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable red_step [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:219:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data2 [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:224:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data2 [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:230:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data2 [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:235:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data2 [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:244:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data1 [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:249:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:254:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:262:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data1 [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:270:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data1 [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:278:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data2 [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:287:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data1 [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:298:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:303:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:74:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable red_step [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/propby.h:88:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable red_step [valueFlowBailoutIncompleteVar]
head cryptominisat-5.11.21/src/searcher.cpp:486:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Lit [valueFlowBailoutIncompleteVar]
head cryptominisat-5.11.21/src/searcher.cpp:643:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Lit [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/searcher.cpp:655:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar]
head cryptominisat-5.11.21/src/searcher.cpp:850:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable uint32_t [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/solvertypes.h:237:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
head cryptominisat-5.11.21/src/solvertypes.h:238:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fixed [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/solvertypes.h:268:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
head cryptominisat-5.11.21/src/solvertypes.h:269:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fixed [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/solvertypes.h:282:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
head cryptominisat-5.11.21/src/solvertypes.h:283:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fixed [valueFlowBailoutIncompleteVar]
2.22.0 cryptominisat-5.11.21/src/solvertypes.h:296:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cout [valueFlowBailoutIncompleteVar]
head cryptominisat-5.11.21/src/solvertypes.h:297:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fixed [valueFlowBailoutIncompleteVar]
head cryptominisat-5.11.21/src/streambuffer.h:197:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T [valueFlowBailoutIncompleteVar]
head cryptominisat-5.11.21/src/subsumestrengthen.cpp:490:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable uint32_t [valueFlowBailoutIncompleteVar]
head cryptominisat-5.11.21/src/xorfinder.h:316:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable uint32_t [valueFlowBailoutIncompleteVar]
ftp://ftp.de.debian.org/debian/pool/main/c/csmith/csmith_2.3.0.orig.tar.gz
head csmith-2.3.0/src/ProbabilityTable.h:138:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Entry [valueFlowBailoutIncompleteVar]
head csmith-2.3.0/src/ProbabilityTable.h:169:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Entry [valueFlowBailoutIncompleteVar]
head csmith-2.3.0/src/ProbabilityTable.h:97:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Entry [valueFlowBailoutIncompleteVar]
ftp://ftp.de.debian.org/debian/pool/main/c/cssc/cssc_1.4.1.orig.tar.gz
head CSSC-1.4.1/unit-tests/googletest/test/gtest-printers_test.cc:233:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T [valueFlowBailoutIncompleteVar]
head CSSC-1.4.1/unit-tests/googletest/test/gtest-printers_test.cc:243:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable T [valueFlowBailoutIncompleteVar]