Automated Code Analysis

cppcheck analysis of gecode_3.4.0-1.dsc

• ./contribs/qecode/qsolver_qcop.cc:82 [error] - Possible null pointer dereference: espace
• ./contribs/qecode/qsolver_qcop.cc:84 [error] - Possible null pointer dereference: espace
• ./contribs/qecode/qsolver_unblockable.cc:78 [error] - Possible null pointer dereference: espace
• ./contribs/qecode/qsolver_unblockable.cc:80 [error] - Possible null pointer dereference: espace
• ./contribs/qecode/qsolver_unblockable.cc:280 [error] - Possible null pointer dereference: espace
• ./contribs/qecode/qsolver_unblockable.cc:282 [error] - Possible null pointer dereference: espace
• ./examples/pentominoes.cpp:331 [error] - Uninitialized variable: w2
• ./examples/pentominoes.cpp:331 [error] - Uninitialized variable: h2
• ./examples/pentominoes.cpp:331 [error] - Data is allocated but not initialized: t2
• ./examples/pentominoes.cpp:433 [error] - Uninitialized variable: w2
• ./examples/pentominoes.cpp:433 [error] - Uninitialized variable: h2
• ./examples/steel-mill.cpp:80 [error] - Memory leak: SteelMillOptions::_capacities
• ./examples/steel-mill.cpp:83 [error] - Memory leak: SteelMillOptions::_loss

---