Comment by charleslmunger
5 months ago
Wouldn't that make a compiler that emitted bounds checks violate the standard, since it would not be emitting the actual memory operations if you deref out of bounds?
5 months ago
Wouldn't that make a compiler that emitted bounds checks violate the standard, since it would not be emitting the actual memory operations if you deref out of bounds?
No, because it's UB so there is no standard.
Isn't the proposal from the parent comment to define the behavior?