Zdenek Dvorak wrote: >This fixes PR 11710 and might be relevant for PR 11706 (although >there the problem of deciding whether the inlining would actually >be profitable remains). > Thanks Zdenek. Paolo.