это можно определить компилеру и не делать inline. я подумал, что проблема вызова внутри функции, которая inline, другой функции/дерева, в котором возможна рекурсия. у SPARC-а например, бывают leaf функции, у них другое соглашение о вызовах и из нее нельзя делать "call"