[fpc-devel] Unreachable code warnings

Micha Nelissen micha at neli.hopto.org
Mon Oct 15 10:10:41 CEST 2007


Peter Vreman wrote:
> There is a good reason for that the unreachable code is a warning: The compiler _changes_ your
> code by removing the if-branch. When it is a hint the compiler only has recognized a pattern, but
> it does not modify anything.

It "changes" it, but semantically it's the same right?

In your reasoning, the compiler should also emit a warning when it does 
(or would do) common subexpression extraction.

Micha



More information about the fpc-devel mailing list