------- Comment #3 from jakub at gcc dot gnu dot org 2008-11-19 22:32 ------- Certainly in this case inlining size1 is a good idea and easily doable. The reason why the actual argument's descriptor isn't used is that it might have different lower bounds (while size doesn't care about that, other functions do). Inlining size0 on the other side might not be always the best idea, as it can be pretty large.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38181
