Hi Thomas,

On 02.02.21 15:54, Thomas Koenig wrote:
> So, while your patch is OK, I think a simple removal of the test
> is also OK.
> Take your pick :-)

I think I will do a combination: If 'identical' is true, I think I
cannot remove it. If it is false, it can be identical or nonoverlapping
– which makes sense.

Unless there are further comments, I will commit it later.

Tobias

-----------------
Mentor Graphics (Deutschland) GmbH, Arnulfstrasse 201, 80634 München Registergericht München HRB 106955, Geschäftsführer: Thomas Heurung, Frank Thürauf