|
|
|
|
|
|
by naasking
1712 days ago
|
|
|
> "Undefined behavior" is a lack of semantics, so it is preserving semantics when it leaves those paths out. It's not preserving semantics, it's inferring a valid program from an invalid one, but since the programmer entered an invalid program, unilaterally deciding that the valid program was the intended program seems dubious at best. These should really be errors, or warnings at the very least. |
|
|