> Eric, didn't your patches explicitely handle this case of a non-constant > inbetween?
Only if there is no overlap at all, otherwise you cannot do things simply. > Can you have a look / review here? Jakub is probably more qualified to give a definitive opinion, as he wrote check_no_overlap and the bug is orthogonal to my patches since it is present in 8.x; in any case, all transformations are supposed to be covered by the testsuite. -- Eric Botcazou