> it can panic in an equivalent way to a segmentation fault. So, like bounds-checked array access? That's also a logic error. Common pointer manipulation (in

> it can panic in an equivalent way to a segmentation fault. So, like bounds-checked array access? That's also a logic error. Common pointer manipulation (in the presence of discriminated union types), allocation/deallocation errors and data races (when involving array indexes, pointers or tagged data, not just simple valye types) can all lead to UB; bounds-checked array access on its own cannot.