fix some clang10 warnings

Merged Christopher Rob Jones requested to merge jonrob/Boole:fix-clang10-warnings into master

Merge request reports