Ah, so the problem is not out of the gimplifier, but out of the
nested function lowering? Maybe.
Maybe, as you say. But .t04.generic has
F36b = c761006_2__adj_checkDA (F36b, &another_target, 1);
which already might be wrong depending on the definition of "wrong".
I'll try to build a smaller test case to see if I can reproduce this.
Thanks.