Several small code improvements
This MR provides a set of small improvements and fixes to the code base. We found some of these while trying to compile parts of the code with stricter flags, some issues were also reported by IDEs.
WARNING! Gitlab maintenance operation scheduled for Monday, 20 April between 12:00 and 14:00 (CET). During this time window, short service interruptions (less than 5 minutes) may occur. Thank you in advance for your understanding.
This MR provides a set of small improvements and fixes to the code base. We found some of these while trying to compile parts of the code with stricter flags, some issues were also reported by IDEs.