On Mar 2, 2012, at 1:33 AM, Richard Guenther wrote: >> Interestingly, the C++ frontend also has a pointer_diff function, but >> doesn't seem to attempt to optimize. Is there a reason for this? > > Frontends should not optimize when they are not required to.
Actually, the frontends should optimize as long as it produces a faster compilation (and they are permitted to). You're thinking of the rule that proceeded this one, we switch away from many many years back.