On: Inter-Procedural Optimization and Derefinement

[foota]

I've always wondered, is there a time when assuming no undefined behavior occurs (and none does) allows the compiler to do an optimization it couldn't otherwise?