> It's not tight enough, otherwise it would have prevented the bug > in the PR because this test dominates the actual transformation > parts of this function. I meant, is it tight enough for the problem it is supposed to avoid? Maybe the problem for PR40987 is different. -- Eric Botcazou