<<Unfortunately, even a warning like that would not catch the tricky cases where the aliasing is set up in one translation unit, but the code that breaks is in a different one. >> I fear that the warnings would indeed only catch the easy cases, and it is precisely the difficult ones of this kind that are the tough ones to catch.