ftp://ftp.de.debian.org/debian/pool/main/p/papilo/papilo_2.4.4+ds.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 scipopt-papilo-7c826d5/src/papilo/core/Presolve.hpp:1111:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/src/papilo/core/Presolve.hpp:1168:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/CoefficientStrengtheningTest.cpp:59:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ConstraintPropagationTest.cpp:59:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/DominatedColsTest.cpp:65:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/DominatedColsTest.cpp:117:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/DominatedColsTest.cpp:169:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/DominatedColsTest.cpp:195:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/DualFixTest.cpp:92:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/DualFixTest.cpp:154:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/DualFixTest.cpp:197:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/DualFixTest.cpp:283:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/DualFixTest.cpp:327:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/FixContinuousTest.cpp:54:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/FreeVarSubstitutionTest.cpp:64:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ImplIntDetectionTest.cpp:54:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelColDetectionTest.cpp:62:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelColDetectionTest.cpp:99:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelColDetectionTest.cpp:137:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelColDetectionTest.cpp:174:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelColDetectionTest.cpp:215:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelColDetectionTest.cpp:357:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:133:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:197:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:235:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:273:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:311:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:350:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:399:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:448:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:497:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:597:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:644:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:691:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:739:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:811:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:873:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:922:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ParallelRowDetectionTest.cpp:970:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/ProbingTest.cpp:59:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SimpleProbingTest.cpp:59:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SimpleProbingTest.cpp:104:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SimpleProbingTest.cpp:142:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SimpleProbingTest.cpp:180:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SimpleProbingTest.cpp:222:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SimpleSubstitutionTest.cpp:73:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SimpleSubstitutionTest.cpp:148:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SimpleSubstitutionTest.cpp:189:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SimpleSubstitutionTest.cpp:235:82: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SimplifyInequalitiesTest.cpp:66:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SimplifyInequalitiesTest.cpp:121:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SingletonColsTest.cpp:75:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SingletonColsTest.cpp:120:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SingletonColsTest.cpp:178:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SingletonColsTest.cpp:228:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SingletonColsTest.cpp:278:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SingletonColsTest.cpp:330:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SingletonColsTest.cpp:379:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SingletonStuffingTest.cpp:67:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SparsifyTest.cpp:66:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SparsifyTest.cpp:101:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar] scipopt-papilo-7c826d5/test/papilo/presolve/SparsifyTest.cpp:200:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kReduced [valueFlowBailoutIncompleteVar]