Marcus Meissner marcus@jet.franken.de writes:
Coverity spotted that set_window_pos() could call free_region() on the same pointer twice.
(CID 671 and 672)
Check that they are different before freeing them twice.
This can't happen, Coverity is confused.