Ah, right. Well, QoI is in the eye of the beholder: I happen to think that
the semantics of pointer overflow are semantics that only a maniac would
rely upon intentionally, so the *most* we need is an extension of the
existing compiler warning that `comparison is always true' or something
along those lines.