Re:PLOS2021: ISO-C became unusable for operating systems
by naasking on Thursday October 07, 2021 @09:28AM
(#28785965)
> "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.
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.