It was just a reference to the mythical "sufficiently smart compiler". The point is that, in practice, it doesn't exist.

https://wiki.c2.com/?SufficientlySmartCompiler