(original) (raw)

On Wed, Jul 1, 2015 at 4:41 PM, Renato Golin <renato.golin@linaro.org> wrote:

So, are you suggesting we get rid of all undefined AND implementation
defined behaviour from compilers?

Not at all. As you say, that would require all compiler implementers to agree, and what little behaviour is defined in the standards is presumably already what all compiler implementers can agree on.

I'm proposing that LLVM unilaterally replace most undefined behaviour with implementation-defined behaviour.

Note that this would give it a substantial competitive advantage over GCC: a lot of people care far more about reliability than about tiny increments of performance.