https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104187
--- Comment #6 from Jan Hubicka <hubicka at gcc dot gnu.org> --- For Gimple representation __builtin_always_inline(foo(x, y)) does not make very good sense since gimple is not nested and foo may return void so there may not be any link between call and the builtin. I see that llvm has something like this https://reviews.llvm.org/D51200 (or at least it was proposed), but I think in our setting it would be more natural to have flag in the gimple call statement or some generic way to attach attributes to statements like we attach histograms.
