ziggy: No way at all to determine? In this day and age? Sure, run-time decisions and functino pointers render this kind of optimisation an impossibility, but not every program uses these features.
It could be an option in the compiler (opt in rather than opt out, obviously).
It could be an option in the compiler (opt in rather than opt out, obviously).