3 ms·
Yes, it depends on whether remove_me() (provably) always returns or not. Optimisations frequently do things that take people by surprise when debugging, but th
by caf 8y ago
Yes, it depends on whether remove_me() (provably) always returns or not.
Optimisations frequently do things that take people by surprise when debugging, but that's par for the course.
- MaxBarraclough 8y ago> Yes, it depends on whether remove_me() (provably) always returns or not. Oops, I hadn't thought of that. So the compiler isn't permitted to assume that a function-call will return? Surely that's a huge obstacle to optimisation.
- caf 8y agoNo, not in general, because it might call longjmp(), exit() or abort(). Opinions are divided in the case where it doesn't return because it enters an infinite loop.
- MaxBarraclough 8y agoInteresting, thanks.