Added note on -fsanitize=undefined.