Во-первых -- 3 галлона пива господину Регеру за очень краткие и ёмкие кусочки кода.
Во-вторых г-н Регер показал, что UB это обычно результат наркоманского кода.
Арифметика указателей? Ок, все мы её в той или иной мере используем, но нужно знать и меру.
Самое важное правило (все новички о нём знают[сами для себя и выводят], а вот люди с опытом часто забывают) -- код должен быть простым и понятным. В 21 веке компиляторы лучше оптимизируют под платформу чем человек. Поэтому нужно писать простой и понятный код. Эффективный код -- удел компилятора. Да, некоторые моменты (обход прямоугольной матрицы и т.п.) до сих пор актуальны, но это не усложняет код и вполне вписывается в концепцию здравого смысла.