Re: A Famous Security Bug

On 3/21/24 16:46, Keith Thompson wrote:
...

Link time optimization is as valid as cross-function optimization *as
long as* it doesn't change the defined behavior of the program.

Minor adjustment: due to unspecified behavior, some code can have
multiple permitted behaviors. LTO could be conforming even if it changed
the behavior, as long as it changes it to one of the other permitted
behaviors. For implementation-defined behavior, the fact that the change
could happen would have to be documented.