various undefined-behavior fixes

See the individual commits. Fixes #426 (closed)

Edited by Vladimír Čunát

Merge request reports

Loading