Earlier quoted context omitted.
Right. The language has well-formed expressions with no defined meaning in terms of machine instructions. My claim is that this is a reduction in precision compared to assembly language. Grandparent said: > The single best feature of any programming language is that it is precise. C overtook a more precise language family because it has features other than precision that people cared about. Perhaps a better tradeoff…
Could you please explain why you feel that having UB makes C less precise than asm? To me, the notion of precision isn't in any way related to whether any given statement is sound. It's about the behavior of the language for sound programs.
One could take the position that specifying precisely 'do whatever, I dunno' counts as perfectly precise. But then a language that was entirely UB would count as precise, which would be an odd position to hold, since you can't specify any behavior at all with it.