> And for noreturn calls, it doesn't do anything wrong, the problem is that it > returns the old size for them.
According to the head comment, that's precisely the problem, since it should do something for them, in particular put back the note. -- Eric Botcazou
