These were reported when running tests after compiling the debug server
with -O3 -fsanitize=undefined in GCC 7.1.0.