http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60721
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- IMHO we need a flag on each gimple call whether that call instance is supposed to be 'leaf' or not, similar to how we have noreturn and nothrow flags here.
