Illustrator CS2 does have a feature that allows it to detect when you've specified an overprint for an object that is painted white (Figure 1), but this happens only when you're applying the overprint -- not as in the case above where the object already had the overprint, but the color was changed from black to white.
