This pull request fixes 9 alerts when merging 7e107249a492c67d586e52bdf7b871246d7cb012 into 87a464b9d7d67616c1b4c6b98600d38a782d014b - view on LGTM.com
fixed alerts:
4 for Empty branch of conditional
2 for Multiplication result converted to larger type
LGTM.com is a code analysis service. Their analysis of the Gecode source code is available here: https://lgtm.com/projects/g/Gecode/gecode/?mode=list
This branch fixes several of the warnings, including
There are several issues still left to investigate
There are also a few warnings about usage of goto, which are not as interesting for us to fix (the usages are well known).